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 (15260 MiB free)
memory of node 1: 16384 MiB (15252 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400422-1568675445/watcher-4400422-1568675445 -o /tmp/evaluation-result-4400422-1568675445/solver-4400422-1568675445 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32544 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 498798302 HOME/instance-4400422-1568675445.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=3392, runsolver pid=3389
Current StackSize limit: 8192 KiB
[startup+0.100212 s]*
/proc/loadavg: 8.79 8.71 8.00 8/233 3408
/proc/meminfo: memFree=31229232/32770624 swapFree=66997368/67108860
[pid=3392] ppid=3389 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3392/stat : 3392 (xcsp3-exec) S 3389 3392 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443797527 115843072 363 33554432000 4194304 5098028 140729681320448 140729681318552 140335350227580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39428096 140729681326971 140729681327213 140729681327213 140729681330122 0
/proc/3392/statm: 28282 363 304 221 0 87 0
[pid=3394] ppid=3392 vsize=15144776 memory=29628 CPUtime=0.12 cores=0,2,4,6
/proc/3394/stat : 3394 (java) S 3392 3392 32513 0 -1 1077944320 5808 0 0 0 11 1 0 0 20 0 15 0 443797527 15508250624 7407 33554432000 4194304 4196468 140729868942752 140729868925296 140401152138999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
/proc/3394/statm: 3786194 7407 3151 1 0 3748377 0
[pid=3394/tid=3395] ppid=3392 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/3394/task/3395/stat : 3395 (java) R 3392 3392 32513 0 -1 4202560 3737 0 0 0 8 1 0 0 20 0 15 0 443797528 15508250624 7407 33554432000 4194304 4196468 140729868942752 140401156373536 140401152150934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3396] ppid=3392 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3396/stat : 3396 (java) S 3392 3392 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443797528 15508250624 7407 33554432000 4194304 4196468 140729868942752 140401080179600 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3397] ppid=3392 vsize=15144776 memory=140241217918592 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3397/stat : 3397 (java) S 3392 3392 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443797528 15508250624 7407 33554432000 4194304 4196468 140729868942752 140401079126800 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3398] ppid=3392 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3398/stat : 3398 (java) S 3392 3392 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443797528 15508250624 7407 33554432000 4194304 4196468 140729868942752 140401078074512 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3399] ppid=3392 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3399/stat : 3399 (java) S 3392 3392 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443797528 15508250624 7407 33554432000 4194304 4196468 140729868942752 140401077021712 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3400] ppid=3392 vsize=15144776 memory=140241217918592 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3400/stat : 3400 (java) S 3392 3392 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443797530 15508250624 7407 33554432000 4194304 4196468 140729868942752 140400620206192 140401152150146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3401] ppid=3392 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3401/stat : 3401 (java) S 3392 3392 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443797530 15508250624 7407 33554432000 4194304 4196468 140729868942752 140400619152160 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3402] ppid=3392 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3402/stat : 3402 (java) S 3392 3392 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443797530 15508250624 7407 33554432000 4194304 4196468 140729868942752 140400618099824 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3403] ppid=3392 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3403/stat : 3403 (java) S 3392 3392 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443797533 15508250624 7407 33554432000 4194304 4196468 140729868942752 140400617048144 140401152157595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3404] ppid=3392 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3404/stat : 3404 (java) R 3392 3392 32513 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 443797533 15508250624 7407 33554432000 4194304 4196468 140729868942752 140400615996016 140401152150146 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3405] ppid=3392 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3405/stat : 3405 (java) R 3392 3392 32513 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 15 0 443797533 15508250624 7407 33554432000 4194304 4196468 140729868942752 140400614943216 140401133491312 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3406] ppid=3392 vsize=15144776 memory=140241217918592 CPUtime=0.02 cores=0,2,4,6
/proc/3394/task/3406/stat : 3406 (java) R 3392 3392 32513 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 15 0 443797533 15508250624 7407 33554432000 4194304 4196468 140729868942752 140400613890928 140401131119004 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3407] ppid=3392 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3407/stat : 3407 (java) S 3392 3392 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443797533 15508250624 7407 33554432000 4194304 4196468 140729868942752 140400612838368 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3408] ppid=3392 vsize=15144776 memory=140241217918592 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3408/stat : 3408 (java) S 3392 3392 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443797533 15508250624 7407 33554432000 4194304 4196468 140729868942752 140400611785136 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31080 KiB
[startup+0.210681 s]*
/proc/loadavg: 8.79 8.71 8.00 7/233 3408
/proc/meminfo: memFree=31216904/32770624 swapFree=66997368/67108860
[pid=3392] ppid=3389 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3392/stat : 3392 (xcsp3-exec) S 3389 3392 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443797527 115843072 363 33554432000 4194304 5098028 140729681320448 140729681318552 140335350227580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39428096 140729681326971 140729681327213 140729681327213 140729681330122 0
/proc/3392/statm: 28282 363 304 221 0 87 0
[pid=3394] ppid=3392 vsize=15144776 memory=41052 CPUtime=0.33 cores=0,2,4,6
/proc/3394/stat : 3394 (java) S 3392 3392 32513 0 -1 1077944320 9488 0 0 0 30 3 0 0 20 0 15 0 443797527 15508250624 10263 33554432000 4194304 4196468 140729868942752 140729868925296 140401152138999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
/proc/3394/statm: 3786194 10263 3310 1 0 3748377 0
[pid=3394/tid=3395] ppid=3392 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/3394/task/3395/stat : 3395 (java) R 3392 3392 32513 0 -1 4202560 6629 0 0 0 18 2 0 0 20 0 15 0 443797528 15508250624 10263 33554432000 4194304 4196468 140729868942752 140401156372704 140400752984592 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3396] ppid=3392 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3396/stat : 3396 (java) S 3392 3392 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443797528 15508250624 10263 33554432000 4194304 4196468 140729868942752 140401080179600 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3397] ppid=3392 vsize=15144776 memory=140241217946135 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3397/stat : 3397 (java) S 3392 3392 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443797528 15508250624 10263 33554432000 4194304 4196468 140729868942752 140401079126800 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3398] ppid=3392 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3398/stat : 3398 (java) S 3392 3392 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443797528 15508250624 10263 33554432000 4194304 4196468 140729868942752 140401078074512 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3399] ppid=3392 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3399/stat : 3399 (java) S 3392 3392 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443797528 15508250624 10263 33554432000 4194304 4196468 140729868942752 140401077021712 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3400] ppid=3392 vsize=15144776 memory=140241217918592 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3400/stat : 3400 (java) S 3392 3392 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 443797530 15508250624 10263 33554432000 4194304 4196468 140729868942752 140400620206192 140401152150146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3401] ppid=3392 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3401/stat : 3401 (java) S 3392 3392 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443797530 15508250624 10263 33554432000 4194304 4196468 140729868942752 140400619152160 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3402] ppid=3392 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3402/stat : 3402 (java) S 3392 3392 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443797530 15508250624 10263 33554432000 4194304 4196468 140729868942752 140400618099824 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3403] ppid=3392 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3403/stat : 3403 (java) S 3392 3392 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443797533 15508250624 10263 33554432000 4194304 4196468 140729868942752 140400617048144 140401152157595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3404] ppid=3392 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3394/task/3404/stat : 3404 (java) S 3392 3392 32513 0 -1 1077944384 753 0 0 0 2 0 0 0 20 0 15 0 443797533 15508250624 10263 33554432000 4194304 4196468 140729868942752 140400615996016 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3405] ppid=3392 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/3394/task/3405/stat : 3405 (java) S 3392 3392 32513 0 -1 1077944384 91 0 0 0 2 0 0 0 20 0 15 0 443797533 15508250624 10263 33554432000 4194304 4196468 140729868942752 140400614943216 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3406] ppid=3392 vsize=15144776 memory=140241217918592 CPUtime=0.07 cores=0,2,4,6
/proc/3394/task/3406/stat : 3406 (java) R 3392 3392 32513 0 -1 4202560 708 0 0 0 7 0 0 0 20 0 15 0 443797533 15508250624 10263 33554432000 4194304 4196468 140729868942752 140400613890736 140401130627808 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3407] ppid=3392 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3407/stat : 3407 (java) S 3392 3392 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443797533 15508250624 10263 33554432000 4194304 4196468 140729868942752 140400612838368 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3408] ppid=3392 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3408/stat : 3408 (java) S 3392 3392 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443797533 15508250624 10263 33554432000 4194304 4196468 140729868942752 140400611785136 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42504 KiB
[startup+0.31159 s]*
/proc/loadavg: 8.79 8.71 8.00 7/233 3408
/proc/meminfo: memFree=31209012/32770624 swapFree=66997368/67108860
[pid=3392] ppid=3389 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3392/stat : 3392 (xcsp3-exec) S 3389 3392 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443797527 115843072 363 33554432000 4194304 5098028 140729681320448 140729681318552 140335350227580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39428096 140729681326971 140729681327213 140729681327213 140729681330122 0
/proc/3392/statm: 28282 363 304 221 0 87 0
[pid=3394] ppid=3392 vsize=15149032 memory=50004 CPUtime=0.51 cores=0,2,4,6
/proc/3394/stat : 3394 (java) S 3392 3392 32513 0 -1 1077944320 10781 0 0 0 47 4 0 0 20 0 15 0 443797527 15512608768 12501 33554432000 4194304 4196468 140729868942752 140729868925296 140401152138999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
/proc/3394/statm: 3787258 12501 3358 1 0 3748377 0
[pid=3394/tid=3395] ppid=3392 vsize=15149032 memory=32213995742560408 CPUtime=0.3 cores=0,2,4,6
/proc/3394/task/3395/stat : 3395 (java) R 3392 3392 32513 0 -1 4202560 7791 0 0 0 27 3 0 0 20 0 15 0 443797528 15512608768 12501 33554432000 4194304 4196468 140729868942752 140401156370112 140401136219486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3396] ppid=3392 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3396/stat : 3396 (java) S 3392 3392 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443797528 15512608768 12501 33554432000 4194304 4196468 140729868942752 140401080179600 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3397] ppid=3392 vsize=15149032 memory=16105866226417488 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3397/stat : 3397 (java) S 3392 3392 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443797528 15512608768 12501 33554432000 4194304 4196468 140729868942752 140401079126800 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3398] ppid=3392 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3398/stat : 3398 (java) S 3392 3392 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443797528 15512608768 12501 33554432000 4194304 4196468 140729868942752 140401078074512 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3399] ppid=3392 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3399/stat : 3399 (java) S 3392 3392 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443797528 15512608768 12501 33554432000 4194304 4196468 140729868942752 140401077021712 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3400] ppid=3392 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3400/stat : 3400 (java) S 3392 3392 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 443797530 15512608768 12501 33554432000 4194304 4196468 140729868942752 140400620206192 140401152150146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3401] ppid=3392 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3401/stat : 3401 (java) S 3392 3392 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443797530 15512608768 12501 33554432000 4194304 4196468 140729868942752 140400619152160 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3402] ppid=3392 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3402/stat : 3402 (java) S 3392 3392 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443797530 15512608768 12501 33554432000 4194304 4196468 140729868942752 140400618099824 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3403] ppid=3392 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3403/stat : 3403 (java) S 3392 3392 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443797533 15512608768 12501 33554432000 4194304 4196468 140729868942752 140400617048144 140401152157595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3404] ppid=3392 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/3394/task/3404/stat : 3404 (java) S 3392 3392 32513 0 -1 1077944384 762 0 0 0 4 0 0 0 20 0 15 0 443797533 15512608768 12501 33554432000 4194304 4196468 140729868942752 140400615996016 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3405] ppid=3392 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3394/task/3405/stat : 3405 (java) S 3392 3392 32513 0 -1 1077944384 136 0 0 0 3 0 0 0 20 0 15 0 443797533 15512608768 12501 33554432000 4194304 4196468 140729868942752 140400614943216 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3406] ppid=3392 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/3394/task/3406/stat : 3406 (java) S 3392 3392 32513 0 -1 1077944384 815 0 0 0 12 0 0 0 20 0 15 0 443797533 15512608768 12501 33554432000 4194304 4196468 140729868942752 140400613890928 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3407] ppid=3392 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3407/stat : 3407 (java) S 3392 3392 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443797533 15512608768 12501 33554432000 4194304 4196468 140729868942752 140400612838368 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3408] ppid=3392 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3408/stat : 3408 (java) S 3392 3392 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443797533 15512608768 12501 33554432000 4194304 4196468 140729868942752 140400611785136 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51456 KiB
[startup+0.700839 s]
/proc/loadavg: 8.79 8.71 8.00 10/234 3409
/proc/meminfo: memFree=31198080/32770624 swapFree=66997368/67108860
[pid=3392] ppid=3389 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3392/stat : 3392 (xcsp3-exec) S 3389 3392 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443797527 115843072 363 33554432000 4194304 5098028 140729681320448 140729681318552 140335350227580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39428096 140729681326971 140729681327213 140729681327213 140729681330122 0
/proc/3392/statm: 28282 363 304 221 0 87 0
[pid=3394] ppid=3392 vsize=15417412 memory=93888 CPUtime=1.53 cores=0,2,4,6
/proc/3394/stat : 3394 (java) S 3392 3392 32513 0 -1 1077944320 14769 0 0 0 147 6 0 0 20 0 17 0 443797527 15787429888 23472 33554432000 4194304 4196468 140729868942752 140729868925296 140401152138999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
/proc/3394/statm: 3854353 23472 3452 1 0 3815453 0
[pid=3394/tid=3395] ppid=3392 vsize=15417412 memory=0 CPUtime=0.62 cores=0,2,4,6
/proc/3394/task/3395/stat : 3395 (java) S 3392 3392 32513 0 -1 1077944384 9320 0 0 0 58 4 0 0 20 0 17 0 443797528 15787429888 23472 33554432000 4194304 4196468 140729868942752 140401156379776 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3396] ppid=3392 vsize=15417412 memory=143 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3396/stat : 3396 (java) S 3392 3392 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 17 0 443797528 15787429888 23472 33554432000 4194304 4196468 140729868942752 140401080179600 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3397] ppid=3392 vsize=15417412 memory=2 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3397/stat : 3397 (java) S 3392 3392 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 443797528 15787429888 23472 33554432000 4194304 4196468 140729868942752 140401079126800 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3398] ppid=3392 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3398/stat : 3398 (java) S 3392 3392 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 17 0 443797528 15787429888 23472 33554432000 4194304 4196468 140729868942752 140401078074512 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3399] ppid=3392 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3399/stat : 3399 (java) S 3392 3392 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 17 0 443797528 15787429888 23472 33554432000 4194304 4196468 140729868942752 140401077021712 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3400] ppid=3392 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3400/stat : 3400 (java) S 3392 3392 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 17 0 443797530 15787429888 23472 33554432000 4194304 4196468 140729868942752 140400620206192 140401152150146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3401] ppid=3392 vsize=15417412 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3401/stat : 3401 (java) S 3392 3392 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 443797530 15787429888 23472 33554432000 4194304 4196468 140729868942752 140400619152160 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3402] ppid=3392 vsize=15417412 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3402/stat : 3402 (java) S 3392 3392 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 443797530 15787429888 23472 33554432000 4194304 4196468 140729868942752 140400618099824 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3403] ppid=3392 vsize=15417412 memory=812 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3403/stat : 3403 (java) S 3392 3392 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 443797533 15787429888 23472 33554432000 4194304 4196468 140729868942752 140400617048144 140401152157595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3404] ppid=3392 vsize=15417412 memory=1764 CPUtime=0.21 cores=0,2,4,6
/proc/3394/task/3404/stat : 3404 (java) S 3392 3392 32513 0 -1 1077944384 1428 0 0 0 21 0 0 0 20 0 17 0 443797533 15787429888 23472 33554432000 4194304 4196468 140729868942752 140400615996016 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3405] ppid=3392 vsize=15417412 memory=111628 CPUtime=0.2 cores=0,2,4,6
/proc/3394/task/3405/stat : 3405 (java) S 3392 3392 32513 0 -1 1077944384 744 0 0 0 20 0 0 0 20 0 17 0 443797533 15787429888 23472 33554432000 4194304 4196468 140729868942752 140400614943216 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3406] ppid=3392 vsize=15417412 memory=796 CPUtime=0.41 cores=0,2,4,6
/proc/3394/task/3406/stat : 3406 (java) S 3392 3392 32513 0 -1 1077944384 1634 0 0 0 41 0 0 0 20 0 17 0 443797533 15787429888 23472 33554432000 4194304 4196468 140729868942752 140400613890928 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3407] ppid=3392 vsize=15417412 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3407/stat : 3407 (java) S 3392 3392 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 443797533 15787429888 23472 33554432000 4194304 4196468 140729868942752 140400612838368 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3408] ppid=3392 vsize=15417412 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3408/stat : 3408 (java) S 3392 3392 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 443797533 15787429888 23472 33554432000 4194304 4196468 140729868942752 140400611785136 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 95340 KiB
[startup+1.50719 s]
/proc/loadavg: 8.79 8.71 8.00 10/237 3457
/proc/meminfo: memFree=31079156/32770624 swapFree=66997368/67108860
[pid=3392] ppid=3389 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3392/stat : 3392 (xcsp3-exec) S 3389 3392 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443797527 115843072 363 33554432000 4194304 5098028 140729681320448 140729681318552 140335350227580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39428096 140729681326971 140729681327213 140729681327213 140729681330122 0
/proc/3392/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/3394/task/3408/stat : 3408 (java) S 3392 3392 32513 0 -1 1077944384 386 0 0 0 0 0 0 0 20 0 19 0 443797533 15927955456 50119 33554432000 4194304 4196468 140729868942752 140400611785136 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3474] ppid=3392 vsize=15554644 memory=280482168644088 CPUtime=8.29 cores=0,2,4,6
/proc/3394/task/3474/stat : 3474 (java) R 3392 3392 32513 0 -1 4202560 265 0 0 0 829 0 0 0 20 0 19 0 443797794 15927955456 50119 33554432000 4194304 4196468 140729868942752 140400528419448 140400757872894 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3475] ppid=3392 vsize=15554644 memory=3992 CPUtime=8.38 cores=0,2,4,6
/proc/3394/task/3475/stat : 3475 (java) R 3392 3392 32513 0 -1 4202560 653 0 0 0 838 0 0 0 20 0 19 0 443797794 15927955456 50119 33554432000 4194304 4196468 140729868942752 140400531578880 140400759267920 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3476] ppid=3392 vsize=15554644 memory=2828 CPUtime=8.23 cores=0,2,4,6
/proc/3394/task/3476/stat : 3476 (java) R 3392 3392 32513 0 -1 4202560 695 0 0 0 823 0 0 0 20 0 19 0 443797794 15927955456 50119 33554432000 4194304 4196468 140729868942752 140400529473528 140400759938440 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3477] ppid=3392 vsize=15554644 memory=3504 CPUtime=8.41 cores=0,2,4,6
/proc/3394/task/3477/stat : 3477 (java) R 3392 3392 32513 0 -1 4202560 298 0 0 0 841 0 0 0 20 0 19 0 443797794 15927955456 50119 33554432000 4194304 4196468 140729868942752 140400534739200 140400758237041 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
Current children cumulated CPU time: 43.1 s
Current children cumulated vsize: 15667772 KiB
Current children cumulated memory: 201928 KiB
[startup+12.0022 s]*
/proc/loadavg: 8.97 8.76 8.02 10/237 3481
/proc/meminfo: memFree=31018304/32770624 swapFree=66997368/67108860
[pid=3392] ppid=3389 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3392/stat : 3392 (xcsp3-exec) S 3389 3392 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443797527 115843072 363 33554432000 4194304 5098028 140729681320448 140729681318552 140335350227580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39428096 140729681326971 140729681327213 140729681327213 140729681330122 0
/proc/3392/statm: 28282 363 304 221 0 87 0
[pid=3394] ppid=3392 vsize=15554644 memory=195360 CPUtime=46.31 cores=0,2,4,6
/proc/3394/stat : 3394 (java) S 3392 3392 32513 0 -1 1077944320 30775 0 0 0 4619 12 0 0 20 0 19 0 443797527 15927955456 48840 33554432000 4194304 4196468 140729868942752 140729868925296 140401152138999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
/proc/3394/statm: 3888661 48840 3525 1 0 3849761 0
[pid=3394/tid=3395] ppid=3392 vsize=15554644 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/3394/task/3395/stat : 3395 (java) S 3392 3392 32513 0 -1 1077944384 9320 0 0 0 59 4 0 0 20 0 19 0 443797528 15927955456 48840 33554432000 4194304 4196468 140729868942752 140401156379776 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3396] ppid=3392 vsize=15554644 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3394/task/3396/stat : 3396 (java) S 3392 3392 32513 0 -1 1077944384 536 0 0 0 2 0 0 0 20 0 19 0 443797528 15927955456 48840 33554432000 4194304 4196468 140729868942752 140401080179600 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3397] ppid=3392 vsize=15554644 memory=3906225896162545074 CPUtime=0.02 cores=0,2,4,6
/proc/3394/task/3397/stat : 3397 (java) S 3392 3392 32513 0 -1 1077944384 1033 0 0 0 2 0 0 0 20 0 19 0 443797528 15927955456 48840 33554432000 4194304 4196468 140729868942752 140401079126800 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3398] ppid=3392 vsize=15554644 memory=4026532047 CPUtime=0.02 cores=0,2,4,6
/proc/3394/task/3398/stat : 3398 (java) S 3392 3392 32513 0 -1 1077944384 167 0 0 0 2 0 0 0 20 0 19 0 443797528 15927955456 48840 33554432000 4194304 4196468 140729868942752 140401078074512 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3399] ppid=3392 vsize=15554644 memory=9379 CPUtime=0.02 cores=0,2,4,6
/proc/3394/task/3399/stat : 3399 (java) S 3392 3392 32513 0 -1 1077944384 128 0 0 0 2 0 0 0 20 0 19 0 443797528 15927955456 48840 33554432000 4194304 4196468 140729868942752 140401077021712 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3400] ppid=3392 vsize=15554644 memory=3332344 CPUtime=0.01 cores=0,2,4,6
/proc/3394/task/3400/stat : 3400 (java) S 3392 3392 32513 0 -1 1077944384 480 0 0 0 1 0 0 0 20 0 19 0 443797530 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400620206192 140401152150146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3401] ppid=3392 vsize=15554644 memory=4639074098508484688 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3401/stat : 3401 (java) S 3392 3392 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 443797530 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400619152224 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3402] ppid=3392 vsize=15554644 memory=4639074098508484692 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3402/stat : 3402 (java) S 3392 3392 32513 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 443797530 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400618099840 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3403] ppid=3392 vsize=15554644 memory=6935651510350008400 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3403/stat : 3403 (java) S 3392 3392 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443797533 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400617048144 140401152157595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3404] ppid=3392 vsize=15554644 memory=7367994820054245709 CPUtime=1.36 cores=0,2,4,6
/proc/3394/task/3404/stat : 3404 (java) R 3392 3392 32513 0 -1 4202560 5004 0 0 0 135 1 0 0 20 0 19 0 443797533 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400615996312 140401144428288 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3405] ppid=3392 vsize=15554644 memory=6935653653823705168 CPUtime=1.58 cores=0,2,4,6
/proc/3394/task/3405/stat : 3405 (java) S 3392 3392 32513 0 -1 1077944384 5294 0 0 0 158 0 0 0 20 0 19 0 443797533 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400614943216 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3406] ppid=3392 vsize=15554644 memory=7955442992056658023 CPUtime=0.67 cores=0,2,4,6
/proc/3394/task/3406/stat : 3406 (java) S 3392 3392 32513 0 -1 1077944384 3825 0 0 0 66 1 0 0 20 0 19 0 443797533 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400613890928 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3407] ppid=3392 vsize=15554644 memory=5450909908396308010 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3407/stat : 3407 (java) S 3392 3392 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443797533 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400612838368 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3408] ppid=3392 vsize=15554644 memory=5450909908396308010 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3408/stat : 3408 (java) S 3392 3392 32513 0 -1 1077944384 386 0 0 0 0 0 0 0 20 0 19 0 443797533 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400611785136 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3474] ppid=3392 vsize=15554644 memory=-8412654363917126771 CPUtime=9.08 cores=0,2,4,6
/proc/3394/task/3474/stat : 3474 (java) R 3392 3392 32513 0 -1 4202560 266 0 0 0 908 0 0 0 20 0 19 0 443797794 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400528419992 140400758236617 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3475] ppid=3392 vsize=15554644 memory=5450916479880885802 CPUtime=9.18 cores=0,2,4,6
/proc/3394/task/3475/stat : 3475 (java) R 3392 3392 32513 0 -1 4202560 657 0 0 0 918 0 0 0 20 0 19 0 443797794 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400531581136 140400759984904 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3476] ppid=3392 vsize=15554644 memory=-7028383565733675155 CPUtime=9.03 cores=0,2,4,6
/proc/3394/task/3476/stat : 3476 (java) R 3392 3392 32513 0 -1 4202560 696 0 0 0 903 0 0 0 20 0 19 0 443797794 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400529474248 140400758485258 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3477] ppid=3392 vsize=15554644 memory=3504 CPUtime=9.16 cores=0,2,4,6
/proc/3394/task/3477/stat : 3477 (java) R 3392 3392 32513 0 -1 4202560 298 0 0 0 916 0 0 0 20 0 19 0 443797794 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400534739576 140400758236962 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
Current children cumulated CPU time: 46.31 s
Current children cumulated vsize: 15667772 KiB
Current children cumulated memory: 196812 KiB
[startup+12.4012 s]
/proc/loadavg: 8.97 8.76 8.02 10/237 3481
/proc/meminfo: memFree=31018304/32770624 swapFree=66997368/67108860
[pid=3392] ppid=3389 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3392/stat : 3392 (xcsp3-exec) S 3389 3392 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443797527 115843072 363 33554432000 4194304 5098028 140729681320448 140729681318552 140335350227580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39428096 140729681326971 140729681327213 140729681327213 140729681330122 0
/proc/3392/statm: 28282 363 304 221 0 87 0
[pid=3394] ppid=3392 vsize=15554644 memory=195360 CPUtime=47.87 cores=0,2,4,6
/proc/3394/stat : 3394 (java) S 3392 3392 32513 0 -1 1077944320 30833 0 0 0 4775 12 0 0 20 0 19 0 443797527 15927955456 48840 33554432000 4194304 4196468 140729868942752 140729868925296 140401152138999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
/proc/3394/statm: 3888661 48840 3525 1 0 3849761 0
[pid=3394/tid=3395] ppid=3392 vsize=15554644 memory=611 CPUtime=0.63 cores=0,2,4,6
/proc/3394/task/3395/stat : 3395 (java) S 3392 3392 32513 0 -1 1077944384 9320 0 0 0 59 4 0 0 20 0 19 0 443797528 15927955456 48840 33554432000 4194304 4196468 140729868942752 140401156379776 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3396] ppid=3392 vsize=15554644 memory=15796 CPUtime=0.02 cores=0,2,4,6
/proc/3394/task/3396/stat : 3396 (java) S 3392 3392 32513 0 -1 1077944384 536 0 0 0 2 0 0 0 20 0 19 0 443797528 15927955456 48840 33554432000 4194304 4196468 140729868942752 140401080179600 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3397] ppid=3392 vsize=15554644 memory=140241084775465 CPUtime=0.02 cores=0,2,4,6
/proc/3394/task/3397/stat : 3397 (java) S 3392 3392 32513 0 -1 1077944384 1033 0 0 0 2 0 0 0 20 0 19 0 443797528 15927955456 48840 33554432000 4194304 4196468 140729868942752 140401079126800 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3398] ppid=3392 vsize=15554644 memory=280482169327584 CPUtime=0.02 cores=0,2,4,6
/proc/3394/task/3398/stat : 3398 (java) S 3392 3392 32513 0 -1 1077944384 168 0 0 0 2 0 0 0 20 0 19 0 443797528 15927955456 48840 33554432000 4194304 4196468 140729868942752 140401078074512 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3399] ppid=3392 vsize=15554644 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3394/task/3399/stat : 3399 (java) S 3392 3392 32513 0 -1 1077944384 129 0 0 0 2 0 0 0 20 0 19 0 443797528 15927955456 48840 33554432000 4194304 4196468 140729868942752 140401077021712 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3400] ppid=3392 vsize=15554644 memory=4552 CPUtime=0.01 cores=0,2,4,6
/proc/3394/task/3400/stat : 3400 (java) S 3392 3392 32513 0 -1 1077944384 480 0 0 0 1 0 0 0 20 0 19 0 443797530 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400620206192 140401152150146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3401] ppid=3392 vsize=15554644 memory=63 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3401/stat : 3401 (java) S 3392 3392 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 443797530 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400619152224 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3402] ppid=3392 vsize=15554644 memory=2 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3402/stat : 3402 (java) S 3392 3392 32513 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 443797530 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400618099840 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3403] ppid=3392 vsize=15554644 memory=2 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3403/stat : 3403 (java) S 3392 3392 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443797533 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400617048144 140401152157595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3404] ppid=3392 vsize=15554644 memory=2 CPUtime=1.36 cores=0,2,4,6
/proc/3394/task/3404/stat : 3404 (java) S 3392 3392 32513 0 -1 1077944384 5004 0 0 0 135 1 0 0 20 0 19 0 443797533 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400615996016 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3405] ppid=3392 vsize=15554644 memory=2 CPUtime=1.59 cores=0,2,4,6
/proc/3394/task/3405/stat : 3405 (java) S 3392 3392 32513 0 -1 1077944384 5303 0 0 0 159 0 0 0 20 0 19 0 443797533 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400614943216 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3406] ppid=3392 vsize=15554644 memory=1 CPUtime=0.67 cores=0,2,4,6
/proc/3394/task/3406/stat : 3406 (java) S 3392 3392 32513 0 -1 1077944384 3868 0 0 0 66 1 0 0 20 0 19 0 443797533 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400613890928 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3407] ppid=3392 vsize=15554644 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3407/stat : 3407 (java) S 3392 3392 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443797533 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400612838368 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3408] ppid=3392 vsize=15554644 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3408/stat : 3408 (java) S 3392 3392 32513 0 -1 1077944384 386 0 0 0 0 0 0 0 20 0 19 0 443797533 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400611785136 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3474] ppid=3392 vsize=15554644 memory=0 CPUtime=9.47 cores=0,2,4,6
/proc/3394/task/3474/stat : 3474 (java) R 3392 3392 32513 0 -1 4202560 266 0 0 0 947 0 0 0 20 0 19 0 443797794 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400528419856 140400759256779 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3475] ppid=3392 vsize=15554644 memory=135 CPUtime=9.57 cores=0,2,4,6
/proc/3394/task/3475/stat : 3475 (java) R 3392 3392 32513 0 -1 4202560 657 0 0 0 957 0 0 0 20 0 19 0 443797794 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400531579528 140400758136084 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3476] ppid=3392 vsize=15554644 memory=157 CPUtime=9.41 cores=0,2,4,6
/proc/3394/task/3476/stat : 3476 (java) R 3392 3392 32513 0 -1 4202560 700 0 0 0 941 0 0 0 20 0 19 0 443797794 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400529473808 140400759300261 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3477] ppid=3392 vsize=15554644 memory=67 CPUtime=9.55 cores=0,2,4,6
/proc/3394/task/3477/stat : 3477 (java) R 3392 3392 32513 0 -1 4202560 298 0 0 0 955 0 0 0 20 0 19 0 443797794 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400534739232 140400754004859 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
Current children cumulated CPU time: 47.87 s
Current children cumulated vsize: 15667772 KiB
Current children cumulated memory: 196812 KiB
[startup+12.6012 s]
/proc/loadavg: 8.97 8.76 8.02 10/237 3481
/proc/meminfo: memFree=31018304/32770624 swapFree=66997368/67108860
[pid=3392] ppid=3389 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/3392/stat : 3392 (xcsp3-exec) S 3389 3392 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443797527 115843072 363 33554432000 4194304 5098028 140729681320448 140729681318552 140335350227580 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39428096 140729681326971 140729681327213 140729681327213 140729681330122 0
/proc/3392/statm: 28282 363 304 221 0 87 0
[pid=3394] ppid=3392 vsize=15554644 memory=195360 CPUtime=48.67 cores=0,2,4,6
/proc/3394/stat : 3394 (java) S 3392 3392 32513 0 -1 1077944320 30833 0 0 0 4855 12 0 0 20 0 19 0 443797527 15927955456 48840 33554432000 4194304 4196468 140729868942752 140729868925296 140401152138999 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
/proc/3394/statm: 3888661 48840 3525 1 0 3849761 0
[pid=3394/tid=3395] ppid=3392 vsize=15554644 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/3394/task/3395/stat : 3395 (java) S 3392 3392 32513 0 -1 1077944384 9320 0 0 0 59 4 0 0 20 0 19 0 443797528 15927955456 48840 33554432000 4194304 4196468 140729868942752 140401156379776 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3396] ppid=3392 vsize=15554644 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3394/task/3396/stat : 3396 (java) S 3392 3392 32513 0 -1 1077944384 536 0 0 0 2 0 0 0 20 0 19 0 443797528 15927955456 48840 33554432000 4194304 4196468 140729868942752 140401080179600 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3397] ppid=3392 vsize=15554644 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3394/task/3397/stat : 3397 (java) S 3392 3392 32513 0 -1 1077944384 1033 0 0 0 2 0 0 0 20 0 19 0 443797528 15927955456 48840 33554432000 4194304 4196468 140729868942752 140401079126800 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3398] ppid=3392 vsize=15554644 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3394/task/3398/stat : 3398 (java) S 3392 3392 32513 0 -1 1077944384 168 0 0 0 2 0 0 0 20 0 19 0 443797528 15927955456 48840 33554432000 4194304 4196468 140729868942752 140401078074512 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3399] ppid=3392 vsize=15554644 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3394/task/3399/stat : 3399 (java) S 3392 3392 32513 0 -1 1077944384 129 0 0 0 2 0 0 0 20 0 19 0 443797528 15927955456 48840 33554432000 4194304 4196468 140729868942752 140401077021712 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3400] ppid=3392 vsize=15554644 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3394/task/3400/stat : 3400 (java) S 3392 3392 32513 0 -1 1077944384 480 0 0 0 1 0 0 0 20 0 19 0 443797530 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400620206192 140401152150146 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3401] ppid=3392 vsize=15554644 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3401/stat : 3401 (java) S 3392 3392 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 443797530 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400619152224 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3402] ppid=3392 vsize=15554644 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3402/stat : 3402 (java) S 3392 3392 32513 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 443797530 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400618099840 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3403] ppid=3392 vsize=15554644 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3403/stat : 3403 (java) S 3392 3392 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443797533 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400617048144 140401152157595 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3404] ppid=3392 vsize=15554644 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/3394/task/3404/stat : 3404 (java) S 3392 3392 32513 0 -1 1077944384 5004 0 0 0 135 1 0 0 20 0 19 0 443797533 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400615996016 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3405] ppid=3392 vsize=15554644 memory=0 CPUtime=1.59 cores=0,2,4,6
/proc/3394/task/3405/stat : 3405 (java) S 3392 3392 32513 0 -1 1077944384 5303 0 0 0 159 0 0 0 20 0 19 0 443797533 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400614943216 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3406] ppid=3392 vsize=15554644 memory=140241084959652 CPUtime=0.67 cores=0,2,4,6
/proc/3394/task/3406/stat : 3406 (java) S 3392 3392 32513 0 -1 1077944384 3868 0 0 0 66 1 0 0 20 0 19 0 443797533 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400613890928 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3407] ppid=3392 vsize=15554644 memory=4715435516538746410 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3407/stat : 3407 (java) S 3392 3392 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443797533 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400612838368 140401152149205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3408] ppid=3392 vsize=15554644 memory=-8486080722631693414 CPUtime=0 cores=0,2,4,6
/proc/3394/task/3408/stat : 3408 (java) S 3392 3392 32513 0 -1 1077944384 386 0 0 0 0 0 0 0 20 0 19 0 443797533 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400611785136 140401152150146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3474] ppid=3392 vsize=15554644 memory=-7666414585839465563 CPUtime=9.67 cores=0,2,4,6
/proc/3394/task/3474/stat : 3474 (java) R 3392 3392 32513 0 -1 4202560 266 0 0 0 967 0 0 0 20 0 19 0 443797794 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400528419992 140400758628950 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3475] ppid=3392 vsize=15554644 memory=-6520478321162704286 CPUtime=9.77 cores=0,2,4,6
/proc/3394/task/3475/stat : 3475 (java) R 3392 3392 32513 0 -1 4202560 657 0 0 0 977 0 0 0 20 0 19 0 443797794 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400531579528 140400757947390 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3476] ppid=3392 vsize=15554644 memory=-7521736447810188379 CPUtime=9.61 cores=0,2,4,6
/proc/3394/task/3476/stat : 3476 (java) R 3392 3392 32513 0 -1 4202560 700 0 0 0 961 0 0 0 20 0 19 0 443797794 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400529473808 140400757947549 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
[pid=3394/tid=3477] ppid=3392 vsize=15554644 memory=-8412652160765825907 CPUtime=9.75 cores=0,2,4,6
/proc/3394/task/3477/stat : 3477 (java) R 3392 3392 32513 0 -1 4202560 298 0 0 0 975 0 0 0 20 0 19 0 443797794 15927955456 48840 33554432000 4194304 4196468 140729868942752 140400534739232 140400757379328 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35540992 140729868944367 140729868944538 140729868944538 140729868947407 0
Current children cumulated CPU time: 48.67 s
Current children cumulated vsize: 15667772 KiB
Current children cumulated memory: 196812 KiB
Child status: 0
Real time (s): 12.6945
CPU time (s): 49.0351
CPU user time (s): 48.8993
CPU system time (s): 0.135781
CPU usage (%): 386.27
Max. virtual memory (cumulated for all children) (KiB): 15667772
Max. memory (cumulated for all children) (KiB): 210652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.8993
system time used= 0.135781
maximum resident set size= 211248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31918
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= 3490
involuntary context switches= 1188
# summary of solver processes directly reported to runsolver:
# pid: 3392
# total CPU time (s): 49.0351
# total CPU user time (s): 48.8993
# total CPU system time (s): 0.135781
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.087121 second user time and 0.196726 second system time
The end