runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (6537 MiB free)
memory of node 1: 16384 MiB (5236 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403812-1568991404/watcher-4403812-1568991404 -o /var/tmp/evaluation-result-4403812-1568991404/solver-4403812-1568991404 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node121-1568988421-6086 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1033490689 HOME/instance-4403812-1568991404.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=9059, runsolver pid=9056
Current StackSize limit: 8192 KiB
[startup+0.10099 s]*
/proc/loadavg: 8.34 8.43 8.00 7/233 9075
/proc/meminfo: memFree=12041368/32770624 swapFree=66988744/67108860
[pid=9059] ppid=9056 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9059/stat : 9059 (xcsp3-exec) S 9056 9059 6055 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475403047 115843072 363 33554432000 4194304 5098028 140731565514080 140731565512184 140645333635708 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34754560 140731565515606 140731565515865 140731565515865 140731565518790 0
/proc/9059/statm: 28282 363 305 221 0 87 0
[pid=9061] ppid=9059 vsize=15144776 memory=29620 CPUtime=0.13 cores=0,2,4,6
/proc/9061/stat : 9061 (java) S 9059 9059 6055 0 -1 1077944320 5827 0 0 0 12 1 0 0 20 0 15 0 475403048 15508250624 7405 33554432000 4194304 4196468 140724558210688 140724558193232 140517987598071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
/proc/9061/statm: 3786194 7405 3188 1 0 3748377 0
[pid=9061/tid=9062] ppid=9059 vsize=15144776 memory=-8895323862916359523 CPUtime=0.09 cores=0,2,4,6
/proc/9061/task/9062/stat : 9062 (java) R 9059 9059 6055 0 -1 4202560 3708 0 0 0 8 1 0 0 20 0 15 0 475403048 15508250624 7405 33554432000 4194304 4196468 140724558210688 140517991829392 140517987610006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9063] ppid=9059 vsize=15144776 memory=3472467982517982416 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9063/stat : 9063 (java) S 9059 9059 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475403049 15508250624 7405 33554432000 4194304 4196468 140724558210688 140517915638288 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9064] ppid=9059 vsize=15144776 memory=139853622830720 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9064/stat : 9064 (java) S 9059 9059 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475403049 15508250624 7405 33554432000 4194304 4196468 140724558210688 140517914585744 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9065] ppid=9059 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9065/stat : 9065 (java) S 9059 9059 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475403049 15508250624 7405 33554432000 4194304 4196468 140724558210688 140517913532688 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9066] ppid=9059 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9066/stat : 9066 (java) S 9059 9059 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475403049 15508250624 7405 33554432000 4194304 4196468 140724558210688 140517912480144 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9067] ppid=9059 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9067/stat : 9067 (java) S 9059 9059 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475403050 15508250624 7405 33554432000 4194304 4196468 140724558210688 140517455854320 140517987609218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9068] ppid=9059 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9068/stat : 9068 (java) S 9059 9059 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475403051 15508250624 7405 33554432000 4194304 4196468 140724558210688 140517454800544 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9069] ppid=9059 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9069/stat : 9069 (java) S 9059 9059 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475403051 15508250624 7405 33554432000 4194304 4196468 140724558210688 140517453747440 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9070] ppid=9059 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9070/stat : 9070 (java) S 9059 9059 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475403053 15508250624 7405 33554432000 4194304 4196468 140724558210688 140517452696016 140517987616667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9071] ppid=9059 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9071/stat : 9071 (java) S 9059 9059 6055 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 475403053 15508250624 7405 33554432000 4194304 4196468 140724558210688 140517451643120 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9072] ppid=9059 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9072/stat : 9072 (java) R 9059 9059 6055 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 15 0 475403053 15508250624 7405 33554432000 4194304 4196468 140724558210688 140517450590576 140517987609218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9073] ppid=9059 vsize=15144776 memory=139853622830720 CPUtime=0.02 cores=0,2,4,6
/proc/9061/task/9073/stat : 9073 (java) R 9059 9059 6055 0 -1 4202560 337 0 0 0 2 0 0 0 20 0 15 0 475403053 15508250624 7405 33554432000 4194304 4196468 140724558210688 140517449537520 140517965966710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9074] ppid=9059 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9074/stat : 9074 (java) S 9059 9059 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475403053 15508250624 7405 33554432000 4194304 4196468 140724558210688 140517448485216 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9075] ppid=9059 vsize=15144776 memory=139853622830720 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9075/stat : 9075 (java) S 9059 9059 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475403054 15508250624 7405 33554432000 4194304 4196468 140724558210688 140517447433264 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31072 KiB
[startup+0.210653 s]*
/proc/loadavg: 8.15 8.39 7.99 8/233 9075
/proc/meminfo: memFree=12028528/32770624 swapFree=66988744/67108860
[pid=9059] ppid=9056 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9059/stat : 9059 (xcsp3-exec) S 9056 9059 6055 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475403047 115843072 363 33554432000 4194304 5098028 140731565514080 140731565512184 140645333635708 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34754560 140731565515606 140731565515865 140731565515865 140731565518790 0
/proc/9059/statm: 28282 363 305 221 0 87 0
[pid=9061] ppid=9059 vsize=15144776 memory=40972 CPUtime=0.34 cores=0,2,4,6
/proc/9061/stat : 9061 (java) S 9059 9059 6055 0 -1 1077944320 9450 0 0 0 31 3 0 0 20 0 15 0 475403048 15508250624 10243 33554432000 4194304 4196468 140724558210688 140724558193232 140517987598071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
/proc/9061/statm: 3786194 10243 3304 1 0 3748377 0
[pid=9061/tid=9062] ppid=9059 vsize=15144776 memory=-8895323862916359523 CPUtime=0.2 cores=0,2,4,6
/proc/9061/task/9062/stat : 9062 (java) R 9059 9059 6055 0 -1 4202560 6607 0 0 0 18 2 0 0 20 0 15 0 475403048 15508250624 10243 33554432000 4194304 4196468 140724558210688 140517991831856 140517987610006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9063] ppid=9059 vsize=15144776 memory=3472467982517982416 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9063/stat : 9063 (java) S 9059 9059 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475403049 15508250624 10243 33554432000 4194304 4196468 140724558210688 140517915638288 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9064] ppid=9059 vsize=15144776 memory=139853622830720 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9064/stat : 9064 (java) S 9059 9059 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475403049 15508250624 10243 33554432000 4194304 4196468 140724558210688 140517914585744 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9065] ppid=9059 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9065/stat : 9065 (java) S 9059 9059 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475403049 15508250624 10243 33554432000 4194304 4196468 140724558210688 140517913532688 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9066] ppid=9059 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9066/stat : 9066 (java) S 9059 9059 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475403049 15508250624 10243 33554432000 4194304 4196468 140724558210688 140517912480144 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9067] ppid=9059 vsize=15144776 memory=139853622830720 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9067/stat : 9067 (java) S 9059 9059 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475403050 15508250624 10243 33554432000 4194304 4196468 140724558210688 140517455854320 140517987609218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9068] ppid=9059 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9068/stat : 9068 (java) S 9059 9059 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475403051 15508250624 10243 33554432000 4194304 4196468 140724558210688 140517454800544 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9069] ppid=9059 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9069/stat : 9069 (java) S 9059 9059 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475403051 15508250624 10243 33554432000 4194304 4196468 140724558210688 140517453747440 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9070] ppid=9059 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9070/stat : 9070 (java) S 9059 9059 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475403053 15508250624 10243 33554432000 4194304 4196468 140724558210688 140517452696016 140517987616667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9071] ppid=9059 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9061/task/9071/stat : 9071 (java) S 9059 9059 6055 0 -1 1077944384 547 0 0 0 2 0 0 0 20 0 15 0 475403053 15508250624 10243 33554432000 4194304 4196468 140724558210688 140517451643120 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9072] ppid=9059 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9061/task/9072/stat : 9072 (java) S 9059 9059 6055 0 -1 1077944384 254 0 0 0 2 0 0 0 20 0 15 0 475403053 15508250624 10243 33554432000 4194304 4196468 140724558210688 140517450590576 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9073] ppid=9059 vsize=15144776 memory=139853622830720 CPUtime=0.08 cores=0,2,4,6
/proc/9061/task/9073/stat : 9073 (java) R 9059 9059 6055 0 -1 4202560 733 0 0 0 8 0 0 0 20 0 15 0 475403053 15508250624 10243 33554432000 4194304 4196468 140724558210688 140517449537520 140517966565309 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9074] ppid=9059 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9074/stat : 9074 (java) S 9059 9059 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475403053 15508250624 10243 33554432000 4194304 4196468 140724558210688 140517448485216 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9075] ppid=9059 vsize=15144776 memory=139853622830720 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9075/stat : 9075 (java) S 9059 9059 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475403054 15508250624 10243 33554432000 4194304 4196468 140724558210688 140517447433264 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42424 KiB
[startup+0.310545 s]*
/proc/loadavg: 8.15 8.39 7.99 6/233 9075
/proc/meminfo: memFree=12020824/32770624 swapFree=66988744/67108860
[pid=9059] ppid=9056 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9059/stat : 9059 (xcsp3-exec) S 9056 9059 6055 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475403047 115843072 363 33554432000 4194304 5098028 140731565514080 140731565512184 140645333635708 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34754560 140731565515606 140731565515865 140731565515865 140731565518790 0
/proc/9059/statm: 28282 363 305 221 0 87 0
[pid=9061] ppid=9059 vsize=15149032 memory=49572 CPUtime=0.52 cores=0,2,4,6
/proc/9061/stat : 9061 (java) S 9059 9059 6055 0 -1 1077944320 10722 0 0 0 48 4 0 0 20 0 15 0 475403048 15512608768 12393 33554432000 4194304 4196468 140724558210688 140724558193232 140517987598071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
/proc/9061/statm: 3787258 12393 3336 1 0 3748377 0
[pid=9061/tid=9062] ppid=9059 vsize=15149032 memory=-8094235084319000145 CPUtime=0.29 cores=0,2,4,6
/proc/9061/task/9062/stat : 9062 (java) R 9059 9059 6055 0 -1 4202560 7759 0 0 0 26 3 0 0 20 0 15 0 475403048 15512608768 12393 33554432000 4194304 4196468 140724558210688 140517991831856 140517971678558 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9063] ppid=9059 vsize=15149032 memory=3472467982517982416 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9063/stat : 9063 (java) S 9059 9059 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475403049 15512608768 12393 33554432000 4194304 4196468 140724558210688 140517915638288 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9064] ppid=9059 vsize=15149032 memory=279707086231936 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9064/stat : 9064 (java) S 9059 9059 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475403049 15512608768 12393 33554432000 4194304 4196468 140724558210688 140517914585744 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9065] ppid=9059 vsize=15149032 memory=279706926834720 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9065/stat : 9065 (java) S 9059 9059 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475403049 15512608768 12393 33554432000 4194304 4196468 140724558210688 140517913532688 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9066] ppid=9059 vsize=15149032 memory=139853463401231 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9066/stat : 9066 (java) S 9059 9059 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475403049 15512608768 12393 33554432000 4194304 4196468 140724558210688 140517912480144 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9067] ppid=9059 vsize=15149032 memory=279707086238848 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9067/stat : 9067 (java) S 9059 9059 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475403050 15512608768 12393 33554432000 4194304 4196468 140724558210688 140517455854320 140517987609218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9068] ppid=9059 vsize=15149032 memory=139853463405839 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9068/stat : 9068 (java) S 9059 9059 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475403051 15512608768 12393 33554432000 4194304 4196468 140724558210688 140517454800544 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9069] ppid=9059 vsize=15149032 memory=139853463414231 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9069/stat : 9069 (java) S 9059 9059 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475403051 15512608768 12393 33554432000 4194304 4196468 140724558210688 140517453747440 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9070] ppid=9059 vsize=15149032 memory=139853463418975 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9070/stat : 9070 (java) S 9059 9059 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475403053 15512608768 12393 33554432000 4194304 4196468 140724558210688 140517452696016 140517987616667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9071] ppid=9059 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/9061/task/9071/stat : 9071 (java) S 9059 9059 6055 0 -1 1077944384 571 0 0 0 4 0 0 0 20 0 15 0 475403053 15512608768 12393 33554432000 4194304 4196468 140724558210688 140517451643120 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9072] ppid=9059 vsize=15149032 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/9061/task/9072/stat : 9072 (java) S 9059 9059 6055 0 -1 1077944384 255 0 0 0 3 0 0 0 20 0 15 0 475403053 15512608768 12393 33554432000 4194304 4196468 140724558210688 140517450590576 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9073] ppid=9059 vsize=15149032 memory=139853622830720 CPUtime=0.13 cores=0,2,4,6
/proc/9061/task/9073/stat : 9073 (java) S 9059 9059 6055 0 -1 1077944384 833 0 0 0 13 0 0 0 20 0 15 0 475403053 15512608768 12393 33554432000 4194304 4196468 140724558210688 140517449537520 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9074] ppid=9059 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9074/stat : 9074 (java) S 9059 9059 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475403053 15512608768 12393 33554432000 4194304 4196468 140724558210688 140517448485216 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9075] ppid=9059 vsize=15149032 memory=139853622832172 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9075/stat : 9075 (java) S 9059 9059 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475403054 15512608768 12393 33554432000 4194304 4196468 140724558210688 140517447433264 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51024 KiB
[startup+0.700777 s]
/proc/loadavg: 8.15 8.39 7.99 8/233 9075
/proc/meminfo: memFree=11994332/32770624 swapFree=66988744/67108860
[pid=9059] ppid=9056 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9059/stat : 9059 (xcsp3-exec) S 9056 9059 6055 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475403047 115843072 363 33554432000 4194304 5098028 140731565514080 140731565512184 140645333635708 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34754560 140731565515606 140731565515865 140731565515865 140731565518790 0
/proc/9059/statm: 28282 363 305 221 0 87 0
[pid=9061] ppid=9059 vsize=15151156 memory=119660 CPUtime=1.69 cores=0,2,4,6
/proc/9061/stat : 9061 (java) S 9059 9059 6055 0 -1 1077944320 15424 0 0 0 163 6 0 0 20 0 15 0 475403048 15514783744 29915 33554432000 4194304 4196468 140724558210688 140724558193232 140517987598071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
/proc/9061/statm: 3787789 29915 3442 1 0 3748889 0
[pid=9061/tid=9062] ppid=9059 vsize=15151156 memory=7887610716981113652 CPUtime=0.67 cores=0,2,4,6
/proc/9061/task/9062/stat : 9062 (java) R 9059 9059 6055 0 -1 4202560 9165 0 0 0 63 4 0 0 20 0 15 0 475403048 15514783744 29915 33554432000 4194304 4196468 140724558210688 140517991833440 140517971641701 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9063] ppid=9059 vsize=15151156 memory=6224326950734024021 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9063/stat : 9063 (java) S 9059 9059 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475403049 15514783744 29915 33554432000 4194304 4196468 140724558210688 140517915638288 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9064] ppid=9059 vsize=15151156 memory=5865491479076426066 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9064/stat : 9064 (java) S 9059 9059 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475403049 15514783744 29915 33554432000 4194304 4196468 140724558210688 140517914585744 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9065] ppid=9059 vsize=15151156 memory=3470692292451393600 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9065/stat : 9065 (java) S 9059 9059 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475403049 15514783744 29915 33554432000 4194304 4196468 140724558210688 140517913532688 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9066] ppid=9059 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9066/stat : 9066 (java) S 9059 9059 6055 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475403049 15514783744 29915 33554432000 4194304 4196468 140724558210688 140517912480144 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9067] ppid=9059 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9067/stat : 9067 (java) S 9059 9059 6055 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475403050 15514783744 29915 33554432000 4194304 4196468 140724558210688 140517455854320 140517987609218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9068] ppid=9059 vsize=15151156 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9068/stat : 9068 (java) S 9059 9059 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475403051 15514783744 29915 33554432000 4194304 4196468 140724558210688 140517454800544 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9069] ppid=9059 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9069/stat : 9069 (java) S 9059 9059 6055 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475403051 15514783744 29915 33554432000 4194304 4196468 140724558210688 140517453747440 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9070] ppid=9059 vsize=15151156 memory=756 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9070/stat : 9070 (java) S 9059 9059 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475403053 15514783744 29915 33554432000 4194304 4196468 140724558210688 140517452696016 140517987616667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9071] ppid=9059 vsize=15151156 memory=1548 CPUtime=0.36 cores=0,2,4,6
/proc/9061/task/9071/stat : 9071 (java) R 9059 9059 6055 0 -1 4202560 1727 0 0 0 36 0 0 0 20 0 15 0 475403053 15514783744 29915 33554432000 4194304 4196468 140724558210688 140517451629000 140517966844812 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9072] ppid=9059 vsize=15151156 memory=8100 CPUtime=0.33 cores=0,2,4,6
/proc/9061/task/9072/stat : 9072 (java) R 9059 9059 6055 0 -1 4202560 1522 0 0 0 33 0 0 0 20 0 15 0 475403053 15514783744 29915 33554432000 4194304 4196468 140724558210688 140517450576456 140517969142644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9073] ppid=9059 vsize=15151156 memory=1164 CPUtime=0.29 cores=0,2,4,6
/proc/9061/task/9073/stat : 9073 (java) S 9059 9059 6055 0 -1 1077944384 1712 0 0 0 29 0 0 0 20 0 15 0 475403053 15514783744 29915 33554432000 4194304 4196468 140724558210688 140517449537520 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9074] ppid=9059 vsize=15151156 memory=9520 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9074/stat : 9074 (java) S 9059 9059 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475403053 15514783744 29915 33554432000 4194304 4196468 140724558210688 140517448485216 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9075] ppid=9059 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9075/stat : 9075 (java) S 9059 9059 6055 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475403054 15514783744 29915 33554432000 4194304 4196468 140724558210688 140517447433264 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 121112 KiB
[startup+1.50077 s]
/proc/loadavg: 8.15 8.39 7.99 8/233 9075
/proc/meminfo: memFree=11866436/32770624 swapFree=66988744/67108860
[pid=9059] ppid=9056 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9059/stat : 9059 (xcsp3-exec) S 9056 9059 6055 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475403047 115843072 363 33554432000 4194304 5098028 140731565514080 140731565512184 140645333635708 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34754560 140731565515606 140731565515865 140731565515865 140731565518790 0
/proc/9059/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/9061/task/9075/stat : 9075 (java) S 9059 9059 6055 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475403054 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517447433264 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9135] ppid=9059 vsize=15487052 memory=139857020061764 CPUtime=4.6 cores=0,2,4,6
/proc/9061/task/9135/stat : 9135 (java) R 9059 9059 6055 0 -1 4202560 142 0 0 0 458 2 0 0 20 0 19 0 475403449 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517367066264 140517595855868 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9136] ppid=9059 vsize=15487052 memory=139857020061765 CPUtime=4.52 cores=0,2,4,6
/proc/9061/task/9136/stat : 9136 (java) R 9059 9059 6055 0 -1 4202560 776 0 0 0 452 0 0 0 20 0 19 0 475403449 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517369171656 140517595856034 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9137] ppid=9059 vsize=15487052 memory=31012 CPUtime=4.55 cores=0,2,4,6
/proc/9061/task/9137/stat : 9137 (java) R 9059 9059 6055 0 -1 4202560 210 0 0 0 455 0 0 0 20 0 19 0 475403449 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517368118976 140517595856134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9138] ppid=9059 vsize=15487052 memory=288230574492221466 CPUtime=4.49 cores=0,2,4,6
/proc/9061/task/9138/stat : 9138 (java) R 9059 9059 6055 0 -1 4202560 246 0 0 0 449 0 0 0 20 0 19 0 475403449 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517364961848 140517596482304 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
Current children cumulated CPU time: 32.37 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 255116 KiB
[startup+9.60129 s]
/proc/loadavg: 8.14 8.39 7.99 9/237 9201
/proc/meminfo: memFree=15070800/32770624 swapFree=66988744/67108860
[pid=9059] ppid=9056 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9059/stat : 9059 (xcsp3-exec) S 9056 9059 6055 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475403047 115843072 363 33554432000 4194304 5098028 140731565514080 140731565512184 140645333635708 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34754560 140731565515606 140731565515865 140731565515865 140731565518790 0
/proc/9059/statm: 28282 363 305 221 0 87 0
[pid=9061] ppid=9059 vsize=15487052 memory=253664 CPUtime=35.56 cores=0,2,4,6
/proc/9061/stat : 9061 (java) S 9059 9059 6055 0 -1 1077944320 26933 0 0 0 3536 20 0 0 20 0 19 0 475403048 15858741248 63416 33554432000 4194304 4196468 140724558210688 140724558193232 140517987598071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
/proc/9061/statm: 3871763 63416 3525 1 0 3832863 0
[pid=9061/tid=9062] ppid=9059 vsize=15487052 memory=8112282956445269571 CPUtime=1.37 cores=0,2,4,6
/proc/9061/task/9062/stat : 9062 (java) S 9059 9059 6055 0 -1 1077944384 9500 0 0 0 131 6 0 0 20 0 19 0 475403048 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517991838848 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9063] ppid=9059 vsize=15487052 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9061/task/9063/stat : 9063 (java) S 9059 9059 6055 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 19 0 475403049 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517915638288 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9064] ppid=9059 vsize=15487052 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9061/task/9064/stat : 9064 (java) S 9059 9059 6055 0 -1 1077944384 104 0 0 0 1 1 0 0 20 0 19 0 475403049 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517914585744 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9065] ppid=9059 vsize=15487052 memory=612 CPUtime=0.03 cores=0,2,4,6
/proc/9061/task/9065/stat : 9065 (java) S 9059 9059 6055 0 -1 1077944384 89 0 0 0 2 1 0 0 20 0 19 0 475403049 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517913532688 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9066] ppid=9059 vsize=15487052 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9061/task/9066/stat : 9066 (java) S 9059 9059 6055 0 -1 1077944384 103 0 0 0 2 1 0 0 20 0 19 0 475403049 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517912480144 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9067] ppid=9059 vsize=15487052 memory=3467828021039333396 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9067/stat : 9067 (java) S 9059 9059 6055 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 19 0 475403050 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517455854320 140517987609218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9068] ppid=9059 vsize=15487052 memory=139853463723663 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9068/stat : 9068 (java) S 9059 9059 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475403051 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517454800608 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9069] ppid=9059 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9069/stat : 9069 (java) S 9059 9059 6055 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475403051 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517453747456 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9070] ppid=9059 vsize=15487052 memory=56 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9070/stat : 9070 (java) S 9059 9059 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475403053 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517452696016 140517987616667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9071] ppid=9059 vsize=15487052 memory=0 CPUtime=2.26 cores=0,2,4,6
/proc/9061/task/9071/stat : 9071 (java) S 9059 9059 6055 0 -1 1077944384 4512 0 0 0 226 0 0 0 20 0 19 0 475403053 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517451643120 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9072] ppid=9059 vsize=15487052 memory=33 CPUtime=1.77 cores=0,2,4,6
/proc/9061/task/9072/stat : 9072 (java) S 9059 9059 6055 0 -1 1077944384 5126 0 0 0 176 1 0 0 20 0 19 0 475403053 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517450590576 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9073] ppid=9059 vsize=15487052 memory=0 CPUtime=0.78 cores=0,2,4,6
/proc/9061/task/9073/stat : 9073 (java) S 9059 9059 6055 0 -1 1077944384 3784 0 0 0 77 1 0 0 20 0 19 0 475403053 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517449537520 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9074] ppid=9059 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9074/stat : 9074 (java) S 9059 9059 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475403053 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517448485216 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9075] ppid=9059 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9075/stat : 9075 (java) S 9059 9059 6055 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475403054 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517447433264 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9135] ppid=9059 vsize=15487052 memory=0 CPUtime=5.4 cores=0,2,4,6
/proc/9061/task/9135/stat : 9135 (java) R 9059 9059 6055 0 -1 4202560 146 0 0 0 538 2 0 0 20 0 19 0 475403449 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517367065560 140517596112124 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9136] ppid=9059 vsize=15487052 memory=0 CPUtime=5.31 cores=0,2,4,6
/proc/9061/task/9136/stat : 9136 (java) R 9059 9059 6055 0 -1 4202560 790 0 0 0 531 0 0 0 20 0 19 0 475403449 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517369171752 140517595855868 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9137] ppid=9059 vsize=15487052 memory=0 CPUtime=5.35 cores=0,2,4,6
/proc/9061/task/9137/stat : 9137 (java) R 9059 9059 6055 0 -1 4202560 225 0 0 0 535 0 0 0 20 0 19 0 475403449 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517368118976 140517595856096 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9138] ppid=9059 vsize=15487052 memory=1452 CPUtime=5.29 cores=0,2,4,6
/proc/9061/task/9138/stat : 9138 (java) R 9059 9059 6055 0 -1 4202560 255 0 0 0 529 0 0 0 20 0 19 0 475403449 15858741248 63416 33554432000 4194304 4196468 140724558210688 140517364961488 140517595855998 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
Current children cumulated CPU time: 35.56 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 255116 KiB
[startup+9.80629 s]
/proc/loadavg: 8.14 8.39 7.99 9/237 9201
/proc/meminfo: memFree=15070800/32770624 swapFree=66988744/67108860
[pid=9059] ppid=9056 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9059/stat : 9059 (xcsp3-exec) S 9056 9059 6055 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475403047 115843072 363 33554432000 4194304 5098028 140731565514080 140731565512184 140645333635708 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34754560 140731565515606 140731565515865 140731565515865 140731565518790 0
/proc/9059/statm: 28282 363 305 221 0 87 0
[pid=9061] ppid=9059 vsize=15487052 memory=253716 CPUtime=36.37 cores=0,2,4,6
/proc/9061/stat : 9061 (java) S 9059 9059 6055 0 -1 1077944320 27486 0 0 0 3617 20 0 0 20 0 19 0 475403048 15858741248 63429 33554432000 4194304 4196468 140724558210688 140724558193232 140517987598071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
/proc/9061/statm: 3871763 63429 3525 1 0 3832863 0
[pid=9061/tid=9062] ppid=9059 vsize=15487052 memory=0 CPUtime=1.37 cores=0,2,4,6
/proc/9061/task/9062/stat : 9062 (java) S 9059 9059 6055 0 -1 1077944384 9500 0 0 0 131 6 0 0 20 0 19 0 475403048 15858741248 63429 33554432000 4194304 4196468 140724558210688 140517991838848 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9063] ppid=9059 vsize=15487052 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9061/task/9063/stat : 9063 (java) S 9059 9059 6055 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 19 0 475403049 15858741248 63429 33554432000 4194304 4196468 140724558210688 140517915638288 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9064] ppid=9059 vsize=15487052 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9061/task/9064/stat : 9064 (java) S 9059 9059 6055 0 -1 1077944384 104 0 0 0 1 1 0 0 20 0 19 0 475403049 15858741248 63429 33554432000 4194304 4196468 140724558210688 140517914585744 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9065] ppid=9059 vsize=15487052 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9061/task/9065/stat : 9065 (java) S 9059 9059 6055 0 -1 1077944384 89 0 0 0 2 1 0 0 20 0 19 0 475403049 15858741248 63429 33554432000 4194304 4196468 140724558210688 140517913532688 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9066] ppid=9059 vsize=15487052 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9061/task/9066/stat : 9066 (java) S 9059 9059 6055 0 -1 1077944384 103 0 0 0 2 1 0 0 20 0 19 0 475403049 15858741248 63429 33554432000 4194304 4196468 140724558210688 140517912480144 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9067] ppid=9059 vsize=15487052 memory=139853463682720 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9067/stat : 9067 (java) S 9059 9059 6055 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 19 0 475403050 15858741248 63429 33554432000 4194304 4196468 140724558210688 140517455854320 140517987609218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9068] ppid=9059 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9068/stat : 9068 (java) S 9059 9059 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475403051 15858741248 63429 33554432000 4194304 4196468 140724558210688 140517454800608 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9069] ppid=9059 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9069/stat : 9069 (java) S 9059 9059 6055 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475403051 15858741248 63429 33554432000 4194304 4196468 140724558210688 140517453747456 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9070] ppid=9059 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9070/stat : 9070 (java) S 9059 9059 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475403053 15858741248 63429 33554432000 4194304 4196468 140724558210688 140517452696016 140517987616667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9071] ppid=9059 vsize=15487052 memory=0 CPUtime=2.27 cores=0,2,4,6
/proc/9061/task/9071/stat : 9071 (java) R 9059 9059 6055 0 -1 1077944384 4575 0 0 0 227 0 0 0 20 0 19 0 475403053 15858741248 63429 33554432000 4194304 4196468 140724558210688 140517451643120 140517987609218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9072] ppid=9059 vsize=15487052 memory=78 CPUtime=1.77 cores=0,2,4,6
/proc/9061/task/9072/stat : 9072 (java) S 9059 9059 6055 0 -1 1077944384 5126 0 0 0 176 1 0 0 20 0 19 0 475403053 15858741248 63429 33554432000 4194304 4196468 140724558210688 140517450590576 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9073] ppid=9059 vsize=15487052 memory=0 CPUtime=0.79 cores=0,2,4,6
/proc/9061/task/9073/stat : 9073 (java) S 9059 9059 6055 0 -1 1077944384 4269 0 0 0 78 1 0 0 20 0 19 0 475403053 15858741248 63429 33554432000 4194304 4196468 140724558210688 140517449537520 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9074] ppid=9059 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9074/stat : 9074 (java) S 9059 9059 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475403053 15858741248 63429 33554432000 4194304 4196468 140724558210688 140517448485216 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9075] ppid=9059 vsize=15487052 memory=420 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9075/stat : 9075 (java) S 9059 9059 6055 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475403054 15858741248 63429 33554432000 4194304 4196468 140724558210688 140517447433264 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9135] ppid=9059 vsize=15487052 memory=413 CPUtime=5.6 cores=0,2,4,6
/proc/9061/task/9135/stat : 9135 (java) R 9059 9059 6055 0 -1 4202560 146 0 0 0 558 2 0 0 20 0 19 0 475403449 15858741248 63429 33554432000 4194304 4196468 140724558210688 140517367065560 140517595856003 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9136] ppid=9059 vsize=15487052 memory=415 CPUtime=5.51 cores=0,2,4,6
/proc/9061/task/9136/stat : 9136 (java) R 9059 9059 6055 0 -1 4202560 792 0 0 0 551 0 0 0 20 0 19 0 475403449 15858741248 63429 33554432000 4194304 4196468 140724558210688 140517369174072 140517595855981 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9137] ppid=9059 vsize=15487052 memory=409 CPUtime=5.56 cores=0,2,4,6
/proc/9061/task/9137/stat : 9137 (java) R 9059 9059 6055 0 -1 4202560 225 0 0 0 556 0 0 0 20 0 19 0 475403449 15858741248 63429 33554432000 4194304 4196468 140724558210688 140517368119112 140517596482521 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9138] ppid=9059 vsize=15487052 memory=0 CPUtime=5.48 cores=0,2,4,6
/proc/9061/task/9138/stat : 9138 (java) R 9059 9059 6055 0 -1 4202560 258 0 0 0 548 0 0 0 20 0 19 0 475403449 15858741248 63429 33554432000 4194304 4196468 140724558210688 140517364963384 140517595855668 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
Current children cumulated CPU time: 36.37 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 255168 KiB
[startup+9.90129 s]
/proc/loadavg: 8.14 8.39 7.99 9/237 9201
/proc/meminfo: memFree=15070800/32770624 swapFree=66988744/67108860
[pid=9059] ppid=9056 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/9059/stat : 9059 (xcsp3-exec) S 9056 9059 6055 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475403047 115843072 363 33554432000 4194304 5098028 140731565514080 140731565512184 140645333635708 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34754560 140731565515606 140731565515865 140731565515865 140731565518790 0
/proc/9059/statm: 28282 363 305 221 0 87 0
[pid=9061] ppid=9059 vsize=15487052 memory=253724 CPUtime=36.75 cores=0,2,4,6
/proc/9061/stat : 9061 (java) S 9059 9059 6055 0 -1 1077944320 27926 0 0 0 3655 20 0 0 20 0 19 0 475403048 15858741248 63431 33554432000 4194304 4196468 140724558210688 140724558193232 140517987598071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
/proc/9061/statm: 3871763 63431 3525 1 0 3832863 0
[pid=9061/tid=9062] ppid=9059 vsize=15487052 memory=1452 CPUtime=1.37 cores=0,2,4,6
/proc/9061/task/9062/stat : 9062 (java) S 9059 9059 6055 0 -1 1077944384 9500 0 0 0 131 6 0 0 20 0 19 0 475403048 15858741248 63431 33554432000 4194304 4196468 140724558210688 140517991838848 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9063] ppid=9059 vsize=15487052 memory=251464 CPUtime=0.01 cores=0,2,4,6
/proc/9061/task/9063/stat : 9063 (java) S 9059 9059 6055 0 -1 1077944384 85 0 0 0 1 0 0 0 20 0 19 0 475403049 15858741248 63431 33554432000 4194304 4196468 140724558210688 140517915638288 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9064] ppid=9059 vsize=15487052 memory=6628 CPUtime=0.02 cores=0,2,4,6
/proc/9061/task/9064/stat : 9064 (java) S 9059 9059 6055 0 -1 1077944384 104 0 0 0 1 1 0 0 20 0 19 0 475403049 15858741248 63431 33554432000 4194304 4196468 140724558210688 140517914585744 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9065] ppid=9059 vsize=15487052 memory=1452 CPUtime=0.03 cores=0,2,4,6
/proc/9061/task/9065/stat : 9065 (java) S 9059 9059 6055 0 -1 1077944384 89 0 0 0 2 1 0 0 20 0 19 0 475403049 15858741248 63431 33554432000 4194304 4196468 140724558210688 140517913532688 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9066] ppid=9059 vsize=15487052 memory=251568 CPUtime=0.03 cores=0,2,4,6
/proc/9061/task/9066/stat : 9066 (java) S 9059 9059 6055 0 -1 1077944384 103 0 0 0 2 1 0 0 20 0 19 0 475403049 15858741248 63431 33554432000 4194304 4196468 140724558210688 140517912480144 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9067] ppid=9059 vsize=15487052 memory=7016714190785702558 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9067/stat : 9067 (java) S 9059 9059 6055 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 19 0 475403050 15858741248 63431 33554432000 4194304 4196468 140724558210688 140517455854320 140517987609218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9068] ppid=9059 vsize=15487052 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9068/stat : 9068 (java) S 9059 9059 6055 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475403051 15858741248 63431 33554432000 4194304 4196468 140724558210688 140517454800608 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9069] ppid=9059 vsize=15487052 memory=7682744562830902074 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9069/stat : 9069 (java) S 9059 9059 6055 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475403051 15858741248 63431 33554432000 4194304 4196468 140724558210688 140517453747456 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9070] ppid=9059 vsize=15487052 memory=248408 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9070/stat : 9070 (java) S 9059 9059 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475403053 15858741248 63431 33554432000 4194304 4196468 140724558210688 140517452696016 140517987616667 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9071] ppid=9059 vsize=15487052 memory=243696 CPUtime=2.3 cores=0,2,4,6
/proc/9061/task/9071/stat : 9071 (java) S 9059 9059 6055 0 -1 1077944384 4589 0 0 0 230 0 0 0 20 0 19 0 475403053 15858741248 63431 33554432000 4194304 4196468 140724558210688 140517451643120 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9072] ppid=9059 vsize=15487052 memory=7016671349533276567 CPUtime=1.77 cores=0,2,4,6
/proc/9061/task/9072/stat : 9072 (java) S 9059 9059 6055 0 -1 1077944384 5126 0 0 0 176 1 0 0 20 0 19 0 475403053 15858741248 63431 33554432000 4194304 4196468 140724558210688 140517450590576 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9073] ppid=9059 vsize=15487052 memory=4137293581110450563 CPUtime=0.79 cores=0,2,4,6
/proc/9061/task/9073/stat : 9073 (java) S 9059 9059 6055 0 -1 1077944384 4269 0 0 0 78 1 0 0 20 0 19 0 475403053 15858741248 63431 33554432000 4194304 4196468 140724558210688 140517449537520 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9074] ppid=9059 vsize=15487052 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9074/stat : 9074 (java) S 9059 9059 6055 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475403053 15858741248 63431 33554432000 4194304 4196468 140724558210688 140517448485216 140517987608277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9075] ppid=9059 vsize=15487052 memory=253664 CPUtime=0 cores=0,2,4,6
/proc/9061/task/9075/stat : 9075 (java) S 9059 9059 6055 0 -1 1077944384 112 0 0 0 0 0 0 0 20 0 19 0 475403054 15858741248 63431 33554432000 4194304 4196468 140724558210688 140517447433264 140517987609218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9135] ppid=9059 vsize=15487052 memory=251428 CPUtime=5.7 cores=0,2,4,6
/proc/9061/task/9135/stat : 9135 (java) R 9059 9059 6055 0 -1 4202560 194 0 0 0 568 2 0 0 20 0 19 0 475403449 15858741248 63431 33554432000 4194304 4196468 140724558210688 140517367065160 140517595855795 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9136] ppid=9059 vsize=15487052 memory=55 CPUtime=5.6 cores=0,2,4,6
/proc/9061/task/9136/stat : 9136 (java) R 9059 9059 6055 0 -1 4202560 951 0 0 0 560 0 0 0 20 0 19 0 475403449 15858741248 63431 33554432000 4194304 4196468 140724558210688 140517369174072 140517595855868 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9137] ppid=9059 vsize=15487052 memory=279706926579952 CPUtime=5.64 cores=0,2,4,6
/proc/9061/task/9137/stat : 9137 (java) R 9059 9059 6055 0 -1 4202560 309 0 0 0 564 0 0 0 20 0 19 0 475403449 15858741248 63431 33554432000 4194304 4196468 140724558210688 140517368119112 140517595856074 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
[pid=9061/tid=9138] ppid=9059 vsize=15487052 memory=7512114578044973668 CPUtime=5.55 cores=0,2,4,6
/proc/9061/task/9138/stat : 9138 (java) R 9059 9059 6055 0 -1 4202560 371 0 0 0 555 0 0 0 20 0 19 0 475403449 15858741248 63431 33554432000 4194304 4196468 140724558210688 140517364961848 140517595824650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29106176 140724558214107 140724558214282 140724558214282 140724558217167 0
Current children cumulated CPU time: 36.75 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 255176 KiB
Child status: 0
Real time (s): 9.94265
CPU time (s): 36.8984
CPU user time (s): 36.6903
CPU system time (s): 0.208154
CPU usage (%): 371.113
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 255176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.6903
system time used= 0.208154
maximum resident set size= 254140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29868
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= 3020
involuntary context switches= 1090
# summary of solver processes directly reported to runsolver:
# pid: 9059
# total CPU time (s): 36.8984
# total CPU user time (s): 36.6903
# total CPU system time (s): 0.208154
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.093878 second user time and 0.140818 second system time
The end