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-4250190-1500696237/watcher-4250190-1500696237 -o /tmp/evaluation-result-4250190-1500696237/solver-4250190-1500696237 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16504 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1622821897 HOME/instance-4250190-1500696237.xml
pid=12044
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: 8.78 10.68 12.49 3/262 12047
/proc/meminfo: memFree=22785660/32770624 swapFree=5724/267716
[pid=12047] ppid=12044 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12047/stat : 12047 (xcsp3-exec) S 12044 12047 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4892818 9740288 345 33554432000 4194304 5098028 140730100927552 140730100925656 140168708661884 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10436608 140730100929678 140730100929888 140730100929888 140730100932587 0
/proc/12047/statm: 2378 345 289 221 0 87 0
[startup+0.100124 s]
/proc/loadavg: 8.78 10.68 12.49 3/262 12047
/proc/meminfo: memFree=22785660/32770624 swapFree=5724/267716
[pid=12047] ppid=12044 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12047/stat : 12047 (xcsp3-exec) S 12044 12047 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4892818 9740288 345 33554432000 4194304 5098028 140730100927552 140730100925656 140168708661884 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10436608 140730100929678 140730100929888 140730100929888 140730100932587 0
/proc/12047/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200334 s]
/proc/loadavg: 8.78 10.68 12.49 3/262 12047
/proc/meminfo: memFree=22785660/32770624 swapFree=5724/267716
[pid=12047] ppid=12044 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12047/stat : 12047 (xcsp3-exec) S 12044 12047 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4892818 9740288 345 33554432000 4194304 5098028 140730100927552 140730100925656 140168708661884 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10436608 140730100929678 140730100929888 140730100929888 140730100932587 0
/proc/12047/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300243 s]
/proc/loadavg: 8.78 10.68 12.49 3/262 12047
/proc/meminfo: memFree=22785660/32770624 swapFree=5724/267716
[pid=12047] ppid=12044 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12047/stat : 12047 (xcsp3-exec) S 12044 12047 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4892818 9740288 345 33554432000 4194304 5098028 140730100927552 140730100925656 140168708661884 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10436608 140730100929678 140730100929888 140730100929888 140730100932587 0
/proc/12047/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700199 s]
/proc/loadavg: 8.78 10.68 12.49 3/262 12047
/proc/meminfo: memFree=22785660/32770624 swapFree=5724/267716
[pid=12047] ppid=12044 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12047/stat : 12047 (xcsp3-exec) S 12044 12047 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4892818 9740288 345 33554432000 4194304 5098028 140730100927552 140730100925656 140168708661884 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10436608 140730100929678 140730100929888 140730100929888 140730100932587 0
/proc/12047/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50134 s]
/proc/loadavg: 8.78 10.68 12.49 10/283 12068
/proc/meminfo: memFree=22539784/32770624 swapFree=5724/267504
[pid=12047] ppid=12044 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12047/stat : 12047 (xcsp3-exec) S 12044 12047 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4892818 9740288 345 33554432000 4194304 5098028 140730100927552 140730100925656 140168708661884 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10436608 140730100929678 140730100929888 140730100929888 140730100932587 0
/proc/12047/statm: 2378 345 289 221 0 87 0
[pid=12048] ppid=12047 vsize=13269256 CPUtime=6.19 cores=0,2,4,6,8,10,12,14
/proc/12048/stat : 12048 (java) S 12047 12047 16473 0 -1 1077944320 16674 0 0 0 523 96 0 0 20 0 20 0 4892818 13587718144 92808 33554432000 4194304 4196468 140737427726080 140737427708624 140677107257079 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
/proc/12048/statm: 3317314 92808 3247 1 0 3304547 0
[pid=12048/tid=12049] ppid=12047 vsize=13269256 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12049/stat : 12049 (java) R 12047 12047 16473 0 -1 4202560 6898 0 0 0 120 4 0 0 20 0 20 0 4892819 13587718144 92808 33554432000 4194304 4196468 140737427726080 140677111493976 140676710088691 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12051] ppid=12047 vsize=13269256 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12051/stat : 12051 (java) S 12047 12047 16473 0 -1 1077944384 75 0 0 0 8 9 0 0 20 0 20 0 4892820 13587718144 92808 33554432000 4194304 4196468 140737427726080 140677025737872 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12052] ppid=12047 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12052/stat : 12052 (java) S 12047 12047 16473 0 -1 1077944384 98 0 0 0 9 12 0 0 20 0 20 0 4892820 13587718144 92808 33554432000 4194304 4196468 140737427726080 140677024685072 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12053] ppid=12047 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12053/stat : 12053 (java) S 12047 12047 16473 0 -1 1077944384 87 0 0 0 9 11 0 0 20 0 20 0 4892820 13587718144 92808 33554432000 4194304 4196468 140737427726080 140676704496528 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12054] ppid=12047 vsize=13269256 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12054/stat : 12054 (java) S 12047 12047 16473 0 -1 1077944384 83 0 0 0 8 11 0 0 20 0 20 0 4892820 13587718144 92808 33554432000 4194304 4196468 140737427726080 140676703443728 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12055] ppid=12047 vsize=13269256 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12055/stat : 12055 (java) S 12047 12047 16473 0 -1 1077944384 87 0 0 0 10 10 0 0 20 0 20 0 4892820 13587718144 92808 33554432000 4194304 4196468 140737427726080 140676702390928 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12056] ppid=12047 vsize=13269256 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12056/stat : 12056 (java) S 12047 12047 16473 0 -1 1077944384 85 0 0 0 7 10 0 0 20 0 20 0 4892820 13587718144 92808 33554432000 4194304 4196468 140737427726080 140676701338128 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12057] ppid=12047 vsize=13269256 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12057/stat : 12057 (java) S 12047 12047 16473 0 -1 1077944384 86 0 0 0 8 10 0 0 20 0 20 0 4892820 13587718144 92808 33554432000 4194304 4196468 140737427726080 140676700285328 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12058] ppid=12047 vsize=13269256 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12058/stat : 12058 (java) S 12047 12047 16473 0 -1 1077944384 95 0 0 0 9 12 0 0 20 0 20 0 4892820 13587718144 92808 33554432000 4194304 4196468 140737427726080 140676699232528 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12059] ppid=12047 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12059/stat : 12059 (java) S 12047 12047 16473 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4892822 13587718144 92808 33554432000 4194304 4196468 140737427726080 140676166847344 140677107268226 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12060] ppid=12047 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12060/stat : 12060 (java) S 12047 12047 16473 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4892823 13587718144 92808 33554432000 4194304 4196468 140737427726080 140676165793312 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12061] ppid=12047 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12061/stat : 12061 (java) S 12047 12047 16473 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4892823 13587718144 92808 33554432000 4194304 4196468 140737427726080 140676164740464 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12062] ppid=12047 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12062/stat : 12062 (java) S 12047 12047 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4892827 13587718144 92808 33554432000 4194304 4196468 140737427726080 140676163688784 140677107275675 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12063] ppid=12047 vsize=13269256 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12063/stat : 12063 (java) S 12047 12047 16473 0 -1 1077944384 2193 0 0 0 90 0 0 0 20 0 20 0 4892827 13587718144 92808 33554432000 4194304 4196468 140737427726080 140676162636144 140677107268226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12064] ppid=12047 vsize=13269256 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12064/stat : 12064 (java) R 12047 12047 16473 0 -1 4202560 1858 0 0 0 90 0 0 0 20 0 20 0 4892827 13587718144 92808 33554432000 4194304 4196468 140737427726080 140676161569888 140677090814459 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12065] ppid=12047 vsize=13269256 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12065/stat : 12065 (java) S 12047 12047 16473 0 -1 1077944384 1660 0 0 0 85 0 0 0 20 0 20 0 4892827 13587718144 92808 33554432000 4194304 4196468 140737427726080 140676160530544 140677107268226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12066] ppid=12047 vsize=13269256 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12066/stat : 12066 (java) R 12047 12047 16473 0 -1 4202560 1992 0 0 0 63 0 0 0 20 0 20 0 4892827 13587718144 92808 33554432000 4194304 4196468 140737427726080 140676159472096 140677086217918 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12067] ppid=12047 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12067/stat : 12067 (java) S 12047 12047 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4892827 13587718144 92808 33554432000 4194304 4196468 140737427726080 140676158426208 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12068] ppid=12047 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12068/stat : 12068 (java) S 12047 12047 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4892827 13587718144 92808 33554432000 4194304 4196468 140737427726080 140676157373488 140677107268226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 13278768
[startup+3.10113 s]
/proc/loadavg: 8.56 10.61 12.46 13/283 12068
/proc/meminfo: memFree=22237808/32770624 swapFree=5724/267504
[pid=12047] ppid=12044 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12047/stat : 12047 (xcsp3-exec) S 12044 12047 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4892818 9740288 345 33554432000 4194304 5098028 140730100927552 140730100925656 140168708661884 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10436608 140730100929678 140730100929888 140730100929888 140730100932587 0
/proc/12047/statm: 2378 345 289 221 0 87 0
[pid=12048] ppid=12047 vsize=13269256 CPUtime=15.17 cores=0,2,4,6,8,10,12,14
/proc/12048/stat : 12048 (java) S 12047 12047 16473 0 -1 1077944320 24588 0 0 0 1345 172 0 0 20 0 20 0 4892818 13587718144 192990 33554432000 4194304 4196468 140737427726080 140737427708624 140677107257079 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
/proc/12048/statm: 3317314 192990 3268 1 0 3304547 0
[pid=12048/tid=12049] ppid=12047 vsize=13269256 CPUtime=2.21 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12049/stat : 12049 (java) S 12047 12047 16473 0 -1 1077944384 7280 0 0 0 215 6 0 0 20 0 20 0 4892819 13587718144 192990 33554432000 4194304 4196468 140737427726080 140677111494528 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12051] ppid=12047 vsize=13269256 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12051/stat : 12051 (java) R 12047 12047 16473 0 -1 4202560 202 0 0 0 47 17 0 0 20 0 20 0 4892820 13587718144 192990 33554432000 4194304 4196468 140737427726080 140677025738072 140677092253565 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12052] ppid=12047 vsize=13269256 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12052/stat : 12052 (java) R 12047 12047 16473 0 -1 4202560 293 0 0 0 55 22 0 0 20 0 20 0 4892820 13587718144 192990 33554432000 4194304 4196468 140737427726080 140677024685272 140677091958080 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12053] ppid=12047 vsize=13269256 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12053/stat : 12053 (java) R 12047 12047 16473 0 -1 4202560 329 0 0 0 46 18 0 0 20 0 20 0 4892820 13587718144 192990 33554432000 4194304 4196468 140737427726080 140676704496728 140677091957741 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12054] ppid=12047 vsize=13269256 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12054/stat : 12054 (java) R 12047 12047 16473 0 -1 4202560 233 0 0 0 41 23 0 0 20 0 20 0 4892820 13587718144 192990 33554432000 4194304 4196468 140737427726080 140676703443928 140677092253557 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12055] ppid=12047 vsize=13269256 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12055/stat : 12055 (java) R 12047 12047 16473 0 -1 4202560 235 0 0 0 45 16 0 0 20 0 20 0 4892820 13587718144 192990 33554432000 4194304 4196468 140737427726080 140676702391128 140677091957751 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12056] ppid=12047 vsize=13269256 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12056/stat : 12056 (java) R 12047 12047 16473 0 -1 4202560 270 0 0 0 39 22 0 0 20 0 20 0 4892820 13587718144 192990 33554432000 4194304 4196468 140737427726080 140676701338328 140677091958080 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12057] ppid=12047 vsize=13269256 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12057/stat : 12057 (java) R 12047 12047 16473 0 -1 4202560 272 0 0 0 52 19 0 0 20 0 20 0 4892820 13587718144 192990 33554432000 4194304 4196468 140737427726080 140676700285216 140677091957770 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12058] ppid=12047 vsize=13269256 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12058/stat : 12058 (java) R 12047 12047 16473 0 -1 4202560 276 0 0 0 56 21 0 0 20 0 20 0 4892820 13587718144 192990 33554432000 4194304 4196468 140737427726080 140676699232728 140677092253483 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12059] ppid=12047 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12059/stat : 12059 (java) S 12047 12047 16473 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 20 0 4892822 13587718144 192990 33554432000 4194304 4196468 140737427726080 140676166845888 140677107267285 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12060] ppid=12047 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12060/stat : 12060 (java) S 12047 12047 16473 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 4892823 13587718144 192990 33554432000 4194304 4196468 140737427726080 140676165793376 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12061] ppid=12047 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12061/stat : 12061 (java) S 12047 12047 16473 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4892823 13587718144 192990 33554432000 4194304 4196468 140737427726080 140676164740480 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12062] ppid=12047 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12062/stat : 12062 (java) S 12047 12047 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4892827 13587718144 192990 33554432000 4194304 4196468 140737427726080 140676163688784 140677107275675 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12063] ppid=12047 vsize=13269256 CPUtime=2.35 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12063/stat : 12063 (java) S 12047 12047 16473 0 -1 1077944384 4621 0 0 0 235 0 0 0 20 0 20 0 4892827 13587718144 192990 33554432000 4194304 4196468 140737427726080 140676162615248 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12064] ppid=12047 vsize=13269256 CPUtime=2.17 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12064/stat : 12064 (java) S 12047 12047 16473 0 -1 1077944384 3310 0 0 0 217 0 0 0 20 0 20 0 4892827 13587718144 192990 33554432000 4194304 4196468 140737427726080 140676161568336 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12065] ppid=12047 vsize=13269256 CPUtime=1.97 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12065/stat : 12065 (java) S 12047 12047 16473 0 -1 1077944384 2619 0 0 0 196 1 0 0 20 0 20 0 4892827 13587718144 192990 33554432000 4194304 4196468 140737427726080 140676160520864 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12066] ppid=12047 vsize=13269256 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12066/stat : 12066 (java) S 12047 12047 16473 0 -1 1077944384 3120 0 0 0 94 1 0 0 20 0 20 0 4892827 13587718144 192990 33554432000 4194304 4196468 140737427726080 140676159477744 140677107268226 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12067] ppid=12047 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12067/stat : 12067 (java) S 12047 12047 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4892827 13587718144 192990 33554432000 4194304 4196468 140737427726080 140676158426208 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12068] ppid=12047 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12068/stat : 12068 (java) S 12047 12047 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4892827 13587718144 192990 33554432000 4194304 4196468 140737427726080 140676157373488 140677107268226 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
Current children cumulated CPU time (s) 15.17
Current children cumulated vsize (KiB) 13278768
[startup+6.30121 s]
/proc/loadavg: 8.56 10.61 12.46 11/283 12068
/proc/meminfo: memFree=21510328/32770624 swapFree=5724/267504
[pid=12047] ppid=12044 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12047/stat : 12047 (xcsp3-exec) S 12044 12047 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4892818 9740288 345 33554432000 4194304 5098028 140730100927552 140730100925656 140168708661884 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10436608 140730100929678 140730100929888 140730100929888 140730100932587 0
/proc/12047/statm: 2378 345 289 221 0 87 0
[pid=12048] ppid=12047 vsize=13269256 CPUtime=36.13 cores=0,2,4,6,8,10,12,14
/proc/12048/stat : 12048 (java) S 12047 12047 16473 0 -1 1077944320 50988 0 0 0 3277 336 0 0 20 0 20 0 4892818 13587718144 339370 33554432000 4194304 4196468 140737427726080 140737427708624 140677107257079 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
/proc/12048/statm: 3317314 339370 3280 1 0 3304547 0
[pid=12048/tid=12049] ppid=12047 vsize=13269256 CPUtime=3.23 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12049/stat : 12049 (java) S 12047 12047 16473 0 -1 1077944384 9117 0 0 0 313 10 0 0 20 0 20 0 4892819 13587718144 339370 33554432000 4194304 4196468 140737427726080 140677111494880 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12051] ppid=12047 vsize=13269256 CPUtime=2.72 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12051/stat : 12051 (java) R 12047 12047 16473 0 -1 4202560 577 0 0 0 232 40 0 0 20 0 20 0 4892820 13587718144 339882 33554432000 4194304 4196468 140737427726080 140677025738072 140677092284953 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12052] ppid=12047 vsize=13269256 CPUtime=2.84 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12052/stat : 12052 (java) R 12047 12047 16473 0 -1 4202560 881 0 0 0 241 43 0 0 20 0 20 0 4892820 13587718144 339882 33554432000 4194304 4196468 140737427726080 140677024685272 140677092284962 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12053] ppid=12047 vsize=13269256 CPUtime=2.6 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12053/stat : 12053 (java) R 12047 12047 16473 0 -1 4202560 654 0 0 0 219 41 0 0 20 0 20 0 4892820 13587718144 339882 33554432000 4194304 4196468 140737427726080 140676704496728 140677092284953 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12054] ppid=12047 vsize=13269256 CPUtime=2.61 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12054/stat : 12054 (java) R 12047 12047 16473 0 -1 4202560 526 0 0 0 221 40 0 0 20 0 20 0 4892820 13587718144 339882 33554432000 4194304 4196468 140737427726080 140676703443928 140677092280782 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12055] ppid=12047 vsize=13269256 CPUtime=2.49 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12055/stat : 12055 (java) R 12047 12047 16473 0 -1 4202560 760 0 0 0 209 40 0 0 20 0 20 0 4892820 13587718144 339882 33554432000 4194304 4196468 140737427726080 140676702391128 140677092284953 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12056] ppid=12047 vsize=13269256 CPUtime=2.58 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12056/stat : 12056 (java) R 12047 12047 16473 0 -1 4202560 788 0 0 0 220 38 0 0 20 0 20 0 4892820 13587718144 339882 33554432000 4194304 4196468 140737427726080 140676701338328 140677092279200 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12057] ppid=12047 vsize=13269256 CPUtime=2.39 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12057/stat : 12057 (java) R 12047 12047 16473 0 -1 4202560 473 0 0 0 205 34 0 0 20 0 20 0 4892820 13587718144 339882 33554432000 4194304 4196468 140737427726080 140676700285216 140677092284953 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12058] ppid=12047 vsize=13269256 CPUtime=2.68 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12058/stat : 12058 (java) R 12047 12047 16473 0 -1 4202560 705 0 0 0 229 39 0 0 20 0 20 0 4892820 13587718144 339882 33554432000 4194304 4196468 140737427726080 140676699232728 140677092284953 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12059] ppid=12047 vsize=13269256 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12059/stat : 12059 (java) S 12047 12047 16473 0 -1 1077944384 2754 0 0 0 5 0 0 0 20 0 20 0 4892822 13587718144 339882 33554432000 4194304 4196468 140737427726080 140676166845856 140677107267285 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12060] ppid=12047 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12060/stat : 12060 (java) S 12047 12047 16473 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 4892823 13587718144 339882 33554432000 4194304 4196468 140737427726080 140676165793376 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12061] ppid=12047 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12061/stat : 12061 (java) S 12047 12047 16473 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 4892823 13587718144 339882 33554432000 4194304 4196468 140737427726080 140676164740480 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12062] ppid=12047 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12062/stat : 12062 (java) S 12047 12047 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4892827 13587718144 339882 33554432000 4194304 4196468 140737427726080 140676163688784 140677107275675 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
################
# More data... #
################
/proc/12048/task/12075/stat : 12075 (java) R 12047 12047 16473 0 -1 4202560 5648 0 0 0 16036 1 0 0 20 0 28 0 4893629 14133010432 1877857 33554432000 4194304 4196468 140737427726080 140674874720728 140676713123108 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12076] ppid=12047 vsize=13801768 CPUtime=160.97 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12076/stat : 12076 (java) R 12047 12047 16473 0 -1 4202560 5072 0 0 0 16096 1 0 0 20 0 28 0 4893629 14133010432 1877857 33554432000 4194304 4196468 140737427726080 140674873667832 140676708048287 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
Current children cumulated CPU time (s) 1700.06
Current children cumulated vsize (KiB) 13811280
[startup+282.301 s]
/proc/loadavg: 14.48 11.89 12.43 17/299 12175
/proc/meminfo: memFree=21911316/32770624 swapFree=5724/267864
[pid=12047] ppid=12044 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12047/stat : 12047 (xcsp3-exec) S 12044 12047 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4892818 9740288 345 33554432000 4194304 5098028 140730100927552 140730100925656 140168708661884 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10436608 140730100929678 140730100929888 140730100929888 140730100932587 0
/proc/12047/statm: 2378 345 289 221 0 87 0
[pid=12048] ppid=12047 vsize=13801768 CPUtime=2177.77 cores=0,2,4,6,8,10,12,14
/proc/12048/stat : 12048 (java) S 12047 12047 16473 0 -1 1077944320 232081 0 0 0 215079 2698 0 0 20 0 28 0 4892818 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140737427708624 140677107257079 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
/proc/12048/statm: 3450442 1879490 3306 1 0 3437675 0
[pid=12048/tid=12049] ppid=12047 vsize=13801768 CPUtime=4.19 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12049/stat : 12049 (java) S 12047 12047 16473 0 -1 1077944384 9457 0 0 0 407 12 0 0 20 0 28 0 4892819 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140677111497856 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12051] ppid=12047 vsize=13801768 CPUtime=48.06 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12051/stat : 12051 (java) S 12047 12047 16473 0 -1 1077944384 7250 0 0 0 4487 319 0 0 20 0 28 0 4892820 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140677025737872 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12052] ppid=12047 vsize=13801768 CPUtime=48.4 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12052/stat : 12052 (java) S 12047 12047 16473 0 -1 1077944384 7304 0 0 0 4505 335 0 0 20 0 28 0 4892820 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140677024685072 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12053] ppid=12047 vsize=13801768 CPUtime=47.7 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12053/stat : 12053 (java) S 12047 12047 16473 0 -1 1077944384 9066 0 0 0 4426 344 0 0 20 0 28 0 4892820 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140676704496528 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12054] ppid=12047 vsize=13801768 CPUtime=47.73 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12054/stat : 12054 (java) S 12047 12047 16473 0 -1 1077944384 5302 0 0 0 4441 332 0 0 20 0 28 0 4892820 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140676703443728 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12055] ppid=12047 vsize=13801768 CPUtime=47.7 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12055/stat : 12055 (java) S 12047 12047 16473 0 -1 1077944384 4979 0 0 0 4440 330 0 0 20 0 28 0 4892820 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140676702390928 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12056] ppid=12047 vsize=13801768 CPUtime=47.76 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12056/stat : 12056 (java) S 12047 12047 16473 0 -1 1077944384 6840 0 0 0 4425 351 0 0 20 0 28 0 4892820 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140676701338128 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12057] ppid=12047 vsize=13801768 CPUtime=47.61 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12057/stat : 12057 (java) S 12047 12047 16473 0 -1 1077944384 8180 0 0 0 4443 318 0 0 20 0 28 0 4892820 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140676700285328 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12058] ppid=12047 vsize=13801768 CPUtime=47.82 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12058/stat : 12058 (java) S 12047 12047 16473 0 -1 1077944384 7462 0 0 0 4476 306 0 0 20 0 28 0 4892820 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140676699232528 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12059] ppid=12047 vsize=13801768 CPUtime=6.89 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12059/stat : 12059 (java) S 12047 12047 16473 0 -1 1077944384 18638 0 0 0 679 10 0 0 20 0 28 0 4892822 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140676166847344 140677107268226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12060] ppid=12047 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12060/stat : 12060 (java) S 12047 12047 16473 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 4892823 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140676165793376 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12061] ppid=12047 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12061/stat : 12061 (java) S 12047 12047 16473 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4892823 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140676164740480 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12062] ppid=12047 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12062/stat : 12062 (java) S 12047 12047 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4892827 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140676163688784 140677107275675 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12063] ppid=12047 vsize=13801768 CPUtime=9.37 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12063/stat : 12063 (java) S 12047 12047 16473 0 -1 1077944384 29851 0 0 0 934 3 0 0 20 0 28 0 4892827 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140676162636144 140677107268226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12064] ppid=12047 vsize=13801768 CPUtime=8.11 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12064/stat : 12064 (java) S 12047 12047 16473 0 -1 1077944384 29658 0 0 0 808 3 0 0 20 0 28 0 4892827 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140676161583344 140677107268226 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12065] ppid=12047 vsize=13801768 CPUtime=7.29 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12065/stat : 12065 (java) S 12047 12047 16473 0 -1 1077944384 21405 0 0 0 726 3 0 0 20 0 28 0 4892827 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140676160530544 140677107268226 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12066] ppid=12047 vsize=13801768 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12066/stat : 12066 (java) S 12047 12047 16473 0 -1 1077944384 13960 0 0 0 177 3 0 0 20 0 28 0 4892827 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140676159477744 140677107268226 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12067] ppid=12047 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12067/stat : 12067 (java) S 12047 12047 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4892827 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140676158426208 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12068] ppid=12047 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12068/stat : 12068 (java) S 12047 12047 16473 0 -1 1077944384 1135 0 0 0 8 7 0 0 20 0 28 0 4892827 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140676157373488 140677107268226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12069] ppid=12047 vsize=13801768 CPUtime=219.9 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12069/stat : 12069 (java) R 12047 12047 16473 0 -1 4202560 3252 0 0 0 21989 1 0 0 20 0 28 0 4893629 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140675753955032 140676711741392 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12070] ppid=12047 vsize=13801768 CPUtime=218.72 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12070/stat : 12070 (java) R 12047 12047 16473 0 -1 4202560 6237 0 0 0 21871 1 0 0 20 0 28 0 4893629 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140675752902616 140676712054566 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12071] ppid=12047 vsize=13801768 CPUtime=218.79 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12071/stat : 12071 (java) R 12047 12047 16473 0 -1 4202560 4564 0 0 0 21877 2 0 0 20 0 28 0 4893629 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140675751849808 140676712054522 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12072] ppid=12047 vsize=13801768 CPUtime=220.39 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12072/stat : 12072 (java) R 12047 12047 16473 0 -1 4202560 10296 0 0 0 22036 3 0 0 20 0 28 0 4893629 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140675750797272 140676712040352 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12073] ppid=12047 vsize=13801768 CPUtime=219.35 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12073/stat : 12073 (java) R 12047 12047 16473 0 -1 4202560 6797 0 0 0 21933 2 0 0 20 0 28 0 4893629 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140675749744296 140676711160453 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12074] ppid=12047 vsize=13801768 CPUtime=219.72 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12074/stat : 12074 (java) R 12047 12047 16473 0 -1 4202560 6710 0 0 0 21971 1 0 0 20 0 28 0 4893629 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140674875772760 140676709590964 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12075] ppid=12047 vsize=13801768 CPUtime=219.62 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12075/stat : 12075 (java) R 12047 12047 16473 0 -1 4202560 6515 0 0 0 21960 2 0 0 20 0 28 0 4893629 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140674874720968 140676708625562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12076] ppid=12047 vsize=13801768 CPUtime=220.45 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12076/stat : 12076 (java) R 12047 12047 16473 0 -1 4202560 5896 0 0 0 22044 1 0 0 20 0 28 0 4893629 14133010432 1879490 33554432000 4194304 4196468 140737427726080 140674873668664 140676711160453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
Current children cumulated CPU time (s) 2177.77
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+310.202 s]
/proc/loadavg: 15.08 12.29 12.54 17/299 12191
/proc/meminfo: memFree=20802276/32770624 swapFree=5724/267880
[pid=12047] ppid=12044 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12047/stat : 12047 (xcsp3-exec) S 12044 12047 16473 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4892818 9740288 345 33554432000 4194304 5098028 140730100927552 140730100925656 140168708661884 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 10436608 140730100929678 140730100929888 140730100929888 140730100932587 0
/proc/12047/statm: 2378 345 289 221 0 87 0
[pid=12048] ppid=12047 vsize=13801768 CPUtime=2400.05 cores=0,2,4,6,8,10,12,14
/proc/12048/stat : 12048 (java) S 12047 12047 16473 0 -1 1077944320 237197 0 0 0 237303 2702 0 0 20 0 28 0 4892818 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140737427708624 140677107257079 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
/proc/12048/statm: 3450442 1866588 3306 1 0 3437675 0
[pid=12048/tid=12049] ppid=12047 vsize=13801768 CPUtime=4.19 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12049/stat : 12049 (java) S 12047 12047 16473 0 -1 1077944384 9457 0 0 0 407 12 0 0 20 0 28 0 4892819 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140677111497856 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12051] ppid=12047 vsize=13801768 CPUtime=48.17 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12051/stat : 12051 (java) S 12047 12047 16473 0 -1 1077944384 7787 0 0 0 4498 319 0 0 20 0 28 0 4892820 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140677025737872 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12052] ppid=12047 vsize=13801768 CPUtime=48.51 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12052/stat : 12052 (java) S 12047 12047 16473 0 -1 1077944384 7416 0 0 0 4516 335 0 0 20 0 28 0 4892820 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140677024685072 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12053] ppid=12047 vsize=13801768 CPUtime=47.81 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12053/stat : 12053 (java) S 12047 12047 16473 0 -1 1077944384 9696 0 0 0 4437 344 0 0 20 0 28 0 4892820 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140676704496528 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12054] ppid=12047 vsize=13801768 CPUtime=47.85 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12054/stat : 12054 (java) S 12047 12047 16473 0 -1 1077944384 6569 0 0 0 4452 333 0 0 20 0 28 0 4892820 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140676703443728 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12055] ppid=12047 vsize=13801768 CPUtime=47.81 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12055/stat : 12055 (java) S 12047 12047 16473 0 -1 1077944384 5139 0 0 0 4451 330 0 0 20 0 28 0 4892820 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140676702390928 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12056] ppid=12047 vsize=13801768 CPUtime=47.87 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12056/stat : 12056 (java) S 12047 12047 16473 0 -1 1077944384 6934 0 0 0 4436 351 0 0 20 0 28 0 4892820 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140676701338128 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12057] ppid=12047 vsize=13801768 CPUtime=47.72 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12057/stat : 12057 (java) S 12047 12047 16473 0 -1 1077944384 8293 0 0 0 4454 318 0 0 20 0 28 0 4892820 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140676700285328 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12058] ppid=12047 vsize=13801768 CPUtime=47.93 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12058/stat : 12058 (java) S 12047 12047 16473 0 -1 1077944384 7739 0 0 0 4487 306 0 0 20 0 28 0 4892820 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140676699232528 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12059] ppid=12047 vsize=13801768 CPUtime=6.9 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12059/stat : 12059 (java) S 12047 12047 16473 0 -1 1077944384 18812 0 0 0 679 11 0 0 20 0 28 0 4892822 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140676166847344 140677107268226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12060] ppid=12047 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12060/stat : 12060 (java) S 12047 12047 16473 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 28 0 4892823 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140676165793376 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12061] ppid=12047 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12061/stat : 12061 (java) S 12047 12047 16473 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 4892823 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140676164740480 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12062] ppid=12047 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12062/stat : 12062 (java) S 12047 12047 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4892827 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140676163688784 140677107275675 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12063] ppid=12047 vsize=13801768 CPUtime=9.37 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12063/stat : 12063 (java) S 12047 12047 16473 0 -1 1077944384 29851 0 0 0 934 3 0 0 20 0 28 0 4892827 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140676162636144 140677107268226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12064] ppid=12047 vsize=13801768 CPUtime=8.11 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12064/stat : 12064 (java) S 12047 12047 16473 0 -1 1077944384 29658 0 0 0 808 3 0 0 20 0 28 0 4892827 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140676161583344 140677107268226 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12065] ppid=12047 vsize=13801768 CPUtime=7.29 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12065/stat : 12065 (java) S 12047 12047 16473 0 -1 1077944384 21405 0 0 0 726 3 0 0 20 0 28 0 4892827 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140676160530544 140677107268226 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12066] ppid=12047 vsize=13801768 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12066/stat : 12066 (java) S 12047 12047 16473 0 -1 1077944384 14013 0 0 0 177 3 0 0 20 0 28 0 4892827 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140676159477744 140677107268226 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12067] ppid=12047 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12067/stat : 12067 (java) S 12047 12047 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4892827 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140676158426208 140677107267285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12068] ppid=12047 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12068/stat : 12068 (java) S 12047 12047 16473 0 -1 1077944384 1143 0 0 0 8 8 0 0 20 0 28 0 4892827 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140676157373488 140677107268226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12069] ppid=12047 vsize=13801768 CPUtime=247.67 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12069/stat : 12069 (java) R 12047 12047 16473 0 -1 4202560 3345 0 0 0 24766 1 0 0 20 0 28 0 4893629 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140675753954536 140676715268252 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12070] ppid=12047 vsize=13801768 CPUtime=246.23 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12070/stat : 12070 (java) R 12047 12047 16473 0 -1 4202560 6279 0 0 0 24621 2 0 0 20 0 28 0 4893629 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140675752905648 140676712054128 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12071] ppid=12047 vsize=13801768 CPUtime=246.57 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12071/stat : 12071 (java) R 12047 12047 16473 0 -1 4202560 4647 0 0 0 24655 2 0 0 20 0 28 0 4893629 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140675751849808 140676712054522 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12072] ppid=12047 vsize=13801768 CPUtime=248.17 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12072/stat : 12072 (java) R 12047 12047 16473 0 -1 4202560 10968 0 0 0 24813 4 0 0 20 0 28 0 4893629 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140675750799496 140676708048479 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12073] ppid=12047 vsize=13801768 CPUtime=246.64 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12073/stat : 12073 (java) R 12047 12047 16473 0 -1 4202560 6939 0 0 0 24662 2 0 0 20 0 28 0 4893629 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140675749744328 140676711212403 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12074] ppid=12047 vsize=13801768 CPUtime=247.49 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12074/stat : 12074 (java) R 12047 12047 16473 0 -1 4202560 6913 0 0 0 24748 1 0 0 20 0 28 0 4893629 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140674875772808 140676713744396 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12075] ppid=12047 vsize=13801768 CPUtime=247.35 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12075/stat : 12075 (java) R 12047 12047 16473 0 -1 4202560 6778 0 0 0 24733 2 0 0 20 0 28 0 4893629 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140674874720936 140676712041055 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
[pid=12048/tid=12076] ppid=12047 vsize=13801768 CPUtime=248.22 cores=0,2,4,6,8,10,12,14
/proc/12048/task/12076/stat : 12076 (java) R 12047 12047 16473 0 -1 4202560 6089 0 0 0 24821 1 0 0 20 0 28 0 4893629 14133010432 1866588 33554432000 4194304 4196468 140737427726080 140674873668664 140676708047869 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32448512 140737427727548 140737427727724 140737427727724 140737427730383 0
Current children cumulated CPU time (s) 2400.05
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 12048 sig 9
??? kill 12047 sig 9
??? kill -12047 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12047 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1368
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1368
# CPU time returned by wait4() is 0.002736
# while last known CPU time is 2400.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 310.23
CPU time (s): 2400.05
CPU user time (s): 2373.03
CPU system time (s): 27.02
CPU usage (%): 773.635
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001368
system time used= 0.001368
maximum resident set size= 1384
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.58212 second user time and 4.33832 second system time
The end