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-3687587-1337873683/watcher-3687587-1337873683 -o /tmp/evaluation-result-3687587-1337873683/solver-3687587-1337873683 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687587-1337873683.opb
running on 4 cores: 0,2,4,6
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: 1.84 1.97 1.69 2/174 23628
/proc/meminfo: memFree=28979800/32873648 swapFree=7372/7372
[pid=23628] ppid=23626 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/23628/stat : 23628 (java) R 23626 23628 23489 0 -1 4202496 92 0 0 0 0 0 0 0 20 0 1 0 253494251 2560000 46 33554432000 1073741824 1073778376 140734608231312 140734608228440 217401355559 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23628/statm: 892 47 37 9 0 30 0
[startup+0.0618791 s]
/proc/loadavg: 1.84 1.97 1.69 2/174 23628
/proc/meminfo: memFree=28979800/32873648 swapFree=7372/7372
[pid=23628] ppid=23626 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/23628/stat : 23628 (java) S 23626 23628 23489 0 -1 4202496 3075 0 1 0 2 0 0 0 20 0 13 0 253494251 9446973440 3774 33554432000 1073741824 1073778376 140735223368928 140735223360064 217413877821 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23628/statm: 2306390 3774 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100201 s]
/proc/loadavg: 1.84 1.97 1.69 2/174 23628
/proc/meminfo: memFree=28979800/32873648 swapFree=7372/7372
[pid=23628] ppid=23626 vsize=9558412 CPUtime=0.07 cores=0,2,4,6
/proc/23628/stat : 23628 (java) S 23626 23628 23489 0 -1 4202496 4251 0 1 0 7 0 0 0 20 0 18 0 253494251 9787813888 5426 33554432000 1073741824 1073778376 140735223368928 140735223360064 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23628/statm: 2389603 5426 2107 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412
[startup+0.30016 s]
/proc/loadavg: 1.84 1.97 1.69 2/174 23628
/proc/meminfo: memFree=28979800/32873648 swapFree=7372/7372
[pid=23628] ppid=23626 vsize=9624976 CPUtime=0.5 cores=0,2,4,6
/proc/23628/stat : 23628 (java) S 23626 23628 23489 0 -1 4202496 6803 0 1 0 49 1 0 0 20 0 19 0 253494251 9855975424 8251 33554432000 1073741824 1073778376 140735223368928 140735223360064 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23628/statm: 2406244 8251 2229 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9624976
[startup+0.700113 s]
/proc/loadavg: 1.84 1.97 1.69 2/174 23628
/proc/meminfo: memFree=28979800/32873648 swapFree=7372/7372
[pid=23628] ppid=23626 vsize=9624976 CPUtime=1.09 cores=0,2,4,6
/proc/23628/stat : 23628 (java) S 23626 23628 23489 0 -1 4202496 8686 0 1 0 107 2 0 0 20 0 19 0 253494251 9855975424 9756 33554432000 1073741824 1073778376 140735223368928 140735223360064 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23628/statm: 2406244 9756 2234 9 0 2396937 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 9624976
[startup+1.50054 s]
/proc/loadavg: 1.84 1.97 1.69 4/213 23703
/proc/meminfo: memFree=28919284/32873648 swapFree=7372/7372
[pid=23628] ppid=23626 vsize=9624976 CPUtime=1.97 cores=0,2,4,6
/proc/23628/stat : 23628 (java) S 23626 23628 23489 0 -1 4202496 8778 0 1 0 195 2 0 0 20 0 19 0 253494251 9855975424 13412 33554432000 1073741824 1073778376 140735223368928 140735223360064 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23628/statm: 2406244 13412 2270 9 0 2396937 0
[pid=23628/tid=23630] ppid=23626 vsize=9624976 CPUtime=1.44 cores=0,2,4,6
/proc/23628/task/23630/stat : 23630 (java) R 23626 23628 23489 0 -1 4202560 2459 0 1 0 144 0 0 0 20 0 19 0 253494253 9855975424 13412 33554432000 1073741824 1073778376 140735223368928 140671741645208 140671604714167 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23631] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23631/stat : 23631 (java) S 23626 23628 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 13412 33554432000 1073741824 1073778376 140735223368928 140671730706984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23632] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23632/stat : 23632 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 13412 33554432000 1073741824 1073778376 140735223368928 140671729654184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23633] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23633/stat : 23633 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 13412 33554432000 1073741824 1073778376 140735223368928 140671728601384 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23634] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23634/stat : 23634 (java) S 23626 23628 23489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 13412 33554432000 1073741824 1073778376 140735223368928 140671727548584 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23635] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23635/stat : 23635 (java) S 23626 23628 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 13412 33554432000 1073741824 1073778376 140735223368928 140671726496808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23636] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23636/stat : 23636 (java) S 23626 23628 23489 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 13412 33554432000 1073741824 1073778376 140735223368928 140671725444008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23628/tid=23637] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23637/stat : 23637 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 13412 33554432000 1073741824 1073778376 140735223368928 140671724391208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23638] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23638/stat : 23638 (java) S 23626 23628 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 13412 33554432000 1073741824 1073778376 140735223368928 140671723338408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23639] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23639/stat : 23639 (java) S 23626 23628 23489 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 253494255 9855975424 13412 33554432000 1073741824 1073778376 140735223368928 140671565507048 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23628/tid=23640] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23640/stat : 23640 (java) S 23626 23628 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253494256 9855975424 13412 33554432000 1073741824 1073778376 140735223368928 140671564453112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23641] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23641/stat : 23641 (java) S 23626 23628 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253494256 9855975424 13412 33554432000 1073741824 1073778376 140735223368928 140671563400200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23642] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23642/stat : 23642 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494258 9855975424 13412 33554432000 1073741824 1073778376 140735223368928 140671562348688 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23643] ppid=23626 vsize=9624976 CPUtime=0.27 cores=0,2,4,6
/proc/23628/task/23643/stat : 23643 (java) S 23626 23628 23489 0 -1 4202560 3181 0 0 0 27 0 0 0 20 0 19 0 253494258 9855975424 13412 33554432000 1073741824 1073778376 140735223368928 140671561296824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23644] ppid=23626 vsize=9624976 CPUtime=0.19 cores=0,2,4,6
/proc/23628/task/23644/stat : 23644 (java) S 23626 23628 23489 0 -1 4202560 1896 0 0 0 19 0 0 0 20 0 19 0 253494258 9855975424 13412 33554432000 1073741824 1073778376 140735223368928 140671560244024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23645] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23645/stat : 23645 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494258 9855975424 13412 33554432000 1073741824 1073778376 140735223368928 140671559191416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23646] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23646/stat : 23646 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494258 9855975424 13412 33554432000 1073741824 1073778376 140735223368928 140671558138824 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23628/tid=23671] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23671/stat : 23671 (java) S 23626 23628 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253494275 9855975424 13412 33554432000 1073741824 1073778376 140735223368928 140671557084328 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 9624976
[startup+3.10065 s]
/proc/loadavg: 1.84 1.97 1.69 3/213 23703
/proc/meminfo: memFree=28893344/32873648 swapFree=7372/7372
[pid=23628] ppid=23626 vsize=9624976 CPUtime=3.6 cores=0,2,4,6
/proc/23628/stat : 23628 (java) S 23626 23628 23489 0 -1 4202496 8792 0 1 0 358 2 0 0 20 0 19 0 253494251 9855975424 14955 33554432000 1073741824 1073778376 140735223368928 140735223360064 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23628/statm: 2406244 14955 2270 9 0 2396937 0
[pid=23628/tid=23630] ppid=23626 vsize=9624976 CPUtime=3.03 cores=0,2,4,6
/proc/23628/task/23630/stat : 23630 (java) R 23626 23628 23489 0 -1 4202560 2461 0 1 0 303 0 0 0 20 0 19 0 253494253 9855975424 14955 33554432000 1073741824 1073778376 140735223368928 140671741645048 140671604772194 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23631] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23631/stat : 23631 (java) S 23626 23628 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 14955 33554432000 1073741824 1073778376 140735223368928 140671730706984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23632] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23632/stat : 23632 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 14955 33554432000 1073741824 1073778376 140735223368928 140671729654184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23633] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23633/stat : 23633 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 14955 33554432000 1073741824 1073778376 140735223368928 140671728601384 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23634] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23634/stat : 23634 (java) S 23626 23628 23489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 14955 33554432000 1073741824 1073778376 140735223368928 140671727548584 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23635] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23635/stat : 23635 (java) S 23626 23628 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 14955 33554432000 1073741824 1073778376 140735223368928 140671726496808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23636] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23636/stat : 23636 (java) S 23626 23628 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 14955 33554432000 1073741824 1073778376 140735223368928 140671725444008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23628/tid=23637] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23637/stat : 23637 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 14955 33554432000 1073741824 1073778376 140735223368928 140671724391208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23638] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23638/stat : 23638 (java) S 23626 23628 23489 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 14955 33554432000 1073741824 1073778376 140735223368928 140671723338408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23639] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23639/stat : 23639 (java) S 23626 23628 23489 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 253494255 9855975424 14955 33554432000 1073741824 1073778376 140735223368928 140671565507048 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23628/tid=23640] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23640/stat : 23640 (java) S 23626 23628 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253494256 9855975424 14955 33554432000 1073741824 1073778376 140735223368928 140671564453112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23641] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23641/stat : 23641 (java) S 23626 23628 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253494256 9855975424 14955 33554432000 1073741824 1073778376 140735223368928 140671563400200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23642] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23642/stat : 23642 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494258 9855975424 14955 33554432000 1073741824 1073778376 140735223368928 140671562348688 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23643] ppid=23626 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/23628/task/23643/stat : 23643 (java) S 23626 23628 23489 0 -1 4202560 3181 0 0 0 29 0 0 0 20 0 19 0 253494258 9855975424 14955 33554432000 1073741824 1073778376 140735223368928 140671561296824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23644] ppid=23626 vsize=9624976 CPUtime=0.21 cores=0,2,4,6
/proc/23628/task/23644/stat : 23644 (java) S 23626 23628 23489 0 -1 4202560 1896 0 0 0 21 0 0 0 20 0 19 0 253494258 9855975424 14955 33554432000 1073741824 1073778376 140735223368928 140671560244024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23645] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23645/stat : 23645 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494258 9855975424 14955 33554432000 1073741824 1073778376 140735223368928 140671559191416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23646] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23646/stat : 23646 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494258 9855975424 14955 33554432000 1073741824 1073778376 140735223368928 140671558138824 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23628/tid=23671] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23671/stat : 23671 (java) S 23626 23628 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253494275 9855975424 14955 33554432000 1073741824 1073778376 140735223368928 140671557084328 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 9624976
[startup+6.30073 s]
/proc/loadavg: 1.85 1.97 1.69 3/213 23703
/proc/meminfo: memFree=28870668/32873648 swapFree=7372/7372
[pid=23628] ppid=23626 vsize=9624976 CPUtime=6.85 cores=0,2,4,6
/proc/23628/stat : 23628 (java) S 23626 23628 23489 0 -1 4202496 8817 0 1 0 683 2 0 0 20 0 19 0 253494251 9855975424 17001 33554432000 1073741824 1073778376 140735223368928 140735223360064 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23628/statm: 2406244 17001 2270 9 0 2396937 0
[pid=23628/tid=23630] ppid=23626 vsize=9624976 CPUtime=6.19 cores=0,2,4,6
/proc/23628/task/23630/stat : 23630 (java) R 23626 23628 23489 0 -1 4202560 2463 0 1 0 619 0 0 0 20 0 19 0 253494253 9855975424 17001 33554432000 1073741824 1073778376 140735223368928 140671741645088 140671604806027 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23631] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23631/stat : 23631 (java) S 23626 23628 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 17001 33554432000 1073741824 1073778376 140735223368928 140671730706984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23632] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23632/stat : 23632 (java) S 23626 23628 23489 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 17001 33554432000 1073741824 1073778376 140735223368928 140671729654184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23628/tid=23633] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23633/stat : 23633 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 17001 33554432000 1073741824 1073778376 140735223368928 140671728601384 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23634] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23634/stat : 23634 (java) S 23626 23628 23489 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 17001 33554432000 1073741824 1073778376 140735223368928 140671727548584 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23628/tid=23635] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23635/stat : 23635 (java) S 23626 23628 23489 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 17001 33554432000 1073741824 1073778376 140735223368928 140671726496808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23636] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23636/stat : 23636 (java) S 23626 23628 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 17001 33554432000 1073741824 1073778376 140735223368928 140671725444008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23637] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23637/stat : 23637 (java) S 23626 23628 23489 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 17001 33554432000 1073741824 1073778376 140735223368928 140671724391208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23638] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23638/stat : 23638 (java) S 23626 23628 23489 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 253494254 9855975424 17001 33554432000 1073741824 1073778376 140735223368928 140671723338408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23639] ppid=23626 vsize=9624976 CPUtime=0.04 cores=0,2,4,6
/proc/23628/task/23639/stat : 23639 (java) S 23626 23628 23489 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 19 0 253494255 9855975424 17001 33554432000 1073741824 1073778376 140735223368928 140671565507048 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23628/tid=23640] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23640/stat : 23640 (java) S 23626 23628 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253494256 9855975424 17001 33554432000 1073741824 1073778376 140735223368928 140671564453112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23641] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23641/stat : 23641 (java) S 23626 23628 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253494256 9855975424 17001 33554432000 1073741824 1073778376 140735223368928 140671563400200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23642] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23642/stat : 23642 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494258 9855975424 17001 33554432000 1073741824 1073778376 140735223368928 140671562348688 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23643] ppid=23626 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/23628/task/23643/stat : 23643 (java) S 23626 23628 23489 0 -1 4202560 3181 0 0 0 29 0 0 0 20 0 19 0 253494258 9855975424 17001 33554432000 1073741824 1073778376 140735223368928 140671561296824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23644] ppid=23626 vsize=9624976 CPUtime=0.24 cores=0,2,4,6
/proc/23628/task/23644/stat : 23644 (java) S 23626 23628 23489 0 -1 4202560 1900 0 0 0 24 0 0 0 20 0 19 0 253494258 9855975424 17001 33554432000 1073741824 1073778376 140735223368928 140671560244024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23645] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23645/stat : 23645 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494258 9855975424 17001 33554432000 1073741824 1073778376 140735223368928 140671559191416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23646] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23646/stat : 23646 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494258 9855975424 17001 33554432000 1073741824 1073778376 140735223368928 140671558138824 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23628/tid=23671] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23671/stat : 23671 (java) S 23626 23628 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253494275 9855975424 17001 33554432000 1073741824 1073778376 140735223368928 140671557084328 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.85
Current children cumulated vsize (KiB) 9624976
[startup+12.7006 s]
################
# More data... #
################
[pid=23628/tid=23636] ppid=23626 vsize=9624976 CPUtime=0.78 cores=0,2,4,6
/proc/23628/task/23636/stat : 23636 (java) S 23626 23628 23489 0 -1 4202560 405 0 0 0 73 5 0 0 20 0 19 0 253494254 9855975424 110742 33554432000 1073741824 1073778376 140735223368928 140671725444008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23637] ppid=23626 vsize=9624976 CPUtime=0.84 cores=0,2,4,6
/proc/23628/task/23637/stat : 23637 (java) S 23626 23628 23489 0 -1 4202560 336 0 0 0 80 4 0 0 20 0 19 0 253494254 9855975424 110742 33554432000 1073741824 1073778376 140735223368928 140671724391208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23638] ppid=23626 vsize=9624976 CPUtime=0.82 cores=0,2,4,6
/proc/23628/task/23638/stat : 23638 (java) S 23626 23628 23489 0 -1 4202560 75 0 0 0 79 3 0 0 20 0 19 0 253494254 9855975424 110742 33554432000 1073741824 1073778376 140735223368928 140671723338408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23639] ppid=23626 vsize=9624976 CPUtime=6.36 cores=0,2,4,6
/proc/23628/task/23639/stat : 23639 (java) S 23626 23628 23489 0 -1 4202560 152 0 0 0 634 2 0 0 20 0 19 0 253494255 9855975424 110742 33554432000 1073741824 1073778376 140735223368928 140671565507048 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23628/tid=23640] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23640/stat : 23640 (java) S 23626 23628 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253494256 9855975424 110742 33554432000 1073741824 1073778376 140735223368928 140671564453112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23641] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23641/stat : 23641 (java) S 23626 23628 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253494256 9855975424 110742 33554432000 1073741824 1073778376 140735223368928 140671563400200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23642] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23642/stat : 23642 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494258 9855975424 110742 33554432000 1073741824 1073778376 140735223368928 140671562348688 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23643] ppid=23626 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/23628/task/23643/stat : 23643 (java) S 23626 23628 23489 0 -1 4202560 3181 0 0 0 29 0 0 0 20 0 19 0 253494258 9855975424 110742 33554432000 1073741824 1073778376 140735223368928 140671561296824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23644] ppid=23626 vsize=9624976 CPUtime=0.26 cores=0,2,4,6
/proc/23628/task/23644/stat : 23644 (java) S 23626 23628 23489 0 -1 4202560 1906 0 0 0 26 0 0 0 20 0 19 0 253494258 9855975424 110742 33554432000 1073741824 1073778376 140735223368928 140671560244024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23645] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23645/stat : 23645 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494258 9855975424 110742 33554432000 1073741824 1073778376 140735223368928 140671559191416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23646] ppid=23626 vsize=9624976 CPUtime=0.27 cores=0,2,4,6
/proc/23628/task/23646/stat : 23646 (java) S 23626 23628 23489 0 -1 4202560 99 0 0 0 13 14 0 0 20 0 19 0 253494258 9855975424 110742 33554432000 1073741824 1073778376 140735223368928 140671558138824 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23671] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23671/stat : 23671 (java) S 23626 23628 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253494275 9855975424 110742 33554432000 1073741824 1073778376 140735223368928 140671557084328 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1727.61
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/213 23741
/proc/meminfo: memFree=28008272/32873648 swapFree=7372/7372
[pid=23628] ppid=23626 vsize=9624976 CPUtime=1788.08 cores=0,2,4,6
/proc/23628/stat : 23628 (java) S 23626 23628 23489 0 -1 4202496 12070 0 1 0 178747 61 0 0 20 0 19 0 253494251 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140735223360064 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23628/statm: 2406244 137807 2271 9 0 2396937 0
[pid=23628/tid=23630] ppid=23626 vsize=9624976 CPUtime=1773.36 cores=0,2,4,6
/proc/23628/task/23630/stat : 23630 (java) R 23626 23628 23489 0 -1 4202560 2651 0 1 0 177306 30 0 0 20 0 19 0 253494253 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671741645088 140671604915303 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23631] ppid=23626 vsize=9624976 CPUtime=0.95 cores=0,2,4,6
/proc/23628/task/23631/stat : 23631 (java) S 23626 23628 23489 0 -1 4202560 441 0 0 0 90 5 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671730706984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23632] ppid=23626 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/23628/task/23632/stat : 23632 (java) S 23626 23628 23489 0 -1 4202560 380 0 0 0 83 4 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671729654184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23633] ppid=23626 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/23628/task/23633/stat : 23633 (java) S 23626 23628 23489 0 -1 4202560 213 0 0 0 81 5 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671728601384 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23634] ppid=23626 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/23628/task/23634/stat : 23634 (java) S 23626 23628 23489 0 -1 4202560 162 0 0 0 80 6 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671727548584 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23635] ppid=23626 vsize=9624976 CPUtime=0.92 cores=0,2,4,6
/proc/23628/task/23635/stat : 23635 (java) S 23626 23628 23489 0 -1 4202560 445 0 0 0 88 4 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671726496808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23636] ppid=23626 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/23628/task/23636/stat : 23636 (java) S 23626 23628 23489 0 -1 4202560 426 0 0 0 81 6 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671725444008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23637] ppid=23626 vsize=9624976 CPUtime=0.92 cores=0,2,4,6
/proc/23628/task/23637/stat : 23637 (java) S 23626 23628 23489 0 -1 4202560 360 0 0 0 86 6 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671724391208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23638] ppid=23626 vsize=9624976 CPUtime=0.9 cores=0,2,4,6
/proc/23628/task/23638/stat : 23638 (java) S 23626 23628 23489 0 -1 4202560 158 0 0 0 86 4 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671723338408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23639] ppid=23626 vsize=9624976 CPUtime=6.8 cores=0,2,4,6
/proc/23628/task/23639/stat : 23639 (java) S 23626 23628 23489 0 -1 4202560 465 0 0 0 678 2 0 0 20 0 19 0 253494255 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671565507048 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23628/tid=23640] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23640/stat : 23640 (java) S 23626 23628 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253494256 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671564453112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23641] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23641/stat : 23641 (java) S 23626 23628 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253494256 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671563400200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23642] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23642/stat : 23642 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494258 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671562348688 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23643] ppid=23626 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/23628/task/23643/stat : 23643 (java) S 23626 23628 23489 0 -1 4202560 3181 0 0 0 29 0 0 0 20 0 19 0 253494258 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671561296824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23644] ppid=23626 vsize=9624976 CPUtime=0.26 cores=0,2,4,6
/proc/23628/task/23644/stat : 23644 (java) S 23626 23628 23489 0 -1 4202560 1906 0 0 0 26 0 0 0 20 0 19 0 253494258 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671560244024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23645] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23645/stat : 23645 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494258 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671559191416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23646] ppid=23626 vsize=9624976 CPUtime=0.28 cores=0,2,4,6
/proc/23628/task/23646/stat : 23646 (java) S 23626 23628 23489 0 -1 4202560 103 0 0 0 13 15 0 0 20 0 19 0 253494258 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671558138824 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23628/tid=23671] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23671/stat : 23671 (java) S 23626 23628 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253494275 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671557084328 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1788.08
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/213 23741
/proc/meminfo: memFree=28008524/32873648 swapFree=7372/7372
[pid=23628] ppid=23626 vsize=9624976 CPUtime=1800.09 cores=0,2,4,6
/proc/23628/stat : 23628 (java) S 23626 23628 23489 0 -1 4202496 12070 0 1 0 179948 61 0 0 20 0 19 0 253494251 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140735223360064 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23628/statm: 2406244 137807 2271 9 0 2396937 0
[pid=23628/tid=23630] ppid=23626 vsize=9624976 CPUtime=1785.37 cores=0,2,4,6
/proc/23628/task/23630/stat : 23630 (java) R 23626 23628 23489 0 -1 4202560 2651 0 1 0 178506 31 0 0 20 0 19 0 253494253 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671741645088 140671604746284 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23631] ppid=23626 vsize=9624976 CPUtime=0.95 cores=0,2,4,6
/proc/23628/task/23631/stat : 23631 (java) S 23626 23628 23489 0 -1 4202560 441 0 0 0 90 5 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671730706984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23632] ppid=23626 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/23628/task/23632/stat : 23632 (java) S 23626 23628 23489 0 -1 4202560 380 0 0 0 83 4 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671729654184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23633] ppid=23626 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/23628/task/23633/stat : 23633 (java) S 23626 23628 23489 0 -1 4202560 213 0 0 0 81 5 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671728601384 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23634] ppid=23626 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/23628/task/23634/stat : 23634 (java) S 23626 23628 23489 0 -1 4202560 162 0 0 0 80 6 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671727548584 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23635] ppid=23626 vsize=9624976 CPUtime=0.92 cores=0,2,4,6
/proc/23628/task/23635/stat : 23635 (java) S 23626 23628 23489 0 -1 4202560 445 0 0 0 88 4 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671726496808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23636] ppid=23626 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/23628/task/23636/stat : 23636 (java) S 23626 23628 23489 0 -1 4202560 426 0 0 0 81 6 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671725444008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23637] ppid=23626 vsize=9624976 CPUtime=0.92 cores=0,2,4,6
/proc/23628/task/23637/stat : 23637 (java) S 23626 23628 23489 0 -1 4202560 360 0 0 0 86 6 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671724391208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23638] ppid=23626 vsize=9624976 CPUtime=0.9 cores=0,2,4,6
/proc/23628/task/23638/stat : 23638 (java) S 23626 23628 23489 0 -1 4202560 158 0 0 0 86 4 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671723338408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23639] ppid=23626 vsize=9624976 CPUtime=6.8 cores=0,2,4,6
/proc/23628/task/23639/stat : 23639 (java) S 23626 23628 23489 0 -1 4202560 465 0 0 0 678 2 0 0 20 0 19 0 253494255 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671565507048 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23628/tid=23640] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23640/stat : 23640 (java) S 23626 23628 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253494256 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671564453112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23641] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23641/stat : 23641 (java) S 23626 23628 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253494256 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671563400200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23642] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23642/stat : 23642 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494258 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671562348688 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23643] ppid=23626 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/23628/task/23643/stat : 23643 (java) S 23626 23628 23489 0 -1 4202560 3181 0 0 0 29 0 0 0 20 0 19 0 253494258 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671561296824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23644] ppid=23626 vsize=9624976 CPUtime=0.26 cores=0,2,4,6
/proc/23628/task/23644/stat : 23644 (java) S 23626 23628 23489 0 -1 4202560 1906 0 0 0 26 0 0 0 20 0 19 0 253494258 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671560244024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23645] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23645/stat : 23645 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494258 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671559191416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23646] ppid=23626 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/23628/task/23646/stat : 23646 (java) S 23626 23628 23489 0 -1 4202560 103 0 0 0 14 15 0 0 20 0 19 0 253494258 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671558138824 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23628/tid=23671] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23671/stat : 23671 (java) S 23626 23628 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253494275 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671557084328 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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
[startup+1794.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/213 23741
/proc/meminfo: memFree=28008524/32873648 swapFree=7372/7372
[pid=23628] ppid=23626 vsize=9624976 CPUtime=1800.09 cores=0,2,4,6
/proc/23628/stat : 23628 (java) S 23626 23628 23489 0 -1 4202496 12070 0 1 0 179948 61 0 0 20 0 19 0 253494251 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140735223360064 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23628/statm: 2406244 137807 2271 9 0 2396937 0
[pid=23628/tid=23630] ppid=23626 vsize=9624976 CPUtime=1785.37 cores=0,2,4,6
/proc/23628/task/23630/stat : 23630 (java) R 23626 23628 23489 0 -1 4202560 2651 0 1 0 178506 31 0 0 20 0 19 0 253494253 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671741645088 140671604746284 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23631] ppid=23626 vsize=9624976 CPUtime=0.95 cores=0,2,4,6
/proc/23628/task/23631/stat : 23631 (java) S 23626 23628 23489 0 -1 4202560 441 0 0 0 90 5 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671730706984 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23632] ppid=23626 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/23628/task/23632/stat : 23632 (java) S 23626 23628 23489 0 -1 4202560 380 0 0 0 83 4 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671729654184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23633] ppid=23626 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/23628/task/23633/stat : 23633 (java) S 23626 23628 23489 0 -1 4202560 213 0 0 0 81 5 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671728601384 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23634] ppid=23626 vsize=9624976 CPUtime=0.86 cores=0,2,4,6
/proc/23628/task/23634/stat : 23634 (java) S 23626 23628 23489 0 -1 4202560 162 0 0 0 80 6 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671727548584 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23635] ppid=23626 vsize=9624976 CPUtime=0.92 cores=0,2,4,6
/proc/23628/task/23635/stat : 23635 (java) S 23626 23628 23489 0 -1 4202560 445 0 0 0 88 4 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671726496808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23636] ppid=23626 vsize=9624976 CPUtime=0.87 cores=0,2,4,6
/proc/23628/task/23636/stat : 23636 (java) S 23626 23628 23489 0 -1 4202560 426 0 0 0 81 6 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671725444008 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23637] ppid=23626 vsize=9624976 CPUtime=0.92 cores=0,2,4,6
/proc/23628/task/23637/stat : 23637 (java) S 23626 23628 23489 0 -1 4202560 360 0 0 0 86 6 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671724391208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23638] ppid=23626 vsize=9624976 CPUtime=0.9 cores=0,2,4,6
/proc/23628/task/23638/stat : 23638 (java) S 23626 23628 23489 0 -1 4202560 158 0 0 0 86 4 0 0 20 0 19 0 253494254 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671723338408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23628/tid=23639] ppid=23626 vsize=9624976 CPUtime=6.8 cores=0,2,4,6
/proc/23628/task/23639/stat : 23639 (java) S 23626 23628 23489 0 -1 4202560 465 0 0 0 678 2 0 0 20 0 19 0 253494255 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671565507048 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23628/tid=23640] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23640/stat : 23640 (java) S 23626 23628 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253494256 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671564453112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23641] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23641/stat : 23641 (java) S 23626 23628 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253494256 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671563400200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23642] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23642/stat : 23642 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494258 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671562348688 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23643] ppid=23626 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/23628/task/23643/stat : 23643 (java) S 23626 23628 23489 0 -1 4202560 3181 0 0 0 29 0 0 0 20 0 19 0 253494258 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671561296824 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23628/tid=23644] ppid=23626 vsize=9624976 CPUtime=0.26 cores=0,2,4,6
/proc/23628/task/23644/stat : 23644 (java) S 23626 23628 23489 0 -1 4202560 1906 0 0 0 26 0 0 0 20 0 19 0 253494258 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671560244024 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23645] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23645/stat : 23645 (java) S 23626 23628 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494258 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671559191416 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23628/tid=23646] ppid=23626 vsize=9624976 CPUtime=0.29 cores=0,2,4,6
/proc/23628/task/23646/stat : 23646 (java) S 23626 23628 23489 0 -1 4202560 103 0 0 0 14 15 0 0 20 0 19 0 253494258 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671558138824 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23628/tid=23671] ppid=23626 vsize=9624976 CPUtime=0 cores=0,2,4,6
/proc/23628/task/23671/stat : 23671 (java) S 23626 23628 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253494275 9855975424 137807 33554432000 1073741824 1073778376 140735223368928 140671557084328 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9624976
Child status: 143
Real time (s): 1794.35
CPU time (s): 1800.52
CPU user time (s): 1799.5
CPU system time (s): 1.02084
CPU usage (%): 100.344
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 1.02084
maximum resident set size= 551808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12113
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41762
involuntary context switches= 14057
runsolver used 5.84011 second user time and 13.8639 second system time
The end