runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3688681-1337886300/watcher-3688681-1337886300 -o /tmp/evaluation-result-3688681-1337886300/solver-3688681-1337886300 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688681-1337886300.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 24881
/proc/meminfo: memFree=28831772/32873648 swapFree=7372/7372
[pid=24881] ppid=24879 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/24881/stat : 24881 (java) D 24879 24881 23489 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 254756038 2560000 46 33554432000 1073741824 1073778376 140733650177888 140733650175016 217401355559 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/24881/statm: 625 46 37 9 0 29 0
[startup+0.0340759 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 24881
/proc/meminfo: memFree=28831772/32873648 swapFree=7372/7372
[pid=24881] ppid=24879 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/24881/stat : 24881 (java) S 24879 24881 23489 0 -1 4202496 2766 0 1 0 0 0 0 0 20 0 10 0 254756038 9233014784 3465 33554432000 1073741824 1073778376 140733699698752 140733699689888 217413877821 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24881/statm: 2254154 3465 1536 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616
[startup+0.100298 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 24881
/proc/meminfo: memFree=28831772/32873648 swapFree=7372/7372
[pid=24881] ppid=24879 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/24881/stat : 24881 (java) S 24879 24881 23489 0 -1 4202496 4284 0 1 0 7 1 0 0 20 0 18 0 254756038 9787813888 5454 33554432000 1073741824 1073778376 140733699698752 140733699689888 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24881/statm: 2389603 5454 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 24881
/proc/meminfo: memFree=28831772/32873648 swapFree=7372/7372
[pid=24881] ppid=24879 vsize=9558412 CPUtime=0.45 cores=1,3,5,7
/proc/24881/stat : 24881 (java) S 24879 24881 23489 0 -1 4202496 5381 0 1 0 44 1 0 0 20 0 18 0 254756038 9787813888 7739 33554432000 1073741824 1073778376 140733699698752 140733699689888 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24881/statm: 2389603 7739 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558412
[startup+0.700238 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 24881
/proc/meminfo: memFree=28831772/32873648 swapFree=7372/7372
[pid=24881] ppid=24879 vsize=9624976 CPUtime=1.64 cores=1,3,5,7
/proc/24881/stat : 24881 (java) S 24879 24881 23489 0 -1 4202496 12748 0 1 0 160 4 0 0 20 0 19 0 254756038 9855975424 25432 33554432000 1073741824 1073778376 140733699698752 140733699689888 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24881/statm: 2406244 25432 2253 9 0 2396937 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 9624976
[startup+1.50064 s]
/proc/loadavg: 2.00 2.00 2.00 2/193 24903
/proc/meminfo: memFree=28863280/32873648 swapFree=7372/7372
[pid=24881] ppid=24879 vsize=9624976 CPUtime=2.9 cores=1,3,5,7
/proc/24881/stat : 24881 (java) S 24879 24881 23489 0 -1 4202496 12765 0 1 0 286 4 0 0 20 0 19 0 254756038 9855975424 30047 33554432000 1073741824 1073778376 140733699698752 140733699689888 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24881/statm: 2406244 30047 2260 9 0 2396937 0
[pid=24881/tid=24883] ppid=24879 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/24881/task/24883/stat : 24883 (java) R 24879 24881 23489 0 -1 4202560 2491 0 1 0 144 2 0 0 20 0 19 0 254756040 9855975424 30047 33554432000 1073741824 1073778376 140733699698752 139822048526936 139821872687148 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24884] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24884/stat : 24884 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756041 9855975424 30047 33554432000 1073741824 1073778376 140733699698752 139822010018728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24885] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24885/stat : 24885 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756041 9855975424 30047 33554432000 1073741824 1073778376 140733699698752 139822008966184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24886] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24886/stat : 24886 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756041 9855975424 30047 33554432000 1073741824 1073778376 140733699698752 139822007913128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24881/tid=24887] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24887/stat : 24887 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756041 9855975424 30047 33554432000 1073741824 1073778376 140733699698752 139822006860584 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24888] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24888/stat : 24888 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756041 9855975424 30047 33554432000 1073741824 1073778376 140733699698752 139822005807528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24889] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24889/stat : 24889 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756041 9855975424 30047 33554432000 1073741824 1073778376 140733699698752 139822004754984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24890] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24890/stat : 24890 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756041 9855975424 30047 33554432000 1073741824 1073778376 140733699698752 139822003701928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24891] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24891/stat : 24891 (java) S 24879 24881 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254756041 9855975424 30047 33554432000 1073741824 1073778376 140733699698752 139822002649384 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24892] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24892/stat : 24892 (java) S 24879 24881 23489 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254756042 9855975424 30047 33554432000 1073741824 1073778376 140733699698752 139821871786856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24893] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24893/stat : 24893 (java) S 24879 24881 23489 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254756043 9855975424 30047 33554432000 1073741824 1073778376 140733699698752 139821870733176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24894] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24894/stat : 24894 (java) S 24879 24881 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254756043 9855975424 30047 33554432000 1073741824 1073778376 140733699698752 139821869680008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24895] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24895/stat : 24895 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756045 9855975424 30047 33554432000 1073741824 1073778376 140733699698752 139821868628752 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24896] ppid=24879 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/24881/task/24896/stat : 24896 (java) S 24879 24881 23489 0 -1 4202560 5486 0 0 0 67 2 0 0 20 0 19 0 254756045 9855975424 30047 33554432000 1073741824 1073778376 140733699698752 139821867575608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24897] ppid=24879 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/24881/task/24897/stat : 24897 (java) S 24879 24881 23489 0 -1 4202560 3589 0 0 0 73 0 0 0 20 0 19 0 254756045 9855975424 30047 33554432000 1073741824 1073778376 140733699698752 139821866523064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24898] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24898/stat : 24898 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756045 9855975424 30047 33554432000 1073741824 1073778376 140733699698752 139821865470200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24899] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24899/stat : 24899 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756045 9855975424 30047 33554432000 1073741824 1073778376 140733699698752 139821864417864 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24903] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24903/stat : 24903 (java) S 24879 24881 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254756108 9855975424 30047 33554432000 1073741824 1073778376 140733699698752 139821863364136 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 9624976
[startup+3.10076 s]
/proc/loadavg: 2.00 2.00 2.00 2/193 24903
/proc/meminfo: memFree=28805116/32873648 swapFree=7372/7372
[pid=24881] ppid=24879 vsize=9624976 CPUtime=4.66 cores=1,3,5,7
/proc/24881/stat : 24881 (java) S 24879 24881 23489 0 -1 4202496 12886 0 1 0 458 8 0 0 20 0 19 0 254756038 9855975424 45966 33554432000 1073741824 1073778376 140733699698752 140733699689888 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24881/statm: 2406244 45966 2285 9 0 2396937 0
[pid=24881/tid=24883] ppid=24879 vsize=9624976 CPUtime=2.91 cores=1,3,5,7
/proc/24881/task/24883/stat : 24883 (java) R 24879 24881 23489 0 -1 4202560 2495 0 1 0 289 2 0 0 20 0 19 0 254756040 9855975424 45966 33554432000 1073741824 1073778376 140733699698752 139822048526744 139821872842558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24884] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24884/stat : 24884 (java) S 24879 24881 23489 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254756041 9855975424 45966 33554432000 1073741824 1073778376 140733699698752 139822010018728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24881/tid=24885] ppid=24879 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24881/task/24885/stat : 24885 (java) S 24879 24881 23489 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 254756041 9855975424 45966 33554432000 1073741824 1073778376 140733699698752 139822008966184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24886] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24886/stat : 24886 (java) S 24879 24881 23489 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254756041 9855975424 45966 33554432000 1073741824 1073778376 140733699698752 139822007913128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24881/tid=24887] ppid=24879 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24881/task/24887/stat : 24887 (java) S 24879 24881 23489 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 254756041 9855975424 45966 33554432000 1073741824 1073778376 140733699698752 139822006860584 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24881/tid=24888] ppid=24879 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24881/task/24888/stat : 24888 (java) S 24879 24881 23489 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 19 0 254756041 9855975424 45966 33554432000 1073741824 1073778376 140733699698752 139822005807528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24889] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24889/stat : 24889 (java) S 24879 24881 23489 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254756041 9855975424 45966 33554432000 1073741824 1073778376 140733699698752 139822004754984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24881/tid=24890] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24890/stat : 24890 (java) S 24879 24881 23489 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254756041 9855975424 45966 33554432000 1073741824 1073778376 140733699698752 139822003701928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24891] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24891/stat : 24891 (java) S 24879 24881 23489 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254756041 9855975424 45966 33554432000 1073741824 1073778376 140733699698752 139822002649384 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24892] ppid=24879 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/24881/task/24892/stat : 24892 (java) S 24879 24881 23489 0 -1 4202560 43 0 0 0 9 0 0 0 20 0 19 0 254756042 9855975424 45966 33554432000 1073741824 1073778376 140733699698752 139821871786856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24893] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24893/stat : 24893 (java) S 24879 24881 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756043 9855975424 45966 33554432000 1073741824 1073778376 140733699698752 139821870733176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24894] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24894/stat : 24894 (java) S 24879 24881 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254756043 9855975424 45966 33554432000 1073741824 1073778376 140733699698752 139821869680008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24895] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24895/stat : 24895 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756045 9855975424 45966 33554432000 1073741824 1073778376 140733699698752 139821868628752 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24896] ppid=24879 vsize=9624976 CPUtime=0.72 cores=1,3,5,7
/proc/24881/task/24896/stat : 24896 (java) S 24879 24881 23489 0 -1 4202560 5489 0 0 0 70 2 0 0 20 0 19 0 254756045 9855975424 45966 33554432000 1073741824 1073778376 140733699698752 139821867575608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24897] ppid=24879 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/24881/task/24897/stat : 24897 (java) S 24879 24881 23489 0 -1 4202560 3590 0 0 0 75 0 0 0 20 0 19 0 254756045 9855975424 45966 33554432000 1073741824 1073778376 140733699698752 139821866523064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24898] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24898/stat : 24898 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756045 9855975424 45966 33554432000 1073741824 1073778376 140733699698752 139821865470200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24899] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24899/stat : 24899 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756045 9855975424 45966 33554432000 1073741824 1073778376 140733699698752 139821864417864 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24903] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24903/stat : 24903 (java) S 24879 24881 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254756108 9855975424 45966 33554432000 1073741824 1073778376 140733699698752 139821863364136 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.66
Current children cumulated vsize (KiB) 9624976
[startup+6.30069 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 25016
/proc/meminfo: memFree=28587976/32873648 swapFree=7372/7372
[pid=24881] ppid=24879 vsize=9624976 CPUtime=7.96 cores=1,3,5,7
/proc/24881/stat : 24881 (java) S 24879 24881 23489 0 -1 4202496 12918 0 1 0 787 9 0 0 20 0 19 0 254756038 9855975424 48529 33554432000 1073741824 1073778376 140733699698752 140733699689888 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24881/statm: 2406244 48529 2285 9 0 2396937 0
[pid=24881/tid=24883] ppid=24879 vsize=9624976 CPUtime=5.92 cores=1,3,5,7
/proc/24881/task/24883/stat : 24883 (java) R 24879 24881 23489 0 -1 4202560 2497 0 1 0 589 3 0 0 20 0 19 0 254756040 9855975424 48529 33554432000 1073741824 1073778376 140733699698752 139822048526624 139821872797927 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24884] ppid=24879 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24881/task/24884/stat : 24884 (java) S 24879 24881 23489 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 254756041 9855975424 48529 33554432000 1073741824 1073778376 140733699698752 139822010018728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24885] ppid=24879 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24881/task/24885/stat : 24885 (java) S 24879 24881 23489 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 254756041 9855975424 48529 33554432000 1073741824 1073778376 140733699698752 139822008966184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24886] ppid=24879 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24881/task/24886/stat : 24886 (java) S 24879 24881 23489 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 254756041 9855975424 48529 33554432000 1073741824 1073778376 140733699698752 139822007913128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24887] ppid=24879 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/24881/task/24887/stat : 24887 (java) S 24879 24881 23489 0 -1 4202560 31 0 0 0 1 1 0 0 20 0 19 0 254756041 9855975424 48529 33554432000 1073741824 1073778376 140733699698752 139822006860584 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24888] ppid=24879 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/24881/task/24888/stat : 24888 (java) S 24879 24881 23489 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 254756041 9855975424 48529 33554432000 1073741824 1073778376 140733699698752 139822005807528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24889] ppid=24879 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24881/task/24889/stat : 24889 (java) S 24879 24881 23489 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 254756041 9855975424 48529 33554432000 1073741824 1073778376 140733699698752 139822004754984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24890] ppid=24879 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/24881/task/24890/stat : 24890 (java) S 24879 24881 23489 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 254756041 9855975424 48529 33554432000 1073741824 1073778376 140733699698752 139822003701928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24881/tid=24891] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24891/stat : 24891 (java) S 24879 24881 23489 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254756041 9855975424 48529 33554432000 1073741824 1073778376 140733699698752 139822002649384 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24892] ppid=24879 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/24881/task/24892/stat : 24892 (java) S 24879 24881 23489 0 -1 4202560 47 0 0 0 26 0 0 0 20 0 19 0 254756042 9855975424 48529 33554432000 1073741824 1073778376 140733699698752 139821871786856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24893] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24893/stat : 24893 (java) S 24879 24881 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756043 9855975424 48529 33554432000 1073741824 1073778376 140733699698752 139821870733176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24894] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24894/stat : 24894 (java) S 24879 24881 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254756043 9855975424 48529 33554432000 1073741824 1073778376 140733699698752 139821869680008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24895] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24895/stat : 24895 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756045 9855975424 48529 33554432000 1073741824 1073778376 140733699698752 139821868628752 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24896] ppid=24879 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/24881/task/24896/stat : 24896 (java) S 24879 24881 23489 0 -1 4202560 5491 0 0 0 73 2 0 0 20 0 19 0 254756045 9855975424 48529 33554432000 1073741824 1073778376 140733699698752 139821867575608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24897] ppid=24879 vsize=9624976 CPUtime=0.78 cores=1,3,5,7
/proc/24881/task/24897/stat : 24897 (java) S 24879 24881 23489 0 -1 4202560 3593 0 0 0 78 0 0 0 20 0 19 0 254756045 9855975424 48529 33554432000 1073741824 1073778376 140733699698752 139821866523064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24898] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24898/stat : 24898 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756045 9855975424 48529 33554432000 1073741824 1073778376 140733699698752 139821865470200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24899] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24899/stat : 24899 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756045 9855975424 48529 33554432000 1073741824 1073778376 140733699698752 139821864417864 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24903] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24903/stat : 24903 (java) S 24879 24881 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254756108 9855975424 48529 33554432000 1073741824 1073778376 140733699698752 139821863364136 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.96
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
################
# More data... #
################
[pid=24881/tid=24889] ppid=24879 vsize=9624976 CPUtime=1.39 cores=1,3,5,7
/proc/24881/task/24889/stat : 24889 (java) S 24879 24881 23489 0 -1 4202560 556 0 0 0 134 5 0 0 20 0 19 0 254756041 9855975424 108297 33554432000 1073741824 1073778376 140733699698752 139822004754984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24881/tid=24890] ppid=24879 vsize=9624976 CPUtime=1.36 cores=1,3,5,7
/proc/24881/task/24890/stat : 24890 (java) S 24879 24881 23489 0 -1 4202560 479 0 0 0 131 5 0 0 20 0 19 0 254756041 9855975424 108297 33554432000 1073741824 1073778376 140733699698752 139822003701928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24891] ppid=24879 vsize=9624976 CPUtime=1.42 cores=1,3,5,7
/proc/24881/task/24891/stat : 24891 (java) S 24879 24881 23489 0 -1 4202560 369 0 0 0 134 8 0 0 20 0 19 0 254756041 9855975424 108297 33554432000 1073741824 1073778376 140733699698752 139822002649384 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24892] ppid=24879 vsize=9624976 CPUtime=6.25 cores=1,3,5,7
/proc/24881/task/24892/stat : 24892 (java) S 24879 24881 23489 0 -1 4202560 548 0 0 0 620 5 0 0 20 0 19 0 254756042 9855975424 108297 33554432000 1073741824 1073778376 140733699698752 139821871786856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24893] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24893/stat : 24893 (java) S 24879 24881 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756043 9855975424 108297 33554432000 1073741824 1073778376 140733699698752 139821870733176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24894] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24894/stat : 24894 (java) S 24879 24881 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254756043 9855975424 108297 33554432000 1073741824 1073778376 140733699698752 139821869680008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24895] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24895/stat : 24895 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756045 9855975424 108297 33554432000 1073741824 1073778376 140733699698752 139821868628752 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24896] ppid=24879 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/24881/task/24896/stat : 24896 (java) S 24879 24881 23489 0 -1 4202560 5491 0 0 0 73 2 0 0 20 0 19 0 254756045 9855975424 108297 33554432000 1073741824 1073778376 140733699698752 139821867575608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24897] ppid=24879 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/24881/task/24897/stat : 24897 (java) S 24879 24881 23489 0 -1 4202560 3601 0 0 0 85 0 0 0 20 0 19 0 254756045 9855975424 108297 33554432000 1073741824 1073778376 140733699698752 139821866523064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24898] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24898/stat : 24898 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756045 9855975424 108297 33554432000 1073741824 1073778376 140733699698752 139821865470200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24899] ppid=24879 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/24881/task/24899/stat : 24899 (java) S 24879 24881 23489 0 -1 4202560 95 0 0 0 26 34 0 0 20 0 19 0 254756045 9855975424 108297 33554432000 1073741824 1073778376 140733699698752 139821864417864 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24903] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24903/stat : 24903 (java) S 24879 24881 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254756108 9855975424 108297 33554432000 1073741824 1073778376 140733699698752 139821863364136 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1671.84
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.10 2.09 2.04 3/213 25031
/proc/meminfo: memFree=26848956/32873648 swapFree=7372/7372
[pid=24881] ppid=24879 vsize=9624976 CPUtime=1732.53 cores=1,3,5,7
/proc/24881/stat : 24881 (java) S 24879 24881 23489 0 -1 4202496 17991 0 1 0 173153 100 0 0 20 0 19 0 254756038 9855975424 110971 33554432000 1073741824 1073778376 140733699698752 140733699689888 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24881/statm: 2406244 110971 2286 9 0 2396937 0
[pid=24881/tid=24883] ppid=24879 vsize=9624976 CPUtime=1712.2 cores=1,3,5,7
/proc/24881/task/24883/stat : 24883 (java) R 24879 24881 23489 0 -1 4202560 2777 0 1 0 171188 32 0 0 20 0 19 0 254756040 9855975424 110971 33554432000 1073741824 1073778376 140733699698752 139822048525680 139821872842558 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24884] ppid=24879 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/24881/task/24884/stat : 24884 (java) S 24879 24881 23489 0 -1 4202560 303 0 0 0 142 5 0 0 20 0 19 0 254756041 9855975424 110971 33554432000 1073741824 1073778376 140733699698752 139822010018728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24885] ppid=24879 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/24881/task/24885/stat : 24885 (java) S 24879 24881 23489 0 -1 4202560 481 0 0 0 140 6 0 0 20 0 19 0 254756041 9855975424 110971 33554432000 1073741824 1073778376 140733699698752 139822008966184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24886] ppid=24879 vsize=9624976 CPUtime=1.44 cores=1,3,5,7
/proc/24881/task/24886/stat : 24886 (java) S 24879 24881 23489 0 -1 4202560 677 0 0 0 138 6 0 0 20 0 19 0 254756041 9855975424 110971 33554432000 1073741824 1073778376 140733699698752 139822007913128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24887] ppid=24879 vsize=9624976 CPUtime=1.52 cores=1,3,5,7
/proc/24881/task/24887/stat : 24887 (java) S 24879 24881 23489 0 -1 4202560 485 0 0 0 144 8 0 0 20 0 19 0 254756041 9855975424 110971 33554432000 1073741824 1073778376 140733699698752 139822006860584 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24888] ppid=24879 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/24881/task/24888/stat : 24888 (java) S 24879 24881 23489 0 -1 4202560 707 0 0 0 141 6 0 0 20 0 19 0 254756041 9855975424 110971 33554432000 1073741824 1073778376 140733699698752 139822005807528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24889] ppid=24879 vsize=9624976 CPUtime=1.5 cores=1,3,5,7
/proc/24881/task/24889/stat : 24889 (java) S 24879 24881 23489 0 -1 4202560 633 0 0 0 144 6 0 0 20 0 19 0 254756041 9855975424 110971 33554432000 1073741824 1073778376 140733699698752 139822004754984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24890] ppid=24879 vsize=9624976 CPUtime=1.49 cores=1,3,5,7
/proc/24881/task/24890/stat : 24890 (java) S 24879 24881 23489 0 -1 4202560 617 0 0 0 144 5 0 0 20 0 19 0 254756041 9855975424 110971 33554432000 1073741824 1073778376 140733699698752 139822003701928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24891] ppid=24879 vsize=9624976 CPUtime=1.54 cores=1,3,5,7
/proc/24881/task/24891/stat : 24891 (java) S 24879 24881 23489 0 -1 4202560 377 0 0 0 146 8 0 0 20 0 19 0 254756041 9855975424 110971 33554432000 1073741824 1073778376 140733699698752 139822002649384 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24892] ppid=24879 vsize=9624976 CPUtime=6.37 cores=1,3,5,7
/proc/24881/task/24892/stat : 24892 (java) S 24879 24881 23489 0 -1 4202560 558 0 0 0 632 5 0 0 20 0 19 0 254756042 9855975424 110971 33554432000 1073741824 1073778376 140733699698752 139821871786856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24893] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24893/stat : 24893 (java) S 24879 24881 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756043 9855975424 110971 33554432000 1073741824 1073778376 140733699698752 139821870733176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24894] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24894/stat : 24894 (java) S 24879 24881 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254756043 9855975424 110971 33554432000 1073741824 1073778376 140733699698752 139821869680008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24895] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24895/stat : 24895 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756045 9855975424 110971 33554432000 1073741824 1073778376 140733699698752 139821868628752 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24896] ppid=24879 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/24881/task/24896/stat : 24896 (java) S 24879 24881 23489 0 -1 4202560 5491 0 0 0 73 2 0 0 20 0 19 0 254756045 9855975424 110971 33554432000 1073741824 1073778376 140733699698752 139821867575608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24897] ppid=24879 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/24881/task/24897/stat : 24897 (java) S 24879 24881 23489 0 -1 4202560 3601 0 0 0 85 0 0 0 20 0 19 0 254756045 9855975424 110971 33554432000 1073741824 1073778376 140733699698752 139821866523064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24898] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24898/stat : 24898 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756045 9855975424 110971 33554432000 1073741824 1073778376 140733699698752 139821865470200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24899] ppid=24879 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/24881/task/24899/stat : 24899 (java) S 24879 24881 23489 0 -1 4202560 99 0 0 0 27 35 0 0 20 0 19 0 254756045 9855975424 110971 33554432000 1073741824 1073778376 140733699698752 139821864417864 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24903] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24903/stat : 24903 (java) S 24879 24881 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254756108 9855975424 110971 33554432000 1073741824 1073778376 140733699698752 139821863364136 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1732.53
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 1.95 2.06 2.02 3/213 25090
/proc/meminfo: memFree=28437804/32873648 swapFree=7372/7372
[pid=24881] ppid=24879 vsize=9624976 CPUtime=1793.2 cores=1,3,5,7
/proc/24881/stat : 24881 (java) S 24879 24881 23489 0 -1 4202496 18379 0 1 0 179217 103 0 0 20 0 19 0 254756038 9855975424 112850 33554432000 1073741824 1073778376 140733699698752 140733699689888 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24881/statm: 2406244 112850 2286 9 0 2396937 0
[pid=24881/tid=24883] ppid=24879 vsize=9624976 CPUtime=1771.77 cores=1,3,5,7
/proc/24881/task/24883/stat : 24883 (java) R 24879 24881 23489 0 -1 4202560 2800 0 1 0 177145 32 0 0 20 0 19 0 254756040 9855975424 112850 33554432000 1073741824 1073778376 140733699698752 139822048525680 139821872842563 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24884] ppid=24879 vsize=9624976 CPUtime=1.61 cores=1,3,5,7
/proc/24881/task/24884/stat : 24884 (java) S 24879 24881 23489 0 -1 4202560 320 0 0 0 156 5 0 0 20 0 19 0 254756041 9855975424 112850 33554432000 1073741824 1073778376 140733699698752 139822010018728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24885] ppid=24879 vsize=9624976 CPUtime=1.58 cores=1,3,5,7
/proc/24881/task/24885/stat : 24885 (java) S 24879 24881 23489 0 -1 4202560 483 0 0 0 152 6 0 0 20 0 19 0 254756041 9855975424 112850 33554432000 1073741824 1073778376 140733699698752 139822008966184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24881/tid=24886] ppid=24879 vsize=9624976 CPUtime=1.57 cores=1,3,5,7
/proc/24881/task/24886/stat : 24886 (java) S 24879 24881 23489 0 -1 4202560 687 0 0 0 151 6 0 0 20 0 19 0 254756041 9855975424 112850 33554432000 1073741824 1073778376 140733699698752 139822007913128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24887] ppid=24879 vsize=9624976 CPUtime=1.63 cores=1,3,5,7
/proc/24881/task/24887/stat : 24887 (java) S 24879 24881 23489 0 -1 4202560 610 0 0 0 154 9 0 0 20 0 19 0 254756041 9855975424 112850 33554432000 1073741824 1073778376 140733699698752 139822006860584 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24888] ppid=24879 vsize=9624976 CPUtime=1.59 cores=1,3,5,7
/proc/24881/task/24888/stat : 24888 (java) S 24879 24881 23489 0 -1 4202560 708 0 0 0 152 7 0 0 20 0 19 0 254756041 9855975424 112850 33554432000 1073741824 1073778376 140733699698752 139822005807528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24889] ppid=24879 vsize=9624976 CPUtime=1.62 cores=1,3,5,7
/proc/24881/task/24889/stat : 24889 (java) S 24879 24881 23489 0 -1 4202560 828 0 0 0 156 6 0 0 20 0 19 0 254756041 9855975424 112850 33554432000 1073741824 1073778376 140733699698752 139822004754984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24890] ppid=24879 vsize=9624976 CPUtime=1.59 cores=1,3,5,7
/proc/24881/task/24890/stat : 24890 (java) S 24879 24881 23489 0 -1 4202560 617 0 0 0 154 5 0 0 20 0 19 0 254756041 9855975424 112850 33554432000 1073741824 1073778376 140733699698752 139822003701928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24891] ppid=24879 vsize=9624976 CPUtime=1.67 cores=1,3,5,7
/proc/24881/task/24891/stat : 24891 (java) S 24879 24881 23489 0 -1 4202560 378 0 0 0 159 8 0 0 20 0 19 0 254756041 9855975424 112850 33554432000 1073741824 1073778376 140733699698752 139822002649384 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24892] ppid=24879 vsize=9624976 CPUtime=6.5 cores=1,3,5,7
/proc/24881/task/24892/stat : 24892 (java) S 24879 24881 23489 0 -1 4202560 568 0 0 0 645 5 0 0 20 0 19 0 254756042 9855975424 112850 33554432000 1073741824 1073778376 140733699698752 139821871786856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24893] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24893/stat : 24893 (java) S 24879 24881 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756043 9855975424 112850 33554432000 1073741824 1073778376 140733699698752 139821870733176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24894] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24894/stat : 24894 (java) S 24879 24881 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254756043 9855975424 112850 33554432000 1073741824 1073778376 140733699698752 139821869680008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24895] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24895/stat : 24895 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756045 9855975424 112850 33554432000 1073741824 1073778376 140733699698752 139821868628752 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24896] ppid=24879 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/24881/task/24896/stat : 24896 (java) S 24879 24881 23489 0 -1 4202560 5491 0 0 0 73 2 0 0 20 0 19 0 254756045 9855975424 112850 33554432000 1073741824 1073778376 140733699698752 139821867575608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24897] ppid=24879 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/24881/task/24897/stat : 24897 (java) S 24879 24881 23489 0 -1 4202560 3601 0 0 0 85 0 0 0 20 0 19 0 254756045 9855975424 112850 33554432000 1073741824 1073778376 140733699698752 139821866523064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24898] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24898/stat : 24898 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756045 9855975424 112850 33554432000 1073741824 1073778376 140733699698752 139821865470200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24899] ppid=24879 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/24881/task/24899/stat : 24899 (java) S 24879 24881 23489 0 -1 4202560 103 0 0 0 28 37 0 0 20 0 19 0 254756045 9855975424 112850 33554432000 1073741824 1073778376 140733699698752 139821864417864 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24903] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24903/stat : 24903 (java) S 24879 24881 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254756108 9855975424 112850 33554432000 1073741824 1073778376 140733699698752 139821863364136 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1793.2
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789 s]
/proc/loadavg: 1.96 2.06 2.02 4/213 25090
/proc/meminfo: memFree=28388680/32873648 swapFree=7372/7372
[pid=24881] ppid=24879 vsize=9624976 CPUtime=1800 cores=1,3,5,7
/proc/24881/stat : 24881 (java) S 24879 24881 23489 0 -1 4202496 18386 0 1 0 179897 103 0 0 20 0 19 0 254756038 9855975424 112790 33554432000 1073741824 1073778376 140733699698752 140733699689888 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/24881/statm: 2406244 112790 2286 9 0 2396937 0
[pid=24881/tid=24883] ppid=24879 vsize=9624976 CPUtime=1778.43 cores=1,3,5,7
/proc/24881/task/24883/stat : 24883 (java) R 24879 24881 23489 0 -1 4202560 2803 0 1 0 177810 33 0 0 20 0 19 0 254756040 9855975424 112790 33554432000 1073741824 1073778376 140733699698752 139822048525680 139821872533707 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24884] ppid=24879 vsize=9624976 CPUtime=1.63 cores=1,3,5,7
/proc/24881/task/24884/stat : 24884 (java) S 24879 24881 23489 0 -1 4202560 320 0 0 0 158 5 0 0 20 0 19 0 254756041 9855975424 112790 33554432000 1073741824 1073778376 140733699698752 139822010018728 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24881/tid=24885] ppid=24879 vsize=9624976 CPUtime=1.59 cores=1,3,5,7
/proc/24881/task/24885/stat : 24885 (java) S 24879 24881 23489 0 -1 4202560 483 0 0 0 153 6 0 0 20 0 19 0 254756041 9855975424 112790 33554432000 1073741824 1073778376 140733699698752 139822008966184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24886] ppid=24879 vsize=9624976 CPUtime=1.6 cores=1,3,5,7
/proc/24881/task/24886/stat : 24886 (java) S 24879 24881 23489 0 -1 4202560 691 0 0 0 154 6 0 0 20 0 19 0 254756041 9855975424 112790 33554432000 1073741824 1073778376 140733699698752 139822007913128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24881/tid=24887] ppid=24879 vsize=9624976 CPUtime=1.65 cores=1,3,5,7
/proc/24881/task/24887/stat : 24887 (java) S 24879 24881 23489 0 -1 4202560 610 0 0 0 156 9 0 0 20 0 19 0 254756041 9855975424 112790 33554432000 1073741824 1073778376 140733699698752 139822006860584 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24888] ppid=24879 vsize=9624976 CPUtime=1.6 cores=1,3,5,7
/proc/24881/task/24888/stat : 24888 (java) S 24879 24881 23489 0 -1 4202560 708 0 0 0 153 7 0 0 20 0 19 0 254756041 9855975424 112790 33554432000 1073741824 1073778376 140733699698752 139822005807528 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24881/tid=24889] ppid=24879 vsize=9624976 CPUtime=1.63 cores=1,3,5,7
/proc/24881/task/24889/stat : 24889 (java) S 24879 24881 23489 0 -1 4202560 828 0 0 0 157 6 0 0 20 0 19 0 254756041 9855975424 112790 33554432000 1073741824 1073778376 140733699698752 139822004754984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24890] ppid=24879 vsize=9624976 CPUtime=1.62 cores=1,3,5,7
/proc/24881/task/24890/stat : 24890 (java) S 24879 24881 23489 0 -1 4202560 617 0 0 0 157 5 0 0 20 0 19 0 254756041 9855975424 112790 33554432000 1073741824 1073778376 140733699698752 139822003701928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24891] ppid=24879 vsize=9624976 CPUtime=1.68 cores=1,3,5,7
/proc/24881/task/24891/stat : 24891 (java) S 24879 24881 23489 0 -1 4202560 378 0 0 0 160 8 0 0 20 0 19 0 254756041 9855975424 112790 33554432000 1073741824 1073778376 140733699698752 139822002649384 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=24881/tid=24892] ppid=24879 vsize=9624976 CPUtime=6.5 cores=1,3,5,7
/proc/24881/task/24892/stat : 24892 (java) S 24879 24881 23489 0 -1 4202560 568 0 0 0 645 5 0 0 20 0 19 0 254756042 9855975424 112790 33554432000 1073741824 1073778376 140733699698752 139821871786856 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24893] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24893/stat : 24893 (java) S 24879 24881 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254756043 9855975424 112790 33554432000 1073741824 1073778376 140733699698752 139821870733176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24894] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24894/stat : 24894 (java) S 24879 24881 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254756043 9855975424 112790 33554432000 1073741824 1073778376 140733699698752 139821869680008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24895] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24895/stat : 24895 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756045 9855975424 112790 33554432000 1073741824 1073778376 140733699698752 139821868628752 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24896] ppid=24879 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/24881/task/24896/stat : 24896 (java) S 24879 24881 23489 0 -1 4202560 5491 0 0 0 73 2 0 0 20 0 19 0 254756045 9855975424 112790 33554432000 1073741824 1073778376 140733699698752 139821867575608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24897] ppid=24879 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/24881/task/24897/stat : 24897 (java) S 24879 24881 23489 0 -1 4202560 3601 0 0 0 85 0 0 0 20 0 19 0 254756045 9855975424 112790 33554432000 1073741824 1073778376 140733699698752 139821866523064 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24898] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24898/stat : 24898 (java) S 24879 24881 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254756045 9855975424 112790 33554432000 1073741824 1073778376 140733699698752 139821865470200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=24881/tid=24899] ppid=24879 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/24881/task/24899/stat : 24899 (java) S 24879 24881 23489 0 -1 4202560 103 0 0 0 28 37 0 0 20 0 19 0 254756045 9855975424 112790 33554432000 1073741824 1073778376 140733699698752 139821864417864 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=24881/tid=24903] ppid=24879 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/24881/task/24903/stat : 24903 (java) S 24879 24881 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254756108 9855975424 112790 33554432000 1073741824 1073778376 140733699698752 139821863364136 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1789.05
CPU time (s): 1800.52
CPU user time (s): 1799.09
CPU system time (s): 1.43278
CPU usage (%): 100.641
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.43278
maximum resident set size= 579128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18418
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46600
involuntary context switches= 42881
runsolver used 5.96009 second user time and 15.6236 second system time
The end