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 (13080 MiB free)
memory of node 1: 16384 MiB (4820 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393105-1568357259/watcher-4393105-1568357259 -o /tmp/evaluation-result-4393105-1568357259/solver-4393105-1568357259 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568352401-13007 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2052152805 HOME/instance-4393105-1568357259.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18571, runsolver pid=18568
[startup+0.100128 s]*
/proc/loadavg: 3.76 2.52 2.73 3/233 18587
/proc/meminfo: memFree=18314400/32770624 swapFree=66959224/67108860
[pid=18571] ppid=18568 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18571/stat : 18571 (xcsp3-exec) S 18568 18571 12119 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411666060 115843072 363 33554432000 4194304 5098028 140733481731216 140733481729320 140390587028092 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34746368 140733481739130 140733481739373 140733481739373 140733481742282 0
/proc/18571/statm: 28282 363 304 221 0 87 0
[pid=18573] ppid=18571 vsize=15144768 memory=28728 CPUtime=0.13 cores=0,2,4,6
/proc/18573/stat : 18573 (java) S 18571 18571 12119 0 -1 1077944320 5655 0 0 0 12 1 0 0 20 0 15 0 411666060 15508242432 7182 33554432000 4194304 4196468 140725187907648 140725187890192 140382829285111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
/proc/18573/statm: 3786192 7182 3115 1 0 3748377 0
[pid=18573/tid=18574] ppid=18571 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=0,2,4,6
/proc/18573/task/18574/stat : 18574 (java) R 18571 18571 12119 0 -1 4202560 3561 0 0 0 8 1 0 0 20 0 15 0 411666060 15508242432 7182 33554432000 4194304 4196468 140725187907648 140382833513136 140382809010170 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18575] ppid=18571 vsize=15144768 memory=3472467966117176528 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18575/stat : 18575 (java) S 18571 18571 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411666061 15508242432 7182 33554432000 4194304 4196468 140725187907648 140382757325328 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18576] ppid=18571 vsize=15144768 memory=139837222024832 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18576/stat : 18576 (java) S 18571 18571 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411666061 15508242432 7182 33554432000 4194304 4196468 140725187907648 140382756272784 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18577] ppid=18571 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18577/stat : 18577 (java) S 18571 18571 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411666061 15508242432 7182 33554432000 4194304 4196468 140725187907648 140382755219728 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18578] ppid=18571 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18578/stat : 18578 (java) S 18571 18571 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411666061 15508242432 7182 33554432000 4194304 4196468 140725187907648 140382754167184 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18579] ppid=18571 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18579/stat : 18579 (java) S 18571 18571 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411666063 15508242432 7182 33554432000 4194304 4196468 140725187907648 140381971835632 140382829296258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18580] ppid=18571 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18580/stat : 18580 (java) S 18571 18571 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411666063 15508242432 7182 33554432000 4194304 4196468 140725187907648 140381970781856 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18581] ppid=18571 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18581/stat : 18581 (java) S 18571 18571 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411666063 15508242432 7182 33554432000 4194304 4196468 140725187907648 140381969728752 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18582] ppid=18571 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18582/stat : 18582 (java) S 18571 18571 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411666066 15508242432 7182 33554432000 4194304 4196468 140725187907648 140381968677328 140382829303707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18583] ppid=18571 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18583/stat : 18583 (java) R 18571 18571 12119 0 -1 4202560 329 0 0 0 0 0 0 0 20 0 15 0 411666066 15508242432 7182 33554432000 4194304 4196468 140725187907648 140381967615936 140382812720849 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18584] ppid=18571 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18584/stat : 18584 (java) R 18571 18571 12119 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 411666066 15508242432 7182 33554432000 4194304 4196468 140725187907648 140381966571984 140382829295317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18585] ppid=18571 vsize=15144768 memory=139837222024832 CPUtime=0.02 cores=0,2,4,6
/proc/18573/task/18585/stat : 18585 (java) R 18571 18571 12119 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 411666066 15508242432 7182 33554432000 4194304 4196468 140725187907648 140381965518832 140382810695136 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18586] ppid=18571 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18586/stat : 18586 (java) S 18571 18571 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411666066 15508242432 7182 33554432000 4194304 4196468 140725187907648 140381964466528 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18587] ppid=18571 vsize=15144768 memory=139837222024832 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18587/stat : 18587 (java) S 18571 18571 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411666066 15508242432 7182 33554432000 4194304 4196468 140725187907648 140381963414576 140382829296258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30180 KiB
[startup+0.210791 s]*
/proc/loadavg: 3.76 2.52 2.73 4/233 18587
/proc/meminfo: memFree=18300952/32770624 swapFree=66959224/67108860
[pid=18571] ppid=18568 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18571/stat : 18571 (xcsp3-exec) S 18568 18571 12119 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411666060 115843072 363 33554432000 4194304 5098028 140733481731216 140733481729320 140390587028092 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34746368 140733481739130 140733481739373 140733481739373 140733481742282 0
/proc/18571/statm: 28282 363 304 221 0 87 0
[pid=18573] ppid=18571 vsize=15144768 memory=40900 CPUtime=0.34 cores=0,2,4,6
/proc/18573/stat : 18573 (java) S 18571 18571 12119 0 -1 1077944320 9463 0 0 0 31 3 0 0 20 0 15 0 411666060 15508242432 10225 33554432000 4194304 4196468 140725187907648 140725187890192 140382829285111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
/proc/18573/statm: 3786192 10225 3300 1 0 3748377 0
[pid=18573/tid=18574] ppid=18571 vsize=15144768 memory=5855082630903857826 CPUtime=0.2 cores=0,2,4,6
/proc/18573/task/18574/stat : 18574 (java) R 18571 18571 12119 0 -1 4202560 6592 0 0 0 18 2 0 0 20 0 15 0 411666060 15508242432 10225 33554432000 4194304 4196468 140725187907648 140382833519040 140382829297046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18575] ppid=18571 vsize=15144768 memory=3472467966117176528 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18575/stat : 18575 (java) S 18571 18571 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411666061 15508242432 10225 33554432000 4194304 4196468 140725187907648 140382757325328 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18576] ppid=18571 vsize=15144768 memory=139837222024832 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18576/stat : 18576 (java) S 18571 18571 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411666061 15508242432 10225 33554432000 4194304 4196468 140725187907648 140382756272784 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18577] ppid=18571 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18577/stat : 18577 (java) S 18571 18571 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411666061 15508242432 10225 33554432000 4194304 4196468 140725187907648 140382755219728 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18578] ppid=18571 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18578/stat : 18578 (java) S 18571 18571 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411666061 15508242432 10225 33554432000 4194304 4196468 140725187907648 140382754167184 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18579] ppid=18571 vsize=15144768 memory=139837222024832 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18579/stat : 18579 (java) S 18571 18571 12119 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411666063 15508242432 10225 33554432000 4194304 4196468 140725187907648 140381971835632 140382829296258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18580] ppid=18571 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18580/stat : 18580 (java) S 18571 18571 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411666063 15508242432 10225 33554432000 4194304 4196468 140725187907648 140381970781856 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18581] ppid=18571 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18581/stat : 18581 (java) S 18571 18571 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411666063 15508242432 10225 33554432000 4194304 4196468 140725187907648 140381969728752 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18582] ppid=18571 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18582/stat : 18582 (java) S 18571 18571 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411666066 15508242432 10225 33554432000 4194304 4196468 140725187907648 140381968677328 140382829303707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18583] ppid=18571 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18573/task/18583/stat : 18583 (java) S 18571 18571 12119 0 -1 1077944384 565 0 0 0 2 0 0 0 20 0 15 0 411666066 15508242432 10225 33554432000 4194304 4196468 140725187907648 140381967624432 140382829296258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18584] ppid=18571 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/18573/task/18584/stat : 18584 (java) S 18571 18571 12119 0 -1 1077944384 221 0 0 0 2 0 0 0 20 0 15 0 411666066 15508242432 10225 33554432000 4194304 4196468 140725187907648 140381966571888 140382829296258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18585] ppid=18571 vsize=15144768 memory=139837222024832 CPUtime=0.08 cores=0,2,4,6
/proc/18573/task/18585/stat : 18585 (java) R 18571 18571 12119 0 -1 4202560 778 0 0 0 8 0 0 0 20 0 15 0 411666066 15508242432 10225 33554432000 4194304 4196468 140725187907648 140381965518832 140382821522238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18586] ppid=18571 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18586/stat : 18586 (java) S 18571 18571 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411666066 15508242432 10225 33554432000 4194304 4196468 140725187907648 140381964466528 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18587] ppid=18571 vsize=15144768 memory=139837222024832 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18587/stat : 18587 (java) S 18571 18571 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411666066 15508242432 10225 33554432000 4194304 4196468 140725187907648 140381963414576 140382829296258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42352 KiB
[startup+0.3181 s]*
/proc/loadavg: 3.76 2.52 2.73 4/233 18587
/proc/meminfo: memFree=18293196/32770624 swapFree=66959224/67108860
[pid=18571] ppid=18568 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18571/stat : 18571 (xcsp3-exec) S 18568 18571 12119 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411666060 115843072 363 33554432000 4194304 5098028 140733481731216 140733481729320 140390587028092 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34746368 140733481739130 140733481739373 140733481739373 140733481742282 0
/proc/18571/statm: 28282 363 304 221 0 87 0
[pid=18573] ppid=18571 vsize=15149024 memory=50424 CPUtime=0.54 cores=0,2,4,6
/proc/18573/stat : 18573 (java) S 18571 18571 12119 0 -1 1077944320 10924 0 0 0 50 4 0 0 20 0 15 0 411666060 15512600576 12606 33554432000 4194304 4196468 140725187907648 140725187890192 140382829285111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
/proc/18573/statm: 3787256 12606 3355 1 0 3748377 0
[pid=18573/tid=18574] ppid=18571 vsize=15149024 memory=8514701219880992413 CPUtime=0.31 cores=0,2,4,6
/proc/18573/task/18574/stat : 18574 (java) R 18571 18571 12119 0 -1 4202560 7850 0 0 0 28 3 0 0 20 0 15 0 411666060 15512600576 12606 33554432000 4194304 4196468 140725187907648 140382833520640 140382813365598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18575] ppid=18571 vsize=15149024 memory=3472467966117176528 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18575/stat : 18575 (java) S 18571 18571 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411666061 15512600576 12606 33554432000 4194304 4196468 140725187907648 140382757325328 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18576] ppid=18571 vsize=15149024 memory=139837222024832 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18576/stat : 18576 (java) S 18571 18571 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411666061 15512600576 12606 33554432000 4194304 4196468 140725187907648 140382756272784 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18577] ppid=18571 vsize=15149024 memory=5 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18577/stat : 18577 (java) S 18571 18571 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411666061 15512600576 12606 33554432000 4194304 4196468 140725187907648 140382755219728 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18578] ppid=18571 vsize=15149024 memory=139837088868383 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18578/stat : 18578 (java) S 18571 18571 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411666061 15512600576 12606 33554432000 4194304 4196468 140725187907648 140382754167184 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18579] ppid=18571 vsize=15149024 memory=279674177697536 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18579/stat : 18579 (java) S 18571 18571 12119 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411666063 15512600576 12606 33554432000 4194304 4196468 140725187907648 140381971835632 140382829296258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18580] ppid=18571 vsize=15149024 memory=139837088845327 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18580/stat : 18580 (java) S 18571 18571 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411666063 15512600576 12606 33554432000 4194304 4196468 140725187907648 140381970781856 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18581] ppid=18571 vsize=15149024 memory=279674310879328 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18581/stat : 18581 (java) S 18571 18571 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411666063 15512600576 12606 33554432000 4194304 4196468 140725187907648 140381969728752 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18582] ppid=18571 vsize=15149024 memory=139837088849935 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18582/stat : 18582 (java) S 18571 18571 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411666066 15512600576 12606 33554432000 4194304 4196468 140725187907648 140381968677328 140382829303707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18583] ppid=18571 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/18573/task/18583/stat : 18583 (java) S 18571 18571 12119 0 -1 1077944384 669 0 0 0 5 0 0 0 20 0 15 0 411666066 15512600576 12606 33554432000 4194304 4196468 140725187907648 140381967624432 140382829296258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18584] ppid=18571 vsize=15149024 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/18573/task/18584/stat : 18584 (java) S 18571 18571 12119 0 -1 1077944384 245 0 0 0 4 0 0 0 20 0 15 0 411666066 15512600576 12606 33554432000 4194304 4196468 140725187907648 140381966571888 140382829296258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18585] ppid=18571 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/18573/task/18585/stat : 18585 (java) S 18571 18571 12119 0 -1 1077944384 859 0 0 0 12 0 0 0 20 0 15 0 411666066 15512600576 12606 33554432000 4194304 4196468 140725187907648 140381965518832 140382829296258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18586] ppid=18571 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18586/stat : 18586 (java) S 18571 18571 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411666066 15512600576 12606 33554432000 4194304 4196468 140725187907648 140381964466528 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18587] ppid=18571 vsize=15149024 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18587/stat : 18587 (java) S 18571 18571 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411666066 15512600576 12606 33554432000 4194304 4196468 140725187907648 140381963414576 140382829296258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51876 KiB
[startup+0.708101 s]
/proc/loadavg: 3.76 2.52 2.73 5/233 18587
/proc/meminfo: memFree=18277140/32770624 swapFree=66959224/67108860
[pid=18571] ppid=18568 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18571/stat : 18571 (xcsp3-exec) S 18568 18571 12119 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411666060 115843072 363 33554432000 4194304 5098028 140733481731216 140733481729320 140390587028092 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34746368 140733481739130 140733481739373 140733481739373 140733481742282 0
/proc/18571/statm: 28282 363 304 221 0 87 0
[pid=18573] ppid=18571 vsize=15151148 memory=92032 CPUtime=1.78 cores=0,2,4,6
/proc/18573/stat : 18573 (java) S 18571 18571 12119 0 -1 1077944320 15668 0 0 0 171 7 0 0 20 0 15 0 411666060 15514775552 23008 33554432000 4194304 4196468 140725187907648 140725187890192 140382829285111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
/proc/18573/statm: 3787787 23008 3454 1 0 3748889 0
[pid=18573/tid=18574] ppid=18571 vsize=15151148 memory=4639059877604708710 CPUtime=0.68 cores=0,2,4,6
/proc/18573/task/18574/stat : 18574 (java) R 18571 18571 12119 0 -1 4202560 9261 0 0 0 64 4 0 0 20 0 15 0 411666060 15514775552 23008 33554432000 4194304 4196468 140725187907648 140382833519536 140382432225872 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18575] ppid=18571 vsize=15151148 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18575/stat : 18575 (java) S 18571 18571 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411666061 15514775552 23008 33554432000 4194304 4196468 140725187907648 140382757325328 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18576] ppid=18571 vsize=15151148 memory=6935649255911812433 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18576/stat : 18576 (java) S 18571 18571 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411666061 15514775552 23008 33554432000 4194304 4196468 140725187907648 140382756272784 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18577] ppid=18571 vsize=15151148 memory=7825734864442108491 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18577/stat : 18577 (java) S 18571 18571 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411666061 15514775552 23008 33554432000 4194304 4196468 140725187907648 140382755219728 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18578] ppid=18571 vsize=15151148 memory=7100839861499826839 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18578/stat : 18578 (java) S 18571 18571 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411666061 15514775552 23008 33554432000 4194304 4196468 140725187907648 140382754167184 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18579] ppid=18571 vsize=15151148 memory=6944613755328037012 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18579/stat : 18579 (java) S 18571 18571 12119 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411666063 15514775552 23008 33554432000 4194304 4196468 140725187907648 140381971835632 140382829296258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18580] ppid=18571 vsize=15151148 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18580/stat : 18580 (java) S 18571 18571 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411666063 15514775552 23008 33554432000 4194304 4196468 140725187907648 140381970781856 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18581] ppid=18571 vsize=15151148 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18581/stat : 18581 (java) S 18571 18571 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411666063 15514775552 23008 33554432000 4194304 4196468 140725187907648 140381969728752 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18582] ppid=18571 vsize=15151148 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18582/stat : 18582 (java) S 18571 18571 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411666066 15514775552 23008 33554432000 4194304 4196468 140725187907648 140381968677328 140382829303707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18583] ppid=18571 vsize=15151148 memory=1660 CPUtime=0.3 cores=0,2,4,6
/proc/18573/task/18583/stat : 18583 (java) R 18571 18571 12119 0 -1 4202560 1557 0 0 0 30 0 0 0 20 0 15 0 411666066 15514775552 23008 33554432000 4194304 4196468 140725187907648 140381967609408 140382815313537 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18584] ppid=18571 vsize=15151148 memory=38988 CPUtime=0.32 cores=0,2,4,6
/proc/18573/task/18584/stat : 18584 (java) R 18571 18571 12119 0 -1 4202560 1255 0 0 0 32 0 0 0 20 0 15 0 411666066 15514775552 23008 33554432000 4194304 4196468 140725187907648 140381966555088 140382813965640 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18585] ppid=18571 vsize=15151148 memory=988 CPUtime=0.43 cores=0,2,4,6
/proc/18573/task/18585/stat : 18585 (java) R 18571 18571 12119 0 -1 4202560 2288 0 0 0 42 1 0 0 20 0 15 0 411666066 15514775552 23008 33554432000 4194304 4196468 140725187907648 140381965513216 140382807837166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18586] ppid=18571 vsize=15151148 memory=5793994532452520804 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18586/stat : 18586 (java) S 18571 18571 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411666066 15514775552 23008 33554432000 4194304 4196468 140725187907648 140381964466528 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18587] ppid=18571 vsize=15151148 memory=8099279071866868843 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18587/stat : 18587 (java) S 18571 18571 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411666066 15514775552 23008 33554432000 4194304 4196468 140725187907648 140381963414576 140382829296258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 93484 KiB
[startup+1.5011 s]
/proc/loadavg: 3.76 2.52 2.73 5/233 18587
/proc/meminfo: memFree=18165800/32770624 swapFree=66959224/67108860
[pid=18571] ppid=18568 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18571/stat : 18571 (xcsp3-exec) S 18568 18571 12119 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411666060 115843072 363 33554432000 4194304 5098028 140733481731216 140733481729320 140390587028092 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34746368 140733481739130 140733481739373 140733481739373 140733481742282 0
/proc/18571/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/18573/stat : 18573 (java) S 18571 18571 12119 0 -1 1077944320 91048 0 0 0 207696 73 0 0 20 0 19 0 411666060 15789518848 540940 33554432000 4194304 4196468 140725187907648 140725187890192 140382829285111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
/proc/18573/statm: 3854863 540940 3537 1 0 3815965 0
[pid=18573/tid=18574] ppid=18571 vsize=15419452 memory=1452 CPUtime=1.36 cores=0,2,4,6
/proc/18573/task/18574/stat : 18574 (java) S 18571 18571 12119 0 -1 1077944384 11133 0 0 0 130 6 0 0 20 0 19 0 411666060 15789518848 540940 33554432000 4194304 4196468 140725187907648 140382833525888 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18575] ppid=18571 vsize=15419452 memory=2163760 CPUtime=0.19 cores=0,2,4,6
/proc/18573/task/18575/stat : 18575 (java) S 18571 18571 12119 0 -1 1077944384 3519 0 0 0 14 5 0 0 20 0 19 0 411666061 15789518848 540940 33554432000 4194304 4196468 140725187907648 140382757325328 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18576] ppid=18571 vsize=15419452 memory=2163760 CPUtime=0.19 cores=0,2,4,6
/proc/18573/task/18576/stat : 18576 (java) S 18571 18571 12119 0 -1 1077944384 1271 0 0 0 14 5 0 0 20 0 19 0 411666061 15789518848 540940 33554432000 4194304 4196468 140725187907648 140382756272784 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18577] ppid=18571 vsize=15419452 memory=2163760 CPUtime=0.19 cores=0,2,4,6
/proc/18573/task/18577/stat : 18577 (java) S 18571 18571 12119 0 -1 1077944384 1635 0 0 0 14 5 0 0 20 0 19 0 411666061 15789518848 540940 33554432000 4194304 4196468 140725187907648 140382755219728 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18578] ppid=18571 vsize=15419452 memory=1452 CPUtime=0.19 cores=0,2,4,6
/proc/18573/task/18578/stat : 18578 (java) S 18571 18571 12119 0 -1 1077944384 1466 0 0 0 14 5 0 0 20 0 19 0 411666061 15789518848 540940 33554432000 4194304 4196468 140725187907648 140382754167184 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18579] ppid=18571 vsize=15419452 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/18573/task/18579/stat : 18579 (java) S 18571 18571 12119 0 -1 1077944384 2937 0 0 0 3 1 0 0 20 0 19 0 411666063 15789518848 540940 33554432000 4194304 4196468 140725187907648 140381971835632 140382829296258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18580] ppid=18571 vsize=15419452 memory=2163760 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18580/stat : 18580 (java) S 18571 18571 12119 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 411666063 15789518848 540940 33554432000 4194304 4196468 140725187907648 140381970781920 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18581] ppid=18571 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18581/stat : 18581 (java) S 18571 18571 12119 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 411666063 15789518848 540940 33554432000 4194304 4196468 140725187907648 140381969728768 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18582] ppid=18571 vsize=15419452 memory=2163760 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18582/stat : 18582 (java) S 18571 18571 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411666066 15789518848 540940 33554432000 4194304 4196468 140725187907648 140381968677328 140382829303707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18583] ppid=18571 vsize=15419452 memory=776 CPUtime=2.74 cores=0,2,4,6
/proc/18573/task/18583/stat : 18583 (java) S 18571 18571 12119 0 -1 1077944384 19864 0 0 0 272 2 0 0 20 0 19 0 411666066 15789518848 540940 33554432000 4194304 4196468 140725187907648 140381967624432 140382829296258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18584] ppid=18571 vsize=15419452 memory=2163760 CPUtime=2.54 cores=0,2,4,6
/proc/18573/task/18584/stat : 18584 (java) S 18571 18571 12119 0 -1 1077944384 12616 0 0 0 253 1 0 0 20 0 19 0 411666066 15789518848 540940 33554432000 4194304 4196468 140725187907648 140381966571888 140382829296258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18585] ppid=18571 vsize=15419452 memory=2163760 CPUtime=0.86 cores=0,2,4,6
/proc/18573/task/18585/stat : 18585 (java) S 18571 18571 12119 0 -1 1077944384 8743 0 0 0 84 2 0 0 20 0 19 0 411666066 15789518848 540940 33554432000 4194304 4196468 140725187907648 140381965518832 140382829296258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18586] ppid=18571 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18586/stat : 18586 (java) S 18571 18571 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411666066 15789518848 540940 33554432000 4194304 4196468 140725187907648 140381964466528 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18587] ppid=18571 vsize=15419452 memory=1452 CPUtime=0.4 cores=0,2,4,6
/proc/18573/task/18587/stat : 18587 (java) S 18571 18571 12119 0 -1 1077944384 451 0 0 0 0 40 0 0 20 0 19 0 411666066 15789518848 540940 33554432000 4194304 4196468 140725187907648 140381963414576 140382829296258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18588] ppid=18571 vsize=15419452 memory=1452 CPUtime=517.65 cores=0,2,4,6
/proc/18573/task/18588/stat : 18588 (java) R 18571 18571 12119 0 -1 4202560 1356 0 0 0 51765 0 0 0 20 0 19 0 411666201 15789518848 540940 33554432000 4194304 4196468 140725187907648 140381954203192 140382439278485 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18589] ppid=18571 vsize=15419452 memory=1452 CPUtime=518.37 cores=0,2,4,6
/proc/18573/task/18589/stat : 18589 (java) R 18571 18571 12119 0 -1 4202560 18321 0 0 0 51803 34 0 0 20 0 19 0 411666201 15789518848 540940 33554432000 4194304 4196468 140725187907648 140381953151152 140382438270928 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18590] ppid=18571 vsize=15419452 memory=0 CPUtime=516.28 cores=0,2,4,6
/proc/18573/task/18590/stat : 18590 (java) R 18571 18571 12119 0 -1 4202560 1269 0 0 0 51627 1 0 0 20 0 19 0 411666201 15789518848 540940 33554432000 4194304 4196468 140725187907648 140381952098712 140382441498052 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18591] ppid=18571 vsize=15419452 memory=6791534058613427641 CPUtime=516.57 cores=0,2,4,6
/proc/18573/task/18591/stat : 18591 (java) R 18571 18571 12119 0 -1 4202560 5096 0 0 0 51655 2 0 0 20 0 19 0 411666201 15789518848 540940 33554432000 4194304 4196468 140725187907648 140381951045640 140382440158867 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
Current children cumulated CPU time: 2077.69 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 2165212 KiB
[startup+582.301 s]
/proc/loadavg: 8.11 6.47 4.55 9/237 18759
/proc/meminfo: memFree=22539356/32770624 swapFree=66959224/67108860
[pid=18571] ppid=18568 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18571/stat : 18571 (xcsp3-exec) S 18568 18571 12119 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411666060 115843072 363 33554432000 4194304 5098028 140733481731216 140733481729320 140390587028092 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34746368 140733481739130 140733481739373 140733481739373 140733481742282 0
/proc/18571/statm: 28282 363 304 221 0 87 0
[pid=18573] ppid=18571 vsize=15419452 memory=2127844 CPUtime=2316.57 cores=0,2,4,6
/proc/18573/stat : 18573 (java) S 18571 18571 12119 0 -1 1077944320 93943 0 0 0 231583 74 0 0 20 0 19 0 411666060 15789518848 531961 33554432000 4194304 4196468 140725187907648 140725187890192 140382829285111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
/proc/18573/statm: 3854863 531961 3537 1 0 3815965 0
[pid=18573/tid=18574] ppid=18571 vsize=15419452 memory=2127844 CPUtime=1.36 cores=0,2,4,6
/proc/18573/task/18574/stat : 18574 (java) S 18571 18571 12119 0 -1 1077944384 11133 0 0 0 130 6 0 0 20 0 19 0 411666060 15789518848 531961 33554432000 4194304 4196468 140725187907648 140382833525888 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18575] ppid=18571 vsize=15419452 memory=1452 CPUtime=0.2 cores=0,2,4,6
/proc/18573/task/18575/stat : 18575 (java) S 18571 18571 12119 0 -1 1077944384 3956 0 0 0 14 6 0 0 20 0 19 0 411666061 15789518848 531961 33554432000 4194304 4196468 140725187907648 140382757325328 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18576] ppid=18571 vsize=15419452 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/18573/task/18576/stat : 18576 (java) S 18571 18571 12119 0 -1 1077944384 1310 0 0 0 14 5 0 0 20 0 19 0 411666061 15789518848 531961 33554432000 4194304 4196468 140725187907648 140382756272784 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18577] ppid=18571 vsize=15419452 memory=279674178393072 CPUtime=0.2 cores=0,2,4,6
/proc/18573/task/18577/stat : 18577 (java) S 18571 18571 12119 0 -1 1077944384 1693 0 0 0 15 5 0 0 20 0 19 0 411666061 15789518848 531961 33554432000 4194304 4196468 140725187907648 140382755219728 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18578] ppid=18571 vsize=15419452 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/18573/task/18578/stat : 18578 (java) S 18571 18571 12119 0 -1 1077944384 1586 0 0 0 14 5 0 0 20 0 19 0 411666061 15789518848 531961 33554432000 4194304 4196468 140725187907648 140382754167184 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18579] ppid=18571 vsize=15419452 memory=2127844 CPUtime=0.05 cores=0,2,4,6
/proc/18573/task/18579/stat : 18579 (java) S 18571 18571 12119 0 -1 1077944384 3192 0 0 0 4 1 0 0 20 0 19 0 411666063 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381971835632 140382829296258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18580] ppid=18571 vsize=15419452 memory=10604 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18580/stat : 18580 (java) S 18571 18571 12119 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 411666063 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381970781920 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18581] ppid=18571 vsize=15419452 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18581/stat : 18581 (java) S 18571 18571 12119 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 411666063 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381969728768 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18582] ppid=18571 vsize=15419452 memory=2127844 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18582/stat : 18582 (java) S 18571 18571 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411666066 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381968677328 140382829303707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18583] ppid=18571 vsize=15419452 memory=1452 CPUtime=2.74 cores=0,2,4,6
/proc/18573/task/18583/stat : 18583 (java) S 18571 18571 12119 0 -1 1077944384 19867 0 0 0 272 2 0 0 20 0 19 0 411666066 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381967624432 140382829296258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18584] ppid=18571 vsize=15419452 memory=2127844 CPUtime=2.54 cores=0,2,4,6
/proc/18573/task/18584/stat : 18584 (java) S 18571 18571 12119 0 -1 1077944384 12619 0 0 0 253 1 0 0 20 0 19 0 411666066 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381966571888 140382829296258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18585] ppid=18571 vsize=15419452 memory=2127844 CPUtime=0.86 cores=0,2,4,6
/proc/18573/task/18585/stat : 18585 (java) S 18571 18571 12119 0 -1 1077944384 8752 0 0 0 84 2 0 0 20 0 19 0 411666066 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381965518832 140382829296258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18586] ppid=18571 vsize=15419452 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18586/stat : 18586 (java) S 18571 18571 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411666066 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381964466528 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18587] ppid=18571 vsize=15419452 memory=1452 CPUtime=0.42 cores=0,2,4,6
/proc/18573/task/18587/stat : 18587 (java) S 18571 18571 12119 0 -1 1077944384 485 0 0 0 0 42 0 0 20 0 19 0 411666066 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381963414576 140382829296258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18588] ppid=18571 vsize=15419452 memory=1760 CPUtime=577.45 cores=0,2,4,6
/proc/18573/task/18588/stat : 18588 (java) R 18571 18571 12119 0 -1 4202560 1418 0 0 0 57745 0 0 0 20 0 19 0 411666201 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381954203032 140382439236687 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18589] ppid=18571 vsize=15419452 memory=111636 CPUtime=578.04 cores=0,2,4,6
/proc/18573/task/18589/stat : 18589 (java) R 18571 18571 12119 0 -1 4202560 19327 0 0 0 57770 34 0 0 20 0 19 0 411666201 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381953153808 140382439278690 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18590] ppid=18571 vsize=15419452 memory=800 CPUtime=575.66 cores=0,2,4,6
/proc/18573/task/18590/stat : 18590 (java) R 18571 18571 12119 0 -1 4202560 1365 0 0 0 57565 1 0 0 20 0 19 0 411666201 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381952098512 140382439236763 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18591] ppid=18571 vsize=15419452 memory=1804 CPUtime=576.55 cores=0,2,4,6
/proc/18573/task/18591/stat : 18591 (java) R 18571 18571 12119 0 -1 4202560 5869 0 0 0 57653 2 0 0 20 0 19 0 411666201 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381951045656 140382439236879 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
Current children cumulated CPU time: 2316.57 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 2129296 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+633.401 s]
/proc/loadavg: 8.04 6.73 4.75 9/237 18763
/proc/meminfo: memFree=22538468/32770624 swapFree=66959224/67108860
[pid=18571] ppid=18568 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18571/stat : 18571 (xcsp3-exec) S 18568 18571 12119 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411666060 115843072 363 33554432000 4194304 5098028 140733481731216 140733481729320 140390587028092 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34746368 140733481739130 140733481739373 140733481739373 140733481742282 0
/proc/18571/statm: 28282 363 304 221 0 87 0
[pid=18573] ppid=18571 vsize=15419452 memory=2127844 CPUtime=2520.03 cores=0,2,4,6
/proc/18573/stat : 18573 (java) S 18571 18571 12119 0 -1 1077944320 96374 0 0 0 251927 76 0 0 20 0 19 0 411666060 15789518848 531961 33554432000 4194304 4196468 140725187907648 140725187890192 140382829285111 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
/proc/18573/statm: 3854863 531961 3537 1 0 3815965 0
[pid=18573/tid=18574] ppid=18571 vsize=15419452 memory=920 CPUtime=1.36 cores=0,2,4,6
/proc/18573/task/18574/stat : 18574 (java) S 18571 18571 12119 0 -1 1077944384 11133 0 0 0 130 6 0 0 20 0 19 0 411666060 15789518848 531961 33554432000 4194304 4196468 140725187907648 140382833525888 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18575] ppid=18571 vsize=15419452 memory=3844 CPUtime=0.2 cores=0,2,4,6
/proc/18573/task/18575/stat : 18575 (java) S 18571 18571 12119 0 -1 1077944384 3956 0 0 0 14 6 0 0 20 0 19 0 411666061 15789518848 531961 33554432000 4194304 4196468 140725187907648 140382757325328 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18576] ppid=18571 vsize=15419452 memory=2844 CPUtime=0.19 cores=0,2,4,6
/proc/18573/task/18576/stat : 18576 (java) S 18571 18571 12119 0 -1 1077944384 1310 0 0 0 14 5 0 0 20 0 19 0 411666061 15789518848 531961 33554432000 4194304 4196468 140725187907648 140382756272784 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18577] ppid=18571 vsize=15419452 memory=2796 CPUtime=0.2 cores=0,2,4,6
/proc/18573/task/18577/stat : 18577 (java) S 18571 18571 12119 0 -1 1077944384 1693 0 0 0 15 5 0 0 20 0 19 0 411666061 15789518848 531961 33554432000 4194304 4196468 140725187907648 140382755219728 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18578] ppid=18571 vsize=15419452 memory=4100 CPUtime=0.19 cores=0,2,4,6
/proc/18573/task/18578/stat : 18578 (java) S 18571 18571 12119 0 -1 1077944384 1586 0 0 0 14 5 0 0 20 0 19 0 411666061 15789518848 531961 33554432000 4194304 4196468 140725187907648 140382754167184 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18579] ppid=18571 vsize=15419452 memory=1412 CPUtime=0.05 cores=0,2,4,6
/proc/18573/task/18579/stat : 18579 (java) S 18571 18571 12119 0 -1 1077944384 3197 0 0 0 4 1 0 0 20 0 19 0 411666063 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381971835632 140382829296258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18580] ppid=18571 vsize=15419452 memory=3400 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18580/stat : 18580 (java) S 18571 18571 12119 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 411666063 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381970781920 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18581] ppid=18571 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18581/stat : 18581 (java) S 18571 18571 12119 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 411666063 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381969728768 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18582] ppid=18571 vsize=15419452 memory=2127844 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18582/stat : 18582 (java) S 18571 18571 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411666066 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381968677328 140382829303707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18583] ppid=18571 vsize=15419452 memory=3834033566984175681 CPUtime=2.74 cores=0,2,4,6
/proc/18573/task/18583/stat : 18583 (java) S 18571 18571 12119 0 -1 1077944384 19870 0 0 0 272 2 0 0 20 0 19 0 411666066 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381967624432 140382829296258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18584] ppid=18571 vsize=15419452 memory=279674178552832 CPUtime=2.54 cores=0,2,4,6
/proc/18573/task/18584/stat : 18584 (java) S 18571 18571 12119 0 -1 1077944384 12622 0 0 0 253 1 0 0 20 0 19 0 411666066 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381966571888 140382829296258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18585] ppid=18571 vsize=15419452 memory=1452 CPUtime=0.86 cores=0,2,4,6
/proc/18573/task/18585/stat : 18585 (java) S 18571 18571 12119 0 -1 1077944384 8761 0 0 0 84 2 0 0 20 0 19 0 411666066 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381965518832 140382829296258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18586] ppid=18571 vsize=15419452 memory=988 CPUtime=0 cores=0,2,4,6
/proc/18573/task/18586/stat : 18586 (java) S 18571 18571 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411666066 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381964466528 140382829295317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18587] ppid=18571 vsize=15419452 memory=2008 CPUtime=0.44 cores=0,2,4,6
/proc/18573/task/18587/stat : 18587 (java) S 18571 18571 12119 0 -1 1077944384 512 0 0 0 0 44 0 0 20 0 19 0 411666066 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381963414576 140382829296258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18588] ppid=18571 vsize=15419452 memory=1436 CPUtime=628.53 cores=0,2,4,6
/proc/18573/task/18588/stat : 18588 (java) R 18571 18571 12119 0 -1 4202560 1468 0 0 0 62853 0 0 0 20 0 19 0 411666201 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381954203032 140382441497984 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18589] ppid=18571 vsize=15419452 memory=580 CPUtime=628.23 cores=0,2,4,6
/proc/18573/task/18589/stat : 18589 (java) R 18571 18571 12119 0 -1 4202560 21054 0 0 0 62788 35 0 0 20 0 19 0 411666201 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381953153808 140382439139200 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18590] ppid=18571 vsize=15419452 memory=1720 CPUtime=626.75 cores=0,2,4,6
/proc/18573/task/18590/stat : 18590 (java) R 18571 18571 12119 0 -1 4202560 1473 0 0 0 62674 1 0 0 20 0 19 0 411666201 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381952098512 140382441497156 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
[pid=18573/tid=18591] ppid=18571 vsize=15419452 memory=10604 CPUtime=627.62 cores=0,2,4,6
/proc/18573/task/18591/stat : 18591 (java) R 18571 18571 12119 0 -1 4202560 6368 0 0 0 62759 3 0 0 20 0 19 0 411666201 15789518848 531961 33554432000 4194304 4196468 140725187907648 140381951045656 140382439973619 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20656128 140725187916783 140725187916954 140725187916954 140725187919823 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 2129296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+633.42 s]
# the end of solver process 18571 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002323 s, system=0 s
[startup+633.498 s]
# the end of solver process 18573 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.59 s, system=0.77741 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 633.498
CPU time (s): 2520.37
CPU user time (s): 2519.59
CPU system time (s): 0.77741
CPU usage (%): 397.849
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 2201544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.59
system time used= 0.77741
maximum resident set size= 2202140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97806
page faults= 0
swaps= 0
block input operations= 0
block output operations= 728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16577
involuntary context switches= 39990
# summary of solver processes directly reported to runsolver:
# pid: 18571,18573
# total CPU time (s): 2520.37
# total CPU user time (s): 2519.59
# total CPU system time (s): 0.77741
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.84329 second user time and 7.49911 second system time
The end