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 (13656 MiB free)
memory of node 1: 16384 MiB (13677 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406364-1569404124/watcher-4406364-1569404124 -o /tmp/evaluation-result-4406364-1569404124/solver-4406364-1569404124 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1569396611-14059 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1863324650 HOME/instance-4406364-1569404124.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
Current StackSize limit: 8192 KiB
solver pid=16385, runsolver pid=16382
[startup+0.100083 s]*
/proc/loadavg: 2.08 1.96 1.87 5/229 16401
/proc/meminfo: memFree=27973864/32770624 swapFree=66999256/67108860
[pid=16385] ppid=16382 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16385/stat : 16385 (xcsp3-exec) S 16382 16385 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516665506 115843072 363 33554432000 4194304 5098028 140726951671264 140726951669368 140296484962940 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33988608 140726951678842 140726951679085 140726951679085 140726951681994 0
/proc/16385/statm: 28282 363 304 221 0 87 0
[pid=16387] ppid=16385 vsize=15144776 memory=28768 CPUtime=0.13 cores=0,2,4,6
/proc/16387/stat : 16387 (java) S 16385 16385 14027 0 -1 1077944320 5683 0 0 0 12 1 0 0 20 0 15 0 516665507 15508250624 7192 33554432000 4194304 4196468 140726416432224 140726416414768 140024862011127 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
/proc/16387/statm: 3786194 7192 3090 1 0 3748377 0
[pid=16387/tid=16388] ppid=16385 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/16387/task/16388/stat : 16388 (java) R 16385 16385 14027 0 -1 4202560 3586 0 0 0 9 0 0 0 20 0 15 0 516665507 15508250624 7192 33554432000 4194304 4196468 140726416432224 140024866236960 140024847184086 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16389] ppid=16385 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16389/stat : 16389 (java) S 16385 16385 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516665508 15508250624 7192 33554432000 4194304 4196468 140726416432224 140024798247696 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16390] ppid=16385 vsize=15144776 memory=140148084529730 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16390/stat : 16390 (java) S 16385 16385 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516665508 15508250624 7192 33554432000 4194304 4196468 140726416432224 140024797195152 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16391] ppid=16385 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16391/stat : 16391 (java) S 16385 16385 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516665508 15508250624 7192 33554432000 4194304 4196468 140726416432224 140024796142608 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16392] ppid=16385 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16392/stat : 16392 (java) S 16385 16385 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516665508 15508250624 7192 33554432000 4194304 4196468 140726416432224 140024795090064 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16393] ppid=16385 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16393/stat : 16393 (java) S 16385 16385 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516665509 15508250624 7192 33554432000 4194304 4196468 140726416432224 140024397768688 140024862022274 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16394] ppid=16385 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16394/stat : 16394 (java) S 16385 16385 14027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516665510 15508250624 7192 33554432000 4194304 4196468 140726416432224 140024396714912 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16395] ppid=16385 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16395/stat : 16395 (java) S 16385 16385 14027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516665510 15508250624 7192 33554432000 4194304 4196468 140726416432224 140024395662320 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16396] ppid=16385 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16396/stat : 16396 (java) S 16385 16385 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516665512 15508250624 7256 33554432000 4194304 4196468 140726416432224 140024394610896 140024862029723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16397] ppid=16385 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16397/stat : 16397 (java) R 16385 16385 14027 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 15 0 516665512 15508250624 7256 33554432000 4194304 4196468 140726416432224 140024393558608 140024839843984 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16398] ppid=16385 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16398/stat : 16398 (java) R 16385 16385 14027 0 -1 1077944384 391 0 0 0 0 0 0 0 20 0 15 0 516665512 15508250624 7256 33554432000 4194304 4196468 140726416432224 140024392505968 140024862022274 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16399] ppid=16385 vsize=15144776 memory=140148080420480 CPUtime=0.02 cores=0,2,4,6
/proc/16387/task/16399/stat : 16399 (java) R 16385 16385 14027 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 516665512 15508250624 7256 33554432000 4194304 4196468 140726416432224 140024391453424 140024862023062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16400] ppid=16385 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16400/stat : 16400 (java) S 16385 16385 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516665512 15508250624 7256 33554432000 4194304 4196468 140726416432224 140024322452576 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16401] ppid=16385 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16401/stat : 16401 (java) S 16385 16385 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516665513 15508250624 7256 33554432000 4194304 4196468 140726416432224 140024321399088 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30220 KiB
[startup+0.210682 s]*
/proc/loadavg: 2.08 1.96 1.87 3/229 16401
/proc/meminfo: memFree=27961412/32770624 swapFree=66999256/67108860
[pid=16385] ppid=16382 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16385/stat : 16385 (xcsp3-exec) S 16382 16385 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516665506 115843072 363 33554432000 4194304 5098028 140726951671264 140726951669368 140296484962940 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33988608 140726951678842 140726951679085 140726951679085 140726951681994 0
/proc/16385/statm: 28282 363 304 221 0 87 0
[pid=16387] ppid=16385 vsize=15144776 memory=40864 CPUtime=0.34 cores=0,2,4,6
/proc/16387/stat : 16387 (java) S 16385 16385 14027 0 -1 1077944320 9439 0 0 0 31 3 0 0 20 0 15 0 516665507 15508250624 10216 33554432000 4194304 4196468 140726416432224 140726416414768 140024862011127 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
/proc/16387/statm: 3786194 10216 3308 1 0 3748377 0
[pid=16387/tid=16388] ppid=16385 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/16387/task/16388/stat : 16388 (java) R 16385 16385 14027 0 -1 4202560 6617 0 0 0 18 2 0 0 20 0 15 0 516665507 15508250624 10216 33554432000 4194304 4196468 140726416432224 140024866245184 140024862023062 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16389] ppid=16385 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16389/stat : 16389 (java) S 16385 16385 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516665508 15508250624 10216 33554432000 4194304 4196468 140726416432224 140024798247696 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16390] ppid=16385 vsize=15144776 memory=4122113811556640416 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16390/stat : 16390 (java) S 16385 16385 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516665508 15508250624 10216 33554432000 4194304 4196468 140726416432224 140024797195152 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16391] ppid=16385 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16391/stat : 16391 (java) S 16385 16385 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516665508 15508250624 10216 33554432000 4194304 4196468 140726416432224 140024796142608 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16392] ppid=16385 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16392/stat : 16392 (java) S 16385 16385 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516665508 15508250624 10216 33554432000 4194304 4196468 140726416432224 140024795090064 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16393] ppid=16385 vsize=15144776 memory=140148080420480 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16393/stat : 16393 (java) S 16385 16385 14027 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516665509 15508250624 10216 33554432000 4194304 4196468 140726416432224 140024397768688 140024862022274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16394] ppid=16385 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16394/stat : 16394 (java) S 16385 16385 14027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516665510 15508250624 10216 33554432000 4194304 4196468 140726416432224 140024396714912 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16395] ppid=16385 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16395/stat : 16395 (java) S 16385 16385 14027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516665510 15508250624 10216 33554432000 4194304 4196468 140726416432224 140024395662320 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16396] ppid=16385 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16396/stat : 16396 (java) S 16385 16385 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516665512 15508250624 10216 33554432000 4194304 4196468 140726416432224 140024394610896 140024862029723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16397] ppid=16385 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16387/task/16397/stat : 16397 (java) S 16385 16385 14027 0 -1 1077944384 324 0 0 0 3 0 0 0 20 0 15 0 516665512 15508250624 10216 33554432000 4194304 4196468 140726416432224 140024393558512 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16398] ppid=16385 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16387/task/16398/stat : 16398 (java) S 16385 16385 14027 0 -1 1077944384 419 0 0 0 1 0 0 0 20 0 15 0 516665512 15508250624 10216 33554432000 4194304 4196468 140726416432224 140024392505968 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16399] ppid=16385 vsize=15144776 memory=140148080420480 CPUtime=0.08 cores=0,2,4,6
/proc/16387/task/16399/stat : 16399 (java) R 16385 16385 14027 0 -1 4202560 771 0 0 0 8 0 0 0 20 0 15 0 516665512 15508250624 10216 33554432000 4194304 4196468 140726416432224 140024391453424 140024840965032 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16400] ppid=16385 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16400/stat : 16400 (java) S 16385 16385 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516665512 15508250624 10216 33554432000 4194304 4196468 140726416432224 140024322452576 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16401] ppid=16385 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16401/stat : 16401 (java) S 16385 16385 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516665513 15508250624 10216 33554432000 4194304 4196468 140726416432224 140024321399088 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42316 KiB
[startup+0.320022 s]*
/proc/loadavg: 2.08 1.96 1.87 4/229 16401
/proc/meminfo: memFree=27953520/32770624 swapFree=66999256/67108860
[pid=16385] ppid=16382 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16385/stat : 16385 (xcsp3-exec) S 16382 16385 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516665506 115843072 363 33554432000 4194304 5098028 140726951671264 140726951669368 140296484962940 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33988608 140726951678842 140726951679085 140726951679085 140726951681994 0
/proc/16385/statm: 28282 363 304 221 0 87 0
[pid=16387] ppid=16385 vsize=15149032 memory=50592 CPUtime=0.55 cores=0,2,4,6
/proc/16387/stat : 16387 (java) S 16385 16385 14027 0 -1 1077944320 10949 0 0 0 51 4 0 0 20 0 15 0 516665507 15512608768 12639 33554432000 4194304 4196468 140726416432224 140726416414768 140024862011127 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
/proc/16387/statm: 3787194 12648 3371 1 0 3748313 0
[pid=16387/tid=16388] ppid=16385 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/16387/task/16388/stat : 16388 (java) R 16385 16385 14027 0 -1 4202560 7887 0 0 0 28 2 0 0 20 0 15 0 516665507 15512608768 12648 33554432000 4194304 4196468 140726416432224 140024866238896 140024846091614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16389] ppid=16385 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16389/stat : 16389 (java) S 16385 16385 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516665508 15512608768 12648 33554432000 4194304 4196468 140726416432224 140024798247696 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16390] ppid=16385 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16390/stat : 16390 (java) S 16385 16385 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516665508 15512608768 12648 33554432000 4194304 4196468 140726416432224 140024797195152 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16391] ppid=16385 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16391/stat : 16391 (java) S 16385 16385 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516665508 15512608768 12648 33554432000 4194304 4196468 140726416432224 140024796142608 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16392] ppid=16385 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16392/stat : 16392 (java) S 16385 16385 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516665508 15512608768 12648 33554432000 4194304 4196468 140726416432224 140024795090064 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16393] ppid=16385 vsize=15149032 memory=-7017622348875022495 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16393/stat : 16393 (java) S 16385 16385 14027 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516665509 15512608768 12648 33554432000 4194304 4196468 140726416432224 140024397768688 140024862022274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16394] ppid=16385 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16394/stat : 16394 (java) S 16385 16385 14027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516665510 15512608768 12648 33554432000 4194304 4196468 140726416432224 140024396714912 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16395] ppid=16385 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16395/stat : 16395 (java) S 16385 16385 14027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516665510 15512608768 12648 33554432000 4194304 4196468 140726416432224 140024395662320 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16396] ppid=16385 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16396/stat : 16396 (java) S 16385 16385 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516665512 15512608768 12648 33554432000 4194304 4196468 140726416432224 140024394610896 140024862029723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16397] ppid=16385 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/16387/task/16397/stat : 16397 (java) S 16385 16385 14027 0 -1 1077944384 428 0 0 0 5 0 0 0 20 0 15 0 516665512 15512608768 12648 33554432000 4194304 4196468 140726416432224 140024393558512 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16398] ppid=16385 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16387/task/16398/stat : 16398 (java) S 16385 16385 14027 0 -1 1077944384 462 0 0 0 3 0 0 0 20 0 15 0 516665512 15512608768 12648 33554432000 4194304 4196468 140726416432224 140024392505968 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16399] ppid=16385 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/16387/task/16399/stat : 16399 (java) S 16385 16385 14027 0 -1 1077944384 871 0 0 0 13 0 0 0 20 0 15 0 516665512 15512608768 12648 33554432000 4194304 4196468 140726416432224 140024391453424 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16400] ppid=16385 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16400/stat : 16400 (java) S 16385 16385 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516665512 15512608768 12648 33554432000 4194304 4196468 140726416432224 140024322452576 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16401] ppid=16385 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16401/stat : 16401 (java) S 16385 16385 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516665513 15512608768 12648 33554432000 4194304 4196468 140726416432224 140024321399088 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52044 KiB
[startup+0.707016 s]
/proc/loadavg: 2.08 1.96 1.87 5/229 16401
/proc/meminfo: memFree=27939664/32770624 swapFree=66999256/67108860
[pid=16385] ppid=16382 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16385/stat : 16385 (xcsp3-exec) S 16382 16385 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516665506 115843072 363 33554432000 4194304 5098028 140726951671264 140726951669368 140296484962940 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33988608 140726951678842 140726951679085 140726951679085 140726951681994 0
/proc/16385/statm: 28282 363 304 221 0 87 0
[pid=16387] ppid=16385 vsize=15151156 memory=101596 CPUtime=1.68 cores=0,2,4,6
/proc/16387/stat : 16387 (java) S 16385 16385 14027 0 -1 1077944320 14353 0 0 0 161 7 0 0 20 0 15 0 516665507 15514783744 25399 33554432000 4194304 4196468 140726416432224 140726416414768 140024862011127 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
/proc/16387/statm: 3787789 25399 3438 1 0 3748889 0
[pid=16387/tid=16388] ppid=16385 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/16387/task/16388/stat : 16388 (java) R 16385 16385 14027 0 -1 4202560 9020 0 0 0 63 4 0 0 20 0 15 0 516665507 15514783744 25399 33554432000 4194304 4196468 140726416432224 140024866248864 140024477954450 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16389] ppid=16385 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16389/stat : 16389 (java) S 16385 16385 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516665508 15514783744 25399 33554432000 4194304 4196468 140726416432224 140024798247696 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16390] ppid=16385 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16390/stat : 16390 (java) S 16385 16385 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516665508 15514783744 25399 33554432000 4194304 4196468 140726416432224 140024797195152 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16391] ppid=16385 vsize=15151156 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16391/stat : 16391 (java) S 16385 16385 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516665508 15514783744 25399 33554432000 4194304 4196468 140726416432224 140024796142608 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16392] ppid=16385 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16392/stat : 16392 (java) S 16385 16385 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516665508 15514783744 25399 33554432000 4194304 4196468 140726416432224 140024795090064 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16393] ppid=16385 vsize=15151156 memory=676 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16393/stat : 16393 (java) S 16385 16385 14027 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516665509 15514783744 25399 33554432000 4194304 4196468 140726416432224 140024397768688 140024862022274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16394] ppid=16385 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16394/stat : 16394 (java) S 16385 16385 14027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516665510 15514783744 25399 33554432000 4194304 4196468 140726416432224 140024396714912 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16395] ppid=16385 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16395/stat : 16395 (java) S 16385 16385 14027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516665510 15514783744 25399 33554432000 4194304 4196468 140726416432224 140024395662320 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16396] ppid=16385 vsize=15151156 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16396/stat : 16396 (java) S 16385 16385 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516665512 15514783744 25399 33554432000 4194304 4196468 140726416432224 140024394610896 140024862029723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16397] ppid=16385 vsize=15151156 memory=1712 CPUtime=0.29 cores=0,2,4,6
/proc/16387/task/16397/stat : 16397 (java) R 16385 16385 14027 0 -1 4202560 1119 0 0 0 29 0 0 0 20 0 15 0 516665512 15514783744 25399 33554432000 4194304 4196468 140726416432224 140024393546608 140024845507911 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16398] ppid=16385 vsize=15151156 memory=1112 CPUtime=0.3 cores=0,2,4,6
/proc/16387/task/16398/stat : 16398 (java) R 16385 16385 14027 0 -1 4202560 1183 0 0 0 30 0 0 0 20 0 15 0 516665512 15514783744 25399 33554432000 4194304 4196468 140726416432224 140024392496944 140024845505148 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16399] ppid=16385 vsize=15151156 memory=1004 CPUtime=0.39 cores=0,2,4,6
/proc/16387/task/16399/stat : 16399 (java) S 16385 16385 14027 0 -1 1077944384 1723 0 0 0 38 1 0 0 20 0 15 0 516665512 15514783744 25399 33554432000 4194304 4196468 140726416432224 140024391453424 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16400] ppid=16385 vsize=15151156 memory=6088 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16400/stat : 16400 (java) S 16385 16385 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516665512 15514783744 25399 33554432000 4194304 4196468 140726416432224 140024322452576 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16401] ppid=16385 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16401/stat : 16401 (java) S 16385 16385 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516665513 15514783744 25399 33554432000 4194304 4196468 140726416432224 140024321399088 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 103048 KiB
[startup+1.50077 s]
/proc/loadavg: 2.08 1.96 1.87 5/229 16401
/proc/meminfo: memFree=27894572/32770624 swapFree=66999256/67108860
[pid=16385] ppid=16382 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16385/stat : 16385 (xcsp3-exec) S 16382 16385 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516665506 115843072 363 33554432000 4194304 5098028 140726951671264 140726951669368 140296484962940 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33988608 140726951678842 140726951679085 140726951679085 140726951681994 0
/proc/16385/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/16385/stat : 16385 (xcsp3-exec) S 16382 16385 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516665506 115843072 363 33554432000 4194304 5098028 140726951671264 140726951669368 140296484962940 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33988608 140726951678842 140726951679085 140726951679085 140726951681994 0
/proc/16385/statm: 28282 363 304 221 0 87 0
[pid=16387] ppid=16385 vsize=15151156 memory=279232 CPUtime=787.67 cores=0,2,4,6
/proc/16387/stat : 16387 (java) S 16385 16385 14027 0 -1 1077944320 74611 0 0 0 78737 30 0 0 20 0 15 0 516665507 15514783744 69808 33554432000 4194304 4196468 140726416432224 140726416414768 140024862011127 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
/proc/16387/statm: 3787789 69808 3490 1 0 3748889 0
[pid=16387/tid=16388] ppid=16385 vsize=15151156 memory=36516 CPUtime=782.25 cores=0,2,4,6
/proc/16387/task/16388/stat : 16388 (java) R 16385 16385 14027 0 -1 4202560 17507 0 0 0 78219 6 0 0 20 0 15 0 516665507 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024866247576 140024478093182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16389] ppid=16385 vsize=15151156 memory=12024 CPUtime=0.05 cores=0,2,4,6
/proc/16387/task/16389/stat : 16389 (java) S 16385 16385 14027 0 -1 1077944384 982 0 0 0 4 1 0 0 20 0 15 0 516665508 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024798247696 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16390] ppid=16385 vsize=15151156 memory=500 CPUtime=0.05 cores=0,2,4,6
/proc/16387/task/16390/stat : 16390 (java) S 16385 16385 14027 0 -1 1077944384 1580 0 0 0 4 1 0 0 20 0 15 0 516665508 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024797195152 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16391] ppid=16385 vsize=15151156 memory=1560 CPUtime=0.05 cores=0,2,4,6
/proc/16387/task/16391/stat : 16391 (java) S 16385 16385 14027 0 -1 1077944384 1263 0 0 0 4 1 0 0 20 0 15 0 516665508 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024796142608 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16392] ppid=16385 vsize=15151156 memory=932 CPUtime=0.05 cores=0,2,4,6
/proc/16387/task/16392/stat : 16392 (java) S 16385 16385 14027 0 -1 1077944384 2473 0 0 0 4 1 0 0 20 0 15 0 516665508 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024795090064 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16393] ppid=16385 vsize=15151156 memory=3768 CPUtime=0.01 cores=0,2,4,6
/proc/16387/task/16393/stat : 16393 (java) S 16385 16385 14027 0 -1 1077944384 1451 0 0 0 1 0 0 0 20 0 15 0 516665509 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024397768688 140024862022274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16394] ppid=16385 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16394/stat : 16394 (java) S 16385 16385 14027 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 516665510 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024396714912 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16395] ppid=16385 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16395/stat : 16395 (java) S 16385 16385 14027 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 516665510 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024395662320 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16396] ppid=16385 vsize=15151156 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16396/stat : 16396 (java) S 16385 16385 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516665512 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024394610896 140024862029723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16397] ppid=16385 vsize=15151156 memory=3504 CPUtime=2.33 cores=0,2,4,6
/proc/16387/task/16397/stat : 16397 (java) S 16385 16385 14027 0 -1 1077944384 20149 0 0 0 231 2 0 0 20 0 15 0 516665512 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024393558512 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16398] ppid=16385 vsize=15151156 memory=66576 CPUtime=1.99 cores=0,2,4,6
/proc/16387/task/16398/stat : 16398 (java) S 16385 16385 14027 0 -1 1077944384 17552 0 0 0 197 2 0 0 20 0 15 0 516665512 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024392505968 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16399] ppid=16385 vsize=15151156 memory=3028 CPUtime=0.56 cores=0,2,4,6
/proc/16387/task/16399/stat : 16399 (java) S 16385 16385 14027 0 -1 1077944384 9069 0 0 0 55 1 0 0 20 0 15 0 516665512 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024391453424 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16400] ppid=16385 vsize=15151156 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16400/stat : 16400 (java) S 16385 16385 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516665512 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024322452576 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16401] ppid=16385 vsize=15151156 memory=1436 CPUtime=0.23 cores=0,2,4,6
/proc/16387/task/16401/stat : 16401 (java) S 16385 16385 14027 0 -1 1077944384 1222 0 0 0 12 11 0 0 20 0 15 0 516665513 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024321399088 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 49 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
Current children cumulated CPU time: 787.67 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 280684 KiB
[startup+783.201 s]
/proc/loadavg: 1.45 1.65 1.77 3/229 16468
/proc/meminfo: memFree=27824232/32770624 swapFree=66999256/67108860
[pid=16385] ppid=16382 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16385/stat : 16385 (xcsp3-exec) S 16382 16385 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516665506 115843072 363 33554432000 4194304 5098028 140726951671264 140726951669368 140296484962940 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33988608 140726951678842 140726951679085 140726951679085 140726951681994 0
/proc/16385/statm: 28282 363 304 221 0 87 0
[pid=16387] ppid=16385 vsize=15151156 memory=279232 CPUtime=788.47 cores=0,2,4,6
/proc/16387/stat : 16387 (java) S 16385 16385 14027 0 -1 1077944320 74611 0 0 0 78817 30 0 0 20 0 15 0 516665507 15514783744 69808 33554432000 4194304 4196468 140726416432224 140726416414768 140024862011127 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
/proc/16387/statm: 3787789 69808 3490 1 0 3748889 0
[pid=16387/tid=16388] ppid=16385 vsize=15151156 memory=1452 CPUtime=783.05 cores=0,2,4,6
/proc/16387/task/16388/stat : 16388 (java) R 16385 16385 14027 0 -1 4202560 17507 0 0 0 78299 6 0 0 20 0 15 0 516665507 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024866247576 140024477953787 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16389] ppid=16385 vsize=15151156 memory=3504 CPUtime=0.05 cores=0,2,4,6
/proc/16387/task/16389/stat : 16389 (java) S 16385 16385 14027 0 -1 1077944384 982 0 0 0 4 1 0 0 20 0 15 0 516665508 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024798247696 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16390] ppid=16385 vsize=15151156 memory=66576 CPUtime=0.05 cores=0,2,4,6
/proc/16387/task/16390/stat : 16390 (java) S 16385 16385 14027 0 -1 1077944384 1580 0 0 0 4 1 0 0 20 0 15 0 516665508 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024797195152 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16391] ppid=16385 vsize=15151156 memory=3028 CPUtime=0.05 cores=0,2,4,6
/proc/16387/task/16391/stat : 16391 (java) S 16385 16385 14027 0 -1 1077944384 1263 0 0 0 4 1 0 0 20 0 15 0 516665508 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024796142608 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16392] ppid=16385 vsize=15151156 memory=2012 CPUtime=0.05 cores=0,2,4,6
/proc/16387/task/16392/stat : 16392 (java) S 16385 16385 14027 0 -1 1077944384 2473 0 0 0 4 1 0 0 20 0 15 0 516665508 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024795090064 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16393] ppid=16385 vsize=15151156 memory=279232 CPUtime=0.01 cores=0,2,4,6
/proc/16387/task/16393/stat : 16393 (java) S 16385 16385 14027 0 -1 1077944384 1451 0 0 0 1 0 0 0 20 0 15 0 516665509 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024397768688 140024862022274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16394] ppid=16385 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16394/stat : 16394 (java) S 16385 16385 14027 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 516665510 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024396714912 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16395] ppid=16385 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16395/stat : 16395 (java) S 16385 16385 14027 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 516665510 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024395662320 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16396] ppid=16385 vsize=15151156 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16396/stat : 16396 (java) S 16385 16385 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516665512 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024394610896 140024862029723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16397] ppid=16385 vsize=15151156 memory=2828 CPUtime=2.33 cores=0,2,4,6
/proc/16387/task/16397/stat : 16397 (java) S 16385 16385 14027 0 -1 1077944384 20149 0 0 0 231 2 0 0 20 0 15 0 516665512 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024393558512 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16398] ppid=16385 vsize=15151156 memory=676 CPUtime=1.99 cores=0,2,4,6
/proc/16387/task/16398/stat : 16398 (java) S 16385 16385 14027 0 -1 1077944384 17552 0 0 0 197 2 0 0 20 0 15 0 516665512 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024392505968 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16399] ppid=16385 vsize=15151156 memory=1060 CPUtime=0.56 cores=0,2,4,6
/proc/16387/task/16399/stat : 16399 (java) S 16385 16385 14027 0 -1 1077944384 9069 0 0 0 55 1 0 0 20 0 15 0 516665512 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024391453424 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16400] ppid=16385 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16400/stat : 16400 (java) S 16385 16385 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516665512 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024322452576 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16401] ppid=16385 vsize=15151156 memory=8560 CPUtime=0.23 cores=0,2,4,6
/proc/16387/task/16401/stat : 16401 (java) S 16385 16385 14027 0 -1 1077944384 1222 0 0 0 12 11 0 0 20 0 15 0 516665513 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024321399088 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 49 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
Current children cumulated CPU time: 788.47 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 280684 KiB
[startup+783.601 s]
/proc/loadavg: 1.45 1.65 1.77 3/229 16468
/proc/meminfo: memFree=27824232/32770624 swapFree=66999256/67108860
[pid=16385] ppid=16382 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16385/stat : 16385 (xcsp3-exec) S 16382 16385 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516665506 115843072 363 33554432000 4194304 5098028 140726951671264 140726951669368 140296484962940 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33988608 140726951678842 140726951679085 140726951679085 140726951681994 0
/proc/16385/statm: 28282 363 304 221 0 87 0
[pid=16387] ppid=16385 vsize=15151156 memory=279232 CPUtime=788.87 cores=0,2,4,6
/proc/16387/stat : 16387 (java) S 16385 16385 14027 0 -1 1077944320 74611 0 0 0 78857 30 0 0 20 0 15 0 516665507 15514783744 69808 33554432000 4194304 4196468 140726416432224 140726416414768 140024862011127 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
/proc/16387/statm: 3787789 69808 3490 1 0 3748889 0
[pid=16387/tid=16388] ppid=16385 vsize=15151156 memory=796 CPUtime=783.45 cores=0,2,4,6
/proc/16387/task/16388/stat : 16388 (java) R 16385 16385 14027 0 -1 4202560 17507 0 0 0 78339 6 0 0 20 0 15 0 516665507 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024866247576 140024480454823 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16389] ppid=16385 vsize=15151156 memory=6791534058613427641 CPUtime=0.05 cores=0,2,4,6
/proc/16387/task/16389/stat : 16389 (java) S 16385 16385 14027 0 -1 1077944384 982 0 0 0 4 1 0 0 20 0 15 0 516665508 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024798247696 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16390] ppid=16385 vsize=15151156 memory=1452 CPUtime=0.05 cores=0,2,4,6
/proc/16387/task/16390/stat : 16390 (java) S 16385 16385 14027 0 -1 1077944384 1580 0 0 0 4 1 0 0 20 0 15 0 516665508 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024797195152 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16391] ppid=16385 vsize=15151156 memory=2724 CPUtime=0.05 cores=0,2,4,6
/proc/16387/task/16391/stat : 16391 (java) S 16385 16385 14027 0 -1 1077944384 1263 0 0 0 4 1 0 0 20 0 15 0 516665508 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024796142608 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16392] ppid=16385 vsize=15151156 memory=2700 CPUtime=0.05 cores=0,2,4,6
/proc/16387/task/16392/stat : 16392 (java) S 16385 16385 14027 0 -1 1077944384 2473 0 0 0 4 1 0 0 20 0 15 0 516665508 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024795090064 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16393] ppid=16385 vsize=15151156 memory=4096 CPUtime=0.01 cores=0,2,4,6
/proc/16387/task/16393/stat : 16393 (java) S 16385 16385 14027 0 -1 1077944384 1451 0 0 0 1 0 0 0 20 0 15 0 516665509 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024397768688 140024862022274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16394] ppid=16385 vsize=15151156 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16394/stat : 16394 (java) S 16385 16385 14027 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 516665510 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024396714912 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16395] ppid=16385 vsize=15151156 memory=3304 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16395/stat : 16395 (java) S 16385 16385 14027 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 516665510 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024395662320 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16396] ppid=16385 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16396/stat : 16396 (java) S 16385 16385 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516665512 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024394610896 140024862029723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16397] ppid=16385 vsize=15151156 memory=279232 CPUtime=2.33 cores=0,2,4,6
/proc/16387/task/16397/stat : 16397 (java) S 16385 16385 14027 0 -1 1077944384 20149 0 0 0 231 2 0 0 20 0 15 0 516665512 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024393558512 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16398] ppid=16385 vsize=15151156 memory=1408 CPUtime=1.99 cores=0,2,4,6
/proc/16387/task/16398/stat : 16398 (java) S 16385 16385 14027 0 -1 1077944384 17552 0 0 0 197 2 0 0 20 0 15 0 516665512 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024392505968 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16399] ppid=16385 vsize=15151156 memory=3252 CPUtime=0.56 cores=0,2,4,6
/proc/16387/task/16399/stat : 16399 (java) S 16385 16385 14027 0 -1 1077944384 9069 0 0 0 55 1 0 0 20 0 15 0 516665512 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024391453424 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16400] ppid=16385 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16400/stat : 16400 (java) S 16385 16385 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516665512 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024322452576 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16401] ppid=16385 vsize=15151156 memory=279232 CPUtime=0.23 cores=0,2,4,6
/proc/16387/task/16401/stat : 16401 (java) S 16385 16385 14027 0 -1 1077944384 1222 0 0 0 12 11 0 0 20 0 15 0 516665513 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024321399088 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 49 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
Current children cumulated CPU time: 788.87 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 280684 KiB
[startup+783.701 s]
/proc/loadavg: 1.45 1.65 1.77 3/229 16468
/proc/meminfo: memFree=27824232/32770624 swapFree=66999256/67108860
[pid=16385] ppid=16382 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16385/stat : 16385 (xcsp3-exec) S 16382 16385 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516665506 115843072 363 33554432000 4194304 5098028 140726951671264 140726951669368 140296484962940 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 33988608 140726951678842 140726951679085 140726951679085 140726951681994 0
/proc/16385/statm: 28282 363 304 221 0 87 0
[pid=16387] ppid=16385 vsize=15151156 memory=279232 CPUtime=788.97 cores=0,2,4,6
/proc/16387/stat : 16387 (java) S 16385 16385 14027 0 -1 1077944320 74611 0 0 0 78867 30 0 0 20 0 15 0 516665507 15514783744 69808 33554432000 4194304 4196468 140726416432224 140726416414768 140024862011127 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
/proc/16387/statm: 3787789 69808 3490 1 0 3748889 0
[pid=16387/tid=16388] ppid=16385 vsize=15151156 memory=279232 CPUtime=783.55 cores=0,2,4,6
/proc/16387/task/16388/stat : 16388 (java) R 16385 16385 14027 0 -1 4202560 17507 0 0 0 78349 6 0 0 20 0 15 0 516665507 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024866247576 140024477953843 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16389] ppid=16385 vsize=15151156 memory=279232 CPUtime=0.05 cores=0,2,4,6
/proc/16387/task/16389/stat : 16389 (java) S 16385 16385 14027 0 -1 1077944384 982 0 0 0 4 1 0 0 20 0 15 0 516665508 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024798247696 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16390] ppid=16385 vsize=15151156 memory=279232 CPUtime=0.05 cores=0,2,4,6
/proc/16387/task/16390/stat : 16390 (java) S 16385 16385 14027 0 -1 1077944384 1580 0 0 0 4 1 0 0 20 0 15 0 516665508 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024797195152 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16391] ppid=16385 vsize=15151156 memory=279232 CPUtime=0.05 cores=0,2,4,6
/proc/16387/task/16391/stat : 16391 (java) S 16385 16385 14027 0 -1 1077944384 1263 0 0 0 4 1 0 0 20 0 15 0 516665508 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024796142608 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16392] ppid=16385 vsize=15151156 memory=279232 CPUtime=0.05 cores=0,2,4,6
/proc/16387/task/16392/stat : 16392 (java) S 16385 16385 14027 0 -1 1077944384 2473 0 0 0 4 1 0 0 20 0 15 0 516665508 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024795090064 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16393] ppid=16385 vsize=15151156 memory=279232 CPUtime=0.01 cores=0,2,4,6
/proc/16387/task/16393/stat : 16393 (java) S 16385 16385 14027 0 -1 1077944384 1451 0 0 0 1 0 0 0 20 0 15 0 516665509 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024397768688 140024862022274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16394] ppid=16385 vsize=15151156 memory=279232 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16394/stat : 16394 (java) S 16385 16385 14027 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 516665510 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024396714912 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16395] ppid=16385 vsize=15151156 memory=279232 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16395/stat : 16395 (java) S 16385 16385 14027 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 516665510 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024395662320 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16396] ppid=16385 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16396/stat : 16396 (java) S 16385 16385 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516665512 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024394610896 140024862029723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16397] ppid=16385 vsize=15151156 memory=279232 CPUtime=2.33 cores=0,2,4,6
/proc/16387/task/16397/stat : 16397 (java) S 16385 16385 14027 0 -1 1077944384 20149 0 0 0 231 2 0 0 20 0 15 0 516665512 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024393558512 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16398] ppid=16385 vsize=15151156 memory=279232 CPUtime=1.99 cores=0,2,4,6
/proc/16387/task/16398/stat : 16398 (java) S 16385 16385 14027 0 -1 1077944384 17552 0 0 0 197 2 0 0 20 0 15 0 516665512 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024392505968 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16399] ppid=16385 vsize=15151156 memory=279232 CPUtime=0.56 cores=0,2,4,6
/proc/16387/task/16399/stat : 16399 (java) S 16385 16385 14027 0 -1 1077944384 9069 0 0 0 55 1 0 0 20 0 15 0 516665512 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024391453424 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16400] ppid=16385 vsize=15151156 memory=16031449256 CPUtime=0 cores=0,2,4,6
/proc/16387/task/16400/stat : 16400 (java) S 16385 16385 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516665512 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024322452576 140024862021333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
[pid=16387/tid=16401] ppid=16385 vsize=15151156 memory=1452 CPUtime=0.23 cores=0,2,4,6
/proc/16387/task/16401/stat : 16401 (java) S 16385 16385 14027 0 -1 1077944384 1222 0 0 0 12 11 0 0 20 0 15 0 516665513 15514783744 69808 33554432000 4194304 4196468 140726416432224 140024321399088 140024862022274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 49 0 0 6293624 6294260 24719360 140726416434159 140726416434330 140726416434330 140726416437199 0
Current children cumulated CPU time: 788.97 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 280684 KiB
Child status: 0
Real time (s): 783.778
CPU time (s): 789.058
CPU user time (s): 788.747
CPU system time (s): 0.311611
CPU usage (%): 100.674
Max. virtual memory (cumulated for all children) (KiB): 15266080
Max. memory (cumulated for all children) (KiB): 280684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 788.747
system time used= 0.311611
maximum resident set size= 279564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75651
page faults= 0
swaps= 0
block input operations= 0
block output operations= 752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19462
involuntary context switches= 493
# summary of solver processes directly reported to runsolver:
# pid: 16385
# total CPU time (s): 789.058
# total CPU user time (s): 788.747
# total CPU system time (s): 0.311611
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.56774 second user time and 5.98201 second system time
The end