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 (11097 MiB free)
memory of node 1: 16384 MiB (13778 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392942-1568319822/watcher-4392942-1568319822 -o /tmp/evaluation-result-4392942-1568319822/solver-4392942-1568319822 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11622 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 511096008 HOME/instance-4392942-1568319822.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=18831, runsolver pid=18828
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 8.59 8.47 7.99 7/235 18847
/proc/meminfo: memFree=25456744/32770624 swapFree=66952812/67108860
[pid=18831] ppid=18828 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18831/stat : 18831 (xcsp3-exec) S 18828 18831 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407924144 115843072 363 33554432000 4194304 5098028 140727650413024 140727650411128 139683749315196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28364800 140727650415483 140727650415725 140727650415725 140727650418634 0
/proc/18831/statm: 28282 363 304 221 0 87 0
[pid=18833] ppid=18831 vsize=15144768 memory=29620 CPUtime=0.13 cores=0,2,4,6
/proc/18833/stat : 18833 (java) S 18831 18831 11591 0 -1 1077944320 5832 0 0 0 12 1 0 0 20 0 15 0 407924144 15508242432 7405 33554432000 4194304 4196468 140733610498240 140733610480784 140516375052023 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
/proc/18833/statm: 3786192 7405 3177 1 0 3748377 0
[pid=18833/tid=18834] ppid=18831 vsize=15144768 memory=7100839861464564850 CPUtime=0.09 cores=0,2,4,6
/proc/18833/task/18834/stat : 18834 (java) R 18831 18831 11591 0 -1 4202560 3734 0 0 0 9 0 0 0 20 0 15 0 407924145 15508242432 7405 33554432000 4194304 4196468 140733610498240 140516379276432 140516354863440 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18835] ppid=18831 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18835/stat : 18835 (java) S 18831 18831 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407924145 15508242432 7405 33554432000 4194304 4196468 140733610498240 140516303092752 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18836] ppid=18831 vsize=15144768 memory=139881427117696 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18836/stat : 18836 (java) S 18831 18831 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407924145 15508242432 7405 33554432000 4194304 4196468 140733610498240 140516302040208 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18837] ppid=18831 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18837/stat : 18837 (java) S 18831 18831 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407924145 15508242432 7405 33554432000 4194304 4196468 140733610498240 140516300987152 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18838] ppid=18831 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18838/stat : 18838 (java) S 18831 18831 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407924145 15508242432 7405 33554432000 4194304 4196468 140733610498240 140516299934608 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18839] ppid=18831 vsize=15144768 memory=139881427117696 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18839/stat : 18839 (java) S 18831 18831 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407924147 15508242432 7405 33554432000 4194304 4196468 140733610498240 140515843569904 140516375063170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18840] ppid=18831 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18840/stat : 18840 (java) S 18831 18831 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407924147 15508242432 7405 33554432000 4194304 4196468 140733610498240 140515842516128 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18841] ppid=18831 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18841/stat : 18841 (java) S 18831 18831 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407924148 15508242432 7405 33554432000 4194304 4196468 140733610498240 140515841463024 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18842] ppid=18831 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18842/stat : 18842 (java) S 18831 18831 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407924150 15508242432 7405 33554432000 4194304 4196468 140733610498240 140515840411600 140516375070619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18843] ppid=18831 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18843/stat : 18843 (java) R 18831 18831 11591 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 407924150 15508242432 7405 33554432000 4194304 4196468 140733610498240 140515839359728 140516375063170 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18844] ppid=18831 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18844/stat : 18844 (java) R 18831 18831 11591 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 15 0 407924150 15508242432 7405 33554432000 4194304 4196468 140733610498240 140515838298688 140516352892224 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18845] ppid=18831 vsize=15144768 memory=139881427117696 CPUtime=0.02 cores=0,2,4,6
/proc/18833/task/18845/stat : 18845 (java) R 18831 18831 11591 0 -1 4202560 345 0 0 0 2 0 0 0 20 0 15 0 407924150 15508242432 7405 33554432000 4194304 4196468 140733610498240 140515837254128 140516353572465 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18846] ppid=18831 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18846/stat : 18846 (java) S 18831 18831 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407924150 15508242432 7405 33554432000 4194304 4196468 140733610498240 140515836201824 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18847] ppid=18831 vsize=15144768 memory=139881427117696 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18847/stat : 18847 (java) S 18831 18831 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407924150 15508242432 7405 33554432000 4194304 4196468 140733610498240 140515835148848 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31072 KiB
[startup+0.218407 s]*
/proc/loadavg: 8.59 8.47 7.99 6/235 18847
/proc/meminfo: memFree=25444948/32770624 swapFree=66952812/67108860
[pid=18831] ppid=18828 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18831/stat : 18831 (xcsp3-exec) S 18828 18831 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407924144 115843072 363 33554432000 4194304 5098028 140727650413024 140727650411128 139683749315196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28364800 140727650415483 140727650415725 140727650415725 140727650418634 0
/proc/18831/statm: 28282 363 304 221 0 87 0
[pid=18833] ppid=18831 vsize=15149024 memory=40668 CPUtime=0.35 cores=0,2,4,6
/proc/18833/stat : 18833 (java) S 18831 18831 11591 0 -1 1077944320 9403 0 0 0 33 2 0 0 20 0 15 0 407924144 15512600576 10167 33554432000 4194304 4196468 140733610498240 140733610480784 140516375052023 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
/proc/18833/statm: 3787256 10167 3299 1 0 3748377 0
[pid=18833/tid=18834] ppid=18831 vsize=15149024 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/18833/task/18834/stat : 18834 (java) R 18831 18831 11591 0 -1 1077944384 6754 0 0 0 19 1 0 0 20 0 15 0 407924145 15512600576 10198 33554432000 4194304 4196468 140733610498240 140516379254864 140516367731245 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18835] ppid=18831 vsize=15149024 memory=13655 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18835/stat : 18835 (java) S 18831 18831 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407924145 15512600576 10198 33554432000 4194304 4196468 140733610498240 140516303092752 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18836] ppid=18831 vsize=15150048 memory=139881427133569 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18836/stat : 18836 (java) S 18831 18831 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407924145 15513649152 10198 33554432000 4194304 4196468 140733610498240 140516302040208 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18837] ppid=18831 vsize=15150048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18837/stat : 18837 (java) S 18831 18831 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407924145 15513649152 10198 33554432000 4194304 4196468 140733610498240 140516300987152 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18838] ppid=18831 vsize=15150048 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18838/stat : 18838 (java) S 18831 18831 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407924145 15513649152 10198 33554432000 4194304 4196468 140733610498240 140516299934608 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18839] ppid=18831 vsize=15149024 memory=139881427117696 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18839/stat : 18839 (java) S 18831 18831 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407924147 15512600576 10198 33554432000 4194304 4196468 140733610498240 140515843569904 140516375063170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18840] ppid=18831 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18840/stat : 18840 (java) S 18831 18831 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407924147 15512600576 10198 33554432000 4194304 4196468 140733610498240 140515842516128 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18841] ppid=18831 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18841/stat : 18841 (java) S 18831 18831 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407924148 15512600576 10198 33554432000 4194304 4196468 140733610498240 140515841463024 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18842] ppid=18831 vsize=15150048 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18842/stat : 18842 (java) S 18831 18831 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407924150 15513649152 10198 33554432000 4194304 4196468 140733610498240 140515840411600 140516375070619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18843] ppid=18831 vsize=15150048 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18833/task/18843/stat : 18843 (java) S 18831 18831 11591 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 15 0 407924150 15513649152 10198 33554432000 4194304 4196468 140733610498240 140515839359728 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18844] ppid=18831 vsize=15150048 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/18833/task/18844/stat : 18844 (java) S 18831 18831 11591 0 -1 1077944384 291 0 0 0 3 0 0 0 20 0 15 0 407924150 15513649152 10198 33554432000 4194304 4196468 140733610498240 140515838307184 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18845] ppid=18831 vsize=15149024 memory=139881427117696 CPUtime=0.08 cores=0,2,4,6
/proc/18833/task/18845/stat : 18845 (java) S 18831 18831 11591 0 -1 1077944384 760 0 0 0 8 0 0 0 20 0 15 0 407924150 15512600576 10198 33554432000 4194304 4196468 140733610498240 140515837254128 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18846] ppid=18831 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18846/stat : 18846 (java) S 18831 18831 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407924150 15512600576 10198 33554432000 4194304 4196468 140733610498240 140515836201824 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18847] ppid=18831 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18847/stat : 18847 (java) S 18831 18831 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407924150 15512600576 10198 33554432000 4194304 4196468 140733610498240 140515835148848 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 42120 KiB
[startup+0.318014 s]*
/proc/loadavg: 8.59 8.47 7.99 7/235 18847
/proc/meminfo: memFree=25437104/32770624 swapFree=66952812/67108860
[pid=18831] ppid=18828 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18831/stat : 18831 (xcsp3-exec) S 18828 18831 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407924144 115843072 363 33554432000 4194304 5098028 140727650413024 140727650411128 139683749315196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28364800 140727650415483 140727650415725 140727650415725 140727650418634 0
/proc/18831/statm: 28282 363 304 221 0 87 0
[pid=18833] ppid=18831 vsize=15149024 memory=50096 CPUtime=0.54 cores=0,2,4,6
/proc/18833/stat : 18833 (java) S 18831 18831 11591 0 -1 1077944320 10874 0 0 0 51 3 0 0 20 0 15 0 407924144 15512600576 12524 33554432000 4194304 4196468 140733610498240 140733610480784 140516375052023 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
/proc/18833/statm: 3787256 12524 3368 1 0 3748377 0
[pid=18833/tid=18834] ppid=18831 vsize=15149024 memory=8317482817917895235 CPUtime=0.31 cores=0,2,4,6
/proc/18833/task/18834/stat : 18834 (java) R 18831 18831 11591 0 -1 4202560 7853 0 0 0 28 3 0 0 20 0 15 0 407924145 15512600576 12532 33554432000 4194304 4196468 140733610498240 140516379286864 140516375073949 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18835] ppid=18831 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18835/stat : 18835 (java) S 18831 18831 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407924145 15512600576 12532 33554432000 4194304 4196468 140733610498240 140516303092752 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18836] ppid=18831 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18836/stat : 18836 (java) S 18831 18831 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407924145 15512600576 12532 33554432000 4194304 4196468 140733610498240 140516302040208 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18837] ppid=18831 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18837/stat : 18837 (java) S 18831 18831 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407924145 15512600576 12532 33554432000 4194304 4196468 140733610498240 140516300987152 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18838] ppid=18831 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18838/stat : 18838 (java) S 18831 18831 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407924145 15512600576 12532 33554432000 4194304 4196468 140733610498240 140516299934608 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18839] ppid=18831 vsize=15149024 memory=-7017622366038114463 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18839/stat : 18839 (java) S 18831 18831 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407924147 15512600576 12532 33554432000 4194304 4196468 140733610498240 140515843569904 140516375063170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18840] ppid=18831 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18840/stat : 18840 (java) S 18831 18831 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407924147 15512600576 12532 33554432000 4194304 4196468 140733610498240 140515842516128 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18841] ppid=18831 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18841/stat : 18841 (java) S 18831 18831 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407924148 15512600576 12532 33554432000 4194304 4196468 140733610498240 140515841463024 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18842] ppid=18831 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18842/stat : 18842 (java) S 18831 18831 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407924150 15512600576 12532 33554432000 4194304 4196468 140733610498240 140515840411600 140516375070619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18843] ppid=18831 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/18833/task/18843/stat : 18843 (java) S 18831 18831 11591 0 -1 1077944384 415 0 0 0 4 0 0 0 20 0 15 0 407924150 15512600576 12532 33554432000 4194304 4196468 140733610498240 140515839359728 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18844] ppid=18831 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/18833/task/18844/stat : 18844 (java) S 18831 18831 11591 0 -1 1077944384 395 0 0 0 5 0 0 0 20 0 15 0 407924150 15512600576 12532 33554432000 4194304 4196468 140733610498240 140515838307184 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18845] ppid=18831 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/18833/task/18845/stat : 18845 (java) S 18831 18831 11591 0 -1 1077944384 910 0 0 0 12 0 0 0 20 0 15 0 407924150 15512600576 12532 33554432000 4194304 4196468 140733610498240 140515837254128 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18846] ppid=18831 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18846/stat : 18846 (java) S 18831 18831 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407924150 15512600576 12532 33554432000 4194304 4196468 140733610498240 140515836201824 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18847] ppid=18831 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18847/stat : 18847 (java) S 18831 18831 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407924150 15512600576 12532 33554432000 4194304 4196468 140733610498240 140515835148848 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51548 KiB
[startup+0.702754 s]
/proc/loadavg: 8.59 8.47 7.99 6/235 18847
/proc/meminfo: memFree=25417068/32770624 swapFree=66952812/67108860
[pid=18831] ppid=18828 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18831/stat : 18831 (xcsp3-exec) S 18828 18831 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407924144 115843072 363 33554432000 4194304 5098028 140727650413024 140727650411128 139683749315196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28364800 140727650415483 140727650415725 140727650415725 140727650418634 0
/proc/18831/statm: 28282 363 304 221 0 87 0
[pid=18833] ppid=18831 vsize=15151148 memory=91644 CPUtime=1.82 cores=0,2,4,6
/proc/18833/stat : 18833 (java) S 18831 18831 11591 0 -1 1077944320 15745 0 0 0 177 5 0 0 20 0 15 0 407924144 15514775552 22911 33554432000 4194304 4196468 140733610498240 140733610480784 140516375052023 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
/proc/18833/statm: 3787787 22911 3452 1 0 3748889 0
[pid=18833/tid=18834] ppid=18831 vsize=15151148 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/18833/task/18834/stat : 18834 (java) R 18831 18831 11591 0 -1 4202560 8835 0 0 0 64 3 0 0 20 0 15 0 407924145 15514775552 22911 33554432000 4194304 4196468 140733610498240 140516379287648 140516356952039 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18835] ppid=18831 vsize=15151148 memory=38044 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18835/stat : 18835 (java) S 18831 18831 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407924145 15514775552 22911 33554432000 4194304 4196468 140733610498240 140516303092752 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18836] ppid=18831 vsize=15151148 memory=992 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18836/stat : 18836 (java) S 18831 18831 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407924145 15514775552 22911 33554432000 4194304 4196468 140733610498240 140516302040208 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18837] ppid=18831 vsize=15151148 memory=2044 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18837/stat : 18837 (java) S 18831 18831 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407924145 15514775552 22911 33554432000 4194304 4196468 140733610498240 140516300987152 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18838] ppid=18831 vsize=15151148 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18838/stat : 18838 (java) S 18831 18831 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407924145 15514775552 22911 33554432000 4194304 4196468 140733610498240 140516299934608 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18839] ppid=18831 vsize=15151148 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18839/stat : 18839 (java) S 18831 18831 11591 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407924147 15514775552 22911 33554432000 4194304 4196468 140733610498240 140515843569904 140516375063170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18840] ppid=18831 vsize=15151148 memory=752 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18840/stat : 18840 (java) S 18831 18831 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407924147 15514775552 22911 33554432000 4194304 4196468 140733610498240 140515842516128 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18841] ppid=18831 vsize=15151148 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18841/stat : 18841 (java) S 18831 18831 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407924148 15514775552 22911 33554432000 4194304 4196468 140733610498240 140515841463024 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18842] ppid=18831 vsize=15151148 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18842/stat : 18842 (java) S 18831 18831 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407924150 15514775552 22911 33554432000 4194304 4196468 140733610498240 140515840411600 140516375070619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18843] ppid=18831 vsize=15151148 memory=944 CPUtime=0.31 cores=0,2,4,6
/proc/18833/task/18843/stat : 18843 (java) R 18831 18831 11591 0 -1 4202560 1281 0 0 0 31 0 0 0 20 0 15 0 407924150 15514775552 22911 33554432000 4194304 4196468 140733610498240 140515839359856 140516358955490 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18844] ppid=18831 vsize=15151148 memory=4004 CPUtime=0.4 cores=0,2,4,6
/proc/18833/task/18844/stat : 18844 (java) R 18831 18831 11591 0 -1 4202560 2286 0 0 0 40 0 0 0 20 0 15 0 407924150 15514775552 22911 33554432000 4194304 4196468 140733610498240 140515838295296 140516358575337 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18845] ppid=18831 vsize=15151148 memory=780 CPUtime=0.4 cores=0,2,4,6
/proc/18833/task/18845/stat : 18845 (java) R 18831 18831 11591 0 -1 1077944384 2035 0 0 0 40 0 0 0 20 0 15 0 407924150 15514775552 22911 33554432000 4194304 4196468 140733610498240 140515837253312 140516375062229 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18846] ppid=18831 vsize=15151148 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18846/stat : 18846 (java) S 18831 18831 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407924150 15514775552 22911 33554432000 4194304 4196468 140733610498240 140515836201824 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18847] ppid=18831 vsize=15151148 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18847/stat : 18847 (java) S 18831 18831 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407924150 15514775552 22911 33554432000 4194304 4196468 140733610498240 140515835148848 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 93096 KiB
[startup+1.50303 s]
/proc/loadavg: 8.59 8.47 7.99 8/235 18847
/proc/meminfo: memFree=25327960/32770624 swapFree=66952812/67108860
[pid=18831] ppid=18828 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18831/stat : 18831 (xcsp3-exec) S 18828 18831 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407924144 115843072 363 33554432000 4194304 5098028 140727650413024 140727650411128 139683749315196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28364800 140727650415483 140727650415725 140727650415725 140727650418634 0
/proc/18831/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/18833/task/18847/stat : 18847 (java) S 18831 18831 11591 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 19 0 407924150 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515835148848 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18848] ppid=18831 vsize=15419452 memory=0 CPUtime=17.29 cores=0,2,4,6
/proc/18833/task/18848/stat : 18848 (java) R 18831 18831 11591 0 -1 4202560 512 0 0 0 1729 0 0 0 20 0 19 0 407924249 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515758557904 140515986254736 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18849] ppid=18831 vsize=15419452 memory=3612 CPUtime=17.19 cores=0,2,4,6
/proc/18833/task/18849/stat : 18849 (java) R 18831 18831 11591 0 -1 4202560 1343 0 0 0 1719 0 0 0 20 0 19 0 407924249 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515757506216 140515985164107 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18850] ppid=18831 vsize=15419452 memory=38044 CPUtime=17.15 cores=0,2,4,6
/proc/18833/task/18850/stat : 18850 (java) R 18831 18831 11591 0 -1 4202560 255 0 0 0 1714 1 0 0 20 0 19 0 407924249 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515756453672 140515985885436 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18851] ppid=18831 vsize=15419452 memory=992 CPUtime=17.21 cores=0,2,4,6
/proc/18833/task/18851/stat : 18851 (java) R 18831 18831 11591 0 -1 4202560 587 0 0 0 1721 0 0 0 20 0 19 0 407924249 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515755401752 140515985157512 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
Current children cumulated CPU time: 75.15 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 240524 KiB
[startup+20.001 s]*
/proc/loadavg: 8.71 8.51 8.01 9/239 18853
/proc/meminfo: memFree=25246348/32770624 swapFree=66952812/67108860
[pid=18831] ppid=18828 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18831/stat : 18831 (xcsp3-exec) S 18828 18831 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407924144 115843072 363 33554432000 4194304 5098028 140727650413024 140727650411128 139683749315196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28364800 140727650415483 140727650415725 140727650415725 140727650418634 0
/proc/18831/statm: 28282 363 304 221 0 87 0
[pid=18833] ppid=18831 vsize=15419452 memory=239072 CPUtime=78.35 cores=0,2,4,6
/proc/18833/stat : 18833 (java) S 18831 18831 11591 0 -1 1077944320 39503 0 0 0 7822 13 0 0 20 0 19 0 407924144 15789518848 59768 33554432000 4194304 4196468 140733610498240 140733610480784 140516375052023 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
/proc/18833/statm: 3854863 59768 3529 1 0 3815965 0
[pid=18833/tid=18834] ppid=18831 vsize=15419452 memory=8317482817917895235 CPUtime=1.02 cores=0,2,4,6
/proc/18833/task/18834/stat : 18834 (java) S 18831 18831 11591 0 -1 1077944384 10568 0 0 0 97 5 0 0 20 0 19 0 407924145 15789518848 59768 33554432000 4194304 4196468 140733610498240 140516379292800 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18835] ppid=18831 vsize=15419452 memory=279762628231248 CPUtime=0.04 cores=0,2,4,6
/proc/18833/task/18835/stat : 18835 (java) S 18831 18831 11591 0 -1 1077944384 318 0 0 0 3 1 0 0 20 0 19 0 407924145 15789518848 59768 33554432000 4194304 4196468 140733610498240 140516303092752 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18836] ppid=18831 vsize=15419452 memory=279762628231312 CPUtime=0.04 cores=0,2,4,6
/proc/18833/task/18836/stat : 18836 (java) S 18831 18831 11591 0 -1 1077944384 221 0 0 0 3 1 0 0 20 0 19 0 407924145 15789518848 59768 33554432000 4194304 4196468 140733610498240 140516302040208 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18837] ppid=18831 vsize=15419452 memory=279762628231376 CPUtime=0.03 cores=0,2,4,6
/proc/18833/task/18837/stat : 18837 (java) S 18831 18831 11591 0 -1 1077944384 893 0 0 0 3 0 0 0 20 0 19 0 407924145 15789518848 59768 33554432000 4194304 4196468 140733610498240 140516300987152 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18838] ppid=18831 vsize=15419452 memory=4126316290023845779 CPUtime=0.03 cores=0,2,4,6
/proc/18833/task/18838/stat : 18838 (java) S 18831 18831 11591 0 -1 1077944384 1207 0 0 0 3 0 0 0 20 0 19 0 407924145 15789518848 59768 33554432000 4194304 4196468 140733610498240 140516299934608 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18839] ppid=18831 vsize=15419452 memory=192 CPUtime=0.01 cores=0,2,4,6
/proc/18833/task/18839/stat : 18839 (java) S 18831 18831 11591 0 -1 1077944384 676 0 0 0 1 0 0 0 20 0 19 0 407924147 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515843569904 140516375063170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18840] ppid=18831 vsize=15419452 memory=80 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18840/stat : 18840 (java) S 18831 18831 11591 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 407924147 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515842516192 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18841] ppid=18831 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18841/stat : 18841 (java) S 18831 18831 11591 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 19 0 407924148 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515841463040 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18842] ppid=18831 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18842/stat : 18842 (java) S 18831 18831 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407924150 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515840411600 140516375070619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18843] ppid=18831 vsize=15419452 memory=778 CPUtime=2.3 cores=0,2,4,6
/proc/18833/task/18843/stat : 18843 (java) S 18831 18831 11591 0 -1 1077944384 7704 0 0 0 230 0 0 0 20 0 19 0 407924150 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515839359728 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18844] ppid=18831 vsize=15419452 memory=762 CPUtime=1.92 cores=0,2,4,6
/proc/18833/task/18844/stat : 18844 (java) S 18831 18831 11591 0 -1 1077944384 7394 0 0 0 192 0 0 0 20 0 19 0 407924150 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515838307184 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18845] ppid=18831 vsize=15419452 memory=764 CPUtime=0.8 cores=0,2,4,6
/proc/18833/task/18845/stat : 18845 (java) S 18831 18831 11591 0 -1 1077944384 6083 0 0 0 79 1 0 0 20 0 19 0 407924150 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515837254128 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18846] ppid=18831 vsize=15419452 memory=279759808781971 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18846/stat : 18846 (java) S 18831 18831 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407924150 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515836201824 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18847] ppid=18831 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18847/stat : 18847 (java) S 18831 18831 11591 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 19 0 407924150 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515835148848 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18848] ppid=18831 vsize=15419452 memory=0 CPUtime=18.08 cores=0,2,4,6
/proc/18833/task/18848/stat : 18848 (java) R 18831 18831 11591 0 -1 4202560 512 0 0 0 1808 0 0 0 20 0 19 0 407924249 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515758562568 140515986255240 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18849] ppid=18831 vsize=15419452 memory=0 CPUtime=18 cores=0,2,4,6
/proc/18833/task/18849/stat : 18849 (java) R 18831 18831 11591 0 -1 4202560 1349 0 0 0 1800 0 0 0 20 0 19 0 407924249 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515757510632 140515986255219 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18850] ppid=18831 vsize=15419452 memory=0 CPUtime=17.96 cores=0,2,4,6
/proc/18833/task/18850/stat : 18850 (java) R 18831 18831 11591 0 -1 4202560 255 0 0 0 1795 1 0 0 20 0 19 0 407924249 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515756457600 140515985581480 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18851] ppid=18831 vsize=15419452 memory=0 CPUtime=18.02 cores=0,2,4,6
/proc/18833/task/18851/stat : 18851 (java) R 18831 18831 11591 0 -1 4202560 590 0 0 0 1802 0 0 0 20 0 19 0 407924249 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515755405664 140515985913341 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
Current children cumulated CPU time: 78.35 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 240524 KiB
[startup+20.401 s]
/proc/loadavg: 8.71 8.51 8.01 9/239 18853
/proc/meminfo: memFree=25246348/32770624 swapFree=66952812/67108860
[pid=18831] ppid=18828 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18831/stat : 18831 (xcsp3-exec) S 18828 18831 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407924144 115843072 363 33554432000 4194304 5098028 140727650413024 140727650411128 139683749315196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28364800 140727650415483 140727650415725 140727650415725 140727650418634 0
/proc/18831/statm: 28282 363 304 221 0 87 0
[pid=18833] ppid=18831 vsize=15419452 memory=239072 CPUtime=79.91 cores=0,2,4,6
/proc/18833/stat : 18833 (java) S 18831 18831 11591 0 -1 1077944320 39522 0 0 0 7978 13 0 0 20 0 19 0 407924144 15789518848 59768 33554432000 4194304 4196468 140733610498240 140733610480784 140516375052023 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
/proc/18833/statm: 3854863 59768 3529 1 0 3815965 0
[pid=18833/tid=18834] ppid=18831 vsize=15419452 memory=6655300316396806240 CPUtime=1.02 cores=0,2,4,6
/proc/18833/task/18834/stat : 18834 (java) S 18831 18831 11591 0 -1 1077944384 10568 0 0 0 97 5 0 0 20 0 19 0 407924145 15789518848 59768 33554432000 4194304 4196468 140733610498240 140516379292800 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18835] ppid=18831 vsize=15419452 memory=6791534058613427641 CPUtime=0.04 cores=0,2,4,6
/proc/18833/task/18835/stat : 18835 (java) S 18831 18831 11591 0 -1 1077944384 318 0 0 0 3 1 0 0 20 0 19 0 407924145 15789518848 59768 33554432000 4194304 4196468 140733610498240 140516303092752 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18836] ppid=18831 vsize=15419452 memory=5931353320746413673 CPUtime=0.04 cores=0,2,4,6
/proc/18833/task/18836/stat : 18836 (java) S 18831 18831 11591 0 -1 1077944384 221 0 0 0 3 1 0 0 20 0 19 0 407924145 15789518848 59768 33554432000 4194304 4196468 140733610498240 140516302040208 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18837] ppid=18831 vsize=15419452 memory=7523659355244620648 CPUtime=0.03 cores=0,2,4,6
/proc/18833/task/18837/stat : 18837 (java) S 18831 18831 11591 0 -1 1077944384 893 0 0 0 3 0 0 0 20 0 19 0 407924145 15789518848 59768 33554432000 4194304 4196468 140733610498240 140516300987152 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18838] ppid=18831 vsize=15419452 memory=7523659355244620648 CPUtime=0.03 cores=0,2,4,6
/proc/18833/task/18838/stat : 18838 (java) S 18831 18831 11591 0 -1 1077944384 1207 0 0 0 3 0 0 0 20 0 19 0 407924145 15789518848 59768 33554432000 4194304 4196468 140733610498240 140516299934608 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18839] ppid=18831 vsize=15419452 memory=7523659355244620648 CPUtime=0.01 cores=0,2,4,6
/proc/18833/task/18839/stat : 18839 (java) S 18831 18831 11591 0 -1 1077944384 676 0 0 0 1 0 0 0 20 0 19 0 407924147 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515843569904 140516375063170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18840] ppid=18831 vsize=15419452 memory=7595411276829517932 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18840/stat : 18840 (java) S 18831 18831 11591 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 407924147 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515842516192 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18841] ppid=18831 vsize=15419452 memory=7523659355244620648 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18841/stat : 18841 (java) S 18831 18831 11591 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 19 0 407924148 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515841463040 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18842] ppid=18831 vsize=15419452 memory=7883667044490569323 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18842/stat : 18842 (java) S 18831 18831 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407924150 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515840411600 140516375070619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18843] ppid=18831 vsize=15419452 memory=7523659355244620648 CPUtime=2.3 cores=0,2,4,6
/proc/18833/task/18843/stat : 18843 (java) S 18831 18831 11591 0 -1 1077944384 7704 0 0 0 230 0 0 0 20 0 19 0 407924150 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515839359728 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18844] ppid=18831 vsize=15419452 memory=7524785354337046630 CPUtime=1.92 cores=0,2,4,6
/proc/18833/task/18844/stat : 18844 (java) S 18831 18831 11591 0 -1 1077944384 7394 0 0 0 192 0 0 0 20 0 19 0 407924150 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515838307184 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18845] ppid=18831 vsize=15419452 memory=5931353320746413673 CPUtime=0.8 cores=0,2,4,6
/proc/18833/task/18845/stat : 18845 (java) S 18831 18831 11591 0 -1 1077944384 6083 0 0 0 79 1 0 0 20 0 19 0 407924150 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515837254128 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18846] ppid=18831 vsize=15419452 memory=5931353320746413673 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18846/stat : 18846 (java) S 18831 18831 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407924150 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515836201824 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18847] ppid=18831 vsize=15419452 memory=7517159128853671022 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18847/stat : 18847 (java) S 18831 18831 11591 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 19 0 407924150 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515835148848 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18848] ppid=18831 vsize=15419452 memory=7524785354337046630 CPUtime=18.47 cores=0,2,4,6
/proc/18833/task/18848/stat : 18848 (java) R 18831 18831 11591 0 -1 4202560 519 0 0 0 1847 0 0 0 20 0 19 0 407924249 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515758562568 140515986255187 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18849] ppid=18831 vsize=15419452 memory=6791534058613427641 CPUtime=18.39 cores=0,2,4,6
/proc/18833/task/18849/stat : 18849 (java) R 18831 18831 11591 0 -1 4202560 1361 0 0 0 1839 0 0 0 20 0 19 0 407924249 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515757510632 140515982442976 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18850] ppid=18831 vsize=15419452 memory=12024 CPUtime=18.35 cores=0,2,4,6
/proc/18833/task/18850/stat : 18850 (java) R 18831 18831 11591 0 -1 4202560 255 0 0 0 1834 1 0 0 20 0 19 0 407924249 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515756457600 140515986255020 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18851] ppid=18831 vsize=15419452 memory=2120 CPUtime=18.41 cores=0,2,4,6
/proc/18833/task/18851/stat : 18851 (java) R 18831 18831 11591 0 -1 4202560 590 0 0 0 1841 0 0 0 20 0 19 0 407924249 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515755406056 140515986254773 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
Current children cumulated CPU time: 79.91 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 240524 KiB
[startup+20.606 s]
/proc/loadavg: 8.71 8.51 8.01 9/239 18853
/proc/meminfo: memFree=25246348/32770624 swapFree=66952812/67108860
[pid=18831] ppid=18828 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18831/stat : 18831 (xcsp3-exec) S 18828 18831 11591 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407924144 115843072 363 33554432000 4194304 5098028 140727650413024 140727650411128 139683749315196 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28364800 140727650415483 140727650415725 140727650415725 140727650418634 0
/proc/18831/statm: 28282 363 304 221 0 87 0
[pid=18833] ppid=18831 vsize=15419452 memory=239072 CPUtime=80.72 cores=0,2,4,6
/proc/18833/stat : 18833 (java) S 18831 18831 11591 0 -1 1077944320 39526 0 0 0 8059 13 0 0 20 0 19 0 407924144 15789518848 59768 33554432000 4194304 4196468 140733610498240 140733610480784 140516375052023 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
/proc/18833/statm: 3854863 59768 3529 1 0 3815965 0
[pid=18833/tid=18834] ppid=18831 vsize=15419452 memory=924 CPUtime=1.02 cores=0,2,4,6
/proc/18833/task/18834/stat : 18834 (java) S 18831 18831 11591 0 -1 1077944384 10568 0 0 0 97 5 0 0 20 0 19 0 407924145 15789518848 59768 33554432000 4194304 4196468 140733610498240 140516379292800 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18835] ppid=18831 vsize=15419452 memory=1712 CPUtime=0.04 cores=0,2,4,6
/proc/18833/task/18835/stat : 18835 (java) S 18831 18831 11591 0 -1 1077944384 318 0 0 0 3 1 0 0 20 0 19 0 407924145 15789518848 59768 33554432000 4194304 4196468 140733610498240 140516303092752 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18836] ppid=18831 vsize=15419452 memory=812 CPUtime=0.04 cores=0,2,4,6
/proc/18833/task/18836/stat : 18836 (java) S 18831 18831 11591 0 -1 1077944384 221 0 0 0 3 1 0 0 20 0 19 0 407924145 15789518848 59768 33554432000 4194304 4196468 140733610498240 140516302040208 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18837] ppid=18831 vsize=15419452 memory=1436 CPUtime=0.03 cores=0,2,4,6
/proc/18833/task/18837/stat : 18837 (java) S 18831 18831 11591 0 -1 1077944384 893 0 0 0 3 0 0 0 20 0 19 0 407924145 15789518848 59768 33554432000 4194304 4196468 140733610498240 140516300987152 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18838] ppid=18831 vsize=15419452 memory=1984 CPUtime=0.03 cores=0,2,4,6
/proc/18833/task/18838/stat : 18838 (java) S 18831 18831 11591 0 -1 1077944384 1207 0 0 0 3 0 0 0 20 0 19 0 407924145 15789518848 59768 33554432000 4194304 4196468 140733610498240 140516299934608 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18839] ppid=18831 vsize=15419452 memory=2492 CPUtime=0.01 cores=0,2,4,6
/proc/18833/task/18839/stat : 18839 (java) S 18831 18831 11591 0 -1 1077944384 676 0 0 0 1 0 0 0 20 0 19 0 407924147 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515843569904 140516375063170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18840] ppid=18831 vsize=15419452 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18840/stat : 18840 (java) S 18831 18831 11591 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 407924147 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515842516192 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18841] ppid=18831 vsize=15419452 memory=111636 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18841/stat : 18841 (java) S 18831 18831 11591 0 -1 1077944384 104 0 0 0 0 0 0 0 20 0 19 0 407924148 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515841463040 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18842] ppid=18831 vsize=15419452 memory=804 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18842/stat : 18842 (java) S 18831 18831 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407924150 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515840411600 140516375070619 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18843] ppid=18831 vsize=15419452 memory=1804 CPUtime=2.3 cores=0,2,4,6
/proc/18833/task/18843/stat : 18843 (java) S 18831 18831 11591 0 -1 1077944384 7704 0 0 0 230 0 0 0 20 0 19 0 407924150 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515839359728 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18844] ppid=18831 vsize=15419452 memory=920 CPUtime=1.92 cores=0,2,4,6
/proc/18833/task/18844/stat : 18844 (java) S 18831 18831 11591 0 -1 1077944384 7394 0 0 0 192 0 0 0 20 0 19 0 407924150 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515838307184 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18845] ppid=18831 vsize=15419452 memory=33 CPUtime=0.8 cores=0,2,4,6
/proc/18833/task/18845/stat : 18845 (java) S 18831 18831 11591 0 -1 1077944384 6083 0 0 0 79 1 0 0 20 0 19 0 407924150 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515837254128 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18846] ppid=18831 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18846/stat : 18846 (java) S 18831 18831 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407924150 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515836201824 140516375062229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18847] ppid=18831 vsize=15419452 memory=9123026954224263383 CPUtime=0 cores=0,2,4,6
/proc/18833/task/18847/stat : 18847 (java) S 18831 18831 11591 0 -1 1077944384 327 0 0 0 0 0 0 0 20 0 19 0 407924150 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515835148848 140516375063170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 32 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18848] ppid=18831 vsize=15419452 memory=-2893623298589923098 CPUtime=18.67 cores=0,2,4,6
/proc/18833/task/18848/stat : 18848 (java) R 18831 18831 11591 0 -1 4202560 521 0 0 0 1867 0 0 0 20 0 19 0 407924249 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515758562568 140515986254749 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18849] ppid=18831 vsize=15419452 memory=-1807685287717842718 CPUtime=18.59 cores=0,2,4,6
/proc/18833/task/18849/stat : 18849 (java) R 18831 18831 11591 0 -1 4202560 1363 0 0 0 1859 0 0 0 20 0 19 0 407924249 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515757510632 140515985163826 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18850] ppid=18831 vsize=15419452 memory=-2893623298589923098 CPUtime=18.55 cores=0,2,4,6
/proc/18833/task/18850/stat : 18850 (java) R 18831 18831 11591 0 -1 4202560 255 0 0 0 1854 1 0 0 20 0 19 0 407924249 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515756457600 140515986200431 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
[pid=18833/tid=18851] ppid=18831 vsize=15419452 memory=-3253322038155611931 CPUtime=18.61 cores=0,2,4,6
/proc/18833/task/18851/stat : 18851 (java) R 18831 18831 11591 0 -1 4202560 590 0 0 0 1861 0 0 0 20 0 19 0 407924249 15789518848 59768 33554432000 4194304 4196468 140733610498240 140515755406056 140515985163870 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27586560 140733610505199 140733610505370 140733610505370 140733610508239 0
Current children cumulated CPU time: 80.72 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 240524 KiB
Child status: 0
Real time (s): 20.6688
CPU time (s): 80.9215
CPU user time (s): 80.776
CPU system time (s): 0.145494
CPU usage (%): 391.515
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 240524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.776
system time used= 0.145494
maximum resident set size= 239192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41500
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= 2955
involuntary context switches= 1771
# summary of solver processes directly reported to runsolver:
# pid: 18831
# total CPU time (s): 80.9215
# total CPU user time (s): 80.776
# total CPU system time (s): 0.145494
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.149372 second user time and 0.264273 second system time
The end