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-3687589-1337873683/watcher-3687589-1337873683 -o /tmp/evaluation-result-3687589-1337873683/solver-3687589-1337873683 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687589-1337873683.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: 1.84 1.97 1.69 5/194 23684
/proc/meminfo: memFree=28957060/32873648 swapFree=7372/7372
[pid=23684] ppid=23682 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/23684/stat : 23684 (java) S 23682 23684 23489 0 -1 4202496 1202 0 0 0 0 0 0 0 20 0 2 0 253494279 94019584 913 33554432000 1073741824 1073778376 140736743507424 140736743498560 217413877821 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23684/statm: 22954 917 697 9 0 16769 0
[pid=23684/tid=23685] ppid=23682 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23685/stat : 23685 (java) D 23682 23684 23489 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 253494280 94019584 917 33554432000 1073741824 1073778376 140736743507424 140238990806568 217401355559 0 0 4096 0 18446744072100588836 0 0 -1 5 0 0 0 0 0
[startup+0.0443551 s]
/proc/loadavg: 1.84 1.97 1.69 5/194 23684
/proc/meminfo: memFree=28957060/32873648 swapFree=7372/7372
[pid=23684] ppid=23682 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/23684/stat : 23684 (java) S 23682 23684 23489 0 -1 4202496 3076 0 1 0 2 0 0 0 20 0 13 0 253494279 9446973440 3773 33554432000 1073741824 1073778376 140736743507424 140736743498560 217413877821 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23684/statm: 2306390 3773 1708 9 0 2297091 0
[pid=23684/tid=23685] ppid=23682 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/23684/task/23685/stat : 23685 (java) R 23682 23684 23489 0 -1 4202560 1893 0 1 0 2 0 0 0 20 0 13 0 253494280 9446973440 3773 33554432000 1073741824 1073778376 140736743507424 140238990808808 217410518709 0 4 0 16800971 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100235 s]
/proc/loadavg: 1.84 1.97 1.69 5/194 23684
/proc/meminfo: memFree=28957060/32873648 swapFree=7372/7372
[pid=23684] ppid=23682 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/23684/stat : 23684 (java) S 23682 23684 23489 0 -1 4202496 4445 0 1 0 10 1 0 0 20 0 18 0 253494279 9787813888 6122 33554432000 1073741824 1073778376 140736743507424 140736743498560 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23684/statm: 2389603 6122 2138 9 0 2380296 0
[pid=23684/tid=23685] ppid=23682 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/23684/task/23685/stat : 23685 (java) R 23682 23684 23489 0 -1 4202560 2428 0 1 0 7 0 0 0 20 0 18 0 253494280 9787813888 6122 33554432000 1073741824 1073778376 140736743507424 140238990812160 217413903629 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.300189 s]
/proc/loadavg: 1.84 1.97 1.69 5/194 23684
/proc/meminfo: memFree=28957060/32873648 swapFree=7372/7372
[pid=23684] ppid=23682 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/23684/stat : 23684 (java) S 23682 23684 23489 0 -1 4202496 7232 0 1 0 55 1 0 0 20 0 19 0 253494279 9855975424 8379 33554432000 1073741824 1073778376 140736743507424 140736743498560 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23684/statm: 2406244 8379 2229 9 0 2396937 0
[pid=23684/tid=23685] ppid=23682 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/23684/task/23685/stat : 23685 (java) R 23682 23684 23489 0 -1 4202560 2450 0 1 0 27 0 0 0 20 0 19 0 253494280 9855975424 8379 33554432000 1073741824 1073778376 140736743507424 140238990811920 140238819631357 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9624976
[startup+0.700139 s]
/proc/loadavg: 1.84 1.97 1.69 5/194 23684
/proc/meminfo: memFree=28957060/32873648 swapFree=7372/7372
[pid=23684] ppid=23682 vsize=9624976 CPUtime=1.09 cores=1,3,5,7
/proc/23684/stat : 23684 (java) S 23682 23684 23489 0 -1 4202496 8463 0 1 0 108 1 0 0 20 0 19 0 253494279 9855975424 9911 33554432000 1073741824 1073778376 140736743507424 140736743498560 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23684/statm: 2406244 9911 2234 9 0 2396937 0
[pid=23684/tid=23685] ppid=23682 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/23684/task/23685/stat : 23685 (java) R 23682 23684 23489 0 -1 4202560 2452 0 1 0 67 0 0 0 20 0 19 0 253494280 9855975424 9911 33554432000 1073741824 1073778376 140736743507424 140238990811528 140238819687101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 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=28914072/32873648 swapFree=7372/7372
[pid=23684] ppid=23682 vsize=9624976 CPUtime=1.98 cores=1,3,5,7
/proc/23684/stat : 23684 (java) S 23682 23684 23489 0 -1 4202496 8729 0 1 0 196 2 0 0 20 0 19 0 253494279 9855975424 12600 33554432000 1073741824 1073778376 140736743507424 140736743498560 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23684/statm: 2406244 12600 2270 9 0 2396937 0
[pid=23684/tid=23685] ppid=23682 vsize=9624976 CPUtime=1.46 cores=1,3,5,7
/proc/23684/task/23685/stat : 23685 (java) R 23682 23684 23489 0 -1 4202560 2458 0 1 0 145 1 0 0 20 0 19 0 253494280 9855975424 12600 33554432000 1073741824 1073778376 140736743507424 140238990811544 140238819667851 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23684/tid=23687] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23687/stat : 23687 (java) S 23682 23684 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 12600 33554432000 1073741824 1073778376 140736743507424 140238952303144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23688] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23688/stat : 23688 (java) S 23682 23684 23489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 12600 33554432000 1073741824 1073778376 140736743507424 140238951250344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23689] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23689/stat : 23689 (java) S 23682 23684 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 12600 33554432000 1073741824 1073778376 140736743507424 140238950197544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23690] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23690/stat : 23690 (java) S 23682 23684 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 12600 33554432000 1073741824 1073778376 140736743507424 140238949144744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23684/tid=23691] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23691/stat : 23691 (java) S 23682 23684 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 12600 33554432000 1073741824 1073778376 140736743507424 140238948092968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23692] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23692/stat : 23692 (java) S 23682 23684 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 12600 33554432000 1073741824 1073778376 140736743507424 140238947040168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23693] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23693/stat : 23693 (java) S 23682 23684 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 12600 33554432000 1073741824 1073778376 140736743507424 140238945987368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23684/tid=23694] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23694/stat : 23694 (java) S 23682 23684 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 12600 33554432000 1073741824 1073778376 140736743507424 140238944934568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23684/tid=23695] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23695/stat : 23695 (java) S 23682 23684 23489 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 19 0 253494282 9855975424 12600 33554432000 1073741824 1073778376 140736743507424 140238814947816 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23684/tid=23696] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23696/stat : 23696 (java) S 23682 23684 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253494282 9855975424 12600 33554432000 1073741824 1073778376 140736743507424 140238813893880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23697] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23697/stat : 23697 (java) S 23682 23684 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253494282 9855975424 12600 33554432000 1073741824 1073778376 140736743507424 140238812840968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23698] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23698/stat : 23698 (java) S 23682 23684 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494284 9855975424 12600 33554432000 1073741824 1073778376 140736743507424 140238811789456 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23699] ppid=23682 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/23684/task/23699/stat : 23699 (java) S 23682 23684 23489 0 -1 4202560 2356 0 0 0 23 0 0 0 20 0 19 0 253494284 9855975424 12600 33554432000 1073741824 1073778376 140736743507424 140238810737592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23700] ppid=23682 vsize=9624976 CPUtime=0.23 cores=1,3,5,7
/proc/23684/task/23700/stat : 23700 (java) S 23682 23684 23489 0 -1 4202560 2671 0 0 0 23 0 0 0 20 0 19 0 253494284 9855975424 12600 33554432000 1073741824 1073778376 140736743507424 140238809684792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23701] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23701/stat : 23701 (java) S 23682 23684 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494284 9855975424 12600 33554432000 1073741824 1073778376 140736743507424 140238808632184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23702] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23702/stat : 23702 (java) S 23682 23684 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494284 9855975424 12600 33554432000 1073741824 1073778376 140736743507424 140238807579592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23703] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23703/stat : 23703 (java) S 23682 23684 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253494301 9855975424 12600 33554432000 1073741824 1073778376 140736743507424 140238806525096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 9624976
[startup+3.10068 s]
/proc/loadavg: 1.84 1.97 1.69 3/213 23703
/proc/meminfo: memFree=28880808/32873648 swapFree=7372/7372
[pid=23684] ppid=23682 vsize=9624976 CPUtime=3.62 cores=1,3,5,7
/proc/23684/stat : 23684 (java) S 23682 23684 23489 0 -1 4202496 8749 0 1 0 360 2 0 0 20 0 19 0 253494279 9855975424 15166 33554432000 1073741824 1073778376 140736743507424 140736743498560 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23684/statm: 2406244 15166 2270 9 0 2396937 0
[pid=23684/tid=23685] ppid=23682 vsize=9624976 CPUtime=3.04 cores=1,3,5,7
/proc/23684/task/23685/stat : 23685 (java) R 23682 23684 23489 0 -1 4202560 2459 0 1 0 303 1 0 0 20 0 19 0 253494280 9855975424 15166 33554432000 1073741824 1073778376 140736743507424 140238990811384 140238819704896 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23684/tid=23687] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23687/stat : 23687 (java) S 23682 23684 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 15166 33554432000 1073741824 1073778376 140736743507424 140238952303144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23688] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23688/stat : 23688 (java) S 23682 23684 23489 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 15166 33554432000 1073741824 1073778376 140736743507424 140238951250344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23689] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23689/stat : 23689 (java) S 23682 23684 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 15166 33554432000 1073741824 1073778376 140736743507424 140238950197544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23690] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23690/stat : 23690 (java) S 23682 23684 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 15166 33554432000 1073741824 1073778376 140736743507424 140238949144744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23684/tid=23691] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23691/stat : 23691 (java) S 23682 23684 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 15166 33554432000 1073741824 1073778376 140736743507424 140238948092968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23692] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23692/stat : 23692 (java) S 23682 23684 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 15166 33554432000 1073741824 1073778376 140736743507424 140238947040168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23693] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23693/stat : 23693 (java) S 23682 23684 23489 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 15166 33554432000 1073741824 1073778376 140736743507424 140238945987368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23684/tid=23694] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23694/stat : 23694 (java) S 23682 23684 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 15166 33554432000 1073741824 1073778376 140736743507424 140238944934568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23684/tid=23695] ppid=23682 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/23684/task/23695/stat : 23695 (java) S 23682 23684 23489 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 253494282 9855975424 15166 33554432000 1073741824 1073778376 140736743507424 140238814947816 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23696] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23696/stat : 23696 (java) S 23682 23684 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253494282 9855975424 15166 33554432000 1073741824 1073778376 140736743507424 140238813893880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23697] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23697/stat : 23697 (java) S 23682 23684 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253494282 9855975424 15166 33554432000 1073741824 1073778376 140736743507424 140238812840968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23698] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23698/stat : 23698 (java) S 23682 23684 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494284 9855975424 15166 33554432000 1073741824 1073778376 140736743507424 140238811789456 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23699] ppid=23682 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/23684/task/23699/stat : 23699 (java) S 23682 23684 23489 0 -1 4202560 2356 0 0 0 25 0 0 0 20 0 19 0 253494284 9855975424 15166 33554432000 1073741824 1073778376 140736743507424 140238810737592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23700] ppid=23682 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/23684/task/23700/stat : 23700 (java) S 23682 23684 23489 0 -1 4202560 2672 0 0 0 25 0 0 0 20 0 19 0 253494284 9855975424 15166 33554432000 1073741824 1073778376 140736743507424 140238809684792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23701] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23701/stat : 23701 (java) S 23682 23684 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494284 9855975424 15166 33554432000 1073741824 1073778376 140736743507424 140238808632184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23702] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23702/stat : 23702 (java) S 23682 23684 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494284 9855975424 15166 33554432000 1073741824 1073778376 140736743507424 140238807579592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23703] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23703/stat : 23703 (java) S 23682 23684 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253494301 9855975424 15166 33554432000 1073741824 1073778376 140736743507424 140238806525096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 9624976
[startup+6.30062 s]
/proc/loadavg: 1.85 1.97 1.69 3/213 23703
/proc/meminfo: memFree=28870668/32873648 swapFree=7372/7372
[pid=23684] ppid=23682 vsize=9624976 CPUtime=6.86 cores=1,3,5,7
/proc/23684/stat : 23684 (java) S 23682 23684 23489 0 -1 4202496 8905 0 1 0 684 2 0 0 20 0 19 0 253494279 9855975424 16106 33554432000 1073741824 1073778376 140736743507424 140736743498560 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23684/statm: 2406244 16106 2270 9 0 2396937 0
[pid=23684/tid=23685] ppid=23682 vsize=9624976 CPUtime=6.2 cores=1,3,5,7
/proc/23684/task/23685/stat : 23685 (java) R 23682 23684 23489 0 -1 4202560 2461 0 1 0 619 1 0 0 20 0 19 0 253494280 9855975424 16106 33554432000 1073741824 1073778376 140736743507424 140238990811424 140238819680383 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23684/tid=23687] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23687/stat : 23687 (java) S 23682 23684 23489 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 16106 33554432000 1073741824 1073778376 140736743507424 140238952303144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23688] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23688/stat : 23688 (java) S 23682 23684 23489 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 16106 33554432000 1073741824 1073778376 140736743507424 140238951250344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23689] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23689/stat : 23689 (java) S 23682 23684 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 16106 33554432000 1073741824 1073778376 140736743507424 140238950197544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23690] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23690/stat : 23690 (java) S 23682 23684 23489 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 16106 33554432000 1073741824 1073778376 140736743507424 140238949144744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23684/tid=23691] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23691/stat : 23691 (java) S 23682 23684 23489 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 16106 33554432000 1073741824 1073778376 140736743507424 140238948092968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23692] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23692/stat : 23692 (java) S 23682 23684 23489 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 16106 33554432000 1073741824 1073778376 140736743507424 140238947040168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23693] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23693/stat : 23693 (java) S 23682 23684 23489 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 16106 33554432000 1073741824 1073778376 140736743507424 140238945987368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23684/tid=23694] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23694/stat : 23694 (java) S 23682 23684 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253494281 9855975424 16106 33554432000 1073741824 1073778376 140736743507424 140238944934568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23684/tid=23695] ppid=23682 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/23684/task/23695/stat : 23695 (java) S 23682 23684 23489 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 19 0 253494282 9855975424 16106 33554432000 1073741824 1073778376 140736743507424 140238814947816 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23696] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23696/stat : 23696 (java) S 23682 23684 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253494282 9855975424 16106 33554432000 1073741824 1073778376 140736743507424 140238813893880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23697] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23697/stat : 23697 (java) S 23682 23684 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253494282 9855975424 16106 33554432000 1073741824 1073778376 140736743507424 140238812840968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23698] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23698/stat : 23698 (java) S 23682 23684 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494284 9855975424 16106 33554432000 1073741824 1073778376 140736743507424 140238811789456 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23699] ppid=23682 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/23684/task/23699/stat : 23699 (java) S 23682 23684 23489 0 -1 4202560 2356 0 0 0 25 0 0 0 20 0 19 0 253494284 9855975424 16106 33554432000 1073741824 1073778376 140736743507424 140238810737592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23700] ppid=23682 vsize=9624976 CPUtime=0.28 cores=1,3,5,7
/proc/23684/task/23700/stat : 23700 (java) S 23682 23684 23489 0 -1 4202560 2810 0 0 0 28 0 0 0 20 0 19 0 253494284 9855975424 16106 33554432000 1073741824 1073778376 140736743507424 140238809684792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[pid=23684/tid=23692] ppid=23682 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/23684/task/23692/stat : 23692 (java) S 23682 23684 23489 0 -1 4202560 184 0 0 0 60 2 0 0 20 0 19 0 253494281 9855975424 106983 33554432000 1073741824 1073778376 140736743507424 140238947040168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23684/tid=23693] ppid=23682 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/23684/task/23693/stat : 23693 (java) S 23682 23684 23489 0 -1 4202560 470 0 0 0 58 4 0 0 20 0 19 0 253494281 9855975424 106983 33554432000 1073741824 1073778376 140736743507424 140238945987368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23684/tid=23694] ppid=23682 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/23684/task/23694/stat : 23694 (java) S 23682 23684 23489 0 -1 4202560 152 0 0 0 62 3 0 0 20 0 19 0 253494281 9855975424 106983 33554432000 1073741824 1073778376 140736743507424 140238944934568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23695] ppid=23682 vsize=9624976 CPUtime=5.38 cores=1,3,5,7
/proc/23684/task/23695/stat : 23695 (java) S 23682 23684 23489 0 -1 4202560 152 0 0 0 536 2 0 0 20 0 19 0 253494282 9855975424 106983 33554432000 1073741824 1073778376 140736743507424 140238814947816 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23696] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23696/stat : 23696 (java) S 23682 23684 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253494282 9855975424 106983 33554432000 1073741824 1073778376 140736743507424 140238813893880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23697] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23697/stat : 23697 (java) S 23682 23684 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253494282 9855975424 106983 33554432000 1073741824 1073778376 140736743507424 140238812840968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23698] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23698/stat : 23698 (java) S 23682 23684 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494284 9855975424 106983 33554432000 1073741824 1073778376 140736743507424 140238811789456 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23699] ppid=23682 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/23684/task/23699/stat : 23699 (java) S 23682 23684 23489 0 -1 4202560 2356 0 0 0 25 0 0 0 20 0 19 0 253494284 9855975424 106983 33554432000 1073741824 1073778376 140736743507424 140238810737592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23700] ppid=23682 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/23684/task/23700/stat : 23700 (java) S 23682 23684 23489 0 -1 4202560 2847 0 0 0 30 0 0 0 20 0 19 0 253494284 9855975424 106983 33554432000 1073741824 1073778376 140736743507424 140238809684792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23701] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23701/stat : 23701 (java) S 23682 23684 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494284 9855975424 106983 33554432000 1073741824 1073778376 140736743507424 140238808632184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23702] ppid=23682 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/23684/task/23702/stat : 23702 (java) S 23682 23684 23489 0 -1 4202560 97 0 0 0 11 14 0 0 20 0 19 0 253494284 9855975424 106983 33554432000 1073741824 1073778376 140736743507424 140238807579592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23703] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23703/stat : 23703 (java) S 23682 23684 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253494301 9855975424 106983 33554432000 1073741824 1073778376 140736743507424 140238806525096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1666.59
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.92 3/213 23741
/proc/meminfo: memFree=28119420/32873648 swapFree=7372/7372
[pid=23684] ppid=23682 vsize=9624976 CPUtime=1726.66 cores=1,3,5,7
/proc/23684/stat : 23684 (java) S 23682 23684 23489 0 -1 4202496 11362 0 1 0 172620 46 0 0 20 0 19 0 253494279 9855975424 107496 33554432000 1073741824 1073778376 140736743507424 140736743498560 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23684/statm: 2406244 107496 2271 9 0 2396937 0
[pid=23684/tid=23685] ppid=23682 vsize=9624976 CPUtime=1715.32 cores=1,3,5,7
/proc/23684/task/23685/stat : 23685 (java) R 23682 23684 23489 0 -1 4202560 2635 0 1 0 171503 29 0 0 20 0 19 0 253494280 9855975424 107496 33554432000 1073741824 1073778376 140736743507424 140238990811424 140238819687325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23684/tid=23687] ppid=23682 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/23684/task/23687/stat : 23687 (java) S 23682 23684 23489 0 -1 4202560 330 0 0 0 61 5 0 0 20 0 19 0 253494281 9855975424 107496 33554432000 1073741824 1073778376 140736743507424 140238952303144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23684/tid=23688] ppid=23682 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/23684/task/23688/stat : 23688 (java) S 23682 23684 23489 0 -1 4202560 194 0 0 0 69 4 0 0 20 0 19 0 253494281 9855975424 107496 33554432000 1073741824 1073778376 140736743507424 140238951250344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23689] ppid=23682 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/23684/task/23689/stat : 23689 (java) S 23682 23684 23489 0 -1 4202560 136 0 0 0 60 3 0 0 20 0 19 0 253494281 9855975424 107496 33554432000 1073741824 1073778376 140736743507424 140238950197544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23684/tid=23690] ppid=23682 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/23684/task/23690/stat : 23690 (java) S 23682 23684 23489 0 -1 4202560 316 0 0 0 62 3 0 0 20 0 19 0 253494281 9855975424 107496 33554432000 1073741824 1073778376 140736743507424 140238949144744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23684/tid=23691] ppid=23682 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/23684/task/23691/stat : 23691 (java) S 23682 23684 23489 0 -1 4202560 306 0 0 0 58 4 0 0 20 0 19 0 253494281 9855975424 107496 33554432000 1073741824 1073778376 140736743507424 140238948092968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23684/tid=23692] ppid=23682 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/23684/task/23692/stat : 23692 (java) S 23682 23684 23489 0 -1 4202560 184 0 0 0 61 2 0 0 20 0 19 0 253494281 9855975424 107496 33554432000 1073741824 1073778376 140736743507424 140238947040168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23684/tid=23693] ppid=23682 vsize=9624976 CPUtime=0.62 cores=1,3,5,7
/proc/23684/task/23693/stat : 23693 (java) S 23682 23684 23489 0 -1 4202560 470 0 0 0 58 4 0 0 20 0 19 0 253494281 9855975424 107496 33554432000 1073741824 1073778376 140736743507424 140238945987368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23684/tid=23694] ppid=23682 vsize=9624976 CPUtime=0.66 cores=1,3,5,7
/proc/23684/task/23694/stat : 23694 (java) S 23682 23684 23489 0 -1 4202560 152 0 0 0 63 3 0 0 20 0 19 0 253494281 9855975424 107496 33554432000 1073741824 1073778376 140736743507424 140238944934568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23695] ppid=23682 vsize=9624976 CPUtime=5.51 cores=1,3,5,7
/proc/23684/task/23695/stat : 23695 (java) S 23682 23684 23489 0 -1 4202560 156 0 0 0 549 2 0 0 20 0 19 0 253494282 9855975424 107496 33554432000 1073741824 1073778376 140736743507424 140238814947816 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23696] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23696/stat : 23696 (java) S 23682 23684 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253494282 9855975424 107496 33554432000 1073741824 1073778376 140736743507424 140238813893880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23697] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23697/stat : 23697 (java) S 23682 23684 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253494282 9855975424 107496 33554432000 1073741824 1073778376 140736743507424 140238812840968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23698] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23698/stat : 23698 (java) S 23682 23684 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494284 9855975424 107496 33554432000 1073741824 1073778376 140736743507424 140238811789456 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23699] ppid=23682 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/23684/task/23699/stat : 23699 (java) S 23682 23684 23489 0 -1 4202560 2356 0 0 0 25 0 0 0 20 0 19 0 253494284 9855975424 107496 33554432000 1073741824 1073778376 140736743507424 140238810737592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23700] ppid=23682 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/23684/task/23700/stat : 23700 (java) S 23682 23684 23489 0 -1 4202560 2847 0 0 0 30 0 0 0 20 0 19 0 253494284 9855975424 107496 33554432000 1073741824 1073778376 140736743507424 140238809684792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23701] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23701/stat : 23701 (java) S 23682 23684 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494284 9855975424 107496 33554432000 1073741824 1073778376 140736743507424 140238808632184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23702] ppid=23682 vsize=9624976 CPUtime=0.26 cores=1,3,5,7
/proc/23684/task/23702/stat : 23702 (java) S 23682 23684 23489 0 -1 4202560 99 0 0 0 12 14 0 0 20 0 19 0 253494284 9855975424 107496 33554432000 1073741824 1073778376 140736743507424 140238807579592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23703] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23703/stat : 23703 (java) S 23682 23684 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253494301 9855975424 107496 33554432000 1073741824 1073778376 140736743507424 140238806525096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1726.66
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=23684] ppid=23682 vsize=9624976 CPUtime=1786.76 cores=1,3,5,7
/proc/23684/stat : 23684 (java) S 23682 23684 23489 0 -1 4202496 11387 0 1 0 178629 47 0 0 20 0 19 0 253494279 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140736743498560 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23684/statm: 2406244 108024 2271 9 0 2396937 0
[pid=23684/tid=23685] ppid=23682 vsize=9624976 CPUtime=1775.1 cores=1,3,5,7
/proc/23684/task/23685/stat : 23685 (java) R 23682 23684 23489 0 -1 4202560 2638 0 1 0 177481 29 0 0 20 0 19 0 253494280 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238990811424 140238819650874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23684/tid=23687] ppid=23682 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/23684/task/23687/stat : 23687 (java) S 23682 23684 23489 0 -1 4202560 330 0 0 0 62 5 0 0 20 0 19 0 253494281 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238952303144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23684/tid=23688] ppid=23682 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/23684/task/23688/stat : 23688 (java) S 23682 23684 23489 0 -1 4202560 210 0 0 0 70 4 0 0 20 0 19 0 253494281 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238951250344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23689] ppid=23682 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/23684/task/23689/stat : 23689 (java) S 23682 23684 23489 0 -1 4202560 136 0 0 0 61 3 0 0 20 0 19 0 253494281 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238950197544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23690] ppid=23682 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/23684/task/23690/stat : 23690 (java) S 23682 23684 23489 0 -1 4202560 316 0 0 0 64 3 0 0 20 0 19 0 253494281 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238949144744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23691] ppid=23682 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/23684/task/23691/stat : 23691 (java) S 23682 23684 23489 0 -1 4202560 306 0 0 0 60 4 0 0 20 0 19 0 253494281 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238948092968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23684/tid=23692] ppid=23682 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/23684/task/23692/stat : 23692 (java) S 23682 23684 23489 0 -1 4202560 184 0 0 0 62 2 0 0 20 0 19 0 253494281 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238947040168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23693] ppid=23682 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/23684/task/23693/stat : 23693 (java) S 23682 23684 23489 0 -1 4202560 470 0 0 0 60 4 0 0 20 0 19 0 253494281 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238945987368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23684/tid=23694] ppid=23682 vsize=9624976 CPUtime=0.68 cores=1,3,5,7
/proc/23684/task/23694/stat : 23694 (java) S 23682 23684 23489 0 -1 4202560 152 0 0 0 65 3 0 0 20 0 19 0 253494281 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238944934568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23695] ppid=23682 vsize=9624976 CPUtime=5.7 cores=1,3,5,7
/proc/23684/task/23695/stat : 23695 (java) S 23682 23684 23489 0 -1 4202560 158 0 0 0 568 2 0 0 20 0 19 0 253494282 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238814947816 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23696] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23696/stat : 23696 (java) S 23682 23684 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253494282 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238813893880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23697] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23697/stat : 23697 (java) S 23682 23684 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253494282 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238812840968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23698] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23698/stat : 23698 (java) S 23682 23684 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494284 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238811789456 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23699] ppid=23682 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/23684/task/23699/stat : 23699 (java) S 23682 23684 23489 0 -1 4202560 2356 0 0 0 25 0 0 0 20 0 19 0 253494284 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238810737592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23700] ppid=23682 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/23684/task/23700/stat : 23700 (java) S 23682 23684 23489 0 -1 4202560 2847 0 0 0 30 0 0 0 20 0 19 0 253494284 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238809684792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23701] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23701/stat : 23701 (java) S 23682 23684 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494284 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238808632184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23702] ppid=23682 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/23684/task/23702/stat : 23702 (java) S 23682 23684 23489 0 -1 4202560 103 0 0 0 12 15 0 0 20 0 19 0 253494284 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238807579592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23703] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23703/stat : 23703 (java) S 23682 23684 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253494301 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238806525096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1786.76
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.6 s]
/proc/loadavg: 1.92 1.99 1.91 2/193 23744
/proc/meminfo: memFree=28552012/32873648 swapFree=7372/7372
[pid=23684] ppid=23682 vsize=9624976 CPUtime=1800.1 cores=1,3,5,7
/proc/23684/stat : 23684 (java) S 23682 23684 23489 0 -1 4202496 11390 0 1 0 179963 47 0 0 20 0 19 0 253494279 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140736743498560 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23684/statm: 2406244 108024 2271 9 0 2396937 0
[pid=23684/tid=23685] ppid=23682 vsize=9624976 CPUtime=1788.32 cores=1,3,5,7
/proc/23684/task/23685/stat : 23685 (java) R 23682 23684 23489 0 -1 4202560 2639 0 1 0 178802 30 0 0 20 0 19 0 253494280 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238990811424 140238819705015 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23684/tid=23687] ppid=23682 vsize=9624976 CPUtime=0.68 cores=1,3,5,7
/proc/23684/task/23687/stat : 23687 (java) S 23682 23684 23489 0 -1 4202560 330 0 0 0 63 5 0 0 20 0 19 0 253494281 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238952303144 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23684/tid=23688] ppid=23682 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/23684/task/23688/stat : 23688 (java) S 23682 23684 23489 0 -1 4202560 210 0 0 0 70 4 0 0 20 0 19 0 253494281 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238951250344 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23689] ppid=23682 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/23684/task/23689/stat : 23689 (java) S 23682 23684 23489 0 -1 4202560 136 0 0 0 62 3 0 0 20 0 19 0 253494281 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238950197544 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23684/tid=23690] ppid=23682 vsize=9624976 CPUtime=0.68 cores=1,3,5,7
/proc/23684/task/23690/stat : 23690 (java) S 23682 23684 23489 0 -1 4202560 316 0 0 0 65 3 0 0 20 0 19 0 253494281 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238949144744 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23684/tid=23691] ppid=23682 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/23684/task/23691/stat : 23691 (java) S 23682 23684 23489 0 -1 4202560 306 0 0 0 61 4 0 0 20 0 19 0 253494281 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238948092968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23684/tid=23692] ppid=23682 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/23684/task/23692/stat : 23692 (java) S 23682 23684 23489 0 -1 4202560 184 0 0 0 62 2 0 0 20 0 19 0 253494281 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238947040168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23684/tid=23693] ppid=23682 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/23684/task/23693/stat : 23693 (java) S 23682 23684 23489 0 -1 4202560 470 0 0 0 61 4 0 0 20 0 19 0 253494281 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238945987368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23684/tid=23694] ppid=23682 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/23684/task/23694/stat : 23694 (java) S 23682 23684 23489 0 -1 4202560 152 0 0 0 66 3 0 0 20 0 19 0 253494281 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238944934568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23695] ppid=23682 vsize=9624976 CPUtime=5.77 cores=1,3,5,7
/proc/23684/task/23695/stat : 23695 (java) S 23682 23684 23489 0 -1 4202560 160 0 0 0 575 2 0 0 20 0 19 0 253494282 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238814947816 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23696] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23696/stat : 23696 (java) S 23682 23684 23489 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253494282 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238813893880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23697] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23697/stat : 23697 (java) S 23682 23684 23489 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253494282 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238812840968 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23698] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23698/stat : 23698 (java) S 23682 23684 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494284 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238811789456 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23699] ppid=23682 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/23684/task/23699/stat : 23699 (java) S 23682 23684 23489 0 -1 4202560 2356 0 0 0 25 0 0 0 20 0 19 0 253494284 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238810737592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23684/tid=23700] ppid=23682 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/23684/task/23700/stat : 23700 (java) S 23682 23684 23489 0 -1 4202560 2847 0 0 0 30 0 0 0 20 0 19 0 253494284 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238809684792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23701] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23701/stat : 23701 (java) S 23682 23684 23489 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253494284 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238808632184 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23702] ppid=23682 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/23684/task/23702/stat : 23702 (java) S 23682 23684 23489 0 -1 4202560 103 0 0 0 12 15 0 0 20 0 19 0 253494284 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238807579592 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23684/tid=23703] ppid=23682 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/23684/task/23703/stat : 23703 (java) S 23682 23684 23489 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253494301 9855975424 108024 33554432000 1073741824 1073778376 140736743507424 140238806525096 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
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): 1795.65
CPU time (s): 1800.65
CPU user time (s): 1799.76
CPU system time (s): 0.891864
CPU usage (%): 100.279
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.891864
maximum resident set size= 432256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11433
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= 41545
involuntary context switches= 8894
runsolver used 5.74113 second user time and 14.2818 second system time
The end