runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4250106-1500696349/watcher-4250106-1500696349 -o /tmp/evaluation-result-4250106-1500696349/solver-4250106-1500696349 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14658 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1343195637 HOME/instance-4250106-1500696349.xml
pid=18693
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 12.24 11.80 12.76 10/271 18696
/proc/meminfo: memFree=29532960/32770624 swapFree=5972/275092
[pid=18696] ppid=18693 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18696/stat : 18696 (xcsp3-exec) S 18693 18696 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4904396 9740288 346 33554432000 4194304 5098028 140725965260144 140725965258248 140710435959420 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 32043008 140725965264014 140725965264224 140725965264224 140725965266923 0
/proc/18696/statm: 2378 346 289 221 0 87 0
[startup+0.100104 s]
/proc/loadavg: 12.24 11.80 12.76 10/271 18696
/proc/meminfo: memFree=29532960/32770624 swapFree=5972/275092
[pid=18696] ppid=18693 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18696/stat : 18696 (xcsp3-exec) S 18693 18696 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4904396 9740288 346 33554432000 4194304 5098028 140725965260144 140725965258248 140710435959420 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 32043008 140725965264014 140725965264224 140725965264224 140725965266923 0
/proc/18696/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200355 s]
/proc/loadavg: 12.24 11.80 12.76 10/271 18696
/proc/meminfo: memFree=29532960/32770624 swapFree=5972/275092
[pid=18696] ppid=18693 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18696/stat : 18696 (xcsp3-exec) S 18693 18696 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4904396 9740288 346 33554432000 4194304 5098028 140725965260144 140725965258248 140710435959420 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 32043008 140725965264014 140725965264224 140725965264224 140725965266923 0
/proc/18696/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300255 s]
/proc/loadavg: 12.24 11.80 12.76 10/271 18696
/proc/meminfo: memFree=29532960/32770624 swapFree=5972/275092
[pid=18696] ppid=18693 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18696/stat : 18696 (xcsp3-exec) S 18693 18696 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4904396 9740288 346 33554432000 4194304 5098028 140725965260144 140725965258248 140710435959420 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 32043008 140725965264014 140725965264224 140725965264224 140725965266923 0
/proc/18696/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700265 s]
/proc/loadavg: 12.24 11.80 12.76 10/271 18696
/proc/meminfo: memFree=29532960/32770624 swapFree=5972/275092
[pid=18696] ppid=18693 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18696/stat : 18696 (xcsp3-exec) S 18693 18696 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4904396 9740288 346 33554432000 4194304 5098028 140725965260144 140725965258248 140710435959420 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 32043008 140725965264014 140725965264224 140725965264224 140725965266923 0
/proc/18696/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5016 s]
/proc/loadavg: 12.86 11.94 12.80 20/300 18725
/proc/meminfo: memFree=29423052/32770624 swapFree=5972/275124
[pid=18696] ppid=18693 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18696/stat : 18696 (xcsp3-exec) S 18693 18696 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4904396 9740288 346 33554432000 4194304 5098028 140725965260144 140725965258248 140710435959420 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 32043008 140725965264014 140725965264224 140725965264224 140725965266923 0
/proc/18696/statm: 2378 346 289 221 0 87 0
[pid=18697] ppid=18696 vsize=13801768 CPUtime=8.19 cores=1,3,5,7,9,11,13,15
/proc/18697/stat : 18697 (java) S 18696 18696 14626 0 -1 1077944320 16221 0 0 0 813 6 0 0 20 0 28 0 4904397 14133010432 32468 33554432000 4194304 4196468 140728274370608 140728274353152 140201530781431 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
/proc/18697/statm: 3450442 32468 3226 1 0 3437675 0
[pid=18697/tid=18698] ppid=18696 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18698/stat : 18698 (java) S 18696 18696 14626 0 -1 1077944384 6818 0 0 0 63 2 0 0 20 0 28 0 4904397 14133010432 32468 33554432000 4194304 4196468 140728274370608 140201535022208 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18700] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18700/stat : 18700 (java) S 18696 18696 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4904398 14133010432 32468 33554432000 4194304 4196468 140728274370608 140201491741712 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18701] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18701/stat : 18701 (java) S 18696 18696 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4904398 14133010432 32468 33554432000 4194304 4196468 140728274370608 140201128606864 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18702] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18702/stat : 18702 (java) S 18696 18696 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4904398 14133010432 32468 33554432000 4194304 4196468 140728274370608 140201127553808 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18703] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18703/stat : 18703 (java) S 18696 18696 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4904398 14133010432 32468 33554432000 4194304 4196468 140728274370608 140201126501264 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18704] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18704/stat : 18704 (java) S 18696 18696 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4904398 14133010432 32468 33554432000 4194304 4196468 140728274370608 140201125448208 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18705] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18705/stat : 18705 (java) S 18696 18696 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4904398 14133010432 32468 33554432000 4194304 4196468 140728274370608 140201124395664 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18706] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18706/stat : 18706 (java) S 18696 18696 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4904398 14133010432 32468 33554432000 4194304 4196468 140728274370608 140201123342608 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18707] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18707/stat : 18707 (java) S 18696 18696 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4904398 14133010432 32468 33554432000 4194304 4196468 140728274370608 140201122290064 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18708] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18708/stat : 18708 (java) S 18696 18696 14626 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4904400 14133010432 32468 33554432000 4194304 4196468 140728274370608 140200195566320 140201530792578 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18709] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18709/stat : 18709 (java) S 18696 18696 14626 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4904401 14133010432 32468 33554432000 4194304 4196468 140728274370608 140200194512544 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18710] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18710/stat : 18710 (java) S 18696 18696 14626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4904401 14133010432 32468 33554432000 4194304 4196468 140728274370608 140200193459440 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18711] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18711/stat : 18711 (java) S 18696 18696 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4904404 14133010432 32468 33554432000 4194304 4196468 140728274370608 140200192408016 140201530800027 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18712] ppid=18696 vsize=13801768 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18712/stat : 18712 (java) R 18696 18696 14626 0 -1 4202560 1958 0 0 0 86 0 0 0 20 0 28 0 4904404 14133010432 32468 33554432000 4194304 4196468 140728274370608 140200191340896 140201510019888 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18713] ppid=18696 vsize=13801768 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18713/stat : 18713 (java) R 18696 18696 14626 0 -1 4202560 2260 0 0 0 89 0 0 0 20 0 28 0 4904404 14133010432 32468 33554432000 4194304 4196468 140728274370608 140200190289696 140201510436640 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18714] ppid=18696 vsize=13801768 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18714/stat : 18714 (java) R 18696 18696 14626 0 -1 4202560 1406 0 0 0 97 0 0 0 20 0 28 0 4904405 14133010432 32468 33554432000 4194304 4196468 140728274370608 140200189235984 140201512325871 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18715] ppid=18696 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18715/stat : 18715 (java) S 18696 18696 14626 0 -1 1077944384 2115 0 0 0 62 1 0 0 20 0 28 0 4904405 14133010432 32468 33554432000 4194304 4196468 140728274370608 140200188196976 140201530792578 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18716] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18716/stat : 18716 (java) S 18696 18696 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4904405 14133010432 32468 33554432000 4194304 4196468 140728274370608 140200187145184 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18717] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18717/stat : 18717 (java) S 18696 18696 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4904405 14133010432 32468 33554432000 4194304 4196468 140728274370608 140200186092720 140201530792578 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18718] ppid=18696 vsize=13801768 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18718/stat : 18718 (java) R 18696 18696 14626 0 -1 4202560 60 0 0 0 59 0 0 0 20 0 28 0 4904465 14133010432 32468 33554432000 4194304 4196468 140728274370608 140200178077048 140201171999319 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18719] ppid=18696 vsize=13801768 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18719/stat : 18719 (java) R 18696 18696 14626 0 -1 4202560 42 0 0 0 55 0 0 0 20 0 28 0 4904465 14133010432 32468 33554432000 4194304 4196468 140728274370608 140200177024176 140201170642164 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18720] ppid=18696 vsize=13801768 CPUtime=0.56 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18720/stat : 18720 (java) R 18696 18696 14626 0 -1 1077944384 38 0 0 0 56 0 0 0 20 0 28 0 4904465 14133010432 32468 33554432000 4194304 4196468 140728274370608 140200175971208 140201530802621 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18721] ppid=18696 vsize=13801768 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18721/stat : 18721 (java) R 18696 18696 14626 0 -1 4202560 74 0 0 0 47 0 0 0 20 0 28 0 4904465 14133010432 32468 33554432000 4194304 4196468 140728274370608 140200174920280 140201170645278 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18722] ppid=18696 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18722/stat : 18722 (java) R 18696 18696 14626 0 -1 4202560 34 0 0 0 48 0 0 0 20 0 28 0 4904466 14133010432 32468 33554432000 4194304 4196468 140728274370608 140200173868904 140201170642350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18723] ppid=18696 vsize=13801768 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18723/stat : 18723 (java) R 18696 18696 14626 0 -1 4202560 30 0 0 0 45 0 0 0 20 0 28 0 4904466 14133010432 32468 33554432000 4194304 4196468 140728274370608 140200172817056 140201170889874 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18724] ppid=18696 vsize=13801768 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18724/stat : 18724 (java) R 18696 18696 14626 0 -1 4202560 39 0 0 0 52 0 0 0 20 0 28 0 4904466 14133010432 32468 33554432000 4194304 4196468 140728274370608 140200171761600 140201170642151 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18725] ppid=18696 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18725/stat : 18725 (java) R 18696 18696 14626 0 -1 4202560 31 0 0 0 48 0 0 0 20 0 28 0 4904466 14133010432 32468 33554432000 4194304 4196468 140728274370608 140200170711800 140201170642820 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
Current children cumulated CPU time (s) 8.19
Current children cumulated vsize (KiB) 13811280
[startup+3.10179 s]
/proc/loadavg: 12.86 11.94 12.80 20/300 18725
/proc/meminfo: memFree=29394512/32770624 swapFree=5972/275124
[pid=18696] ppid=18693 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18696/stat : 18696 (xcsp3-exec) S 18693 18696 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4904396 9740288 346 33554432000 4194304 5098028 140725965260144 140725965258248 140710435959420 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 32043008 140725965264014 140725965264224 140725965264224 140725965266923 0
/proc/18696/statm: 2378 346 289 221 0 87 0
[pid=18697] ppid=18696 vsize=13801768 CPUtime=20.8 cores=1,3,5,7,9,11,13,15
/proc/18697/stat : 18697 (java) S 18696 18696 14626 0 -1 1077944320 26859 0 0 0 2069 11 0 0 20 0 28 0 4904397 14133010432 43576 33554432000 4194304 4196468 140728274370608 140728274353152 140201530781431 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
/proc/18697/statm: 3450442 43576 3251 1 0 3437675 0
[pid=18697/tid=18698] ppid=18696 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18698/stat : 18698 (java) S 18696 18696 14626 0 -1 1077944384 6818 0 0 0 63 2 0 0 20 0 28 0 4904397 14133010432 43576 33554432000 4194304 4196468 140728274370608 140201535022208 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18700] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18700/stat : 18700 (java) S 18696 18696 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4904398 14133010432 43576 33554432000 4194304 4196468 140728274370608 140201491741712 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18701] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18701/stat : 18701 (java) S 18696 18696 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4904398 14133010432 43576 33554432000 4194304 4196468 140728274370608 140201128606864 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18702] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18702/stat : 18702 (java) S 18696 18696 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4904398 14133010432 43576 33554432000 4194304 4196468 140728274370608 140201127553808 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18703] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18703/stat : 18703 (java) S 18696 18696 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4904398 14133010432 43576 33554432000 4194304 4196468 140728274370608 140201126501264 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18704] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18704/stat : 18704 (java) S 18696 18696 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4904398 14133010432 43576 33554432000 4194304 4196468 140728274370608 140201125448208 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18705] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18705/stat : 18705 (java) S 18696 18696 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4904398 14133010432 43576 33554432000 4194304 4196468 140728274370608 140201124395664 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18706] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18706/stat : 18706 (java) S 18696 18696 14626 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4904398 14133010432 43576 33554432000 4194304 4196468 140728274370608 140201123342608 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18707] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18707/stat : 18707 (java) S 18696 18696 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4904398 14133010432 43576 33554432000 4194304 4196468 140728274370608 140201122290064 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18708] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18708/stat : 18708 (java) S 18696 18696 14626 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4904400 14133010432 43576 33554432000 4194304 4196468 140728274370608 140200195566320 140201530792578 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18709] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18709/stat : 18709 (java) S 18696 18696 14626 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4904401 14133010432 43576 33554432000 4194304 4196468 140728274370608 140200194512544 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18710] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18710/stat : 18710 (java) S 18696 18696 14626 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4904401 14133010432 43576 33554432000 4194304 4196468 140728274370608 140200193459440 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18711] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18711/stat : 18711 (java) S 18696 18696 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4904404 14133010432 43576 33554432000 4194304 4196468 140728274370608 140200192408016 140201530800027 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18712] ppid=18696 vsize=13801768 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18712/stat : 18712 (java) R 18696 18696 14626 0 -1 4202560 4995 0 0 0 190 0 0 0 20 0 28 0 4904404 14133010432 43576 33554432000 4194304 4196468 140728274370608 140200191351488 140201511961098 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18713] ppid=18696 vsize=13801768 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18713/stat : 18713 (java) R 18696 18696 14626 0 -1 4202560 4997 0 0 0 195 1 0 0 20 0 28 0 4904404 14133010432 43576 33554432000 4194304 4196468 140728274370608 140200190295680 140201510468206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18714] ppid=18696 vsize=13801768 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18714/stat : 18714 (java) R 18696 18696 14626 0 -1 4202560 4565 0 0 0 206 1 0 0 20 0 28 0 4904405 14133010432 43576 33554432000 4194304 4196468 140728274370608 140200189230928 140201530795335 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18715] ppid=18696 vsize=13801768 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18715/stat : 18715 (java) S 18696 18696 14626 0 -1 1077944384 2682 0 0 0 77 1 0 0 20 0 28 0 4904405 14133010432 43576 33554432000 4194304 4196468 140728274370608 140200188196976 140201530792578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18716] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18716/stat : 18716 (java) S 18696 18696 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4904405 14133010432 43576 33554432000 4194304 4196468 140728274370608 140200187145184 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18717] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18717/stat : 18717 (java) S 18696 18696 14626 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4904405 14133010432 43576 33554432000 4194304 4196468 140728274370608 140200186092720 140201530792578 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 12 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18718] ppid=18696 vsize=13801768 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18718/stat : 18718 (java) R 18696 18696 14626 0 -1 4202560 171 0 0 0 170 0 0 0 20 0 28 0 4904465 14133010432 43576 33554432000 4194304 4196468 140728274370608 140200178077344 140201172733912 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18719] ppid=18696 vsize=13801768 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18719/stat : 18719 (java) R 18696 18696 14626 0 -1 4202560 152 0 0 0 169 0 0 0 20 0 28 0 4904465 14133010432 43576 33554432000 4194304 4196468 140728274370608 140200177025360 140201172732934 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18720] ppid=18696 vsize=13801768 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18720/stat : 18720 (java) R 18696 18696 14626 0 -1 4202560 164 0 0 0 174 0 0 0 20 0 28 0 4904465 14133010432 43576 33554432000 4194304 4196468 140728274370608 140200175972816 140201172732960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18721] ppid=18696 vsize=13801768 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18721/stat : 18721 (java) R 18696 18696 14626 0 -1 4202560 330 0 0 0 158 1 0 0 20 0 28 0 4904465 14133010432 43576 33554432000 4194304 4196468 140728274370608 140200174920536 140201172893959 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18722] ppid=18696 vsize=13801768 CPUtime=1.54 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18722/stat : 18722 (java) R 18696 18696 14626 0 -1 4202560 172 0 0 0 154 0 0 0 20 0 28 0 4904466 14133010432 43576 33554432000 4194304 4196468 140728274370608 140200173866840 140201171674334 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18723] ppid=18696 vsize=13801768 CPUtime=1.79 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18723/stat : 18723 (java) R 18696 18696 14626 0 -1 4202560 175 0 0 0 179 0 0 0 20 0 28 0 4904466 14133010432 43576 33554432000 4194304 4196468 140728274370608 140200172814536 140201171742342 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18724] ppid=18696 vsize=13801768 CPUtime=1.66 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18724/stat : 18724 (java) R 18696 18696 14626 0 -1 4202560 122 0 0 0 166 0 0 0 20 0 28 0 4904466 14133010432 43576 33554432000 4194304 4196468 140728274370608 140200171762536 140201172052069 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18725] ppid=18696 vsize=13801768 CPUtime=1.61 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18725/stat : 18725 (java) R 18696 18696 14626 0 -1 4202560 170 0 0 0 161 0 0 0 20 0 28 0 4904466 14133010432 43576 33554432000 4194304 4196468 140728274370608 140200170709816 140201171674169 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
Current children cumulated CPU time (s) 20.8
Current children cumulated vsize (KiB) 13811280
[startup+6.30181 s]
/proc/loadavg: 12.86 11.94 12.80 17/300 18725
/proc/meminfo: memFree=29315248/32770624 swapFree=5972/275136
################
# More data... #
################
[pid=18697/tid=18724] ppid=18696 vsize=13801768 CPUtime=219.75 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18724/stat : 18724 (java) R 18696 18696 14626 0 -1 4202560 569 0 0 0 21975 0 0 0 20 0 28 0 4904466 14133010432 51601 33554432000 4194304 4196468 140728274370608 140200171762168 140201171742110 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18725] ppid=18696 vsize=13801768 CPUtime=219.69 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18725/stat : 18725 (java) R 18696 18696 14626 0 -1 4202560 937 0 0 0 21969 0 0 0 20 0 28 0 4904466 14133010432 51601 33554432000 4194304 4196468 140728274370608 140200170709608 140201167022844 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
Current children cumulated CPU time (s) 1765.22
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 16.43 14.51 13.66 17/301 18833
/proc/meminfo: memFree=30805760/32770624 swapFree=5972/275504
[pid=18696] ppid=18693 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18696/stat : 18696 (xcsp3-exec) S 18693 18696 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4904396 9740288 346 33554432000 4194304 5098028 140725965260144 140725965258248 140710435959420 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 32043008 140725965264014 140725965264224 140725965264224 140725965266923 0
/proc/18696/statm: 2378 346 289 221 0 87 0
[pid=18697] ppid=18696 vsize=13801768 CPUtime=2241.94 cores=1,3,5,7,9,11,13,15
/proc/18697/stat : 18697 (java) S 18696 18696 14626 0 -1 1077944320 58033 0 0 0 224110 84 0 0 20 0 28 0 4904397 14133010432 48690 33554432000 4194304 4196468 140728274370608 140728274353152 140201530781431 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
/proc/18697/statm: 3450442 48690 3281 1 0 3437675 0
[pid=18697/tid=18698] ppid=18696 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18698/stat : 18698 (java) S 18696 18696 14626 0 -1 1077944384 6818 0 0 0 63 2 0 0 20 0 28 0 4904397 14133010432 48690 33554432000 4194304 4196468 140728274370608 140201535022208 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18700] ppid=18696 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18700/stat : 18700 (java) S 18696 18696 14626 0 -1 1077944384 421 0 0 0 16 5 0 0 20 0 28 0 4904398 14133010432 48690 33554432000 4194304 4196468 140728274370608 140201491741712 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18701] ppid=18696 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18701/stat : 18701 (java) S 18696 18696 14626 0 -1 1077944384 614 0 0 0 16 6 0 0 20 0 28 0 4904398 14133010432 48690 33554432000 4194304 4196468 140728274370608 140201128606864 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18702] ppid=18696 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18702/stat : 18702 (java) S 18696 18696 14626 0 -1 1077944384 1199 0 0 0 15 6 0 0 20 0 28 0 4904398 14133010432 48690 33554432000 4194304 4196468 140728274370608 140201127553808 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18703] ppid=18696 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18703/stat : 18703 (java) S 18696 18696 14626 0 -1 1077944384 489 0 0 0 15 5 0 0 20 0 28 0 4904398 14133010432 48690 33554432000 4194304 4196468 140728274370608 140201126501264 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18704] ppid=18696 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18704/stat : 18704 (java) S 18696 18696 14626 0 -1 1077944384 382 0 0 0 14 6 0 0 20 0 28 0 4904398 14133010432 48690 33554432000 4194304 4196468 140728274370608 140201125448208 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18705] ppid=18696 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18705/stat : 18705 (java) S 18696 18696 14626 0 -1 1077944384 2056 0 0 0 17 5 0 0 20 0 28 0 4904398 14133010432 48690 33554432000 4194304 4196468 140728274370608 140201124395664 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18706] ppid=18696 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18706/stat : 18706 (java) S 18696 18696 14626 0 -1 1077944384 1441 0 0 0 17 5 0 0 20 0 28 0 4904398 14133010432 48690 33554432000 4194304 4196468 140728274370608 140201123342608 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18707] ppid=18696 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18707/stat : 18707 (java) S 18696 18696 14626 0 -1 1077944384 1289 0 0 0 17 6 0 0 20 0 28 0 4904398 14133010432 48690 33554432000 4194304 4196468 140728274370608 140201122290064 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18708] ppid=18696 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18708/stat : 18708 (java) S 18696 18696 14626 0 -1 1077944384 1887 0 0 0 10 8 0 0 20 0 28 0 4904400 14133010432 48690 33554432000 4194304 4196468 140728274370608 140200195566320 140201530792578 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18709] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18709/stat : 18709 (java) S 18696 18696 14626 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4904401 14133010432 48690 33554432000 4194304 4196468 140728274370608 140200194512544 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18710] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18710/stat : 18710 (java) S 18696 18696 14626 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4904401 14133010432 48690 33554432000 4194304 4196468 140728274370608 140200193459440 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18711] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18711/stat : 18711 (java) S 18696 18696 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4904404 14133010432 48690 33554432000 4194304 4196468 140728274370608 140200192408016 140201530800027 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18712] ppid=18696 vsize=13801768 CPUtime=2.31 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18712/stat : 18712 (java) S 18696 18696 14626 0 -1 1077944384 7295 0 0 0 230 1 0 0 20 0 28 0 4904404 14133010432 48690 33554432000 4194304 4196468 140728274370608 140200191355120 140201530792578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18713] ppid=18696 vsize=13801768 CPUtime=2.42 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18713/stat : 18713 (java) S 18696 18696 14626 0 -1 1077944384 8400 0 0 0 241 1 0 0 20 0 28 0 4904404 14133010432 48690 33554432000 4194304 4196468 140728274370608 140200190302576 140201530792578 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18714] ppid=18696 vsize=13801768 CPUtime=2.63 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18714/stat : 18714 (java) S 18696 18696 14626 0 -1 1077944384 8985 0 0 0 262 1 0 0 20 0 28 0 4904405 14133010432 48690 33554432000 4194304 4196468 140728274370608 140200189249520 140201530792578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18715] ppid=18696 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18715/stat : 18715 (java) S 18696 18696 14626 0 -1 1077944384 5900 0 0 0 86 1 0 0 20 0 28 0 4904405 14133010432 48690 33554432000 4194304 4196468 140728274370608 140200188196976 140201530792578 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 12 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18716] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18716/stat : 18716 (java) S 18696 18696 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4904405 14133010432 48690 33554432000 4194304 4196468 140728274370608 140200187145184 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18717] ppid=18696 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18717/stat : 18717 (java) S 18696 18696 14626 0 -1 1077944384 727 0 0 0 9 13 0 0 20 0 28 0 4904405 14133010432 48690 33554432000 4194304 4196468 140728274370608 140200186092720 140201530792578 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 12 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18718] ppid=18696 vsize=13801768 CPUtime=278.26 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18718/stat : 18718 (java) R 18696 18696 14626 0 -1 4202560 1114 0 0 0 27825 1 0 0 20 0 28 0 4904465 14133010432 48690 33554432000 4194304 4196468 140728274370608 140200178076480 140201172053006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18719] ppid=18696 vsize=13801768 CPUtime=278.46 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18719/stat : 18719 (java) R 18696 18696 14626 0 -1 4202560 692 0 0 0 27845 1 0 0 20 0 28 0 4904465 14133010432 48690 33554432000 4194304 4196468 140728274370608 140200177025816 140201172734124 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18720] ppid=18696 vsize=13801768 CPUtime=279.48 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18720/stat : 18720 (java) R 18696 18696 14626 0 -1 4202560 2499 0 0 0 27947 1 0 0 20 0 28 0 4904465 14133010432 48690 33554432000 4194304 4196468 140728274370608 140200175975008 140201171884692 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18721] ppid=18696 vsize=13801768 CPUtime=278.75 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18721/stat : 18721 (java) R 18696 18696 14626 0 -1 4202560 1446 0 0 0 27872 3 0 0 20 0 28 0 4904465 14133010432 48690 33554432000 4194304 4196468 140728274370608 140200174919624 140201171885235 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18722] ppid=18696 vsize=13801768 CPUtime=277.9 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18722/stat : 18722 (java) R 18696 18696 14626 0 -1 4202560 947 0 0 0 27789 1 0 0 20 0 28 0 4904466 14133010432 48690 33554432000 4194304 4196468 140728274370608 140200173866600 140201172052212 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18723] ppid=18696 vsize=13801768 CPUtime=279.54 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18723/stat : 18723 (java) R 18696 18696 14626 0 -1 4202560 448 0 0 0 27954 0 0 0 20 0 28 0 4904466 14133010432 48690 33554432000 4194304 4196468 140728274370608 140200172814200 140201172310834 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18724] ppid=18696 vsize=13801768 CPUtime=278.9 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18724/stat : 18724 (java) R 18696 18696 14626 0 -1 4202560 637 0 0 0 27890 0 0 0 20 0 28 0 4904466 14133010432 48690 33554432000 4194304 4196468 140728274370608 140200171762120 140201172310843 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18725] ppid=18696 vsize=13801768 CPUtime=279.39 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18725/stat : 18725 (java) R 18696 18696 14626 0 -1 4202560 1000 0 0 0 27939 0 0 0 20 0 28 0 4904466 14133010432 48690 33554432000 4194304 4196468 140728274370608 140200170709720 140201173351251 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
Current children cumulated CPU time (s) 2241.94
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.202 s]
/proc/loadavg: 16.31 14.61 13.71 17/301 18833
/proc/meminfo: memFree=30258272/32770624 swapFree=5972/275520
[pid=18696] ppid=18693 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18696/stat : 18696 (xcsp3-exec) S 18693 18696 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4904396 9740288 346 33554432000 4194304 5098028 140725965260144 140725965258248 140710435959420 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 32043008 140725965264014 140725965264224 140725965264224 140725965266923 0
/proc/18696/statm: 2378 346 289 221 0 87 0
[pid=18697] ppid=18696 vsize=13801768 CPUtime=2400.27 cores=1,3,5,7,9,11,13,15
/proc/18697/stat : 18697 (java) S 18696 18696 14626 0 -1 1077944320 58083 0 0 0 239940 87 0 0 20 0 28 0 4904397 14133010432 48688 33554432000 4194304 4196468 140728274370608 140728274353152 140201530781431 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
/proc/18697/statm: 3450442 48688 3281 1 0 3437675 0
[pid=18697/tid=18698] ppid=18696 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18698/stat : 18698 (java) S 18696 18696 14626 0 -1 1077944384 6818 0 0 0 63 2 0 0 20 0 28 0 4904397 14133010432 48688 33554432000 4194304 4196468 140728274370608 140201535022208 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18700] ppid=18696 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18700/stat : 18700 (java) S 18696 18696 14626 0 -1 1077944384 431 0 0 0 17 5 0 0 20 0 28 0 4904398 14133010432 48688 33554432000 4194304 4196468 140728274370608 140201491741712 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18701] ppid=18696 vsize=13801768 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18701/stat : 18701 (java) S 18696 18696 14626 0 -1 1077944384 620 0 0 0 17 7 0 0 20 0 28 0 4904398 14133010432 48688 33554432000 4194304 4196468 140728274370608 140201128606864 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18702] ppid=18696 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18702/stat : 18702 (java) S 18696 18696 14626 0 -1 1077944384 1204 0 0 0 16 6 0 0 20 0 28 0 4904398 14133010432 48688 33554432000 4194304 4196468 140728274370608 140201127553808 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18703] ppid=18696 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18703/stat : 18703 (java) S 18696 18696 14626 0 -1 1077944384 498 0 0 0 16 5 0 0 20 0 28 0 4904398 14133010432 48688 33554432000 4194304 4196468 140728274370608 140201126501264 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18704] ppid=18696 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18704/stat : 18704 (java) S 18696 18696 14626 0 -1 1077944384 385 0 0 0 15 6 0 0 20 0 28 0 4904398 14133010432 48688 33554432000 4194304 4196468 140728274370608 140201125448208 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18705] ppid=18696 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18705/stat : 18705 (java) S 18696 18696 14626 0 -1 1077944384 2059 0 0 0 18 5 0 0 20 0 28 0 4904398 14133010432 48688 33554432000 4194304 4196468 140728274370608 140201124395664 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18706] ppid=18696 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18706/stat : 18706 (java) S 18696 18696 14626 0 -1 1077944384 1444 0 0 0 18 5 0 0 20 0 28 0 4904398 14133010432 48688 33554432000 4194304 4196468 140728274370608 140201123342608 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18707] ppid=18696 vsize=13801768 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18707/stat : 18707 (java) S 18696 18696 14626 0 -1 1077944384 1294 0 0 0 18 6 0 0 20 0 28 0 4904398 14133010432 48688 33554432000 4194304 4196468 140728274370608 140201122290064 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18708] ppid=18696 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18708/stat : 18708 (java) S 18696 18696 14626 0 -1 1077944384 1887 0 0 0 11 9 0 0 20 0 28 0 4904400 14133010432 48688 33554432000 4194304 4196468 140728274370608 140200195566320 140201530792578 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18709] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18709/stat : 18709 (java) S 18696 18696 14626 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 4904401 14133010432 48688 33554432000 4194304 4196468 140728274370608 140200194512544 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18710] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18710/stat : 18710 (java) S 18696 18696 14626 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 4904401 14133010432 48688 33554432000 4194304 4196468 140728274370608 140200193459440 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18711] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18711/stat : 18711 (java) S 18696 18696 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4904404 14133010432 48688 33554432000 4194304 4196468 140728274370608 140200192408016 140201530800027 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18712] ppid=18696 vsize=13801768 CPUtime=2.31 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18712/stat : 18712 (java) S 18696 18696 14626 0 -1 1077944384 7295 0 0 0 230 1 0 0 20 0 28 0 4904404 14133010432 48688 33554432000 4194304 4196468 140728274370608 140200191355120 140201530792578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18713] ppid=18696 vsize=13801768 CPUtime=2.42 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18713/stat : 18713 (java) S 18696 18696 14626 0 -1 1077944384 8400 0 0 0 241 1 0 0 20 0 28 0 4904404 14133010432 48688 33554432000 4194304 4196468 140728274370608 140200190302576 140201530792578 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18714] ppid=18696 vsize=13801768 CPUtime=2.63 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18714/stat : 18714 (java) S 18696 18696 14626 0 -1 1077944384 8985 0 0 0 262 1 0 0 20 0 28 0 4904405 14133010432 48688 33554432000 4194304 4196468 140728274370608 140200189249520 140201530792578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18715] ppid=18696 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18715/stat : 18715 (java) S 18696 18696 14626 0 -1 1077944384 5900 0 0 0 86 1 0 0 20 0 28 0 4904405 14133010432 48688 33554432000 4194304 4196468 140728274370608 140200188196976 140201530792578 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 12 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18716] ppid=18696 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18716/stat : 18716 (java) S 18696 18696 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4904405 14133010432 48688 33554432000 4194304 4196468 140728274370608 140200187145184 140201530791637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18717] ppid=18696 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18717/stat : 18717 (java) S 18696 18696 14626 0 -1 1077944384 727 0 0 0 9 14 0 0 20 0 28 0 4904405 14133010432 48688 33554432000 4194304 4196468 140728274370608 140200186092720 140201530792578 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 12 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18718] ppid=18696 vsize=13801768 CPUtime=298.08 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18718/stat : 18718 (java) R 18696 18696 14626 0 -1 4202560 1115 0 0 0 29807 1 0 0 20 0 28 0 4904465 14133010432 48688 33554432000 4194304 4196468 140728274370608 140200178076792 140201172309791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18719] ppid=18696 vsize=13801768 CPUtime=297.97 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18719/stat : 18719 (java) R 18696 18696 14626 0 -1 4202560 692 0 0 0 29796 1 0 0 20 0 28 0 4904465 14133010432 48688 33554432000 4194304 4196468 140728274370608 140200177025256 140201171741861 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18720] ppid=18696 vsize=13801768 CPUtime=299.34 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18720/stat : 18720 (java) R 18696 18696 14626 0 -1 4202560 2502 0 0 0 29933 1 0 0 20 0 28 0 4904465 14133010432 48688 33554432000 4194304 4196468 140728274370608 140200175975008 140201171674692 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18721] ppid=18696 vsize=13801768 CPUtime=298.6 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18721/stat : 18721 (java) R 18696 18696 14626 0 -1 4202560 1446 0 0 0 29857 3 0 0 20 0 28 0 4904465 14133010432 48688 33554432000 4194304 4196468 140728274370608 140200174919800 140201171742206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18722] ppid=18696 vsize=13801768 CPUtime=297.76 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18722/stat : 18722 (java) R 18696 18696 14626 0 -1 4202560 947 0 0 0 29775 1 0 0 20 0 28 0 4904466 14133010432 48688 33554432000 4194304 4196468 140728274370608 140200173866744 140201172732969 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18723] ppid=18696 vsize=13801768 CPUtime=299.37 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18723/stat : 18723 (java) R 18696 18696 14626 0 -1 4202560 449 0 0 0 29937 0 0 0 20 0 28 0 4904466 14133010432 48688 33554432000 4194304 4196468 140728274370608 140200172813904 140201171674130 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18724] ppid=18696 vsize=13801768 CPUtime=298.55 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18724/stat : 18724 (java) R 18696 18696 14626 0 -1 4202560 638 0 0 0 29855 0 0 0 20 0 28 0 4904466 14133010432 48688 33554432000 4194304 4196468 140728274370608 140200171762680 140201171742220 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
[pid=18697/tid=18725] ppid=18696 vsize=13801768 CPUtime=299.23 cores=1,3,5,7,9,11,13,15
/proc/18697/task/18725/stat : 18725 (java) R 18696 18696 14626 0 -1 4202560 1000 0 0 0 29923 0 0 0 20 0 28 0 4904466 14133010432 48688 33554432000 4194304 4196468 140728274370608 140200170709504 140201172310711 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30179328 140728274371772 140728274371948 140728274371948 140728274374607 0
Current children cumulated CPU time (s) 2400.27
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18697 sig 9
??? kill 18696 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18696 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=795
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2385
# CPU time returned by wait4() is 0.00318
# while last known CPU time is 2400.27
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.213
CPU time (s): 2400.27
CPU user time (s): 2399.4
CPU system time (s): 0.87
CPU usage (%): 794.232
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000795
system time used= 0.002385
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.82836 second user time and 5.04577 second system time
The end