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 (8181 MiB free)
memory of node 1: 16384 MiB (8008 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403385-1568993652/watcher-4403385-1568993652 -o /tmp/evaluation-result-4403385-1568993652/solver-4403385-1568993652 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568988175-11773 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 922757639 HOME/instance-4403385-1568993652.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=20527, runsolver pid=20524
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 8.35 7.95 7.88 8/235 20543
/proc/meminfo: memFree=16562100/32770624 swapFree=66974564/67108860
[pid=20527] ppid=20524 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20527/stat : 20527 (xcsp3-exec) S 20524 20527 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475631965 115843072 362 33554432000 4194304 5098028 140720525169568 140720525167672 140313871041148 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33538048 140720525177723 140720525177965 140720525177965 140720525180874 0
/proc/20527/statm: 28282 362 304 221 0 87 0
[pid=20529] ppid=20527 vsize=15144776 memory=28948 CPUtime=0.13 cores=0,2,4,6
/proc/20529/stat : 20529 (java) S 20527 20527 11742 0 -1 1077944320 5729 0 0 0 12 1 0 0 20 0 15 0 475631965 15508250624 7237 33554432000 4194304 4196468 140726618788656 140726618771200 140070664335095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
/proc/20529/statm: 3786194 7237 3121 1 0 3748377 0
[pid=20529/tid=20530] ppid=20527 vsize=15144776 memory=8324486588775410251 CPUtime=0.09 cores=0,2,4,6
/proc/20529/task/20530/stat : 20530 (java) R 20527 20527 11742 0 -1 4202560 3625 0 0 0 8 1 0 0 20 0 15 0 475631965 15508250624 7303 33554432000 4194304 4196468 140726618788656 140070668566416 140070650051552 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20531] ppid=20527 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20531/stat : 20531 (java) S 20527 20527 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475631966 15508250624 7303 33554432000 4194304 4196468 140726618788656 140070629616656 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20532] ppid=20527 vsize=15144776 memory=139807069423232 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20532/stat : 20532 (java) S 20527 20527 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475631966 15508250624 7303 33554432000 4194304 4196468 140726618788656 140070255176848 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20533] ppid=20527 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20533/stat : 20533 (java) S 20527 20527 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475631966 15508250624 7303 33554432000 4194304 4196468 140726618788656 140070254123792 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20534] ppid=20527 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20534/stat : 20534 (java) S 20527 20527 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475631966 15508250624 7303 33554432000 4194304 4196468 140726618788656 140070253071248 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20535] ppid=20527 vsize=15144776 memory=139807069423232 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20535/stat : 20535 (java) S 20527 20527 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475631967 15508250624 7303 33554432000 4194304 4196468 140726618788656 140069739739376 140070664346242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20536] ppid=20527 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20536/stat : 20536 (java) S 20527 20527 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475631968 15508250624 7303 33554432000 4194304 4196468 140726618788656 140069738685600 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20537] ppid=20527 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20537/stat : 20537 (java) S 20527 20527 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475631968 15508250624 7303 33554432000 4194304 4196468 140726618788656 140069737632496 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20538] ppid=20527 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20538/stat : 20538 (java) S 20527 20527 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475631970 15508250624 7303 33554432000 4194304 4196468 140726618788656 140069736581072 140070664353691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20539] ppid=20527 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20539/stat : 20539 (java) R 20527 20527 11742 0 -1 4202560 340 0 0 0 0 0 0 0 20 0 15 0 475631970 15508250624 7303 33554432000 4194304 4196468 140726618788656 140069735529200 140070642167952 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20540] ppid=20527 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20540/stat : 20540 (java) R 20527 20527 11742 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475631970 15508250624 7303 33554432000 4194304 4196468 140726618788656 140069734476656 140070664346242 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20541] ppid=20527 vsize=15144776 memory=139807069423232 CPUtime=0.02 cores=0,2,4,6
/proc/20529/task/20541/stat : 20541 (java) R 20527 20527 11742 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 15 0 475631970 15508250624 7303 33554432000 4194304 4196468 140726618788656 140069733423600 140070648415582 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20542] ppid=20527 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20542/stat : 20542 (java) S 20527 20527 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475631971 15508250624 7303 33554432000 4194304 4196468 140726618788656 140069732371296 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20543] ppid=20527 vsize=15144776 memory=139807069423232 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20543/stat : 20543 (java) S 20527 20527 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475631971 15508250624 7303 33554432000 4194304 4196468 140726618788656 140069731318320 140070664346242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30396 KiB
[startup+0.210801 s]*
/proc/loadavg: 8.35 7.95 7.88 8/235 20543
/proc/meminfo: memFree=16549132/32770624 swapFree=66974564/67108860
[pid=20527] ppid=20524 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20527/stat : 20527 (xcsp3-exec) S 20524 20527 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475631965 115843072 362 33554432000 4194304 5098028 140720525169568 140720525167672 140313871041148 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33538048 140720525177723 140720525177965 140720525177965 140720525180874 0
/proc/20527/statm: 28282 362 304 221 0 87 0
[pid=20529] ppid=20527 vsize=15144776 memory=41376 CPUtime=0.34 cores=0,2,4,6
/proc/20529/stat : 20529 (java) S 20527 20527 11742 0 -1 1077944320 9537 0 0 0 31 3 0 0 20 0 15 0 475631965 15508250624 10344 33554432000 4194304 4196468 140726618788656 140726618771200 140070664335095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
/proc/20529/statm: 3786194 10344 3309 1 0 3748377 0
[pid=20529/tid=20530] ppid=20527 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/20529/task/20530/stat : 20530 (java) R 20527 20527 11742 0 -1 4202560 6657 0 0 0 18 2 0 0 20 0 15 0 475631965 15508250624 10344 33554432000 4194304 4196468 140726618788656 140070668567824 140070664347030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20531] ppid=20527 vsize=15144776 memory=9034 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20531/stat : 20531 (java) S 20527 20527 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475631966 15508250624 10344 33554432000 4194304 4196468 140726618788656 140070629616656 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20532] ppid=20527 vsize=15144776 memory=288370183221134976 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20532/stat : 20532 (java) S 20527 20527 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475631966 15508250624 10344 33554432000 4194304 4196468 140726618788656 140070255176848 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20533] ppid=20527 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20533/stat : 20533 (java) S 20527 20527 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475631966 15508250624 10344 33554432000 4194304 4196468 140726618788656 140070254123792 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20534] ppid=20527 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20534/stat : 20534 (java) S 20527 20527 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475631966 15508250624 10344 33554432000 4194304 4196468 140726618788656 140070253071248 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20535] ppid=20527 vsize=15144776 memory=139807069423232 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20535/stat : 20535 (java) S 20527 20527 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475631967 15508250624 10344 33554432000 4194304 4196468 140726618788656 140069739739376 140070664346242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20536] ppid=20527 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20536/stat : 20536 (java) S 20527 20527 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475631968 15508250624 10344 33554432000 4194304 4196468 140726618788656 140069738685600 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20537] ppid=20527 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20537/stat : 20537 (java) S 20527 20527 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475631968 15508250624 10344 33554432000 4194304 4196468 140726618788656 140069737632496 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20538] ppid=20527 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20538/stat : 20538 (java) S 20527 20527 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475631970 15508250624 10344 33554432000 4194304 4196468 140726618788656 140069736581072 140070664353691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20539] ppid=20527 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20529/task/20539/stat : 20539 (java) S 20527 20527 11742 0 -1 1077944384 658 0 0 0 2 0 0 0 20 0 15 0 475631970 15508250624 10344 33554432000 4194304 4196468 140726618788656 140069735529200 140070664346242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20540] ppid=20527 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/20529/task/20540/stat : 20540 (java) S 20527 20527 11742 0 -1 1077944384 182 0 0 0 2 0 0 0 20 0 15 0 475631970 15508250624 10344 33554432000 4194304 4196468 140726618788656 140069734476656 140070664346242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20541] ppid=20527 vsize=15144776 memory=139807069423232 CPUtime=0.08 cores=0,2,4,6
/proc/20529/task/20541/stat : 20541 (java) R 20527 20527 11742 0 -1 4202560 734 0 0 0 8 0 0 0 20 0 15 0 475631970 15508250624 10344 33554432000 4194304 4196468 140726618788656 140069733423600 140070649467969 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20542] ppid=20527 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20542/stat : 20542 (java) S 20527 20527 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475631971 15508250624 10344 33554432000 4194304 4196468 140726618788656 140069732371296 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20543] ppid=20527 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20543/stat : 20543 (java) S 20527 20527 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475631971 15508250624 10344 33554432000 4194304 4196468 140726618788656 140069731318320 140070664346242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42824 KiB
[startup+0.312459 s]*
/proc/loadavg: 8.35 7.95 7.88 9/235 20543
/proc/meminfo: memFree=16541612/32770624 swapFree=66974564/67108860
[pid=20527] ppid=20524 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20527/stat : 20527 (xcsp3-exec) S 20524 20527 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475631965 115843072 362 33554432000 4194304 5098028 140720525169568 140720525167672 140313871041148 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33538048 140720525177723 140720525177965 140720525177965 140720525180874 0
/proc/20527/statm: 28282 362 304 221 0 87 0
[pid=20529] ppid=20527 vsize=15149032 memory=50384 CPUtime=0.53 cores=0,2,4,6
/proc/20529/stat : 20529 (java) S 20527 20527 11742 0 -1 1077944320 10924 0 0 0 49 4 0 0 20 0 15 0 475631965 15512608768 12596 33554432000 4194304 4196468 140726618788656 140726618771200 140070664335095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
/proc/20529/statm: 3787258 12596 3362 1 0 3748377 0
[pid=20529/tid=20530] ppid=20527 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/20529/task/20530/stat : 20530 (java) R 20527 20527 11742 0 -1 4202560 7848 0 0 0 27 3 0 0 20 0 15 0 475631965 15512608768 12665 33554432000 4194304 4196468 140726618788656 140070668568400 140070664357021 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20531] ppid=20527 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20531/stat : 20531 (java) S 20527 20527 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475631966 15512608768 12665 33554432000 4194304 4196468 140726618788656 140070629616656 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20532] ppid=20527 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20532/stat : 20532 (java) S 20527 20527 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475631966 15512608768 12665 33554432000 4194304 4196468 140726618788656 140070255176848 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20533] ppid=20527 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20533/stat : 20533 (java) S 20527 20527 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475631966 15512608768 12665 33554432000 4194304 4196468 140726618788656 140070254123792 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20534] ppid=20527 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20534/stat : 20534 (java) S 20527 20527 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475631966 15512608768 12665 33554432000 4194304 4196468 140726618788656 140070253071248 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20535] ppid=20527 vsize=15149032 memory=-7305852742256935071 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20535/stat : 20535 (java) S 20527 20527 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475631967 15512608768 12665 33554432000 4194304 4196468 140726618788656 140069739739376 140070664346242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20536] ppid=20527 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20536/stat : 20536 (java) S 20527 20527 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475631968 15512608768 12665 33554432000 4194304 4196468 140726618788656 140069738685600 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20537] ppid=20527 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20537/stat : 20537 (java) S 20527 20527 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475631968 15512608768 12665 33554432000 4194304 4196468 140726618788656 140069737632496 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20538] ppid=20527 vsize=15149032 memory=8514701219781834910 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20538/stat : 20538 (java) S 20527 20527 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475631970 15512608768 12665 33554432000 4194304 4196468 140726618788656 140069736581072 140070664353691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20539] ppid=20527 vsize=15149032 memory=6576575808607332006 CPUtime=0.04 cores=0,2,4,6
/proc/20529/task/20539/stat : 20539 (java) S 20527 20527 11742 0 -1 1077944384 672 0 0 0 4 0 0 0 20 0 15 0 475631970 15512608768 12665 33554432000 4194304 4196468 140726618788656 140069735529200 140070664346242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20540] ppid=20527 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/20529/task/20540/stat : 20540 (java) R 20527 20527 11742 0 -1 4202560 288 0 0 0 4 0 0 0 20 0 15 0 475631970 15512608768 12665 33554432000 4194304 4196468 140726618788656 140069734457672 140070645855108 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20541] ppid=20527 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/20529/task/20541/stat : 20541 (java) S 20527 20527 11742 0 -1 1077944384 818 0 0 0 12 0 0 0 20 0 15 0 475631970 15512608768 12665 33554432000 4194304 4196468 140726618788656 140069733423600 140070664346242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20542] ppid=20527 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20542/stat : 20542 (java) S 20527 20527 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475631971 15512608768 12665 33554432000 4194304 4196468 140726618788656 140069732371296 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20543] ppid=20527 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20543/stat : 20543 (java) S 20527 20527 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475631971 15512608768 12665 33554432000 4194304 4196468 140726618788656 140069731318320 140070664346242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51832 KiB
[startup+0.707017 s]
/proc/loadavg: 8.35 7.95 7.88 8/235 20543
/proc/meminfo: memFree=16525628/32770624 swapFree=66974564/67108860
[pid=20527] ppid=20524 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20527/stat : 20527 (xcsp3-exec) S 20524 20527 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475631965 115843072 362 33554432000 4194304 5098028 140720525169568 140720525167672 140313871041148 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33538048 140720525177723 140720525177965 140720525177965 140720525180874 0
/proc/20527/statm: 28282 362 304 221 0 87 0
[pid=20529] ppid=20527 vsize=15417412 memory=85160 CPUtime=1.63 cores=0,2,4,6
/proc/20529/stat : 20529 (java) S 20527 20527 11742 0 -1 1077944320 15083 0 0 0 157 6 0 0 20 0 19 0 475631965 15787429888 21290 33554432000 4194304 4196468 140726618788656 140726618771200 140070664335095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
/proc/20529/statm: 3854353 21290 3455 1 0 3815453 0
[pid=20529/tid=20530] ppid=20527 vsize=15417412 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/20529/task/20530/stat : 20530 (java) S 20527 20527 11742 0 -1 1077944384 9268 0 0 0 53 4 0 0 20 0 19 0 475631965 15787429888 21290 33554432000 4194304 4196468 140726618788656 140070668575872 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20531] ppid=20527 vsize=15417412 memory=54452 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20531/stat : 20531 (java) S 20527 20527 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475631966 15787429888 21290 33554432000 4194304 4196468 140726618788656 140070629616656 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20532] ppid=20527 vsize=15417412 memory=984 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20532/stat : 20532 (java) S 20527 20527 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475631966 15787429888 21290 33554432000 4194304 4196468 140726618788656 140070255176848 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20533] ppid=20527 vsize=15417412 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20533/stat : 20533 (java) S 20527 20527 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475631966 15787429888 21290 33554432000 4194304 4196468 140726618788656 140070254123792 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20534] ppid=20527 vsize=15417412 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20534/stat : 20534 (java) S 20527 20527 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475631966 15787429888 21290 33554432000 4194304 4196468 140726618788656 140070253071248 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20535] ppid=20527 vsize=15417412 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20535/stat : 20535 (java) S 20527 20527 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475631967 15787429888 21290 33554432000 4194304 4196468 140726618788656 140069739739376 140070664346242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20536] ppid=20527 vsize=15417412 memory=3636 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20536/stat : 20536 (java) S 20527 20527 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475631968 15787429888 21290 33554432000 4194304 4196468 140726618788656 140069738685600 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20537] ppid=20527 vsize=15417412 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20537/stat : 20537 (java) S 20527 20527 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475631968 15787429888 21290 33554432000 4194304 4196468 140726618788656 140069737632496 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20538] ppid=20527 vsize=15417412 memory=6088 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20538/stat : 20538 (java) S 20527 20527 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475631970 15787429888 21290 33554432000 4194304 4196468 140726618788656 140069736581072 140070664353691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20539] ppid=20527 vsize=15417412 memory=10564 CPUtime=0.2 cores=0,2,4,6
/proc/20529/task/20539/stat : 20539 (java) R 20527 20527 11742 0 -1 1077944384 1312 0 0 0 20 0 0 0 20 0 19 0 475631970 15787429888 21290 33554432000 4194304 4196468 140726618788656 140069735516880 140070664345301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20540] ppid=20527 vsize=15417412 memory=716 CPUtime=0.21 cores=0,2,4,6
/proc/20529/task/20540/stat : 20540 (java) R 20527 20527 11742 0 -1 4202560 1143 0 0 0 21 0 0 0 20 0 19 0 475631970 15787429888 21290 33554432000 4194304 4196468 140726618788656 140069734457672 140070641929841 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20541] ppid=20527 vsize=15417412 memory=780 CPUtime=0.35 cores=0,2,4,6
/proc/20529/task/20541/stat : 20541 (java) R 20527 20527 11742 0 -1 4202560 1846 0 0 0 35 0 0 0 20 0 19 0 475631970 15787429888 21290 33554432000 4194304 4196468 140726618788656 140069733420536 140070643768187 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20542] ppid=20527 vsize=15417412 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20542/stat : 20542 (java) S 20527 20527 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475631971 15787429888 21290 33554432000 4194304 4196468 140726618788656 140069732371296 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20543] ppid=20527 vsize=15417412 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20543/stat : 20543 (java) S 20527 20527 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475631971 15787429888 21290 33554432000 4194304 4196468 140726618788656 140069731318320 140070664346242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 86608 KiB
[startup+1.50502 s]
/proc/loadavg: 8.35 7.95 7.88 10/239 20547
/proc/meminfo: memFree=16504036/32770624 swapFree=66974564/67108860
[pid=20527] ppid=20524 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20527/stat : 20527 (xcsp3-exec) S 20524 20527 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475631965 115843072 362 33554432000 4194304 5098028 140720525169568 140720525167672 140313871041148 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33538048 140720525177723 140720525177965 140720525177965 140720525180874 0
/proc/20527/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/20529/task/20543/stat : 20543 (java) S 20527 20527 11742 0 -1 1077944384 506 0 0 0 0 0 0 0 20 0 19 0 475631971 15787429888 52323 33554432000 4194304 4196468 140726618788656 140069731318320 140070664346242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20544] ppid=20527 vsize=15417412 memory=2572 CPUtime=13.43 cores=0,2,4,6
/proc/20529/task/20544/stat : 20544 (java) R 20527 20527 11742 0 -1 4202560 286 0 0 0 1343 0 0 0 20 0 19 0 475632024 15787429888 52323 33554432000 4194304 4196468 140726618788656 140069722098840 140070305138448 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20545] ppid=20527 vsize=15417412 memory=56 CPUtime=13.37 cores=0,2,4,6
/proc/20529/task/20545/stat : 20545 (java) R 20527 20527 11742 0 -1 4202560 799 0 0 0 1336 1 0 0 20 0 19 0 475632024 15787429888 52323 33554432000 4194304 4196468 140726618788656 140069721046768 140070305205684 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20546] ppid=20527 vsize=15417412 memory=4137287014106042739 CPUtime=13.69 cores=0,2,4,6
/proc/20529/task/20546/stat : 20546 (java) R 20527 20527 11742 0 -1 4202560 368 0 0 0 1369 0 0 0 20 0 19 0 475632024 15787429888 52323 33554432000 4194304 4196468 140726618788656 140069719994272 140070305281548 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20547] ppid=20527 vsize=15417412 memory=0 CPUtime=13.37 cores=0,2,4,6
/proc/20529/task/20547/stat : 20547 (java) R 20527 20527 11742 0 -1 4202560 763 0 0 0 1337 0 0 0 20 0 19 0 475632024 15787429888 52323 33554432000 4194304 4196468 140726618788656 140069718945008 140070305686179 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
Current children cumulated CPU time: 59.26 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 210740 KiB
[startup+16.001 s]*
/proc/loadavg: 8.71 8.05 7.91 9/239 20547
/proc/meminfo: memFree=16370020/32770624 swapFree=66974564/67108860
[pid=20527] ppid=20524 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20527/stat : 20527 (xcsp3-exec) S 20524 20527 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475631965 115843072 362 33554432000 4194304 5098028 140720525169568 140720525167672 140313871041148 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33538048 140720525177723 140720525177965 140720525177965 140720525180874 0
/proc/20527/statm: 28282 362 304 221 0 87 0
[pid=20529] ppid=20527 vsize=15417412 memory=213896 CPUtime=62.46 cores=0,2,4,6
/proc/20529/stat : 20529 (java) S 20527 20527 11742 0 -1 1077944320 40324 0 0 0 6234 12 0 0 20 0 19 0 475631965 15787429888 53474 33554432000 4194304 4196468 140726618788656 140726618771200 140070664335095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
/proc/20529/statm: 3854353 53474 3509 1 0 3815453 0
[pid=20529/tid=20530] ppid=20527 vsize=15417412 memory=1398722017469774279 CPUtime=0.57 cores=0,2,4,6
/proc/20529/task/20530/stat : 20530 (java) S 20527 20527 11742 0 -1 1077944384 9268 0 0 0 53 4 0 0 20 0 19 0 475631965 15787429888 53474 33554432000 4194304 4196468 140726618788656 140070668575872 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20531] ppid=20527 vsize=15417412 memory=4872558044660077418 CPUtime=0.01 cores=0,2,4,6
/proc/20529/task/20531/stat : 20531 (java) S 20527 20527 11742 0 -1 1077944384 1157 0 0 0 1 0 0 0 20 0 19 0 475631966 15787429888 53474 33554432000 4194304 4196468 140726618788656 140070629616656 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20532] ppid=20527 vsize=15417412 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20529/task/20532/stat : 20532 (java) S 20527 20527 11742 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 19 0 475631966 15787429888 53474 33554432000 4194304 4196468 140726618788656 140070255176848 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20533] ppid=20527 vsize=15417412 memory=204 CPUtime=0.01 cores=0,2,4,6
/proc/20529/task/20533/stat : 20533 (java) S 20527 20527 11742 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 19 0 475631966 15787429888 53474 33554432000 4194304 4196468 140726618788656 140070254123792 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20534] ppid=20527 vsize=15417412 memory=202 CPUtime=0.01 cores=0,2,4,6
/proc/20529/task/20534/stat : 20534 (java) S 20527 20527 11742 0 -1 1077944384 588 0 0 0 1 0 0 0 20 0 19 0 475631966 15787429888 53474 33554432000 4194304 4196468 140726618788656 140070253071248 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20535] ppid=20527 vsize=15417412 memory=57 CPUtime=0.01 cores=0,2,4,6
/proc/20529/task/20535/stat : 20535 (java) S 20527 20527 11742 0 -1 1077944384 579 0 0 0 1 0 0 0 20 0 19 0 475631967 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069739739376 140070664346242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20536] ppid=20527 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20536/stat : 20536 (java) S 20527 20527 11742 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475631968 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069738685664 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20537] ppid=20527 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20537/stat : 20537 (java) S 20527 20527 11742 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 475631968 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069737632512 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20538] ppid=20527 vsize=15417412 memory=946 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20538/stat : 20538 (java) S 20527 20527 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475631970 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069736581072 140070664353691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20539] ppid=20527 vsize=15417412 memory=1448 CPUtime=2.08 cores=0,2,4,6
/proc/20529/task/20539/stat : 20539 (java) S 20527 20527 11742 0 -1 1077944384 8975 0 0 0 206 2 0 0 20 0 19 0 475631970 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069735529200 140070664346242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20540] ppid=20527 vsize=15417412 memory=213896 CPUtime=2.02 cores=0,2,4,6
/proc/20529/task/20540/stat : 20540 (java) S 20527 20527 11742 0 -1 1077944384 9841 0 0 0 201 1 0 0 20 0 19 0 475631970 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069734476656 140070664346242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20541] ppid=20527 vsize=15417412 memory=6655300316396806240 CPUtime=0.57 cores=0,2,4,6
/proc/20529/task/20541/stat : 20541 (java) S 20527 20527 11742 0 -1 1077944384 4944 0 0 0 57 0 0 0 20 0 19 0 475631970 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069733423600 140070664346242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20542] ppid=20527 vsize=15417412 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20542/stat : 20542 (java) S 20527 20527 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475631971 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069732371296 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20543] ppid=20527 vsize=15417412 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20543/stat : 20543 (java) S 20527 20527 11742 0 -1 1077944384 650 0 0 0 0 0 0 0 20 0 19 0 475631971 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069731318320 140070664346242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20544] ppid=20527 vsize=15417412 memory=6944656592455360604 CPUtime=14.22 cores=0,2,4,6
/proc/20529/task/20544/stat : 20544 (java) R 20527 20527 11742 0 -1 4202560 342 0 0 0 1422 0 0 0 20 0 19 0 475632024 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069722098544 140070305091275 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20545] ppid=20527 vsize=15417412 memory=6944656575208382560 CPUtime=14.16 cores=0,2,4,6
/proc/20529/task/20545/stat : 20545 (java) R 20527 20527 11742 0 -1 4202560 984 0 0 0 1415 1 0 0 20 0 19 0 475632024 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069721046600 140070305686792 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20546] ppid=20527 vsize=15417412 memory=6944656592455360604 CPUtime=14.49 cores=0,2,4,6
/proc/20529/task/20546/stat : 20546 (java) R 20527 20527 11742 0 -1 4202560 374 0 0 0 1449 0 0 0 20 0 19 0 475632024 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069719994504 140070305204888 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20547] ppid=20527 vsize=15417412 memory=0 CPUtime=14.18 cores=0,2,4,6
/proc/20529/task/20547/stat : 20547 (java) R 20527 20527 11742 0 -1 4202560 828 0 0 0 1418 0 0 0 20 0 19 0 475632024 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069718942168 140070306501363 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
Current children cumulated CPU time: 62.46 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 215344 KiB
[startup+16.202 s]
/proc/loadavg: 8.71 8.05 7.91 9/239 20547
/proc/meminfo: memFree=16370020/32770624 swapFree=66974564/67108860
[pid=20527] ppid=20524 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20527/stat : 20527 (xcsp3-exec) S 20524 20527 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475631965 115843072 362 33554432000 4194304 5098028 140720525169568 140720525167672 140313871041148 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33538048 140720525177723 140720525177965 140720525177965 140720525180874 0
/proc/20527/statm: 28282 362 304 221 0 87 0
[pid=20529] ppid=20527 vsize=15417412 memory=213896 CPUtime=63.23 cores=0,2,4,6
/proc/20529/stat : 20529 (java) S 20527 20527 11742 0 -1 1077944320 40329 0 0 0 6311 12 0 0 20 0 19 0 475631965 15787429888 53474 33554432000 4194304 4196468 140726618788656 140726618771200 140070664335095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
/proc/20529/statm: 3854353 53474 3509 1 0 3815453 0
[pid=20529/tid=20530] ppid=20527 vsize=15417412 memory=7100839852924897640 CPUtime=0.57 cores=0,2,4,6
/proc/20529/task/20530/stat : 20530 (java) S 20527 20527 11742 0 -1 1077944384 9268 0 0 0 53 4 0 0 20 0 19 0 475631965 15787429888 53474 33554432000 4194304 4196468 140726618788656 140070668575872 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20531] ppid=20527 vsize=15417412 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20529/task/20531/stat : 20531 (java) S 20527 20527 11742 0 -1 1077944384 1157 0 0 0 1 0 0 0 20 0 19 0 475631966 15787429888 53474 33554432000 4194304 4196468 140726618788656 140070629616656 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20532] ppid=20527 vsize=15417412 memory=6944656575208382560 CPUtime=0.01 cores=0,2,4,6
/proc/20529/task/20532/stat : 20532 (java) S 20527 20527 11742 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 19 0 475631966 15787429888 53474 33554432000 4194304 4196468 140726618788656 140070255176848 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20533] ppid=20527 vsize=15417412 memory=303430223234596890 CPUtime=0.01 cores=0,2,4,6
/proc/20529/task/20533/stat : 20533 (java) S 20527 20527 11742 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 19 0 475631966 15787429888 53474 33554432000 4194304 4196468 140726618788656 140070254123792 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20534] ppid=20527 vsize=15417412 memory=288230583166042426 CPUtime=0.01 cores=0,2,4,6
/proc/20529/task/20534/stat : 20534 (java) S 20527 20527 11742 0 -1 1077944384 588 0 0 0 1 0 0 0 20 0 19 0 475631966 15787429888 53474 33554432000 4194304 4196468 140726618788656 140070253071248 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20535] ppid=20527 vsize=15417412 memory=15816690369829696 CPUtime=0.01 cores=0,2,4,6
/proc/20529/task/20535/stat : 20535 (java) S 20527 20527 11742 0 -1 1077944384 579 0 0 0 1 0 0 0 20 0 19 0 475631967 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069739739376 140070664346242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20536] ppid=20527 vsize=15417412 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20536/stat : 20536 (java) S 20527 20527 11742 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475631968 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069738685664 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20537] ppid=20527 vsize=15417412 memory=1398722017469774279 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20537/stat : 20537 (java) S 20527 20527 11742 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 475631968 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069737632512 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20538] ppid=20527 vsize=15417412 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20538/stat : 20538 (java) S 20527 20527 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475631970 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069736581072 140070664353691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20539] ppid=20527 vsize=15417412 memory=7301550369998651492 CPUtime=2.08 cores=0,2,4,6
/proc/20529/task/20539/stat : 20539 (java) S 20527 20527 11742 0 -1 1077944384 8975 0 0 0 206 2 0 0 20 0 19 0 475631970 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069735529200 140070664346242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20540] ppid=20527 vsize=15417412 memory=214372 CPUtime=2.02 cores=0,2,4,6
/proc/20529/task/20540/stat : 20540 (java) S 20527 20527 11742 0 -1 1077944384 9841 0 0 0 201 1 0 0 20 0 19 0 475631970 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069734476656 140070664346242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20541] ppid=20527 vsize=15417412 memory=212228 CPUtime=0.57 cores=0,2,4,6
/proc/20529/task/20541/stat : 20541 (java) S 20527 20527 11742 0 -1 1077944384 4944 0 0 0 57 0 0 0 20 0 19 0 475631970 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069733423600 140070664346242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20542] ppid=20527 vsize=15417412 memory=10564 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20542/stat : 20542 (java) S 20527 20527 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475631971 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069732371296 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20543] ppid=20527 vsize=15417412 memory=716 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20543/stat : 20543 (java) S 20527 20527 11742 0 -1 1077944384 650 0 0 0 0 0 0 0 20 0 19 0 475631971 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069731318320 140070664346242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20544] ppid=20527 vsize=15417412 memory=780 CPUtime=14.41 cores=0,2,4,6
/proc/20529/task/20544/stat : 20544 (java) R 20527 20527 11742 0 -1 4202560 342 0 0 0 1441 0 0 0 20 0 19 0 475632024 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069722098544 140070305137911 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20545] ppid=20527 vsize=15417412 memory=1552 CPUtime=14.36 cores=0,2,4,6
/proc/20529/task/20545/stat : 20545 (java) R 20527 20527 11742 0 -1 4202560 986 0 0 0 1435 1 0 0 20 0 19 0 475632024 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069721046600 140070305205290 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20546] ppid=20527 vsize=15417412 memory=2832 CPUtime=14.69 cores=0,2,4,6
/proc/20529/task/20546/stat : 20546 (java) R 20527 20527 11742 0 -1 4202560 375 0 0 0 1469 0 0 0 20 0 19 0 475632024 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069719994504 140070305610979 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20547] ppid=20527 vsize=15417412 memory=2832 CPUtime=14.37 cores=0,2,4,6
/proc/20529/task/20547/stat : 20547 (java) R 20527 20527 11742 0 -1 4202560 830 0 0 0 1437 0 0 0 20 0 19 0 475632024 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069718942168 140070304482159 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
Current children cumulated CPU time: 63.23 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 215344 KiB
[startup+16.304 s]
/proc/loadavg: 8.71 8.05 7.91 9/239 20547
/proc/meminfo: memFree=16370020/32770624 swapFree=66974564/67108860
[pid=20527] ppid=20524 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20527/stat : 20527 (xcsp3-exec) S 20524 20527 11742 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475631965 115843072 362 33554432000 4194304 5098028 140720525169568 140720525167672 140313871041148 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 33538048 140720525177723 140720525177965 140720525177965 140720525180874 0
/proc/20527/statm: 28282 362 304 221 0 87 0
[pid=20529] ppid=20527 vsize=15417412 memory=213896 CPUtime=63.64 cores=0,2,4,6
/proc/20529/stat : 20529 (java) S 20527 20527 11742 0 -1 1077944320 40332 0 0 0 6352 12 0 0 20 0 19 0 475631965 15787429888 53474 33554432000 4194304 4196468 140726618788656 140726618771200 140070664335095 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
/proc/20529/statm: 3854353 53474 3509 1 0 3815453 0
[pid=20529/tid=20530] ppid=20527 vsize=15417412 memory=213896 CPUtime=0.57 cores=0,2,4,6
/proc/20529/task/20530/stat : 20530 (java) S 20527 20527 11742 0 -1 1077944384 9268 0 0 0 53 4 0 0 20 0 19 0 475631965 15787429888 53474 33554432000 4194304 4196468 140726618788656 140070668575872 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20531] ppid=20527 vsize=15417412 memory=4049077146381400277 CPUtime=0.01 cores=0,2,4,6
/proc/20529/task/20531/stat : 20531 (java) S 20527 20527 11742 0 -1 1077944384 1157 0 0 0 1 0 0 0 20 0 19 0 475631966 15787429888 53474 33554432000 4194304 4196468 140726618788656 140070629616656 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20532] ppid=20527 vsize=15417412 memory=938 CPUtime=0.01 cores=0,2,4,6
/proc/20529/task/20532/stat : 20532 (java) S 20527 20527 11742 0 -1 1077944384 131 0 0 0 1 0 0 0 20 0 19 0 475631966 15787429888 53474 33554432000 4194304 4196468 140726618788656 140070255176848 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20533] ppid=20527 vsize=15417412 memory=977 CPUtime=0.01 cores=0,2,4,6
/proc/20529/task/20533/stat : 20533 (java) S 20527 20527 11742 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 19 0 475631966 15787429888 53474 33554432000 4194304 4196468 140726618788656 140070254123792 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20534] ppid=20527 vsize=15417412 memory=941 CPUtime=0.01 cores=0,2,4,6
/proc/20529/task/20534/stat : 20534 (java) S 20527 20527 11742 0 -1 1077944384 588 0 0 0 1 0 0 0 20 0 19 0 475631966 15787429888 53474 33554432000 4194304 4196468 140726618788656 140070253071248 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20535] ppid=20527 vsize=15417412 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/20529/task/20535/stat : 20535 (java) S 20527 20527 11742 0 -1 1077944384 579 0 0 0 1 0 0 0 20 0 19 0 475631967 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069739739376 140070664346242 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20536] ppid=20527 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20536/stat : 20536 (java) S 20527 20527 11742 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475631968 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069738685664 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20537] ppid=20527 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20537/stat : 20537 (java) S 20527 20527 11742 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 475631968 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069737632512 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20538] ppid=20527 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20538/stat : 20538 (java) S 20527 20527 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475631970 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069736581072 140070664353691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20539] ppid=20527 vsize=15417412 memory=1448 CPUtime=2.08 cores=0,2,4,6
/proc/20529/task/20539/stat : 20539 (java) S 20527 20527 11742 0 -1 1077944384 8975 0 0 0 206 2 0 0 20 0 19 0 475631970 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069735529200 140070664346242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20540] ppid=20527 vsize=15417412 memory=212284 CPUtime=2.02 cores=0,2,4,6
/proc/20529/task/20540/stat : 20540 (java) S 20527 20527 11742 0 -1 1077944384 9841 0 0 0 201 1 0 0 20 0 19 0 475631970 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069734476656 140070664346242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20541] ppid=20527 vsize=15417412 memory=31736 CPUtime=0.57 cores=0,2,4,6
/proc/20529/task/20541/stat : 20541 (java) S 20527 20527 11742 0 -1 1077944384 4944 0 0 0 57 0 0 0 20 0 19 0 475631970 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069733423600 140070664346242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20542] ppid=20527 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20542/stat : 20542 (java) S 20527 20527 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475631971 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069732371296 140070664345301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20543] ppid=20527 vsize=15417412 memory=984 CPUtime=0 cores=0,2,4,6
/proc/20529/task/20543/stat : 20543 (java) S 20527 20527 11742 0 -1 1077944384 650 0 0 0 0 0 0 0 20 0 19 0 475631971 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069731318320 140070664346242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20544] ppid=20527 vsize=15417412 memory=2004 CPUtime=14.51 cores=0,2,4,6
/proc/20529/task/20544/stat : 20544 (java) R 20527 20527 11742 0 -1 4202560 342 0 0 0 1451 0 0 0 20 0 19 0 475632024 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069722098544 140070304483710 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20545] ppid=20527 vsize=15417412 memory=1376 CPUtime=14.46 cores=0,2,4,6
/proc/20529/task/20545/stat : 20545 (java) R 20527 20527 11742 0 -1 4202560 988 0 0 0 1445 1 0 0 20 0 19 0 475632024 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069721046600 140070305138563 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20546] ppid=20527 vsize=15417412 memory=1060 CPUtime=14.79 cores=0,2,4,6
/proc/20529/task/20546/stat : 20546 (java) R 20527 20527 11742 0 -1 4202560 375 0 0 0 1479 0 0 0 20 0 19 0 475632024 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069719994504 140070305110172 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
[pid=20529/tid=20547] ppid=20527 vsize=15417412 memory=213896 CPUtime=14.47 cores=0,2,4,6
/proc/20529/task/20547/stat : 20547 (java) R 20527 20527 11742 0 -1 4202560 831 0 0 0 1447 0 0 0 20 0 19 0 475632024 15787429888 53474 33554432000 4194304 4196468 140726618788656 140069718942168 140070305424852 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31670272 140726618792943 140726618793114 140726618793114 140726618795983 0
Current children cumulated CPU time: 63.64 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 215344 KiB
Child status: 0
Real time (s): 16.366
CPU time (s): 63.8784
CPU user time (s): 63.7408
CPU system time (s): 0.13768
CPU usage (%): 390.312
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 215824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.7408
system time used= 0.13768
maximum resident set size= 215436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42187
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= 2908
involuntary context switches= 1569
# summary of solver processes directly reported to runsolver:
# pid: 20527
# total CPU time (s): 63.8784
# total CPU user time (s): 63.7408
# total CPU system time (s): 0.13768
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.137573 second user time and 0.209141 second system time
The end