runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/adf7b774-9af8-11df-bc37-00163e46d37a.cudf.dudf-real.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/dudf-real//adf7b774-9af8-11df-bc37-00163e46d37a.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/adf7b774-9af8-11df-bc37-00163e46d37a.cudf.dudf-real.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.41 1.15 1.09 3/36 29915
/proc/meminfo: memFree=315616/1048576 swapFree=0/0
[pid=29914] ppid=29913 vsize=2568 CPUtime=0
/proc/29914/stat : 29914 (gj-trendy-solve) R 29913 29914 1511 34817 1511 4202496 356 0 0 0 0 0 0 0 25 0 1 0 5020164 2629632 269 1283457024 134512640 135304128 4288820240 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/29914/statm: 642 269 228 194 0 29 0
[pid=29915] ppid=29914 vsize=2568 CPUtime=0
/proc/29915/stat : 29915 (gj-trendy-solve) R 29914 29914 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 5020164 2629632 41 1283457024 134512640 135304128 4288820240 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/29915/statm: 642 41 0 194 0 29 0

[startup+0.195077 s]
/proc/loadavg: 1.41 1.15 1.09 3/36 29915
/proc/meminfo: memFree=315616/1048576 swapFree=0/0
[pid=29914] ppid=29913 vsize=2568 CPUtime=0
/proc/29914/stat : 29914 (gj-trendy-solve) S 29913 29914 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 5020164 2629632 270 1283457024 134512640 135304128 4288820240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29914/statm: 642 270 229 194 0 29 0
[pid=29915] ppid=29914 vsize=409800 CPUtime=0.19
/proc/29915/stat : 29915 (java) S 29914 29914 1511 34817 1511 4202496 3912 0 1 0 17 2 0 0 25 0 9 0 5020164 419635200 3338 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29915/statm: 102450 3338 1803 10 0 96598 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 412368

[startup+0.205164 s]
/proc/loadavg: 1.41 1.15 1.09 3/36 29915
/proc/meminfo: memFree=315616/1048576 swapFree=0/0
[pid=29914] ppid=29913 vsize=2568 CPUtime=0
/proc/29914/stat : 29914 (gj-trendy-solve) S 29913 29914 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 5020164 2629632 270 1283457024 134512640 135304128 4288820240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29914/statm: 642 270 229 194 0 29 0
[pid=29915] ppid=29914 vsize=409800 CPUtime=0.2
/proc/29915/stat : 29915 (java) S 29914 29914 1511 34817 1511 4202496 3933 0 1 0 18 2 0 0 25 0 9 0 5020164 419635200 3359 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29915/statm: 102450 3359 1803 10 0 96598 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412368

[startup+0.305092 s]
/proc/loadavg: 1.41 1.15 1.09 3/36 29915
/proc/meminfo: memFree=315616/1048576 swapFree=0/0
[pid=29914] ppid=29913 vsize=2568 CPUtime=0
/proc/29914/stat : 29914 (gj-trendy-solve) S 29913 29914 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 5020164 2629632 270 1283457024 134512640 135304128 4288820240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29914/statm: 642 270 229 194 0 29 0
[pid=29915] ppid=29914 vsize=410244 CPUtime=0.3
/proc/29915/stat : 29915 (java) S 29914 29914 1511 34817 1511 4202496 4386 0 1 0 28 2 0 0 25 0 9 0 5020164 420089856 3812 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29915/statm: 102561 3812 1943 10 0 96709 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412812

[startup+0.705229 s]
/proc/loadavg: 1.41 1.15 1.09 3/36 29915
/proc/meminfo: memFree=315616/1048576 swapFree=0/0
[pid=29914] ppid=29913 vsize=2568 CPUtime=0
/proc/29914/stat : 29914 (gj-trendy-solve) S 29913 29914 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 5020164 2629632 270 1283457024 134512640 135304128 4288820240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29914/statm: 642 270 229 194 0 29 0
[pid=29915] ppid=29914 vsize=410688 CPUtime=0.7
/proc/29915/stat : 29915 (java) S 29914 29914 1511 34817 1511 4202496 12590 0 1 0 64 6 0 0 25 0 9 0 5020164 420544512 11829 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29915/statm: 102672 11829 2901 10 0 96820 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413256

[startup+1.50553 s]
/proc/loadavg: 1.41 1.15 1.09 3/45 29924
/proc/meminfo: memFree=255888/1048576 swapFree=0/0
[pid=29914] ppid=29913 vsize=2568 CPUtime=0
/proc/29914/stat : 29914 (gj-trendy-solve) S 29913 29914 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 5020164 2629632 270 1283457024 134512640 135304128 4288820240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29914/statm: 642 270 229 194 0 29 0
[pid=29915] ppid=29914 vsize=410688 CPUtime=1.5
/proc/29915/stat : 29915 (java) S 29914 29914 1511 34817 1511 4202496 26385 0 1 0 142 8 0 0 25 0 9 0 5020164 420544512 25624 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29915/statm: 102672 25624 2901 10 0 96820 0
[pid=29915/tid=29917] ppid=29914 vsize=410688 CPUtime=0.82
/proc/29915/task/29917/stat : 29917 (java) R 29914 29914 1511 34817 1511 4202560 6842 0 1 0 77 5 0 0 25 0 9 0 5020164 420544512 25624 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29915/tid=29918] ppid=29914 vsize=410688 CPUtime=0.63
/proc/29915/task/29918/stat : 29918 (java) R 29914 29914 1511 34817 1511 4202560 18160 0 0 0 61 2 0 0 18 0 9 0 5020165 420544512 25624 1283457024 134512640 134550932 4291446192 18446744073709551615 4151474104 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=29915/tid=29919] ppid=29914 vsize=410688 CPUtime=0
/proc/29915/task/29919/stat : 29919 (java) S 29914 29914 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 5020165 420544512 25624 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29920] ppid=29914 vsize=410688 CPUtime=0
/proc/29915/task/29920/stat : 29920 (java) S 29914 29914 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 5020165 420544512 25624 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29921] ppid=29914 vsize=410688 CPUtime=0
/proc/29915/task/29921/stat : 29921 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 5020166 420544512 25624 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29922] ppid=29914 vsize=410688 CPUtime=0.03
/proc/29915/task/29922/stat : 29922 (java) S 29914 29914 1511 34817 1511 4202560 441 0 0 0 3 0 0 0 20 0 9 0 5020166 420544512 25624 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29923] ppid=29914 vsize=410688 CPUtime=0
/proc/29915/task/29923/stat : 29923 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 5020167 420544512 25624 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29924] ppid=29914 vsize=410688 CPUtime=0
/proc/29915/task/29924/stat : 29924 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 5020167 420544512 25624 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413256

[startup+3.10596 s]
/proc/loadavg: 1.45 1.16 1.09 2/45 29924
/proc/meminfo: memFree=180868/1048576 swapFree=0/0
[pid=29914] ppid=29913 vsize=2568 CPUtime=0
/proc/29914/stat : 29914 (gj-trendy-solve) S 29913 29914 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 5020164 2629632 270 1283457024 134512640 135304128 4288820240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29914/statm: 642 270 229 194 0 29 0
[pid=29915] ppid=29914 vsize=410820 CPUtime=3.1
/proc/29915/stat : 29915 (java) S 29914 29914 1511 34817 1511 4202496 48535 0 1 0 296 14 0 0 25 0 9 0 5020164 420679680 47768 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29915/statm: 102705 47768 2902 10 0 96853 0
[pid=29915/tid=29917] ppid=29914 vsize=410820 CPUtime=1.47
/proc/29915/task/29917/stat : 29917 (java) R 29914 29914 1511 34817 1511 4202560 13629 0 1 0 140 7 0 0 25 0 9 0 5020164 420679680 47768 1283457024 134512640 134550932 4291446192 18446744073709551615 4115841887 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29915/tid=29918] ppid=29914 vsize=410820 CPUtime=1.56
/proc/29915/task/29918/stat : 29918 (java) S 29914 29914 1511 34817 1511 4202560 33501 0 0 0 151 5 0 0 16 0 9 0 5020165 420679680 47768 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 0 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29919] ppid=29914 vsize=410820 CPUtime=0
/proc/29915/task/29919/stat : 29919 (java) S 29914 29914 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 5020165 420679680 47768 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29920] ppid=29914 vsize=410820 CPUtime=0
/proc/29915/task/29920/stat : 29920 (java) S 29914 29914 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 5020165 420679680 47768 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29921] ppid=29914 vsize=410820 CPUtime=0
/proc/29915/task/29921/stat : 29921 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 5020166 420679680 47768 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29922] ppid=29914 vsize=410820 CPUtime=0.04
/proc/29915/task/29922/stat : 29922 (java) S 29914 29914 1511 34817 1511 4202560 463 0 0 0 4 0 0 0 15 0 9 0 5020166 420679680 47768 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29923] ppid=29914 vsize=410820 CPUtime=0
/proc/29915/task/29923/stat : 29923 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 5020167 420679680 47768 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29924] ppid=29914 vsize=410820 CPUtime=0
/proc/29915/task/29924/stat : 29924 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 9 0 5020167 420679680 47768 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413388

[startup+6.30657 s]
/proc/loadavg: 1.45 1.16 1.09 2/46 29925
/proc/meminfo: memFree=78560/1048576 swapFree=0/0
[pid=29914] ppid=29913 vsize=2568 CPUtime=0
/proc/29914/stat : 29914 (gj-trendy-solve) S 29913 29914 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 5020164 2629632 270 1283457024 134512640 135304128 4288820240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29914/statm: 642 270 229 194 0 29 0
[pid=29915] ppid=29914 vsize=411156 CPUtime=6.29
/proc/29915/stat : 29915 (java) S 29914 29914 1511 34817 1511 4202496 62840 0 1 0 609 20 0 0 25 0 10 0 5020164 421023744 61994 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29915/statm: 102789 61994 2926 10 0 96934 0
[pid=29915/tid=29917] ppid=29914 vsize=411156 CPUtime=4.31
/proc/29915/task/29917/stat : 29917 (java) R 29914 29914 1511 34817 1511 4202560 14551 0 1 0 423 8 0 0 25 0 10 0 5020164 421023744 61994 1283457024 134512640 134550932 4291446192 18446744073709551615 4116108597 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29915/tid=29918] ppid=29914 vsize=411156 CPUtime=1.89
/proc/29915/task/29918/stat : 29918 (java) S 29914 29914 1511 34817 1511 4202560 46826 0 0 0 178 11 0 0 16 0 10 0 5020165 421023744 61994 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 0 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29919] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29919/stat : 29919 (java) S 29914 29914 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5020165 421023744 61994 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29920] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29920/stat : 29920 (java) S 29914 29914 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5020165 421023744 61994 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29921] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29921/stat : 29921 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5020166 421023744 61994 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29922] ppid=29914 vsize=411156 CPUtime=0.07
/proc/29915/task/29922/stat : 29922 (java) S 29914 29914 1511 34817 1511 4202560 516 0 0 0 7 0 0 0 15 0 10 0 5020166 421023744 61994 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29923] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29923/stat : 29923 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5020167 421023744 61994 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29924] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29924/stat : 29924 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5020167 421023744 61994 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29925] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29925/stat : 29925 (java) S 29914 29914 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5020547 421023744 61994 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 413724

Solver just ended. Dumping a history of the last processes samples

[startup+6.40659 s]
/proc/loadavg: 1.45 1.16 1.09 2/46 29925
/proc/meminfo: memFree=78560/1048576 swapFree=0/0
[pid=29914] ppid=29913 vsize=2568 CPUtime=0
/proc/29914/stat : 29914 (gj-trendy-solve) S 29913 29914 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 5020164 2629632 270 1283457024 134512640 135304128 4288820240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29914/statm: 642 270 229 194 0 29 0
[pid=29915] ppid=29914 vsize=411156 CPUtime=6.39
/proc/29915/stat : 29915 (java) S 29914 29914 1511 34817 1511 4202496 62849 0 1 0 619 20 0 0 25 0 10 0 5020164 421023744 62003 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29915/statm: 102789 62003 2926 10 0 96934 0
[pid=29915/tid=29917] ppid=29914 vsize=411156 CPUtime=4.41
/proc/29915/task/29917/stat : 29917 (java) R 29914 29914 1511 34817 1511 4202560 14553 0 1 0 433 8 0 0 25 0 10 0 5020164 421023744 62003 1283457024 134512640 134550932 4291446192 18446744073709551615 4115746581 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29915/tid=29918] ppid=29914 vsize=411156 CPUtime=1.89
/proc/29915/task/29918/stat : 29918 (java) S 29914 29914 1511 34817 1511 4202560 46826 0 0 0 178 11 0 0 16 0 10 0 5020165 421023744 62003 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 0 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29919] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29919/stat : 29919 (java) S 29914 29914 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5020165 421023744 62003 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29920] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29920/stat : 29920 (java) S 29914 29914 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5020165 421023744 62003 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29921] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29921/stat : 29921 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5020166 421023744 62003 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29922] ppid=29914 vsize=411156 CPUtime=0.07
/proc/29915/task/29922/stat : 29922 (java) S 29914 29914 1511 34817 1511 4202560 523 0 0 0 7 0 0 0 15 0 10 0 5020166 421023744 62003 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29923] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29923/stat : 29923 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5020167 421023744 62003 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29924] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29924/stat : 29924 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5020167 421023744 62003 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29925] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29925/stat : 29925 (java) S 29914 29914 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5020547 421023744 62003 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 413724

[startup+8.00704 s]
/proc/loadavg: 1.42 1.16 1.09 2/46 29926
/proc/meminfo: memFree=78436/1048576 swapFree=0/0
[pid=29914] ppid=29913 vsize=2568 CPUtime=0
/proc/29914/stat : 29914 (gj-trendy-solve) S 29913 29914 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 5020164 2629632 270 1283457024 134512640 135304128 4288820240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29914/statm: 642 270 229 194 0 29 0
[pid=29915] ppid=29914 vsize=411156 CPUtime=8
/proc/29915/stat : 29915 (java) S 29914 29914 1511 34817 1511 4202496 64420 0 1 0 778 22 0 0 25 0 10 0 5020164 421023744 63574 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29915/statm: 102789 63574 2926 10 0 96934 0
[pid=29915/tid=29917] ppid=29914 vsize=411156 CPUtime=5.91
/proc/29915/task/29917/stat : 29917 (java) R 29914 29914 1511 34817 1511 4202560 14553 0 1 0 583 8 0 0 25 0 10 0 5020164 421023744 63574 1283457024 134512640 134550932 4291446192 18446744073709551615 4116049347 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29915/tid=29918] ppid=29914 vsize=411156 CPUtime=1.97
/proc/29915/task/29918/stat : 29918 (java) S 29914 29914 1511 34817 1511 4202560 48380 0 0 0 186 11 0 0 16 0 10 0 5020165 421023744 63574 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 0 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29919] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29919/stat : 29919 (java) S 29914 29914 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5020165 421023744 63574 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29920] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29920/stat : 29920 (java) S 29914 29914 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5020165 421023744 63574 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29921] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29921/stat : 29921 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5020166 421023744 63574 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29922] ppid=29914 vsize=411156 CPUtime=0.09
/proc/29915/task/29922/stat : 29922 (java) S 29914 29914 1511 34817 1511 4202560 540 0 0 0 8 1 0 0 15 0 10 0 5020166 421023744 63574 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29923] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29923/stat : 29923 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5020167 421023744 63574 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29924] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29924/stat : 29924 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5020167 421023744 63574 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29925] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29925/stat : 29925 (java) S 29914 29914 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5020547 421023744 63574 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8
Current children cumulated vsize (KiB) 413724

[startup+9.60748 s]
/proc/loadavg: 1.42 1.16 1.09 2/46 29926
/proc/meminfo: memFree=64556/1048576 swapFree=0/0
[pid=29914] ppid=29913 vsize=2568 CPUtime=0
/proc/29914/stat : 29914 (gj-trendy-solve) S 29913 29914 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 5020164 2629632 270 1283457024 134512640 135304128 4288820240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29914/statm: 642 270 229 194 0 29 0
[pid=29915] ppid=29914 vsize=411156 CPUtime=9.59
/proc/29915/stat : 29915 (java) S 29914 29914 1511 34817 1511 4202496 66328 0 1 0 934 25 0 0 25 0 10 0 5020164 421023744 65482 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29915/statm: 102789 65482 2926 10 0 96934 0
[pid=29915/tid=29917] ppid=29914 vsize=411156 CPUtime=7.47
/proc/29915/task/29917/stat : 29917 (java) R 29914 29914 1511 34817 1511 4202560 14553 0 1 0 738 9 0 0 25 0 10 0 5020164 421023744 65482 1283457024 134512640 134550932 4291446192 18446744073709551615 4116101648 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29915/tid=29918] ppid=29914 vsize=411156 CPUtime=2.01
/proc/29915/task/29918/stat : 29918 (java) S 29914 29914 1511 34817 1511 4202560 50285 0 0 0 188 13 0 0 16 0 10 0 5020165 421023744 65482 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 0 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29919] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29919/stat : 29919 (java) S 29914 29914 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5020165 421023744 65482 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29920] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29920/stat : 29920 (java) S 29914 29914 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5020165 421023744 65482 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29921] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29921/stat : 29921 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5020166 421023744 65482 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29922] ppid=29914 vsize=411156 CPUtime=0.09
/proc/29915/task/29922/stat : 29922 (java) S 29914 29914 1511 34817 1511 4202560 543 0 0 0 8 1 0 0 15 0 10 0 5020166 421023744 65482 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29923] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29923/stat : 29923 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5020167 421023744 65482 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29924] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29924/stat : 29924 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5020167 421023744 65482 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29925] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29925/stat : 29925 (java) S 29914 29914 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5020547 421023744 65482 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.59
Current children cumulated vsize (KiB) 413724

[startup+10.4077 s]
/proc/loadavg: 1.42 1.16 1.09 2/46 29926
/proc/meminfo: memFree=64556/1048576 swapFree=0/0
[pid=29914] ppid=29913 vsize=2568 CPUtime=0
/proc/29914/stat : 29914 (gj-trendy-solve) S 29913 29914 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 5020164 2629632 270 1283457024 134512640 135304128 4288820240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29914/statm: 642 270 229 194 0 29 0
[pid=29915] ppid=29914 vsize=411156 CPUtime=10.38
/proc/29915/stat : 29915 (java) S 29914 29914 1511 34817 1511 4202496 66342 0 1 0 1013 25 0 0 25 0 10 0 5020164 421023744 65487 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29915/statm: 102789 65487 2920 10 0 96934 0
[pid=29915/tid=29917] ppid=29914 vsize=411156 CPUtime=7.98
/proc/29915/task/29917/stat : 29917 (java) R 29914 29914 1511 34817 1511 4202560 14554 0 1 0 789 9 0 0 25 0 10 0 5020164 421023744 65487 1283457024 134512640 134550932 4291446192 18446744073709551615 4116201001 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29915/tid=29918] ppid=29914 vsize=411156 CPUtime=2.28
/proc/29915/task/29918/stat : 29918 (java) S 29914 29914 1511 34817 1511 4202560 50297 0 0 0 215 13 0 0 16 0 10 0 5020165 421023744 65487 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 0 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29919] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29919/stat : 29919 (java) S 29914 29914 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5020165 421023744 65487 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29920] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29920/stat : 29920 (java) S 29914 29914 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5020165 421023744 65487 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29921] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29921/stat : 29921 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5020166 421023744 65487 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29922] ppid=29914 vsize=411156 CPUtime=0.09
/proc/29915/task/29922/stat : 29922 (java) S 29914 29914 1511 34817 1511 4202560 544 0 0 0 8 1 0 0 15 0 10 0 5020166 421023744 65487 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29923] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29923/stat : 29923 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5020167 421023744 65487 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29924] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29924/stat : 29924 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5020167 421023744 65487 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29925] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29925/stat : 29925 (java) S 29914 29914 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5020547 421023744 65487 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.38
Current children cumulated vsize (KiB) 413724

[startup+10.6077 s]
/proc/loadavg: 1.42 1.16 1.09 2/46 29926
/proc/meminfo: memFree=64556/1048576 swapFree=0/0
[pid=29914] ppid=29913 vsize=2568 CPUtime=0
/proc/29914/stat : 29914 (gj-trendy-solve) S 29913 29914 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 25 0 1 0 5020164 2629632 270 1283457024 134512640 135304128 4288820240 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/29914/statm: 642 270 229 194 0 29 0
[pid=29915] ppid=29914 vsize=411156 CPUtime=10.58
/proc/29915/stat : 29915 (java) S 29914 29914 1511 34817 1511 4202496 66342 0 1 0 1033 25 0 0 25 0 10 0 5020164 421023744 65487 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/29915/statm: 102789 65487 2920 10 0 96934 0
[pid=29915/tid=29917] ppid=29914 vsize=411156 CPUtime=8.18
/proc/29915/task/29917/stat : 29917 (java) R 29914 29914 1511 34817 1511 4202560 14554 0 1 0 809 9 0 0 25 0 10 0 5020164 421023744 65487 1283457024 134512640 134550932 4291446192 18446744073709551615 4116074537 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=29915/tid=29918] ppid=29914 vsize=411156 CPUtime=2.28
/proc/29915/task/29918/stat : 29918 (java) S 29914 29914 1511 34817 1511 4202560 50297 0 0 0 215 13 0 0 16 0 10 0 5020165 421023744 65487 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 0 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29919] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29919/stat : 29919 (java) S 29914 29914 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5020165 421023744 65487 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29920] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29920/stat : 29920 (java) S 29914 29914 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5020165 421023744 65487 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29921] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29921/stat : 29921 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5020166 421023744 65487 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29922] ppid=29914 vsize=411156 CPUtime=0.09
/proc/29915/task/29922/stat : 29922 (java) S 29914 29914 1511 34817 1511 4202560 544 0 0 0 8 1 0 0 15 0 10 0 5020166 421023744 65487 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29923] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29923/stat : 29923 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5020167 421023744 65487 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29924] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29924/stat : 29924 (java) S 29914 29914 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 15 0 10 0 5020167 421023744 65487 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
[pid=29915/tid=29925] ppid=29914 vsize=411156 CPUtime=0
/proc/29915/task/29925/stat : 29925 (java) S 29914 29914 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5020547 421023744 65487 1283457024 134512640 134550932 4291446192 18446744073709551615 4294960130 0 4 0 16800975 18446612132974983872 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.58
Current children cumulated vsize (KiB) 413724

Child status: 0
Real time (s): 10.7015
CPU time (s): 10.6487
CPU user time (s): 10.3886
CPU system time (s): 0.260016
CPU usage (%): 99.5067
Max. virtual memory (cumulated for all children) (KiB): 413724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.3886
system time used= 0.260016
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66732
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 923
involuntary context switches= 1141

runsolver used 0 second user time and 0 second system time

The end