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-4247489-1500690283/watcher-4247489-1500690283 -o /tmp/evaluation-result-4247489-1500690283/solver-4247489-1500690283 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15435 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1315699062 HOME/instance-4247489-1500690283.xml
pid=7886
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: 7.35 4.73 5.33 10/270 7889
/proc/meminfo: memFree=30609696/32770624 swapFree=5804/259740
[pid=7889] ppid=7886 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7889/stat : 7889 (xcsp3-exec) S 7886 7889 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4294543 9740288 346 33554432000 4194304 5098028 140728772869760 140728772867864 140565272044156 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 14753792 140728772875406 140728772875616 140728772875616 140728772878315 0
/proc/7889/statm: 2378 346 289 221 0 87 0
[startup+0.100063 s]
/proc/loadavg: 7.35 4.73 5.33 10/270 7889
/proc/meminfo: memFree=30609696/32770624 swapFree=5804/259740
[pid=7889] ppid=7886 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7889/stat : 7889 (xcsp3-exec) S 7886 7889 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4294543 9740288 346 33554432000 4194304 5098028 140728772869760 140728772867864 140565272044156 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 14753792 140728772875406 140728772875616 140728772875616 140728772878315 0
/proc/7889/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200273 s]
/proc/loadavg: 7.35 4.73 5.33 10/270 7889
/proc/meminfo: memFree=30609696/32770624 swapFree=5804/259740
[pid=7889] ppid=7886 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7889/stat : 7889 (xcsp3-exec) S 7886 7889 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4294543 9740288 346 33554432000 4194304 5098028 140728772869760 140728772867864 140565272044156 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 14753792 140728772875406 140728772875616 140728772875616 140728772878315 0
/proc/7889/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300297 s]
/proc/loadavg: 7.35 4.73 5.33 10/270 7889
/proc/meminfo: memFree=30609696/32770624 swapFree=5804/259740
[pid=7889] ppid=7886 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7889/stat : 7889 (xcsp3-exec) S 7886 7889 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4294543 9740288 346 33554432000 4194304 5098028 140728772869760 140728772867864 140565272044156 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 14753792 140728772875406 140728772875616 140728772875616 140728772878315 0
/proc/7889/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700194 s]
/proc/loadavg: 7.35 4.73 5.33 10/270 7889
/proc/meminfo: memFree=30609696/32770624 swapFree=5804/259740
[pid=7889] ppid=7886 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7889/stat : 7889 (xcsp3-exec) S 7886 7889 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4294543 9740288 346 33554432000 4194304 5098028 140728772869760 140728772867864 140565272044156 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 14753792 140728772875406 140728772875616 140728772875616 140728772878315 0
/proc/7889/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50108 s]
/proc/loadavg: 7.35 4.73 5.33 16/294 7993
/proc/meminfo: memFree=30427504/32770624 swapFree=5804/259788
[pid=7889] ppid=7886 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7889/stat : 7889 (xcsp3-exec) S 7886 7889 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4294543 9740288 346 33554432000 4194304 5098028 140728772869760 140728772867864 140565272044156 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 14753792 140728772875406 140728772875616 140728772875616 140728772878315 0
/proc/7889/statm: 2378 346 289 221 0 87 0
[pid=7890] ppid=7889 vsize=13803816 CPUtime=6.65 cores=0,2,4,6,8,10,12,14
/proc/7890/stat : 7890 (java) S 7889 7889 14782 0 -1 1077944320 18732 0 0 0 649 16 0 0 20 0 28 0 4294543 14135107584 49832 33554432000 4194304 4196468 140729856954464 140729856937008 139702598164215 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
/proc/7890/statm: 3450954 49832 3260 1 0 3438187 0
[pid=7890/tid=7891] ppid=7889 vsize=13803816 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7891/stat : 7891 (java) S 7889 7889 14782 0 -1 1077944384 7074 0 0 0 88 4 0 0 20 0 28 0 4294544 14135107584 49832 33554432000 4194304 4196468 140729856954464 139702602404992 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7893] ppid=7889 vsize=13803816 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7893/stat : 7893 (java) S 7889 7889 14782 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 28 0 4294544 14135107584 49832 33554432000 4194304 4196468 140729856954464 139702537128848 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7894] ppid=7889 vsize=13803816 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7894/stat : 7894 (java) S 7889 7889 14782 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 28 0 4294544 14135107584 49832 33554432000 4194304 4196468 140729856954464 139702196198160 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7895] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7895/stat : 7895 (java) S 7889 7889 14782 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4294544 14135107584 49832 33554432000 4194304 4196468 140729856954464 139702195145872 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7896] ppid=7889 vsize=13803816 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7896/stat : 7896 (java) S 7889 7889 14782 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 28 0 4294544 14135107584 49832 33554432000 4194304 4196468 140729856954464 139702194093072 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7897] ppid=7889 vsize=13803816 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7897/stat : 7897 (java) S 7889 7889 14782 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 28 0 4294545 14135107584 49832 33554432000 4194304 4196468 140729856954464 139702193039760 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7898] ppid=7889 vsize=13803816 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7898/stat : 7898 (java) S 7889 7889 14782 0 -1 1077944384 13 0 0 0 1 0 0 0 20 0 28 0 4294545 14135107584 49832 33554432000 4194304 4196468 140729856954464 139702191986960 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7899] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7899/stat : 7899 (java) S 7889 7889 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4294545 14135107584 49832 33554432000 4194304 4196468 140729856954464 139702190934672 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7900] ppid=7889 vsize=13803816 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7900/stat : 7900 (java) S 7889 7889 14782 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 28 0 4294545 14135107584 49832 33554432000 4194304 4196468 140729856954464 139702189881872 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7901] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7901/stat : 7901 (java) S 7889 7889 14782 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4294547 14135107584 49832 33554432000 4194304 4196468 140729856954464 139702060423792 139702598175362 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7902] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7902/stat : 7902 (java) S 7889 7889 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4294548 14135107584 49832 33554432000 4194304 4196468 140729856954464 139702059369760 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7903] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7903/stat : 7903 (java) S 7889 7889 14782 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4294548 14135107584 49832 33554432000 4194304 4196468 140729856954464 139702058317424 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7904] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7904/stat : 7904 (java) S 7889 7889 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4294552 14135107584 49832 33554432000 4194304 4196468 140729856954464 139702057265744 139702598182811 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7905] ppid=7889 vsize=13803816 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7905/stat : 7905 (java) R 7889 7889 14782 0 -1 4202560 1714 0 0 0 77 0 0 0 20 0 28 0 4294552 14135107584 49832 33554432000 4194304 4196468 140729856954464 139702056198432 139702577410063 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7906] ppid=7889 vsize=13803816 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7906/stat : 7906 (java) R 7889 7889 14782 0 -1 4202560 1331 0 0 0 82 0 0 0 20 0 28 0 4294552 14135107584 49832 33554432000 4194304 4196468 140729856954464 139702055146016 139702581368241 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7907] ppid=7889 vsize=13803816 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7907/stat : 7907 (java) R 7889 7889 14782 0 -1 4202560 1526 0 0 0 88 0 0 0 20 0 28 0 4294552 14135107584 49832 33554432000 4194304 4196468 140729856954464 139702054100696 139702584179352 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7908] ppid=7889 vsize=13803816 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7908/stat : 7908 (java) S 7889 7889 14782 0 -1 1077944384 2730 0 0 0 81 0 0 0 20 0 28 0 4294552 14135107584 49832 33554432000 4194304 4196468 140729856954464 139702053054704 139702598175362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7909] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7909/stat : 7909 (java) S 7889 7889 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4294552 14135107584 49832 33554432000 4194304 4196468 140729856954464 139702052002656 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7910] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7910/stat : 7910 (java) S 7889 7889 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4294553 14135107584 49832 33554432000 4194304 4196468 140729856954464 139702050949936 139702598175362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
Current children cumulated CPU time (s) 6.65
Current children cumulated vsize (KiB) 13813328
[startup+3.10116 s]
/proc/loadavg: 7.35 4.73 5.33 20/299 8078
/proc/meminfo: memFree=30388304/32770624 swapFree=5804/259788
[pid=7889] ppid=7886 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7889/stat : 7889 (xcsp3-exec) S 7886 7889 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4294543 9740288 346 33554432000 4194304 5098028 140728772869760 140728772867864 140565272044156 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 14753792 140728772875406 140728772875616 140728772875616 140728772878315 0
/proc/7889/statm: 2378 346 289 221 0 87 0
[pid=7890] ppid=7889 vsize=13803816 CPUtime=19.18 cores=0,2,4,6,8,10,12,14
/proc/7890/stat : 7890 (java) S 7889 7889 14782 0 -1 1077944320 25145 0 0 0 1895 23 0 0 20 0 28 0 4294543 14135107584 60890 33554432000 4194304 4196468 140729856954464 140729856937008 139702598164215 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
/proc/7890/statm: 3450954 60890 3265 1 0 3438187 0
[pid=7890/tid=7891] ppid=7889 vsize=13803816 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7891/stat : 7891 (java) S 7889 7889 14782 0 -1 1077944384 7075 0 0 0 88 4 0 0 20 0 28 0 4294544 14135107584 60890 33554432000 4194304 4196468 140729856954464 139702602404992 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7893] ppid=7889 vsize=13803816 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7893/stat : 7893 (java) S 7889 7889 14782 0 -1 1077944384 24 0 0 0 1 1 0 0 20 0 28 0 4294544 14135107584 60890 33554432000 4194304 4196468 140729856954464 139702537128848 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7894] ppid=7889 vsize=13803816 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7894/stat : 7894 (java) S 7889 7889 14782 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 28 0 4294544 14135107584 60890 33554432000 4194304 4196468 140729856954464 139702196198160 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7895] ppid=7889 vsize=13803816 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7895/stat : 7895 (java) S 7889 7889 14782 0 -1 1077944384 27 0 0 0 1 1 0 0 20 0 28 0 4294544 14135107584 60890 33554432000 4194304 4196468 140729856954464 139702195145872 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7896] ppid=7889 vsize=13803816 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7896/stat : 7896 (java) S 7889 7889 14782 0 -1 1077944384 26 0 0 0 2 1 0 0 20 0 28 0 4294544 14135107584 60890 33554432000 4194304 4196468 140729856954464 139702194093072 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7897] ppid=7889 vsize=13803816 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7897/stat : 7897 (java) S 7889 7889 14782 0 -1 1077944384 19 0 0 0 2 1 0 0 20 0 28 0 4294545 14135107584 60890 33554432000 4194304 4196468 140729856954464 139702193039760 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7898] ppid=7889 vsize=13803816 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7898/stat : 7898 (java) S 7889 7889 14782 0 -1 1077944384 21 0 0 0 2 1 0 0 20 0 28 0 4294545 14135107584 60890 33554432000 4194304 4196468 140729856954464 139702191986960 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7899] ppid=7889 vsize=13803816 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7899/stat : 7899 (java) S 7889 7889 14782 0 -1 1077944384 10 0 0 0 1 0 0 0 20 0 28 0 4294545 14135107584 60890 33554432000 4194304 4196468 140729856954464 139702190934672 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7900] ppid=7889 vsize=13803816 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7900/stat : 7900 (java) S 7889 7889 14782 0 -1 1077944384 22 0 0 0 2 1 0 0 20 0 28 0 4294545 14135107584 60890 33554432000 4194304 4196468 140729856954464 139702189881872 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7901] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7901/stat : 7901 (java) S 7889 7889 14782 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4294547 14135107584 60890 33554432000 4194304 4196468 140729856954464 139702060423792 139702598175362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7902] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7902/stat : 7902 (java) S 7889 7889 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4294548 14135107584 60890 33554432000 4194304 4196468 140729856954464 139702059369760 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7903] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7903/stat : 7903 (java) S 7889 7889 14782 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4294548 14135107584 60890 33554432000 4194304 4196468 140729856954464 139702058317424 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7904] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7904/stat : 7904 (java) S 7889 7889 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4294552 14135107584 60890 33554432000 4194304 4196468 140729856954464 139702057265744 139702598182811 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7905] ppid=7889 vsize=13803816 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7905/stat : 7905 (java) R 7889 7889 14782 0 -1 4202560 3174 0 0 0 194 0 0 0 20 0 28 0 4294552 14135107584 60890 33554432000 4194304 4196468 140729856954464 139702056198848 139702584178524 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7906] ppid=7889 vsize=13803816 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7906/stat : 7906 (java) R 7889 7889 14782 0 -1 4202560 3447 0 0 0 193 1 0 0 20 0 28 0 4294552 14135107584 60890 33554432000 4194304 4196468 140729856954464 139702055142160 139702581650640 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7907] ppid=7889 vsize=13803816 CPUtime=1.94 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7907/stat : 7907 (java) R 7889 7889 14782 0 -1 4202560 3161 0 0 0 194 0 0 0 20 0 28 0 4294552 14135107584 60890 33554432000 4194304 4196468 140729856954464 139702054092656 139702577507153 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7908] ppid=7889 vsize=13803816 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7908/stat : 7908 (java) S 7889 7889 14782 0 -1 1077944384 3429 0 0 0 95 0 0 0 20 0 28 0 4294552 14135107584 60890 33554432000 4194304 4196468 140729856954464 139702053054704 139702598175362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7909] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7909/stat : 7909 (java) S 7889 7889 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4294552 14135107584 60890 33554432000 4194304 4196468 140729856954464 139702052002656 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7910] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7910/stat : 7910 (java) S 7889 7889 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4294553 14135107584 60890 33554432000 4194304 4196468 140729856954464 139702050949936 139702598175362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
Current children cumulated CPU time (s) 19.18
Current children cumulated vsize (KiB) 13813328
[startup+6.30155 s]
/proc/loadavg: 8.05 4.91 5.39 17/299 8086
/proc/meminfo: memFree=30272772/32770624 swapFree=5804/259788
[pid=7889] ppid=7886 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7889/stat : 7889 (xcsp3-exec) S 7886 7889 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4294543 9740288 346 33554432000 4194304 5098028 140728772869760 140728772867864 140565272044156 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 14753792 140728772875406 140728772875616 140728772875616 140728772878315 0
/proc/7889/statm: 2378 346 289 221 0 87 0
[pid=7890] ppid=7889 vsize=13803816 CPUtime=44.54 cores=0,2,4,6,8,10,12,14
/proc/7890/stat : 7890 (java) S 7889 7889 14782 0 -1 1077944320 34125 0 0 0 4421 33 0 0 20 0 28 0 4294543 14135107584 90803 33554432000 4194304 4196468 140729856954464 140729856937008 139702598164215 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
/proc/7890/statm: 3450954 90803 3271 1 0 3438187 0
[pid=7890/tid=7891] ppid=7889 vsize=13803816 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7891/stat : 7891 (java) S 7889 7889 14782 0 -1 1077944384 7075 0 0 0 88 4 0 0 20 0 28 0 4294544 14135107584 90803 33554432000 4194304 4196468 140729856954464 139702602404992 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7893] ppid=7889 vsize=13803816 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7893/stat : 7893 (java) S 7889 7889 14782 0 -1 1077944384 65 0 0 0 2 2 0 0 20 0 28 0 4294544 14135107584 90803 33554432000 4194304 4196468 140729856954464 139702537128848 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7894] ppid=7889 vsize=13803816 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7894/stat : 7894 (java) S 7889 7889 14782 0 -1 1077944384 66 0 0 0 2 2 0 0 20 0 28 0 4294544 14135107584 90803 33554432000 4194304 4196468 140729856954464 139702196198160 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7895] ppid=7889 vsize=13803816 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7895/stat : 7895 (java) S 7889 7889 14782 0 -1 1077944384 979 0 0 0 2 1 0 0 20 0 28 0 4294544 14135107584 90803 33554432000 4194304 4196468 140729856954464 139702195145872 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7896] ppid=7889 vsize=13803816 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7896/stat : 7896 (java) S 7889 7889 14782 0 -1 1077944384 37 0 0 0 2 1 0 0 20 0 28 0 4294544 14135107584 90803 33554432000 4194304 4196468 140729856954464 139702194093072 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7897] ppid=7889 vsize=13803816 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7897/stat : 7897 (java) S 7889 7889 14782 0 -1 1077944384 45 0 0 0 2 2 0 0 20 0 28 0 4294545 14135107584 90803 33554432000 4194304 4196468 140729856954464 139702193039760 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7898] ppid=7889 vsize=13803816 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7898/stat : 7898 (java) S 7889 7889 14782 0 -1 1077944384 70 0 0 0 3 2 0 0 20 0 28 0 4294545 14135107584 90803 33554432000 4194304 4196468 140729856954464 139702191986960 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7899] ppid=7889 vsize=13803816 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7899/stat : 7899 (java) S 7889 7889 14782 0 -1 1077944384 253 0 0 0 2 1 0 0 20 0 28 0 4294545 14135107584 90803 33554432000 4194304 4196468 140729856954464 139702190934672 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7900] ppid=7889 vsize=13803816 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7900/stat : 7900 (java) S 7889 7889 14782 0 -1 1077944384 71 0 0 0 2 2 0 0 20 0 28 0 4294545 14135107584 90803 33554432000 4194304 4196468 140729856954464 139702189881872 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7901] ppid=7889 vsize=13803816 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7901/stat : 7901 (java) S 7889 7889 14782 0 -1 1077944384 427 0 0 0 1 0 0 0 20 0 28 0 4294547 14135107584 90803 33554432000 4194304 4196468 140729856954464 139702060423792 139702598175362 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7902] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7902/stat : 7902 (java) S 7889 7889 14782 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4294548 14135107584 90803 33554432000 4194304 4196468 140729856954464 139702059369760 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7903] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7903/stat : 7903 (java) S 7889 7889 14782 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4294548 14135107584 90803 33554432000 4194304 4196468 140729856954464 139702058317424 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7904] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7904/stat : 7904 (java) S 7889 7889 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4294552 14135107584 90803 33554432000 4194304 4196468 140729856954464 139702057265744 139702598182811 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
################
# More data... #
################
/proc/7890/task/7902/stat : 7902 (java) S 7889 7889 14782 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4294548 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702059369760 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7903] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7903/stat : 7903 (java) S 7889 7889 14782 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4294548 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702058317424 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7904] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7904/stat : 7904 (java) S 7889 7889 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4294552 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702057265744 139702598182811 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7905] ppid=7889 vsize=13803816 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7905/stat : 7905 (java) S 7889 7889 14782 0 -1 1077944384 7261 0 0 0 307 1 0 0 20 0 28 0 4294552 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702056212592 139702598175362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7906] ppid=7889 vsize=13803816 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7906/stat : 7906 (java) S 7889 7889 14782 0 -1 1077944384 7568 0 0 0 305 1 0 0 20 0 28 0 4294552 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702055159792 139702598175362 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7907] ppid=7889 vsize=13803816 CPUtime=2.98 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7907/stat : 7907 (java) S 7889 7889 14782 0 -1 1077944384 6480 0 0 0 297 1 0 0 20 0 28 0 4294552 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702054107504 139702598175362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7908] ppid=7889 vsize=13803816 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7908/stat : 7908 (java) S 7889 7889 14782 0 -1 1077944384 5660 0 0 0 112 1 0 0 20 0 28 0 4294552 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702053054704 139702598175362 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 8 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7909] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7909/stat : 7909 (java) S 7889 7889 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4294552 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702052002656 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7910] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7910/stat : 7910 (java) S 7889 7889 14782 0 -1 1077944384 773 0 0 0 0 0 0 0 20 0 28 0 4294553 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702050949936 139702598175362 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 7 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8079] ppid=7889 vsize=13803816 CPUtime=24.69 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8079/stat : 8079 (java) R 7889 7889 14782 0 -1 4202560 507 0 0 0 2469 0 0 0 20 0 28 0 4294784 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702038724664 139702224277390 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8080] ppid=7889 vsize=13803816 CPUtime=24.81 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8080/stat : 8080 (java) R 7889 7889 14782 0 -1 4202560 401 0 0 0 2481 0 0 0 20 0 28 0 4294784 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702037673000 139702223225969 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8081] ppid=7889 vsize=13803816 CPUtime=24.69 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8081/stat : 8081 (java) R 7889 7889 14782 0 -1 4202560 1533 0 0 0 2467 2 0 0 20 0 28 0 4294784 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702036619480 139702227231608 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8082] ppid=7889 vsize=13803816 CPUtime=24.69 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8082/stat : 8082 (java) R 7889 7889 14782 0 -1 4202560 1398 0 0 0 2468 1 0 0 20 0 28 0 4294784 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702042935000 139702583374578 0 4 0 16800975 0 0 0 -1 8 0 0 3 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8083] ppid=7889 vsize=13803816 CPUtime=24.4 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8083/stat : 8083 (java) R 7889 7889 14782 0 -1 4202560 1444 0 0 0 2438 2 0 0 20 0 28 0 4294784 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702035566808 139702225487420 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8084] ppid=7889 vsize=13803816 CPUtime=25.02 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8084/stat : 8084 (java) R 7889 7889 14782 0 -1 4202560 354 0 0 0 2502 0 0 0 20 0 28 0 4294784 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702039777336 139702223436142 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8085] ppid=7889 vsize=13803816 CPUtime=25 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8085/stat : 8085 (java) R 7889 7889 14782 0 -1 4202560 504 0 0 0 2500 0 0 0 20 0 28 0 4294784 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702040830920 139702223978118 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8086] ppid=7889 vsize=13803816 CPUtime=24.63 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8086/stat : 8086 (java) R 7889 7889 14782 0 -1 4202560 517 0 0 0 2463 0 0 0 20 0 28 0 4294785 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702041883120 139702223435504 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
Current children cumulated CPU time (s) 217.15
Current children cumulated vsize (KiB) 13813328
[startup+28.4016 s]
/proc/loadavg: 10.30 5.63 5.62 17/299 8087
/proc/meminfo: memFree=29985524/32770624 swapFree=5804/259828
[pid=7889] ppid=7886 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7889/stat : 7889 (xcsp3-exec) S 7886 7889 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4294543 9740288 346 33554432000 4194304 5098028 140728772869760 140728772867864 140565272044156 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 14753792 140728772875406 140728772875616 140728772875616 140728772878315 0
/proc/7889/statm: 2378 346 289 221 0 87 0
[pid=7890] ppid=7889 vsize=13803816 CPUtime=220.34 cores=0,2,4,6,8,10,12,14
/proc/7890/stat : 7890 (java) S 7889 7889 14782 0 -1 1077944320 52014 0 0 0 21972 62 0 0 20 0 28 0 4294543 14135107584 155396 33554432000 4194304 4196468 140729856954464 140729856937008 139702598164215 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
/proc/7890/statm: 3450954 155396 3281 1 0 3438187 0
[pid=7890/tid=7891] ppid=7889 vsize=13803816 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7891/stat : 7891 (java) S 7889 7889 14782 0 -1 1077944384 7075 0 0 0 88 4 0 0 20 0 28 0 4294544 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702602404992 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7893] ppid=7889 vsize=13803816 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7893/stat : 7893 (java) S 7889 7889 14782 0 -1 1077944384 164 0 0 0 4 5 0 0 20 0 28 0 4294544 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702537128848 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7894] ppid=7889 vsize=13803816 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7894/stat : 7894 (java) S 7889 7889 14782 0 -1 1077944384 1249 0 0 0 5 4 0 0 20 0 28 0 4294544 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702196198160 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7895] ppid=7889 vsize=13803816 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7895/stat : 7895 (java) S 7889 7889 14782 0 -1 1077944384 1197 0 0 0 4 4 0 0 20 0 28 0 4294544 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702195145872 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7896] ppid=7889 vsize=13803816 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7896/stat : 7896 (java) S 7889 7889 14782 0 -1 1077944384 332 0 0 0 5 3 0 0 20 0 28 0 4294544 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702194093072 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7897] ppid=7889 vsize=13803816 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7897/stat : 7897 (java) S 7889 7889 14782 0 -1 1077944384 174 0 0 0 5 5 0 0 20 0 28 0 4294545 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702193039760 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7898] ppid=7889 vsize=13803816 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7898/stat : 7898 (java) S 7889 7889 14782 0 -1 1077944384 147 0 0 0 5 4 0 0 20 0 28 0 4294545 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702191986960 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7899] ppid=7889 vsize=13803816 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7899/stat : 7899 (java) S 7889 7889 14782 0 -1 1077944384 296 0 0 0 3 3 0 0 20 0 28 0 4294545 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702190934672 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7900] ppid=7889 vsize=13803816 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7900/stat : 7900 (java) S 7889 7889 14782 0 -1 1077944384 1460 0 0 0 4 5 0 0 20 0 28 0 4294545 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702189881872 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7901] ppid=7889 vsize=13803816 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7901/stat : 7901 (java) S 7889 7889 14782 0 -1 1077944384 995 0 0 0 2 1 0 0 20 0 28 0 4294547 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702060423792 139702598175362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7902] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7902/stat : 7902 (java) S 7889 7889 14782 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4294548 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702059369760 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7903] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7903/stat : 7903 (java) S 7889 7889 14782 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4294548 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702058317424 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7904] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7904/stat : 7904 (java) S 7889 7889 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4294552 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702057265744 139702598182811 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7905] ppid=7889 vsize=13803816 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7905/stat : 7905 (java) S 7889 7889 14782 0 -1 1077944384 7261 0 0 0 307 1 0 0 20 0 28 0 4294552 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702056212592 139702598175362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7906] ppid=7889 vsize=13803816 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7906/stat : 7906 (java) S 7889 7889 14782 0 -1 1077944384 7568 0 0 0 305 1 0 0 20 0 28 0 4294552 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702055159792 139702598175362 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7907] ppid=7889 vsize=13803816 CPUtime=2.98 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7907/stat : 7907 (java) S 7889 7889 14782 0 -1 1077944384 6480 0 0 0 297 1 0 0 20 0 28 0 4294552 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702054107504 139702598175362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7908] ppid=7889 vsize=13803816 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7908/stat : 7908 (java) S 7889 7889 14782 0 -1 1077944384 5660 0 0 0 112 1 0 0 20 0 28 0 4294552 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702053054704 139702598175362 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 8 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7909] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7909/stat : 7909 (java) S 7889 7889 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4294552 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702052002656 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7910] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7910/stat : 7910 (java) S 7889 7889 14782 0 -1 1077944384 773 0 0 0 0 0 0 0 20 0 28 0 4294553 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702050949936 139702598175362 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 7 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8079] ppid=7889 vsize=13803816 CPUtime=25.09 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8079/stat : 8079 (java) R 7889 7889 14782 0 -1 4202560 507 0 0 0 2509 0 0 0 20 0 28 0 4294784 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702038724664 139702223585536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8080] ppid=7889 vsize=13803816 CPUtime=25.21 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8080/stat : 8080 (java) R 7889 7889 14782 0 -1 4202560 401 0 0 0 2521 0 0 0 20 0 28 0 4294784 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702037673000 139702224512779 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8081] ppid=7889 vsize=13803816 CPUtime=25.09 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8081/stat : 8081 (java) R 7889 7889 14782 0 -1 4202560 1542 0 0 0 2507 2 0 0 20 0 28 0 4294784 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702036619480 139702225816317 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8082] ppid=7889 vsize=13803816 CPUtime=25.09 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8082/stat : 8082 (java) R 7889 7889 14782 0 -1 4202560 1402 0 0 0 2508 1 0 0 20 0 28 0 4294784 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702042935000 139702224548425 0 4 0 16800975 0 0 0 -1 8 0 0 3 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8083] ppid=7889 vsize=13803816 CPUtime=24.8 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8083/stat : 8083 (java) R 7889 7889 14782 0 -1 4202560 1446 0 0 0 2478 2 0 0 20 0 28 0 4294784 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702035566808 139702225916960 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8084] ppid=7889 vsize=13803816 CPUtime=25.42 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8084/stat : 8084 (java) R 7889 7889 14782 0 -1 4202560 354 0 0 0 2542 0 0 0 20 0 28 0 4294784 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702039777336 139702223225914 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8085] ppid=7889 vsize=13803816 CPUtime=25.39 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8085/stat : 8085 (java) R 7889 7889 14782 0 -1 4202560 505 0 0 0 2539 0 0 0 20 0 28 0 4294784 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702040830920 139702223436409 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8086] ppid=7889 vsize=13803816 CPUtime=25.02 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8086/stat : 8086 (java) R 7889 7889 14782 0 -1 4202560 519 0 0 0 2502 0 0 0 20 0 28 0 4294785 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702041883120 139702223225998 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
Current children cumulated CPU time (s) 220.34
Current children cumulated vsize (KiB) 13813328
[startup+28.8015 s]
/proc/loadavg: 10.76 5.80 5.67 17/299 8087
/proc/meminfo: memFree=29985648/32770624 swapFree=5804/259828
[pid=7889] ppid=7886 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7889/stat : 7889 (xcsp3-exec) S 7886 7889 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4294543 9740288 346 33554432000 4194304 5098028 140728772869760 140728772867864 140565272044156 0 65536 4100 65538 18446744071579417331 0 0 17 8 0 0 0 0 0 7196144 7232144 14753792 140728772875406 140728772875616 140728772875616 140728772878315 0
/proc/7889/statm: 2378 346 289 221 0 87 0
[pid=7890] ppid=7889 vsize=13803816 CPUtime=223.51 cores=0,2,4,6,8,10,12,14
/proc/7890/stat : 7890 (java) S 7889 7889 14782 0 -1 1077944320 52037 0 0 0 22289 62 0 0 20 0 28 0 4294543 14135107584 155396 33554432000 4194304 4196468 140729856954464 140729856937008 139702598164215 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
/proc/7890/statm: 3450954 155396 3281 1 0 3438187 0
[pid=7890/tid=7891] ppid=7889 vsize=13803816 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7891/stat : 7891 (java) S 7889 7889 14782 0 -1 1077944384 7075 0 0 0 88 4 0 0 20 0 28 0 4294544 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702602404992 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7893] ppid=7889 vsize=13803816 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7893/stat : 7893 (java) S 7889 7889 14782 0 -1 1077944384 164 0 0 0 4 5 0 0 20 0 28 0 4294544 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702537128848 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7894] ppid=7889 vsize=13803816 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7894/stat : 7894 (java) S 7889 7889 14782 0 -1 1077944384 1249 0 0 0 5 4 0 0 20 0 28 0 4294544 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702196198160 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7895] ppid=7889 vsize=13803816 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7895/stat : 7895 (java) S 7889 7889 14782 0 -1 1077944384 1197 0 0 0 4 4 0 0 20 0 28 0 4294544 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702195145872 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7896] ppid=7889 vsize=13803816 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7896/stat : 7896 (java) S 7889 7889 14782 0 -1 1077944384 332 0 0 0 5 3 0 0 20 0 28 0 4294544 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702194093072 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7897] ppid=7889 vsize=13803816 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7897/stat : 7897 (java) S 7889 7889 14782 0 -1 1077944384 174 0 0 0 5 5 0 0 20 0 28 0 4294545 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702193039760 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7898] ppid=7889 vsize=13803816 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7898/stat : 7898 (java) S 7889 7889 14782 0 -1 1077944384 147 0 0 0 5 4 0 0 20 0 28 0 4294545 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702191986960 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7899] ppid=7889 vsize=13803816 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7899/stat : 7899 (java) S 7889 7889 14782 0 -1 1077944384 296 0 0 0 3 3 0 0 20 0 28 0 4294545 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702190934672 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7900] ppid=7889 vsize=13803816 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7900/stat : 7900 (java) S 7889 7889 14782 0 -1 1077944384 1460 0 0 0 4 5 0 0 20 0 28 0 4294545 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702189881872 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7901] ppid=7889 vsize=13803816 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7901/stat : 7901 (java) S 7889 7889 14782 0 -1 1077944384 995 0 0 0 2 1 0 0 20 0 28 0 4294547 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702060423792 139702598175362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7902] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7902/stat : 7902 (java) S 7889 7889 14782 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4294548 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702059369760 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7903] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7903/stat : 7903 (java) S 7889 7889 14782 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4294548 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702058317424 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7904] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7904/stat : 7904 (java) S 7889 7889 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4294552 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702057265744 139702598182811 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7905] ppid=7889 vsize=13803816 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7905/stat : 7905 (java) S 7889 7889 14782 0 -1 1077944384 7261 0 0 0 307 1 0 0 20 0 28 0 4294552 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702056212592 139702598175362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7906] ppid=7889 vsize=13803816 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7906/stat : 7906 (java) S 7889 7889 14782 0 -1 1077944384 7568 0 0 0 305 1 0 0 20 0 28 0 4294552 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702055159792 139702598175362 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7907] ppid=7889 vsize=13803816 CPUtime=2.98 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7907/stat : 7907 (java) S 7889 7889 14782 0 -1 1077944384 6480 0 0 0 297 1 0 0 20 0 28 0 4294552 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702054107504 139702598175362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7908] ppid=7889 vsize=13803816 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7908/stat : 7908 (java) S 7889 7889 14782 0 -1 1077944384 5660 0 0 0 112 1 0 0 20 0 28 0 4294552 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702053054704 139702598175362 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 8 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7909] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7909/stat : 7909 (java) S 7889 7889 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4294552 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702052002656 139702598174421 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=7910] ppid=7889 vsize=13803816 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7890/task/7910/stat : 7910 (java) S 7889 7889 14782 0 -1 1077944384 773 0 0 0 0 0 0 0 20 0 28 0 4294553 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702050949936 139702598175362 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 7 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8079] ppid=7889 vsize=13803816 CPUtime=25.49 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8079/stat : 8079 (java) R 7889 7889 14782 0 -1 4202560 507 0 0 0 2549 0 0 0 20 0 28 0 4294784 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702038724664 139702223436850 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8080] ppid=7889 vsize=13803816 CPUtime=25.61 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8080/stat : 8080 (java) R 7889 7889 14782 0 -1 4202560 401 0 0 0 2561 0 0 0 20 0 28 0 4294784 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702037673000 139702224512736 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8081] ppid=7889 vsize=13803816 CPUtime=25.49 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8081/stat : 8081 (java) R 7889 7889 14782 0 -1 4202560 1551 0 0 0 2547 2 0 0 20 0 28 0 4294784 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702036619480 139702224511974 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8082] ppid=7889 vsize=13803816 CPUtime=25.49 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8082/stat : 8082 (java) R 7889 7889 14782 0 -1 4202560 1405 0 0 0 2548 1 0 0 20 0 28 0 4294784 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702042935000 139702223979390 0 4 0 16800975 0 0 0 -1 8 0 0 3 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8083] ppid=7889 vsize=13803816 CPUtime=25.2 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8083/stat : 8083 (java) R 7889 7889 14782 0 -1 4202560 1454 0 0 0 2518 2 0 0 20 0 28 0 4294784 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702035566808 139702217824679 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8084] ppid=7889 vsize=13803816 CPUtime=25.82 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8084/stat : 8084 (java) R 7889 7889 14782 0 -1 4202560 354 0 0 0 2582 0 0 0 20 0 28 0 4294784 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702039777336 139702224512666 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8085] ppid=7889 vsize=13803816 CPUtime=25.79 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8085/stat : 8085 (java) R 7889 7889 14782 0 -1 4202560 506 0 0 0 2579 0 0 0 20 0 28 0 4294784 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702040830920 139702223977546 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
[pid=7890/tid=8086] ppid=7889 vsize=13803816 CPUtime=25.4 cores=0,2,4,6,8,10,12,14
/proc/7890/task/8086/stat : 8086 (java) R 7889 7889 14782 0 -1 4202560 521 0 0 0 2540 0 0 0 20 0 28 0 4294785 14135107584 155396 33554432000 4194304 4196468 140729856954464 139702041883120 139702225158177 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27009024 140729856959676 140729856959852 140729856959852 140729856962511 0
Current children cumulated CPU time (s) 223.51
Current children cumulated vsize (KiB) 13813328
Child status: 0
Real time (s): 28.8957
CPU time (s): 224.11
CPU user time (s): 223.471
CPU system time (s): 0.63976
CPU usage (%): 775.584
Max. virtual memory (cumulated for all children) (KiB): 13813328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 223.471
system time used= 0.63976
maximum resident set size= 630288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53233
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6813
involuntary context switches= 16057
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.353046 second user time and 0.438171 second system time
The end