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 (14989 MiB free)
memory of node 1: 16384 MiB (15350 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393384-1568347593/watcher-4393384-1568347593 -o /tmp/evaluation-result-4393384-1568347593/solver-4393384-1568347593 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568346919-22074 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2083722943 HOME/instance-4393384-1568347593.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=22527, runsolver pid=22524
[startup+0.100822 s]*
/proc/loadavg: 8.62 7.58 4.81 5/231 22543
/proc/meminfo: memFree=31046400/32770624 swapFree=66940748/67108860
[pid=22527] ppid=22524 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22527/stat : 22527 (xcsp3-exec) S 22524 22527 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410998043 115843072 363 33554432000 4194304 5098028 140727272278048 140727272276152 140330999870076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14143488 140727272280954 140727272281197 140727272281197 140727272284106 0
/proc/22527/statm: 28282 363 304 221 0 87 0
[pid=22529] ppid=22527 vsize=15144768 memory=29620 CPUtime=0.13 cores=1,3,5,7
/proc/22529/stat : 22529 (java) S 22527 22527 22042 0 -1 1077944320 5853 0 0 0 12 1 0 0 20 0 15 0 410998043 15508242432 7405 33554432000 4194304 4196468 140732544326016 140732544308560 140642646028023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
/proc/22529/statm: 3786192 7405 3155 1 0 3748377 0
[pid=22529/tid=22530] ppid=22527 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=1,3,5,7
/proc/22529/task/22530/stat : 22530 (java) R 22527 22527 22042 0 -1 4202560 3732 0 0 0 8 1 0 0 20 0 15 0 410998043 15508242432 7405 33554432000 4194304 4196468 140732544326016 140642650258400 140642630071653 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22531] ppid=22527 vsize=15144768 memory=3472468282381550800 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22531/stat : 22531 (java) S 22527 22527 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410998044 15508242432 7405 33554432000 4194304 4196468 140732544326016 140642598648848 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22532] ppid=22527 vsize=15144768 memory=140153486399104 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22532/stat : 22532 (java) S 22527 22527 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410998044 15508242432 7405 33554432000 4194304 4196468 140732544326016 140642597596304 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22533] ppid=22527 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22533/stat : 22533 (java) S 22527 22527 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410998044 15508242432 7405 33554432000 4194304 4196468 140732544326016 140642236685072 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22534] ppid=22527 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22534/stat : 22534 (java) S 22527 22527 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410998044 15508242432 7405 33554432000 4194304 4196468 140732544326016 140642235632528 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22535] ppid=22527 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22535/stat : 22535 (java) S 22527 22527 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410998045 15508242432 7405 33554432000 4194304 4196468 140732544326016 140641519515888 140642646039170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22536] ppid=22527 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22536/stat : 22536 (java) S 22527 22527 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410998046 15508242432 7405 33554432000 4194304 4196468 140732544326016 140641518462112 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22537] ppid=22527 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22537/stat : 22537 (java) S 22527 22527 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410998046 15508242432 7405 33554432000 4194304 4196468 140732544326016 140641517409008 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22538] ppid=22527 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22538/stat : 22538 (java) S 22527 22527 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410998048 15508242432 7405 33554432000 4194304 4196468 140732544326016 140641516357584 140642646046619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22539] ppid=22527 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22539/stat : 22539 (java) R 22527 22527 22042 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 410998048 15508242432 7405 33554432000 4194304 4196468 140732544326016 140641515305712 140642646039170 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22540] ppid=22527 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22540/stat : 22540 (java) R 22527 22527 22042 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 15 0 410998048 15508242432 7405 33554432000 4194304 4196468 140732544326016 140641514253168 140642625684433 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22541] ppid=22527 vsize=15144768 memory=140153486399104 CPUtime=0.02 cores=1,3,5,7
/proc/22529/task/22541/stat : 22541 (java) R 22527 22527 22042 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 410998048 15508242432 7405 33554432000 4194304 4196468 140732544326016 140641513200112 140642627287006 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22542] ppid=22527 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22542/stat : 22542 (java) S 22527 22527 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410998049 15508242432 7405 33554432000 4194304 4196468 140732544326016 140641512147808 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22543] ppid=22527 vsize=15144768 memory=140153486399104 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22543/stat : 22543 (java) R 22527 22527 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410998049 15508242432 7405 33554432000 4194304 4196468 140732544326016 140641511094832 140642646039170 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31072 KiB
[startup+0.210792 s]*
/proc/loadavg: 8.62 7.58 4.81 5/231 22543
/proc/meminfo: memFree=31025212/32770624 swapFree=66940748/67108860
[pid=22527] ppid=22524 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22527/stat : 22527 (xcsp3-exec) S 22524 22527 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410998043 115843072 363 33554432000 4194304 5098028 140727272278048 140727272276152 140330999870076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14143488 140727272280954 140727272281197 140727272281197 140727272284106 0
/proc/22527/statm: 28282 363 304 221 0 87 0
[pid=22529] ppid=22527 vsize=15144768 memory=41104 CPUtime=0.34 cores=1,3,5,7
/proc/22529/stat : 22529 (java) S 22527 22527 22042 0 -1 1077944320 9493 0 0 0 31 3 0 0 20 0 15 0 410998043 15508242432 10276 33554432000 4194304 4196468 140732544326016 140732544308560 140642646028023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
/proc/22529/statm: 3786192 10276 3283 1 0 3748377 0
[pid=22529/tid=22530] ppid=22527 vsize=15149024 memory=5855082630903857826 CPUtime=0.2 cores=1,3,5,7
/proc/22529/task/22530/stat : 22530 (java) R 22527 22527 22042 0 -1 4202560 6718 0 0 0 18 2 0 0 20 0 15 0 410998043 15512600576 10279 33554432000 4194304 4196468 140732544326016 140642650249016 140642638728999 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22531] ppid=22527 vsize=15149024 memory=3472468282381550800 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22531/stat : 22531 (java) S 22527 22527 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410998044 15512600576 10279 33554432000 4194304 4196468 140732544326016 140642598648848 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22532] ppid=22527 vsize=15149024 memory=140153486399104 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22532/stat : 22532 (java) S 22527 22527 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410998044 15512600576 10279 33554432000 4194304 4196468 140732544326016 140642597596304 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22533] ppid=22527 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22533/stat : 22533 (java) S 22527 22527 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410998044 15512600576 10279 33554432000 4194304 4196468 140732544326016 140642236685072 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22534] ppid=22527 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22534/stat : 22534 (java) S 22527 22527 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410998044 15512600576 10279 33554432000 4194304 4196468 140732544326016 140642235632528 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22535] ppid=22527 vsize=15149024 memory=140153486399104 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22535/stat : 22535 (java) S 22527 22527 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410998045 15512600576 10279 33554432000 4194304 4196468 140732544326016 140641519515888 140642646039170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22536] ppid=22527 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22536/stat : 22536 (java) S 22527 22527 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410998046 15512600576 10279 33554432000 4194304 4196468 140732544326016 140641518462112 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22537] ppid=22527 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22537/stat : 22537 (java) S 22527 22527 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410998046 15512600576 10279 33554432000 4194304 4196468 140732544326016 140641517409008 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22538] ppid=22527 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22538/stat : 22538 (java) S 22527 22527 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410998048 15512600576 10279 33554432000 4194304 4196468 140732544326016 140641516357584 140642646046619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22539] ppid=22527 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22529/task/22539/stat : 22539 (java) S 22527 22527 22042 0 -1 1077944384 644 0 0 0 3 0 0 0 20 0 15 0 410998048 15512600576 10279 33554432000 4194304 4196468 140732544326016 140641515305712 140642646039170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22540] ppid=22527 vsize=15149024 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/22529/task/22540/stat : 22540 (java) S 22527 22527 22042 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 15 0 410998048 15512600576 10279 33554432000 4194304 4196468 140732544326016 140641514253168 140642646039170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22541] ppid=22527 vsize=15149024 memory=140153486399104 CPUtime=0.08 cores=1,3,5,7
/proc/22529/task/22541/stat : 22541 (java) S 22527 22527 22042 0 -1 1077944384 764 0 0 0 8 0 0 0 20 0 15 0 410998048 15512600576 10279 33554432000 4194304 4196468 140732544326016 140641513200112 140642646039170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22542] ppid=22527 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22542/stat : 22542 (java) S 22527 22527 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410998049 15512600576 10279 33554432000 4194304 4196468 140732544326016 140641512147808 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22543] ppid=22527 vsize=15149024 memory=140153486399104 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22543/stat : 22543 (java) S 22527 22527 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410998049 15512600576 10279 33554432000 4194304 4196468 140732544326016 140641511094832 140642646039170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42556 KiB
[startup+0.310544 s]*
/proc/loadavg: 8.62 7.58 4.81 9/235 22547
/proc/meminfo: memFree=30977340/32770624 swapFree=66940748/67108860
[pid=22527] ppid=22524 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22527/stat : 22527 (xcsp3-exec) S 22524 22527 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410998043 115843072 363 33554432000 4194304 5098028 140727272278048 140727272276152 140330999870076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14143488 140727272280954 140727272281197 140727272281197 140727272284106 0
/proc/22527/statm: 28282 363 304 221 0 87 0
[pid=22529] ppid=22527 vsize=15149024 memory=50528 CPUtime=0.52 cores=1,3,5,7
/proc/22529/stat : 22529 (java) S 22527 22527 22042 0 -1 1077944320 10946 0 0 0 48 4 0 0 20 0 15 0 410998043 15512600576 12632 33554432000 4194304 4196468 140732544326016 140732544308560 140642646028023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
/proc/22529/statm: 3787256 12632 3332 1 0 3748377 0
[pid=22529/tid=22530] ppid=22527 vsize=15149024 memory=8514701219880992413 CPUtime=0.3 cores=1,3,5,7
/proc/22529/task/22530/stat : 22530 (java) R 22527 22527 22042 0 -1 4202560 7896 0 0 0 27 3 0 0 20 0 15 0 410998043 15512600576 12632 33554432000 4194304 4196468 140732544326016 140642650259136 140642630108510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22531] ppid=22527 vsize=15149024 memory=3472468282381550800 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22531/stat : 22531 (java) S 22527 22527 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410998044 15512600576 12641 33554432000 4194304 4196468 140732544326016 140642598648848 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22532] ppid=22527 vsize=15149024 memory=140153486399104 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22532/stat : 22532 (java) S 22527 22527 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410998044 15512600576 12641 33554432000 4194304 4196468 140732544326016 140642597596304 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22533] ppid=22527 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22533/stat : 22533 (java) S 22527 22527 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410998044 15512600576 12641 33554432000 4194304 4196468 140732544326016 140642236685072 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22534] ppid=22527 vsize=15149024 memory=140153372944415 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22534/stat : 22534 (java) S 22527 22527 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410998044 15512600576 12641 33554432000 4194304 4196468 140732544326016 140642235632528 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22535] ppid=22527 vsize=15149024 memory=280306745868064 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22535/stat : 22535 (java) S 22527 22527 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410998045 15512600576 12641 33554432000 4194304 4196468 140732544326016 140641519515888 140642646039170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22536] ppid=22527 vsize=15149024 memory=140153372921359 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22536/stat : 22536 (java) S 22527 22527 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410998046 15512600576 12641 33554432000 4194304 4196468 140732544326016 140641518462112 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22537] ppid=22527 vsize=15149024 memory=280306859329632 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22537/stat : 22537 (java) S 22527 22527 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410998046 15512600576 12641 33554432000 4194304 4196468 140732544326016 140641517409008 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22538] ppid=22527 vsize=15149024 memory=140153372925967 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22538/stat : 22538 (java) S 22527 22527 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410998048 15512600576 12641 33554432000 4194304 4196468 140732544326016 140641516357584 140642646046619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22539] ppid=22527 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/22529/task/22539/stat : 22539 (java) S 22527 22527 22042 0 -1 1077944384 655 0 0 0 4 0 0 0 20 0 15 0 410998048 15512600576 12641 33554432000 4194304 4196468 140732544326016 140641515305712 140642646039170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22540] ppid=22527 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/22529/task/22540/stat : 22540 (java) R 22527 22527 22042 0 -1 1077944384 213 0 0 0 4 0 0 0 20 0 15 0 410998048 15512600576 12641 33554432000 4194304 4196468 140732544326016 140641514253168 140642646039170 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22541] ppid=22527 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/22529/task/22541/stat : 22541 (java) R 22527 22527 22042 0 -1 4202560 875 0 0 0 12 0 0 0 20 0 15 0 410998048 15512600576 12641 33554432000 4194304 4196468 140732544326016 140641513200112 140642624577360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22542] ppid=22527 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22542/stat : 22542 (java) S 22527 22527 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410998049 15512600576 12641 33554432000 4194304 4196468 140732544326016 140641512147808 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22543] ppid=22527 vsize=15149024 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22543/stat : 22543 (java) S 22527 22527 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410998049 15512600576 12641 33554432000 4194304 4196468 140732544326016 140641511094832 140642646039170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51980 KiB
[startup+1.0235 s]*
/proc/loadavg: 8.62 7.58 4.81 15/239 22551
/proc/meminfo: memFree=30946196/32770624 swapFree=66940748/67108860
[pid=22527] ppid=22524 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22527/stat : 22527 (xcsp3-exec) S 22524 22527 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410998043 115843072 363 33554432000 4194304 5098028 140727272278048 140727272276152 140330999870076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14143488 140727272280954 140727272281197 140727272281197 140727272284106 0
/proc/22527/statm: 28282 363 304 221 0 87 0
[pid=22529] ppid=22527 vsize=15417404 memory=90836 CPUtime=2.92 cores=1,3,5,7
/proc/22529/stat : 22529 (java) S 22527 22527 22042 0 -1 1077944320 16559 0 0 0 286 6 0 0 20 0 19 0 410998043 15787421696 22709 33554432000 4194304 4196468 140732544326016 140732544308560 140642646028023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
/proc/22529/statm: 3854351 22709 3474 1 0 3815453 0
[pid=22529/tid=22530] ppid=22527 vsize=15417404 memory=5852830843874935970 CPUtime=0.56 cores=1,3,5,7
/proc/22529/task/22530/stat : 22530 (java) S 22527 22527 22042 0 -1 1077944384 9263 0 0 0 52 4 0 0 20 0 19 0 410998043 15787421696 22709 33554432000 4194304 4196468 140732544326016 140642650268800 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22531] ppid=22527 vsize=15417404 memory=3472468282381550800 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22531/stat : 22531 (java) S 22527 22527 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 410998044 15787421696 22709 33554432000 4194304 4196468 140732544326016 140642598648848 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22532] ppid=22527 vsize=15417404 memory=140153486399104 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22532/stat : 22532 (java) S 22527 22527 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 410998044 15787421696 22709 33554432000 4194304 4196468 140732544326016 140642597596304 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22533] ppid=22527 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22533/stat : 22533 (java) S 22527 22527 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 410998044 15787421696 22709 33554432000 4194304 4196468 140732544326016 140642236685072 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22534] ppid=22527 vsize=15417404 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22534/stat : 22534 (java) S 22527 22527 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 410998044 15787421696 22709 33554432000 4194304 4196468 140732544326016 140642235632528 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22535] ppid=22527 vsize=15417404 memory=140153486399104 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22535/stat : 22535 (java) S 22527 22527 22042 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 410998045 15787421696 22709 33554432000 4194304 4196468 140732544326016 140641519515888 140642646039170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22536] ppid=22527 vsize=15417404 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22536/stat : 22536 (java) S 22527 22527 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410998046 15787421696 22709 33554432000 4194304 4196468 140732544326016 140641518462112 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22537] ppid=22527 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22537/stat : 22537 (java) S 22527 22527 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 410998046 15787421696 22709 33554432000 4194304 4196468 140732544326016 140641517409008 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22538] ppid=22527 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22538/stat : 22538 (java) S 22527 22527 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410998048 15787421696 22709 33554432000 4194304 4196468 140732544326016 140641516357584 140642646046619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22539] ppid=22527 vsize=15417404 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/22529/task/22539/stat : 22539 (java) R 22527 22527 22042 0 -1 4202560 2324 0 0 0 35 0 0 0 20 0 19 0 410998048 15787421696 22709 33554432000 4194304 4196468 140732544326016 140641515291736 140642627572463 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22540] ppid=22527 vsize=15417404 memory=-1 CPUtime=0.34 cores=1,3,5,7
/proc/22529/task/22540/stat : 22540 (java) R 22527 22527 22042 0 -1 4202560 1297 0 0 0 34 0 0 0 20 0 19 0 410998048 15787421696 22709 33554432000 4194304 4196468 140732544326016 140641514245656 140642630937964 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22541] ppid=22527 vsize=15417404 memory=140153486399104 CPUtime=0.41 cores=1,3,5,7
/proc/22529/task/22541/stat : 22541 (java) R 22527 22527 22042 0 -1 4202560 2146 0 0 0 41 0 0 0 20 0 19 0 410998048 15787421696 22709 33554432000 4194304 4196468 140732544326016 140641513200112 140642630108510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22542] ppid=22527 vsize=15417404 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22542/stat : 22542 (java) S 22527 22527 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410998049 15787421696 22709 33554432000 4194304 4196468 140732544326016 140641512147808 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22543] ppid=22527 vsize=15417404 memory=140153486399104 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22543/stat : 22543 (java) R 22527 22527 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 410998049 15787421696 22709 33554432000 4194304 4196468 140732544326016 140641511094832 140642646039170 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22548] ppid=22527 vsize=15417404 memory=-1 CPUtime=0.36 cores=1,3,5,7
/proc/22529/task/22548/stat : 22548 (java) R 22527 22527 22042 0 -1 1077944384 51 0 0 0 36 0 0 0 20 0 19 0 410998101 15787421696 22709 33554432000 4194304 4196468 140732544326016 140641502119872 140642646038229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22549] ppid=22527 vsize=15417404 memory=140153486399104 CPUtime=0.2 cores=1,3,5,7
/proc/22529/task/22549/stat : 22549 (java) R 22527 22527 22042 0 -1 4202560 81 0 0 0 20 0 0 0 20 0 19 0 410998101 15787421696 22709 33554432000 4194304 4196468 140732544326016 140641501071320 140642632301521 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22550] ppid=22527 vsize=15417404 memory=-1 CPUtime=0.32 cores=1,3,5,7
/proc/22529/task/22550/stat : 22550 (java) R 22527 22527 22042 0 -1 4202560 40 0 0 0 32 0 0 0 20 0 19 0 410998101 15787421696 22709 33554432000 4194304 4196468 140732544326016 140641500015408 140642282420805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22551] ppid=22527 vsize=15417404 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/22529/task/22551/stat : 22551 (java) R 22527 22527 22042 0 -1 4202560 50 0 0 0 33 0 0 0 20 0 19 0 410998101 15787421696 22709 33554432000 4194304 4196468 140732544326016 140641498966696 140642281975424 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
Current children cumulated CPU time: 2.92 s
Current children cumulated vsize: 15530532 KiB
################
# More data... #
################
/proc/22529/task/22543/stat : 22543 (java) S 22527 22527 22042 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 410998049 15991906304 44877 33554432000 4194304 4196468 140732544326016 140641511094832 140642646039170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22572] ppid=22527 vsize=15617096 memory=0 CPUtime=2.09 cores=1,3,5,7
/proc/22529/task/22572/stat : 22572 (java) R 22527 22527 22042 0 -1 4202560 71 0 0 0 209 0 0 0 20 0 19 0 410998281 15991906304 44877 33554432000 4194304 4196468 140732544326016 140641497910872 140642282702153 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22573] ppid=22527 vsize=15617096 memory=0 CPUtime=2.08 cores=1,3,5,7
/proc/22529/task/22573/stat : 22573 (java) R 22527 22527 22042 0 -1 4202560 135 0 0 0 208 0 0 0 20 0 19 0 410998281 15991906304 44877 33554432000 4194304 4196468 140732544326016 140641495805576 140642282702315 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22574] ppid=22527 vsize=15617096 memory=0 CPUtime=2.05 cores=1,3,5,7
/proc/22529/task/22574/stat : 22574 (java) R 22527 22527 22042 0 -1 4202560 99 0 0 0 205 0 0 0 20 0 19 0 410998281 15991906304 44877 33554432000 4194304 4196468 140732544326016 140641496858344 140642282702612 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22575] ppid=22527 vsize=15617096 memory=33 CPUtime=2.13 cores=1,3,5,7
/proc/22529/task/22575/stat : 22575 (java) R 22527 22527 22042 0 -1 4202560 177 0 0 0 213 0 0 0 20 0 19 0 410998281 15991906304 44877 33554432000 4194304 4196468 140732544326016 140641502123144 140642281700626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
Current children cumulated CPU time: 17.13 s
Current children cumulated vsize: 15730224 KiB
Current children cumulated memory: 180960 KiB
[startup+5.4015 s]
/proc/loadavg: 8.97 7.67 4.85 9/238 22579
/proc/meminfo: memFree=30769424/32770624 swapFree=66940748/67108860
[pid=22527] ppid=22524 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22527/stat : 22527 (xcsp3-exec) S 22524 22527 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410998043 115843072 363 33554432000 4194304 5098028 140727272278048 140727272276152 140330999870076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14143488 140727272280954 140727272281197 140727272281197 140727272284106 0
/proc/22527/statm: 28282 363 304 221 0 87 0
[pid=22529] ppid=22527 vsize=15617096 memory=204448 CPUtime=20.27 cores=1,3,5,7
/proc/22529/stat : 22529 (java) S 22527 22527 22042 0 -1 1077944320 28233 0 0 0 2017 10 0 0 20 0 19 0 410998043 15991906304 51112 33554432000 4194304 4196468 140732544326016 140732544308560 140642646028023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
/proc/22529/statm: 3904274 51112 3519 1 0 3865376 0
[pid=22529/tid=22530] ppid=22527 vsize=15617096 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/22529/task/22530/stat : 22530 (java) S 22527 22527 22042 0 -1 1077944384 9297 0 0 0 52 4 0 0 20 0 19 0 410998043 15991906304 51112 33554432000 4194304 4196468 140732544326016 140642650268800 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22531] ppid=22527 vsize=15617096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22531/stat : 22531 (java) S 22527 22527 22042 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 410998044 15991906304 51112 33554432000 4194304 4196468 140732544326016 140642598648848 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22532] ppid=22527 vsize=15617096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22532/stat : 22532 (java) S 22527 22527 22042 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 410998044 15991906304 51112 33554432000 4194304 4196468 140732544326016 140642597596304 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22533] ppid=22527 vsize=15617096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22533/stat : 22533 (java) S 22527 22527 22042 0 -1 1077944384 402 0 0 0 0 0 0 0 20 0 19 0 410998044 15991906304 51112 33554432000 4194304 4196468 140732544326016 140642236685072 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22534] ppid=22527 vsize=15617096 memory=280306745959952 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22534/stat : 22534 (java) S 22527 22527 22042 0 -1 1077944384 829 0 0 0 0 0 0 0 20 0 19 0 410998044 15991906304 51112 33554432000 4194304 4196468 140732544326016 140642235632528 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22535] ppid=22527 vsize=15617096 memory=98934571666154 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22535/stat : 22535 (java) S 22527 22527 22042 0 -1 1077944384 458 0 0 0 0 0 0 0 20 0 19 0 410998045 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641519515888 140642646039170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22536] ppid=22527 vsize=15617096 memory=98934571666154 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22536/stat : 22536 (java) S 22527 22527 22042 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 410998046 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641518462112 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22537] ppid=22527 vsize=15617096 memory=98934571666154 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22537/stat : 22537 (java) S 22527 22527 22042 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 410998046 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641517409008 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22538] ppid=22527 vsize=15617096 memory=98934571666154 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22538/stat : 22538 (java) S 22527 22527 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410998048 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641516357584 140642646046619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22539] ppid=22527 vsize=15617096 memory=98934571666154 CPUtime=1.36 cores=1,3,5,7
/proc/22529/task/22539/stat : 22539 (java) S 22527 22527 22042 0 -1 1077944384 5031 0 0 0 136 0 0 0 20 0 19 0 410998048 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641515305712 140642646039170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22540] ppid=22527 vsize=15617096 memory=98934571666154 CPUtime=1.47 cores=1,3,5,7
/proc/22529/task/22540/stat : 22540 (java) S 22527 22527 22042 0 -1 1077944384 4152 0 0 0 147 0 0 0 20 0 19 0 410998048 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641514253168 140642646039170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22541] ppid=22527 vsize=15617096 memory=1452 CPUtime=0.54 cores=1,3,5,7
/proc/22529/task/22541/stat : 22541 (java) S 22527 22527 22042 0 -1 1077944384 4532 0 0 0 54 0 0 0 20 0 19 0 410998048 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641513200112 140642646039170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22542] ppid=22527 vsize=15617096 memory=104552 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22542/stat : 22542 (java) S 22527 22527 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410998049 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641512147808 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22543] ppid=22527 vsize=15617096 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22543/stat : 22543 (java) S 22527 22527 22042 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 19 0 410998049 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641511094832 140642646039170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22572] ppid=22527 vsize=15617096 memory=1452 CPUtime=2.87 cores=1,3,5,7
/proc/22529/task/22572/stat : 22572 (java) R 22527 22527 22042 0 -1 4202560 149 0 0 0 287 0 0 0 20 0 19 0 410998281 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641497910136 140642283220719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22573] ppid=22527 vsize=15617096 memory=169212 CPUtime=2.86 cores=1,3,5,7
/proc/22529/task/22573/stat : 22573 (java) R 22527 22527 22042 0 -1 4202560 388 0 0 0 286 0 0 0 20 0 19 0 410998281 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641495808696 140642282702484 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22574] ppid=22527 vsize=15617096 memory=1764 CPUtime=2.8 cores=1,3,5,7
/proc/22529/task/22574/stat : 22574 (java) R 22527 22527 22042 0 -1 4202560 171 0 0 0 280 0 0 0 20 0 19 0 410998281 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641496858096 140642282702845 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22575] ppid=22527 vsize=15617096 memory=111628 CPUtime=2.91 cores=1,3,5,7
/proc/22529/task/22575/stat : 22575 (java) R 22527 22527 22042 0 -1 4202560 234 0 0 0 291 0 0 0 20 0 19 0 410998281 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641502122344 140642281700698 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
Current children cumulated CPU time: 20.27 s
Current children cumulated vsize: 15730224 KiB
Current children cumulated memory: 205900 KiB
[startup+5.6055 s]*
/proc/loadavg: 8.97 7.67 4.85 9/238 22579
/proc/meminfo: memFree=30720948/32770624 swapFree=66940748/67108860
[pid=22527] ppid=22524 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22527/stat : 22527 (xcsp3-exec) S 22524 22527 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410998043 115843072 363 33554432000 4194304 5098028 140727272278048 140727272276152 140330999870076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14143488 140727272280954 140727272281197 140727272281197 140727272284106 0
/proc/22527/statm: 28282 363 304 221 0 87 0
[pid=22529] ppid=22527 vsize=15617096 memory=204448 CPUtime=21.12 cores=1,3,5,7
/proc/22529/stat : 22529 (java) S 22527 22527 22042 0 -1 1077944320 28261 0 0 0 2102 10 0 0 20 0 19 0 410998043 15991906304 51112 33554432000 4194304 4196468 140732544326016 140732544308560 140642646028023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
/proc/22529/statm: 3904274 51112 3519 1 0 3865376 0
[pid=22529/tid=22530] ppid=22527 vsize=15617096 memory=-8540663193526752614 CPUtime=0.56 cores=1,3,5,7
/proc/22529/task/22530/stat : 22530 (java) S 22527 22527 22042 0 -1 1077944384 9297 0 0 0 52 4 0 0 20 0 19 0 410998043 15991906304 51112 33554432000 4194304 4196468 140732544326016 140642650268800 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22531] ppid=22527 vsize=15617096 memory=3472468282381550800 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22531/stat : 22531 (java) S 22527 22527 22042 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 410998044 15991906304 51112 33554432000 4194304 4196468 140732544326016 140642598648848 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22532] ppid=22527 vsize=15617096 memory=140153486399104 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22532/stat : 22532 (java) S 22527 22527 22042 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 410998044 15991906304 51112 33554432000 4194304 4196468 140732544326016 140642597596304 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22533] ppid=22527 vsize=15617096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22533/stat : 22533 (java) S 22527 22527 22042 0 -1 1077944384 402 0 0 0 0 0 0 0 20 0 19 0 410998044 15991906304 51112 33554432000 4194304 4196468 140732544326016 140642236685072 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22534] ppid=22527 vsize=15617096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22534/stat : 22534 (java) S 22527 22527 22042 0 -1 1077944384 829 0 0 0 0 0 0 0 20 0 19 0 410998044 15991906304 51112 33554432000 4194304 4196468 140732544326016 140642235632528 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22535] ppid=22527 vsize=15617096 memory=140153486399104 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22535/stat : 22535 (java) S 22527 22527 22042 0 -1 1077944384 458 0 0 0 0 0 0 0 20 0 19 0 410998045 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641519515888 140642646039170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22536] ppid=22527 vsize=15617096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22536/stat : 22536 (java) S 22527 22527 22042 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 410998046 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641518462112 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22537] ppid=22527 vsize=15617096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22537/stat : 22537 (java) S 22527 22527 22042 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 410998046 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641517409008 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22538] ppid=22527 vsize=15617096 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22538/stat : 22538 (java) S 22527 22527 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410998048 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641516357584 140642646046619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22539] ppid=22527 vsize=15617096 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/22529/task/22539/stat : 22539 (java) S 22527 22527 22042 0 -1 1077944384 5031 0 0 0 136 0 0 0 20 0 19 0 410998048 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641515305712 140642646039170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22540] ppid=22527 vsize=15617096 memory=-1 CPUtime=1.47 cores=1,3,5,7
/proc/22529/task/22540/stat : 22540 (java) S 22527 22527 22042 0 -1 1077944384 4152 0 0 0 147 0 0 0 20 0 19 0 410998048 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641514253168 140642646039170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22541] ppid=22527 vsize=15617096 memory=140153486399104 CPUtime=0.54 cores=1,3,5,7
/proc/22529/task/22541/stat : 22541 (java) S 22527 22527 22042 0 -1 1077944384 4532 0 0 0 54 0 0 0 20 0 19 0 410998048 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641513200112 140642646039170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22542] ppid=22527 vsize=15617096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22542/stat : 22542 (java) S 22527 22527 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410998049 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641512147808 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22543] ppid=22527 vsize=15617096 memory=140153486399104 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22543/stat : 22543 (java) S 22527 22527 22042 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 19 0 410998049 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641511094832 140642646039170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22572] ppid=22527 vsize=15617096 memory=-1 CPUtime=3.08 cores=1,3,5,7
/proc/22529/task/22572/stat : 22572 (java) R 22527 22527 22042 0 -1 4202560 149 0 0 0 308 0 0 0 20 0 19 0 410998281 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641497910136 140642283736562 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22573] ppid=22527 vsize=15617096 memory=140153486399104 CPUtime=3.06 cores=1,3,5,7
/proc/22529/task/22573/stat : 22573 (java) R 22527 22527 22042 0 -1 4202560 388 0 0 0 306 0 0 0 20 0 19 0 410998281 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641495808696 140642282702435 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22574] ppid=22527 vsize=15617096 memory=-1 CPUtime=3.02 cores=1,3,5,7
/proc/22529/task/22574/stat : 22574 (java) R 22527 22527 22042 0 -1 4202560 171 0 0 0 302 0 0 0 20 0 19 0 410998281 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641496858096 140642281700585 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22575] ppid=22527 vsize=15617096 memory=0 CPUtime=3.12 cores=1,3,5,7
/proc/22529/task/22575/stat : 22575 (java) R 22527 22527 22042 0 -1 4202560 262 0 0 0 312 0 0 0 20 0 19 0 410998281 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641502122344 140642282702612 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
Current children cumulated CPU time: 21.12 s
Current children cumulated vsize: 15730224 KiB
Current children cumulated memory: 205900 KiB
[startup+5.7115 s]
/proc/loadavg: 8.97 7.67 4.85 9/238 22579
/proc/meminfo: memFree=30720948/32770624 swapFree=66940748/67108860
[pid=22527] ppid=22524 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22527/stat : 22527 (xcsp3-exec) S 22524 22527 22042 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 410998043 115843072 363 33554432000 4194304 5098028 140727272278048 140727272276152 140330999870076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 14143488 140727272280954 140727272281197 140727272281197 140727272284106 0
/proc/22527/statm: 28282 363 304 221 0 87 0
[pid=22529] ppid=22527 vsize=15617096 memory=204448 CPUtime=21.5 cores=1,3,5,7
/proc/22529/stat : 22529 (java) S 22527 22527 22042 0 -1 1077944320 28280 0 0 0 2140 10 0 0 20 0 19 0 410998043 15991906304 51112 33554432000 4194304 4196468 140732544326016 140732544308560 140642646028023 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
/proc/22529/statm: 3904274 51112 3519 1 0 3865376 0
[pid=22529/tid=22530] ppid=22527 vsize=15617096 memory=204440 CPUtime=0.56 cores=1,3,5,7
/proc/22529/task/22530/stat : 22530 (java) S 22527 22527 22042 0 -1 1077944384 9297 0 0 0 52 4 0 0 20 0 19 0 410998043 15991906304 51112 33554432000 4194304 4196468 140732544326016 140642650268800 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22531] ppid=22527 vsize=15617096 memory=56 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22531/stat : 22531 (java) S 22527 22527 22042 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 410998044 15991906304 51112 33554432000 4194304 4196468 140732544326016 140642598648848 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22532] ppid=22527 vsize=15617096 memory=31356350842106266 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22532/stat : 22532 (java) S 22527 22527 22042 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 410998044 15991906304 51112 33554432000 4194304 4196468 140732544326016 140642597596304 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22533] ppid=22527 vsize=15617096 memory=1944271 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22533/stat : 22533 (java) S 22527 22527 22042 0 -1 1077944384 402 0 0 0 0 0 0 0 20 0 19 0 410998044 15991906304 51112 33554432000 4194304 4196468 140732544326016 140642236685072 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22534] ppid=22527 vsize=15617096 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22534/stat : 22534 (java) S 22527 22527 22042 0 -1 1077944384 829 0 0 0 0 0 0 0 20 0 19 0 410998044 15991906304 51112 33554432000 4194304 4196468 140732544326016 140642235632528 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22535] ppid=22527 vsize=15617096 memory=-7812193691855986592 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22535/stat : 22535 (java) S 22527 22527 22042 0 -1 1077944384 458 0 0 0 0 0 0 0 20 0 19 0 410998045 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641519515888 140642646039170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22536] ppid=22527 vsize=15617096 memory=-7453528518462155811 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22536/stat : 22536 (java) S 22527 22527 22042 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 410998046 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641518462112 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22537] ppid=22527 vsize=15617096 memory=6307362036035193244 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22537/stat : 22537 (java) S 22527 22527 22042 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 410998046 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641517409008 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22538] ppid=22527 vsize=15617096 memory=187744 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22538/stat : 22538 (java) S 22527 22527 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410998048 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641516357584 140642646046619 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22539] ppid=22527 vsize=15617096 memory=1452 CPUtime=1.36 cores=1,3,5,7
/proc/22529/task/22539/stat : 22539 (java) S 22527 22527 22042 0 -1 1077944384 5031 0 0 0 136 0 0 0 20 0 19 0 410998048 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641515305712 140642646039170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22540] ppid=22527 vsize=15617096 memory=154344 CPUtime=1.47 cores=1,3,5,7
/proc/22529/task/22540/stat : 22540 (java) S 22527 22527 22042 0 -1 1077944384 4152 0 0 0 147 0 0 0 20 0 19 0 410998048 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641514253168 140642646039170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22541] ppid=22527 vsize=15617096 memory=145796 CPUtime=0.54 cores=1,3,5,7
/proc/22529/task/22541/stat : 22541 (java) S 22527 22527 22042 0 -1 1077944384 4532 0 0 0 54 0 0 0 20 0 19 0 410998048 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641513200112 140642646039170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22542] ppid=22527 vsize=15617096 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22542/stat : 22542 (java) S 22527 22527 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410998049 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641512147808 140642646038229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22543] ppid=22527 vsize=15617096 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/22529/task/22543/stat : 22543 (java) S 22527 22527 22042 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 19 0 410998049 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641511094832 140642646039170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22572] ppid=22527 vsize=15617096 memory=288230617509003574 CPUtime=3.18 cores=1,3,5,7
/proc/22529/task/22572/stat : 22572 (java) R 22527 22527 22042 0 -1 4202560 167 0 0 0 318 0 0 0 20 0 19 0 410998281 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641497910136 140642281700643 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22573] ppid=22527 vsize=15617096 memory=14698482732632482 CPUtime=3.15 cores=1,3,5,7
/proc/22529/task/22573/stat : 22573 (java) R 22527 22527 22042 0 -1 4202560 389 0 0 0 315 0 0 0 20 0 19 0 410998281 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641495808696 140642282702762 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22574] ppid=22527 vsize=15617096 memory=331 CPUtime=3.11 cores=1,3,5,7
/proc/22529/task/22574/stat : 22574 (java) R 22527 22527 22042 0 -1 4202560 171 0 0 0 311 0 0 0 20 0 19 0 410998281 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641496858096 140642283489750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
[pid=22529/tid=22575] ppid=22527 vsize=15617096 memory=56 CPUtime=3.22 cores=1,3,5,7
/proc/22529/task/22575/stat : 22575 (java) R 22527 22527 22042 0 -1 4202560 262 0 0 0 322 0 0 0 20 0 19 0 410998281 15991906304 51112 33554432000 4194304 4196468 140732544326016 140641502122344 140642283739419 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35356672 140732544332783 140732544332954 140732544332954 140732544335823 0
Current children cumulated CPU time: 21.5 s
Current children cumulated vsize: 15730224 KiB
Current children cumulated memory: 205900 KiB
Child status: 0
Real time (s): 5.77525
CPU time (s): 21.7435
CPU user time (s): 21.6363
CPU system time (s): 0.107214
CPU usage (%): 376.494
Max. virtual memory (cumulated for all children) (KiB): 15730224
Max. memory (cumulated for all children) (KiB): 205900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.6363
system time used= 0.107214
maximum resident set size= 204476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29347
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= 2608
involuntary context switches= 807
# summary of solver processes directly reported to runsolver:
# pid: 22527
# total CPU time (s): 21.7435
# total CPU user time (s): 21.6363
# total CPU system time (s): 0.107214
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064901 second user time and 0.093608 second system time
The end