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-3687325-1337871903/watcher-3687325-1337871903 -o /tmp/evaluation-result-3687325-1337871903/solver-3687325-1337871903 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687325-1337871903.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: 0.27 0.06 0.02 3/194 12177
/proc/meminfo: memFree=27921340/32873844 swapFree=7364/7364
[pid=12177] ppid=12175 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/12177/stat : 12177 (java) R 12175 12177 12001 0 -1 4202496 1047 0 0 0 0 0 0 0 20 0 1 0 253316421 23793664 776 33554432000 1073741824 1073778376 140733947467296 140733947456360 140545495425696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12177/statm: 5809 795 590 9 0 128 0
[startup+0.0954819 s]
/proc/loadavg: 0.27 0.06 0.02 3/194 12177
/proc/meminfo: memFree=27921340/32873844 swapFree=7364/7364
[pid=12177] ppid=12175 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/12177/stat : 12177 (java) S 12175 12177 12001 0 -1 4202496 4437 0 1 0 8 2 0 0 20 0 18 0 253316421 9787813888 5642 33554432000 1073741824 1073778376 140733947467296 140733947458432 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12177/statm: 2389603 5642 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.100219 s]
/proc/loadavg: 0.27 0.06 0.02 3/194 12177
/proc/meminfo: memFree=27921340/32873844 swapFree=7364/7364
[pid=12177] ppid=12175 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/12177/stat : 12177 (java) S 12175 12177 12001 0 -1 4202496 4475 0 1 0 9 2 0 0 20 0 18 0 253316421 9787813888 5642 33554432000 1073741824 1073778376 140733947467296 140733947458432 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12177/statm: 2389603 5642 2130 9 0 2380296 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412
[startup+0.300191 s]
/proc/loadavg: 0.27 0.06 0.02 3/194 12177
/proc/meminfo: memFree=27921340/32873844 swapFree=7364/7364
[pid=12177] ppid=12175 vsize=9558412 CPUtime=0.5 cores=1,3,5,7
/proc/12177/stat : 12177 (java) S 12175 12177 12001 0 -1 4202496 5771 0 1 0 48 2 0 0 20 0 18 0 253316421 9787813888 8493 33554432000 1073741824 1073778376 140733947467296 140733947458432 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12177/statm: 2389603 8493 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558412
[startup+0.700188 s]
/proc/loadavg: 0.27 0.06 0.02 3/194 12177
/proc/meminfo: memFree=27921340/32873844 swapFree=7364/7364
[pid=12177] ppid=12175 vsize=9624976 CPUtime=1.41 cores=1,3,5,7
/proc/12177/stat : 12177 (java) S 12175 12177 12001 0 -1 4202496 10791 0 1 0 136 5 0 0 20 0 19 0 253316421 9855975424 33659 33554432000 1073741824 1073778376 140733947467296 140733947458432 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12177/statm: 2406244 33659 2251 9 0 2396937 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 9624976
[startup+1.50076 s]
/proc/loadavg: 0.27 0.06 0.02 4/213 12196
/proc/meminfo: memFree=27783012/32873844 swapFree=7364/7364
[pid=12177] ppid=12175 vsize=9624976 CPUtime=2.55 cores=1,3,5,7
/proc/12177/stat : 12177 (java) S 12175 12177 12001 0 -1 4202496 15379 0 1 0 248 7 0 0 20 0 19 0 253316421 9855975424 39876 33554432000 1073741824 1073778376 140733947467296 140733947458432 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12177/statm: 2406244 39876 2282 9 0 2396937 0
[pid=12177/tid=12179] ppid=12175 vsize=9624976 CPUtime=1.44 cores=1,3,5,7
/proc/12177/task/12179/stat : 12179 (java) R 12175 12177 12001 0 -1 4202560 2554 0 1 0 141 3 0 0 20 0 19 0 253316422 9855975424 39876 33554432000 1073741824 1073778376 140733947467296 140545491415416 140545364280140 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12180] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12180/stat : 12180 (java) S 12175 12177 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 39876 33554432000 1073741824 1073778376 140733947467296 140545335225256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12181] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12181/stat : 12181 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 39876 33554432000 1073741824 1073778376 140733947467296 140545334172712 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12182] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12182/stat : 12182 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 39876 33554432000 1073741824 1073778376 140733947467296 140545333119656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12177/tid=12183] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12183/stat : 12183 (java) S 12175 12177 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 39876 33554432000 1073741824 1073778376 140733947467296 140545332067112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12184] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12184/stat : 12184 (java) S 12175 12177 12001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 39876 33554432000 1073741824 1073778376 140733947467296 140545331014056 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12185] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12185/stat : 12185 (java) S 12175 12177 12001 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 39876 33554432000 1073741824 1073778376 140733947467296 140545329961512 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12177/tid=12186] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12186/stat : 12186 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 39876 33554432000 1073741824 1073778376 140733947467296 140545328908456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12187] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12187/stat : 12187 (java) S 12175 12177 12001 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 39876 33554432000 1073741824 1073778376 140733947467296 140545327855912 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12188] ppid=12175 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/12177/task/12188/stat : 12188 (java) S 12175 12177 12001 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 253316423 9855975424 39876 33554432000 1073741824 1073778376 140733947467296 140545315658600 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12189] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12189/stat : 12189 (java) S 12175 12177 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253316424 9855975424 39876 33554432000 1073741824 1073778376 140733947467296 140545314604920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12190] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12190/stat : 12190 (java) S 12175 12177 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253316424 9855975424 39876 33554432000 1073741824 1073778376 140733947467296 140545313551752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12191] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12191/stat : 12191 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316426 9855975424 39876 33554432000 1073741824 1073778376 140733947467296 140545312500496 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12192] ppid=12175 vsize=9624976 CPUtime=0.63 cores=1,3,5,7
/proc/12177/task/12192/stat : 12192 (java) S 12175 12177 12001 0 -1 4202560 8336 0 0 0 61 2 0 0 20 0 19 0 253316426 9855975424 39876 33554432000 1073741824 1073778376 140733947467296 140545311447352 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12193] ppid=12175 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/12177/task/12193/stat : 12193 (java) S 12175 12177 12001 0 -1 4202560 3241 0 0 0 38 0 0 0 20 0 19 0 253316426 9855975424 39876 33554432000 1073741824 1073778376 140733947467296 140545310394808 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12194] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12194/stat : 12194 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316426 9855975424 39876 33554432000 1073741824 1073778376 140733947467296 140545309341944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12195] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12195/stat : 12195 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316426 9855975424 39876 33554432000 1073741824 1073778376 140733947467296 140545308289608 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12196] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12196/stat : 12196 (java) S 12175 12177 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253316477 9855975424 39876 33554432000 1073741824 1073778376 140733947467296 140545307235880 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 9624976
[startup+3.10068 s]
/proc/loadavg: 0.27 0.06 0.02 4/213 12196
/proc/meminfo: memFree=27735812/32873844 swapFree=7364/7364
[pid=12177] ppid=12175 vsize=9624976 CPUtime=4.26 cores=1,3,5,7
/proc/12177/stat : 12177 (java) S 12175 12177 12001 0 -1 4202496 15688 0 1 0 419 7 0 0 20 0 19 0 253316421 9855975424 40973 33554432000 1073741824 1073778376 140733947467296 140733947458432 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12177/statm: 2406244 40973 2282 9 0 2396937 0
[pid=12177/tid=12179] ppid=12175 vsize=9624976 CPUtime=2.96 cores=1,3,5,7
/proc/12177/task/12179/stat : 12179 (java) R 12175 12177 12001 0 -1 4202560 2555 0 1 0 293 3 0 0 20 0 19 0 253316422 9855975424 40973 33554432000 1073741824 1073778376 140733947467296 140545491415328 140545364420067 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12180] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12180/stat : 12180 (java) S 12175 12177 12001 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 40973 33554432000 1073741824 1073778376 140733947467296 140545335225256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12177/tid=12181] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12181/stat : 12181 (java) S 12175 12177 12001 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 40973 33554432000 1073741824 1073778376 140733947467296 140545334172712 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12182] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12182/stat : 12182 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 40973 33554432000 1073741824 1073778376 140733947467296 140545333119656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12177/tid=12183] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12183/stat : 12183 (java) S 12175 12177 12001 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 40973 33554432000 1073741824 1073778376 140733947467296 140545332067112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12184] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12184/stat : 12184 (java) S 12175 12177 12001 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 40973 33554432000 1073741824 1073778376 140733947467296 140545331014056 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12185] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12185/stat : 12185 (java) S 12175 12177 12001 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 40973 33554432000 1073741824 1073778376 140733947467296 140545329961512 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12186] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12186/stat : 12186 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 40973 33554432000 1073741824 1073778376 140733947467296 140545328908456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12187] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12187/stat : 12187 (java) S 12175 12177 12001 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 40973 33554432000 1073741824 1073778376 140733947467296 140545327855912 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12188] ppid=12175 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/12177/task/12188/stat : 12188 (java) S 12175 12177 12001 0 -1 4202560 33 0 0 0 8 0 0 0 20 0 19 0 253316423 9855975424 40973 33554432000 1073741824 1073778376 140733947467296 140545315658600 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12189] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12189/stat : 12189 (java) S 12175 12177 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253316424 9855975424 40973 33554432000 1073741824 1073778376 140733947467296 140545314604920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12190] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12190/stat : 12190 (java) S 12175 12177 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253316424 9855975424 40973 33554432000 1073741824 1073778376 140733947467296 140545313551752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12191] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12191/stat : 12191 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316426 9855975424 40973 33554432000 1073741824 1073778376 140733947467296 140545312500496 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12192] ppid=12175 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/12177/task/12192/stat : 12192 (java) S 12175 12177 12001 0 -1 4202560 8392 0 0 0 67 2 0 0 20 0 19 0 253316426 9855975424 40973 33554432000 1073741824 1073778376 140733947467296 140545311447352 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12193] ppid=12175 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/12177/task/12193/stat : 12193 (java) S 12175 12177 12001 0 -1 4202560 3477 0 0 0 44 0 0 0 20 0 19 0 253316426 9855975424 40973 33554432000 1073741824 1073778376 140733947467296 140545310394808 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12177/tid=12194] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12194/stat : 12194 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316426 9855975424 40973 33554432000 1073741824 1073778376 140733947467296 140545309341944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12195] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12195/stat : 12195 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316426 9855975424 40973 33554432000 1073741824 1073778376 140733947467296 140545308289608 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12196] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12196/stat : 12196 (java) S 12175 12177 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253316477 9855975424 40973 33554432000 1073741824 1073778376 140733947467296 140545307235880 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 9624976
[startup+6.30066 s]
/proc/loadavg: 0.41 0.10 0.03 2/190 12221
/proc/meminfo: memFree=27791312/32873844 swapFree=7364/7364
[pid=12177] ppid=12175 vsize=9624976 CPUtime=7.49 cores=1,3,5,7
/proc/12177/stat : 12177 (java) S 12175 12177 12001 0 -1 4202496 15705 0 1 0 741 8 0 0 20 0 19 0 253316421 9855975424 41405 33554432000 1073741824 1073778376 140733947467296 140733947458432 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12177/statm: 2406244 41405 2282 9 0 2396937 0
[pid=12177/tid=12179] ppid=12175 vsize=9624976 CPUtime=6.07 cores=1,3,5,7
/proc/12177/task/12179/stat : 12179 (java) R 12175 12177 12001 0 -1 4202560 2559 0 1 0 603 4 0 0 20 0 19 0 253316422 9855975424 41405 33554432000 1073741824 1073778376 140733947467296 140545491415328 140545364279725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12180] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12180/stat : 12180 (java) S 12175 12177 12001 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 41405 33554432000 1073741824 1073778376 140733947467296 140545335225256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12177/tid=12181] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12181/stat : 12181 (java) S 12175 12177 12001 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 41405 33554432000 1073741824 1073778376 140733947467296 140545334172712 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12182] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12182/stat : 12182 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 41405 33554432000 1073741824 1073778376 140733947467296 140545333119656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12183] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12183/stat : 12183 (java) S 12175 12177 12001 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 41405 33554432000 1073741824 1073778376 140733947467296 140545332067112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12184] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12184/stat : 12184 (java) S 12175 12177 12001 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 41405 33554432000 1073741824 1073778376 140733947467296 140545331014056 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12185] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12185/stat : 12185 (java) S 12175 12177 12001 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 41405 33554432000 1073741824 1073778376 140733947467296 140545329961512 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12186] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12186/stat : 12186 (java) S 12175 12177 12001 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 41405 33554432000 1073741824 1073778376 140733947467296 140545328908456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12187] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12187/stat : 12187 (java) S 12175 12177 12001 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253316422 9855975424 41405 33554432000 1073741824 1073778376 140733947467296 140545327855912 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12188] ppid=12175 vsize=9624976 CPUtime=0.15 cores=1,3,5,7
/proc/12177/task/12188/stat : 12188 (java) S 12175 12177 12001 0 -1 4202560 34 0 0 0 15 0 0 0 20 0 19 0 253316423 9855975424 41405 33554432000 1073741824 1073778376 140733947467296 140545315658600 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12177/tid=12189] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12189/stat : 12189 (java) S 12175 12177 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253316424 9855975424 41405 33554432000 1073741824 1073778376 140733947467296 140545314604920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12190] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12190/stat : 12190 (java) S 12175 12177 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253316424 9855975424 41405 33554432000 1073741824 1073778376 140733947467296 140545313551752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12191] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12191/stat : 12191 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316426 9855975424 41405 33554432000 1073741824 1073778376 140733947467296 140545312500496 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12192] ppid=12175 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/12177/task/12192/stat : 12192 (java) S 12175 12177 12001 0 -1 4202560 8392 0 0 0 67 2 0 0 20 0 19 0 253316426 9855975424 41405 33554432000 1073741824 1073778376 140733947467296 140545311447352 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12193] ppid=12175 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/12177/task/12193/stat : 12193 (java) S 12175 12177 12001 0 -1 4202560 3486 0 0 0 45 0 0 0 20 0 19 0 253316426 9855975424 41405 33554432000 1073741824 1073778376 140733947467296 140545310394808 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12177/tid=12194] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12194/stat : 12194 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316426 9855975424 41405 33554432000 1073741824 1073778376 140733947467296 140545309341944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12195] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12195/stat : 12195 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316426 9855975424 41405 33554432000 1073741824 1073778376 140733947467296 140545308289608 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12196] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12196/stat : 12196 (java) S 12175 12177 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253316477 9855975424 41405 33554432000 1073741824 1073778376 140733947467296 140545307235880 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.49
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
################
# More data... #
################
[pid=12177/tid=12185] ppid=12175 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/12177/task/12185/stat : 12185 (java) S 12175 12177 12001 0 -1 4202560 124 0 0 0 72 3 0 0 20 0 19 0 253316422 9855975424 76994 33554432000 1073741824 1073778376 140733947467296 140545329961512 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12177/tid=12186] ppid=12175 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/12177/task/12186/stat : 12186 (java) S 12175 12177 12001 0 -1 4202560 274 0 0 0 82 4 0 0 20 0 19 0 253316422 9855975424 76994 33554432000 1073741824 1073778376 140733947467296 140545328908456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12187] ppid=12175 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/12177/task/12187/stat : 12187 (java) S 12175 12177 12001 0 -1 4202560 199 0 0 0 71 4 0 0 20 0 19 0 253316422 9855975424 76994 33554432000 1073741824 1073778376 140733947467296 140545327855912 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12188] ppid=12175 vsize=9624976 CPUtime=6.28 cores=1,3,5,7
/proc/12177/task/12188/stat : 12188 (java) S 12175 12177 12001 0 -1 4202560 152 0 0 0 625 3 0 0 20 0 19 0 253316423 9855975424 76994 33554432000 1073741824 1073778376 140733947467296 140545315658600 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12189] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12189/stat : 12189 (java) S 12175 12177 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253316424 9855975424 76994 33554432000 1073741824 1073778376 140733947467296 140545314604920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12190] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12190/stat : 12190 (java) S 12175 12177 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253316424 9855975424 76994 33554432000 1073741824 1073778376 140733947467296 140545313551752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12191] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12191/stat : 12191 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316426 9855975424 76994 33554432000 1073741824 1073778376 140733947467296 140545312500496 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12192] ppid=12175 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/12177/task/12192/stat : 12192 (java) S 12175 12177 12001 0 -1 4202560 8392 0 0 0 67 2 0 0 20 0 19 0 253316426 9855975424 76994 33554432000 1073741824 1073778376 140733947467296 140545311447352 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12193] ppid=12175 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/12177/task/12193/stat : 12193 (java) S 12175 12177 12001 0 -1 4202560 3494 0 0 0 48 0 0 0 20 0 19 0 253316426 9855975424 76994 33554432000 1073741824 1073778376 140733947467296 140545310394808 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12194] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12194/stat : 12194 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316426 9855975424 76994 33554432000 1073741824 1073778376 140733947467296 140545309341944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12195] ppid=12175 vsize=9624976 CPUtime=0.76 cores=1,3,5,7
/proc/12177/task/12195/stat : 12195 (java) S 12175 12177 12001 0 -1 4202560 99 0 0 0 37 39 0 0 20 0 19 0 253316426 9855975424 76994 33554432000 1073741824 1073778376 140733947467296 140545308289608 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 6 0 0
[pid=12177/tid=12196] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12196/stat : 12196 (java) S 12175 12177 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253316477 9855975424 76994 33554432000 1073741824 1073778376 140733947467296 140545307235880 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1728.89
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.08 2.08 1.73 4/213 12268
/proc/meminfo: memFree=26835280/32873844 swapFree=7364/7364
[pid=12177] ppid=12175 vsize=9624976 CPUtime=1788.97 cores=1,3,5,7
/proc/12177/stat : 12177 (java) S 12175 12177 12001 0 -1 4202496 17614 0 1 0 178795 102 0 0 20 0 19 0 253316421 9855975424 76995 33554432000 1073741824 1073778376 140733947467296 140733947458432 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12177/statm: 2406244 76995 2283 9 0 2396937 0
[pid=12177/tid=12179] ppid=12175 vsize=9624976 CPUtime=1773.93 cores=1,3,5,7
/proc/12177/task/12179/stat : 12179 (java) R 12175 12177 12001 0 -1 4202560 2661 0 1 0 177362 31 0 0 20 0 19 0 253316422 9855975424 76995 33554432000 1073741824 1073778376 140733947467296 140545491415328 140545364279706 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12180] ppid=12175 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/12177/task/12180/stat : 12180 (java) S 12175 12177 12001 0 -1 4202560 298 0 0 0 75 4 0 0 20 0 19 0 253316422 9855975424 76995 33554432000 1073741824 1073778376 140733947467296 140545335225256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12181] ppid=12175 vsize=9624976 CPUtime=0.83 cores=1,3,5,7
/proc/12177/task/12181/stat : 12181 (java) S 12175 12177 12001 0 -1 4202560 158 0 0 0 80 3 0 0 20 0 19 0 253316422 9855975424 76995 33554432000 1073741824 1073778376 140733947467296 140545334172712 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12182] ppid=12175 vsize=9624976 CPUtime=0.73 cores=1,3,5,7
/proc/12177/task/12182/stat : 12182 (java) S 12175 12177 12001 0 -1 4202560 234 0 0 0 70 3 0 0 20 0 19 0 253316422 9855975424 76995 33554432000 1073741824 1073778376 140733947467296 140545333119656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12183] ppid=12175 vsize=9624976 CPUtime=0.83 cores=1,3,5,7
/proc/12177/task/12183/stat : 12183 (java) S 12175 12177 12001 0 -1 4202560 136 0 0 0 80 3 0 0 20 0 19 0 253316422 9855975424 76995 33554432000 1073741824 1073778376 140733947467296 140545332067112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12184] ppid=12175 vsize=9624976 CPUtime=0.84 cores=1,3,5,7
/proc/12177/task/12184/stat : 12184 (java) S 12175 12177 12001 0 -1 4202560 207 0 0 0 79 5 0 0 20 0 19 0 253316422 9855975424 76995 33554432000 1073741824 1073778376 140733947467296 140545331014056 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12185] ppid=12175 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/12177/task/12185/stat : 12185 (java) S 12175 12177 12001 0 -1 4202560 124 0 0 0 72 3 0 0 20 0 19 0 253316422 9855975424 76995 33554432000 1073741824 1073778376 140733947467296 140545329961512 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12177/tid=12186] ppid=12175 vsize=9624976 CPUtime=0.86 cores=1,3,5,7
/proc/12177/task/12186/stat : 12186 (java) S 12175 12177 12001 0 -1 4202560 274 0 0 0 82 4 0 0 20 0 19 0 253316422 9855975424 76995 33554432000 1073741824 1073778376 140733947467296 140545328908456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12187] ppid=12175 vsize=9624976 CPUtime=0.75 cores=1,3,5,7
/proc/12177/task/12187/stat : 12187 (java) S 12175 12177 12001 0 -1 4202560 199 0 0 0 71 4 0 0 20 0 19 0 253316422 9855975424 76995 33554432000 1073741824 1073778376 140733947467296 140545327855912 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12188] ppid=12175 vsize=9624976 CPUtime=6.36 cores=1,3,5,7
/proc/12177/task/12188/stat : 12188 (java) S 12175 12177 12001 0 -1 4202560 154 0 0 0 633 3 0 0 20 0 19 0 253316423 9855975424 76995 33554432000 1073741824 1073778376 140733947467296 140545315658600 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12189] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12189/stat : 12189 (java) S 12175 12177 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253316424 9855975424 76995 33554432000 1073741824 1073778376 140733947467296 140545314604920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12190] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12190/stat : 12190 (java) S 12175 12177 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253316424 9855975424 76995 33554432000 1073741824 1073778376 140733947467296 140545313551752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12191] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12191/stat : 12191 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316426 9855975424 76995 33554432000 1073741824 1073778376 140733947467296 140545312500496 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12192] ppid=12175 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/12177/task/12192/stat : 12192 (java) S 12175 12177 12001 0 -1 4202560 8392 0 0 0 67 2 0 0 20 0 19 0 253316426 9855975424 76995 33554432000 1073741824 1073778376 140733947467296 140545311447352 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12193] ppid=12175 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/12177/task/12193/stat : 12193 (java) S 12175 12177 12001 0 -1 4202560 3494 0 0 0 48 0 0 0 20 0 19 0 253316426 9855975424 76995 33554432000 1073741824 1073778376 140733947467296 140545310394808 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12194] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12194/stat : 12194 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316426 9855975424 76995 33554432000 1073741824 1073778376 140733947467296 140545309341944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12195] ppid=12175 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/12177/task/12195/stat : 12195 (java) S 12175 12177 12001 0 -1 4202560 103 0 0 0 39 40 0 0 20 0 19 0 253316426 9855975424 76995 33554432000 1073741824 1073778376 140733947467296 140545308289608 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 6 0 0
[pid=12177/tid=12196] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12196/stat : 12196 (java) S 12175 12177 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253316477 9855975424 76995 33554432000 1073741824 1073778376 140733947467296 140545307235880 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1788.97
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.3 s]
/proc/loadavg: 2.00 2.06 1.73 3/213 12328
/proc/meminfo: memFree=27584016/32873844 swapFree=7364/7364
[pid=12177] ppid=12175 vsize=9624976 CPUtime=1800.06 cores=1,3,5,7
/proc/12177/stat : 12177 (java) S 12175 12177 12001 0 -1 4202496 17632 0 1 0 179903 103 0 0 20 0 19 0 253316421 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140733947458432 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12177/statm: 2406244 77010 2283 9 0 2396937 0
[pid=12177/tid=12179] ppid=12175 vsize=9624976 CPUtime=1784.83 cores=1,3,5,7
/proc/12177/task/12179/stat : 12179 (java) R 12175 12177 12001 0 -1 4202560 2662 0 1 0 178451 32 0 0 20 0 19 0 253316422 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545491415328 140545364279779 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12180] ppid=12175 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/12177/task/12180/stat : 12180 (java) S 12175 12177 12001 0 -1 4202560 298 0 0 0 76 4 0 0 20 0 19 0 253316422 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545335225256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12181] ppid=12175 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/12177/task/12181/stat : 12181 (java) S 12175 12177 12001 0 -1 4202560 166 0 0 0 82 3 0 0 20 0 19 0 253316422 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545334172712 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12182] ppid=12175 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/12177/task/12182/stat : 12182 (java) S 12175 12177 12001 0 -1 4202560 234 0 0 0 71 3 0 0 20 0 19 0 253316422 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545333119656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12183] ppid=12175 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/12177/task/12183/stat : 12183 (java) S 12175 12177 12001 0 -1 4202560 136 0 0 0 82 3 0 0 20 0 19 0 253316422 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545332067112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12184] ppid=12175 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/12177/task/12184/stat : 12184 (java) S 12175 12177 12001 0 -1 4202560 207 0 0 0 80 5 0 0 20 0 19 0 253316422 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545331014056 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12185] ppid=12175 vsize=9624976 CPUtime=0.76 cores=1,3,5,7
/proc/12177/task/12185/stat : 12185 (java) S 12175 12177 12001 0 -1 4202560 124 0 0 0 73 3 0 0 20 0 19 0 253316422 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545329961512 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12177/tid=12186] ppid=12175 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/12177/task/12186/stat : 12186 (java) S 12175 12177 12001 0 -1 4202560 281 0 0 0 84 4 0 0 20 0 19 0 253316422 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545328908456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12177/tid=12187] ppid=12175 vsize=9624976 CPUtime=0.76 cores=1,3,5,7
/proc/12177/task/12187/stat : 12187 (java) S 12175 12177 12001 0 -1 4202560 199 0 0 0 72 4 0 0 20 0 19 0 253316422 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545327855912 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12188] ppid=12175 vsize=9624976 CPUtime=6.45 cores=1,3,5,7
/proc/12177/task/12188/stat : 12188 (java) S 12175 12177 12001 0 -1 4202560 156 0 0 0 642 3 0 0 20 0 19 0 253316423 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545315658600 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12189] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12189/stat : 12189 (java) S 12175 12177 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253316424 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545314604920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12190] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12190/stat : 12190 (java) S 12175 12177 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253316424 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545313551752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12191] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12191/stat : 12191 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316426 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545312500496 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12192] ppid=12175 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/12177/task/12192/stat : 12192 (java) S 12175 12177 12001 0 -1 4202560 8392 0 0 0 67 2 0 0 20 0 19 0 253316426 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545311447352 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12193] ppid=12175 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/12177/task/12193/stat : 12193 (java) S 12175 12177 12001 0 -1 4202560 3494 0 0 0 48 0 0 0 20 0 19 0 253316426 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545310394808 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12194] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12194/stat : 12194 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316426 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545309341944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12195] ppid=12175 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/12177/task/12195/stat : 12195 (java) S 12175 12177 12001 0 -1 4202560 103 0 0 0 39 40 0 0 20 0 19 0 253316426 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545308289608 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 6 0 0
[pid=12177/tid=12196] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12196/stat : 12196 (java) S 12175 12177 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253316477 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545307235880 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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+1793.3 s]
/proc/loadavg: 2.00 2.06 1.73 3/213 12328
/proc/meminfo: memFree=27584016/32873844 swapFree=7364/7364
[pid=12177] ppid=12175 vsize=9624976 CPUtime=1800.06 cores=1,3,5,7
/proc/12177/stat : 12177 (java) S 12175 12177 12001 0 -1 4202496 17632 0 1 0 179903 103 0 0 20 0 19 0 253316421 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140733947458432 251035418685 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12177/statm: 2406244 77010 2283 9 0 2396937 0
[pid=12177/tid=12179] ppid=12175 vsize=9624976 CPUtime=1784.83 cores=1,3,5,7
/proc/12177/task/12179/stat : 12179 (java) R 12175 12177 12001 0 -1 4202560 2662 0 1 0 178451 32 0 0 20 0 19 0 253316422 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545491415328 140545364279779 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12180] ppid=12175 vsize=9624976 CPUtime=0.8 cores=1,3,5,7
/proc/12177/task/12180/stat : 12180 (java) S 12175 12177 12001 0 -1 4202560 298 0 0 0 76 4 0 0 20 0 19 0 253316422 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545335225256 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12181] ppid=12175 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/12177/task/12181/stat : 12181 (java) S 12175 12177 12001 0 -1 4202560 166 0 0 0 82 3 0 0 20 0 19 0 253316422 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545334172712 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12182] ppid=12175 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/12177/task/12182/stat : 12182 (java) S 12175 12177 12001 0 -1 4202560 234 0 0 0 71 3 0 0 20 0 19 0 253316422 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545333119656 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12183] ppid=12175 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/12177/task/12183/stat : 12183 (java) S 12175 12177 12001 0 -1 4202560 136 0 0 0 82 3 0 0 20 0 19 0 253316422 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545332067112 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12184] ppid=12175 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/12177/task/12184/stat : 12184 (java) S 12175 12177 12001 0 -1 4202560 207 0 0 0 80 5 0 0 20 0 19 0 253316422 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545331014056 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12185] ppid=12175 vsize=9624976 CPUtime=0.76 cores=1,3,5,7
/proc/12177/task/12185/stat : 12185 (java) S 12175 12177 12001 0 -1 4202560 124 0 0 0 73 3 0 0 20 0 19 0 253316422 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545329961512 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12177/tid=12186] ppid=12175 vsize=9624976 CPUtime=0.88 cores=1,3,5,7
/proc/12177/task/12186/stat : 12186 (java) S 12175 12177 12001 0 -1 4202560 281 0 0 0 84 4 0 0 20 0 19 0 253316422 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545328908456 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12177/tid=12187] ppid=12175 vsize=9624976 CPUtime=0.76 cores=1,3,5,7
/proc/12177/task/12187/stat : 12187 (java) S 12175 12177 12001 0 -1 4202560 199 0 0 0 72 4 0 0 20 0 19 0 253316422 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545327855912 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12188] ppid=12175 vsize=9624976 CPUtime=6.45 cores=1,3,5,7
/proc/12177/task/12188/stat : 12188 (java) S 12175 12177 12001 0 -1 4202560 156 0 0 0 642 3 0 0 20 0 19 0 253316423 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545315658600 251035432873 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12189] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12189/stat : 12189 (java) S 12175 12177 12001 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253316424 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545314604920 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12190] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12190/stat : 12190 (java) S 12175 12177 12001 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253316424 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545313551752 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12191] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12191/stat : 12191 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316426 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545312500496 251035440928 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12177/tid=12192] ppid=12175 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/12177/task/12192/stat : 12192 (java) S 12175 12177 12001 0 -1 4202560 8392 0 0 0 67 2 0 0 20 0 19 0 253316426 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545311447352 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12193] ppid=12175 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/12177/task/12193/stat : 12193 (java) S 12175 12177 12001 0 -1 4202560 3494 0 0 0 48 0 0 0 20 0 19 0 253316426 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545310394808 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12177/tid=12194] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12194/stat : 12194 (java) S 12175 12177 12001 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253316426 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545309341944 251035431996 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12177/tid=12195] ppid=12175 vsize=9624976 CPUtime=0.79 cores=1,3,5,7
/proc/12177/task/12195/stat : 12195 (java) S 12175 12177 12001 0 -1 4202560 103 0 0 0 39 40 0 0 20 0 19 0 253316426 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545308289608 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 6 0 0
[pid=12177/tid=12196] ppid=12175 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/12177/task/12196/stat : 12196 (java) S 12175 12177 12001 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253316477 9855975424 77010 33554432000 1073741824 1073778376 140733947467296 140545307235880 251035432873 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9624976
Child status: 143
Real time (s): 1793.35
CPU time (s): 1800.09
CPU user time (s): 1798.88
CPU system time (s): 1.21181
CPU usage (%): 100.376
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.88
system time used= 1.21182
maximum resident set size= 308160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17664
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40893
involuntary context switches= 23433
runsolver used 8.13176 second user time and 13.9619 second system time
The end