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-4245434-1500685747/watcher-4245434-1500685747 -o /tmp/evaluation-result-4245434-1500685747/solver-4245434-1500685747 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7652 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1767698516 HOME/instance-4245434-1500685747.xml
pid=26879
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: 15.44 15.38 13.10 10/272 26882
/proc/meminfo: memFree=31339096/32770624 swapFree=5800/238944
[pid=26882] ppid=26879 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26882/stat : 26882 (xcsp3-exec) S 26879 26882 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3842418 9740288 346 33554432000 4194304 5098028 140733274551024 140733274549128 140538189390460 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 30228480 140733274555534 140733274555744 140733274555744 140733274558443 0
/proc/26882/statm: 2378 346 289 221 0 87 0
[startup+0.100092 s]
/proc/loadavg: 15.44 15.38 13.10 10/272 26882
/proc/meminfo: memFree=31339096/32770624 swapFree=5800/238944
[pid=26882] ppid=26879 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26882/stat : 26882 (xcsp3-exec) S 26879 26882 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3842418 9740288 346 33554432000 4194304 5098028 140733274551024 140733274549128 140538189390460 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 30228480 140733274555534 140733274555744 140733274555744 140733274558443 0
/proc/26882/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20032 s]
/proc/loadavg: 15.44 15.38 13.10 10/272 26882
/proc/meminfo: memFree=31339096/32770624 swapFree=5800/238944
[pid=26882] ppid=26879 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26882/stat : 26882 (xcsp3-exec) S 26879 26882 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3842418 9740288 346 33554432000 4194304 5098028 140733274551024 140733274549128 140538189390460 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 30228480 140733274555534 140733274555744 140733274555744 140733274558443 0
/proc/26882/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300287 s]
/proc/loadavg: 15.44 15.38 13.10 10/272 26882
/proc/meminfo: memFree=31339096/32770624 swapFree=5800/238944
[pid=26882] ppid=26879 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26882/stat : 26882 (xcsp3-exec) S 26879 26882 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3842418 9740288 346 33554432000 4194304 5098028 140733274551024 140733274549128 140538189390460 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 30228480 140733274555534 140733274555744 140733274555744 140733274558443 0
/proc/26882/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70021 s]
/proc/loadavg: 15.44 15.38 13.10 10/272 26882
/proc/meminfo: memFree=31339096/32770624 swapFree=5800/238944
[pid=26882] ppid=26879 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26882/stat : 26882 (xcsp3-exec) S 26879 26882 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3842418 9740288 346 33554432000 4194304 5098028 140733274551024 140733274549128 140538189390460 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 30228480 140733274555534 140733274555744 140733274555744 140733274558443 0
/proc/26882/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50114 s]
/proc/loadavg: 15.44 15.38 13.10 10/293 26903
/proc/meminfo: memFree=31137888/32770624 swapFree=5800/239008
[pid=26882] ppid=26879 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26882/stat : 26882 (xcsp3-exec) S 26879 26882 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3842418 9740288 346 33554432000 4194304 5098028 140733274551024 140733274549128 140538189390460 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 30228480 140733274555534 140733274555744 140733274555744 140733274558443 0
/proc/26882/statm: 2378 346 289 221 0 87 0
[pid=26883] ppid=26882 vsize=13801768 CPUtime=6.17 cores=0,2,4,6,8,10,12,14
/proc/26883/stat : 26883 (java) S 26882 26882 7621 0 -1 1077944320 16066 0 0 0 597 20 0 0 20 0 28 0 3842418 14133010432 59655 33554432000 4194304 4196468 140732200374176 140732200356720 140537885200119 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
/proc/26883/statm: 3450442 59655 3232 1 0 3437675 0
[pid=26883/tid=26884] ppid=26882 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26884/stat : 26884 (java) S 26882 26882 7621 0 -1 1077944384 6261 0 0 0 107 4 0 0 20 0 28 0 3842419 14133010432 59655 33554432000 4194304 4196468 140732200374176 140537889440896 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26886] ppid=26882 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26886/stat : 26886 (java) S 26882 26882 7621 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 28 0 3842420 14133010432 59655 33554432000 4194304 4196468 140732200374176 140537841752848 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26887] ppid=26882 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26887/stat : 26887 (java) S 26882 26882 7621 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 3842420 14133010432 59655 33554432000 4194304 4196468 140732200374176 140537840700304 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26888] ppid=26882 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26888/stat : 26888 (java) S 26882 26882 7621 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 3842420 14133010432 59655 33554432000 4194304 4196468 140732200374176 140537482640400 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26889] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26889/stat : 26889 (java) S 26882 26882 7621 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3842420 14133010432 59655 33554432000 4194304 4196468 140732200374176 140537481587856 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26890] ppid=26882 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26890/stat : 26890 (java) S 26882 26882 7621 0 -1 1077944384 13 0 0 0 1 1 0 0 20 0 28 0 3842420 14133010432 59655 33554432000 4194304 4196468 140732200374176 140537480534288 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26891] ppid=26882 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26891/stat : 26891 (java) S 26882 26882 7621 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 28 0 3842420 14133010432 59655 33554432000 4194304 4196468 140732200374176 140537479481744 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26892] ppid=26882 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26892/stat : 26892 (java) S 26882 26882 7621 0 -1 1077944384 13 0 0 0 1 1 0 0 20 0 28 0 3842420 14133010432 59655 33554432000 4194304 4196468 140732200374176 140537478429200 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26893] ppid=26882 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26893/stat : 26893 (java) S 26882 26882 7621 0 -1 1077944384 15 0 0 0 1 1 0 0 20 0 28 0 3842420 14133010432 59655 33554432000 4194304 4196468 140732200374176 140537477376656 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26894] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26894/stat : 26894 (java) S 26882 26882 7621 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3842422 14133010432 59655 33554432000 4194304 4196468 140732200374176 140537146255856 140537885211266 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26895] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26895/stat : 26895 (java) S 26882 26882 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3842422 14133010432 59655 33554432000 4194304 4196468 140732200374176 140537145202144 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26896] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26896/stat : 26896 (java) S 26882 26882 7621 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 3842423 14133010432 59655 33554432000 4194304 4196468 140732200374176 140537144149504 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26897] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26897/stat : 26897 (java) S 26882 26882 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3842426 14133010432 59655 33554432000 4194304 4196468 140732200374176 140537143098064 140537885218715 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26898] ppid=26882 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26898/stat : 26898 (java) R 26882 26882 7621 0 -1 4202560 2530 0 0 0 85 0 0 0 20 0 28 0 3842426 14133010432 59655 33554432000 4194304 4196468 140732200374176 140537142025672 140537868611010 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26899] ppid=26882 vsize=13801768 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26899/stat : 26899 (java) R 26882 26882 7621 0 -1 4202560 1666 0 0 0 86 0 0 0 20 0 28 0 3842426 14133010432 59655 33554432000 4194304 4196468 140732200374176 140537140980560 140537868587746 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26900] ppid=26882 vsize=13801768 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26900/stat : 26900 (java) R 26882 26882 7621 0 -1 4202560 1360 0 0 0 75 0 0 0 20 0 28 0 3842426 14133010432 59655 33554432000 4194304 4196468 140732200374176 140537139920584 140537865900416 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26901] ppid=26882 vsize=13801768 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26901/stat : 26901 (java) S 26882 26882 7621 0 -1 1077944384 2382 0 0 0 67 0 0 0 20 0 28 0 3842426 14133010432 59655 33554432000 4194304 4196468 140732200374176 140537138887024 140537885211266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26902] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26902/stat : 26902 (java) S 26882 26882 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3842427 14133010432 59655 33554432000 4194304 4196468 140732200374176 140537137834720 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26903] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26903/stat : 26903 (java) S 26882 26882 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3842427 14133010432 59655 33554432000 4194304 4196468 140732200374176 140537136782256 140537885211266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 13811280
[startup+3.10156 s]
/proc/loadavg: 15.44 15.38 13.10 20/301 26911
/proc/meminfo: memFree=31097268/32770624 swapFree=5800/239008
[pid=26882] ppid=26879 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26882/stat : 26882 (xcsp3-exec) S 26879 26882 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3842418 9740288 346 33554432000 4194304 5098028 140733274551024 140733274549128 140538189390460 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 30228480 140733274555534 140733274555744 140733274555744 140733274558443 0
/proc/26882/statm: 2378 346 289 221 0 87 0
[pid=26883] ppid=26882 vsize=13801768 CPUtime=18.91 cores=0,2,4,6,8,10,12,14
/proc/26883/stat : 26883 (java) S 26882 26882 7621 0 -1 1077944320 21679 0 0 0 1869 22 0 0 20 0 28 0 3842418 14133010432 66194 33554432000 4194304 4196468 140732200374176 140732200356720 140537885200119 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
/proc/26883/statm: 3450442 66194 3246 1 0 3437675 0
[pid=26883/tid=26884] ppid=26882 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26884/stat : 26884 (java) S 26882 26882 7621 0 -1 1077944384 6261 0 0 0 107 4 0 0 20 0 28 0 3842419 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537889440896 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26886] ppid=26882 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26886/stat : 26886 (java) S 26882 26882 7621 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 28 0 3842420 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537841752848 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26887] ppid=26882 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26887/stat : 26887 (java) S 26882 26882 7621 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 3842420 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537840700304 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26888] ppid=26882 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26888/stat : 26888 (java) S 26882 26882 7621 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 3842420 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537482640400 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26889] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26889/stat : 26889 (java) S 26882 26882 7621 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3842420 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537481587856 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26890] ppid=26882 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26890/stat : 26890 (java) S 26882 26882 7621 0 -1 1077944384 13 0 0 0 1 1 0 0 20 0 28 0 3842420 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537480534288 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26891] ppid=26882 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26891/stat : 26891 (java) S 26882 26882 7621 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 28 0 3842420 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537479481744 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26892] ppid=26882 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26892/stat : 26892 (java) S 26882 26882 7621 0 -1 1077944384 13 0 0 0 1 1 0 0 20 0 28 0 3842420 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537478429200 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26893] ppid=26882 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26893/stat : 26893 (java) S 26882 26882 7621 0 -1 1077944384 15 0 0 0 1 1 0 0 20 0 28 0 3842420 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537477376656 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26894] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26894/stat : 26894 (java) S 26882 26882 7621 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3842422 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537146255856 140537885211266 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26895] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26895/stat : 26895 (java) S 26882 26882 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3842422 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537145202144 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26896] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26896/stat : 26896 (java) S 26882 26882 7621 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 3842423 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537144149504 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26897] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26897/stat : 26897 (java) S 26882 26882 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3842426 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537143098064 140537885218715 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26898] ppid=26882 vsize=13801768 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26898/stat : 26898 (java) S 26882 26882 7621 0 -1 1077944384 5160 0 0 0 195 1 0 0 20 0 28 0 3842426 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537142044656 140537885211266 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26899] ppid=26882 vsize=13801768 CPUtime=1.66 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26899/stat : 26899 (java) S 26882 26882 7621 0 -1 1077944384 2565 0 0 0 166 0 0 0 20 0 28 0 3842426 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537140992112 140537885211266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26900] ppid=26882 vsize=13801768 CPUtime=1.6 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26900/stat : 26900 (java) S 26882 26882 7621 0 -1 1077944384 3204 0 0 0 159 1 0 0 20 0 28 0 3842426 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537139939568 140537885211266 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26901] ppid=26882 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26901/stat : 26901 (java) S 26882 26882 7621 0 -1 1077944384 2579 0 0 0 82 0 0 0 20 0 28 0 3842426 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537138887024 140537885211266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26902] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26902/stat : 26902 (java) S 26882 26882 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3842427 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537137834720 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26903] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26903/stat : 26903 (java) S 26882 26882 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3842427 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537136782256 140537885211266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26904] ppid=26882 vsize=13801768 CPUtime=1.55 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26904/stat : 26904 (java) R 26882 26882 7621 0 -1 4202560 62 0 0 0 155 0 0 0 20 0 28 0 3842536 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537128767968 140537526999513 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26905] ppid=26882 vsize=13801768 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26905/stat : 26905 (java) R 26882 26882 7621 0 -1 4202560 57 0 0 0 136 0 0 0 20 0 28 0 3842536 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537127716024 140537526999547 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26906] ppid=26882 vsize=13801768 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26906/stat : 26906 (java) R 26882 26882 7621 0 -1 4202560 61 0 0 0 150 0 0 0 20 0 28 0 3842536 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537126661960 140537526536974 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26907] ppid=26882 vsize=13801768 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26907/stat : 26907 (java) R 26882 26882 7621 0 -1 4202560 74 0 0 0 139 0 0 0 20 0 28 0 3842536 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537125609272 140537526943782 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26908] ppid=26882 vsize=13801768 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26908/stat : 26908 (java) R 26882 26882 7621 0 -1 4202560 38 0 0 0 150 0 0 0 20 0 28 0 3842536 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537124557016 140537527545158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26909] ppid=26882 vsize=13801768 CPUtime=1.35 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26909/stat : 26909 (java) R 26882 26882 7621 0 -1 4202560 35 0 0 0 135 0 0 0 20 0 28 0 3842536 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537123505624 140537527076679 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26910] ppid=26882 vsize=13801768 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26910/stat : 26910 (java) R 26882 26882 7621 0 -1 4202560 32 0 0 0 149 0 0 0 20 0 28 0 3842536 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537122451744 140537527156216 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26911] ppid=26882 vsize=13801768 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26911/stat : 26911 (java) R 26882 26882 7621 0 -1 4202560 36 0 0 0 130 0 0 0 20 0 28 0 3842536 14133010432 66194 33554432000 4194304 4196468 140732200374176 140537121399656 140537527152712 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
Current children cumulated CPU time (s) 18.91
Current children cumulated vsize (KiB) 13811280
[startup+6.30162 s]
/proc/loadavg: 15.49 15.39 13.12 17/301 26911
/proc/meminfo: memFree=31027984/32770624 swapFree=5800/239008
[pid=26882] ppid=26879 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26882/stat : 26882 (xcsp3-exec) S 26879 26882 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3842418 9740288 346 33554432000 4194304 5098028 140733274551024 140733274549128 140538189390460 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 30228480 140733274555534 140733274555744 140733274555744 140733274558443 0
/proc/26882/statm: 2378 346 289 221 0 87 0
[pid=26883] ppid=26882 vsize=13801768 CPUtime=44.29 cores=0,2,4,6,8,10,12,14
/proc/26883/stat : 26883 (java) S 26882 26882 7621 0 -1 1077944320 27448 0 0 0 4403 26 0 0 20 0 28 0 3842418 14133010432 86684 33554432000 4194304 4196468 140732200374176 140732200356720 140537885200119 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
/proc/26883/statm: 3450442 86684 3252 1 0 3437675 0
[pid=26883/tid=26884] ppid=26882 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26884/stat : 26884 (java) S 26882 26882 7621 0 -1 1077944384 6261 0 0 0 107 4 0 0 20 0 28 0 3842419 14133010432 86684 33554432000 4194304 4196468 140732200374176 140537889440896 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26886] ppid=26882 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26886/stat : 26886 (java) S 26882 26882 7621 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 28 0 3842420 14133010432 86684 33554432000 4194304 4196468 140732200374176 140537841752848 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26887] ppid=26882 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26887/stat : 26887 (java) S 26882 26882 7621 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 3842420 14133010432 86684 33554432000 4194304 4196468 140732200374176 140537840700304 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26888] ppid=26882 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26888/stat : 26888 (java) S 26882 26882 7621 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 3842420 14133010432 86684 33554432000 4194304 4196468 140732200374176 140537482640400 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26889] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26889/stat : 26889 (java) S 26882 26882 7621 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3842420 14133010432 86684 33554432000 4194304 4196468 140732200374176 140537481587856 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
################
# More data... #
################
[pid=26883/tid=26910] ppid=26882 vsize=13801768 CPUtime=278.71 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26910/stat : 26910 (java) R 26882 26882 7621 0 -1 4202560 1026 0 0 0 27869 2 0 0 20 0 28 0 3842536 14133010432 497664 33554432000 4194304 4196468 140732200374176 140537122451688 140537526537217 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26911] ppid=26882 vsize=13801768 CPUtime=279.62 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26911/stat : 26911 (java) R 26882 26882 7621 0 -1 4202560 2431 0 0 0 27957 5 0 0 20 0 28 0 3842536 14133010432 497664 33554432000 4194304 4196468 140732200374176 140537121398896 140537526537106 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
Current children cumulated CPU time (s) 2242.46
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.102 s]
/proc/loadavg: 15.36 15.59 13.85 17/301 28206
/proc/meminfo: memFree=28870404/32770624 swapFree=5800/239540
[pid=26882] ppid=26879 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26882/stat : 26882 (xcsp3-exec) S 26879 26882 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3842418 9740288 346 33554432000 4194304 5098028 140733274551024 140733274549128 140538189390460 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 30228480 140733274555534 140733274555744 140733274555744 140733274558443 0
/proc/26882/statm: 2378 346 289 221 0 87 0
[pid=26883] ppid=26882 vsize=13801768 CPUtime=2400.19 cores=0,2,4,6,8,10,12,14
/proc/26883/stat : 26883 (java) S 26882 26882 7621 0 -1 1077944320 61103 0 0 0 239893 126 0 0 20 0 28 0 3842418 14133010432 493062 33554432000 4194304 4196468 140732200374176 140732200356720 140537885200119 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
/proc/26883/statm: 3450442 493062 3264 1 0 3437675 0
[pid=26883/tid=26884] ppid=26882 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26884/stat : 26884 (java) S 26882 26882 7621 0 -1 1077944384 6261 0 0 0 107 4 0 0 20 0 28 0 3842419 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537889440896 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26886] ppid=26882 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26886/stat : 26886 (java) S 26882 26882 7621 0 -1 1077944384 444 0 0 0 13 9 0 0 20 0 28 0 3842420 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537841752848 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26887] ppid=26882 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26887/stat : 26887 (java) S 26882 26882 7621 0 -1 1077944384 1915 0 0 0 12 8 0 0 20 0 28 0 3842420 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537840700304 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26888] ppid=26882 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26888/stat : 26888 (java) S 26882 26882 7621 0 -1 1077944384 1021 0 0 0 14 8 0 0 20 0 28 0 3842420 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537482640400 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26889] ppid=26882 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26889/stat : 26889 (java) S 26882 26882 7621 0 -1 1077944384 831 0 0 0 12 8 0 0 20 0 28 0 3842420 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537481587856 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26890] ppid=26882 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26890/stat : 26890 (java) S 26882 26882 7621 0 -1 1077944384 355 0 0 0 13 9 0 0 20 0 28 0 3842420 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537480534288 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26891] ppid=26882 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26891/stat : 26891 (java) S 26882 26882 7621 0 -1 1077944384 1353 0 0 0 12 8 0 0 20 0 28 0 3842420 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537479481744 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26892] ppid=26882 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26892/stat : 26892 (java) S 26882 26882 7621 0 -1 1077944384 673 0 0 0 14 8 0 0 20 0 28 0 3842420 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537478429200 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26893] ppid=26882 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26893/stat : 26893 (java) S 26882 26882 7621 0 -1 1077944384 1075 0 0 0 13 9 0 0 20 0 28 0 3842420 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537477376656 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26894] ppid=26882 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26894/stat : 26894 (java) S 26882 26882 7621 0 -1 1077944384 3225 0 0 0 5 4 0 0 20 0 28 0 3842422 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537146255856 140537885211266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26895] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26895/stat : 26895 (java) S 26882 26882 7621 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 3842422 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537145202144 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26896] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26896/stat : 26896 (java) S 26882 26882 7621 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 3842423 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537144149504 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26897] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26897/stat : 26897 (java) S 26882 26882 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3842426 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537143098064 140537885218715 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26898] ppid=26882 vsize=13801768 CPUtime=2.24 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26898/stat : 26898 (java) S 26882 26882 7621 0 -1 1077944384 8658 0 0 0 223 1 0 0 20 0 28 0 3842426 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537142044656 140537885211266 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26899] ppid=26882 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26899/stat : 26899 (java) S 26882 26882 7621 0 -1 1077944384 5972 0 0 0 202 0 0 0 20 0 28 0 3842426 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537140992112 140537885211266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26900] ppid=26882 vsize=13801768 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26900/stat : 26900 (java) S 26882 26882 7621 0 -1 1077944384 7417 0 0 0 189 1 0 0 20 0 28 0 3842426 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537139939568 140537885211266 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26901] ppid=26882 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26901/stat : 26901 (java) S 26882 26882 7621 0 -1 1077944384 4500 0 0 0 87 1 0 0 20 0 28 0 3842426 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537138887024 140537885211266 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26902] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26902/stat : 26902 (java) S 26882 26882 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3842427 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537137834720 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26903] ppid=26882 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26903/stat : 26903 (java) S 26882 26882 7621 0 -1 1077944384 823 0 0 0 6 5 0 0 20 0 28 0 3842427 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537136782256 140537885211266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26904] ppid=26882 vsize=13801768 CPUtime=298.94 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26904/stat : 26904 (java) R 26882 26882 7621 0 -1 4202560 1754 0 0 0 29891 3 0 0 20 0 28 0 3842536 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537128766464 140537527156113 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26905] ppid=26882 vsize=13801768 CPUtime=298.96 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26905/stat : 26905 (java) R 26882 26882 7621 0 -1 4202560 1325 0 0 0 29895 1 0 0 20 0 28 0 3842536 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537127715432 140537526537161 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26906] ppid=26882 vsize=13801768 CPUtime=299.45 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26906/stat : 26906 (java) R 26882 26882 7621 0 -1 4202560 2849 0 0 0 29938 7 0 0 20 0 28 0 3842536 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537126661672 140537527573609 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26907] ppid=26882 vsize=13801768 CPUtime=297.48 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26907/stat : 26907 (java) R 26882 26882 7621 0 -1 4202560 3150 0 0 0 29741 7 0 0 20 0 28 0 3842536 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537125609320 140537526944023 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26908] ppid=26882 vsize=13801768 CPUtime=298.24 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26908/stat : 26908 (java) R 26882 26882 7621 0 -1 4202560 2107 0 0 0 29817 7 0 0 20 0 28 0 3842536 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537124559376 140537526536994 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26909] ppid=26882 vsize=13801768 CPUtime=299.1 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26909/stat : 26909 (java) R 26882 26882 7621 0 -1 4202560 501 0 0 0 29910 0 0 0 20 0 28 0 3842536 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537123504088 140537527001795 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26910] ppid=26882 vsize=13801768 CPUtime=298.48 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26910/stat : 26910 (java) R 26882 26882 7621 0 -1 4202560 1092 0 0 0 29846 2 0 0 20 0 28 0 3842536 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537122451544 140537527155934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26911] ppid=26882 vsize=13801768 CPUtime=299.25 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26911/stat : 26911 (java) R 26882 26882 7621 0 -1 4202560 2473 0 0 0 29920 5 0 0 20 0 28 0 3842536 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537121399784 140537526944023 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
Current children cumulated CPU time (s) 2400.19
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 26883 sig 9
??? kill 26882 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.102 s]
/proc/loadavg: 15.36 15.59 13.85 17/301 28206
/proc/meminfo: memFree=28870404/32770624 swapFree=5800/239540
[pid=26882] ppid=26879 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26882/stat : 26882 (xcsp3-exec) S 26879 26882 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3842418 9740288 346 33554432000 4194304 5098028 140733274551024 140733274549128 140538189390460 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 30228480 140733274555534 140733274555744 140733274555744 140733274558443 0
/proc/26882/statm: 2378 346 289 221 0 87 0
[pid=26883] ppid=26882 vsize=13801768 CPUtime=2400.19 cores=0,2,4,6,8,10,12,14
/proc/26883/stat : 26883 (java) S 26882 26882 7621 0 -1 1077944320 61103 0 0 0 239893 126 0 0 20 0 28 0 3842418 14133010432 493062 33554432000 4194304 4196468 140732200374176 140732200356720 140537885200119 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
/proc/26883/statm: 3450442 493062 3264 1 0 3437675 0
[pid=26883/tid=26884] ppid=26882 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26884/stat : 26884 (java) S 26882 26882 7621 0 -1 1077944384 6261 0 0 0 107 4 0 0 20 0 28 0 3842419 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537889440896 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26886] ppid=26882 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26886/stat : 26886 (java) S 26882 26882 7621 0 -1 1077944384 444 0 0 0 13 9 0 0 20 0 28 0 3842420 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537841752848 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26887] ppid=26882 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26887/stat : 26887 (java) S 26882 26882 7621 0 -1 1077944384 1915 0 0 0 12 8 0 0 20 0 28 0 3842420 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537840700304 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26888] ppid=26882 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26888/stat : 26888 (java) S 26882 26882 7621 0 -1 1077944384 1021 0 0 0 14 8 0 0 20 0 28 0 3842420 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537482640400 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26889] ppid=26882 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26889/stat : 26889 (java) S 26882 26882 7621 0 -1 1077944384 831 0 0 0 12 8 0 0 20 0 28 0 3842420 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537481587856 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26890] ppid=26882 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26890/stat : 26890 (java) S 26882 26882 7621 0 -1 1077944384 355 0 0 0 13 9 0 0 20 0 28 0 3842420 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537480534288 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26891] ppid=26882 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26891/stat : 26891 (java) S 26882 26882 7621 0 -1 1077944384 1353 0 0 0 12 8 0 0 20 0 28 0 3842420 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537479481744 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26892] ppid=26882 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26892/stat : 26892 (java) S 26882 26882 7621 0 -1 1077944384 673 0 0 0 14 8 0 0 20 0 28 0 3842420 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537478429200 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26893] ppid=26882 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26893/stat : 26893 (java) S 26882 26882 7621 0 -1 1077944384 1075 0 0 0 13 9 0 0 20 0 28 0 3842420 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537477376656 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26894] ppid=26882 vsize=13801768 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26894/stat : 26894 (java) S 26882 26882 7621 0 -1 1077944384 3225 0 0 0 5 4 0 0 20 0 28 0 3842422 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537146255856 140537885211266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26895] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26895/stat : 26895 (java) S 26882 26882 7621 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 3842422 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537145202144 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26896] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26896/stat : 26896 (java) S 26882 26882 7621 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 3842423 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537144149504 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26897] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26897/stat : 26897 (java) S 26882 26882 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3842426 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537143098064 140537885218715 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26898] ppid=26882 vsize=13801768 CPUtime=2.24 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26898/stat : 26898 (java) S 26882 26882 7621 0 -1 1077944384 8658 0 0 0 223 1 0 0 20 0 28 0 3842426 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537142044656 140537885211266 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26899] ppid=26882 vsize=13801768 CPUtime=2.02 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26899/stat : 26899 (java) S 26882 26882 7621 0 -1 1077944384 5972 0 0 0 202 0 0 0 20 0 28 0 3842426 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537140992112 140537885211266 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26900] ppid=26882 vsize=13801768 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26900/stat : 26900 (java) S 26882 26882 7621 0 -1 1077944384 7417 0 0 0 189 1 0 0 20 0 28 0 3842426 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537139939568 140537885211266 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26901] ppid=26882 vsize=13801768 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26901/stat : 26901 (java) S 26882 26882 7621 0 -1 1077944384 4500 0 0 0 87 1 0 0 20 0 28 0 3842426 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537138887024 140537885211266 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26902] ppid=26882 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26902/stat : 26902 (java) S 26882 26882 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3842427 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537137834720 140537885210325 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26903] ppid=26882 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26903/stat : 26903 (java) S 26882 26882 7621 0 -1 1077944384 823 0 0 0 6 5 0 0 20 0 28 0 3842427 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537136782256 140537885211266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26904] ppid=26882 vsize=13801768 CPUtime=298.94 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26904/stat : 26904 (java) R 26882 26882 7621 0 -1 4202560 1754 0 0 0 29891 3 0 0 20 0 28 0 3842536 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537128766464 140537527156113 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26905] ppid=26882 vsize=13801768 CPUtime=298.96 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26905/stat : 26905 (java) R 26882 26882 7621 0 -1 4202560 1325 0 0 0 29895 1 0 0 20 0 28 0 3842536 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537127715432 140537526537161 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26906] ppid=26882 vsize=13801768 CPUtime=299.45 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26906/stat : 26906 (java) R 26882 26882 7621 0 -1 4202560 2849 0 0 0 29938 7 0 0 20 0 28 0 3842536 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537126661672 140537527573609 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26907] ppid=26882 vsize=13801768 CPUtime=297.48 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26907/stat : 26907 (java) R 26882 26882 7621 0 -1 4202560 3150 0 0 0 29741 7 0 0 20 0 28 0 3842536 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537125609320 140537526944023 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26908] ppid=26882 vsize=13801768 CPUtime=298.24 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26908/stat : 26908 (java) R 26882 26882 7621 0 -1 4202560 2107 0 0 0 29817 7 0 0 20 0 28 0 3842536 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537124559376 140537526536994 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26909] ppid=26882 vsize=13801768 CPUtime=299.1 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26909/stat : 26909 (java) R 26882 26882 7621 0 -1 4202560 501 0 0 0 29910 0 0 0 20 0 28 0 3842536 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537123504088 140537527001795 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26910] ppid=26882 vsize=13801768 CPUtime=298.48 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26910/stat : 26910 (java) R 26882 26882 7621 0 -1 4202560 1092 0 0 0 29846 2 0 0 20 0 28 0 3842536 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537122451544 140537527155934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
[pid=26883/tid=26911] ppid=26882 vsize=13801768 CPUtime=299.25 cores=0,2,4,6,8,10,12,14
/proc/26883/task/26911/stat : 26911 (java) R 26882 26882 7621 0 -1 4202560 2473 0 0 0 29920 5 0 0 20 0 28 0 3842536 14133010432 493062 33554432000 4194304 4196468 140732200374176 140537121399784 140537526944023 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 39211008 140732200379580 140732200379756 140732200379756 140732200382415 0
Current children cumulated CPU time (s) 2400.19
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26882 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=3034
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.003034
# while last known CPU time is 2400.19
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.112
CPU time (s): 2400.19
CPU user time (s): 2398.93
CPU system time (s): 1.26
CPU usage (%): 794.47
Max. virtual memory (cumulated for all children) (KiB): 13813124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.003034
system time used= 0
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 3.7548 second user time and 4.58513 second system time
The end