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-4244424-1500683384/watcher-4244424-1500683384 -o /tmp/evaluation-result-4244424-1500683384/solver-4244424-1500683384 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8602 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 608092722 HOME/instance-4244424-1500683384.xml
pid=8631
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: 1.01 1.04 1.31 3/245 8635
/proc/meminfo: memFree=31995384/32770624 swapFree=5884/234508
[pid=8635] ppid=8631 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8635/stat : 8635 (xcsp3-exec) S 8631 8635 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3606201 9740288 346 33554432000 4194304 5098028 140730919765216 140730919763320 140295029248636 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 30842880 140730919773327 140730919773536 140730919773536 140730919776235 0
/proc/8635/statm: 2378 346 289 221 0 87 0
[startup+0.100137 s]
/proc/loadavg: 1.01 1.04 1.31 3/245 8635
/proc/meminfo: memFree=31995384/32770624 swapFree=5884/234508
[pid=8635] ppid=8631 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8635/stat : 8635 (xcsp3-exec) S 8631 8635 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3606201 9740288 346 33554432000 4194304 5098028 140730919765216 140730919763320 140295029248636 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 30842880 140730919773327 140730919773536 140730919773536 140730919776235 0
/proc/8635/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200289 s]
/proc/loadavg: 1.01 1.04 1.31 3/245 8635
/proc/meminfo: memFree=31995384/32770624 swapFree=5884/234508
[pid=8635] ppid=8631 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8635/stat : 8635 (xcsp3-exec) S 8631 8635 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3606201 9740288 346 33554432000 4194304 5098028 140730919765216 140730919763320 140295029248636 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 30842880 140730919773327 140730919773536 140730919773536 140730919776235 0
/proc/8635/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300284 s]
/proc/loadavg: 1.01 1.04 1.31 3/245 8635
/proc/meminfo: memFree=31995384/32770624 swapFree=5884/234508
[pid=8635] ppid=8631 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8635/stat : 8635 (xcsp3-exec) S 8631 8635 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3606201 9740288 346 33554432000 4194304 5098028 140730919765216 140730919763320 140295029248636 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 30842880 140730919773327 140730919773536 140730919773536 140730919776235 0
/proc/8635/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70018 s]
/proc/loadavg: 1.01 1.04 1.31 3/245 8635
/proc/meminfo: memFree=31995384/32770624 swapFree=5884/234508
[pid=8635] ppid=8631 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8635/stat : 8635 (xcsp3-exec) S 8631 8635 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3606201 9740288 346 33554432000 4194304 5098028 140730919765216 140730919763320 140295029248636 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 30842880 140730919773327 140730919773536 140730919773536 140730919776235 0
/proc/8635/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50098 s]
/proc/loadavg: 1.25 1.08 1.32 17/294 8684
/proc/meminfo: memFree=31658792/32770624 swapFree=5884/235548
[pid=8635] ppid=8631 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8635/stat : 8635 (xcsp3-exec) S 8631 8635 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3606201 9740288 346 33554432000 4194304 5098028 140730919765216 140730919763320 140295029248636 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 30842880 140730919773327 140730919773536 140730919773536 140730919776235 0
/proc/8635/statm: 2378 346 289 221 0 87 0
[pid=8636] ppid=8635 vsize=13801768 CPUtime=6.27 cores=0,2,4,6,8,10,12,14
/proc/8636/stat : 8636 (java) S 8635 8635 8571 0 -1 1077944320 27641 0 1 0 605 22 0 0 20 0 28 0 3606201 14133010432 59073 33554432000 4194304 4196468 140727013955024 140727013937568 139932818046711 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
/proc/8636/statm: 3450442 59073 3246 1 0 3437675 0
[pid=8636/tid=8637] ppid=8635 vsize=13801768 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8637/stat : 8637 (java) S 8635 8635 8571 0 -1 1077944384 7592 0 1 0 98 5 0 0 20 0 28 0 3606201 14133010432 59073 33554432000 4194304 4196468 140727013955024 139932822287488 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 2 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8648] ppid=8635 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8648/stat : 8648 (java) S 8635 8635 8571 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3606202 14133010432 59073 33554432000 4194304 4196468 140727013955024 139932787759760 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8649] ppid=8635 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8649/stat : 8649 (java) S 8635 8635 8571 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 28 0 3606202 14133010432 59073 33554432000 4194304 4196468 140727013955024 139932415961616 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8650] ppid=8635 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8650/stat : 8650 (java) S 8635 8635 8571 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 3606202 14133010432 59073 33554432000 4194304 4196468 140727013955024 139932414908816 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8651] ppid=8635 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8651/stat : 8651 (java) S 8635 8635 8571 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 28 0 3606202 14133010432 59073 33554432000 4194304 4196468 140727013955024 139932413856016 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8652] ppid=8635 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8652/stat : 8652 (java) S 8635 8635 8571 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 3606202 14133010432 59073 33554432000 4194304 4196468 140727013955024 139932412804240 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8653] ppid=8635 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8653/stat : 8653 (java) S 8635 8635 8571 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 3606202 14133010432 59073 33554432000 4194304 4196468 140727013955024 139932411751440 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8654] ppid=8635 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8654/stat : 8654 (java) S 8635 8635 8571 0 -1 1077944384 63 0 0 0 1 1 0 0 20 0 28 0 3606202 14133010432 59073 33554432000 4194304 4196468 140727013955024 139932410698640 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8655] ppid=8635 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8655/stat : 8655 (java) S 8635 8635 8571 0 -1 1077944384 154 0 0 0 1 1 0 0 20 0 28 0 3606202 14133010432 59073 33554432000 4194304 4196468 140727013955024 139932409645840 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8657] ppid=8635 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8657/stat : 8657 (java) S 8635 8635 8571 0 -1 1077944384 139 0 0 0 0 0 0 0 20 0 28 0 3606205 14133010432 59073 33554432000 4194304 4196468 140727013955024 139932011870576 139932818057858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8660] ppid=8635 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8660/stat : 8660 (java) S 8635 8635 8571 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3606206 14133010432 59073 33554432000 4194304 4196468 140727013955024 139932010816544 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8661] ppid=8635 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8661/stat : 8661 (java) S 8635 8635 8571 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 3606206 14133010432 59073 33554432000 4194304 4196468 140727013955024 139932009763696 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8669] ppid=8635 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8669/stat : 8669 (java) S 8635 8635 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3606210 14133010432 59073 33554432000 4194304 4196468 140727013955024 139932008712016 139932818065307 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8670] ppid=8635 vsize=13801768 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8670/stat : 8670 (java) R 8635 8635 8571 0 -1 4202560 4580 0 0 0 69 1 0 0 20 0 28 0 3606210 14133010432 59073 33554432000 4194304 4196468 140727013955024 139932007641416 139932801546825 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8671] ppid=8635 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8671/stat : 8671 (java) R 8635 8635 8571 0 -1 4202560 4364 0 0 0 74 1 0 0 20 0 28 0 3606210 14133010432 59073 33554432000 4194304 4196468 140727013955024 139932006587752 139932801547094 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8672] ppid=8635 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8672/stat : 8672 (java) R 8635 8635 8571 0 -1 4202560 4253 0 0 0 80 0 0 0 20 0 28 0 3606210 14133010432 59073 33554432000 4194304 4196468 140727013955024 139932005540856 139932796063720 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8673] ppid=8635 vsize=13801768 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8673/stat : 8673 (java) S 8635 8635 8571 0 -1 1077944384 4497 0 0 0 67 1 0 0 20 0 28 0 3606210 14133010432 59073 33554432000 4194304 4196468 140727013955024 139932004502000 139932818057858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8674] ppid=8635 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8674/stat : 8674 (java) S 8635 8635 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3606210 14133010432 59073 33554432000 4194304 4196468 140727013955024 139932003449440 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8675] ppid=8635 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8675/stat : 8675 (java) S 8635 8635 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3606211 14133010432 59073 33554432000 4194304 4196468 140727013955024 139932002396720 139932818057858 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8677] ppid=8635 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8677/stat : 8677 (java) R 8635 8635 8571 0 -1 4202560 125 0 0 0 21 0 0 0 20 0 28 0 3606310 14133010432 59073 33554432000 4194304 4196468 140727013955024 139931994380008 139932460185296 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8678] ppid=8635 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8678/stat : 8678 (java) R 8635 8635 8571 0 -1 4202560 71 0 0 0 22 0 0 0 20 0 28 0 3606310 14133010432 59073 33554432000 4194304 4196468 140727013955024 139931993329624 139932460875065 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8679] ppid=8635 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8679/stat : 8679 (java) R 8635 8635 8571 0 -1 4202560 111 0 0 0 31 0 0 0 20 0 28 0 3606310 14133010432 59073 33554432000 4194304 4196468 140727013955024 139931992279608 139932460876368 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8680] ppid=8635 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8680/stat : 8680 (java) R 8635 8635 8571 0 -1 4202560 77 0 0 0 24 0 0 0 20 0 28 0 3606310 14133010432 59073 33554432000 4194304 4196468 140727013955024 139931991223904 139932460842996 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8681] ppid=8635 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8681/stat : 8681 (java) R 8635 8635 8571 0 -1 4202560 47 0 0 0 23 0 0 0 20 0 28 0 3606310 14133010432 59073 33554432000 4194304 4196468 140727013955024 139931990171080 139932460633860 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8682] ppid=8635 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8682/stat : 8682 (java) R 8635 8635 8571 0 -1 4202560 52 0 0 0 25 0 0 0 20 0 28 0 3606310 14133010432 59073 33554432000 4194304 4196468 140727013955024 139931989118680 139932460325029 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8683] ppid=8635 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8683/stat : 8683 (java) R 8635 8635 8571 0 -1 4202560 28 0 0 0 26 0 0 0 20 0 28 0 3606310 14133010432 59073 33554432000 4194304 4196468 140727013955024 139931988068472 139932460876402 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8684] ppid=8635 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8684/stat : 8684 (java) R 8635 8635 8571 0 -1 4202560 41 0 0 0 26 0 0 0 20 0 28 0 3606310 14133010432 59073 33554432000 4194304 4196468 140727013955024 139931987014200 139932460874636 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 13811280
[startup+3.10134 s]
/proc/loadavg: 1.25 1.08 1.32 25/302 8692
/proc/meminfo: memFree=31467748/32770624 swapFree=5884/235548
[pid=8635] ppid=8631 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8635/stat : 8635 (xcsp3-exec) S 8631 8635 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3606201 9740288 346 33554432000 4194304 5098028 140730919765216 140730919763320 140295029248636 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 30842880 140730919773327 140730919773536 140730919773536 140730919776235 0
/proc/8635/statm: 2378 346 289 221 0 87 0
[pid=8636] ppid=8635 vsize=13801768 CPUtime=19.01 cores=0,2,4,6,8,10,12,14
/proc/8636/stat : 8636 (java) S 8635 8635 8571 0 -1 1077944320 36013 0 1 0 1876 25 0 0 20 0 28 0 3606201 14133010432 65981 33554432000 4194304 4196468 140727013955024 140727013937568 139932818046711 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
/proc/8636/statm: 3450442 65981 3252 1 0 3437675 0
[pid=8636/tid=8637] ppid=8635 vsize=13801768 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8637/stat : 8637 (java) S 8635 8635 8571 0 -1 1077944384 7592 0 1 0 98 5 0 0 20 0 28 0 3606201 14133010432 65981 33554432000 4194304 4196468 140727013955024 139932822287488 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 2 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8648] ppid=8635 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8648/stat : 8648 (java) S 8635 8635 8571 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3606202 14133010432 65981 33554432000 4194304 4196468 140727013955024 139932787759760 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8649] ppid=8635 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8649/stat : 8649 (java) S 8635 8635 8571 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 28 0 3606202 14133010432 65981 33554432000 4194304 4196468 140727013955024 139932415961616 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8650] ppid=8635 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8650/stat : 8650 (java) S 8635 8635 8571 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 3606202 14133010432 65981 33554432000 4194304 4196468 140727013955024 139932414908816 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8651] ppid=8635 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8651/stat : 8651 (java) S 8635 8635 8571 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 28 0 3606202 14133010432 65981 33554432000 4194304 4196468 140727013955024 139932413856016 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8652] ppid=8635 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8652/stat : 8652 (java) S 8635 8635 8571 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 3606202 14133010432 65981 33554432000 4194304 4196468 140727013955024 139932412804240 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8653] ppid=8635 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8653/stat : 8653 (java) S 8635 8635 8571 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 3606202 14133010432 65981 33554432000 4194304 4196468 140727013955024 139932411751440 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8654] ppid=8635 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8654/stat : 8654 (java) S 8635 8635 8571 0 -1 1077944384 63 0 0 0 1 1 0 0 20 0 28 0 3606202 14133010432 65981 33554432000 4194304 4196468 140727013955024 139932410698640 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8655] ppid=8635 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8655/stat : 8655 (java) S 8635 8635 8571 0 -1 1077944384 154 0 0 0 1 1 0 0 20 0 28 0 3606202 14133010432 65981 33554432000 4194304 4196468 140727013955024 139932409645840 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8657] ppid=8635 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8657/stat : 8657 (java) S 8635 8635 8571 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 28 0 3606205 14133010432 65981 33554432000 4194304 4196468 140727013955024 139932011870576 139932818057858 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8660] ppid=8635 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8660/stat : 8660 (java) S 8635 8635 8571 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3606206 14133010432 65981 33554432000 4194304 4196468 140727013955024 139932010816544 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8661] ppid=8635 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8661/stat : 8661 (java) S 8635 8635 8571 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 3606206 14133010432 65981 33554432000 4194304 4196468 140727013955024 139932009763696 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8669] ppid=8635 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8669/stat : 8669 (java) S 8635 8635 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3606210 14133010432 65981 33554432000 4194304 4196468 140727013955024 139932008712016 139932818065307 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8670] ppid=8635 vsize=13801768 CPUtime=1.91 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8670/stat : 8670 (java) R 8635 8635 8571 0 -1 4202560 6449 0 0 0 190 1 0 0 20 0 28 0 3606210 14133010432 65981 33554432000 4194304 4196468 140727013955024 139932007646416 139932802968478 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8671] ppid=8635 vsize=13801768 CPUtime=1.92 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8671/stat : 8671 (java) R 8635 8635 8571 0 -1 4202560 5875 0 0 0 190 2 0 0 20 0 28 0 3606210 14133010432 65981 33554432000 4194304 4196468 140727013955024 139932006592560 139932803154335 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8672] ppid=8635 vsize=13801768 CPUtime=2 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8672/stat : 8672 (java) R 8635 8635 8571 0 -1 4202560 8272 0 0 0 199 1 0 0 20 0 28 0 3606210 14133010432 65981 33554432000 4194304 4196468 140727013955024 139932005536944 139932801457727 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8673] ppid=8635 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8673/stat : 8673 (java) S 8635 8635 8571 0 -1 1077944384 5062 0 0 0 73 2 0 0 20 0 28 0 3606210 14133010432 65981 33554432000 4194304 4196468 140727013955024 139932004502000 139932818057858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8674] ppid=8635 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8674/stat : 8674 (java) S 8635 8635 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3606210 14133010432 65981 33554432000 4194304 4196468 140727013955024 139932003449440 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8675] ppid=8635 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8675/stat : 8675 (java) S 8635 8635 8571 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3606211 14133010432 65981 33554432000 4194304 4196468 140727013955024 139932002396720 139932818057858 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8677] ppid=8635 vsize=13801768 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8677/stat : 8677 (java) R 8635 8635 8571 0 -1 4202560 136 0 0 0 124 0 0 0 20 0 28 0 3606310 14133010432 65981 33554432000 4194304 4196468 140727013955024 139931994383600 139932460874607 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8678] ppid=8635 vsize=13801768 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8678/stat : 8678 (java) R 8635 8635 8571 0 -1 4202560 83 0 0 0 144 0 0 0 20 0 28 0 3606310 14133010432 65981 33554432000 4194304 4196468 140727013955024 139931993331144 139932462213296 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8679] ppid=8635 vsize=13801768 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8679/stat : 8679 (java) R 8635 8635 8571 0 -1 4202560 118 0 0 0 151 0 0 0 20 0 28 0 3606310 14133010432 65981 33554432000 4194304 4196468 140727013955024 139931992276872 139932460876368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8680] ppid=8635 vsize=13801768 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8680/stat : 8680 (java) R 8635 8635 8571 0 -1 4202560 99 0 0 0 139 0 0 0 20 0 28 0 3606310 14133010432 65981 33554432000 4194304 4196468 140727013955024 139931991223688 139932462213650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8681] ppid=8635 vsize=13801768 CPUtime=1.51 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8681/stat : 8681 (java) R 8635 8635 8571 0 -1 4202560 60 0 0 0 151 0 0 0 20 0 28 0 3606310 14133010432 65981 33554432000 4194304 4196468 140727013955024 139931990170824 139932460874072 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8682] ppid=8635 vsize=13801768 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8682/stat : 8682 (java) R 8635 8635 8571 0 -1 4202560 80 0 0 0 142 0 0 0 20 0 28 0 3606310 14133010432 65981 33554432000 4194304 4196468 140727013955024 139931989121472 139932461670736 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8683] ppid=8635 vsize=13801768 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8683/stat : 8683 (java) R 8635 8635 8571 0 -1 4202560 35 0 0 0 139 0 0 0 20 0 28 0 3606310 14133010432 65981 33554432000 4194304 4196468 140727013955024 139931988065672 139932462213326 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8684] ppid=8635 vsize=13801768 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8684/stat : 8684 (java) R 8635 8635 8571 0 -1 4202560 284 0 0 0 117 0 0 0 20 0 28 0 3606310 14133010432 65981 33554432000 4194304 4196468 140727013955024 139931987011568 139932460684307 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
Current children cumulated CPU time (s) 19.01
Current children cumulated vsize (KiB) 13811280
[startup+6.30141 s]
/proc/loadavg: 2.59 1.37 1.41 19/302 8692
/proc/meminfo: memFree=31460004/32770624 swapFree=5884/235564
################
# More data... #
################
[pid=8636/tid=8683] ppid=8635 vsize=13801768 CPUtime=219.19 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8683/stat : 8683 (java) R 8635 8635 8571 0 -1 4202560 920 0 0 0 21918 1 0 0 20 0 28 0 3606310 14133010432 113586 33554432000 4194304 4196468 140727013955024 139931988065960 139932462213490 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8684] ppid=8635 vsize=13801768 CPUtime=218.79 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8684/stat : 8684 (java) R 8635 8635 8571 0 -1 4202560 1444 0 0 0 21879 0 0 0 20 0 28 0 3606310 14133010432 113586 33554432000 4194304 4196468 140727013955024 139931987013016 139932462213522 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
Current children cumulated CPU time (s) 1765.26
Current children cumulated vsize (KiB) 13811280
[startup+282.301 s]
/proc/loadavg: 15.90 10.23 5.18 18/303 8704
/proc/meminfo: memFree=31059148/32770624 swapFree=5884/235808
[pid=8635] ppid=8631 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8635/stat : 8635 (xcsp3-exec) S 8631 8635 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3606201 9740288 346 33554432000 4194304 5098028 140730919765216 140730919763320 140295029248636 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 30842880 140730919773327 140730919773536 140730919773536 140730919776235 0
/proc/8635/statm: 2378 346 289 221 0 87 0
[pid=8636] ppid=8635 vsize=13801768 CPUtime=2243.3 cores=0,2,4,6,8,10,12,14
/proc/8636/stat : 8636 (java) S 8635 8635 8571 0 -1 1077944320 99994 0 1 0 224217 113 0 0 20 0 28 0 3606201 14133010432 118966 33554432000 4194304 4196468 140727013955024 140727013937568 139932818046711 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
/proc/8636/statm: 3450442 118966 3277 1 0 3437675 0
[pid=8636/tid=8637] ppid=8635 vsize=13801768 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8637/stat : 8637 (java) S 8635 8635 8571 0 -1 1077944384 7592 0 1 0 98 5 0 0 20 0 28 0 3606201 14133010432 118966 33554432000 4194304 4196468 140727013955024 139932822287488 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 2 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8648] ppid=8635 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8648/stat : 8648 (java) S 8635 8635 8571 0 -1 1077944384 355 0 0 0 7 9 0 0 20 0 28 0 3606202 14133010432 118966 33554432000 4194304 4196468 140727013955024 139932787759760 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8649] ppid=8635 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8649/stat : 8649 (java) S 8635 8635 8571 0 -1 1077944384 539 0 0 0 9 10 0 0 20 0 28 0 3606202 14133010432 118966 33554432000 4194304 4196468 140727013955024 139932415961616 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8650] ppid=8635 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8650/stat : 8650 (java) S 8635 8635 8571 0 -1 1077944384 1010 0 0 0 9 9 0 0 20 0 28 0 3606202 14133010432 118966 33554432000 4194304 4196468 140727013955024 139932414908816 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8651] ppid=8635 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8651/stat : 8651 (java) S 8635 8635 8571 0 -1 1077944384 1102 0 0 0 9 10 0 0 20 0 28 0 3606202 14133010432 118966 33554432000 4194304 4196468 140727013955024 139932413856016 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8652] ppid=8635 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8652/stat : 8652 (java) S 8635 8635 8571 0 -1 1077944384 234 0 0 0 8 9 0 0 20 0 28 0 3606202 14133010432 118966 33554432000 4194304 4196468 140727013955024 139932412804240 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8653] ppid=8635 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8653/stat : 8653 (java) S 8635 8635 8571 0 -1 1077944384 199 0 0 0 8 8 0 0 20 0 28 0 3606202 14133010432 118966 33554432000 4194304 4196468 140727013955024 139932411751440 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8654] ppid=8635 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8654/stat : 8654 (java) S 8635 8635 8571 0 -1 1077944384 357 0 0 0 10 9 0 0 20 0 28 0 3606202 14133010432 118966 33554432000 4194304 4196468 140727013955024 139932410698640 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8655] ppid=8635 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8655/stat : 8655 (java) S 8635 8635 8571 0 -1 1077944384 1390 0 0 0 9 10 0 0 20 0 28 0 3606202 14133010432 118966 33554432000 4194304 4196468 140727013955024 139932409645840 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8657] ppid=8635 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8657/stat : 8657 (java) S 8635 8635 8571 0 -1 1077944384 1337 0 0 0 7 7 0 0 20 0 28 0 3606205 14133010432 118966 33554432000 4194304 4196468 140727013955024 139932011870576 139932818057858 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8660] ppid=8635 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8660/stat : 8660 (java) S 8635 8635 8571 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 3606206 14133010432 118966 33554432000 4194304 4196468 140727013955024 139932010816608 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8661] ppid=8635 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8661/stat : 8661 (java) S 8635 8635 8571 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 3606206 14133010432 118966 33554432000 4194304 4196468 140727013955024 139932009763696 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8669] ppid=8635 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8669/stat : 8669 (java) S 8635 8635 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3606210 14133010432 118966 33554432000 4194304 4196468 140727013955024 139932008712016 139932818065307 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8670] ppid=8635 vsize=13801768 CPUtime=4.58 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8670/stat : 8670 (java) S 8635 8635 8571 0 -1 1077944384 17464 0 0 0 455 3 0 0 20 0 28 0 3606210 14133010432 118966 33554432000 4194304 4196468 140727013955024 139932007660400 139932818057858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8671] ppid=8635 vsize=13801768 CPUtime=5.44 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8671/stat : 8671 (java) S 8635 8635 8571 0 -1 1077944384 20325 0 0 0 541 3 0 0 20 0 28 0 3606210 14133010432 118966 33554432000 4194304 4196468 140727013955024 139932006607600 139932818057858 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8672] ppid=8635 vsize=13801768 CPUtime=4.78 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8672/stat : 8672 (java) S 8635 8635 8571 0 -1 1077944384 20083 0 0 0 476 2 0 0 20 0 28 0 3606210 14133010432 118966 33554432000 4194304 4196468 140727013955024 139932005554800 139932818057858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8673] ppid=8635 vsize=13801768 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8673/stat : 8673 (java) S 8635 8635 8571 0 -1 1077944384 13969 0 0 0 111 3 0 0 20 0 28 0 3606210 14133010432 118966 33554432000 4194304 4196468 140727013955024 139932004502000 139932818057858 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8674] ppid=8635 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8674/stat : 8674 (java) S 8635 8635 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3606210 14133010432 118966 33554432000 4194304 4196468 140727013955024 139932003449440 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8675] ppid=8635 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8675/stat : 8675 (java) S 8635 8635 8571 0 -1 1077944384 632 0 0 0 6 4 0 0 20 0 28 0 3606211 14133010432 118966 33554432000 4194304 4196468 140727013955024 139932002396720 139932818057858 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8677] ppid=8635 vsize=13801768 CPUtime=276.03 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8677/stat : 8677 (java) R 8635 8635 8571 0 -1 4202560 1406 0 0 0 27603 0 0 0 20 0 28 0 3606310 14133010432 118966 33554432000 4194304 4196468 140727013955024 139931994380680 139932463271014 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8678] ppid=8635 vsize=13801768 CPUtime=278 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8678/stat : 8678 (java) R 8635 8635 8571 0 -1 4202560 987 0 0 0 27799 1 0 0 20 0 28 0 3606310 14133010432 118966 33554432000 4194304 4196468 140727013955024 139931993328024 139932463271075 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8679] ppid=8635 vsize=13801768 CPUtime=278.68 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8679/stat : 8679 (java) R 8635 8635 8571 0 -1 4202560 1444 0 0 0 27868 0 0 0 20 0 28 0 3606310 14133010432 118966 33554432000 4194304 4196468 140727013955024 139931992273344 139932463271164 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8680] ppid=8635 vsize=13801768 CPUtime=278.21 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8680/stat : 8680 (java) R 8635 8635 8571 0 -1 4202560 2709 0 0 0 27821 0 0 0 20 0 28 0 3606310 14133010432 118966 33554432000 4194304 4196468 140727013955024 139931991224360 139932463271199 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8681] ppid=8635 vsize=13801768 CPUtime=278.21 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8681/stat : 8681 (java) R 8635 8635 8571 0 -1 4202560 1194 0 0 0 27821 0 0 0 20 0 28 0 3606310 14133010432 118966 33554432000 4194304 4196468 140727013955024 139931990172632 139932463271232 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8682] ppid=8635 vsize=13801768 CPUtime=278.51 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8682/stat : 8682 (java) R 8635 8635 8571 0 -1 4202560 1885 0 0 0 27850 1 0 0 20 0 28 0 3606310 14133010432 118966 33554432000 4194304 4196468 140727013955024 139931989118872 139932463271318 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8683] ppid=8635 vsize=13801768 CPUtime=278.11 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8683/stat : 8683 (java) R 8635 8635 8571 0 -1 4202560 957 0 0 0 27810 1 0 0 20 0 28 0 3606310 14133010432 118966 33554432000 4194304 4196468 140727013955024 139931988067848 139932463271139 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8684] ppid=8635 vsize=13801768 CPUtime=278.7 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8684/stat : 8684 (java) R 8635 8635 8571 0 -1 4202560 1478 0 0 0 27870 0 0 0 20 0 28 0 3606310 14133010432 118966 33554432000 4194304 4196468 140727013955024 139931987013784 139932462610573 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
Current children cumulated CPU time (s) 2243.3
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.001 s]
/proc/loadavg: 15.93 10.61 5.41 18/300 8705
/proc/meminfo: memFree=31056700/32770624 swapFree=5884/235884
[pid=8635] ppid=8631 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8635/stat : 8635 (xcsp3-exec) S 8631 8635 8571 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3606201 9740288 346 33554432000 4194304 5098028 140730919765216 140730919763320 140295029248636 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 30842880 140730919773327 140730919773536 140730919773536 140730919776235 0
/proc/8635/statm: 2378 346 289 221 0 87 0
[pid=8636] ppid=8635 vsize=13801768 CPUtime=2400.22 cores=0,2,4,6,8,10,12,14
/proc/8636/stat : 8636 (java) S 8635 8635 8571 0 -1 1077944320 101530 0 1 0 239898 124 0 0 20 0 28 0 3606201 14133010432 119344 33554432000 4194304 4196468 140727013955024 140727013937568 139932818046711 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
/proc/8636/statm: 3450442 119344 3277 1 0 3437675 0
[pid=8636/tid=8637] ppid=8635 vsize=13801768 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8637/stat : 8637 (java) S 8635 8635 8571 0 -1 1077944384 7592 0 1 0 98 5 0 0 20 0 28 0 3606201 14133010432 119344 33554432000 4194304 4196468 140727013955024 139932822287488 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 2 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8648] ppid=8635 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8648/stat : 8648 (java) S 8635 8635 8571 0 -1 1077944384 373 0 0 0 8 11 0 0 20 0 28 0 3606202 14133010432 119344 33554432000 4194304 4196468 140727013955024 139932787759760 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8649] ppid=8635 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8649/stat : 8649 (java) S 8635 8635 8571 0 -1 1077944384 560 0 0 0 10 11 0 0 20 0 28 0 3606202 14133010432 119344 33554432000 4194304 4196468 140727013955024 139932415961616 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8650] ppid=8635 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8650/stat : 8650 (java) S 8635 8635 8571 0 -1 1077944384 1059 0 0 0 11 10 0 0 20 0 28 0 3606202 14133010432 119344 33554432000 4194304 4196468 140727013955024 139932414908816 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8651] ppid=8635 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8651/stat : 8651 (java) S 8635 8635 8571 0 -1 1077944384 1241 0 0 0 11 10 0 0 20 0 28 0 3606202 14133010432 119344 33554432000 4194304 4196468 140727013955024 139932413856016 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8652] ppid=8635 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8652/stat : 8652 (java) S 8635 8635 8571 0 -1 1077944384 253 0 0 0 10 10 0 0 20 0 28 0 3606202 14133010432 119344 33554432000 4194304 4196468 140727013955024 139932412804240 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8653] ppid=8635 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8653/stat : 8653 (java) S 8635 8635 8571 0 -1 1077944384 327 0 0 0 10 9 0 0 20 0 28 0 3606202 14133010432 119344 33554432000 4194304 4196468 140727013955024 139932411751440 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8654] ppid=8635 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8654/stat : 8654 (java) S 8635 8635 8571 0 -1 1077944384 416 0 0 0 11 10 0 0 20 0 28 0 3606202 14133010432 119344 33554432000 4194304 4196468 140727013955024 139932410698640 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8655] ppid=8635 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8655/stat : 8655 (java) S 8635 8635 8571 0 -1 1077944384 1411 0 0 0 10 11 0 0 20 0 28 0 3606202 14133010432 119344 33554432000 4194304 4196468 140727013955024 139932409645840 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8657] ppid=8635 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8657/stat : 8657 (java) S 8635 8635 8571 0 -1 1077944384 1411 0 0 0 7 7 0 0 20 0 28 0 3606205 14133010432 119344 33554432000 4194304 4196468 140727013955024 139932011870576 139932818057858 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8660] ppid=8635 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8660/stat : 8660 (java) S 8635 8635 8571 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 3606206 14133010432 119344 33554432000 4194304 4196468 140727013955024 139932010816608 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8661] ppid=8635 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8661/stat : 8661 (java) S 8635 8635 8571 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 3606206 14133010432 119344 33554432000 4194304 4196468 140727013955024 139932009763696 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8669] ppid=8635 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8669/stat : 8669 (java) S 8635 8635 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3606210 14133010432 119344 33554432000 4194304 4196468 140727013955024 139932008712016 139932818065307 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8670] ppid=8635 vsize=13801768 CPUtime=4.58 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8670/stat : 8670 (java) S 8635 8635 8571 0 -1 1077944384 17470 0 0 0 455 3 0 0 20 0 28 0 3606210 14133010432 119344 33554432000 4194304 4196468 140727013955024 139932007660400 139932818057858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8671] ppid=8635 vsize=13801768 CPUtime=5.44 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8671/stat : 8671 (java) S 8635 8635 8571 0 -1 1077944384 20329 0 0 0 541 3 0 0 20 0 28 0 3606210 14133010432 119344 33554432000 4194304 4196468 140727013955024 139932006607600 139932818057858 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8672] ppid=8635 vsize=13801768 CPUtime=4.78 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8672/stat : 8672 (java) S 8635 8635 8571 0 -1 1077944384 20088 0 0 0 476 2 0 0 20 0 28 0 3606210 14133010432 119344 33554432000 4194304 4196468 140727013955024 139932005554800 139932818057858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8673] ppid=8635 vsize=13801768 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8673/stat : 8673 (java) S 8635 8635 8571 0 -1 1077944384 14076 0 0 0 112 3 0 0 20 0 28 0 3606210 14133010432 119344 33554432000 4194304 4196468 140727013955024 139932004502000 139932818057858 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8674] ppid=8635 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8674/stat : 8674 (java) S 8635 8635 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3606210 14133010432 119344 33554432000 4194304 4196468 140727013955024 139932003449440 139932818056917 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8675] ppid=8635 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8675/stat : 8675 (java) S 8635 8635 8571 0 -1 1077944384 665 0 0 0 6 4 0 0 20 0 28 0 3606211 14133010432 119344 33554432000 4194304 4196468 140727013955024 139932002396720 139932818057858 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8677] ppid=8635 vsize=13801768 CPUtime=295.68 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8677/stat : 8677 (java) R 8635 8635 8571 0 -1 4202560 1575 0 0 0 29568 0 0 0 20 0 28 0 3606310 14133010432 119344 33554432000 4194304 4196468 140727013955024 139931994380608 139932463271190 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8678] ppid=8635 vsize=13801768 CPUtime=297.61 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8678/stat : 8678 (java) R 8635 8635 8571 0 -1 4202560 1005 0 0 0 29760 1 0 0 20 0 28 0 3606310 14133010432 119344 33554432000 4194304 4196468 140727013955024 139931993329160 139932463271001 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8679] ppid=8635 vsize=13801768 CPUtime=298.34 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8679/stat : 8679 (java) R 8635 8635 8571 0 -1 4202560 1799 0 0 0 29833 1 0 0 20 0 28 0 3606310 14133010432 119344 33554432000 4194304 4196468 140727013955024 139931992277288 139932464900136 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8680] ppid=8635 vsize=13801768 CPUtime=297.84 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8680/stat : 8680 (java) R 8635 8635 8571 0 -1 4202560 2780 0 0 0 29784 0 0 0 20 0 28 0 3606310 14133010432 119344 33554432000 4194304 4196468 140727013955024 139931991224584 139932463270326 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8681] ppid=8635 vsize=13801768 CPUtime=297.87 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8681/stat : 8681 (java) R 8635 8635 8571 0 -1 4202560 1231 0 0 0 29787 0 0 0 20 0 28 0 3606310 14133010432 119344 33554432000 4194304 4196468 140727013955024 139931990171944 139932464782641 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8682] ppid=8635 vsize=13801768 CPUtime=298.15 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8682/stat : 8682 (java) R 8635 8635 8571 0 -1 4202560 1986 0 0 0 29814 1 0 0 20 0 28 0 3606310 14133010432 119344 33554432000 4194304 4196468 140727013955024 139931989119432 139932463271164 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8683] ppid=8635 vsize=13801768 CPUtime=297.3 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8683/stat : 8683 (java) R 8635 8635 8571 0 -1 4202560 1021 0 0 0 29729 1 0 0 20 0 28 0 3606310 14133010432 119344 33554432000 4194304 4196468 140727013955024 139931988066088 139932462740574 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
[pid=8636/tid=8684] ppid=8635 vsize=13801768 CPUtime=298.35 cores=0,2,4,6,8,10,12,14
/proc/8636/task/8684/stat : 8684 (java) R 8635 8635 8571 0 -1 4202560 1516 0 0 0 29835 0 0 0 20 0 28 0 3606310 14133010432 119344 33554432000 4194304 4196468 140727013955024 139931987012856 139932463271302 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30572544 140727013962940 140727013963116 140727013963116 140727013965775 0
Current children cumulated CPU time (s) 2400.22
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 8636 sig 9
??? kill 8635 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 8635 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2065
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1032
# CPU time returned by wait4() is 0.003097
# while last known CPU time is 2400.22
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.012
CPU time (s): 2400.22
CPU user time (s): 2398.98
CPU system time (s): 1.24
CPU usage (%): 794.743
Max. virtual memory (cumulated for all children) (KiB): 13813080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002065
system time used= 0.001032
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.14294 second user time and 3.49672 second system time
The end