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-4247968-1500691367/watcher-4247968-1500691367 -o /tmp/evaluation-result-4247968-1500691367/solver-4247968-1500691367 -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 775945018 HOME/instance-4247968-1500691367.xml
pid=27994
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 14.79 14.91 12.75 9/272 27997
/proc/meminfo: memFree=29540488/32770624 swapFree=5884/280248
[pid=27997] ppid=27994 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27997/stat : 27997 (xcsp3-exec) S 27994 27997 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4404457 9740288 346 33554432000 4194304 5098028 140736392210672 140736392208776 140400734732924 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7303168 140736392213647 140736392213856 140736392213856 140736392216555 0
/proc/27997/statm: 2378 346 289 221 0 87 0
[startup+0.10013 s]
/proc/loadavg: 14.79 14.91 12.75 9/272 27997
/proc/meminfo: memFree=29540488/32770624 swapFree=5884/280248
[pid=27997] ppid=27994 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27997/stat : 27997 (xcsp3-exec) S 27994 27997 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4404457 9740288 346 33554432000 4194304 5098028 140736392210672 140736392208776 140400734732924 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7303168 140736392213647 140736392213856 140736392213856 140736392216555 0
/proc/27997/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200301 s]
/proc/loadavg: 14.79 14.91 12.75 9/272 27997
/proc/meminfo: memFree=29540488/32770624 swapFree=5884/280248
[pid=27997] ppid=27994 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27997/stat : 27997 (xcsp3-exec) S 27994 27997 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4404457 9740288 346 33554432000 4194304 5098028 140736392210672 140736392208776 140400734732924 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7303168 140736392213647 140736392213856 140736392213856 140736392216555 0
/proc/27997/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300294 s]
/proc/loadavg: 14.79 14.91 12.75 9/272 27997
/proc/meminfo: memFree=29540488/32770624 swapFree=5884/280248
[pid=27997] ppid=27994 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27997/stat : 27997 (xcsp3-exec) S 27994 27997 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4404457 9740288 346 33554432000 4194304 5098028 140736392210672 140736392208776 140400734732924 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7303168 140736392213647 140736392213856 140736392213856 140736392216555 0
/proc/27997/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70017 s]
/proc/loadavg: 14.79 14.91 12.75 9/272 27997
/proc/meminfo: memFree=29540488/32770624 swapFree=5884/280248
[pid=27997] ppid=27994 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27997/stat : 27997 (xcsp3-exec) S 27994 27997 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4404457 9740288 346 33554432000 4194304 5098028 140736392210672 140736392208776 140400734732924 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7303168 140736392213647 140736392213856 140736392213856 140736392216555 0
/proc/27997/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50081 s]
/proc/loadavg: 14.79 14.91 12.75 10/293 28018
/proc/meminfo: memFree=29440488/32770624 swapFree=5884/280276
[pid=27997] ppid=27994 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27997/stat : 27997 (xcsp3-exec) S 27994 27997 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4404457 9740288 346 33554432000 4194304 5098028 140736392210672 140736392208776 140400734732924 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7303168 140736392213647 140736392213856 140736392213856 140736392216555 0
/proc/27997/statm: 2378 346 289 221 0 87 0
[pid=27998] ppid=27997 vsize=13269256 CPUtime=3.04 cores=0,2,4,6,8,10,12,14
/proc/27998/stat : 27998 (java) S 27997 27997 8571 0 -1 1077944320 25372 0 0 0 299 5 0 0 20 0 20 0 4404458 13587718144 25066 33554432000 4194304 4196468 140727265574912 140727265557456 140382443986679 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
/proc/27998/statm: 3317314 25066 3203 1 0 3304547 0
[pid=27998/tid=27999] ppid=27997 vsize=13269256 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/27998/task/27999/stat : 27999 (java) R 27997 27997 8571 0 -1 4202560 6825 0 0 0 145 2 0 0 20 0 20 0 4404458 13587718144 25066 33554432000 4194304 4196468 140727265574912 140382448220072 140382084797713 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28001] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28001/stat : 28001 (java) S 27997 27997 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 25066 33554432000 4194304 4196468 140727265574912 140382043220368 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28002] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28002/stat : 28002 (java) S 27997 27997 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 25066 33554432000 4194304 4196468 140727265574912 140382042167568 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28003] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28003/stat : 28003 (java) S 27997 27997 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 25066 33554432000 4194304 4196468 140727265574912 140382041115280 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28004] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28004/stat : 28004 (java) S 27997 27997 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 25066 33554432000 4194304 4196468 140727265574912 140382040062480 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28005] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28005/stat : 28005 (java) S 27997 27997 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 25066 33554432000 4194304 4196468 140727265574912 140382039010192 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28006] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28006/stat : 28006 (java) S 27997 27997 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 25066 33554432000 4194304 4196468 140727265574912 140382037957392 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28007] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28007/stat : 28007 (java) S 27997 27997 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 25066 33554432000 4194304 4196468 140727265574912 140382036905104 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28008] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28008/stat : 28008 (java) S 27997 27997 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 25066 33554432000 4194304 4196468 140727265574912 140382035852304 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28009] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28009/stat : 28009 (java) S 27997 27997 8571 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4404461 13587718144 25066 33554432000 4194304 4196468 140727265574912 140381637863536 140382443997826 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28010] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28010/stat : 28010 (java) S 27997 27997 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4404462 13587718144 25066 33554432000 4194304 4196468 140727265574912 140381636809504 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28011] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28011/stat : 28011 (java) S 27997 27997 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4404462 13587718144 25066 33554432000 4194304 4196468 140727265574912 140381635757168 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28012] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28012/stat : 28012 (java) S 27997 27997 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4404466 13587718144 25066 33554432000 4194304 4196468 140727265574912 140381634705488 140382444005275 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28013] ppid=27997 vsize=13269256 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28013/stat : 28013 (java) S 27997 27997 8571 0 -1 1077944384 9825 0 0 0 62 1 0 0 20 0 20 0 4404466 13587718144 25066 33554432000 4194304 4196468 140727265574912 140381633653360 140382443997826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28014] ppid=27997 vsize=13269256 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28014/stat : 28014 (java) S 27997 27997 8571 0 -1 1077944384 3161 0 0 0 30 0 0 0 20 0 20 0 4404466 13587718144 25066 33554432000 4194304 4196468 140727265574912 140381632600560 140382443997826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28015] ppid=27997 vsize=13269256 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28015/stat : 28015 (java) S 27997 27997 8571 0 -1 1077944384 2200 0 0 0 28 0 0 0 20 0 20 0 4404466 13587718144 25066 33554432000 4194304 4196468 140727265574912 140381631548272 140382443997826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28016] ppid=27997 vsize=13269256 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28016/stat : 28016 (java) S 27997 27997 8571 0 -1 1077944384 2042 0 0 0 33 0 0 0 20 0 20 0 4404466 13587718144 25066 33554432000 4194304 4196468 140727265574912 140381630495472 140382443997826 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28017] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28017/stat : 28017 (java) S 27997 27997 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4404467 13587718144 25066 33554432000 4194304 4196468 140727265574912 140381629442400 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28018] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28018/stat : 28018 (java) S 27997 27997 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4404467 13587718144 25066 33554432000 4194304 4196468 140727265574912 140381628389680 140382443997826 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 13278768
[startup+3.10083 s]
/proc/loadavg: 14.79 14.91 12.75 10/293 28018
/proc/meminfo: memFree=29428880/32770624 swapFree=5884/280276
[pid=27997] ppid=27994 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27997/stat : 27997 (xcsp3-exec) S 27994 27997 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4404457 9740288 346 33554432000 4194304 5098028 140736392210672 140736392208776 140400734732924 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7303168 140736392213647 140736392213856 140736392213856 140736392216555 0
/proc/27997/statm: 2378 346 289 221 0 87 0
[pid=27998] ppid=27997 vsize=13269256 CPUtime=4.71 cores=0,2,4,6,8,10,12,14
/proc/27998/stat : 27998 (java) S 27997 27997 8571 0 -1 1077944320 26772 0 0 0 465 6 0 0 20 0 20 0 4404458 13587718144 28873 33554432000 4194304 4196468 140727265574912 140727265557456 140382443986679 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
/proc/27998/statm: 3317314 28873 3205 1 0 3304547 0
[pid=27998/tid=27999] ppid=27997 vsize=13269256 CPUtime=3.07 cores=0,2,4,6,8,10,12,14
/proc/27998/task/27999/stat : 27999 (java) R 27997 27997 8571 0 -1 4202560 7280 0 0 0 304 3 0 0 20 0 20 0 4404458 13587718144 28873 33554432000 4194304 4196468 140727265574912 140382448220648 140382084685263 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28001] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28001/stat : 28001 (java) S 27997 27997 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 28873 33554432000 4194304 4196468 140727265574912 140382043220368 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28002] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28002/stat : 28002 (java) S 27997 27997 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 28873 33554432000 4194304 4196468 140727265574912 140382042167568 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28003] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28003/stat : 28003 (java) S 27997 27997 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 28873 33554432000 4194304 4196468 140727265574912 140382041115280 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28004] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28004/stat : 28004 (java) S 27997 27997 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 28873 33554432000 4194304 4196468 140727265574912 140382040062480 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28005] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28005/stat : 28005 (java) S 27997 27997 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 28873 33554432000 4194304 4196468 140727265574912 140382039010192 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28006] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28006/stat : 28006 (java) S 27997 27997 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 28873 33554432000 4194304 4196468 140727265574912 140382037957392 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28007] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28007/stat : 28007 (java) S 27997 27997 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 28873 33554432000 4194304 4196468 140727265574912 140382036905104 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28008] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28008/stat : 28008 (java) S 27997 27997 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 28873 33554432000 4194304 4196468 140727265574912 140382035852304 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28009] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28009/stat : 28009 (java) S 27997 27997 8571 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 4404461 13587718144 28873 33554432000 4194304 4196468 140727265574912 140381637863536 140382443997826 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28010] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28010/stat : 28010 (java) S 27997 27997 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4404462 13587718144 28873 33554432000 4194304 4196468 140727265574912 140381636809504 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28011] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28011/stat : 28011 (java) S 27997 27997 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4404462 13587718144 28873 33554432000 4194304 4196468 140727265574912 140381635757168 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28012] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28012/stat : 28012 (java) S 27997 27997 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4404466 13587718144 28873 33554432000 4194304 4196468 140727265574912 140381634705488 140382444005275 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28013] ppid=27997 vsize=13269256 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28013/stat : 28013 (java) S 27997 27997 8571 0 -1 1077944384 9841 0 0 0 62 1 0 0 20 0 20 0 4404466 13587718144 28873 33554432000 4194304 4196468 140727265574912 140381633653360 140382443997826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28014] ppid=27997 vsize=13269256 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28014/stat : 28014 (java) S 27997 27997 8571 0 -1 1077944384 3337 0 0 0 32 0 0 0 20 0 20 0 4404466 13587718144 28873 33554432000 4194304 4196468 140727265574912 140381632600560 140382443997826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28015] ppid=27997 vsize=13269256 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28015/stat : 28015 (java) S 27997 27997 8571 0 -1 1077944384 2301 0 0 0 29 0 0 0 20 0 20 0 4404466 13587718144 28873 33554432000 4194304 4196468 140727265574912 140381631548272 140382443997826 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28016] ppid=27997 vsize=13269256 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28016/stat : 28016 (java) S 27997 27997 8571 0 -1 1077944384 2644 0 0 0 36 0 0 0 20 0 20 0 4404466 13587718144 28873 33554432000 4194304 4196468 140727265574912 140381630495472 140382443997826 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28017] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28017/stat : 28017 (java) S 27997 27997 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4404467 13587718144 28873 33554432000 4194304 4196468 140727265574912 140381629442400 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28018] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28018/stat : 28018 (java) S 27997 27997 8571 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 4404467 13587718144 28873 33554432000 4194304 4196468 140727265574912 140381628389680 140382443997826 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
Current children cumulated CPU time (s) 4.71
Current children cumulated vsize (KiB) 13278768
[startup+6.30084 s]
/proc/loadavg: 14.24 14.79 12.73 10/293 28018
/proc/meminfo: memFree=29401836/32770624 swapFree=5884/280276
[pid=27997] ppid=27994 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27997/stat : 27997 (xcsp3-exec) S 27994 27997 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4404457 9740288 346 33554432000 4194304 5098028 140736392210672 140736392208776 140400734732924 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7303168 140736392213647 140736392213856 140736392213856 140736392216555 0
/proc/27997/statm: 2378 346 289 221 0 87 0
[pid=27998] ppid=27997 vsize=13269256 CPUtime=8.05 cores=0,2,4,6,8,10,12,14
/proc/27998/stat : 27998 (java) S 27997 27997 8571 0 -1 1077944320 30951 0 0 0 798 7 0 0 20 0 20 0 4404458 13587718144 34882 33554432000 4194304 4196468 140727265574912 140727265557456 140382443986679 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
/proc/27998/statm: 3317314 34882 3214 1 0 3304547 0
[pid=27998/tid=27999] ppid=27997 vsize=13269256 CPUtime=6.27 cores=0,2,4,6,8,10,12,14
/proc/27998/task/27999/stat : 27999 (java) R 27997 27997 8571 0 -1 4202560 8233 0 0 0 623 4 0 0 20 0 20 0 4404458 13587718144 34882 33554432000 4194304 4196468 140727265574912 140382448218712 140382084640174 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28001] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28001/stat : 28001 (java) S 27997 27997 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 34882 33554432000 4194304 4196468 140727265574912 140382043220368 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28002] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28002/stat : 28002 (java) S 27997 27997 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 34882 33554432000 4194304 4196468 140727265574912 140382042167568 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28003] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28003/stat : 28003 (java) S 27997 27997 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 34882 33554432000 4194304 4196468 140727265574912 140382041115280 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28004] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28004/stat : 28004 (java) S 27997 27997 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 34882 33554432000 4194304 4196468 140727265574912 140382040062480 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28005] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28005/stat : 28005 (java) S 27997 27997 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 34882 33554432000 4194304 4196468 140727265574912 140382039010192 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28006] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28006/stat : 28006 (java) S 27997 27997 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 34882 33554432000 4194304 4196468 140727265574912 140382037957392 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28007] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28007/stat : 28007 (java) S 27997 27997 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 34882 33554432000 4194304 4196468 140727265574912 140382036905104 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28008] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28008/stat : 28008 (java) S 27997 27997 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4404459 13587718144 34882 33554432000 4194304 4196468 140727265574912 140382035852304 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28009] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28009/stat : 28009 (java) S 27997 27997 8571 0 -1 1077944384 268 0 0 0 0 0 0 0 20 0 20 0 4404461 13587718144 34882 33554432000 4194304 4196468 140727265574912 140381637863536 140382443997826 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28010] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28010/stat : 28010 (java) S 27997 27997 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4404462 13587718144 34882 33554432000 4194304 4196468 140727265574912 140381636809504 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28011] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28011/stat : 28011 (java) S 27997 27997 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4404462 13587718144 34882 33554432000 4194304 4196468 140727265574912 140381635757168 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28012] ppid=27997 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28012/stat : 28012 (java) S 27997 27997 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4404466 13587718144 34882 33554432000 4194304 4196468 140727265574912 140381634705488 140382444005275 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
################
# More data... #
################
[pid=27998/tid=28955] ppid=27997 vsize=13801768 CPUtime=32.13 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28955/stat : 28955 (java) S 27997 27997 8571 0 -1 1077944384 1749 0 0 0 3213 0 0 0 20 0 28 0 4430386 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381614061568 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28956] ppid=27997 vsize=13801768 CPUtime=32.18 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28956/stat : 28956 (java) S 27997 27997 8571 0 -1 1077944384 1488 0 0 0 3218 0 0 0 20 0 28 0 4430386 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381613005840 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
Current children cumulated CPU time (s) 2355.6
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+528.301 s]
/proc/loadavg: 14.86 13.35 12.50 10/300 29257
/proc/meminfo: memFree=19150452/32770624 swapFree=5884/281344
[pid=27997] ppid=27994 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27997/stat : 27997 (xcsp3-exec) S 27994 27997 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4404457 9740288 346 33554432000 4194304 5098028 140736392210672 140736392208776 140400734732924 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7303168 140736392213647 140736392213856 140736392213856 140736392216555 0
/proc/27997/statm: 2378 346 289 221 0 87 0
[pid=27998] ppid=27997 vsize=13801768 CPUtime=2400.32 cores=0,2,4,6,8,10,12,14
/proc/27998/stat : 27998 (java) S 27997 27997 8571 0 -1 1077944320 446653 0 0 0 235796 4236 0 0 20 0 28 0 4404458 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140727265557456 140382443986679 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
/proc/27998/statm: 3450442 2413166 3311 1 0 3437675 0
[pid=27998/tid=27999] ppid=27997 vsize=13801768 CPUtime=229.65 cores=0,2,4,6,8,10,12,14
/proc/27998/task/27999/stat : 27999 (java) S 27997 27997 8571 0 -1 1077944384 16966 0 0 0 22959 6 0 0 20 0 28 0 4404458 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140382448227456 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28001] ppid=27997 vsize=13801768 CPUtime=233.5 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28001/stat : 28001 (java) R 27997 27997 8571 0 -1 4202560 41459 0 0 0 22842 508 0 0 20 0 28 0 4404459 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140382043220256 140382428684431 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28002] ppid=27997 vsize=13801768 CPUtime=232.8 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28002/stat : 28002 (java) R 27997 27997 8571 0 -1 4202560 19224 0 0 0 22783 497 0 0 20 0 28 0 4404459 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140382042167768 140382428937284 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28003] ppid=27997 vsize=13801768 CPUtime=233.54 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28003/stat : 28003 (java) R 27997 27997 8571 0 -1 4202560 40843 0 0 0 22792 562 0 0 20 0 28 0 4404459 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140382041115480 140382428684250 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28004] ppid=27997 vsize=13801768 CPUtime=234.17 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28004/stat : 28004 (java) R 27997 27997 8571 0 -1 4202560 28659 0 0 0 22905 512 0 0 20 0 28 0 4404459 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140382040062680 140382428940241 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28005] ppid=27997 vsize=13801768 CPUtime=233.64 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28005/stat : 28005 (java) R 27997 27997 8571 0 -1 4202560 28519 0 0 0 22884 480 0 0 20 0 28 0 4404459 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140382039010392 140382428684454 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28006] ppid=27997 vsize=13801768 CPUtime=232.93 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28006/stat : 28006 (java) R 27997 27997 8571 0 -1 4202560 20079 0 0 0 22734 559 0 0 20 0 28 0 4404459 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140382037957592 140382428684431 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28007] ppid=27997 vsize=13801768 CPUtime=233.08 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28007/stat : 28007 (java) R 27997 27997 8571 0 -1 4202560 23907 0 0 0 22799 509 0 0 20 0 28 0 4404459 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140382036905304 140382428684454 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28008] ppid=27997 vsize=13801768 CPUtime=233.46 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28008/stat : 28008 (java) R 27997 27997 8571 0 -1 4202560 32949 0 0 0 22793 553 0 0 20 0 28 0 4404459 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140382035852504 140382428940237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28009] ppid=27997 vsize=13801768 CPUtime=26.93 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28009/stat : 28009 (java) S 27997 27997 8571 0 -1 1077944384 83033 0 0 0 2677 16 0 0 20 0 28 0 4404461 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381637861856 140382443996885 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28010] ppid=27997 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28010/stat : 28010 (java) S 27997 27997 8571 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 4404462 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381636809568 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28011] ppid=27997 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28011/stat : 28011 (java) S 27997 27997 8571 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 28 0 4404462 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381635757184 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28012] ppid=27997 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28012/stat : 28012 (java) S 27997 27997 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4404466 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381634705488 140382444005275 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28013] ppid=27997 vsize=13801768 CPUtime=3.83 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28013/stat : 28013 (java) S 27997 27997 8571 0 -1 1077944384 24656 0 0 0 380 3 0 0 20 0 28 0 4404466 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381633653360 140382443997826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28014] ppid=27997 vsize=13801768 CPUtime=3.82 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28014/stat : 28014 (java) S 27997 27997 8571 0 -1 1077944384 19355 0 0 0 380 2 0 0 20 0 28 0 4404466 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381632600560 140382443997826 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28015] ppid=27997 vsize=13801768 CPUtime=3.49 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28015/stat : 28015 (java) S 27997 27997 8571 0 -1 1077944384 14652 0 0 0 347 2 0 0 20 0 28 0 4404466 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381631548272 140382443997826 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28016] ppid=27997 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28016/stat : 28016 (java) S 27997 27997 8571 0 -1 1077944384 10887 0 0 0 103 2 0 0 20 0 28 0 4404466 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381630495472 140382443997826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28017] ppid=27997 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28017/stat : 28017 (java) S 27997 27997 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4404467 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381629442400 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28018] ppid=27997 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28018/stat : 28018 (java) S 27997 27997 8571 0 -1 1077944384 1907 0 0 0 14 8 0 0 20 0 28 0 4404467 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381628389680 140382443997826 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28949] ppid=27997 vsize=13801768 CPUtime=33.3 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28949/stat : 28949 (java) S 27997 27997 8571 0 -1 1077944384 1440 0 0 0 3330 0 0 0 20 0 28 0 4430385 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381620374304 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28950] ppid=27997 vsize=13801768 CPUtime=32.81 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28950/stat : 28950 (java) S 27997 27997 8571 0 -1 1077944384 1255 0 0 0 3280 1 0 0 20 0 28 0 4430385 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381619322080 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28951] ppid=27997 vsize=13801768 CPUtime=33.04 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28951/stat : 28951 (java) S 27997 27997 8571 0 -1 1077944384 1760 0 0 0 3303 1 0 0 20 0 28 0 4430385 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381618270048 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28952] ppid=27997 vsize=13801768 CPUtime=32.85 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28952/stat : 28952 (java) S 27997 27997 8571 0 -1 1077944384 2624 0 0 0 3284 1 0 0 20 0 28 0 4430386 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381617217504 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28953] ppid=27997 vsize=13801768 CPUtime=33.13 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28953/stat : 28953 (java) S 27997 27997 8571 0 -1 1077944384 26330 0 0 0 3310 3 0 0 20 0 28 0 4430386 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381616167344 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28954] ppid=27997 vsize=13801768 CPUtime=32.82 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28954/stat : 28954 (java) S 27997 27997 8571 0 -1 1077944384 1248 0 0 0 3281 1 0 0 20 0 28 0 4430386 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381615112416 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28955] ppid=27997 vsize=13801768 CPUtime=33 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28955/stat : 28955 (java) S 27997 27997 8571 0 -1 1077944384 1750 0 0 0 3300 0 0 0 20 0 28 0 4430386 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381614059024 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28956] ppid=27997 vsize=13801768 CPUtime=33.02 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28956/stat : 28956 (java) S 27997 27997 8571 0 -1 1077944384 1671 0 0 0 3302 0 0 0 20 0 28 0 4430386 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381613006304 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
Current children cumulated CPU time (s) 2400.32
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 27998 sig 9
??? kill 27997 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+528.301 s]
/proc/loadavg: 14.86 13.35 12.50 10/300 29257
/proc/meminfo: memFree=19150452/32770624 swapFree=5884/281344
[pid=27997] ppid=27994 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27997/stat : 27997 (xcsp3-exec) S 27994 27997 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4404457 9740288 346 33554432000 4194304 5098028 140736392210672 140736392208776 140400734732924 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 7303168 140736392213647 140736392213856 140736392213856 140736392216555 0
/proc/27997/statm: 2378 346 289 221 0 87 0
[pid=27998] ppid=27997 vsize=13801768 CPUtime=2400.32 cores=0,2,4,6,8,10,12,14
/proc/27998/stat : 27998 (java) S 27997 27997 8571 0 -1 1077944320 446653 0 0 0 235796 4236 0 0 20 0 28 0 4404458 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140727265557456 140382443986679 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
/proc/27998/statm: 3450442 2413166 3311 1 0 3437675 0
[pid=27998/tid=27999] ppid=27997 vsize=13801768 CPUtime=229.65 cores=0,2,4,6,8,10,12,14
/proc/27998/task/27999/stat : 27999 (java) S 27997 27997 8571 0 -1 1077944384 16966 0 0 0 22959 6 0 0 20 0 28 0 4404458 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140382448227456 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28001] ppid=27997 vsize=13801768 CPUtime=233.5 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28001/stat : 28001 (java) R 27997 27997 8571 0 -1 4202560 41459 0 0 0 22842 508 0 0 20 0 28 0 4404459 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140382043220256 140382428684431 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28002] ppid=27997 vsize=13801768 CPUtime=232.8 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28002/stat : 28002 (java) R 27997 27997 8571 0 -1 4202560 19224 0 0 0 22783 497 0 0 20 0 28 0 4404459 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140382042167768 140382428937284 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28003] ppid=27997 vsize=13801768 CPUtime=233.54 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28003/stat : 28003 (java) R 27997 27997 8571 0 -1 4202560 40843 0 0 0 22792 562 0 0 20 0 28 0 4404459 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140382041115480 140382428684250 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28004] ppid=27997 vsize=13801768 CPUtime=234.17 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28004/stat : 28004 (java) R 27997 27997 8571 0 -1 4202560 28659 0 0 0 22905 512 0 0 20 0 28 0 4404459 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140382040062680 140382428940241 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28005] ppid=27997 vsize=13801768 CPUtime=233.64 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28005/stat : 28005 (java) R 27997 27997 8571 0 -1 4202560 28519 0 0 0 22884 480 0 0 20 0 28 0 4404459 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140382039010392 140382428684454 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28006] ppid=27997 vsize=13801768 CPUtime=232.93 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28006/stat : 28006 (java) R 27997 27997 8571 0 -1 4202560 20079 0 0 0 22734 559 0 0 20 0 28 0 4404459 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140382037957592 140382428684431 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28007] ppid=27997 vsize=13801768 CPUtime=233.08 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28007/stat : 28007 (java) R 27997 27997 8571 0 -1 4202560 23907 0 0 0 22799 509 0 0 20 0 28 0 4404459 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140382036905304 140382428684454 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28008] ppid=27997 vsize=13801768 CPUtime=233.46 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28008/stat : 28008 (java) R 27997 27997 8571 0 -1 4202560 32949 0 0 0 22793 553 0 0 20 0 28 0 4404459 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140382035852504 140382428940237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28009] ppid=27997 vsize=13801768 CPUtime=26.93 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28009/stat : 28009 (java) S 27997 27997 8571 0 -1 1077944384 83033 0 0 0 2677 16 0 0 20 0 28 0 4404461 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381637861856 140382443996885 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28010] ppid=27997 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28010/stat : 28010 (java) S 27997 27997 8571 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 28 0 4404462 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381636809568 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28011] ppid=27997 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28011/stat : 28011 (java) S 27997 27997 8571 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 28 0 4404462 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381635757184 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28012] ppid=27997 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28012/stat : 28012 (java) S 27997 27997 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4404466 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381634705488 140382444005275 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28013] ppid=27997 vsize=13801768 CPUtime=3.83 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28013/stat : 28013 (java) S 27997 27997 8571 0 -1 1077944384 24656 0 0 0 380 3 0 0 20 0 28 0 4404466 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381633653360 140382443997826 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28014] ppid=27997 vsize=13801768 CPUtime=3.82 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28014/stat : 28014 (java) S 27997 27997 8571 0 -1 1077944384 19355 0 0 0 380 2 0 0 20 0 28 0 4404466 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381632600560 140382443997826 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28015] ppid=27997 vsize=13801768 CPUtime=3.49 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28015/stat : 28015 (java) S 27997 27997 8571 0 -1 1077944384 14652 0 0 0 347 2 0 0 20 0 28 0 4404466 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381631548272 140382443997826 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28016] ppid=27997 vsize=13801768 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28016/stat : 28016 (java) S 27997 27997 8571 0 -1 1077944384 10887 0 0 0 103 2 0 0 20 0 28 0 4404466 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381630495472 140382443997826 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28017] ppid=27997 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28017/stat : 28017 (java) S 27997 27997 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4404467 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381629442400 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28018] ppid=27997 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28018/stat : 28018 (java) S 27997 27997 8571 0 -1 1077944384 1907 0 0 0 14 8 0 0 20 0 28 0 4404467 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381628389680 140382443997826 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28949] ppid=27997 vsize=13801768 CPUtime=33.3 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28949/stat : 28949 (java) S 27997 27997 8571 0 -1 1077944384 1440 0 0 0 3330 0 0 0 20 0 28 0 4430385 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381620374304 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28950] ppid=27997 vsize=13801768 CPUtime=32.81 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28950/stat : 28950 (java) S 27997 27997 8571 0 -1 1077944384 1255 0 0 0 3280 1 0 0 20 0 28 0 4430385 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381619322080 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28951] ppid=27997 vsize=13801768 CPUtime=33.04 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28951/stat : 28951 (java) S 27997 27997 8571 0 -1 1077944384 1760 0 0 0 3303 1 0 0 20 0 28 0 4430385 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381618270048 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28952] ppid=27997 vsize=13801768 CPUtime=32.85 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28952/stat : 28952 (java) S 27997 27997 8571 0 -1 1077944384 2624 0 0 0 3284 1 0 0 20 0 28 0 4430386 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381617217504 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28953] ppid=27997 vsize=13801768 CPUtime=33.13 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28953/stat : 28953 (java) S 27997 27997 8571 0 -1 1077944384 26330 0 0 0 3310 3 0 0 20 0 28 0 4430386 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381616167344 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28954] ppid=27997 vsize=13801768 CPUtime=32.82 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28954/stat : 28954 (java) S 27997 27997 8571 0 -1 1077944384 1248 0 0 0 3281 1 0 0 20 0 28 0 4430386 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381615112416 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28955] ppid=27997 vsize=13801768 CPUtime=33 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28955/stat : 28955 (java) S 27997 27997 8571 0 -1 1077944384 1750 0 0 0 3300 0 0 0 20 0 28 0 4430386 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381614059024 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
[pid=27998/tid=28956] ppid=27997 vsize=13801768 CPUtime=33.02 cores=0,2,4,6,8,10,12,14
/proc/27998/task/28956/stat : 28956 (java) S 27997 27997 8571 0 -1 1077944384 1671 0 0 0 3302 0 0 0 20 0 28 0 4430386 14133010432 2413166 33554432000 4194304 4196468 140727265574912 140381613006304 140382443996885 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18481152 140727265580220 140727265580396 140727265580396 140727265583055 0
Current children cumulated CPU time (s) 2400.32
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 27997 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=3060
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.00306
# while last known CPU time is 2400.32
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 528.312
CPU time (s): 2400.32
CPU user time (s): 2357.96
CPU system time (s): 42.36
CPU usage (%): 454.338
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00306
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= 518
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.20104 second user time and 5.50621 second system time
The end