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-3689697-1337892444/watcher-3689697-1337892444 -o /tmp/evaluation-result-3689697-1337892444/solver-3689697-1337892444 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689697-1337892444.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.09 2.07 2.08 3/192 4598
/proc/meminfo: memFree=28538612/32873852 swapFree=6848/6848
[pid=4598] ppid=4596 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/4598/stat : 4598 (java) D 4596 4598 32594 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 255370271 9515008 176 33554432000 1073741824 1073778376 140735067611616 140735067594344 273448518544 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/4598/statm: 2323 176 133 9 0 71 0
[startup+0.05764 s]
/proc/loadavg: 2.09 2.07 2.08 3/192 4598
/proc/meminfo: memFree=28538612/32873852 swapFree=6848/6848
[pid=4598] ppid=4596 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/4598/stat : 4598 (java) S 4596 4598 32594 0 -1 4202496 3077 0 1 0 2 1 0 0 20 0 13 0 255370271 9446973440 3774 33554432000 1073741824 1073778376 140735148284288 140735148275424 273451876413 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4598/statm: 2306390 3774 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560
[startup+0.100266 s]
/proc/loadavg: 2.09 2.07 2.08 3/192 4598
/proc/meminfo: memFree=28538612/32873852 swapFree=6848/6848
[pid=4598] ppid=4596 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/4598/stat : 4598 (java) S 4596 4598 32594 0 -1 4202496 4287 0 1 0 8 1 0 0 20 0 18 0 255370271 9787813888 5485 33554432000 1073741824 1073778376 140735148284288 140735148275424 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4598/statm: 2389603 5485 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.30024 s]
/proc/loadavg: 2.09 2.07 2.08 3/192 4598
/proc/meminfo: memFree=28538612/32873852 swapFree=6848/6848
[pid=4598] ppid=4596 vsize=9558412 CPUtime=0.56 cores=1,3,5,7
/proc/4598/stat : 4598 (java) S 4596 4598 32594 0 -1 4202496 7239 0 1 0 54 2 0 0 20 0 18 0 255370271 9787813888 10900 33554432000 1073741824 1073778376 140735148284288 140735148275424 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4598/statm: 2389603 10900 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9558412
[startup+0.700257 s]
/proc/loadavg: 2.09 2.07 2.08 3/192 4598
/proc/meminfo: memFree=28538612/32873852 swapFree=6848/6848
[pid=4598] ppid=4596 vsize=9624976 CPUtime=1.49 cores=1,3,5,7
/proc/4598/stat : 4598 (java) S 4596 4598 32594 0 -1 4202496 9894 0 1 0 144 5 0 0 20 0 19 0 255370271 9855975424 31734 33554432000 1073741824 1073778376 140735148284288 140735148275424 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4598/statm: 2406244 31734 2249 9 0 2396937 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9624976
[startup+1.50072 s]
/proc/loadavg: 2.09 2.07 2.08 3/211 4617
/proc/meminfo: memFree=28419820/32873852 swapFree=6848/6848
[pid=4598] ppid=4596 vsize=9624976 CPUtime=2.43 cores=1,3,5,7
/proc/4598/stat : 4598 (java) S 4596 4598 32594 0 -1 4202496 9897 0 1 0 238 5 0 0 20 0 19 0 255370271 9855975424 32248 33554432000 1073741824 1073778376 140735148284288 140735148275424 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4598/statm: 2406244 32248 2251 9 0 2396937 0
[pid=4598/tid=4600] ppid=4596 vsize=9624976 CPUtime=1.47 cores=1,3,5,7
/proc/4598/task/4600/stat : 4600 (java) R 4596 4598 32594 0 -1 4202560 2497 0 1 0 143 4 0 0 20 0 19 0 255370272 9855975424 32248 33554432000 1073741824 1073778376 140735148284288 140259507696120 140259354549936 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4601/stat : 4601 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 32248 33554432000 1073741824 1073778376 140735148284288 140259480148264 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4602] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4602/stat : 4602 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 32248 33554432000 1073741824 1073778376 140735148284288 140259479095464 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4603] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4603/stat : 4603 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 32248 33554432000 1073741824 1073778376 140735148284288 140259478043176 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4598/tid=4604] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4604/stat : 4604 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 32248 33554432000 1073741824 1073778376 140735148284288 140259476990376 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4605] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4605/stat : 4605 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 32248 33554432000 1073741824 1073778376 140735148284288 140259475938088 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4606] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4606/stat : 4606 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 32248 33554432000 1073741824 1073778376 140735148284288 140259474885288 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4607] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4607/stat : 4607 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 32248 33554432000 1073741824 1073778376 140735148284288 140259473833000 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4608] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4608/stat : 4608 (java) S 4596 4598 32594 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 32248 33554432000 1073741824 1073778376 140735148284288 140259343510440 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4609] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4609/stat : 4609 (java) S 4596 4598 32594 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255370274 9855975424 32248 33554432000 1073741824 1073778376 140735148284288 140258860562664 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4610] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4610/stat : 4610 (java) S 4596 4598 32594 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 255370275 9855975424 32248 33554432000 1073741824 1073778376 140735148284288 140258859508728 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4611] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4611/stat : 4611 (java) S 4596 4598 32594 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255370275 9855975424 32248 33554432000 1073741824 1073778376 140735148284288 140258858456328 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4612] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4612/stat : 4612 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370277 9855975424 32248 33554432000 1073741824 1073778376 140735148284288 140258857404816 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4613] ppid=4596 vsize=9624976 CPUtime=0.49 cores=1,3,5,7
/proc/4598/task/4613/stat : 4613 (java) S 4596 4598 32594 0 -1 4202560 3662 0 0 0 49 0 0 0 20 0 19 0 255370277 9855975424 32248 33554432000 1073741824 1073778376 140735148284288 140258856352440 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4614] ppid=4596 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/4598/task/4614/stat : 4614 (java) S 4596 4598 32594 0 -1 4202560 2538 0 0 0 44 0 0 0 20 0 19 0 255370277 9855975424 32248 33554432000 1073741824 1073778376 140735148284288 140258855299640 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4615] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4615/stat : 4615 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370277 9855975424 32248 33554432000 1073741824 1073778376 140735148284288 140258854247544 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4616] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4616/stat : 4616 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370277 9855975424 32248 33554432000 1073741824 1073778376 140735148284288 140258853194952 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4617] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4617/stat : 4617 (java) S 4596 4598 32594 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255370332 9855975424 32248 33554432000 1073741824 1073778376 140735148284288 140258852139944 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 9624976
[startup+3.10075 s]
/proc/loadavg: 2.09 2.07 2.08 3/211 4617
/proc/meminfo: memFree=28396796/32873852 swapFree=6848/6848
[pid=4598] ppid=4596 vsize=9624976 CPUtime=4.14 cores=1,3,5,7
/proc/4598/stat : 4598 (java) S 4596 4598 32594 0 -1 4202496 10118 0 1 0 408 6 0 0 20 0 19 0 255370271 9855975424 37417 33554432000 1073741824 1073778376 140735148284288 140735148275424 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4598/statm: 2406244 37417 2281 9 0 2396937 0
[pid=4598/tid=4600] ppid=4596 vsize=9624976 CPUtime=3.03 cores=1,3,5,7
/proc/4598/task/4600/stat : 4600 (java) R 4596 4598 32594 0 -1 4202560 2502 0 1 0 299 4 0 0 20 0 19 0 255370272 9855975424 37417 33554432000 1073741824 1073778376 140735148284288 140259507696208 140259355288452 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4601/stat : 4601 (java) S 4596 4598 32594 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 37417 33554432000 1073741824 1073778376 140735148284288 140259480148264 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4602] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4602/stat : 4602 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 37417 33554432000 1073741824 1073778376 140735148284288 140259479095464 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4603] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4603/stat : 4603 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 37417 33554432000 1073741824 1073778376 140735148284288 140259478043176 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4598/tid=4604] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4604/stat : 4604 (java) S 4596 4598 32594 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 37417 33554432000 1073741824 1073778376 140735148284288 140259476990376 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4605] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4605/stat : 4605 (java) S 4596 4598 32594 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 37417 33554432000 1073741824 1073778376 140735148284288 140259475938088 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4606] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4606/stat : 4606 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 37417 33554432000 1073741824 1073778376 140735148284288 140259474885288 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4607] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4607/stat : 4607 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 37417 33554432000 1073741824 1073778376 140735148284288 140259473833000 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4608] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4608/stat : 4608 (java) S 4596 4598 32594 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 37417 33554432000 1073741824 1073778376 140735148284288 140259343510440 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4609] ppid=4596 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/4598/task/4609/stat : 4609 (java) S 4596 4598 32594 0 -1 4202560 34 0 0 0 1 0 0 0 20 0 19 0 255370274 9855975424 37417 33554432000 1073741824 1073778376 140735148284288 140258860562664 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4610] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4610/stat : 4610 (java) S 4596 4598 32594 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255370275 9855975424 37417 33554432000 1073741824 1073778376 140735148284288 140258859508728 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4611] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4611/stat : 4611 (java) S 4596 4598 32594 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255370275 9855975424 37417 33554432000 1073741824 1073778376 140735148284288 140258858456328 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4612] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4612/stat : 4612 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370277 9855975424 37417 33554432000 1073741824 1073778376 140735148284288 140258857404816 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4613] ppid=4596 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/4598/task/4613/stat : 4613 (java) S 4596 4598 32594 0 -1 4202560 3819 0 0 0 56 0 0 0 20 0 19 0 255370277 9855975424 37417 33554432000 1073741824 1073778376 140735148284288 140258856352440 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4598/tid=4614] ppid=4596 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/4598/task/4614/stat : 4614 (java) S 4596 4598 32594 0 -1 4202560 2544 0 0 0 47 0 0 0 20 0 19 0 255370277 9855975424 37417 33554432000 1073741824 1073778376 140735148284288 140258855299640 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4615] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4615/stat : 4615 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370277 9855975424 37417 33554432000 1073741824 1073778376 140735148284288 140258854247544 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4616] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4616/stat : 4616 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370277 9855975424 37417 33554432000 1073741824 1073778376 140735148284288 140258853194952 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4617] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4617/stat : 4617 (java) S 4596 4598 32594 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255370332 9855975424 37417 33554432000 1073741824 1073778376 140735148284288 140258852139944 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 9624976
[startup+6.30068 s]
/proc/loadavg: 2.08 2.07 2.08 3/211 4617
/proc/meminfo: memFree=28390420/32873852 swapFree=6848/6848
[pid=4598] ppid=4596 vsize=9624976 CPUtime=7.36 cores=1,3,5,7
/proc/4598/stat : 4598 (java) S 4596 4598 32594 0 -1 4202496 10137 0 1 0 730 6 0 0 20 0 19 0 255370271 9855975424 38924 33554432000 1073741824 1073778376 140735148284288 140735148275424 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4598/statm: 2406244 38924 2281 9 0 2396937 0
[pid=4598/tid=4600] ppid=4596 vsize=9624976 CPUtime=6.17 cores=1,3,5,7
/proc/4598/task/4600/stat : 4600 (java) R 4596 4598 32594 0 -1 4202560 2504 0 1 0 613 4 0 0 20 0 19 0 255370272 9855975424 38924 33554432000 1073741824 1073778376 140735148284288 140259507695904 140259355251296 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4601/stat : 4601 (java) S 4596 4598 32594 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 38924 33554432000 1073741824 1073778376 140735148284288 140259480148264 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4602] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4602/stat : 4602 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 38924 33554432000 1073741824 1073778376 140735148284288 140259479095464 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4603] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4603/stat : 4603 (java) S 4596 4598 32594 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 38924 33554432000 1073741824 1073778376 140735148284288 140259478043176 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4604] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4604/stat : 4604 (java) S 4596 4598 32594 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 38924 33554432000 1073741824 1073778376 140735148284288 140259476990376 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4605] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4605/stat : 4605 (java) S 4596 4598 32594 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 38924 33554432000 1073741824 1073778376 140735148284288 140259475938088 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4606] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4606/stat : 4606 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 38924 33554432000 1073741824 1073778376 140735148284288 140259474885288 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4607] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4607/stat : 4607 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 38924 33554432000 1073741824 1073778376 140735148284288 140259473833000 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4608] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4608/stat : 4608 (java) S 4596 4598 32594 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255370273 9855975424 38924 33554432000 1073741824 1073778376 140735148284288 140259343510440 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4609] ppid=4596 vsize=9624976 CPUtime=0.06 cores=1,3,5,7
/proc/4598/task/4609/stat : 4609 (java) S 4596 4598 32594 0 -1 4202560 35 0 0 0 6 0 0 0 20 0 19 0 255370274 9855975424 38924 33554432000 1073741824 1073778376 140735148284288 140258860562664 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4610] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4610/stat : 4610 (java) S 4596 4598 32594 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255370275 9855975424 38924 33554432000 1073741824 1073778376 140735148284288 140258859508728 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4611] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4611/stat : 4611 (java) S 4596 4598 32594 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255370275 9855975424 38924 33554432000 1073741824 1073778376 140735148284288 140258858456328 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4612] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4612/stat : 4612 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370277 9855975424 38924 33554432000 1073741824 1073778376 140735148284288 140258857404816 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4613] ppid=4596 vsize=9624976 CPUtime=0.56 cores=1,3,5,7
/proc/4598/task/4613/stat : 4613 (java) S 4596 4598 32594 0 -1 4202560 3819 0 0 0 56 0 0 0 20 0 19 0 255370277 9855975424 38924 33554432000 1073741824 1073778376 140735148284288 140258856352440 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4598/tid=4614] ppid=4596 vsize=9624976 CPUtime=0.48 cores=1,3,5,7
/proc/4598/task/4614/stat : 4614 (java) S 4596 4598 32594 0 -1 4202560 2545 0 0 0 48 0 0 0 20 0 19 0 255370277 9855975424 38924 33554432000 1073741824 1073778376 140735148284288 140258855299640 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4615] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4615/stat : 4615 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370277 9855975424 38924 33554432000 1073741824 1073778376 140735148284288 140258854247544 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4616] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4616/stat : 4616 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370277 9855975424 38924 33554432000 1073741824 1073778376 140735148284288 140258853194952 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4617] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4617/stat : 4617 (java) S 4596 4598 32594 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255370332 9855975424 38924 33554432000 1073741824 1073778376 140735148284288 140258852139944 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.36
Current children cumulated vsize (KiB) 9624976
[startup+12.7006 s]
################
# More data... #
################
[pid=4598/tid=4606] ppid=4596 vsize=9624976 CPUtime=4.42 cores=1,3,5,7
/proc/4598/task/4606/stat : 4606 (java) S 4596 4598 32594 0 -1 4202560 1528 0 0 0 419 23 0 0 20 0 19 0 255370273 9855975424 173201 33554432000 1073741824 1073778376 140735148284288 140259474885288 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4607] ppid=4596 vsize=9624976 CPUtime=4.27 cores=1,3,5,7
/proc/4598/task/4607/stat : 4607 (java) S 4596 4598 32594 0 -1 4202560 1284 0 0 0 410 17 0 0 20 0 19 0 255370273 9855975424 173201 33554432000 1073741824 1073778376 140735148284288 140259473833000 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4608] ppid=4596 vsize=9624976 CPUtime=4.14 cores=1,3,5,7
/proc/4598/task/4608/stat : 4608 (java) S 4596 4598 32594 0 -1 4202560 1186 0 0 0 398 16 0 0 20 0 19 0 255370273 9855975424 173201 33554432000 1073741824 1073778376 140735148284288 140259343510440 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4609] ppid=4596 vsize=9624976 CPUtime=6.94 cores=1,3,5,7
/proc/4598/task/4609/stat : 4609 (java) S 4596 4598 32594 0 -1 4202560 834 0 0 0 688 6 0 0 20 0 19 0 255370274 9855975424 173201 33554432000 1073741824 1073778376 140735148284288 140258860562664 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4610] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4610/stat : 4610 (java) S 4596 4598 32594 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255370275 9855975424 173201 33554432000 1073741824 1073778376 140735148284288 140258859508728 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4611] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4611/stat : 4611 (java) S 4596 4598 32594 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255370275 9855975424 173201 33554432000 1073741824 1073778376 140735148284288 140258858456328 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4612] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4612/stat : 4612 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370277 9855975424 173201 33554432000 1073741824 1073778376 140735148284288 140258857404816 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4613] ppid=4596 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/4598/task/4613/stat : 4613 (java) S 4596 4598 32594 0 -1 4202560 3836 0 0 0 69 0 0 0 20 0 19 0 255370277 9855975424 173201 33554432000 1073741824 1073778376 140735148284288 140258856352440 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4614] ppid=4596 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/4598/task/4614/stat : 4614 (java) S 4596 4598 32594 0 -1 4202560 2561 0 0 0 52 0 0 0 20 0 19 0 255370277 9855975424 173201 33554432000 1073741824 1073778376 140735148284288 140258855299640 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4615] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4615/stat : 4615 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370277 9855975424 173201 33554432000 1073741824 1073778376 140735148284288 140258854247544 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4616] ppid=4596 vsize=9624976 CPUtime=0.68 cores=1,3,5,7
/proc/4598/task/4616/stat : 4616 (java) S 4596 4598 32594 0 -1 4202560 91 0 0 0 36 32 0 0 20 0 19 0 255370277 9855975424 173201 33554432000 1073741824 1073778376 140735148284288 140258853194952 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4617] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4617/stat : 4617 (java) S 4596 4598 32594 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255370332 9855975424 173201 33554432000 1073741824 1073778376 140735148284288 140258852139944 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1628.65
Current children cumulated vsize (KiB) 9624976
[startup+1662.3 s]
/proc/loadavg: 2.04 2.04 2.03 10/211 4714
/proc/meminfo: memFree=25747936/32873852 swapFree=6848/6848
[pid=4598] ppid=4596 vsize=9624976 CPUtime=1689.82 cores=1,3,5,7
/proc/4598/stat : 4598 (java) S 4596 4598 32594 0 -1 4202496 22373 0 1 0 168785 197 0 0 20 0 19 0 255370271 9855975424 181718 33554432000 1073741824 1073778376 140735148284288 140735148275424 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4598/statm: 2406244 181718 2282 9 0 2396937 0
[pid=4598/tid=4600] ppid=4596 vsize=9624976 CPUtime=1645.3 cores=1,3,5,7
/proc/4598/task/4600/stat : 4600 (java) R 4596 4598 32594 0 -1 4202560 2885 0 1 0 164499 31 0 0 20 0 19 0 255370272 9855975424 181718 33554432000 1073741824 1073778376 140735148284288 140259507695096 140259355234484 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=9624976 CPUtime=4.66 cores=1,3,5,7
/proc/4598/task/4601/stat : 4601 (java) S 4596 4598 32594 0 -1 4202560 1682 0 0 0 444 22 0 0 20 0 19 0 255370273 9855975424 181718 33554432000 1073741824 1073778376 140735148284288 140259480148264 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4602] ppid=4596 vsize=9624976 CPUtime=4.52 cores=1,3,5,7
/proc/4598/task/4602/stat : 4602 (java) S 4596 4598 32594 0 -1 4202560 1779 0 0 0 435 17 0 0 20 0 19 0 255370273 9855975424 181718 33554432000 1073741824 1073778376 140735148284288 140259479095464 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4603] ppid=4596 vsize=9624976 CPUtime=4.41 cores=1,3,5,7
/proc/4598/task/4603/stat : 4603 (java) S 4596 4598 32594 0 -1 4202560 1370 0 0 0 423 18 0 0 20 0 19 0 255370273 9855975424 181718 33554432000 1073741824 1073778376 140735148284288 140259478043176 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4604] ppid=4596 vsize=9624976 CPUtime=4.44 cores=1,3,5,7
/proc/4598/task/4604/stat : 4604 (java) S 4596 4598 32594 0 -1 4202560 944 0 0 0 426 18 0 0 20 0 19 0 255370273 9855975424 181718 33554432000 1073741824 1073778376 140735148284288 140259476990376 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4605] ppid=4596 vsize=9624976 CPUtime=4.32 cores=1,3,5,7
/proc/4598/task/4605/stat : 4605 (java) S 4596 4598 32594 0 -1 4202560 972 0 0 0 413 19 0 0 20 0 19 0 255370273 9855975424 181718 33554432000 1073741824 1073778376 140735148284288 140259475938088 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4598/tid=4606] ppid=4596 vsize=9624976 CPUtime=4.59 cores=1,3,5,7
/proc/4598/task/4606/stat : 4606 (java) S 4596 4598 32594 0 -1 4202560 1598 0 0 0 435 24 0 0 20 0 19 0 255370273 9855975424 181718 33554432000 1073741824 1073778376 140735148284288 140259474885288 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4607] ppid=4596 vsize=9624976 CPUtime=4.46 cores=1,3,5,7
/proc/4598/task/4607/stat : 4607 (java) S 4596 4598 32594 0 -1 4202560 1384 0 0 0 428 18 0 0 20 0 19 0 255370273 9855975424 181718 33554432000 1073741824 1073778376 140735148284288 140259473833000 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4608] ppid=4596 vsize=9624976 CPUtime=4.33 cores=1,3,5,7
/proc/4598/task/4608/stat : 4608 (java) S 4596 4598 32594 0 -1 4202560 1195 0 0 0 417 16 0 0 20 0 19 0 255370273 9855975424 181718 33554432000 1073741824 1073778376 140735148284288 140259343510440 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4609] ppid=4596 vsize=9624976 CPUtime=7.08 cores=1,3,5,7
/proc/4598/task/4609/stat : 4609 (java) S 4596 4598 32594 0 -1 4202560 886 0 0 0 701 7 0 0 20 0 19 0 255370274 9855975424 181718 33554432000 1073741824 1073778376 140735148284288 140258860562664 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4610] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4610/stat : 4610 (java) S 4596 4598 32594 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255370275 9855975424 181718 33554432000 1073741824 1073778376 140735148284288 140258859508728 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4611] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4611/stat : 4611 (java) S 4596 4598 32594 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255370275 9855975424 181718 33554432000 1073741824 1073778376 140735148284288 140258858456328 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4612] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4612/stat : 4612 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370277 9855975424 181718 33554432000 1073741824 1073778376 140735148284288 140258857404816 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4613] ppid=4596 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/4598/task/4613/stat : 4613 (java) S 4596 4598 32594 0 -1 4202560 3836 0 0 0 69 0 0 0 20 0 19 0 255370277 9855975424 181718 33554432000 1073741824 1073778376 140735148284288 140258856352440 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4614] ppid=4596 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/4598/task/4614/stat : 4614 (java) S 4596 4598 32594 0 -1 4202560 2561 0 0 0 52 0 0 0 20 0 19 0 255370277 9855975424 181718 33554432000 1073741824 1073778376 140735148284288 140258855299640 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4615] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4615/stat : 4615 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370277 9855975424 181718 33554432000 1073741824 1073778376 140735148284288 140258854247544 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4616] ppid=4596 vsize=9624976 CPUtime=0.71 cores=1,3,5,7
/proc/4598/task/4616/stat : 4616 (java) S 4596 4598 32594 0 -1 4202560 95 0 0 0 38 33 0 0 20 0 19 0 255370277 9855975424 181718 33554432000 1073741824 1073778376 140735148284288 140258853194952 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4617] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4617/stat : 4617 (java) S 4596 4598 32594 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255370332 9855975424 181718 33554432000 1073741824 1073778376 140735148284288 140258852139944 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1689.82
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.03 3/211 4715
/proc/meminfo: memFree=25776844/32873852 swapFree=6848/6848
[pid=4598] ppid=4596 vsize=9624976 CPUtime=1750.85 cores=1,3,5,7
/proc/4598/stat : 4598 (java) S 4596 4598 32594 0 -1 4202496 22406 0 1 0 174886 199 0 0 20 0 19 0 255370271 9855975424 172679 33554432000 1073741824 1073778376 140735148284288 140735148275424 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4598/statm: 2406244 172679 2282 9 0 2396937 0
[pid=4598/tid=4600] ppid=4596 vsize=9624976 CPUtime=1704.61 cores=1,3,5,7
/proc/4598/task/4600/stat : 4600 (java) R 4596 4598 32594 0 -1 4202560 2898 0 1 0 170430 31 0 0 20 0 19 0 255370272 9855975424 172679 33554432000 1073741824 1073778376 140735148284288 140259507694976 140259355366699 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=9624976 CPUtime=4.89 cores=1,3,5,7
/proc/4598/task/4601/stat : 4601 (java) S 4596 4598 32594 0 -1 4202560 1682 0 0 0 467 22 0 0 20 0 19 0 255370273 9855975424 172679 33554432000 1073741824 1073778376 140735148284288 140259480148264 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4602] ppid=4596 vsize=9624976 CPUtime=4.68 cores=1,3,5,7
/proc/4598/task/4602/stat : 4602 (java) S 4596 4598 32594 0 -1 4202560 1781 0 0 0 451 17 0 0 20 0 19 0 255370273 9855975424 172679 33554432000 1073741824 1073778376 140735148284288 140259479095464 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4603] ppid=4596 vsize=9624976 CPUtime=4.61 cores=1,3,5,7
/proc/4598/task/4603/stat : 4603 (java) S 4596 4598 32594 0 -1 4202560 1370 0 0 0 443 18 0 0 20 0 19 0 255370273 9855975424 172679 33554432000 1073741824 1073778376 140735148284288 140259478043176 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4604] ppid=4596 vsize=9624976 CPUtime=4.6 cores=1,3,5,7
/proc/4598/task/4604/stat : 4604 (java) S 4596 4598 32594 0 -1 4202560 944 0 0 0 442 18 0 0 20 0 19 0 255370273 9855975424 172679 33554432000 1073741824 1073778376 140735148284288 140259476990376 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4605] ppid=4596 vsize=9624976 CPUtime=4.46 cores=1,3,5,7
/proc/4598/task/4605/stat : 4605 (java) S 4596 4598 32594 0 -1 4202560 972 0 0 0 427 19 0 0 20 0 19 0 255370273 9855975424 172679 33554432000 1073741824 1073778376 140735148284288 140259475938088 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4606] ppid=4596 vsize=9624976 CPUtime=4.76 cores=1,3,5,7
/proc/4598/task/4606/stat : 4606 (java) S 4596 4598 32594 0 -1 4202560 1598 0 0 0 452 24 0 0 20 0 19 0 255370273 9855975424 172679 33554432000 1073741824 1073778376 140735148284288 140259474885288 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4598/tid=4607] ppid=4596 vsize=9624976 CPUtime=4.64 cores=1,3,5,7
/proc/4598/task/4607/stat : 4607 (java) S 4596 4598 32594 0 -1 4202560 1391 0 0 0 446 18 0 0 20 0 19 0 255370273 9855975424 172679 33554432000 1073741824 1073778376 140735148284288 140259473833000 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4598/tid=4608] ppid=4596 vsize=9624976 CPUtime=4.5 cores=1,3,5,7
/proc/4598/task/4608/stat : 4608 (java) S 4596 4598 32594 0 -1 4202560 1195 0 0 0 433 17 0 0 20 0 19 0 255370273 9855975424 172679 33554432000 1073741824 1073778376 140735148284288 140259343510440 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4609] ppid=4596 vsize=9624976 CPUtime=7.39 cores=1,3,5,7
/proc/4598/task/4609/stat : 4609 (java) S 4596 4598 32594 0 -1 4202560 893 0 0 0 732 7 0 0 20 0 19 0 255370274 9855975424 172679 33554432000 1073741824 1073778376 140735148284288 140258860562664 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4610] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4610/stat : 4610 (java) S 4596 4598 32594 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255370275 9855975424 172679 33554432000 1073741824 1073778376 140735148284288 140258859508728 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4611] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4611/stat : 4611 (java) S 4596 4598 32594 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255370275 9855975424 172679 33554432000 1073741824 1073778376 140735148284288 140258858456328 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4612] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4612/stat : 4612 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370277 9855975424 172679 33554432000 1073741824 1073778376 140735148284288 140258857404816 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4613] ppid=4596 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/4598/task/4613/stat : 4613 (java) S 4596 4598 32594 0 -1 4202560 3836 0 0 0 69 0 0 0 20 0 19 0 255370277 9855975424 172679 33554432000 1073741824 1073778376 140735148284288 140258856352440 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4614] ppid=4596 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/4598/task/4614/stat : 4614 (java) S 4596 4598 32594 0 -1 4202560 2561 0 0 0 52 0 0 0 20 0 19 0 255370277 9855975424 172679 33554432000 1073741824 1073778376 140735148284288 140258855299640 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4615] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4615/stat : 4615 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370277 9855975424 172679 33554432000 1073741824 1073778376 140735148284288 140258854247544 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4616] ppid=4596 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/4598/task/4616/stat : 4616 (java) S 4596 4598 32594 0 -1 4202560 99 0 0 0 40 34 0 0 20 0 19 0 255370277 9855975424 172679 33554432000 1073741824 1073778376 140735148284288 140258853194952 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4617] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4617/stat : 4617 (java) S 4596 4598 32594 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255370332 9855975424 172679 33554432000 1073741824 1073778376 140735148284288 140258852139944 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1750.85
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1770.8 s]
/proc/loadavg: 2.00 2.03 2.02 3/211 4715
/proc/meminfo: memFree=25761328/32873852 swapFree=6848/6848
[pid=4598] ppid=4596 vsize=9624976 CPUtime=1800.07 cores=1,3,5,7
/proc/4598/stat : 4598 (java) S 4596 4598 32594 0 -1 4202496 22968 0 1 0 179804 203 0 0 20 0 19 0 255370271 9855975424 176781 33554432000 1073741824 1073778376 140735148284288 140735148275424 273451876413 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4598/statm: 2406244 176781 2282 9 0 2396937 0
[pid=4598/tid=4600] ppid=4596 vsize=9624976 CPUtime=1752.87 cores=1,3,5,7
/proc/4598/task/4600/stat : 4600 (java) R 4596 4598 32594 0 -1 4202560 2904 0 1 0 175255 32 0 0 20 0 19 0 255370272 9855975424 176781 33554432000 1073741824 1073778376 140735148284288 140259507694976 140259355262554 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=9624976 CPUtime=5.01 cores=1,3,5,7
/proc/4598/task/4601/stat : 4601 (java) S 4596 4598 32594 0 -1 4202560 1878 0 0 0 478 23 0 0 20 0 19 0 255370273 9855975424 176781 33554432000 1073741824 1073778376 140735148284288 140259480148264 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4602] ppid=4596 vsize=9624976 CPUtime=4.85 cores=1,3,5,7
/proc/4598/task/4602/stat : 4602 (java) S 4596 4598 32594 0 -1 4202560 1867 0 0 0 467 18 0 0 20 0 19 0 255370273 9855975424 176781 33554432000 1073741824 1073778376 140735148284288 140259479095464 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4603] ppid=4596 vsize=9624976 CPUtime=4.74 cores=1,3,5,7
/proc/4598/task/4603/stat : 4603 (java) S 4596 4598 32594 0 -1 4202560 1372 0 0 0 456 18 0 0 20 0 19 0 255370273 9855975424 176781 33554432000 1073741824 1073778376 140735148284288 140259478043176 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4604] ppid=4596 vsize=9624976 CPUtime=4.68 cores=1,3,5,7
/proc/4598/task/4604/stat : 4604 (java) S 4596 4598 32594 0 -1 4202560 947 0 0 0 450 18 0 0 20 0 19 0 255370273 9855975424 176781 33554432000 1073741824 1073778376 140735148284288 140259476990376 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4598/tid=4605] ppid=4596 vsize=9624976 CPUtime=4.56 cores=1,3,5,7
/proc/4598/task/4605/stat : 4605 (java) S 4596 4598 32594 0 -1 4202560 980 0 0 0 436 20 0 0 20 0 19 0 255370273 9855975424 176781 33554432000 1073741824 1073778376 140735148284288 140259475938088 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4606] ppid=4596 vsize=9624976 CPUtime=4.86 cores=1,3,5,7
/proc/4598/task/4606/stat : 4606 (java) S 4596 4598 32594 0 -1 4202560 1728 0 0 0 462 24 0 0 20 0 19 0 255370273 9855975424 176781 33554432000 1073741824 1073778376 140735148284288 140259474885288 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4607] ppid=4596 vsize=9624976 CPUtime=4.76 cores=1,3,5,7
/proc/4598/task/4607/stat : 4607 (java) S 4596 4598 32594 0 -1 4202560 1394 0 0 0 458 18 0 0 20 0 19 0 255370273 9855975424 176781 33554432000 1073741824 1073778376 140735148284288 140259473833000 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4598/tid=4608] ppid=4596 vsize=9624976 CPUtime=4.61 cores=1,3,5,7
/proc/4598/task/4608/stat : 4608 (java) S 4596 4598 32594 0 -1 4202560 1288 0 0 0 444 17 0 0 20 0 19 0 255370273 9855975424 176781 33554432000 1073741824 1073778376 140735148284288 140259343510440 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4609] ppid=4596 vsize=9624976 CPUtime=7.39 cores=1,3,5,7
/proc/4598/task/4609/stat : 4609 (java) S 4596 4598 32594 0 -1 4202560 926 0 0 0 732 7 0 0 20 0 19 0 255370274 9855975424 176781 33554432000 1073741824 1073778376 140735148284288 140258860562664 273451890601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4610] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4610/stat : 4610 (java) S 4596 4598 32594 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255370275 9855975424 176781 33554432000 1073741824 1073778376 140735148284288 140258859508728 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4611] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4611/stat : 4611 (java) S 4596 4598 32594 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255370275 9855975424 176781 33554432000 1073741824 1073778376 140735148284288 140258858456328 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4612] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4612/stat : 4612 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370277 9855975424 176781 33554432000 1073741824 1073778376 140735148284288 140258857404816 273451898656 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4598/tid=4613] ppid=4596 vsize=9624976 CPUtime=0.69 cores=1,3,5,7
/proc/4598/task/4613/stat : 4613 (java) S 4596 4598 32594 0 -1 4202560 3836 0 0 0 69 0 0 0 20 0 19 0 255370277 9855975424 176781 33554432000 1073741824 1073778376 140735148284288 140258856352440 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4614] ppid=4596 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/4598/task/4614/stat : 4614 (java) S 4596 4598 32594 0 -1 4202560 2561 0 0 0 52 0 0 0 20 0 19 0 255370277 9855975424 176781 33554432000 1073741824 1073778376 140735148284288 140258855299640 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4615] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4615/stat : 4615 (java) S 4596 4598 32594 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255370277 9855975424 176781 33554432000 1073741824 1073778376 140735148284288 140258854247544 273451889724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4598/tid=4616] ppid=4596 vsize=9624976 CPUtime=0.77 cores=1,3,5,7
/proc/4598/task/4616/stat : 4616 (java) S 4596 4598 32594 0 -1 4202560 101 0 0 0 41 36 0 0 20 0 19 0 255370277 9855975424 176781 33554432000 1073741824 1073778376 140735148284288 140258853194952 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4598/tid=4617] ppid=4596 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/4598/task/4617/stat : 4617 (java) S 4596 4598 32594 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255370332 9855975424 176781 33554432000 1073741824 1073778376 140735148284288 140258852139944 273451890601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1770.88
CPU time (s): 1800.74
CPU user time (s): 1798.29
CPU system time (s): 2.45163
CPU usage (%): 101.686
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.29
system time used= 2.45163
maximum resident set size= 814104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23001
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49419
involuntary context switches= 52963
runsolver used 6.19006 second user time and 16.2345 second system time
The end