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-4244534-1500683326/watcher-4244534-1500683326 -o /tmp/evaluation-result-4244534-1500683326/solver-4244534-1500683326 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500682387-7775 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1003916663 HOME/instance-4244534-1500683326.xml
pid=8898
running on 8 cores: 0,2,4,6,8,10,12,14
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: 14.88 14.64 10.19 9/269 8901
/proc/meminfo: memFree=31228716/32770624 swapFree=5880/237548
[pid=8901] ppid=8898 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8901/stat : 8901 (xcsp3-exec) S 8898 8901 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3600266 9740288 346 33554432000 4194304 5098028 140727164659776 140727164657880 140335624721020 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22941696 140727164662926 140727164663136 140727164663136 140727164665835 0
/proc/8901/statm: 2378 346 289 221 0 87 0
[startup+0.100066 s]
/proc/loadavg: 14.88 14.64 10.19 9/269 8901
/proc/meminfo: memFree=31228716/32770624 swapFree=5880/237548
[pid=8901] ppid=8898 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8901/stat : 8901 (xcsp3-exec) S 8898 8901 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3600266 9740288 346 33554432000 4194304 5098028 140727164659776 140727164657880 140335624721020 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22941696 140727164662926 140727164663136 140727164663136 140727164665835 0
/proc/8901/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200253 s]
/proc/loadavg: 14.88 14.64 10.19 9/269 8901
/proc/meminfo: memFree=31228716/32770624 swapFree=5880/237548
[pid=8901] ppid=8898 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8901/stat : 8901 (xcsp3-exec) S 8898 8901 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3600266 9740288 346 33554432000 4194304 5098028 140727164659776 140727164657880 140335624721020 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22941696 140727164662926 140727164663136 140727164663136 140727164665835 0
/proc/8901/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300394 s]
/proc/loadavg: 14.88 14.64 10.19 9/269 8901
/proc/meminfo: memFree=31228716/32770624 swapFree=5880/237548
[pid=8901] ppid=8898 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8901/stat : 8901 (xcsp3-exec) S 8898 8901 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3600266 9740288 346 33554432000 4194304 5098028 140727164659776 140727164657880 140335624721020 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22941696 140727164662926 140727164663136 140727164663136 140727164665835 0
/proc/8901/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700148 s]
/proc/loadavg: 14.88 14.64 10.19 9/269 8901
/proc/meminfo: memFree=31228716/32770624 swapFree=5880/237548
[pid=8901] ppid=8898 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8901/stat : 8901 (xcsp3-exec) S 8898 8901 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3600266 9740288 346 33554432000 4194304 5098028 140727164659776 140727164657880 140335624721020 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22941696 140727164662926 140727164663136 140727164663136 140727164665835 0
/proc/8901/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50133 s]
/proc/loadavg: 14.88 14.64 10.19 19/298 8930
/proc/meminfo: memFree=31068496/32770624 swapFree=5880/237592
[pid=8901] ppid=8898 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8901/stat : 8901 (xcsp3-exec) S 8898 8901 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3600266 9740288 346 33554432000 4194304 5098028 140727164659776 140727164657880 140335624721020 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22941696 140727164662926 140727164663136 140727164663136 140727164665835 0
/proc/8901/statm: 2378 346 289 221 0 87 0
[pid=8902] ppid=8901 vsize=13801768 CPUtime=6.44 cores=0,2,4,6,8,10,12,14
/proc/8902/stat : 8902 (java) S 8901 8901 7744 0 -1 1077944320 28677 0 0 0 632 12 0 0 20 0 28 0 3600266 14133010432 50881 33554432000 4194304 4196468 140731144738528 140731144721072 139984189005559 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
/proc/8902/statm: 3450442 50881 3223 1 0 3437675 0
[pid=8902/tid=8903] ppid=8901 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8903/stat : 8903 (java) S 8901 8901 7744 0 -1 1077944384 8669 0 0 0 101 4 0 0 20 0 28 0 3600267 14133010432 50881 33554432000 4194304 4196468 140731144738528 139984193246336 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8905] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8905/stat : 8905 (java) S 8901 8901 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3600267 14133010432 50881 33554432000 4194304 4196468 140731144738528 139984127969680 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8906] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8906/stat : 8906 (java) S 8901 8901 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3600267 14133010432 50881 33554432000 4194304 4196468 140731144738528 139984126916880 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8907] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8907/stat : 8907 (java) S 8901 8901 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3600267 14133010432 50881 33554432000 4194304 4196468 140731144738528 139984125864592 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8908] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8908/stat : 8908 (java) S 8901 8901 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3600267 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983784991248 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8909] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8909/stat : 8909 (java) S 8901 8901 7744 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3600268 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983783938960 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8910] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8910/stat : 8910 (java) S 8901 8901 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3600268 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983782886160 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8911] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8911/stat : 8911 (java) S 8901 8901 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3600268 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983781833872 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8912] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8912/stat : 8912 (java) S 8901 8901 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3600268 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983780781072 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8913] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8913/stat : 8913 (java) S 8901 8901 7744 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 3600270 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983382886512 139984189016706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8914] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8914/stat : 8914 (java) S 8901 8901 7744 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3600271 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983381832480 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8915] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8915/stat : 8915 (java) S 8901 8901 7744 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3600271 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983380780144 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8916] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8916/stat : 8916 (java) S 8901 8901 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3600275 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983379728464 139984189024155 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8917] ppid=8901 vsize=13801768 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8917/stat : 8917 (java) R 8901 8901 7744 0 -1 4202560 4564 0 0 0 64 1 0 0 20 0 28 0 3600275 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983378657352 139984173294460 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8918] ppid=8901 vsize=13801768 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8918/stat : 8918 (java) R 8901 8901 7744 0 -1 4202560 4167 0 0 0 71 1 0 0 20 0 28 0 3600275 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983377609832 139984182102395 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8919] ppid=8901 vsize=13801768 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8919/stat : 8919 (java) R 8901 8901 7744 0 -1 4202560 5202 0 0 0 75 2 0 0 20 0 28 0 3600275 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983376557544 139984172912265 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8920] ppid=8901 vsize=13801768 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8920/stat : 8920 (java) S 8901 8901 7744 0 -1 1077944384 4218 0 0 0 74 2 0 0 20 0 28 0 3600275 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983375518448 139984189016706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8921] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8921/stat : 8921 (java) S 8901 8901 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3600276 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983374465376 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8922] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8922/stat : 8922 (java) S 8901 8901 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3600276 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983373412656 139984189016706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8923] ppid=8901 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8923/stat : 8923 (java) R 8901 8901 7744 0 -1 4202560 113 0 0 0 38 0 0 0 20 0 28 0 3600374 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983365396992 139983811832184 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8924] ppid=8901 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8924/stat : 8924 (java) R 8901 8901 7744 0 -1 4202560 48 0 0 0 21 0 0 0 20 0 28 0 3600374 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983364347592 139983811517465 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8925] ppid=8901 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8925/stat : 8925 (java) R 8901 8901 7744 0 -1 4202560 40 0 0 0 36 0 0 0 20 0 28 0 3600374 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983363293544 139983811615241 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8926] ppid=8901 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8926/stat : 8926 (java) R 8901 8901 7744 0 -1 4202560 110 0 0 0 33 0 0 0 20 0 28 0 3600374 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983362239960 139983811832362 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8927] ppid=8901 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8927/stat : 8927 (java) R 8901 8901 7744 0 -1 4202560 51 0 0 0 27 0 0 0 20 0 28 0 3600375 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983361190104 139983811698508 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8928] ppid=8901 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8928/stat : 8928 (java) R 8901 8901 7744 0 -1 4202560 37 0 0 0 25 0 0 0 20 0 28 0 3600375 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983360135472 139983811832045 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8929] ppid=8901 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8929/stat : 8929 (java) R 8901 8901 7744 0 -1 4202560 91 0 0 0 27 0 0 0 20 0 28 0 3600375 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983359081208 139983811832152 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8930] ppid=8901 vsize=13801768 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8930/stat : 8930 (java) R 8901 8901 7744 0 -1 4202560 48 0 0 0 32 0 0 0 20 0 28 0 3600375 14133010432 50881 33554432000 4194304 4196468 140731144738528 139983358028024 139983811832519 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
Current children cumulated CPU time (s) 6.44
Current children cumulated vsize (KiB) 13811280
[startup+3.10158 s]
/proc/loadavg: 14.88 14.64 10.19 20/298 8930
/proc/meminfo: memFree=31010952/32770624 swapFree=5880/237592
[pid=8901] ppid=8898 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8901/stat : 8901 (xcsp3-exec) S 8898 8901 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3600266 9740288 346 33554432000 4194304 5098028 140727164659776 140727164657880 140335624721020 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22941696 140727164662926 140727164663136 140727164663136 140727164665835 0
/proc/8901/statm: 2378 346 289 221 0 87 0
[pid=8902] ppid=8901 vsize=13801768 CPUtime=19.15 cores=0,2,4,6,8,10,12,14
/proc/8902/stat : 8902 (java) S 8901 8901 7744 0 -1 1077944320 38277 0 0 0 1892 23 0 0 20 0 28 0 3600266 14133010432 66898 33554432000 4194304 4196468 140731144738528 140731144721072 139984189005559 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
/proc/8902/statm: 3450442 66898 3260 1 0 3437675 0
[pid=8902/tid=8903] ppid=8901 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8903/stat : 8903 (java) S 8901 8901 7744 0 -1 1077944384 8669 0 0 0 101 4 0 0 20 0 28 0 3600267 14133010432 66898 33554432000 4194304 4196468 140731144738528 139984193246336 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8905] ppid=8901 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8905/stat : 8905 (java) S 8901 8901 7744 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 28 0 3600267 14133010432 66898 33554432000 4194304 4196468 140731144738528 139984127969680 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8906] ppid=8901 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8906/stat : 8906 (java) S 8901 8901 7744 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 3600267 14133010432 66898 33554432000 4194304 4196468 140731144738528 139984126916880 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8907] ppid=8901 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8907/stat : 8907 (java) S 8901 8901 7744 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 3600267 14133010432 66898 33554432000 4194304 4196468 140731144738528 139984125864592 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8908] ppid=8901 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8908/stat : 8908 (java) S 8901 8901 7744 0 -1 1077944384 29 0 0 0 1 0 0 0 20 0 28 0 3600267 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983784991248 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8909] ppid=8901 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8909/stat : 8909 (java) S 8901 8901 7744 0 -1 1077944384 52 0 0 0 2 1 0 0 20 0 28 0 3600268 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983783938960 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8910] ppid=8901 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8910/stat : 8910 (java) S 8901 8901 7744 0 -1 1077944384 25 0 0 0 2 1 0 0 20 0 28 0 3600268 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983782886160 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8911] ppid=8901 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8911/stat : 8911 (java) S 8901 8901 7744 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 28 0 3600268 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983781833872 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8912] ppid=8901 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8912/stat : 8912 (java) S 8901 8901 7744 0 -1 1077944384 937 0 0 0 2 1 0 0 20 0 28 0 3600268 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983780781072 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8913] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8913/stat : 8913 (java) S 8901 8901 7744 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 28 0 3600270 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983382886512 139984189016706 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8914] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8914/stat : 8914 (java) S 8901 8901 7744 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3600271 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983381832480 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8915] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8915/stat : 8915 (java) S 8901 8901 7744 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3600271 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983380780144 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8916] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8916/stat : 8916 (java) S 8901 8901 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3600275 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983379728464 139984189024155 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8917] ppid=8901 vsize=13801768 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8917/stat : 8917 (java) R 8901 8901 7744 0 -1 4202560 6958 0 0 0 191 1 0 0 20 0 28 0 3600275 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983378662416 139984174113230 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8918] ppid=8901 vsize=13801768 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8918/stat : 8918 (java) R 8901 8901 7744 0 -1 4202560 6458 0 0 0 179 1 0 0 20 0 28 0 3600275 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983377613344 139984172416561 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8919] ppid=8901 vsize=13801768 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8919/stat : 8919 (java) R 8901 8901 7744 0 -1 4202560 7065 0 0 0 188 2 0 0 20 0 28 0 3600275 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983376556400 139984170550016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8920] ppid=8901 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8920/stat : 8920 (java) S 8901 8901 7744 0 -1 1077944384 5425 0 0 0 88 2 0 0 20 0 28 0 3600275 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983375518448 139984189016706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8921] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8921/stat : 8921 (java) S 8901 8901 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3600276 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983374465376 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8922] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8922/stat : 8922 (java) S 8901 8901 7744 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3600276 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983373412656 139984189016706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8923] ppid=8901 vsize=13801768 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8923/stat : 8923 (java) R 8901 8901 7744 0 -1 4202560 176 0 0 0 142 0 0 0 20 0 28 0 3600374 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983365397896 139983805558080 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8924] ppid=8901 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8924/stat : 8924 (java) R 8901 8901 7744 0 -1 4202560 119 0 0 0 143 0 0 0 20 0 28 0 3600374 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983364346056 139983812961217 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8925] ppid=8901 vsize=13801768 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8925/stat : 8925 (java) R 8901 8901 7744 0 -1 4202560 73 0 0 0 131 0 0 0 20 0 28 0 3600374 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983363296176 139983813458004 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8926] ppid=8901 vsize=13801768 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8926/stat : 8926 (java) R 8901 8901 7744 0 -1 4202560 318 0 0 0 141 0 0 0 20 0 28 0 3600374 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983362243968 139983805601485 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8927] ppid=8901 vsize=13801768 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8927/stat : 8927 (java) R 8901 8901 7744 0 -1 4202560 93 0 0 0 138 0 0 0 20 0 28 0 3600375 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983361187600 139983813308348 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8928] ppid=8901 vsize=13801768 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8928/stat : 8928 (java) R 8901 8901 7744 0 -1 4202560 50 0 0 0 138 0 0 0 20 0 28 0 3600375 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983360136024 139983813309001 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8929] ppid=8901 vsize=13801768 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8929/stat : 8929 (java) R 8901 8901 7744 0 -1 4202560 105 0 0 0 140 0 0 0 20 0 28 0 3600375 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983359081584 139983805583441 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8930] ppid=8901 vsize=13801768 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8930/stat : 8930 (java) R 8901 8901 7744 0 -1 4202560 85 0 0 0 151 0 0 0 20 0 28 0 3600375 14133010432 66898 33554432000 4194304 4196468 140731144738528 139983358029096 139983813308624 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
Current children cumulated CPU time (s) 19.15
Current children cumulated vsize (KiB) 13811280
[startup+6.30156 s]
/proc/loadavg: 14.97 14.66 10.22 17/298 8930
/proc/meminfo: memFree=30972380/32770624 swapFree=5880/237600
################
# More data... #
################
[pid=8902/tid=8929] ppid=8901 vsize=13801768 CPUtime=218.25 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8929/stat : 8929 (java) R 8901 8901 7744 0 -1 4202560 1618 0 0 0 21825 0 0 0 20 0 28 0 3600375 14133010432 63438 33554432000 4194304 4196468 140731144738528 139983359082248 139983813308326 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8930] ppid=8901 vsize=13801768 CPUtime=218.17 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8930/stat : 8930 (java) R 8901 8901 7744 0 -1 4202560 1383 0 0 0 21816 1 0 0 20 0 28 0 3600375 14133010432 63438 33554432000 4194304 4196468 140731144738528 139983358028824 139983813308877 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
Current children cumulated CPU time (s) 1762.3
Current children cumulated vsize (KiB) 13811280
[startup+282.301 s]
/proc/loadavg: 16.13 15.48 11.70 17/301 9039
/proc/meminfo: memFree=31434532/32770624 swapFree=5880/237940
[pid=8901] ppid=8898 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8901/stat : 8901 (xcsp3-exec) S 8898 8901 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3600266 9740288 346 33554432000 4194304 5098028 140727164659776 140727164657880 140335624721020 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22941696 140727164662926 140727164663136 140727164663136 140727164665835 0
/proc/8901/statm: 2378 346 289 221 0 87 0
[pid=8902] ppid=8901 vsize=13801768 CPUtime=2237.89 cores=0,2,4,6,8,10,12,14
/proc/8902/stat : 8902 (java) S 8901 8901 7744 0 -1 1077944320 107169 0 0 0 223662 127 0 0 20 0 28 0 3600266 14133010432 70236 33554432000 4194304 4196468 140731144738528 140731144721072 139984189005559 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
/proc/8902/statm: 3450442 70236 3288 1 0 3437675 0
[pid=8902/tid=8903] ppid=8901 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8903/stat : 8903 (java) S 8901 8901 7744 0 -1 1077944384 8669 0 0 0 101 4 0 0 20 0 28 0 3600267 14133010432 70236 33554432000 4194304 4196468 140731144738528 139984193246336 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8905] ppid=8901 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8905/stat : 8905 (java) S 8901 8901 7744 0 -1 1077944384 502 0 0 0 27 7 0 0 20 0 28 0 3600267 14133010432 70236 33554432000 4194304 4196468 140731144738528 139984127969680 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8906] ppid=8901 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8906/stat : 8906 (java) S 8901 8901 7744 0 -1 1077944384 1704 0 0 0 28 8 0 0 20 0 28 0 3600267 14133010432 70236 33554432000 4194304 4196468 140731144738528 139984126916880 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8907] ppid=8901 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8907/stat : 8907 (java) S 8901 8901 7744 0 -1 1077944384 1832 0 0 0 24 7 0 0 20 0 28 0 3600267 14133010432 70236 33554432000 4194304 4196468 140731144738528 139984125864592 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8908] ppid=8901 vsize=13801768 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8908/stat : 8908 (java) S 8901 8901 7744 0 -1 1077944384 538 0 0 0 26 9 0 0 20 0 28 0 3600267 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983784991248 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8909] ppid=8901 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8909/stat : 8909 (java) S 8901 8901 7744 0 -1 1077944384 529 0 0 0 26 8 0 0 20 0 28 0 3600268 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983783938960 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8910] ppid=8901 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8910/stat : 8910 (java) S 8901 8901 7744 0 -1 1077944384 1943 0 0 0 28 8 0 0 20 0 28 0 3600268 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983782886160 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8911] ppid=8901 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8911/stat : 8911 (java) S 8901 8901 7744 0 -1 1077944384 3298 0 0 0 27 7 0 0 20 0 28 0 3600268 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983781833872 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8912] ppid=8901 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8912/stat : 8912 (java) S 8901 8901 7744 0 -1 1077944384 1633 0 0 0 27 7 0 0 20 0 28 0 3600268 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983780781072 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8913] ppid=8901 vsize=13801768 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8913/stat : 8913 (java) S 8901 8901 7744 0 -1 1077944384 2602 0 0 0 25 26 0 0 20 0 28 0 3600270 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983382886512 139984189016706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8914] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8914/stat : 8914 (java) S 8901 8901 7744 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3600271 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983381832480 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8915] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8915/stat : 8915 (java) S 8901 8901 7744 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3600271 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983380780144 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8916] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8916/stat : 8916 (java) S 8901 8901 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3600275 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983379728464 139984189024155 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8917] ppid=8901 vsize=13801768 CPUtime=4.18 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8917/stat : 8917 (java) S 8901 8901 7744 0 -1 1077944384 18810 0 0 0 415 3 0 0 20 0 28 0 3600275 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983378676336 139984189016706 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8918] ppid=8901 vsize=13801768 CPUtime=3.77 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8918/stat : 8918 (java) S 8901 8901 7744 0 -1 1077944384 15756 0 0 0 375 2 0 0 20 0 28 0 3600275 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983377623536 139984189016706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8919] ppid=8901 vsize=13801768 CPUtime=4.36 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8919/stat : 8919 (java) S 8901 8901 7744 0 -1 1077944384 19832 0 0 0 433 3 0 0 20 0 28 0 3600275 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983376571248 139984189016706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8920] ppid=8901 vsize=13801768 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8920/stat : 8920 (java) S 8901 8901 7744 0 -1 1077944384 13591 0 0 0 129 3 0 0 20 0 28 0 3600275 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983375518448 139984189016706 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8921] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8921/stat : 8921 (java) S 8901 8901 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3600276 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983374465376 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8922] ppid=8901 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8922/stat : 8922 (java) S 8901 8901 7744 0 -1 1077944384 693 0 0 0 8 5 0 0 20 0 28 0 3600276 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983373412656 139984189016706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8923] ppid=8901 vsize=13801768 CPUtime=277.38 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8923/stat : 8923 (java) R 8901 8901 7744 0 -1 4202560 2027 0 0 0 27736 2 0 0 20 0 28 0 3600374 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983365397280 139983813308686 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8924] ppid=8901 vsize=13801768 CPUtime=277.76 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8924/stat : 8924 (java) R 8901 8901 7744 0 -1 4202560 1582 0 0 0 27775 1 0 0 20 0 28 0 3600374 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983364347872 139983813309042 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8925] ppid=8901 vsize=13801768 CPUtime=277.61 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8925/stat : 8925 (java) R 8901 8901 7744 0 -1 4202560 1667 0 0 0 27760 1 0 0 20 0 28 0 3600374 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983363293448 139983816589069 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8926] ppid=8901 vsize=13801768 CPUtime=277.28 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8926/stat : 8926 (java) R 8901 8901 7744 0 -1 4202560 2910 0 0 0 27726 2 0 0 20 0 28 0 3600374 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983362240440 139983816589090 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8927] ppid=8901 vsize=13801768 CPUtime=277.32 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8927/stat : 8927 (java) R 8901 8901 7744 0 -1 4202560 1624 0 0 0 27731 1 0 0 20 0 28 0 3600375 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983361188360 139983813852497 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8928] ppid=8901 vsize=13801768 CPUtime=277.01 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8928/stat : 8928 (java) R 8901 8901 7744 0 -1 4202560 930 0 0 0 27700 1 0 0 20 0 28 0 3600375 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983360135560 139983813309004 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8929] ppid=8901 vsize=13801768 CPUtime=277.55 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8929/stat : 8929 (java) R 8901 8901 7744 0 -1 4202560 1687 0 0 0 27755 0 0 0 20 0 28 0 3600375 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983359082248 139983812310561 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8930] ppid=8901 vsize=13801768 CPUtime=277.68 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8930/stat : 8930 (java) R 8901 8901 7744 0 -1 4202560 1469 0 0 0 27767 1 0 0 20 0 28 0 3600375 14133010432 70236 33554432000 4194304 4196468 140731144738528 139983358029176 139983814030372 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
Current children cumulated CPU time (s) 2237.89
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.801 s]
/proc/loadavg: 16.09 15.51 11.79 17/301 9039
/proc/meminfo: memFree=31393012/32770624 swapFree=5880/237964
[pid=8901] ppid=8898 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8901/stat : 8901 (xcsp3-exec) S 8898 8901 7744 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3600266 9740288 346 33554432000 4194304 5098028 140727164659776 140727164657880 140335624721020 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 22941696 140727164662926 140727164663136 140727164663136 140727164665835 0
/proc/8901/statm: 2378 346 289 221 0 87 0
[pid=8902] ppid=8901 vsize=13801768 CPUtime=2400.42 cores=0,2,4,6,8,10,12,14
/proc/8902/stat : 8902 (java) S 8901 8901 7744 0 -1 1077944320 108120 0 0 0 239906 136 0 0 20 0 28 0 3600266 14133010432 77159 33554432000 4194304 4196468 140731144738528 140731144721072 139984189005559 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
/proc/8902/statm: 3450442 77159 3288 1 0 3437675 0
[pid=8902/tid=8903] ppid=8901 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8903/stat : 8903 (java) S 8901 8901 7744 0 -1 1077944384 8669 0 0 0 101 4 0 0 20 0 28 0 3600267 14133010432 77159 33554432000 4194304 4196468 140731144738528 139984193246336 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8905] ppid=8901 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8905/stat : 8905 (java) S 8901 8901 7744 0 -1 1077944384 528 0 0 0 29 8 0 0 20 0 28 0 3600267 14133010432 77159 33554432000 4194304 4196468 140731144738528 139984127969680 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8906] ppid=8901 vsize=13801768 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8906/stat : 8906 (java) S 8901 8901 7744 0 -1 1077944384 1715 0 0 0 31 8 0 0 20 0 28 0 3600267 14133010432 77159 33554432000 4194304 4196468 140731144738528 139984126916880 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8907] ppid=8901 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8907/stat : 8907 (java) S 8901 8901 7744 0 -1 1077944384 1839 0 0 0 26 8 0 0 20 0 28 0 3600267 14133010432 77159 33554432000 4194304 4196468 140731144738528 139984125864592 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8908] ppid=8901 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8908/stat : 8908 (java) S 8901 8901 7744 0 -1 1077944384 546 0 0 0 29 9 0 0 20 0 28 0 3600267 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983784991248 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8909] ppid=8901 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8909/stat : 8909 (java) S 8901 8901 7744 0 -1 1077944384 541 0 0 0 29 8 0 0 20 0 28 0 3600268 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983783938960 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8910] ppid=8901 vsize=13801768 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8910/stat : 8910 (java) S 8901 8901 7744 0 -1 1077944384 1952 0 0 0 32 8 0 0 20 0 28 0 3600268 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983782886160 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8911] ppid=8901 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8911/stat : 8911 (java) S 8901 8901 7744 0 -1 1077944384 3318 0 0 0 30 7 0 0 20 0 28 0 3600268 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983781833872 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8912] ppid=8901 vsize=13801768 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8912/stat : 8912 (java) S 8901 8901 7744 0 -1 1077944384 1655 0 0 0 29 7 0 0 20 0 28 0 3600268 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983780781072 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8913] ppid=8901 vsize=13801768 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8913/stat : 8913 (java) S 8901 8901 7744 0 -1 1077944384 2606 0 0 0 29 30 0 0 20 0 28 0 3600270 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983382886512 139984189016706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8914] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8914/stat : 8914 (java) S 8901 8901 7744 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 3600271 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983381832480 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8915] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8915/stat : 8915 (java) S 8901 8901 7744 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3600271 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983380780144 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8916] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8916/stat : 8916 (java) S 8901 8901 7744 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3600275 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983379728464 139984189024155 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8917] ppid=8901 vsize=13801768 CPUtime=4.19 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8917/stat : 8917 (java) S 8901 8901 7744 0 -1 1077944384 19563 0 0 0 416 3 0 0 20 0 28 0 3600275 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983378676336 139984189016706 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8918] ppid=8901 vsize=13801768 CPUtime=3.77 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8918/stat : 8918 (java) S 8901 8901 7744 0 -1 1077944384 15756 0 0 0 375 2 0 0 20 0 28 0 3600275 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983377623536 139984189016706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8919] ppid=8901 vsize=13801768 CPUtime=4.36 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8919/stat : 8919 (java) S 8901 8901 7744 0 -1 1077944384 19832 0 0 0 433 3 0 0 20 0 28 0 3600275 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983376571248 139984189016706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8920] ppid=8901 vsize=13801768 CPUtime=1.32 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8920/stat : 8920 (java) S 8901 8901 7744 0 -1 1077944384 13591 0 0 0 129 3 0 0 20 0 28 0 3600275 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983375518448 139984189016706 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8921] ppid=8901 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8921/stat : 8921 (java) S 8901 8901 7744 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3600276 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983374465376 139984189015765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8922] ppid=8901 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8922/stat : 8922 (java) S 8901 8901 7744 0 -1 1077944384 695 0 0 0 8 5 0 0 20 0 28 0 3600276 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983373412656 139984189016706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8923] ppid=8901 vsize=13801768 CPUtime=297.71 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8923/stat : 8923 (java) R 8901 8901 7744 0 -1 4202560 2040 0 0 0 29769 2 0 0 20 0 28 0 3600374 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983365397528 139983814158195 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8924] ppid=8901 vsize=13801768 CPUtime=297.91 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8924/stat : 8924 (java) R 8901 8901 7744 0 -1 4202560 1586 0 0 0 29790 1 0 0 20 0 28 0 3600374 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983364345104 139983813308372 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8925] ppid=8901 vsize=13801768 CPUtime=297.88 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8925/stat : 8925 (java) R 8901 8901 7744 0 -1 4202560 1673 0 0 0 29787 1 0 0 20 0 28 0 3600374 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983363293448 139983813308850 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8926] ppid=8901 vsize=13801768 CPUtime=297.61 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8926/stat : 8926 (java) R 8901 8901 7744 0 -1 4202560 2941 0 0 0 29759 2 0 0 20 0 28 0 3600374 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983362242784 139983816589076 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8927] ppid=8901 vsize=13801768 CPUtime=297.56 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8927/stat : 8927 (java) R 8901 8901 7744 0 -1 4202560 1631 0 0 0 29755 1 0 0 20 0 28 0 3600375 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983361187896 139983816589090 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8928] ppid=8901 vsize=13801768 CPUtime=297.31 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8928/stat : 8928 (java) R 8901 8901 7744 0 -1 4202560 933 0 0 0 29730 1 0 0 20 0 28 0 3600375 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983360135560 139983813308731 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8929] ppid=8901 vsize=13801768 CPUtime=297.91 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8929/stat : 8929 (java) R 8901 8901 7744 0 -1 4202560 1690 0 0 0 29790 1 0 0 20 0 28 0 3600375 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983359082248 139983813308606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
[pid=8902/tid=8930] ppid=8901 vsize=13801768 CPUtime=297.88 cores=0,2,4,6,8,10,12,14
/proc/8902/task/8930/stat : 8930 (java) R 8901 8901 7744 0 -1 4202560 1479 0 0 0 29787 1 0 0 20 0 28 0 3600375 14133010432 77159 33554432000 4194304 4196468 140731144738528 139983358029096 139983813308228 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10575872 140731144746172 140731144746348 140731144746348 140731144749007 0
Current children cumulated CPU time (s) 2400.42
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 8902 sig 9
??? kill 8901 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 8901 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2282
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1285
# CPU time returned by wait4() is 0.003567
# while last known CPU time is 2400.42
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.812
CPU time (s): 2400.42
CPU user time (s): 2399.06
CPU system time (s): 1.36
CPU usage (%): 792.71
Max. virtual memory (cumulated for all children) (KiB): 13812944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002282
system time used= 0.001285
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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.75293 second user time and 4.13536 second system time
The end