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-3687991-1337879086/watcher-3687991-1337879086 -o /tmp/evaluation-result-3687991-1337879086/solver-3687991-1337879086 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687991-1337879086.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 3/192 21486
/proc/meminfo: memFree=29741744/32873844 swapFree=7104/7104
[pid=21486] ppid=21484 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/21486/stat : 21486 (java) D 21484 21486 20334 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 254037167 9515008 183 33554432000 1073741824 1073778376 140733872241856 140733872232888 235374722741 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/21486/statm: 2323 183 140 9 0 71 0
[startup+0.0172911 s]
/proc/loadavg: 2.01 2.01 2.00 3/192 21486
/proc/meminfo: memFree=29741744/32873844 swapFree=7104/7104
[pid=21486] ppid=21484 vsize=101528 CPUtime=0 cores=1,3,5,7
/proc/21486/stat : 21486 (java) S 21484 21486 20334 0 -1 4202496 1369 0 0 0 0 0 0 0 20 0 2 0 254037167 103964672 1051 33554432000 1073741824 1073778376 140733983273136 140733983264272 235378081853 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21486/statm: 25382 1051 805 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 101528
[startup+0.100273 s]
/proc/loadavg: 2.01 2.01 2.00 3/192 21486
/proc/meminfo: memFree=29741744/32873844 swapFree=7104/7104
[pid=21486] ppid=21484 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/21486/stat : 21486 (java) S 21484 21486 20334 0 -1 4202496 4275 0 1 0 8 0 0 0 20 0 18 0 254037167 9787813888 4947 33554432000 1073741824 1073778376 140733983273136 140733983264272 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21486/statm: 2389603 4948 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300244 s]
/proc/loadavg: 2.01 2.01 2.00 3/192 21486
/proc/meminfo: memFree=29741744/32873844 swapFree=7104/7104
[pid=21486] ppid=21484 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/21486/stat : 21486 (java) S 21484 21486 20334 0 -1 4202496 7059 0 1 0 45 1 0 0 20 0 19 0 254037167 9855975424 7317 33554432000 1073741824 1073778376 140733983273136 140733983264272 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21486/statm: 2406244 7317 2210 9 0 2396937 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9624976
[startup+0.700304 s]
/proc/loadavg: 2.01 2.01 2.00 3/192 21486
/proc/meminfo: memFree=29741744/32873844 swapFree=7104/7104
[pid=21486] ppid=21484 vsize=9624976 CPUtime=0.97 cores=1,3,5,7
/proc/21486/stat : 21486 (java) S 21484 21486 20334 0 -1 4202496 7194 0 1 0 95 2 0 0 20 0 19 0 254037167 9855975424 10495 33554432000 1073741824 1073778376 140733983273136 140733983264272 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21486/statm: 2406244 10495 2252 9 0 2396937 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 9624976
[startup+1.50072 s]
/proc/loadavg: 2.01 2.01 2.00 4/211 21505
/proc/meminfo: memFree=29704044/32873844 swapFree=7104/7104
[pid=21486] ppid=21484 vsize=9624976 CPUtime=1.83 cores=1,3,5,7
/proc/21486/stat : 21486 (java) S 21484 21486 20334 0 -1 4202496 7647 0 1 0 180 3 0 0 20 0 19 0 254037167 9855975424 12065 33554432000 1073741824 1073778376 140733983273136 140733983264272 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21486/statm: 2406244 12065 2263 9 0 2396937 0
[pid=21486/tid=21488] ppid=21484 vsize=9624976 CPUtime=1.39 cores=1,3,5,7
/proc/21486/task/21488/stat : 21488 (java) R 21484 21486 20334 0 -1 4202560 2501 0 1 0 139 0 0 0 20 0 19 0 254037168 9855975424 12065 33554432000 1073741824 1073778376 140733983273136 140098813460888 140098753579899 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21486/tid=21489] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21489/stat : 21489 (java) S 21484 21486 20334 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254037170 9855975424 12065 33554432000 1073741824 1073778376 140733983273136 140098752190760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21490/stat : 21490 (java) S 21484 21486 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254037170 9855975424 12065 33554432000 1073741824 1073778376 140733983273136 140098751137960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21491/stat : 21491 (java) S 21484 21486 20334 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254037170 9855975424 12065 33554432000 1073741824 1073778376 140733983273136 140098750085672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21486/tid=21492] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21492/stat : 21492 (java) S 21484 21486 20334 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254037170 9855975424 12065 33554432000 1073741824 1073778376 140733983273136 140098749032872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21493] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21493/stat : 21493 (java) S 21484 21486 20334 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254037170 9855975424 12065 33554432000 1073741824 1073778376 140733983273136 140098747980584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21494] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21494/stat : 21494 (java) S 21484 21486 20334 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254037170 9855975424 12065 33554432000 1073741824 1073778376 140733983273136 140098651503272 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21486/tid=21495] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21495/stat : 21495 (java) S 21484 21486 20334 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254037170 9855975424 12065 33554432000 1073741824 1073778376 140733983273136 140098650450984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21496] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21496/stat : 21496 (java) S 21484 21486 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254037170 9855975424 12065 33554432000 1073741824 1073778376 140733983273136 140098649398184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21486/tid=21497] ppid=21484 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/21486/task/21497/stat : 21497 (java) S 21484 21486 20334 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 19 0 254037171 9855975424 12065 33554432000 1073741824 1073778376 140733983273136 140098637199592 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21486/tid=21498] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21498/stat : 21498 (java) S 21484 21486 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254037171 9855975424 12065 33554432000 1073741824 1073778376 140733983273136 140098636145656 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21499] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21499/stat : 21499 (java) S 21484 21486 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254037171 9855975424 12065 33554432000 1073741824 1073778376 140733983273136 140098635093256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21500] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21500/stat : 21500 (java) S 21484 21486 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037174 9855975424 12065 33554432000 1073741824 1073778376 140733983273136 140098634041744 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21501] ppid=21484 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/21486/task/21501/stat : 21501 (java) S 21484 21486 20334 0 -1 4202560 2214 0 0 0 15 0 0 0 20 0 19 0 254037174 9855975424 12065 33554432000 1073741824 1073778376 140733983273136 140098632989368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21502] ppid=21484 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/21486/task/21502/stat : 21502 (java) S 21484 21486 20334 0 -1 4202560 1654 0 0 0 15 0 0 0 20 0 19 0 254037174 9855975424 12065 33554432000 1073741824 1073778376 140733983273136 140098631936568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21503] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21503/stat : 21503 (java) S 21484 21486 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037174 9855975424 12065 33554432000 1073741824 1073778376 140733983273136 140098630884472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21486/tid=21504] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21504/stat : 21504 (java) S 21484 21486 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037174 9855975424 12065 33554432000 1073741824 1073778376 140733983273136 140098629831880 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21505] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21505/stat : 21505 (java) S 21484 21486 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254037181 9855975424 12065 33554432000 1073741824 1073778376 140733983273136 140098628776872 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 9624976
[startup+3.10074 s]
/proc/loadavg: 2.01 2.01 2.00 3/211 21505
/proc/meminfo: memFree=29697156/32873844 swapFree=7104/7104
[pid=21486] ppid=21484 vsize=9624976 CPUtime=3.45 cores=1,3,5,7
/proc/21486/stat : 21486 (java) S 21484 21486 20334 0 -1 4202496 7674 0 1 0 342 3 0 0 20 0 19 0 254037167 9855975424 13618 33554432000 1073741824 1073778376 140733983273136 140733983264272 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21486/statm: 2406244 13618 2263 9 0 2396937 0
[pid=21486/tid=21488] ppid=21484 vsize=9624976 CPUtime=2.93 cores=1,3,5,7
/proc/21486/task/21488/stat : 21488 (java) R 21484 21486 20334 0 -1 4202560 2506 0 1 0 293 0 0 0 20 0 19 0 254037168 9855975424 13618 33554432000 1073741824 1073778376 140733983273136 140098813460768 140098753611460 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21486/tid=21489] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21489/stat : 21489 (java) S 21484 21486 20334 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254037170 9855975424 13618 33554432000 1073741824 1073778376 140733983273136 140098752190760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21490/stat : 21490 (java) S 21484 21486 20334 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254037170 9855975424 13618 33554432000 1073741824 1073778376 140733983273136 140098751137960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21491/stat : 21491 (java) S 21484 21486 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254037170 9855975424 13618 33554432000 1073741824 1073778376 140733983273136 140098750085672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21486/tid=21492] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21492/stat : 21492 (java) S 21484 21486 20334 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254037170 9855975424 13618 33554432000 1073741824 1073778376 140733983273136 140098749032872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21493] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21493/stat : 21493 (java) S 21484 21486 20334 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254037170 9855975424 13618 33554432000 1073741824 1073778376 140733983273136 140098747980584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21494] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21494/stat : 21494 (java) S 21484 21486 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254037170 9855975424 13618 33554432000 1073741824 1073778376 140733983273136 140098651503272 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21486/tid=21495] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21495/stat : 21495 (java) S 21484 21486 20334 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254037170 9855975424 13618 33554432000 1073741824 1073778376 140733983273136 140098650450984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21496] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21496/stat : 21496 (java) S 21484 21486 20334 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254037170 9855975424 13618 33554432000 1073741824 1073778376 140733983273136 140098649398184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21486/tid=21497] ppid=21484 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/21486/task/21497/stat : 21497 (java) S 21484 21486 20334 0 -1 4202560 35 0 0 0 9 0 0 0 20 0 19 0 254037171 9855975424 13618 33554432000 1073741824 1073778376 140733983273136 140098637199592 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21498] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21498/stat : 21498 (java) S 21484 21486 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254037171 9855975424 13618 33554432000 1073741824 1073778376 140733983273136 140098636145656 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21499] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21499/stat : 21499 (java) S 21484 21486 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254037171 9855975424 13618 33554432000 1073741824 1073778376 140733983273136 140098635093256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21500] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21500/stat : 21500 (java) S 21484 21486 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037174 9855975424 13618 33554432000 1073741824 1073778376 140733983273136 140098634041744 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21501] ppid=21484 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/21486/task/21501/stat : 21501 (java) S 21484 21486 20334 0 -1 4202560 2214 0 0 0 15 0 0 0 20 0 19 0 254037174 9855975424 13618 33554432000 1073741824 1073778376 140733983273136 140098632989368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21502] ppid=21484 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/21486/task/21502/stat : 21502 (java) S 21484 21486 20334 0 -1 4202560 1654 0 0 0 15 0 0 0 20 0 19 0 254037174 9855975424 13618 33554432000 1073741824 1073778376 140733983273136 140098631936568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21503] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21503/stat : 21503 (java) S 21484 21486 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037174 9855975424 13618 33554432000 1073741824 1073778376 140733983273136 140098630884472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21486/tid=21504] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21504/stat : 21504 (java) S 21484 21486 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037174 9855975424 13618 33554432000 1073741824 1073778376 140733983273136 140098629831880 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21505] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21505/stat : 21505 (java) S 21484 21486 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254037181 9855975424 13618 33554432000 1073741824 1073778376 140733983273136 140098628776872 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 9624976
[startup+6.30073 s]
/proc/loadavg: 2.01 2.01 2.00 3/211 21505
/proc/meminfo: memFree=29691516/32873844 swapFree=7104/7104
[pid=21486] ppid=21484 vsize=9624976 CPUtime=6.77 cores=1,3,5,7
/proc/21486/stat : 21486 (java) S 21484 21486 20334 0 -1 4202496 7706 0 1 0 673 4 0 0 20 0 19 0 254037167 9855975424 16018 33554432000 1073741824 1073778376 140733983273136 140733983264272 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21486/statm: 2406244 16018 2263 9 0 2396937 0
[pid=21486/tid=21488] ppid=21484 vsize=9624976 CPUtime=5.98 cores=1,3,5,7
/proc/21486/task/21488/stat : 21488 (java) R 21484 21486 20334 0 -1 4202560 2514 0 1 0 598 0 0 0 20 0 19 0 254037168 9855975424 16018 33554432000 1073741824 1073778376 140733983273136 140098813460888 140098753609918 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21486/tid=21489] ppid=21484 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/21486/task/21489/stat : 21489 (java) S 21484 21486 20334 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 254037170 9855975424 16018 33554432000 1073741824 1073778376 140733983273136 140098752190760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/21486/task/21490/stat : 21490 (java) S 21484 21486 20334 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 254037170 9855975424 16018 33554432000 1073741824 1073778376 140733983273136 140098751137960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/21486/task/21491/stat : 21491 (java) S 21484 21486 20334 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 19 0 254037170 9855975424 16018 33554432000 1073741824 1073778376 140733983273136 140098750085672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21486/tid=21492] ppid=21484 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/21486/task/21492/stat : 21492 (java) S 21484 21486 20334 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 254037170 9855975424 16018 33554432000 1073741824 1073778376 140733983273136 140098749032872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21486/tid=21493] ppid=21484 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21486/task/21493/stat : 21493 (java) S 21484 21486 20334 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 19 0 254037170 9855975424 16018 33554432000 1073741824 1073778376 140733983273136 140098747980584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21494] ppid=21484 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/21486/task/21494/stat : 21494 (java) S 21484 21486 20334 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 19 0 254037170 9855975424 16018 33554432000 1073741824 1073778376 140733983273136 140098651503272 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21495] ppid=21484 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21486/task/21495/stat : 21495 (java) S 21484 21486 20334 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 254037170 9855975424 16018 33554432000 1073741824 1073778376 140733983273136 140098650450984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21486/tid=21496] ppid=21484 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/21486/task/21496/stat : 21496 (java) S 21484 21486 20334 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 254037170 9855975424 16018 33554432000 1073741824 1073778376 140733983273136 140098649398184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21486/tid=21497] ppid=21484 vsize=9624976 CPUtime=0.19 cores=1,3,5,7
/proc/21486/task/21497/stat : 21497 (java) S 21484 21486 20334 0 -1 4202560 38 0 0 0 19 0 0 0 20 0 19 0 254037171 9855975424 16018 33554432000 1073741824 1073778376 140733983273136 140098637199592 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21498] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21498/stat : 21498 (java) S 21484 21486 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254037171 9855975424 16018 33554432000 1073741824 1073778376 140733983273136 140098636145656 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21499] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21499/stat : 21499 (java) S 21484 21486 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254037171 9855975424 16018 33554432000 1073741824 1073778376 140733983273136 140098635093256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21500] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21500/stat : 21500 (java) S 21484 21486 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037174 9855975424 16018 33554432000 1073741824 1073778376 140733983273136 140098634041744 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21501] ppid=21484 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/21486/task/21501/stat : 21501 (java) S 21484 21486 20334 0 -1 4202560 2214 0 0 0 15 0 0 0 20 0 19 0 254037174 9855975424 16018 33554432000 1073741824 1073778376 140733983273136 140098632989368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21502] ppid=21484 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/21486/task/21502/stat : 21502 (java) S 21484 21486 20334 0 -1 4202560 1654 0 0 0 15 0 0 0 20 0 19 0 254037174 9855975424 16018 33554432000 1073741824 1073778376 140733983273136 140098631936568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21503] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21503/stat : 21503 (java) S 21484 21486 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037174 9855975424 16018 33554432000 1073741824 1073778376 140733983273136 140098630884472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21486/tid=21504] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21504/stat : 21504 (java) S 21484 21486 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037174 9855975424 16018 33554432000 1073741824 1073778376 140733983273136 140098629831880 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21505] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21505/stat : 21505 (java) S 21484 21486 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254037181 9855975424 16018 33554432000 1073741824 1073778376 140733983273136 140098628776872 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.77
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
################
# More data... #
################
[pid=21486/tid=21494] ppid=21484 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/21486/task/21494/stat : 21494 (java) S 21484 21486 20334 0 -1 4202560 406 0 0 0 120 4 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098651503272 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21495] ppid=21484 vsize=9624976 CPUtime=1.3 cores=1,3,5,7
/proc/21486/task/21495/stat : 21495 (java) S 21484 21486 20334 0 -1 4202560 288 0 0 0 127 3 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098650450984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21486/tid=21496] ppid=21484 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/21486/task/21496/stat : 21496 (java) S 21484 21486 20334 0 -1 4202560 363 0 0 0 118 3 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098649398184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21497] ppid=21484 vsize=9624976 CPUtime=10.97 cores=1,3,5,7
/proc/21486/task/21497/stat : 21497 (java) S 21484 21486 20334 0 -1 4202560 162 0 0 0 1094 3 0 0 20 0 19 0 254037171 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098637199592 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21498] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21498/stat : 21498 (java) S 21484 21486 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254037171 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098636145656 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21499] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21499/stat : 21499 (java) S 21484 21486 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254037171 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098635093256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21500] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21500/stat : 21500 (java) S 21484 21486 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037174 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098634041744 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21501] ppid=21484 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/21486/task/21501/stat : 21501 (java) S 21484 21486 20334 0 -1 4202560 2214 0 0 0 15 0 0 0 20 0 19 0 254037174 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098632989368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21502] ppid=21484 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/21486/task/21502/stat : 21502 (java) S 21484 21486 20334 0 -1 4202560 1909 0 0 0 18 0 0 0 20 0 19 0 254037174 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098631936568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21503] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21503/stat : 21503 (java) S 21484 21486 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037174 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098630884472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21486/tid=21504] ppid=21484 vsize=9624976 CPUtime=0.61 cores=1,3,5,7
/proc/21486/task/21504/stat : 21504 (java) S 21484 21486 20334 0 -1 4202560 98 0 0 0 41 20 0 0 20 0 19 0 254037174 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098629831880 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21505] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21505/stat : 21505 (java) S 21484 21486 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254037181 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098628776872 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1730.31
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.01 3/211 21694
/proc/meminfo: memFree=29538312/32873844 swapFree=7104/7104
[pid=21486] ppid=21484 vsize=9624976 CPUtime=1790.44 cores=1,3,5,7
/proc/21486/stat : 21486 (java) S 21484 21486 20334 0 -1 4202496 11072 0 1 0 178981 63 0 0 20 0 19 0 254037167 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140733983264272 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21486/statm: 2406244 76694 2264 9 0 2396937 0
[pid=21486/tid=21488] ppid=21484 vsize=9624976 CPUtime=1768.32 cores=1,3,5,7
/proc/21486/task/21488/stat : 21488 (java) R 21484 21486 20334 0 -1 4202560 2708 0 1 0 176803 29 0 0 20 0 19 0 254037168 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098813460768 140098753580212 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21486/tid=21489] ppid=21484 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/21486/task/21489/stat : 21489 (java) S 21484 21486 20334 0 -1 4202560 288 0 0 0 112 4 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098752190760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=9624976 CPUtime=1.25 cores=1,3,5,7
/proc/21486/task/21490/stat : 21490 (java) S 21484 21486 20334 0 -1 4202560 288 0 0 0 122 3 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098751137960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/21486/task/21491/stat : 21491 (java) S 21484 21486 20334 0 -1 4202560 479 0 0 0 120 4 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098750085672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21486/tid=21492] ppid=21484 vsize=9624976 CPUtime=1.11 cores=1,3,5,7
/proc/21486/task/21492/stat : 21492 (java) S 21484 21486 20334 0 -1 4202560 294 0 0 0 107 4 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098749032872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21493] ppid=21484 vsize=9624976 CPUtime=1.18 cores=1,3,5,7
/proc/21486/task/21493/stat : 21493 (java) S 21484 21486 20334 0 -1 4202560 388 0 0 0 115 3 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098747980584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21494] ppid=21484 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/21486/task/21494/stat : 21494 (java) S 21484 21486 20334 0 -1 4202560 406 0 0 0 120 4 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098651503272 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21495] ppid=21484 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/21486/task/21495/stat : 21495 (java) S 21484 21486 20334 0 -1 4202560 288 0 0 0 130 3 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098650450984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21496] ppid=21484 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/21486/task/21496/stat : 21496 (java) S 21484 21486 20334 0 -1 4202560 363 0 0 0 121 3 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098649398184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21486/tid=21497] ppid=21484 vsize=9624976 CPUtime=11.25 cores=1,3,5,7
/proc/21486/task/21497/stat : 21497 (java) S 21484 21486 20334 0 -1 4202560 164 0 0 0 1121 4 0 0 20 0 19 0 254037171 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098637199592 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21498] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21498/stat : 21498 (java) S 21484 21486 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254037171 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098636145656 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21499] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21499/stat : 21499 (java) S 21484 21486 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254037171 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098635093256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21500] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21500/stat : 21500 (java) S 21484 21486 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037174 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098634041744 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21501] ppid=21484 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/21486/task/21501/stat : 21501 (java) S 21484 21486 20334 0 -1 4202560 2214 0 0 0 15 0 0 0 20 0 19 0 254037174 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098632989368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21502] ppid=21484 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/21486/task/21502/stat : 21502 (java) S 21484 21486 20334 0 -1 4202560 1909 0 0 0 18 0 0 0 20 0 19 0 254037174 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098631936568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21503] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21503/stat : 21503 (java) S 21484 21486 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037174 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098630884472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21486/tid=21504] ppid=21484 vsize=9624976 CPUtime=0.64 cores=1,3,5,7
/proc/21486/task/21504/stat : 21504 (java) S 21484 21486 20334 0 -1 4202560 102 0 0 0 43 21 0 0 20 0 19 0 254037174 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098629831880 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21505] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21505/stat : 21505 (java) S 21484 21486 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254037181 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098628776872 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1790.44
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.91 s]
/proc/loadavg: 2.03 2.03 2.00 3/211 21694
/proc/meminfo: memFree=29538312/32873844 swapFree=7104/7104
[pid=21486] ppid=21484 vsize=9624976 CPUtime=1800.05 cores=1,3,5,7
/proc/21486/stat : 21486 (java) S 21484 21486 20334 0 -1 4202496 11072 0 1 0 179942 63 0 0 20 0 19 0 254037167 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140733983264272 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21486/statm: 2406244 76694 2264 9 0 2396937 0
[pid=21486/tid=21488] ppid=21484 vsize=9624976 CPUtime=1777.93 cores=1,3,5,7
/proc/21486/task/21488/stat : 21488 (java) R 21484 21486 20334 0 -1 4202560 2708 0 1 0 177763 30 0 0 20 0 19 0 254037168 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098813460768 140098753611593 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21486/tid=21489] ppid=21484 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/21486/task/21489/stat : 21489 (java) S 21484 21486 20334 0 -1 4202560 288 0 0 0 112 4 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098752190760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=9624976 CPUtime=1.25 cores=1,3,5,7
/proc/21486/task/21490/stat : 21490 (java) S 21484 21486 20334 0 -1 4202560 288 0 0 0 122 3 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098751137960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/21486/task/21491/stat : 21491 (java) S 21484 21486 20334 0 -1 4202560 479 0 0 0 120 4 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098750085672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21486/tid=21492] ppid=21484 vsize=9624976 CPUtime=1.11 cores=1,3,5,7
/proc/21486/task/21492/stat : 21492 (java) S 21484 21486 20334 0 -1 4202560 294 0 0 0 107 4 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098749032872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21493] ppid=21484 vsize=9624976 CPUtime=1.18 cores=1,3,5,7
/proc/21486/task/21493/stat : 21493 (java) S 21484 21486 20334 0 -1 4202560 388 0 0 0 115 3 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098747980584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21494] ppid=21484 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/21486/task/21494/stat : 21494 (java) S 21484 21486 20334 0 -1 4202560 406 0 0 0 120 4 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098651503272 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21495] ppid=21484 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/21486/task/21495/stat : 21495 (java) S 21484 21486 20334 0 -1 4202560 288 0 0 0 130 3 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098650450984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21496] ppid=21484 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/21486/task/21496/stat : 21496 (java) S 21484 21486 20334 0 -1 4202560 363 0 0 0 121 3 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098649398184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21486/tid=21497] ppid=21484 vsize=9624976 CPUtime=11.25 cores=1,3,5,7
/proc/21486/task/21497/stat : 21497 (java) S 21484 21486 20334 0 -1 4202560 164 0 0 0 1121 4 0 0 20 0 19 0 254037171 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098637199592 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21498] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21498/stat : 21498 (java) S 21484 21486 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254037171 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098636145656 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21499] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21499/stat : 21499 (java) S 21484 21486 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254037171 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098635093256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21500] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21500/stat : 21500 (java) S 21484 21486 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037174 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098634041744 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21501] ppid=21484 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/21486/task/21501/stat : 21501 (java) S 21484 21486 20334 0 -1 4202560 2214 0 0 0 15 0 0 0 20 0 19 0 254037174 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098632989368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21502] ppid=21484 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/21486/task/21502/stat : 21502 (java) S 21484 21486 20334 0 -1 4202560 1909 0 0 0 18 0 0 0 20 0 19 0 254037174 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098631936568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21503] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21503/stat : 21503 (java) S 21484 21486 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037174 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098630884472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21486/tid=21504] ppid=21484 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/21486/task/21504/stat : 21504 (java) S 21484 21486 20334 0 -1 4202560 102 0 0 0 44 21 0 0 20 0 19 0 254037174 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098629831880 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21505] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21505/stat : 21505 (java) S 21484 21486 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254037181 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098628776872 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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+1791.91 s]
/proc/loadavg: 2.03 2.03 2.00 3/211 21694
/proc/meminfo: memFree=29538312/32873844 swapFree=7104/7104
[pid=21486] ppid=21484 vsize=9624976 CPUtime=1800.05 cores=1,3,5,7
/proc/21486/stat : 21486 (java) S 21484 21486 20334 0 -1 4202496 11072 0 1 0 179942 63 0 0 20 0 19 0 254037167 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140733983264272 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21486/statm: 2406244 76694 2264 9 0 2396937 0
[pid=21486/tid=21488] ppid=21484 vsize=9624976 CPUtime=1777.93 cores=1,3,5,7
/proc/21486/task/21488/stat : 21488 (java) R 21484 21486 20334 0 -1 4202560 2708 0 1 0 177763 30 0 0 20 0 19 0 254037168 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098813460768 140098753611593 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21486/tid=21489] ppid=21484 vsize=9624976 CPUtime=1.16 cores=1,3,5,7
/proc/21486/task/21489/stat : 21489 (java) S 21484 21486 20334 0 -1 4202560 288 0 0 0 112 4 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098752190760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21486/tid=21490] ppid=21484 vsize=9624976 CPUtime=1.25 cores=1,3,5,7
/proc/21486/task/21490/stat : 21490 (java) S 21484 21486 20334 0 -1 4202560 288 0 0 0 122 3 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098751137960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21491] ppid=21484 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/21486/task/21491/stat : 21491 (java) S 21484 21486 20334 0 -1 4202560 479 0 0 0 120 4 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098750085672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21486/tid=21492] ppid=21484 vsize=9624976 CPUtime=1.11 cores=1,3,5,7
/proc/21486/task/21492/stat : 21492 (java) S 21484 21486 20334 0 -1 4202560 294 0 0 0 107 4 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098749032872 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21493] ppid=21484 vsize=9624976 CPUtime=1.18 cores=1,3,5,7
/proc/21486/task/21493/stat : 21493 (java) S 21484 21486 20334 0 -1 4202560 388 0 0 0 115 3 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098747980584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21494] ppid=21484 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/21486/task/21494/stat : 21494 (java) S 21484 21486 20334 0 -1 4202560 406 0 0 0 120 4 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098651503272 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21495] ppid=21484 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/21486/task/21495/stat : 21495 (java) S 21484 21486 20334 0 -1 4202560 288 0 0 0 130 3 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098650450984 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21496] ppid=21484 vsize=9624976 CPUtime=1.24 cores=1,3,5,7
/proc/21486/task/21496/stat : 21496 (java) S 21484 21486 20334 0 -1 4202560 363 0 0 0 121 3 0 0 20 0 19 0 254037170 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098649398184 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21486/tid=21497] ppid=21484 vsize=9624976 CPUtime=11.25 cores=1,3,5,7
/proc/21486/task/21497/stat : 21497 (java) S 21484 21486 20334 0 -1 4202560 164 0 0 0 1121 4 0 0 20 0 19 0 254037171 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098637199592 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21498] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21498/stat : 21498 (java) S 21484 21486 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254037171 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098636145656 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21499] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21499/stat : 21499 (java) S 21484 21486 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254037171 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098635093256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21500] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21500/stat : 21500 (java) S 21484 21486 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037174 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098634041744 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21501] ppid=21484 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/21486/task/21501/stat : 21501 (java) S 21484 21486 20334 0 -1 4202560 2214 0 0 0 15 0 0 0 20 0 19 0 254037174 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098632989368 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21486/tid=21502] ppid=21484 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/21486/task/21502/stat : 21502 (java) S 21484 21486 20334 0 -1 4202560 1909 0 0 0 18 0 0 0 20 0 19 0 254037174 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098631936568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21503] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21503/stat : 21503 (java) S 21484 21486 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254037174 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098630884472 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21486/tid=21504] ppid=21484 vsize=9624976 CPUtime=0.65 cores=1,3,5,7
/proc/21486/task/21504/stat : 21504 (java) S 21484 21486 20334 0 -1 4202560 102 0 0 0 44 21 0 0 20 0 19 0 254037174 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098629831880 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21486/tid=21505] ppid=21484 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21486/task/21505/stat : 21505 (java) S 21484 21486 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254037181 9855975424 76694 33554432000 1073741824 1073778376 140733983273136 140098628776872 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624976
Child status: 143
Real time (s): 1791.97
CPU time (s): 1800.28
CPU user time (s): 1799.31
CPU system time (s): 0.970852
CPU usage (%): 100.464
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.970852
maximum resident set size= 306948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11120
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= 42938
involuntary context switches= 17661
runsolver used 5.97109 second user time and 15.2817 second system time
The end