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-4247694-1500690815/watcher-4247694-1500690815 -o /tmp/evaluation-result-4247694-1500690815/solver-4247694-1500690815 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15436 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 343709586 HOME/instance-4247694-1500690815.xml
pid=8779
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: 15.95 14.01 9.94 10/272 8782
/proc/meminfo: memFree=31134476/32770624 swapFree=5804/260556
[pid=8782] ppid=8779 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8782/stat : 8782 (xcsp3-exec) S 8779 8782 14782 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4347757 9740288 345 33554432000 4194304 5098028 140728131530848 140728131528952 140106712679036 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 9031680 140728131531919 140728131532128 140728131532128 140728131534827 0
/proc/8782/statm: 2378 345 289 221 0 87 0
[startup+0.100067 s]
/proc/loadavg: 15.95 14.01 9.94 10/272 8782
/proc/meminfo: memFree=31134476/32770624 swapFree=5804/260556
[pid=8782] ppid=8779 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8782/stat : 8782 (xcsp3-exec) S 8779 8782 14782 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4347757 9740288 345 33554432000 4194304 5098028 140728131530848 140728131528952 140106712679036 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 9031680 140728131531919 140728131532128 140728131532128 140728131534827 0
/proc/8782/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20031 s]
/proc/loadavg: 15.95 14.01 9.94 10/272 8782
/proc/meminfo: memFree=31134476/32770624 swapFree=5804/260556
[pid=8782] ppid=8779 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8782/stat : 8782 (xcsp3-exec) S 8779 8782 14782 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4347757 9740288 345 33554432000 4194304 5098028 140728131530848 140728131528952 140106712679036 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 9031680 140728131531919 140728131532128 140728131532128 140728131534827 0
/proc/8782/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30033 s]
/proc/loadavg: 15.95 14.01 9.94 10/272 8782
/proc/meminfo: memFree=31134476/32770624 swapFree=5804/260556
[pid=8782] ppid=8779 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8782/stat : 8782 (xcsp3-exec) S 8779 8782 14782 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4347757 9740288 345 33554432000 4194304 5098028 140728131530848 140728131528952 140106712679036 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 9031680 140728131531919 140728131532128 140728131532128 140728131534827 0
/proc/8782/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700277 s]
/proc/loadavg: 15.95 14.01 9.94 10/272 8782
/proc/meminfo: memFree=31134476/32770624 swapFree=5804/260556
[pid=8782] ppid=8779 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8782/stat : 8782 (xcsp3-exec) S 8779 8782 14782 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4347757 9740288 345 33554432000 4194304 5098028 140728131530848 140728131528952 140106712679036 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 9031680 140728131531919 140728131532128 140728131532128 140728131534827 0
/proc/8782/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50081 s]
/proc/loadavg: 15.95 14.01 9.94 14/293 8803
/proc/meminfo: memFree=30962424/32770624 swapFree=5804/260620
[pid=8782] ppid=8779 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8782/stat : 8782 (xcsp3-exec) S 8779 8782 14782 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4347757 9740288 345 33554432000 4194304 5098028 140728131530848 140728131528952 140106712679036 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 9031680 140728131531919 140728131532128 140728131532128 140728131534827 0
/proc/8782/statm: 2378 345 289 221 0 87 0
[pid=8783] ppid=8782 vsize=13801768 CPUtime=5.84 cores=1,3,5,7,9,11,13,15
/proc/8783/stat : 8783 (java) S 8782 8782 14782 0 -1 1077944320 28697 0 0 0 566 18 0 0 20 0 28 0 4347758 14133010432 57885 33554432000 4194304 4196468 140729732238688 140729732221232 140052466802423 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
/proc/8783/statm: 3450442 57885 3258 1 0 3437675 0
[pid=8783/tid=8784] ppid=8782 vsize=13801768 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8784/stat : 8784 (java) S 8782 8782 14782 0 -1 1077944384 6901 0 0 0 126 6 0 0 20 0 28 0 4347758 14133010432 57885 33554432000 4194304 4196468 140729732238688 140052471043200 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8786] ppid=8782 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8786/stat : 8786 (java) S 8782 8782 14782 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 4347759 14133010432 57885 33554432000 4194304 4196468 140729732238688 140052385282320 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8787] ppid=8782 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8787/stat : 8787 (java) S 8782 8782 14782 0 -1 1077944384 75 0 0 0 3 0 0 0 20 0 28 0 4347759 14133010432 57885 33554432000 4194304 4196468 140729732238688 140052384229776 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8788] ppid=8782 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8788/stat : 8788 (java) S 8782 8782 14782 0 -1 1077944384 125 0 0 0 2 1 0 0 20 0 28 0 4347759 14133010432 57885 33554432000 4194304 4196468 140729732238688 140052383177232 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8789] ppid=8782 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8789/stat : 8789 (java) S 8782 8782 14782 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 28 0 4347759 14133010432 57885 33554432000 4194304 4196468 140729732238688 140052382124688 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8790] ppid=8782 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8790/stat : 8790 (java) S 8782 8782 14782 0 -1 1077944384 81 0 0 0 2 1 0 0 20 0 28 0 4347759 14133010432 57885 33554432000 4194304 4196468 140729732238688 140052381072144 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8791] ppid=8782 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8791/stat : 8791 (java) S 8782 8782 14782 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 28 0 4347759 14133010432 57885 33554432000 4194304 4196468 140729732238688 140052380019600 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8792] ppid=8782 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8792/stat : 8792 (java) S 8782 8782 14782 0 -1 1077944384 150 0 0 0 2 0 0 0 20 0 28 0 4347759 14133010432 57885 33554432000 4194304 4196468 140729732238688 140052378967056 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8793] ppid=8782 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8793/stat : 8793 (java) S 8782 8782 14782 0 -1 1077944384 85 0 0 0 2 0 0 0 20 0 28 0 4347759 14133010432 57885 33554432000 4194304 4196468 140729732238688 140052377914512 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8794] ppid=8782 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8794/stat : 8794 (java) S 8782 8782 14782 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 28 0 4347761 14133010432 57885 33554432000 4194304 4196468 140729732238688 140051929094128 140052466813570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8795] ppid=8782 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8795/stat : 8795 (java) S 8782 8782 14782 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4347762 14133010432 57885 33554432000 4194304 4196468 140729732238688 140051928040352 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8796] ppid=8782 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8796/stat : 8796 (java) S 8782 8782 14782 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4347762 14133010432 57885 33554432000 4194304 4196468 140729732238688 140051926987760 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8797] ppid=8782 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8797/stat : 8797 (java) S 8782 8782 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4347766 14133010432 57885 33554432000 4194304 4196468 140729732238688 140051925936336 140052466821019 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8798] ppid=8782 vsize=13801768 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8798/stat : 8798 (java) R 8782 8782 14782 0 -1 4202560 4847 0 0 0 94 0 0 0 20 0 28 0 4347766 14133010432 57885 33554432000 4194304 4196468 140729732238688 140051924868912 140052450294135 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8799] ppid=8782 vsize=13801768 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8799/stat : 8799 (java) R 8782 8782 14782 0 -1 4202560 4890 0 0 0 108 0 0 0 20 0 28 0 4347766 14133010432 57885 33554432000 4194304 4196468 140729732238688 140051923816800 140052451928851 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8800] ppid=8782 vsize=13801768 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8800/stat : 8800 (java) R 8782 8782 14782 0 -1 4202560 5673 0 0 0 101 1 0 0 20 0 28 0 4347766 14133010432 57885 33554432000 4194304 4196468 140729732238688 140051922765264 140052446018372 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8801] ppid=8782 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8801/stat : 8801 (java) R 8782 8782 14782 0 -1 1077944384 3970 0 0 0 76 1 0 0 20 0 28 0 4347766 14133010432 57885 33554432000 4194304 4196468 140729732238688 140051921724112 140052466812629 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8802] ppid=8782 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8802/stat : 8802 (java) S 8782 8782 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4347766 14133010432 57885 33554432000 4194304 4196468 140729732238688 140051920672992 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8803] ppid=8782 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8803/stat : 8803 (java) S 8782 8782 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4347767 14133010432 57885 33554432000 4194304 4196468 140729732238688 140051919620528 140052466813570 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 13811280
[startup+3.10173 s]
/proc/loadavg: 15.71 13.99 9.96 21/301 8811
/proc/meminfo: memFree=30908656/32770624 swapFree=5804/260620
[pid=8782] ppid=8779 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8782/stat : 8782 (xcsp3-exec) S 8779 8782 14782 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4347757 9740288 345 33554432000 4194304 5098028 140728131530848 140728131528952 140106712679036 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 9031680 140728131531919 140728131532128 140728131532128 140728131534827 0
/proc/8782/statm: 2378 345 289 221 0 87 0
[pid=8783] ppid=8782 vsize=13801768 CPUtime=18.53 cores=1,3,5,7,9,11,13,15
/proc/8783/stat : 8783 (java) S 8782 8782 14782 0 -1 1077944320 32980 0 0 0 1832 21 0 0 20 0 28 0 4347758 14133010432 58898 33554432000 4194304 4196468 140729732238688 140729732221232 140052466802423 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
/proc/8783/statm: 3450442 58898 3279 1 0 3437675 0
[pid=8783/tid=8784] ppid=8782 vsize=13801768 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8784/stat : 8784 (java) S 8782 8782 14782 0 -1 1077944384 6901 0 0 0 126 6 0 0 20 0 28 0 4347758 14133010432 58898 33554432000 4194304 4196468 140729732238688 140052471043200 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8786] ppid=8782 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8786/stat : 8786 (java) S 8782 8782 14782 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 4347759 14133010432 58898 33554432000 4194304 4196468 140729732238688 140052385282320 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8787] ppid=8782 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8787/stat : 8787 (java) S 8782 8782 14782 0 -1 1077944384 75 0 0 0 3 0 0 0 20 0 28 0 4347759 14133010432 58898 33554432000 4194304 4196468 140729732238688 140052384229776 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8788] ppid=8782 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8788/stat : 8788 (java) S 8782 8782 14782 0 -1 1077944384 125 0 0 0 2 1 0 0 20 0 28 0 4347759 14133010432 58898 33554432000 4194304 4196468 140729732238688 140052383177232 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8789] ppid=8782 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8789/stat : 8789 (java) S 8782 8782 14782 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 28 0 4347759 14133010432 58898 33554432000 4194304 4196468 140729732238688 140052382124688 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8790] ppid=8782 vsize=13801768 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8790/stat : 8790 (java) S 8782 8782 14782 0 -1 1077944384 81 0 0 0 2 1 0 0 20 0 28 0 4347759 14133010432 58898 33554432000 4194304 4196468 140729732238688 140052381072144 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8791] ppid=8782 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8791/stat : 8791 (java) S 8782 8782 14782 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 28 0 4347759 14133010432 58898 33554432000 4194304 4196468 140729732238688 140052380019600 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8792] ppid=8782 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8792/stat : 8792 (java) S 8782 8782 14782 0 -1 1077944384 150 0 0 0 2 0 0 0 20 0 28 0 4347759 14133010432 58898 33554432000 4194304 4196468 140729732238688 140052378967056 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8793] ppid=8782 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8793/stat : 8793 (java) S 8782 8782 14782 0 -1 1077944384 85 0 0 0 2 0 0 0 20 0 28 0 4347759 14133010432 58898 33554432000 4194304 4196468 140729732238688 140052377914512 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8794] ppid=8782 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8794/stat : 8794 (java) S 8782 8782 14782 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 28 0 4347761 14133010432 58898 33554432000 4194304 4196468 140729732238688 140051929094128 140052466813570 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8795] ppid=8782 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8795/stat : 8795 (java) S 8782 8782 14782 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 4347762 14133010432 58898 33554432000 4194304 4196468 140729732238688 140051928040352 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8796] ppid=8782 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8796/stat : 8796 (java) S 8782 8782 14782 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 4347762 14133010432 58898 33554432000 4194304 4196468 140729732238688 140051926987760 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8797] ppid=8782 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8797/stat : 8797 (java) S 8782 8782 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4347766 14133010432 58898 33554432000 4194304 4196468 140729732238688 140051925936336 140052466821019 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8798] ppid=8782 vsize=13801768 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8798/stat : 8798 (java) R 8782 8782 14782 0 -1 4202560 5924 0 0 0 198 1 0 0 20 0 28 0 4347766 14133010432 58898 33554432000 4194304 4196468 140729732238688 140051924869952 140052451196160 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8799] ppid=8782 vsize=13801768 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8799/stat : 8799 (java) R 8782 8782 14782 0 -1 4202560 5478 0 0 0 210 1 0 0 20 0 28 0 4347766 14133010432 58898 33554432000 4194304 4196468 140729732238688 140051923815376 140052446040844 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8800] ppid=8782 vsize=13801768 CPUtime=2.23 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8800/stat : 8800 (java) R 8782 8782 14782 0 -1 4202560 6215 0 0 0 222 1 0 0 20 0 28 0 4347766 14133010432 58898 33554432000 4194304 4196468 140729732238688 140051922766032 140052450299193 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8801] ppid=8782 vsize=13801768 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8801/stat : 8801 (java) D 8782 8782 14782 0 -1 4202560 5436 0 0 0 108 2 0 0 20 0 28 0 4347766 14133010432 58898 33554432000 4194304 4196468 140729732238688 140051921726016 140052446726559 0 4 0 16800975 18446744072099802245 0 0 -1 13 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8802] ppid=8782 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8802/stat : 8802 (java) S 8782 8782 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4347766 14133010432 58898 33554432000 4194304 4196468 140729732238688 140051920672992 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8803] ppid=8782 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8803/stat : 8803 (java) D 8782 8782 14782 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 28 0 4347767 14133010432 58898 33554432000 4194304 4196468 140729732238688 140051919620448 140052451658510 0 4 0 16800975 18446744072099802245 0 0 -1 9 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8804] ppid=8782 vsize=13801768 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8804/stat : 8804 (java) R 8782 8782 14782 0 -1 4202560 143 0 0 0 108 0 0 0 20 0 28 0 4347897 14133010432 58898 33554432000 4194304 4196468 140729732238688 140051911604600 140052062707489 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8805] ppid=8782 vsize=13801768 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8805/stat : 8805 (java) R 8782 8782 14782 0 -1 4202560 63 0 0 0 143 0 0 0 20 0 28 0 4347897 14133010432 58898 33554432000 4194304 4196468 140729732238688 140051910552896 140052062935012 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8806] ppid=8782 vsize=13801768 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8806/stat : 8806 (java) R 8782 8782 14782 0 -1 4202560 214 0 0 0 110 0 0 0 20 0 28 0 4347897 14133010432 58898 33554432000 4194304 4196468 140729732238688 140051909501368 140052063362054 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8807] ppid=8782 vsize=13801768 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8807/stat : 8807 (java) R 8782 8782 14782 0 -1 4202560 216 0 0 0 116 0 0 0 20 0 28 0 4347897 14133010432 58898 33554432000 4194304 4196468 140729732238688 140051908449160 140052062199315 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8808] ppid=8782 vsize=13801768 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8808/stat : 8808 (java) R 8782 8782 14782 0 -1 4202560 70 0 0 0 114 0 0 0 20 0 28 0 4347897 14133010432 58898 33554432000 4194304 4196468 140729732238688 140051907395312 140052063362708 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8809] ppid=8782 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8809/stat : 8809 (java) R 8782 8782 14782 0 -1 4202560 42 0 0 0 107 0 0 0 20 0 28 0 4347897 14133010432 58898 33554432000 4194304 4196468 140729732238688 140051906345976 140052063330370 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8810] ppid=8782 vsize=13801768 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8810/stat : 8810 (java) R 8782 8782 14782 0 -1 4202560 54 0 0 0 120 0 0 0 20 0 28 0 4347897 14133010432 58898 33554432000 4194304 4196468 140729732238688 140051905290240 140052062935176 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8811] ppid=8782 vsize=13801768 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8811/stat : 8811 (java) R 8782 8782 14782 0 -1 4202560 73 0 0 0 124 0 0 0 20 0 28 0 4347897 14133010432 58898 33554432000 4194304 4196468 140729732238688 140051837080200 140052062452313 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
Current children cumulated CPU time (s) 18.53
Current children cumulated vsize (KiB) 13811280
[startup+6.30159 s]
/proc/loadavg: 15.71 13.99 9.96 17/301 8811
/proc/meminfo: memFree=30848300/32770624 swapFree=5804/260632
[pid=8782] ppid=8779 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8782/stat : 8782 (xcsp3-exec) S 8779 8782 14782 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4347757 9740288 345 33554432000 4194304 5098028 140728131530848 140728131528952 140106712679036 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 9031680 140728131531919 140728131532128 140728131532128 140728131534827 0
/proc/8782/statm: 2378 345 289 221 0 87 0
[pid=8783] ppid=8782 vsize=13801768 CPUtime=43.89 cores=1,3,5,7,9,11,13,15
/proc/8783/stat : 8783 (java) S 8782 8782 14782 0 -1 1077944320 47945 0 0 0 4350 39 0 0 20 0 28 0 4347758 14133010432 76173 33554432000 4194304 4196468 140729732238688 140729732221232 140052466802423 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
/proc/8783/statm: 3450442 76173 3283 1 0 3437675 0
[pid=8783/tid=8784] ppid=8782 vsize=13801768 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8784/stat : 8784 (java) S 8782 8782 14782 0 -1 1077944384 6901 0 0 0 126 6 0 0 20 0 28 0 4347758 14133010432 76173 33554432000 4194304 4196468 140729732238688 140052471043200 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8786] ppid=8782 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8786/stat : 8786 (java) S 8782 8782 14782 0 -1 1077944384 91 0 0 0 2 2 0 0 20 0 28 0 4347759 14133010432 76173 33554432000 4194304 4196468 140729732238688 140052385282320 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8787] ppid=8782 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8787/stat : 8787 (java) S 8782 8782 14782 0 -1 1077944384 126 0 0 0 4 2 0 0 20 0 28 0 4347759 14133010432 76173 33554432000 4194304 4196468 140729732238688 140052384229776 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8788] ppid=8782 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8788/stat : 8788 (java) S 8782 8782 14782 0 -1 1077944384 199 0 0 0 5 2 0 0 20 0 28 0 4347759 14133010432 76173 33554432000 4194304 4196468 140729732238688 140052383177232 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8789] ppid=8782 vsize=13801768 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8789/stat : 8789 (java) S 8782 8782 14782 0 -1 1077944384 133 0 0 0 2 2 0 0 20 0 28 0 4347759 14133010432 76173 33554432000 4194304 4196468 140729732238688 140052382124688 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
################
# More data... #
################
[pid=8783/tid=8810] ppid=8782 vsize=13801768 CPUtime=218.58 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8810/stat : 8810 (java) R 8782 8782 14782 0 -1 4202560 608 0 0 0 21856 2 0 0 20 0 28 0 4347897 14133010432 307672 33554432000 4194304 4196468 140729732238688 140051905292208 140052062706956 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8811] ppid=8782 vsize=13801768 CPUtime=219.16 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8811/stat : 8811 (java) R 8782 8782 14782 0 -1 4202560 935 0 0 0 21915 1 0 0 20 0 28 0 4347897 14133010432 307672 33554432000 4194304 4196468 140729732238688 140051837079256 140052062974281 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
Current children cumulated CPU time (s) 1763.37
Current children cumulated vsize (KiB) 13811280
[startup+282.301 s]
/proc/loadavg: 15.83 15.19 11.53 17/299 9163
/proc/meminfo: memFree=30374896/32770624 swapFree=5804/261004
[pid=8782] ppid=8779 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8782/stat : 8782 (xcsp3-exec) S 8779 8782 14782 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4347757 9740288 345 33554432000 4194304 5098028 140728131530848 140728131528952 140106712679036 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 9031680 140728131531919 140728131532128 140728131532128 140728131534827 0
/proc/8782/statm: 2378 345 289 221 0 87 0
[pid=8783] ppid=8782 vsize=13801768 CPUtime=2241.1 cores=1,3,5,7,9,11,13,15
/proc/8783/stat : 8783 (java) S 8782 8782 14782 0 -1 1077944320 97534 0 0 0 223945 165 0 0 20 0 28 0 4347758 14133010432 308808 33554432000 4194304 4196468 140729732238688 140729732221232 140052466802423 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
/proc/8783/statm: 3450442 308808 3283 1 0 3437675 0
[pid=8783/tid=8784] ppid=8782 vsize=13801768 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8784/stat : 8784 (java) S 8782 8782 14782 0 -1 1077944384 6901 0 0 0 126 6 0 0 20 0 28 0 4347758 14133010432 308808 33554432000 4194304 4196468 140729732238688 140052471043200 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8786] ppid=8782 vsize=13801768 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8786/stat : 8786 (java) S 8782 8782 14782 0 -1 1077944384 2329 0 0 0 12 12 0 0 20 0 28 0 4347759 14133010432 308808 33554432000 4194304 4196468 140729732238688 140052385282320 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8787] ppid=8782 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8787/stat : 8787 (java) S 8782 8782 14782 0 -1 1077944384 572 0 0 0 14 11 0 0 20 0 28 0 4347759 14133010432 308808 33554432000 4194304 4196468 140729732238688 140052384229776 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8788] ppid=8782 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8788/stat : 8788 (java) S 8782 8782 14782 0 -1 1077944384 1762 0 0 0 17 12 0 0 20 0 28 0 4347759 14133010432 308808 33554432000 4194304 4196468 140729732238688 140052383177232 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8789] ppid=8782 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8789/stat : 8789 (java) S 8782 8782 14782 0 -1 1077944384 604 0 0 0 12 10 0 0 20 0 28 0 4347759 14133010432 308808 33554432000 4194304 4196468 140729732238688 140052382124688 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8790] ppid=8782 vsize=13801768 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8790/stat : 8790 (java) S 8782 8782 14782 0 -1 1077944384 1678 0 0 0 15 13 0 0 20 0 28 0 4347759 14133010432 308808 33554432000 4194304 4196468 140729732238688 140052381072144 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8791] ppid=8782 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8791/stat : 8791 (java) S 8782 8782 14782 0 -1 1077944384 1102 0 0 0 13 12 0 0 20 0 28 0 4347759 14133010432 308808 33554432000 4194304 4196468 140729732238688 140052380019600 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8792] ppid=8782 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8792/stat : 8792 (java) S 8782 8782 14782 0 -1 1077944384 1555 0 0 0 17 12 0 0 20 0 28 0 4347759 14133010432 308808 33554432000 4194304 4196468 140729732238688 140052378967056 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8793] ppid=8782 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8793/stat : 8793 (java) S 8782 8782 14782 0 -1 1077944384 529 0 0 0 14 12 0 0 20 0 28 0 4347759 14133010432 308808 33554432000 4194304 4196468 140729732238688 140052377914512 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8794] ppid=8782 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8794/stat : 8794 (java) S 8782 8782 14782 0 -1 1077944384 3170 0 0 0 5 7 0 0 20 0 28 0 4347761 14133010432 308808 33554432000 4194304 4196468 140729732238688 140051929094128 140052466813570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8795] ppid=8782 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8795/stat : 8795 (java) S 8782 8782 14782 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4347762 14133010432 308808 33554432000 4194304 4196468 140729732238688 140051928040416 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8796] ppid=8782 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8796/stat : 8796 (java) S 8782 8782 14782 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4347762 14133010432 308808 33554432000 4194304 4196468 140729732238688 140051926987776 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8797] ppid=8782 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8797/stat : 8797 (java) S 8782 8782 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4347766 14133010432 308808 33554432000 4194304 4196468 140729732238688 140051925936336 140052466821019 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8798] ppid=8782 vsize=13801768 CPUtime=3.87 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8798/stat : 8798 (java) S 8782 8782 14782 0 -1 1077944384 18588 0 0 0 384 3 0 0 20 0 28 0 4347766 14133010432 308808 33554432000 4194304 4196468 140729732238688 140051924883952 140052466813570 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8799] ppid=8782 vsize=13801768 CPUtime=3.88 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8799/stat : 8799 (java) S 8782 8782 14782 0 -1 1077944384 14813 0 0 0 386 2 0 0 20 0 28 0 4347766 14133010432 308808 33554432000 4194304 4196468 140729732238688 140051923831408 140052466813570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8800] ppid=8782 vsize=13801768 CPUtime=4.75 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8800/stat : 8800 (java) S 8782 8782 14782 0 -1 1077944384 17225 0 0 0 472 3 0 0 20 0 28 0 4347766 14133010432 308808 33554432000 4194304 4196468 140729732238688 140051922778864 140052466813570 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8801] ppid=8782 vsize=13801768 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8801/stat : 8801 (java) S 8782 8782 14782 0 -1 1077944384 10453 0 0 0 121 2 0 0 20 0 28 0 4347766 14133010432 308808 33554432000 4194304 4196468 140729732238688 140051921726320 140052466813570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8802] ppid=8782 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8802/stat : 8802 (java) S 8782 8782 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4347766 14133010432 308808 33554432000 4194304 4196468 140729732238688 140051920672992 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8803] ppid=8782 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8803/stat : 8803 (java) S 8782 8782 14782 0 -1 1077944384 513 0 0 0 5 11 0 0 20 0 28 0 4347767 14133010432 308808 33554432000 4194304 4196468 140729732238688 140051919620528 140052466813570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8804] ppid=8782 vsize=13801768 CPUtime=278.64 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8804/stat : 8804 (java) R 8782 8782 14782 0 -1 4202560 1475 0 0 0 27863 1 0 0 20 0 28 0 4347897 14133010432 308808 33554432000 4194304 4196468 140729732238688 140051911608048 140052062663728 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8805] ppid=8782 vsize=13801768 CPUtime=278.46 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8805/stat : 8805 (java) R 8782 8782 14782 0 -1 4202560 791 0 0 0 27845 1 0 0 20 0 28 0 4347897 14133010432 308808 33554432000 4194304 4196468 140729732238688 140051910553160 140052063053162 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8806] ppid=8782 vsize=13801768 CPUtime=277.53 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8806/stat : 8806 (java) R 8782 8782 14782 0 -1 4202560 3872 0 0 0 27749 4 0 0 20 0 28 0 4347897 14133010432 308808 33554432000 4194304 4196468 140729732238688 140051909500928 140052065567554 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8807] ppid=8782 vsize=13801768 CPUtime=278.58 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8807/stat : 8807 (java) R 8782 8782 14782 0 -1 4202560 4664 0 0 0 27843 15 0 0 20 0 28 0 4347897 14133010432 308808 33554432000 4194304 4196468 140729732238688 140051908448328 140052062061328 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8808] ppid=8782 vsize=13801768 CPUtime=276.81 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8808/stat : 8808 (java) R 8782 8782 14782 0 -1 4202560 1197 0 0 0 27679 2 0 0 20 0 28 0 4347897 14133010432 308808 33554432000 4194304 4196468 140729732238688 140051907395640 140052062663916 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8809] ppid=8782 vsize=13801768 CPUtime=275.95 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8809/stat : 8809 (java) R 8782 8782 14782 0 -1 4202560 796 0 0 0 27594 1 0 0 20 0 28 0 4347897 14133010432 308808 33554432000 4194304 4196468 140729732238688 140051906343480 140052065947767 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8810] ppid=8782 vsize=13801768 CPUtime=278.44 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8810/stat : 8810 (java) R 8782 8782 14782 0 -1 4202560 621 0 0 0 27842 2 0 0 20 0 28 0 4347897 14133010432 308808 33554432000 4194304 4196468 140729732238688 140051905289736 140052062236423 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8811] ppid=8782 vsize=13801768 CPUtime=279.07 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8811/stat : 8811 (java) R 8782 8782 14782 0 -1 4202560 986 0 0 0 27906 1 0 0 20 0 28 0 4347897 14133010432 308808 33554432000 4194304 4196468 140729732238688 140051837079800 140052062973642 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
Current children cumulated CPU time (s) 2241.1
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.301 s]
/proc/loadavg: 15.88 15.25 11.63 17/299 9164
/proc/meminfo: memFree=30378176/32770624 swapFree=5804/261032
[pid=8782] ppid=8779 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8782/stat : 8782 (xcsp3-exec) S 8779 8782 14782 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4347757 9740288 345 33554432000 4194304 5098028 140728131530848 140728131528952 140106712679036 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 9031680 140728131531919 140728131532128 140728131532128 140728131534827 0
/proc/8782/statm: 2378 345 289 221 0 87 0
[pid=8783] ppid=8782 vsize=13801768 CPUtime=2400.29 cores=1,3,5,7,9,11,13,15
/proc/8783/stat : 8783 (java) S 8782 8782 14782 0 -1 1077944320 99204 0 0 0 239860 169 0 0 20 0 28 0 4347758 14133010432 308412 33554432000 4194304 4196468 140729732238688 140729732221232 140052466802423 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
/proc/8783/statm: 3450442 308412 3283 1 0 3437675 0
[pid=8783/tid=8784] ppid=8782 vsize=13801768 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8784/stat : 8784 (java) S 8782 8782 14782 0 -1 1077944384 6901 0 0 0 126 6 0 0 20 0 28 0 4347758 14133010432 308412 33554432000 4194304 4196468 140729732238688 140052471043200 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8786] ppid=8782 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8786/stat : 8786 (java) S 8782 8782 14782 0 -1 1077944384 2382 0 0 0 12 13 0 0 20 0 28 0 4347759 14133010432 308412 33554432000 4194304 4196468 140729732238688 140052385282320 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8787] ppid=8782 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8787/stat : 8787 (java) S 8782 8782 14782 0 -1 1077944384 588 0 0 0 15 12 0 0 20 0 28 0 4347759 14133010432 308412 33554432000 4194304 4196468 140729732238688 140052384229776 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8788] ppid=8782 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8788/stat : 8788 (java) S 8782 8782 14782 0 -1 1077944384 1766 0 0 0 17 12 0 0 20 0 28 0 4347759 14133010432 308412 33554432000 4194304 4196468 140729732238688 140052383177232 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8789] ppid=8782 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8789/stat : 8789 (java) S 8782 8782 14782 0 -1 1077944384 607 0 0 0 12 10 0 0 20 0 28 0 4347759 14133010432 308412 33554432000 4194304 4196468 140729732238688 140052382124688 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8790] ppid=8782 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8790/stat : 8790 (java) S 8782 8782 14782 0 -1 1077944384 1775 0 0 0 16 13 0 0 20 0 28 0 4347759 14133010432 308412 33554432000 4194304 4196468 140729732238688 140052381072144 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8791] ppid=8782 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8791/stat : 8791 (java) S 8782 8782 14782 0 -1 1077944384 1112 0 0 0 13 13 0 0 20 0 28 0 4347759 14133010432 308412 33554432000 4194304 4196468 140729732238688 140052380019600 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8792] ppid=8782 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8792/stat : 8792 (java) S 8782 8782 14782 0 -1 1077944384 1985 0 0 0 17 12 0 0 20 0 28 0 4347759 14133010432 308412 33554432000 4194304 4196468 140729732238688 140052378967056 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8793] ppid=8782 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8793/stat : 8793 (java) S 8782 8782 14782 0 -1 1077944384 532 0 0 0 14 12 0 0 20 0 28 0 4347759 14133010432 308412 33554432000 4194304 4196468 140729732238688 140052377914512 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8794] ppid=8782 vsize=13801768 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8794/stat : 8794 (java) S 8782 8782 14782 0 -1 1077944384 3458 0 0 0 5 8 0 0 20 0 28 0 4347761 14133010432 308412 33554432000 4194304 4196468 140729732238688 140051929094128 140052466813570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8795] ppid=8782 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8795/stat : 8795 (java) S 8782 8782 14782 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4347762 14133010432 308412 33554432000 4194304 4196468 140729732238688 140051928040416 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8796] ppid=8782 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8796/stat : 8796 (java) S 8782 8782 14782 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4347762 14133010432 308412 33554432000 4194304 4196468 140729732238688 140051926987776 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8797] ppid=8782 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8797/stat : 8797 (java) S 8782 8782 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4347766 14133010432 308412 33554432000 4194304 4196468 140729732238688 140051925936336 140052466821019 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8798] ppid=8782 vsize=13801768 CPUtime=3.87 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8798/stat : 8798 (java) S 8782 8782 14782 0 -1 1077944384 18591 0 0 0 384 3 0 0 20 0 28 0 4347766 14133010432 308412 33554432000 4194304 4196468 140729732238688 140051924883952 140052466813570 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8799] ppid=8782 vsize=13801768 CPUtime=3.88 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8799/stat : 8799 (java) S 8782 8782 14782 0 -1 1077944384 14815 0 0 0 386 2 0 0 20 0 28 0 4347766 14133010432 308412 33554432000 4194304 4196468 140729732238688 140051923831408 140052466813570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8800] ppid=8782 vsize=13801768 CPUtime=4.75 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8800/stat : 8800 (java) S 8782 8782 14782 0 -1 1077944384 17227 0 0 0 472 3 0 0 20 0 28 0 4347766 14133010432 308412 33554432000 4194304 4196468 140729732238688 140051922778864 140052466813570 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8801] ppid=8782 vsize=13801768 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8801/stat : 8801 (java) S 8782 8782 14782 0 -1 1077944384 10455 0 0 0 121 2 0 0 20 0 28 0 4347766 14133010432 308412 33554432000 4194304 4196468 140729732238688 140051921726320 140052466813570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8802] ppid=8782 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8802/stat : 8802 (java) S 8782 8782 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4347766 14133010432 308412 33554432000 4194304 4196468 140729732238688 140051920672992 140052466812629 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8803] ppid=8782 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8803/stat : 8803 (java) S 8782 8782 14782 0 -1 1077944384 536 0 0 0 5 12 0 0 20 0 28 0 4347767 14133010432 308412 33554432000 4194304 4196468 140729732238688 140051919620528 140052466813570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8804] ppid=8782 vsize=13801768 CPUtime=298.6 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8804/stat : 8804 (java) R 8782 8782 14782 0 -1 4202560 1612 0 0 0 29859 1 0 0 20 0 28 0 4347897 14133010432 308412 33554432000 4194304 4196468 140729732238688 140051911605096 140052065947379 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8805] ppid=8782 vsize=13801768 CPUtime=298.04 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8805/stat : 8805 (java) R 8782 8782 14782 0 -1 4202560 831 0 0 0 29803 1 0 0 20 0 28 0 4347897 14133010432 308412 33554432000 4194304 4196468 140729732238688 140051910553560 140052065947379 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8806] ppid=8782 vsize=13801768 CPUtime=297.51 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8806/stat : 8806 (java) R 8782 8782 14782 0 -1 4202560 4000 0 0 0 29747 4 0 0 20 0 28 0 4347897 14133010432 308412 33554432000 4194304 4196468 140729732238688 140051909503968 140052065567540 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8807] ppid=8782 vsize=13801768 CPUtime=298.54 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8807/stat : 8807 (java) R 8782 8782 14782 0 -1 4202560 4857 0 0 0 29839 15 0 0 20 0 28 0 4347897 14133010432 308412 33554432000 4194304 4196468 140729732238688 140051908448328 140052063702048 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8808] ppid=8782 vsize=13801768 CPUtime=296.59 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8808/stat : 8808 (java) R 8782 8782 14782 0 -1 4202560 1249 0 0 0 29657 2 0 0 20 0 28 0 4347897 14133010432 308412 33554432000 4194304 4196468 140729732238688 140051907395848 140052065947578 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8809] ppid=8782 vsize=13801768 CPUtime=295.9 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8809/stat : 8809 (java) R 8782 8782 14782 0 -1 4202560 874 0 0 0 29589 1 0 0 20 0 28 0 4347897 14133010432 308412 33554432000 4194304 4196468 140729732238688 140051906343056 140052063330716 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8810] ppid=8782 vsize=13801768 CPUtime=298.38 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8810/stat : 8810 (java) R 8782 8782 14782 0 -1 4202560 678 0 0 0 29836 2 0 0 20 0 28 0 4347897 14133010432 308412 33554432000 4194304 4196468 140729732238688 140051905289576 140052063994629 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
[pid=8783/tid=8811] ppid=8782 vsize=13801768 CPUtime=299.02 cores=1,3,5,7,9,11,13,15
/proc/8783/task/8811/stat : 8811 (java) R 8782 8782 14782 0 -1 4202560 1035 0 0 0 29901 1 0 0 20 0 28 0 4347897 14133010432 308412 33554432000 4194304 4196468 140729732238688 140051837078744 140052062934858 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10137600 140729732240572 140729732240748 140729732240748 140729732243407 0
Current children cumulated CPU time (s) 2400.29
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 8783 sig 9
??? kill 8782 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 8782 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1756
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=878
# CPU time returned by wait4() is 0.002634
# while last known CPU time is 2400.29
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.312
CPU time (s): 2400.29
CPU user time (s): 2398.6
CPU system time (s): 1.69
CPU usage (%): 793.977
Max. virtual memory (cumulated for all children) (KiB): 13815964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001756
system time used= 0.000878
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516
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= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.89009 second user time and 4.29455 second system time
The end