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 (9885 MiB free)
  memory of node 1: 16384 MiB (9401 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394248-1568332010/watcher-4394248-1568332010 -o /tmp/evaluation-result-4394248-1568332010/solver-4394248-1568332010 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18217 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 848515999 HOME/instance-4394248-1568332010.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30685, runsolver pid=30682
Current StackSize limit: 8192 KiB


[startup+0.100172 s]*
/proc/loadavg: 7.48 7.97 7.74 7/233 30701
/proc/meminfo: memFree=19726752/32770624 swapFree=66959216/67108860
[pid=30685] ppid=30682 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30685/stat : 30685 (xcsp3-exec) S 30682 30685 18186 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409141161 115843072 362 33554432000 4194304 5098028 140720594329216 140720594327320 140207027110524 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34762752 140720594330491 140720594330733 140720594330733 140720594333642 0
/proc/30685/statm: 28282 362 304 221 0 87 0
[pid=30687] ppid=30685 vsize=15144768 memory=29624 CPUtime=0.13 cores=0,2,4,6
/proc/30687/stat : 30687 (java) S 30685 30685 18186 0 -1 1077944320 5809 0 0 0 12 1 0 0 20 0 15 0 409141162 15508242432 7406 33554432000 4194304 4196468 140721999674192 140721999656736 140500792864503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
/proc/30687/statm: 3786192 7406 3149 1 0 3748377 0
[pid=30687/tid=30688] ppid=30685 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/30687/task/30688/stat : 30688 (java) R 30685 30685 18186 0 -1 4202560 3728 0 0 0 8 1 0 0 20 0 15 0 409141162 15508242432 7406 33554432000 4194304 4196468 140721999674192 140500797095824 140500792885850 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30689] ppid=30685 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30689/stat : 30689 (java) S 30685 30685 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409141163 15508242432 7406 33554432000 4194304 4196468 140721999674192 140500384930064 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30690] ppid=30685 vsize=15144768 memory=140201121445504 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30690/stat : 30690 (java) S 30685 30685 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409141163 15508242432 7406 33554432000 4194304 4196468 140721999674192 140500383877520 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30691] ppid=30685 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30691/stat : 30691 (java) S 30685 30685 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409141163 15508242432 7406 33554432000 4194304 4196468 140721999674192 140500382824976 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30692] ppid=30685 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30692/stat : 30692 (java) S 30685 30685 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409141163 15508242432 7406 33554432000 4194304 4196468 140721999674192 140500381772432 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30693] ppid=30685 vsize=15144768 memory=140201121445504 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30693/stat : 30693 (java) S 30685 30685 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409141164 15508242432 7406 33554432000 4194304 4196468 140721999674192 140500354198000 140500792875650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30694] ppid=30685 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30694/stat : 30694 (java) S 30685 30685 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409141165 15508242432 7406 33554432000 4194304 4196468 140721999674192 140500353144224 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30695] ppid=30685 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30695/stat : 30695 (java) S 30685 30685 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409141165 15508242432 7406 33554432000 4194304 4196468 140721999674192 140500352091632 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30696] ppid=30685 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30696/stat : 30696 (java) S 30685 30685 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409141167 15508242432 7406 33554432000 4194304 4196468 140721999674192 140500351040208 140500792883099 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30697] ppid=30685 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30697/stat : 30697 (java) S 30685 30685 18186 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 409141167 15508242432 7406 33554432000 4194304 4196468 140721999674192 140500349986800 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30698] ppid=30685 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30698/stat : 30698 (java) R 30685 30685 18186 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 15 0 409141167 15508242432 7406 33554432000 4194304 4196468 140721999674192 140500348934256 140500770856059 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30699] ppid=30685 vsize=15144768 memory=140201121445504 CPUtime=0.02 cores=0,2,4,6
/proc/30687/task/30699/stat : 30699 (java) R 30685 30685 18186 0 -1 4202560 354 0 0 0 2 0 0 0 20 0 15 0 409141167 15508242432 7406 33554432000 4194304 4196468 140721999674192 140500347881712 140500792876438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30700] ppid=30685 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30700/stat : 30700 (java) S 30685 30685 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409141167 15508242432 7406 33554432000 4194304 4196468 140721999674192 140500346829408 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30701] ppid=30685 vsize=15144768 memory=140201121445504 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30701/stat : 30701 (java) S 30685 30685 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409141168 15508242432 7406 33554432000 4194304 4196468 140721999674192 140500345776944 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31072 KiB

[startup+0.210791 s]*
/proc/loadavg: 7.48 7.97 7.74 6/233 30701
/proc/meminfo: memFree=19714096/32770624 swapFree=66959216/67108860
[pid=30685] ppid=30682 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30685/stat : 30685 (xcsp3-exec) S 30682 30685 18186 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409141161 115843072 362 33554432000 4194304 5098028 140720594329216 140720594327320 140207027110524 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34762752 140720594330491 140720594330733 140720594330733 140720594333642 0
/proc/30685/statm: 28282 362 304 221 0 87 0
[pid=30687] ppid=30685 vsize=15144768 memory=41004 CPUtime=0.34 cores=0,2,4,6
/proc/30687/stat : 30687 (java) S 30685 30685 18186 0 -1 1077944320 9436 0 0 0 31 3 0 0 20 0 15 0 409141162 15508242432 10251 33554432000 4194304 4196468 140721999674192 140721999656736 140500792864503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
/proc/30687/statm: 3786192 10251 3299 1 0 3748377 0
[pid=30687/tid=30688] ppid=30685 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/30687/task/30688/stat : 30688 (java) R 30685 30685 18186 0 -1 4202560 6624 0 0 0 18 2 0 0 20 0 15 0 409141162 15508242432 10251 33554432000 4194304 4196468 140721999674192 140500797097232 140500792876438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30689] ppid=30685 vsize=15144768 memory=1965945 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30689/stat : 30689 (java) S 30685 30685 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409141163 15508242432 10251 33554432000 4194304 4196468 140721999674192 140500384930064 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30690] ppid=30685 vsize=15144768 memory=4051181088134821536 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30690/stat : 30690 (java) S 30685 30685 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409141163 15508242432 10251 33554432000 4194304 4196468 140721999674192 140500383877520 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30691] ppid=30685 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30691/stat : 30691 (java) S 30685 30685 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409141163 15508242432 10251 33554432000 4194304 4196468 140721999674192 140500382824976 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30692] ppid=30685 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30692/stat : 30692 (java) S 30685 30685 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409141163 15508242432 10251 33554432000 4194304 4196468 140721999674192 140500381772432 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30693] ppid=30685 vsize=15144768 memory=140201121445504 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30693/stat : 30693 (java) S 30685 30685 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409141164 15508242432 10251 33554432000 4194304 4196468 140721999674192 140500354198000 140500792875650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30694] ppid=30685 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30694/stat : 30694 (java) S 30685 30685 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409141165 15508242432 10251 33554432000 4194304 4196468 140721999674192 140500353144224 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30695] ppid=30685 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30695/stat : 30695 (java) S 30685 30685 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409141165 15508242432 10251 33554432000 4194304 4196468 140721999674192 140500352091632 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30696] ppid=30685 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30696/stat : 30696 (java) S 30685 30685 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409141167 15508242432 10251 33554432000 4194304 4196468 140721999674192 140500351040208 140500792883099 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30697] ppid=30685 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30687/task/30697/stat : 30697 (java) S 30685 30685 18186 0 -1 1077944384 685 0 0 0 3 0 0 0 20 0 15 0 409141167 15508242432 10251 33554432000 4194304 4196468 140721999674192 140500349986800 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30698] ppid=30685 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/30687/task/30698/stat : 30698 (java) S 30685 30685 18186 0 -1 1077944384 79 0 0 0 1 0 0 0 20 0 15 0 409141167 15508242432 10251 33554432000 4194304 4196468 140721999674192 140500348934256 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30699] ppid=30685 vsize=15144768 memory=140201121445504 CPUtime=0.08 cores=0,2,4,6
/proc/30687/task/30699/stat : 30699 (java) R 30685 30685 18186 0 -1 4202560 739 0 0 0 8 0 0 0 20 0 15 0 409141167 15508242432 10251 33554432000 4194304 4196468 140721999674192 140500347881520 140500771822238 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30700] ppid=30685 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30700/stat : 30700 (java) S 30685 30685 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409141167 15508242432 10251 33554432000 4194304 4196468 140721999674192 140500346829408 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30701] ppid=30685 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30701/stat : 30701 (java) S 30685 30685 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409141168 15508242432 10251 33554432000 4194304 4196468 140721999674192 140500345776944 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42452 KiB

[startup+0.319959 s]*
/proc/loadavg: 7.48 7.97 7.74 7/233 30701
/proc/meminfo: memFree=19699828/32770624 swapFree=66959216/67108860
[pid=30685] ppid=30682 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30685/stat : 30685 (xcsp3-exec) S 30682 30685 18186 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409141161 115843072 362 33554432000 4194304 5098028 140720594329216 140720594327320 140207027110524 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34762752 140720594330491 140720594330733 140720594330733 140720594333642 0
/proc/30685/statm: 28282 362 304 221 0 87 0
[pid=30687] ppid=30685 vsize=15149024 memory=50272 CPUtime=0.54 cores=0,2,4,6
/proc/30687/stat : 30687 (java) S 30685 30685 18186 0 -1 1077944320 10946 0 0 0 50 4 0 0 20 0 15 0 409141162 15512600576 12568 33554432000 4194304 4196468 140721999674192 140721999656736 140500792864503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
/proc/30687/statm: 3787256 12568 3348 1 0 3748377 0
[pid=30687/tid=30688] ppid=30685 vsize=15149024 memory=6791534058613427641 CPUtime=0.31 cores=0,2,4,6
/proc/30687/task/30688/stat : 30688 (java) R 30685 30685 18186 0 -1 4202560 7884 0 0 0 28 3 0 0 20 0 15 0 409141162 15512600576 12568 33554432000 4194304 4196468 140721999674192 140500797091120 140500792876438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30689] ppid=30685 vsize=15149024 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30689/stat : 30689 (java) S 30685 30685 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409141163 15512600576 12568 33554432000 4194304 4196468 140721999674192 140500384930064 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30690] ppid=30685 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30690/stat : 30690 (java) S 30685 30685 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409141163 15512600576 12568 33554432000 4194304 4196468 140721999674192 140500383877520 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30691] ppid=30685 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30691/stat : 30691 (java) S 30685 30685 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409141163 15512600576 12568 33554432000 4194304 4196468 140721999674192 140500382824976 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30692] ppid=30685 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30692/stat : 30692 (java) S 30685 30685 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409141163 15512600576 12568 33554432000 4194304 4196468 140721999674192 140500381772432 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30693] ppid=30685 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30693/stat : 30693 (java) S 30685 30685 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409141164 15512600576 12568 33554432000 4194304 4196468 140721999674192 140500354198000 140500792875650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30694] ppid=30685 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30694/stat : 30694 (java) S 30685 30685 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409141165 15512600576 12633 33554432000 4194304 4196468 140721999674192 140500353144224 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30695] ppid=30685 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30695/stat : 30695 (java) S 30685 30685 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409141165 15512600576 12633 33554432000 4194304 4196468 140721999674192 140500352091632 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30696] ppid=30685 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30696/stat : 30696 (java) S 30685 30685 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409141167 15512600576 12633 33554432000 4194304 4196468 140721999674192 140500351040208 140500792883099 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30697] ppid=30685 vsize=15149024 memory=4426078206164241782 CPUtime=0.04 cores=0,2,4,6
/proc/30687/task/30697/stat : 30697 (java) S 30685 30685 18186 0 -1 1077944384 692 0 0 0 4 0 0 0 20 0 15 0 409141167 15512600576 12633 33554432000 4194304 4196468 140721999674192 140500349986800 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30698] ppid=30685 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/30687/task/30698/stat : 30698 (java) S 30685 30685 18186 0 -1 1077944384 218 0 0 0 4 0 0 0 20 0 15 0 409141167 15512600576 12633 33554432000 4194304 4196468 140721999674192 140500348934256 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30699] ppid=30685 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/30687/task/30699/stat : 30699 (java) S 30685 30685 18186 0 -1 1077944384 843 0 0 0 12 0 0 0 20 0 15 0 409141167 15512600576 12633 33554432000 4194304 4196468 140721999674192 140500347881712 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30700] ppid=30685 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30700/stat : 30700 (java) S 30685 30685 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409141167 15512600576 12633 33554432000 4194304 4196468 140721999674192 140500346829408 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30701] ppid=30685 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30701/stat : 30701 (java) S 30685 30685 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409141168 15512600576 12633 33554432000 4194304 4196468 140721999674192 140500345776944 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51720 KiB

[startup+0.707953 s]
/proc/loadavg: 7.48 7.97 7.74 8/233 30701
/proc/meminfo: memFree=19675820/32770624 swapFree=66959216/67108860
[pid=30685] ppid=30682 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30685/stat : 30685 (xcsp3-exec) S 30682 30685 18186 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409141161 115843072 362 33554432000 4194304 5098028 140720594329216 140720594327320 140207027110524 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34762752 140720594330491 140720594330733 140720594330733 140720594333642 0
/proc/30685/statm: 28282 362 304 221 0 87 0
[pid=30687] ppid=30685 vsize=15151148 memory=103544 CPUtime=1.78 cores=0,2,4,6
/proc/30687/stat : 30687 (java) S 30685 30685 18186 0 -1 1077944320 14988 0 0 0 172 6 0 0 20 0 15 0 409141162 15514775552 25886 33554432000 4194304 4196468 140721999674192 140721999656736 140500792864503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
/proc/30687/statm: 3787787 25886 3445 1 0 3748889 0
[pid=30687/tid=30688] ppid=30685 vsize=15151148 memory=33 CPUtime=0.68 cores=0,2,4,6
/proc/30687/task/30688/stat : 30688 (java) R 30685 30685 18186 0 -1 4202560 8951 0 0 0 64 4 0 0 20 0 15 0 409141162 15514775552 25886 33554432000 4194304 4196468 140721999674192 140500797092528 140500776908133 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30689] ppid=30685 vsize=15151148 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30689/stat : 30689 (java) S 30685 30685 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409141163 15514775552 25886 33554432000 4194304 4196468 140721999674192 140500384930064 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30690] ppid=30685 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30690/stat : 30690 (java) S 30685 30685 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409141163 15514775552 25886 33554432000 4194304 4196468 140721999674192 140500383877520 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30691] ppid=30685 vsize=15151148 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30691/stat : 30691 (java) S 30685 30685 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409141163 15514775552 25886 33554432000 4194304 4196468 140721999674192 140500382824976 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30692] ppid=30685 vsize=15151148 memory=38324 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30692/stat : 30692 (java) S 30685 30685 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409141163 15514775552 25886 33554432000 4194304 4196468 140721999674192 140500381772432 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30693] ppid=30685 vsize=15151148 memory=988 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30693/stat : 30693 (java) S 30685 30685 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409141164 15514775552 25886 33554432000 4194304 4196468 140721999674192 140500354198000 140500792875650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30694] ppid=30685 vsize=15151148 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30694/stat : 30694 (java) S 30685 30685 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409141165 15514775552 25886 33554432000 4194304 4196468 140721999674192 140500353144224 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30695] ppid=30685 vsize=15151148 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30695/stat : 30695 (java) S 30685 30685 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409141165 15514775552 25886 33554432000 4194304 4196468 140721999674192 140500352091632 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30696] ppid=30685 vsize=15151148 memory=580 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30696/stat : 30696 (java) S 30685 30685 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409141167 15514775552 25886 33554432000 4194304 4196468 140721999674192 140500351040208 140500792883099 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30697] ppid=30685 vsize=15151148 memory=1720 CPUtime=0.36 cores=0,2,4,6
/proc/30687/task/30697/stat : 30697 (java) R 30685 30685 18186 0 -1 4202560 1683 0 0 0 36 0 0 0 20 0 15 0 409141167 15514775552 25886 33554432000 4194304 4196468 140721999674192 140500349972768 140500772111904 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30698] ppid=30685 vsize=15151148 memory=10604 CPUtime=0.38 cores=0,2,4,6
/proc/30687/task/30698/stat : 30698 (java) R 30685 30685 18186 0 -1 4202560 1265 0 0 0 38 0 0 0 20 0 15 0 409141167 15514775552 25886 33554432000 4194304 4196468 140721999674192 140500348911616 140500773437949 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30699] ppid=30685 vsize=15151148 memory=3360 CPUtime=0.33 cores=0,2,4,6
/proc/30687/task/30699/stat : 30699 (java) R 30685 30685 18186 0 -1 4202560 1780 0 0 0 33 0 0 0 20 0 15 0 409141167 15514775552 25886 33554432000 4194304 4196468 140721999674192 140500347877568 140500771668831 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30700] ppid=30685 vsize=15151148 memory=776 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30700/stat : 30700 (java) S 30685 30685 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409141167 15514775552 25886 33554432000 4194304 4196468 140721999674192 140500346829408 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30701] ppid=30685 vsize=15151148 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30701/stat : 30701 (java) S 30685 30685 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409141168 15514775552 25886 33554432000 4194304 4196468 140721999674192 140500345776944 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 104992 KiB

[startup+1.50095 s]
/proc/loadavg: 7.48 7.97 7.74 8/233 30701
/proc/meminfo: memFree=19570820/32770624 swapFree=66959216/67108860
[pid=30685] ppid=30682 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30685/stat : 30685 (xcsp3-exec) S 30682 30685 18186 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409141161 115843072 362 33554432000 4194304 5098028 140720594329216 140720594327320 140207027110524 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34762752 140720594330491 140720594330733 140720594330733 140720594333642 0
/proc/30685/statm: 28282 362 304 221 0 87 0

################
# More data... #
################

/proc/30687/task/30701/stat : 30701 (java) S 30685 30685 18186 0 -1 1077944384 478 0 0 0 0 5 0 0 20 0 19 0 409141168 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500345776944 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30706] ppid=30685 vsize=15417404 memory=15818902244428187 CPUtime=148.58 cores=0,2,4,6
/proc/30687/task/30706/stat : 30706 (java) R 30685 30685 18186 0 -1 4202560 573 0 0 0 14858 0 0 0 20 0 19 0 409141832 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500335512264 140500416220078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30707] ppid=30685 vsize=15417404 memory=1436 CPUtime=147.96 cores=0,2,4,6
/proc/30687/task/30707/stat : 30707 (java) R 30685 30685 18186 0 -1 4202560 5197 0 0 0 14787 9 0 0 20 0 19 0 409141832 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500333411152 140500417301708 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30708] ppid=30685 vsize=15417404 memory=3620 CPUtime=148.6 cores=0,2,4,6
/proc/30687/task/30708/stat : 30708 (java) R 30685 30685 18186 0 -1 4202560 710 0 0 0 14858 2 0 0 20 0 19 0 409141832 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500336566280 140500416670745 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30709] ppid=30685 vsize=15417404 memory=1660 CPUtime=148.01 cores=0,2,4,6
/proc/30687/task/30709/stat : 30709 (java) R 30685 30685 18186 0 -1 4202560 1427 0 0 0 14800 1 0 0 20 0 19 0 409141833 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500334460816 140500416021163 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
Current children cumulated CPU time: 619.38 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1040864 KiB

[startup+156.403 s]
/proc/loadavg: 8.96 8.33 7.91 9/237 31733
/proc/meminfo: memFree=18694760/32770624 swapFree=66959216/67108860
[pid=30685] ppid=30682 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30685/stat : 30685 (xcsp3-exec) S 30682 30685 18186 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409141161 115843072 362 33554432000 4194304 5098028 140720594329216 140720594327320 140207027110524 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34762752 140720594330491 140720594330733 140720594330733 140720594333642 0
/proc/30685/statm: 28282 362 304 221 0 87 0
[pid=30687] ppid=30685 vsize=15417404 memory=1039416 CPUtime=620.95 cores=0,2,4,6
/proc/30687/stat : 30687 (java) S 30685 30685 18186 0 -1 1077944320 57481 0 0 0 62052 43 0 0 20 0 19 0 409141162 15787421696 259854 33554432000 4194304 4196468 140721999674192 140721999656736 140500792864503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
/proc/30687/statm: 3854351 259854 3540 1 0 3815453 0
[pid=30687/tid=30688] ppid=30685 vsize=15417404 memory=3208 CPUtime=1.36 cores=0,2,4,6
/proc/30687/task/30688/stat : 30688 (java) S 30685 30685 18186 0 -1 1077944384 11132 0 0 0 130 6 0 0 20 0 19 0 409141162 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500797105280 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30689] ppid=30685 vsize=15417404 memory=1448 CPUtime=0.13 cores=0,2,4,6
/proc/30687/task/30689/stat : 30689 (java) S 30685 30685 18186 0 -1 1077944384 2583 0 0 0 10 3 0 0 20 0 19 0 409141163 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500384930064 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30690] ppid=30685 vsize=15417404 memory=1067632 CPUtime=0.13 cores=0,2,4,6
/proc/30687/task/30690/stat : 30690 (java) S 30685 30685 18186 0 -1 1077944384 837 0 0 0 10 3 0 0 20 0 19 0 409141163 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500383877520 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30691] ppid=30685 vsize=15417404 memory=6791534058613427641 CPUtime=0.13 cores=0,2,4,6
/proc/30687/task/30691/stat : 30691 (java) S 30685 30685 18186 0 -1 1077944384 1448 0 0 0 10 3 0 0 20 0 19 0 409141163 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500382824976 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30692] ppid=30685 vsize=15417404 memory=500 CPUtime=0.12 cores=0,2,4,6
/proc/30687/task/30692/stat : 30692 (java) S 30685 30685 18186 0 -1 1077944384 2511 0 0 0 8 4 0 0 20 0 19 0 409141163 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500381772432 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30693] ppid=30685 vsize=15417404 memory=1556 CPUtime=0.02 cores=0,2,4,6
/proc/30687/task/30693/stat : 30693 (java) S 30685 30685 18186 0 -1 1077944384 1917 0 0 0 2 0 0 0 20 0 19 0 409141164 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500354198000 140500792875650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30694] ppid=30685 vsize=15417404 memory=928 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30694/stat : 30694 (java) S 30685 30685 18186 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 409141165 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500353144288 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30695] ppid=30685 vsize=15417404 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30695/stat : 30695 (java) S 30685 30685 18186 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 19 0 409141165 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500352091648 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30696] ppid=30685 vsize=15417404 memory=824 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30696/stat : 30696 (java) S 30685 30685 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409141167 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500351040208 140500792883099 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30697] ppid=30685 vsize=15417404 memory=1448 CPUtime=2.43 cores=0,2,4,6
/proc/30687/task/30697/stat : 30697 (java) S 30685 30685 18186 0 -1 1077944384 9619 0 0 0 242 1 0 0 20 0 19 0 409141167 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500349986800 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30698] ppid=30685 vsize=15417404 memory=1039416 CPUtime=2.54 cores=0,2,4,6
/proc/30687/task/30698/stat : 30698 (java) S 30685 30685 18186 0 -1 1077944384 9991 0 0 0 253 1 0 0 20 0 19 0 409141167 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500348934256 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30699] ppid=30685 vsize=15417404 memory=1216 CPUtime=0.81 cores=0,2,4,6
/proc/30687/task/30699/stat : 30699 (java) S 30685 30685 18186 0 -1 1077944384 5817 0 0 0 79 2 0 0 20 0 19 0 409141167 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500347881712 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30700] ppid=30685 vsize=15417404 memory=984 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30700/stat : 30700 (java) S 30685 30685 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409141167 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500346829408 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30701] ppid=30685 vsize=15417404 memory=14004 CPUtime=0.05 cores=0,2,4,6
/proc/30687/task/30701/stat : 30701 (java) S 30685 30685 18186 0 -1 1077944384 478 0 0 0 0 5 0 0 20 0 19 0 409141168 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500345776944 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30706] ppid=30685 vsize=15417404 memory=20500 CPUtime=148.98 cores=0,2,4,6
/proc/30687/task/30706/stat : 30706 (java) R 30685 30685 18186 0 -1 4202560 574 0 0 0 14898 0 0 0 20 0 19 0 409141832 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500335512264 140500416219901 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30707] ppid=30685 vsize=15417404 memory=14048 CPUtime=148.35 cores=0,2,4,6
/proc/30687/task/30707/stat : 30707 (java) R 30685 30685 18186 0 -1 4202560 5205 0 0 0 14826 9 0 0 20 0 19 0 409141832 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500333411152 140500416978147 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30708] ppid=30685 vsize=15417404 memory=6791534058613427641 CPUtime=148.99 cores=0,2,4,6
/proc/30687/task/30708/stat : 30708 (java) R 30685 30685 18186 0 -1 4202560 710 0 0 0 14897 2 0 0 20 0 19 0 409141832 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500336566280 140500416219837 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30709] ppid=30685 vsize=15417404 memory=1556 CPUtime=148.4 cores=0,2,4,6
/proc/30687/task/30709/stat : 30709 (java) R 30685 30685 18186 0 -1 4202560 1428 0 0 0 14839 1 0 0 20 0 19 0 409141833 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500334460816 140500417248444 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
Current children cumulated CPU time: 620.95 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1040864 KiB

[startup+156.801 s]
/proc/loadavg: 8.96 8.33 7.91 9/237 31733
/proc/meminfo: memFree=18694760/32770624 swapFree=66959216/67108860
[pid=30685] ppid=30682 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30685/stat : 30685 (xcsp3-exec) S 30682 30685 18186 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409141161 115843072 362 33554432000 4194304 5098028 140720594329216 140720594327320 140207027110524 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34762752 140720594330491 140720594330733 140720594330733 140720594333642 0
/proc/30685/statm: 28282 362 304 221 0 87 0
[pid=30687] ppid=30685 vsize=15417404 memory=1039416 CPUtime=622.54 cores=0,2,4,6
/proc/30687/stat : 30687 (java) S 30685 30685 18186 0 -1 1077944320 57489 0 0 0 62211 43 0 0 20 0 19 0 409141162 15787421696 259854 33554432000 4194304 4196468 140721999674192 140721999656736 140500792864503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
/proc/30687/statm: 3854351 259854 3540 1 0 3815453 0
[pid=30687/tid=30688] ppid=30685 vsize=15417404 memory=1039416 CPUtime=1.36 cores=0,2,4,6
/proc/30687/task/30688/stat : 30688 (java) S 30685 30685 18186 0 -1 1077944384 11132 0 0 0 130 6 0 0 20 0 19 0 409141162 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500797105280 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30689] ppid=30685 vsize=15417404 memory=1448 CPUtime=0.13 cores=0,2,4,6
/proc/30687/task/30689/stat : 30689 (java) S 30685 30685 18186 0 -1 1077944384 2583 0 0 0 10 3 0 0 20 0 19 0 409141163 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500384930064 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30690] ppid=30685 vsize=15417404 memory=1067632 CPUtime=0.13 cores=0,2,4,6
/proc/30687/task/30690/stat : 30690 (java) S 30685 30685 18186 0 -1 1077944384 837 0 0 0 10 3 0 0 20 0 19 0 409141163 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500383877520 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30691] ppid=30685 vsize=15417404 memory=3620 CPUtime=0.13 cores=0,2,4,6
/proc/30687/task/30691/stat : 30691 (java) S 30685 30685 18186 0 -1 1077944384 1448 0 0 0 10 3 0 0 20 0 19 0 409141163 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500382824976 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30692] ppid=30685 vsize=15417404 memory=6791534058613427641 CPUtime=0.12 cores=0,2,4,6
/proc/30687/task/30692/stat : 30692 (java) S 30685 30685 18186 0 -1 1077944384 2511 0 0 0 8 4 0 0 20 0 19 0 409141163 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500381772432 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30693] ppid=30685 vsize=15417404 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/30687/task/30693/stat : 30693 (java) S 30685 30685 18186 0 -1 1077944384 1917 0 0 0 2 0 0 0 20 0 19 0 409141164 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500354198000 140500792875650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30694] ppid=30685 vsize=15417404 memory=1094824 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30694/stat : 30694 (java) S 30685 30685 18186 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 409141165 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500353144288 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30695] ppid=30685 vsize=15417404 memory=5964 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30695/stat : 30695 (java) S 30685 30685 18186 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 19 0 409141165 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500352091648 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30696] ppid=30685 vsize=15417404 memory=280402040653632 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30696/stat : 30696 (java) S 30685 30685 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409141167 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500351040208 140500792883099 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30697] ppid=30685 vsize=15417404 memory=133973317519850 CPUtime=2.43 cores=0,2,4,6
/proc/30687/task/30697/stat : 30697 (java) S 30685 30685 18186 0 -1 1077944384 9619 0 0 0 242 1 0 0 20 0 19 0 409141167 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500349986800 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30698] ppid=30685 vsize=15417404 memory=133973317519850 CPUtime=2.54 cores=0,2,4,6
/proc/30687/task/30698/stat : 30698 (java) S 30685 30685 18186 0 -1 1077944384 9991 0 0 0 253 1 0 0 20 0 19 0 409141167 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500348934256 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30699] ppid=30685 vsize=15417404 memory=133973317519594 CPUtime=0.81 cores=0,2,4,6
/proc/30687/task/30699/stat : 30699 (java) S 30685 30685 18186 0 -1 1077944384 5817 0 0 0 79 2 0 0 20 0 19 0 409141167 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500347881712 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30700] ppid=30685 vsize=15417404 memory=164 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30700/stat : 30700 (java) S 30685 30685 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409141167 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500346829408 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30701] ppid=30685 vsize=15417404 memory=4947159701191437187 CPUtime=0.05 cores=0,2,4,6
/proc/30687/task/30701/stat : 30701 (java) S 30685 30685 18186 0 -1 1077944384 478 0 0 0 0 5 0 0 20 0 19 0 409141168 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500345776944 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30706] ppid=30685 vsize=15417404 memory=4424269221959540885 CPUtime=149.37 cores=0,2,4,6
/proc/30687/task/30706/stat : 30706 (java) R 30685 30685 18186 0 -1 4202560 576 0 0 0 14937 0 0 0 20 0 19 0 409141832 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500335512264 140500416670821 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30707] ppid=30685 vsize=15417404 memory=6944656592455097440 CPUtime=148.75 cores=0,2,4,6
/proc/30687/task/30707/stat : 30707 (java) R 30685 30685 18186 0 -1 4202560 5210 0 0 0 14866 9 0 0 20 0 19 0 409141832 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500333411152 140500418033183 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30708] ppid=30685 vsize=15417404 memory=6791534058613427641 CPUtime=149.39 cores=0,2,4,6
/proc/30687/task/30708/stat : 30708 (java) R 30685 30685 18186 0 -1 4202560 711 0 0 0 14937 2 0 0 20 0 19 0 409141832 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500336566280 140500416219837 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30709] ppid=30685 vsize=15417404 memory=1039416 CPUtime=148.8 cores=0,2,4,6
/proc/30687/task/30709/stat : 30709 (java) R 30685 30685 18186 0 -1 4202560 1428 0 0 0 14879 1 0 0 20 0 19 0 409141833 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500334460816 140500416670826 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
Current children cumulated CPU time: 622.54 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1040864 KiB

[startup+156.901 s]
/proc/loadavg: 8.96 8.33 7.91 9/237 31733
/proc/meminfo: memFree=18694760/32770624 swapFree=66959216/67108860
[pid=30685] ppid=30682 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30685/stat : 30685 (xcsp3-exec) S 30682 30685 18186 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 409141161 115843072 362 33554432000 4194304 5098028 140720594329216 140720594327320 140207027110524 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34762752 140720594330491 140720594330733 140720594330733 140720594333642 0
/proc/30685/statm: 28282 362 304 221 0 87 0
[pid=30687] ppid=30685 vsize=15417404 memory=1039416 CPUtime=622.94 cores=0,2,4,6
/proc/30687/stat : 30687 (java) S 30685 30685 18186 0 -1 1077944320 57491 0 0 0 62251 43 0 0 20 0 19 0 409141162 15787421696 259854 33554432000 4194304 4196468 140721999674192 140721999656736 140500792864503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
/proc/30687/statm: 3854351 259854 3540 1 0 3815453 0
[pid=30687/tid=30688] ppid=30685 vsize=15417404 memory=1039416 CPUtime=1.36 cores=0,2,4,6
/proc/30687/task/30688/stat : 30688 (java) S 30685 30685 18186 0 -1 1077944384 11132 0 0 0 130 6 0 0 20 0 19 0 409141162 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500797105280 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30689] ppid=30685 vsize=15417404 memory=1448 CPUtime=0.13 cores=0,2,4,6
/proc/30687/task/30689/stat : 30689 (java) S 30685 30685 18186 0 -1 1077944384 2583 0 0 0 10 3 0 0 20 0 19 0 409141163 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500384930064 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30690] ppid=30685 vsize=15417404 memory=1039416 CPUtime=0.13 cores=0,2,4,6
/proc/30687/task/30690/stat : 30690 (java) S 30685 30685 18186 0 -1 1077944384 837 0 0 0 10 3 0 0 20 0 19 0 409141163 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500383877520 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30691] ppid=30685 vsize=15417404 memory=1039416 CPUtime=0.13 cores=0,2,4,6
/proc/30687/task/30691/stat : 30691 (java) S 30685 30685 18186 0 -1 1077944384 1448 0 0 0 10 3 0 0 20 0 19 0 409141163 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500382824976 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30692] ppid=30685 vsize=15417404 memory=1448 CPUtime=0.12 cores=0,2,4,6
/proc/30687/task/30692/stat : 30692 (java) S 30685 30685 18186 0 -1 1077944384 2511 0 0 0 8 4 0 0 20 0 19 0 409141163 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500381772432 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30693] ppid=30685 vsize=15417404 memory=1039416 CPUtime=0.02 cores=0,2,4,6
/proc/30687/task/30693/stat : 30693 (java) S 30685 30685 18186 0 -1 1077944384 1917 0 0 0 2 0 0 0 20 0 19 0 409141164 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500354198000 140500792875650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30694] ppid=30685 vsize=15417404 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30694/stat : 30694 (java) S 30685 30685 18186 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 409141165 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500353144288 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30695] ppid=30685 vsize=15417404 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30695/stat : 30695 (java) S 30685 30685 18186 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 19 0 409141165 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500352091648 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30696] ppid=30685 vsize=15417404 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30696/stat : 30696 (java) S 30685 30685 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409141167 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500351040208 140500792883099 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30697] ppid=30685 vsize=15417404 memory=2372 CPUtime=2.43 cores=0,2,4,6
/proc/30687/task/30697/stat : 30697 (java) S 30685 30685 18186 0 -1 1077944384 9619 0 0 0 242 1 0 0 20 0 19 0 409141167 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500349986800 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30698] ppid=30685 vsize=15417404 memory=1067632 CPUtime=2.54 cores=0,2,4,6
/proc/30687/task/30698/stat : 30698 (java) S 30685 30685 18186 0 -1 1077944384 9991 0 0 0 253 1 0 0 20 0 19 0 409141167 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500348934256 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30699] ppid=30685 vsize=15417404 memory=56 CPUtime=0.81 cores=0,2,4,6
/proc/30687/task/30699/stat : 30699 (java) S 30685 30685 18186 0 -1 1077944384 5817 0 0 0 79 2 0 0 20 0 19 0 409141167 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500347881712 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30700] ppid=30685 vsize=15417404 memory=1039416 CPUtime=0 cores=0,2,4,6
/proc/30687/task/30700/stat : 30700 (java) S 30685 30685 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409141167 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500346829408 140500792874709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30701] ppid=30685 vsize=15417404 memory=1448 CPUtime=0.05 cores=0,2,4,6
/proc/30687/task/30701/stat : 30701 (java) S 30685 30685 18186 0 -1 1077944384 478 0 0 0 0 5 0 0 20 0 19 0 409141168 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500345776944 140500792875650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 29 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30706] ppid=30685 vsize=15417404 memory=1448 CPUtime=149.47 cores=0,2,4,6
/proc/30687/task/30706/stat : 30706 (java) R 30685 30685 18186 0 -1 4202560 576 0 0 0 14947 0 0 0 20 0 19 0 409141832 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500335512264 140500415909376 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30707] ppid=30685 vsize=15417404 memory=1448 CPUtime=148.85 cores=0,2,4,6
/proc/30687/task/30707/stat : 30707 (java) R 30685 30685 18186 0 -1 4202560 5212 0 0 0 14876 9 0 0 20 0 19 0 409141832 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500333411152 140500416671637 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30708] ppid=30685 vsize=15417404 memory=1448 CPUtime=149.48 cores=0,2,4,6
/proc/30687/task/30708/stat : 30708 (java) R 30685 30685 18186 0 -1 4202560 711 0 0 0 14946 2 0 0 20 0 19 0 409141832 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500336566280 140500416219911 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
[pid=30687/tid=30709] ppid=30685 vsize=15417404 memory=1039416 CPUtime=148.9 cores=0,2,4,6
/proc/30687/task/30709/stat : 30709 (java) R 30685 30685 18186 0 -1 4202560 1428 0 0 0 14889 1 0 0 20 0 19 0 409141833 15787421696 259854 33554432000 4194304 4196468 140721999674192 140500334460816 140500416977993 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33624064 140721999680495 140721999680666 140721999680666 140721999683535 0
Current children cumulated CPU time: 622.94 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1040864 KiB

Child status: 0
Real time (s): 156.934
CPU time (s): 623.045
CPU user time (s): 622.602
CPU system time (s): 0.442983
CPU usage (%): 397.01
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 1123408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 622.602
system time used= 0.442983
maximum resident set size= 1140916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58987
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6192
involuntary context switches= 10234


# summary of solver processes directly reported to runsolver:
#   pid: 30685
#   total CPU time (s): 623.045
#   total CPU user time (s): 622.602
#   total CPU system time (s): 0.442983

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.03262 second user time and 1.79511 second system time

The end