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 (14789 MiB free)
memory of node 1: 16384 MiB (15347 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393322-1568313310/watcher-4393322-1568313310 -o /tmp/evaluation-result-4393322-1568313310/solver-4393322-1568313310 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 331812825 HOME/instance-4393322-1568313310.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=14131, runsolver pid=14128
[startup+0.100058 s]*
/proc/loadavg: 0.74 0.68 0.93 6/230 14155
/proc/meminfo: memFree=30833604/32770624 swapFree=66996208/67108860
[pid=14131] ppid=14128 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14131/stat : 14131 (xcsp3-exec) S 14128 14131 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407585720 115843072 363 33554432000 4194304 5098028 140724016621424 140724016619528 139640405140092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 36122624 140724016624507 140724016624749 140724016624749 140724016627658 0
/proc/14131/statm: 28282 363 304 221 0 87 0
[pid=14134] ppid=14131 vsize=15144768 memory=29612 CPUtime=0.14 cores=1,3,5,7
/proc/14134/stat : 14134 (java) S 14131 14131 14062 0 -1 1077944320 5862 0 0 0 13 1 0 0 20 0 15 0 407585720 15508242432 7403 33554432000 4194304 4196468 140737080019456 140737080002000 140211104780023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
/proc/14134/statm: 3786192 7403 3141 1 0 3748377 0
[pid=14134/tid=14136] ppid=14131 vsize=15144768 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/14134/task/14136/stat : 14136 (java) R 14131 14131 14062 0 -1 4202560 3723 0 0 0 9 0 0 0 20 0 15 0 407585720 15508242432 7403 33554432000 4194304 4196468 140737080019456 140211109013152 140211088823653 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14137] ppid=14131 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14137/stat : 14137 (java) S 14131 14131 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585721 15508242432 7403 33554432000 4194304 4196468 140737080019456 140211032820112 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14138] ppid=14131 vsize=15144768 memory=139923061122688 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14138/stat : 14138 (java) S 14131 14131 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585721 15508242432 7403 33554432000 4194304 4196468 140737080019456 140211031767312 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14139] ppid=14131 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14139/stat : 14139 (java) S 14131 14131 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585721 15508242432 7403 33554432000 4194304 4196468 140737080019456 140211030715024 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14140] ppid=14131 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14140/stat : 14140 (java) S 14131 14131 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407585721 15508242432 7403 33554432000 4194304 4196468 140737080019456 140211029662224 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14141] ppid=14131 vsize=15144768 memory=139923061122688 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14141/stat : 14141 (java) S 14131 14131 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407585722 15508242432 7403 33554432000 4194304 4196468 140737080019456 140210573167216 140211104791170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14146] ppid=14131 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14146/stat : 14146 (java) S 14131 14131 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407585723 15508242432 7403 33554432000 4194304 4196468 140737080019456 140210572113184 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14148] ppid=14131 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14148/stat : 14148 (java) S 14131 14131 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407585723 15508242432 7403 33554432000 4194304 4196468 140737080019456 140210571060848 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14150] ppid=14131 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14150/stat : 14150 (java) S 14131 14131 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407585725 15508242432 7403 33554432000 4194304 4196468 140737080019456 140210570009168 140211104798619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14151] ppid=14131 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14151/stat : 14151 (java) S 14131 14131 14062 0 -1 1077944384 345 0 0 0 0 0 0 0 20 0 15 0 407585725 15508242432 7403 33554432000 4194304 4196468 140737080019456 140210568956016 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14152] ppid=14131 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14152/stat : 14152 (java) R 14131 14131 14062 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 407585725 15508242432 7403 33554432000 4194304 4196468 140737080019456 140210567903216 140211104791170 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14153] ppid=14131 vsize=15144768 memory=139923061122688 CPUtime=0.02 cores=1,3,5,7
/proc/14134/task/14153/stat : 14153 (java) R 14131 14131 14062 0 -1 4202560 371 0 0 0 2 0 0 0 20 0 15 0 407585725 15508242432 7403 33554432000 4194304 4196468 140737080019456 140210566850928 140211104791958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14154] ppid=14131 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14154/stat : 14154 (java) S 14131 14131 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407585726 15508242432 7403 33554432000 4194304 4196468 140737080019456 140210565798368 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14155] ppid=14131 vsize=15144768 memory=139923061122688 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14155/stat : 14155 (java) S 14131 14131 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585726 15508242432 7403 33554432000 4194304 4196468 140737080019456 140210564746160 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31064 KiB
[startup+0.211869 s]*
/proc/loadavg: 0.74 0.68 0.93 5/230 14155
/proc/meminfo: memFree=30807024/32770624 swapFree=66996208/67108860
[pid=14131] ppid=14128 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14131/stat : 14131 (xcsp3-exec) S 14128 14131 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407585720 115843072 363 33554432000 4194304 5098028 140724016621424 140724016619528 139640405140092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 36122624 140724016624507 140724016624749 140724016624749 140724016627658 0
/proc/14131/statm: 28282 363 304 221 0 87 0
[pid=14134] ppid=14131 vsize=15144768 memory=40864 CPUtime=0.35 cores=1,3,5,7
/proc/14134/stat : 14134 (java) S 14131 14131 14062 0 -1 1077944320 9469 0 0 0 33 2 0 0 20 0 15 0 407585720 15508242432 10216 33554432000 4194304 4196468 140737080019456 140737080002000 140211104780023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
/proc/14134/statm: 3786192 10216 3301 1 0 3748377 0
[pid=14134/tid=14136] ppid=14131 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/14134/task/14136/stat : 14136 (java) R 14131 14131 14062 0 -1 4202560 6641 0 0 0 18 2 0 0 20 0 15 0 407585720 15508242432 10216 33554432000 4194304 4196468 140737080019456 140211109015008 140211104791958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14137] ppid=14131 vsize=15144768 memory=2670165 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14137/stat : 14137 (java) S 14131 14131 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585721 15508242432 10216 33554432000 4194304 4196468 140737080019456 140211032820112 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14138] ppid=14131 vsize=15144768 memory=2855325 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14138/stat : 14138 (java) S 14131 14131 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585721 15508242432 10216 33554432000 4194304 4196468 140737080019456 140211031767312 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14139] ppid=14131 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14139/stat : 14139 (java) S 14131 14131 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585721 15508242432 10216 33554432000 4194304 4196468 140737080019456 140211030715024 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14140] ppid=14131 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14140/stat : 14140 (java) S 14131 14131 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407585721 15508242432 10216 33554432000 4194304 4196468 140737080019456 140211029662224 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14141] ppid=14131 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14141/stat : 14141 (java) S 14131 14131 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407585722 15508242432 10216 33554432000 4194304 4196468 140737080019456 140210573167216 140211104791170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14146] ppid=14131 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14146/stat : 14146 (java) S 14131 14131 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407585723 15508242432 10216 33554432000 4194304 4196468 140737080019456 140210572113184 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14148] ppid=14131 vsize=15144768 memory=139923061122688 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14148/stat : 14148 (java) S 14131 14131 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407585723 15508242432 10216 33554432000 4194304 4196468 140737080019456 140210571060848 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14150] ppid=14131 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14150/stat : 14150 (java) S 14131 14131 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407585725 15508242432 10216 33554432000 4194304 4196468 140737080019456 140210570009168 140211104798619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14151] ppid=14131 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/14134/task/14151/stat : 14151 (java) S 14131 14131 14062 0 -1 1077944384 446 0 0 0 3 0 0 0 20 0 15 0 407585725 15508242432 10216 33554432000 4194304 4196468 140737080019456 140210568956016 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14152] ppid=14131 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/14134/task/14152/stat : 14152 (java) S 14131 14131 14062 0 -1 1077944384 320 0 0 0 2 0 0 0 20 0 15 0 407585725 15508242432 10216 33554432000 4194304 4196468 140737080019456 140210567903216 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14153] ppid=14131 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14134/task/14153/stat : 14153 (java) R 14131 14131 14062 0 -1 4202560 759 0 0 0 8 0 0 0 20 0 15 0 407585725 15508242432 10216 33554432000 4194304 4196468 140737080019456 140210566850928 140211104791958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14154] ppid=14131 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14154/stat : 14154 (java) S 14131 14131 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407585726 15508242432 10216 33554432000 4194304 4196468 140737080019456 140210565798368 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14155] ppid=14131 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14155/stat : 14155 (java) S 14131 14131 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585726 15508242432 10216 33554432000 4194304 4196468 140737080019456 140210564746160 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42316 KiB
[startup+0.310691 s]*
/proc/loadavg: 0.74 0.68 0.93 6/230 14155
/proc/meminfo: memFree=30793572/32770624 swapFree=66996208/67108860
[pid=14131] ppid=14128 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14131/stat : 14131 (xcsp3-exec) S 14128 14131 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407585720 115843072 363 33554432000 4194304 5098028 140724016621424 140724016619528 139640405140092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 36122624 140724016624507 140724016624749 140724016624749 140724016627658 0
/proc/14131/statm: 28282 363 304 221 0 87 0
[pid=14134] ppid=14131 vsize=15149024 memory=50404 CPUtime=0.54 cores=1,3,5,7
/proc/14134/stat : 14134 (java) S 14131 14131 14062 0 -1 1077944320 10890 0 0 0 51 3 0 0 20 0 15 0 407585720 15512600576 12601 33554432000 4194304 4196468 140737080019456 140737080002000 140211104780023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
/proc/14134/statm: 3787256 12601 3370 1 0 3748377 0
[pid=14134/tid=14136] ppid=14131 vsize=15149024 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/14134/task/14136/stat : 14136 (java) R 14131 14131 14062 0 -1 4202560 7830 0 0 0 28 2 0 0 20 0 15 0 407585720 15512600576 12601 33554432000 4194304 4196468 140737080019456 140211109011136 140211088860510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14137] ppid=14131 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14137/stat : 14137 (java) S 14131 14131 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585721 15512600576 12601 33554432000 4194304 4196468 140737080019456 140211032820112 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14138] ppid=14131 vsize=15149024 memory=2854851 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14138/stat : 14138 (java) S 14131 14131 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585721 15512600576 12601 33554432000 4194304 4196468 140737080019456 140211031767312 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14139] ppid=14131 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14139/stat : 14139 (java) S 14131 14131 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585721 15512600576 12601 33554432000 4194304 4196468 140737080019456 140211030715024 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14140] ppid=14131 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14140/stat : 14140 (java) S 14131 14131 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407585721 15512600576 12601 33554432000 4194304 4196468 140737080019456 140211029662224 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14141] ppid=14131 vsize=15149024 memory=139923061122688 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14141/stat : 14141 (java) S 14131 14131 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407585722 15512600576 12601 33554432000 4194304 4196468 140737080019456 140210573167216 140211104791170 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14146] ppid=14131 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14146/stat : 14146 (java) S 14131 14131 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407585723 15512600576 12601 33554432000 4194304 4196468 140737080019456 140210572113184 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14148] ppid=14131 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14148/stat : 14148 (java) S 14131 14131 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407585723 15512600576 12601 33554432000 4194304 4196468 140737080019456 140210571060848 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14150] ppid=14131 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14150/stat : 14150 (java) S 14131 14131 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407585725 15512600576 12601 33554432000 4194304 4196468 140737080019456 140210570009168 140211104798619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14151] ppid=14131 vsize=15149024 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/14134/task/14151/stat : 14151 (java) S 14131 14131 14062 0 -1 1077944384 554 0 0 0 6 0 0 0 20 0 15 0 407585725 15512600576 12601 33554432000 4194304 4196468 140737080019456 140210568956016 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14152] ppid=14131 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/14134/task/14152/stat : 14152 (java) S 14131 14131 14062 0 -1 1077944384 353 0 0 0 4 0 0 0 20 0 15 0 407585725 15512600576 12601 33554432000 4194304 4196468 140737080019456 140210567903216 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14153] ppid=14131 vsize=15149024 memory=139923061122688 CPUtime=0.12 cores=1,3,5,7
/proc/14134/task/14153/stat : 14153 (java) S 14131 14131 14062 0 -1 1077944384 858 0 0 0 12 0 0 0 20 0 15 0 407585725 15512600576 12601 33554432000 4194304 4196468 140737080019456 140210566850928 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14154] ppid=14131 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14154/stat : 14154 (java) S 14131 14131 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407585726 15512600576 12601 33554432000 4194304 4196468 140737080019456 140210565798368 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14155] ppid=14131 vsize=15149024 memory=139923061122688 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14155/stat : 14155 (java) S 14131 14131 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407585726 15512600576 12601 33554432000 4194304 4196468 140737080019456 140210564746160 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51856 KiB
[startup+0.704031 s]
/proc/loadavg: 0.74 0.68 0.93 6/230 14157
/proc/meminfo: memFree=30769512/32770624 swapFree=66996208/67108860
[pid=14131] ppid=14128 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14131/stat : 14131 (xcsp3-exec) S 14128 14131 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407585720 115843072 363 33554432000 4194304 5098028 140724016621424 140724016619528 139640405140092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 36122624 140724016624507 140724016624749 140724016624749 140724016627658 0
/proc/14131/statm: 28282 363 304 221 0 87 0
[pid=14134] ppid=14131 vsize=15418432 memory=108196 CPUtime=1.57 cores=1,3,5,7
/proc/14134/stat : 14134 (java) S 14131 14131 14062 0 -1 1077944320 14348 0 0 0 152 5 0 0 20 0 16 0 407585720 15788474368 27049 33554432000 4194304 4196468 140737080019456 140737080002000 140211104780023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
/proc/14134/statm: 3854608 27049 3454 1 0 3815710 0
[pid=14134/tid=14136] ppid=14131 vsize=15418432 memory=11932 CPUtime=0.63 cores=1,3,5,7
/proc/14134/task/14136/stat : 14136 (java) R 14131 14131 14062 0 -1 4202560 9183 0 0 0 60 3 0 0 20 0 16 0 407585720 15788474368 27049 33554432000 4194304 4196468 140737080019456 140211109020800 140211104801853 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14137] ppid=14131 vsize=15418432 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14137/stat : 14137 (java) S 14131 14131 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 407585721 15788474368 27049 33554432000 4194304 4196468 140737080019456 140211032820112 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14138] ppid=14131 vsize=15418432 memory=500 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14138/stat : 14138 (java) S 14131 14131 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 407585721 15788474368 27049 33554432000 4194304 4196468 140737080019456 140211031767312 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14139] ppid=14131 vsize=15418432 memory=928 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14139/stat : 14139 (java) S 14131 14131 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 407585721 15788474368 27049 33554432000 4194304 4196468 140737080019456 140211030715024 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14140] ppid=14131 vsize=15418432 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14140/stat : 14140 (java) S 14131 14131 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 407585721 15788474368 27049 33554432000 4194304 4196468 140737080019456 140211029662224 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14141] ppid=14131 vsize=15418432 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14141/stat : 14141 (java) S 14131 14131 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 407585722 15788474368 27049 33554432000 4194304 4196468 140737080019456 140210573167216 140211104791170 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14146] ppid=14131 vsize=15418432 memory=876 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14146/stat : 14146 (java) S 14131 14131 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 407585723 15788474368 27049 33554432000 4194304 4196468 140737080019456 140210572113184 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14148] ppid=14131 vsize=15418432 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14148/stat : 14148 (java) S 14131 14131 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 407585723 15788474368 27049 33554432000 4194304 4196468 140737080019456 140210571060848 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14150] ppid=14131 vsize=15418432 memory=7086240636179075427 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14150/stat : 14150 (java) S 14131 14131 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 407585725 15788474368 27049 33554432000 4194304 4196468 140737080019456 140210570009168 140211104798619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14151] ppid=14131 vsize=15418432 memory=7453282923427948884 CPUtime=0.19 cores=1,3,5,7
/proc/14134/task/14151/stat : 14151 (java) S 14131 14131 14062 0 -1 1077944384 830 0 0 0 19 0 0 0 20 0 16 0 407585725 15788474368 27049 33554432000 4194304 4196468 140737080019456 140210568956016 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14152] ppid=14131 vsize=15418432 memory=7223879631928058176 CPUtime=0.21 cores=1,3,5,7
/proc/14134/task/14152/stat : 14152 (java) S 14131 14131 14062 0 -1 1077944384 841 0 0 0 21 0 0 0 20 0 16 0 407585725 15788474368 27049 33554432000 4194304 4196468 140737080019456 140210567903216 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14153] ppid=14131 vsize=15418432 memory=8514726395714826909 CPUtime=0.42 cores=1,3,5,7
/proc/14134/task/14153/stat : 14153 (java) R 14131 14131 14062 0 -1 1077944384 1752 0 0 0 42 0 0 0 20 0 16 0 407585725 15788474368 27049 33554432000 4194304 4196468 140737080019456 140210566850928 140211104791170 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14154] ppid=14131 vsize=15418432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14154/stat : 14154 (java) S 14131 14131 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 407585726 15788474368 27049 33554432000 4194304 4196468 140737080019456 140210565798368 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14155] ppid=14131 vsize=15418432 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14155/stat : 14155 (java) S 14131 14131 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 407585726 15788474368 27049 33554432000 4194304 4196468 140737080019456 140210564746160 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 15531560 KiB
Current children cumulated memory: 109648 KiB
[startup+1.50115 s]
/proc/loadavg: 0.74 0.68 0.93 16/238 14265
/proc/meminfo: memFree=30542784/32770624 swapFree=66996208/67108860
[pid=14131] ppid=14128 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14131/stat : 14131 (xcsp3-exec) S 14128 14131 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407585720 115843072 363 33554432000 4194304 5098028 140724016621424 140724016619528 139640405140092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 36122624 140724016624507 140724016624749 140724016624749 140724016627658 0
/proc/14131/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/14134/task/14155/stat : 14155 (java) S 14131 14131 14062 0 -1 1077944384 518 0 0 0 0 4 0 0 20 0 19 0 407585726 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210564746160 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14274] ppid=14131 vsize=15486016 memory=1556 CPUtime=135.06 cores=1,3,5,7
/proc/14134/task/14274/stat : 14274 (java) R 14131 14131 14062 0 -1 4202560 1064 0 0 0 13504 2 0 0 20 0 19 0 407585837 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210553667160 140210706257768 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14275] ppid=14131 vsize=15486016 memory=5908 CPUtime=134.57 cores=1,3,5,7
/proc/14134/task/14275/stat : 14275 (java) R 14131 14131 14062 0 -1 4202560 6776 0 0 0 13455 2 0 0 20 0 19 0 407585837 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210551565728 140210707255379 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14276] ppid=14131 vsize=15486016 memory=14012 CPUtime=134.65 cores=1,3,5,7
/proc/14134/task/14276/stat : 14276 (java) R 14131 14131 14062 0 -1 4202560 1936 0 0 0 13464 1 0 0 20 0 19 0 407585837 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210554720240 140210708636037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14277] ppid=14131 vsize=15486016 memory=1452 CPUtime=134.53 cores=1,3,5,7
/proc/14134/task/14277/stat : 14277 (java) R 14131 14131 14062 0 -1 4202560 5547 0 0 0 13448 5 0 0 20 0 19 0 407585837 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210552614624 140210705266432 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
Current children cumulated CPU time: 546.9 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 901824 KiB
[startup+138.801 s]
/proc/loadavg: 7.81 3.70 2.03 9/238 14449
/proc/meminfo: memFree=29445356/32770624 swapFree=66996208/67108860
[pid=14131] ppid=14128 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14131/stat : 14131 (xcsp3-exec) S 14128 14131 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407585720 115843072 363 33554432000 4194304 5098028 140724016621424 140724016619528 139640405140092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 36122624 140724016624507 140724016624749 140724016624749 140724016627658 0
/proc/14131/statm: 28282 363 304 221 0 87 0
[pid=14134] ppid=14131 vsize=15486016 memory=900372 CPUtime=548.49 cores=1,3,5,7
/proc/14134/stat : 14134 (java) S 14131 14131 14062 0 -1 1077944320 57611 0 0 0 54805 44 0 0 20 0 19 0 407585720 15857680384 225093 33554432000 4194304 4196468 140737080019456 140737080002000 140211104780023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
/proc/14134/statm: 3871504 225093 3526 1 0 3832606 0
[pid=14134/tid=14136] ppid=14131 vsize=15486016 memory=4008 CPUtime=0.63 cores=1,3,5,7
/proc/14134/task/14136/stat : 14136 (java) S 14131 14131 14062 0 -1 1077944384 9183 0 0 0 60 3 0 0 20 0 19 0 407585720 15857680384 225093 33554432000 4194304 4196468 140737080019456 140211109020800 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14137] ppid=14131 vsize=15486016 memory=6791534058613427641 CPUtime=0.5 cores=1,3,5,7
/proc/14134/task/14137/stat : 14137 (java) S 14131 14131 14062 0 -1 1077944384 1412 0 0 0 45 5 0 0 20 0 19 0 407585721 15857680384 225093 33554432000 4194304 4196468 140737080019456 140211032820112 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14138] ppid=14131 vsize=15486016 memory=900372 CPUtime=0.51 cores=1,3,5,7
/proc/14134/task/14138/stat : 14138 (java) S 14131 14131 14062 0 -1 1077944384 1312 0 0 0 45 6 0 0 20 0 19 0 407585721 15857680384 225093 33554432000 4194304 4196468 140737080019456 140211031767312 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14139] ppid=14131 vsize=15486016 memory=1164 CPUtime=0.52 cores=1,3,5,7
/proc/14134/task/14139/stat : 14139 (java) S 14131 14131 14062 0 -1 1077944384 2114 0 0 0 46 6 0 0 20 0 19 0 407585721 15857680384 225093 33554432000 4194304 4196468 140737080019456 140211030715024 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14140] ppid=14131 vsize=15486016 memory=8317482817917895235 CPUtime=0.51 cores=1,3,5,7
/proc/14134/task/14140/stat : 14140 (java) S 14131 14131 14062 0 -1 1077944384 1800 0 0 0 45 6 0 0 20 0 19 0 407585721 15857680384 225093 33554432000 4194304 4196468 140737080019456 140211029662224 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14141] ppid=14131 vsize=15486016 memory=4126316290023845779 CPUtime=0.3 cores=1,3,5,7
/proc/14134/task/14141/stat : 14141 (java) S 14131 14131 14062 0 -1 1077944384 2240 0 0 0 27 3 0 0 20 0 19 0 407585722 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210573167216 140211104791170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14146] ppid=14131 vsize=15486016 memory=8100964601532864617 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14146/stat : 14146 (java) S 14131 14131 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407585723 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210572113248 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14148] ppid=14131 vsize=15486016 memory=8100964601532864617 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14148/stat : 14148 (java) S 14131 14131 14062 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 407585723 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210571060864 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14150] ppid=14131 vsize=15486016 memory=5860419410344962405 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14150/stat : 14150 (java) S 14131 14131 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407585725 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210570009168 140211104798619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14151] ppid=14131 vsize=15486016 memory=7378132390010709860 CPUtime=1.63 cores=1,3,5,7
/proc/14134/task/14151/stat : 14151 (java) S 14131 14131 14062 0 -1 1077944384 6857 0 0 0 163 0 0 0 20 0 19 0 407585725 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210568956016 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14152] ppid=14131 vsize=15486016 memory=7378132390010709860 CPUtime=1.55 cores=1,3,5,7
/proc/14134/task/14152/stat : 14152 (java) S 14131 14131 14062 0 -1 1077944384 8922 0 0 0 154 1 0 0 20 0 19 0 407585725 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210567903216 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14153] ppid=14131 vsize=15486016 memory=1452 CPUtime=0.69 cores=1,3,5,7
/proc/14134/task/14153/stat : 14153 (java) S 14131 14131 14062 0 -1 1077944384 5438 0 0 0 69 0 0 0 20 0 19 0 407585725 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210566850928 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14154] ppid=14131 vsize=15486016 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14154/stat : 14154 (java) S 14131 14131 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407585726 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210565798368 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14155] ppid=14131 vsize=15486016 memory=288230617509003574 CPUtime=0.04 cores=1,3,5,7
/proc/14134/task/14155/stat : 14155 (java) S 14131 14131 14062 0 -1 1077944384 518 0 0 0 0 4 0 0 20 0 19 0 407585726 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210564746160 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14274] ppid=14131 vsize=15486016 memory=15252636593031516 CPUtime=135.46 cores=1,3,5,7
/proc/14134/task/14274/stat : 14274 (java) R 14131 14131 14062 0 -1 4202560 1064 0 0 0 13544 2 0 0 20 0 19 0 407585837 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210553667160 140210705759138 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14275] ppid=14131 vsize=15486016 memory=8976414709404591081 CPUtime=134.97 cores=1,3,5,7
/proc/14134/task/14275/stat : 14275 (java) R 14131 14131 14062 0 -1 4202560 6776 0 0 0 13495 2 0 0 20 0 19 0 407585837 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210551565616 140210707454294 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14276] ppid=14131 vsize=15486016 memory=-7880843606118635149 CPUtime=135.05 cores=1,3,5,7
/proc/14134/task/14276/stat : 14276 (java) R 14131 14131 14062 0 -1 4202560 1936 0 0 0 13504 1 0 0 20 0 19 0 407585837 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210554720240 140210706258016 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14277] ppid=14131 vsize=15486016 memory=-7094132109863559211 CPUtime=134.93 cores=1,3,5,7
/proc/14134/task/14277/stat : 14277 (java) R 14131 14131 14062 0 -1 4202560 5547 0 0 0 13488 5 0 0 20 0 19 0 407585837 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210552614624 140210706048708 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
Current children cumulated CPU time: 548.49 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 901824 KiB
[startup+139.001 s]*
/proc/loadavg: 7.81 3.70 2.03 9/238 14449
/proc/meminfo: memFree=29445832/32770624 swapFree=66996208/67108860
[pid=14131] ppid=14128 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14131/stat : 14131 (xcsp3-exec) S 14128 14131 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407585720 115843072 363 33554432000 4194304 5098028 140724016621424 140724016619528 139640405140092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 36122624 140724016624507 140724016624749 140724016624749 140724016627658 0
/proc/14131/statm: 28282 363 304 221 0 87 0
[pid=14134] ppid=14131 vsize=15486016 memory=900372 CPUtime=549.32 cores=1,3,5,7
/proc/14134/stat : 14134 (java) S 14131 14131 14062 0 -1 1077944320 57611 0 0 0 54888 44 0 0 20 0 19 0 407585720 15857680384 225093 33554432000 4194304 4196468 140737080019456 140737080002000 140211104780023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
/proc/14134/statm: 3871504 225093 3526 1 0 3832606 0
[pid=14134/tid=14136] ppid=14131 vsize=15486016 memory=7883960649037381690 CPUtime=0.63 cores=1,3,5,7
/proc/14134/task/14136/stat : 14136 (java) S 14131 14131 14062 0 -1 1077944384 9183 0 0 0 60 3 0 0 20 0 19 0 407585720 15857680384 225093 33554432000 4194304 4196468 140737080019456 140211109020800 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14137] ppid=14131 vsize=15486016 memory=2669798 CPUtime=0.5 cores=1,3,5,7
/proc/14134/task/14137/stat : 14137 (java) S 14131 14131 14062 0 -1 1077944384 1412 0 0 0 45 5 0 0 20 0 19 0 407585721 15857680384 225093 33554432000 4194304 4196468 140737080019456 140211032820112 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14138] ppid=14131 vsize=15486016 memory=139923063959024 CPUtime=0.51 cores=1,3,5,7
/proc/14134/task/14138/stat : 14138 (java) S 14131 14131 14062 0 -1 1077944384 1312 0 0 0 45 6 0 0 20 0 19 0 407585721 15857680384 225093 33554432000 4194304 4196468 140737080019456 140211031767312 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14139] ppid=14131 vsize=15486016 memory=7886128541298929970 CPUtime=0.52 cores=1,3,5,7
/proc/14134/task/14139/stat : 14139 (java) S 14131 14131 14062 0 -1 1077944384 2114 0 0 0 46 6 0 0 20 0 19 0 407585721 15857680384 225093 33554432000 4194304 4196468 140737080019456 140211030715024 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14140] ppid=14131 vsize=15486016 memory=3539882221918887983 CPUtime=0.51 cores=1,3,5,7
/proc/14134/task/14140/stat : 14140 (java) S 14131 14131 14062 0 -1 1077944384 1800 0 0 0 45 6 0 0 20 0 19 0 407585721 15857680384 225093 33554432000 4194304 4196468 140737080019456 140211029662224 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14141] ppid=14131 vsize=15486016 memory=3690611343486999732 CPUtime=0.3 cores=1,3,5,7
/proc/14134/task/14141/stat : 14141 (java) S 14131 14131 14062 0 -1 1077944384 2240 0 0 0 27 3 0 0 20 0 19 0 407585722 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210573167216 140211104791170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14146] ppid=14131 vsize=15486016 memory=3617295536826097672 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14146/stat : 14146 (java) S 14131 14131 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407585723 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210572113248 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14148] ppid=14131 vsize=15486016 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14148/stat : 14148 (java) S 14131 14131 14062 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 407585723 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210571060864 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14150] ppid=14131 vsize=15486016 memory=-7533229591079788448 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14150/stat : 14150 (java) S 14131 14131 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407585725 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210570009168 140211104798619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14151] ppid=14131 vsize=15486016 memory=0 CPUtime=1.63 cores=1,3,5,7
/proc/14134/task/14151/stat : 14151 (java) S 14131 14131 14062 0 -1 1077944384 6857 0 0 0 163 0 0 0 20 0 19 0 407585725 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210568956016 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14152] ppid=14131 vsize=15486016 memory=3472328296227679279 CPUtime=1.55 cores=1,3,5,7
/proc/14134/task/14152/stat : 14152 (java) S 14131 14131 14062 0 -1 1077944384 8922 0 0 0 154 1 0 0 20 0 19 0 407585725 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210567903216 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14153] ppid=14131 vsize=15486016 memory=139923061122688 CPUtime=0.69 cores=1,3,5,7
/proc/14134/task/14153/stat : 14153 (java) S 14131 14131 14062 0 -1 1077944384 5438 0 0 0 69 0 0 0 20 0 19 0 407585725 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210566850928 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14154] ppid=14131 vsize=15486016 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14154/stat : 14154 (java) S 14131 14131 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407585726 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210565798368 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14155] ppid=14131 vsize=15486016 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/14134/task/14155/stat : 14155 (java) S 14131 14131 14062 0 -1 1077944384 518 0 0 0 0 4 0 0 20 0 19 0 407585726 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210564746160 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14274] ppid=14131 vsize=15486016 memory=0 CPUtime=135.66 cores=1,3,5,7
/proc/14134/task/14274/stat : 14274 (java) R 14131 14131 14062 0 -1 4202560 1064 0 0 0 13564 2 0 0 20 0 19 0 407585837 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210553667160 140210705759008 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14275] ppid=14131 vsize=15486016 memory=0 CPUtime=135.18 cores=1,3,5,7
/proc/14134/task/14275/stat : 14275 (java) R 14131 14131 14062 0 -1 4202560 6776 0 0 0 13516 2 0 0 20 0 19 0 407585837 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210551565616 140210706348692 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14276] ppid=14131 vsize=15486016 memory=0 CPUtime=135.26 cores=1,3,5,7
/proc/14134/task/14276/stat : 14276 (java) R 14131 14131 14062 0 -1 4202560 1936 0 0 0 13525 1 0 0 20 0 19 0 407585837 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210554720376 140210706335471 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14277] ppid=14131 vsize=15486016 memory=0 CPUtime=135.14 cores=1,3,5,7
/proc/14134/task/14277/stat : 14277 (java) R 14131 14131 14062 0 -1 4202560 5547 0 0 0 13509 5 0 0 20 0 19 0 407585837 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210552614624 140210706510416 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
Current children cumulated CPU time: 549.32 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 901824 KiB
[startup+139.111 s]
/proc/loadavg: 7.81 3.70 2.03 9/238 14449
/proc/meminfo: memFree=29445832/32770624 swapFree=66996208/67108860
[pid=14131] ppid=14128 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14131/stat : 14131 (xcsp3-exec) S 14128 14131 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407585720 115843072 363 33554432000 4194304 5098028 140724016621424 140724016619528 139640405140092 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 36122624 140724016624507 140724016624749 140724016624749 140724016627658 0
/proc/14131/statm: 28282 363 304 221 0 87 0
[pid=14134] ppid=14131 vsize=15486016 memory=900372 CPUtime=549.72 cores=1,3,5,7
/proc/14134/stat : 14134 (java) S 14131 14131 14062 0 -1 1077944320 57611 0 0 0 54928 44 0 0 20 0 19 0 407585720 15857680384 225093 33554432000 4194304 4196468 140737080019456 140737080002000 140211104780023 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
/proc/14134/statm: 3871504 225093 3526 1 0 3832606 0
[pid=14134/tid=14136] ppid=14131 vsize=15486016 memory=883312 CPUtime=0.63 cores=1,3,5,7
/proc/14134/task/14136/stat : 14136 (java) S 14131 14131 14062 0 -1 1077944384 9183 0 0 0 60 3 0 0 20 0 19 0 407585720 15857680384 225093 33554432000 4194304 4196468 140737080019456 140211109020800 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14137] ppid=14131 vsize=15486016 memory=900372 CPUtime=0.5 cores=1,3,5,7
/proc/14134/task/14137/stat : 14137 (java) S 14131 14131 14062 0 -1 1077944384 1412 0 0 0 45 5 0 0 20 0 19 0 407585721 15857680384 225093 33554432000 4194304 4196468 140737080019456 140211032820112 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14138] ppid=14131 vsize=15486016 memory=900372 CPUtime=0.51 cores=1,3,5,7
/proc/14134/task/14138/stat : 14138 (java) S 14131 14131 14062 0 -1 1077944384 1312 0 0 0 45 6 0 0 20 0 19 0 407585721 15857680384 225093 33554432000 4194304 4196468 140737080019456 140211031767312 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14139] ppid=14131 vsize=15486016 memory=1452 CPUtime=0.52 cores=1,3,5,7
/proc/14134/task/14139/stat : 14139 (java) S 14131 14131 14062 0 -1 1077944384 2114 0 0 0 46 6 0 0 20 0 19 0 407585721 15857680384 225093 33554432000 4194304 4196468 140737080019456 140211030715024 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14140] ppid=14131 vsize=15486016 memory=875560 CPUtime=0.51 cores=1,3,5,7
/proc/14134/task/14140/stat : 14140 (java) S 14131 14131 14062 0 -1 1077944384 1800 0 0 0 45 6 0 0 20 0 19 0 407585721 15857680384 225093 33554432000 4194304 4196468 140737080019456 140211029662224 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14141] ppid=14131 vsize=15486016 memory=2024 CPUtime=0.3 cores=1,3,5,7
/proc/14134/task/14141/stat : 14141 (java) S 14131 14131 14062 0 -1 1077944384 2240 0 0 0 27 3 0 0 20 0 19 0 407585722 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210573167216 140211104791170 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14146] ppid=14131 vsize=15486016 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14146/stat : 14146 (java) S 14131 14131 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407585723 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210572113248 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14148] ppid=14131 vsize=15486016 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14148/stat : 14148 (java) S 14131 14131 14062 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 407585723 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210571060864 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14150] ppid=14131 vsize=15486016 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14150/stat : 14150 (java) S 14131 14131 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407585725 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210570009168 140211104798619 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14151] ppid=14131 vsize=15486016 memory=1452 CPUtime=1.63 cores=1,3,5,7
/proc/14134/task/14151/stat : 14151 (java) S 14131 14131 14062 0 -1 1077944384 6857 0 0 0 163 0 0 0 20 0 19 0 407585725 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210568956016 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14152] ppid=14131 vsize=15486016 memory=1452 CPUtime=1.55 cores=1,3,5,7
/proc/14134/task/14152/stat : 14152 (java) S 14131 14131 14062 0 -1 1077944384 8922 0 0 0 154 1 0 0 20 0 19 0 407585725 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210567903216 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14153] ppid=14131 vsize=15486016 memory=1452 CPUtime=0.69 cores=1,3,5,7
/proc/14134/task/14153/stat : 14153 (java) S 14131 14131 14062 0 -1 1077944384 5438 0 0 0 69 0 0 0 20 0 19 0 407585725 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210566850928 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14154] ppid=14131 vsize=15486016 memory=882420 CPUtime=0 cores=1,3,5,7
/proc/14134/task/14154/stat : 14154 (java) S 14131 14131 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407585726 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210565798368 140211104790229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14155] ppid=14131 vsize=15486016 memory=22880 CPUtime=0.04 cores=1,3,5,7
/proc/14134/task/14155/stat : 14155 (java) S 14131 14131 14062 0 -1 1077944384 518 0 0 0 0 4 0 0 20 0 19 0 407585726 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210564746160 140211104791170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14274] ppid=14131 vsize=15486016 memory=884780 CPUtime=135.76 cores=1,3,5,7
/proc/14134/task/14274/stat : 14274 (java) R 14131 14131 14062 0 -1 4202560 1064 0 0 0 13574 2 0 0 20 0 19 0 407585837 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210553667160 140210706254422 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14275] ppid=14131 vsize=15486016 memory=3624 CPUtime=135.28 cores=1,3,5,7
/proc/14134/task/14275/stat : 14275 (java) R 14131 14131 14062 0 -1 4202560 6776 0 0 0 13526 2 0 0 20 0 19 0 407585837 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210551565616 140210706048824 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14276] ppid=14131 vsize=15486016 memory=1452 CPUtime=135.36 cores=1,3,5,7
/proc/14134/task/14276/stat : 14276 (java) R 14131 14131 14062 0 -1 4202560 1936 0 0 0 13535 1 0 0 20 0 19 0 407585837 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210554720376 140210703998751 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
[pid=14134/tid=14277] ppid=14131 vsize=15486016 memory=1452 CPUtime=135.24 cores=1,3,5,7
/proc/14134/task/14277/stat : 14277 (java) R 14131 14131 14062 0 -1 4202560 5547 0 0 0 13519 5 0 0 20 0 19 0 407585837 15857680384 225093 33554432000 4194304 4196468 140737080019456 140210552614624 140210706048556 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13062144 140737080021999 140737080022170 140737080022170 140737080025039 0
Current children cumulated CPU time: 549.72 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 901824 KiB
Child status: 0
Real time (s): 139.186
CPU time (s): 550.005
CPU user time (s): 549.548
CPU system time (s): 0.457297
CPU usage (%): 395.159
Max. virtual memory (cumulated for all children) (KiB): 15599144
Max. memory (cumulated for all children) (KiB): 902336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 549.548
system time used= 0.457297
maximum resident set size= 900924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58868
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15621
involuntary context switches= 11306
# summary of solver processes directly reported to runsolver:
# pid: 14131
# total CPU time (s): 550.005
# total CPU user time (s): 549.548
# total CPU system time (s): 0.457297
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.877079 second user time and 1.65465 second system time
The end