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 (13078 MiB free)
memory of node 1: 16384 MiB (4821 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392866-1568357210/watcher-4392866-1568357210 -o /tmp/evaluation-result-4392866-1568357210/solver-4392866-1568357210 -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 1126640227 HOME/instance-4392866-1568357210.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=18489, runsolver pid=18486
[startup+0.103707 s]*
/proc/loadavg: 1.97 2.04 2.59 3/233 18505
/proc/meminfo: memFree=18313996/32770624 swapFree=66959224/67108860
[pid=18489] ppid=18486 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18489/stat : 18489 (xcsp3-exec) S 18486 18489 12119 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411661164 115843072 363 33554432000 4194304 5098028 140733851039280 140733851037384 139688927195772 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36040704 140733851042682 140733851042925 140733851042925 140733851045834 0
/proc/18489/statm: 28282 363 304 221 0 87 0
[pid=18491] ppid=18489 vsize=15144768 memory=28924 CPUtime=0.14 cores=0,2,4,6
/proc/18491/stat : 18491 (java) S 18489 18489 12119 0 -1 1077944320 5708 0 0 0 12 2 0 0 20 0 15 0 411661164 15508242432 7231 33554432000 4194304 4196468 140731054274528 140731054257072 140042971918071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
/proc/18491/statm: 3786192 7231 3157 1 0 3748377 0
[pid=18491/tid=18492] ppid=18489 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=0,2,4,6
/proc/18491/task/18492/stat : 18492 (java) R 18489 18489 12119 0 -1 4202560 3586 0 0 0 8 1 0 0 20 0 15 0 411661165 15508242432 7231 33554432000 4194304 4196468 140731054274528 140042976141328 140042955961701 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18493] ppid=18489 vsize=15144768 memory=3472468705542915280 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18493/stat : 18493 (java) S 18489 18489 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411661165 15508242432 7231 33554432000 4194304 4196468 140731054274528 140042924538640 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18494] ppid=18489 vsize=15144768 memory=140576647763584 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18494/stat : 18494 (java) S 18489 18489 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411661165 15508242432 7231 33554432000 4194304 4196468 140731054274528 140042923486096 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18495] ppid=18489 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18495/stat : 18495 (java) S 18489 18489 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411661165 15508242432 7231 33554432000 4194304 4196468 140731054274528 140042922433552 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18496] ppid=18489 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18496/stat : 18496 (java) S 18489 18489 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411661165 15508242432 7231 33554432000 4194304 4196468 140731054274528 140042921381008 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18497] ppid=18489 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18497/stat : 18497 (java) S 18489 18489 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411661167 15508242432 7231 33554432000 4194304 4196468 140731054274528 140042439739376 140042971929218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18498] ppid=18489 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18498/stat : 18498 (java) S 18489 18489 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411661167 15508242432 7231 33554432000 4194304 4196468 140731054274528 140042438685600 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18499] ppid=18489 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18499/stat : 18499 (java) S 18489 18489 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411661168 15508242432 7231 33554432000 4194304 4196468 140731054274528 140042437633008 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18500] ppid=18489 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18500/stat : 18500 (java) S 18489 18489 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411661170 15508242432 7231 33554432000 4194304 4196468 140731054274528 140042436581584 140042971936667 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18501] ppid=18489 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18501/stat : 18501 (java) R 18489 18489 12119 0 -1 4202560 184 0 0 0 0 0 0 0 20 0 15 0 411661170 15508242432 7231 33554432000 4194304 4196468 140731054274528 140042435529200 140042964903113 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18502] ppid=18489 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18502/stat : 18502 (java) R 18489 18489 12119 0 -1 1077944384 274 0 0 0 0 0 0 0 20 0 15 0 411661170 15508242432 7231 33554432000 4194304 4196468 140731054274528 140042434476656 140042971929218 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18503] ppid=18489 vsize=15144768 memory=140576647763584 CPUtime=0.02 cores=0,2,4,6
/proc/18491/task/18503/stat : 18503 (java) R 18489 18489 12119 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 15 0 411661170 15508242432 7231 33554432000 4194304 4196468 140731054274528 140042433424112 140042950873650 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18504] ppid=18489 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18504/stat : 18504 (java) S 18489 18489 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411661170 15508242432 7231 33554432000 4194304 4196468 140731054274528 140042432371808 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18505] ppid=18489 vsize=15144768 memory=140576647763584 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18505/stat : 18505 (java) S 18489 18489 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411661170 15508242432 7231 33554432000 4194304 4196468 140731054274528 140042431318320 140042971929218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30376 KiB
[startup+0.210932 s]*
/proc/loadavg: 1.97 2.04 2.59 4/233 18505
/proc/meminfo: memFree=18301032/32770624 swapFree=66959224/67108860
[pid=18489] ppid=18486 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18489/stat : 18489 (xcsp3-exec) S 18486 18489 12119 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411661164 115843072 363 33554432000 4194304 5098028 140733851039280 140733851037384 139688927195772 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36040704 140733851042682 140733851042925 140733851042925 140733851045834 0
/proc/18489/statm: 28282 363 304 221 0 87 0
[pid=18491] ppid=18489 vsize=15144768 memory=40504 CPUtime=0.34 cores=0,2,4,6
/proc/18491/stat : 18491 (java) S 18489 18489 12119 0 -1 1077944320 9406 0 0 0 31 3 0 0 20 0 15 0 411661164 15508242432 10126 33554432000 4194304 4196468 140731054274528 140731054257072 140042971918071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
/proc/18491/statm: 3786192 10126 3296 1 0 3748377 0
[pid=18491/tid=18492] ppid=18489 vsize=15144768 memory=5855082630903857826 CPUtime=0.2 cores=0,2,4,6
/proc/18491/task/18492/stat : 18492 (java) R 18489 18489 12119 0 -1 4202560 6570 0 0 0 17 3 0 0 20 0 15 0 411661165 15508242432 10126 33554432000 4194304 4196468 140731054274528 140042976152192 140042964596085 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18493] ppid=18489 vsize=15144768 memory=3472468705542915280 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18493/stat : 18493 (java) S 18489 18489 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411661165 15508242432 10126 33554432000 4194304 4196468 140731054274528 140042924538640 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18494] ppid=18489 vsize=15144768 memory=140576647763584 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18494/stat : 18494 (java) S 18489 18489 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411661165 15508242432 10126 33554432000 4194304 4196468 140731054274528 140042923486096 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18495] ppid=18489 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18495/stat : 18495 (java) S 18489 18489 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411661165 15508242432 10126 33554432000 4194304 4196468 140731054274528 140042922433552 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18496] ppid=18489 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18496/stat : 18496 (java) S 18489 18489 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411661165 15508242432 10126 33554432000 4194304 4196468 140731054274528 140042921381008 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18497] ppid=18489 vsize=15144768 memory=140576647763584 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18497/stat : 18497 (java) S 18489 18489 12119 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411661167 15508242432 10126 33554432000 4194304 4196468 140731054274528 140042439739376 140042971929218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18498] ppid=18489 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18498/stat : 18498 (java) S 18489 18489 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411661167 15508242432 10126 33554432000 4194304 4196468 140731054274528 140042438685600 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18499] ppid=18489 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18499/stat : 18499 (java) S 18489 18489 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411661168 15508242432 10126 33554432000 4194304 4196468 140731054274528 140042437633008 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18500] ppid=18489 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18500/stat : 18500 (java) S 18489 18489 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411661170 15508242432 10126 33554432000 4194304 4196468 140731054274528 140042436581584 140042971936667 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18501] ppid=18489 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/18491/task/18501/stat : 18501 (java) S 18489 18489 12119 0 -1 1077944384 424 0 0 0 3 0 0 0 20 0 15 0 411661170 15508242432 10126 33554432000 4194304 4196468 140731054274528 140042435529200 140042971929218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18502] ppid=18489 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/18491/task/18502/stat : 18502 (java) S 18489 18489 12119 0 -1 1077944384 315 0 0 0 1 0 0 0 20 0 15 0 411661170 15508242432 10126 33554432000 4194304 4196468 140731054274528 140042434476656 140042971929218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18503] ppid=18489 vsize=15144768 memory=140576647763584 CPUtime=0.08 cores=0,2,4,6
/proc/18491/task/18503/stat : 18503 (java) S 18489 18489 12119 0 -1 1077944384 792 0 0 0 8 0 0 0 20 0 15 0 411661170 15508242432 10126 33554432000 4194304 4196468 140731054274528 140042433424112 140042971929218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18504] ppid=18489 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18504/stat : 18504 (java) S 18489 18489 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411661170 15508242432 10126 33554432000 4194304 4196468 140731054274528 140042432371808 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18505] ppid=18489 vsize=15144768 memory=140576647763584 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18505/stat : 18505 (java) S 18489 18489 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411661170 15508242432 10126 33554432000 4194304 4196468 140731054274528 140042431318320 140042971929218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41956 KiB
[startup+0.310755 s]*
/proc/loadavg: 1.97 2.04 2.59 5/233 18505
/proc/meminfo: memFree=18292512/32770624 swapFree=66959224/67108860
[pid=18489] ppid=18486 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18489/stat : 18489 (xcsp3-exec) S 18486 18489 12119 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411661164 115843072 363 33554432000 4194304 5098028 140733851039280 140733851037384 139688927195772 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36040704 140733851042682 140733851042925 140733851042925 140733851045834 0
/proc/18489/statm: 28282 363 304 221 0 87 0
[pid=18491] ppid=18489 vsize=15149024 memory=49756 CPUtime=0.53 cores=0,2,4,6
/proc/18491/stat : 18491 (java) S 18489 18489 12119 0 -1 1077944320 10806 0 0 0 49 4 0 0 20 0 15 0 411661164 15512600576 12439 33554432000 4194304 4196468 140731054274528 140731054257072 140042971918071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
/proc/18491/statm: 3787256 12439 3372 1 0 3748377 0
[pid=18491/tid=18492] ppid=18489 vsize=15149024 memory=8514701219880992413 CPUtime=0.29 cores=0,2,4,6
/proc/18491/task/18492/stat : 18492 (java) R 18489 18489 12119 0 -1 4202560 7748 0 0 0 26 3 0 0 20 0 15 0 411661165 15512600576 12439 33554432000 4194304 4196468 140731054274528 140042976149184 140042971939997 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18493] ppid=18489 vsize=15149024 memory=3472468705542915280 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18493/stat : 18493 (java) S 18489 18489 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411661165 15512600576 12439 33554432000 4194304 4196468 140731054274528 140042924538640 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18494] ppid=18489 vsize=15149024 memory=140576647763584 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18494/stat : 18494 (java) S 18489 18489 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411661165 15512600576 12439 33554432000 4194304 4196468 140731054274528 140042923486096 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18495] ppid=18489 vsize=15149024 memory=5 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18495/stat : 18495 (java) S 18489 18489 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411661165 15512600576 12439 33554432000 4194304 4196468 140731054274528 140042922433552 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18496] ppid=18489 vsize=15149024 memory=140576494331935 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18496/stat : 18496 (java) S 18489 18489 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411661165 15512600576 12439 33554432000 4194304 4196468 140731054274528 140042921381008 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18497] ppid=18489 vsize=15149024 memory=281152988624640 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18497/stat : 18497 (java) S 18489 18489 12119 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411661167 15512600576 12504 33554432000 4194304 4196468 140731054274528 140042439739376 140042971929218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18498] ppid=18489 vsize=15149024 memory=140576494308879 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18498/stat : 18498 (java) S 18489 18489 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411661167 15512600576 12504 33554432000 4194304 4196468 140731054274528 140042438685600 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18499] ppid=18489 vsize=15149024 memory=281153142081632 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18499/stat : 18499 (java) S 18489 18489 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411661168 15512600576 12504 33554432000 4194304 4196468 140731054274528 140042437633008 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18500] ppid=18489 vsize=15149024 memory=140576494313487 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18500/stat : 18500 (java) S 18489 18489 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411661170 15512600576 12504 33554432000 4194304 4196468 140731054274528 140042436581584 140042971936667 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18501] ppid=18489 vsize=15149024 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/18491/task/18501/stat : 18501 (java) R 18489 18489 12119 0 -1 4202560 511 0 0 0 6 0 0 0 20 0 15 0 411661170 15512600576 12504 33554432000 4194304 4196468 140731054274528 140042435510216 140042956305120 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18502] ppid=18489 vsize=15149024 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/18491/task/18502/stat : 18502 (java) S 18489 18489 12119 0 -1 1077944384 332 0 0 0 3 0 0 0 20 0 15 0 411661170 15512600576 12504 33554432000 4194304 4196468 140731054274528 140042434476656 140042971929218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18503] ppid=18489 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/18491/task/18503/stat : 18503 (java) S 18489 18489 12119 0 -1 1077944384 913 0 0 0 12 0 0 0 20 0 15 0 411661170 15512600576 12504 33554432000 4194304 4196468 140731054274528 140042433424112 140042971929218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18504] ppid=18489 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18504/stat : 18504 (java) S 18489 18489 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411661170 15512600576 12504 33554432000 4194304 4196468 140731054274528 140042432371808 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18505] ppid=18489 vsize=15149024 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18505/stat : 18505 (java) S 18489 18489 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411661170 15512600576 12504 33554432000 4194304 4196468 140731054274528 140042431318320 140042971929218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51208 KiB
[startup+0.701233 s]
/proc/loadavg: 1.97 2.04 2.59 5/233 18505
/proc/meminfo: memFree=18275940/32770624 swapFree=66959224/67108860
[pid=18489] ppid=18486 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18489/stat : 18489 (xcsp3-exec) S 18486 18489 12119 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411661164 115843072 363 33554432000 4194304 5098028 140733851039280 140733851037384 139688927195772 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36040704 140733851042682 140733851042925 140733851042925 140733851045834 0
/proc/18489/statm: 28282 363 304 221 0 87 0
[pid=18491] ppid=18489 vsize=15151148 memory=96496 CPUtime=1.71 cores=0,2,4,6
/proc/18491/stat : 18491 (java) S 18489 18489 12119 0 -1 1077944320 15767 0 0 0 165 6 0 0 20 0 15 0 411661164 15514775552 24124 33554432000 4194304 4196468 140731054274528 140731054257072 140042971918071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
/proc/18491/statm: 3787787 24124 3452 1 0 3748889 0
[pid=18491/tid=18492] ppid=18489 vsize=15151148 memory=4639059877604708710 CPUtime=0.67 cores=0,2,4,6
/proc/18491/task/18492/stat : 18492 (java) R 18489 18489 12119 0 -1 4202560 9300 0 0 0 63 4 0 0 20 0 15 0 411661165 15514775552 24124 33554432000 4194304 4196468 140731054274528 140042976154688 140042592922906 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18493] ppid=18489 vsize=15151148 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18493/stat : 18493 (java) S 18489 18489 12119 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411661165 15514775552 24124 33554432000 4194304 4196468 140731054274528 140042924538640 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18494] ppid=18489 vsize=15151148 memory=6935649255911812433 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18494/stat : 18494 (java) S 18489 18489 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411661165 15514775552 24124 33554432000 4194304 4196468 140731054274528 140042923486096 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18495] ppid=18489 vsize=15151148 memory=7825734864442108491 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18495/stat : 18495 (java) S 18489 18489 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411661165 15514775552 24124 33554432000 4194304 4196468 140731054274528 140042922433552 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18496] ppid=18489 vsize=15151148 memory=7100839861499826839 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18496/stat : 18496 (java) S 18489 18489 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411661165 15514775552 24124 33554432000 4194304 4196468 140731054274528 140042921381008 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18497] ppid=18489 vsize=15151148 memory=6944613755328037012 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18497/stat : 18497 (java) S 18489 18489 12119 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411661167 15514775552 24124 33554432000 4194304 4196468 140731054274528 140042439739376 140042971929218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18498] ppid=18489 vsize=15151148 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18498/stat : 18498 (java) S 18489 18489 12119 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411661167 15514775552 24124 33554432000 4194304 4196468 140731054274528 140042438685600 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18499] ppid=18489 vsize=15151148 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18499/stat : 18499 (java) S 18489 18489 12119 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411661168 15514775552 24124 33554432000 4194304 4196468 140731054274528 140042437633008 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18500] ppid=18489 vsize=15151148 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18500/stat : 18500 (java) S 18489 18489 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411661170 15514775552 24124 33554432000 4194304 4196468 140731054274528 140042436581584 140042971936667 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18501] ppid=18489 vsize=15151148 memory=1660 CPUtime=0.3 cores=0,2,4,6
/proc/18491/task/18501/stat : 18501 (java) R 18489 18489 12119 0 -1 4202560 1420 0 0 0 30 0 0 0 20 0 15 0 411661170 15514775552 24124 33554432000 4194304 4196468 140731054274528 140042435510464 140042955385986 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18502] ppid=18489 vsize=15151148 memory=38988 CPUtime=0.27 cores=0,2,4,6
/proc/18491/task/18502/stat : 18502 (java) R 18489 18489 12119 0 -1 4202560 1258 0 0 0 27 0 0 0 20 0 15 0 411661170 15514775552 24124 33554432000 4194304 4196468 140731054274528 140042434476656 140042949940616 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18503] ppid=18489 vsize=15151148 memory=988 CPUtime=0.42 cores=0,2,4,6
/proc/18491/task/18503/stat : 18503 (java) R 18489 18489 12119 0 -1 4202560 2483 0 0 0 42 0 0 0 20 0 15 0 411661170 15514775552 24124 33554432000 4194304 4196468 140731054274528 140042433418488 140042965014907 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18504] ppid=18489 vsize=15151148 memory=5793994532452520804 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18504/stat : 18504 (java) S 18489 18489 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411661170 15514775552 24124 33554432000 4194304 4196468 140731054274528 140042432371808 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18505] ppid=18489 vsize=15151148 memory=8099279071866868843 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18505/stat : 18505 (java) S 18489 18489 12119 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411661170 15514775552 24124 33554432000 4194304 4196468 140731054274528 140042431318320 140042971929218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 97948 KiB
[startup+1.50719 s]
/proc/loadavg: 1.97 2.04 2.59 5/233 18505
/proc/meminfo: memFree=18159992/32770624 swapFree=66959224/67108860
[pid=18489] ppid=18486 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18489/stat : 18489 (xcsp3-exec) S 18486 18489 12119 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411661164 115843072 363 33554432000 4194304 5098028 140733851039280 140733851037384 139688927195772 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36040704 140733851042682 140733851042925 140733851042925 140733851045834 0
/proc/18489/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/18491/task/18505/stat : 18505 (java) S 18489 18489 12119 0 -1 1077944384 218 0 0 0 0 4 0 0 20 0 19 0 411661170 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042431318320 140042971929218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18506] ppid=18489 vsize=15419452 memory=1760 CPUtime=44.53 cores=0,2,4,6
/proc/18491/task/18506/stat : 18506 (java) R 18489 18489 12119 0 -1 4202560 483 0 0 0 4453 0 0 0 20 0 19 0 411661274 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042422344160 140042599072975 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18507] ppid=18489 vsize=15419452 memory=111636 CPUtime=44.21 cores=0,2,4,6
/proc/18491/task/18507/stat : 18507 (java) R 18489 18489 12119 0 -1 4202560 3859 0 0 0 4408 13 0 0 20 0 19 0 411661274 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042421292888 140042601174919 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18508] ppid=18489 vsize=15419452 memory=288230574492221466 CPUtime=43.91 cores=0,2,4,6
/proc/18491/task/18508/stat : 18508 (java) R 18489 18489 12119 0 -1 4202560 273 0 0 0 4391 0 0 0 20 0 19 0 411661274 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042420240584 140042600228944 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18509] ppid=18489 vsize=15419452 memory=288230621803970871 CPUtime=43.72 cores=0,2,4,6
/proc/18491/task/18509/stat : 18509 (java) R 18489 18489 12119 0 -1 4202560 1585 0 0 0 4372 0 0 0 20 0 19 0 411661274 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042419187912 140042600043884 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
Current children cumulated CPU time: 183.21 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 1166508 KiB
[startup+47.2012 s]
/proc/loadavg: 3.76 2.52 2.73 6/237 18512
/proc/meminfo: memFree=17176508/32770624 swapFree=66959224/67108860
[pid=18489] ppid=18486 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18489/stat : 18489 (xcsp3-exec) S 18486 18489 12119 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411661164 115843072 363 33554432000 4194304 5098028 140733851039280 140733851037384 139688927195772 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36040704 140733851042682 140733851042925 140733851042925 140733851045834 0
/proc/18489/statm: 28282 363 304 221 0 87 0
[pid=18491] ppid=18489 vsize=15419452 memory=1165056 CPUtime=186.39 cores=0,2,4,6
/proc/18491/stat : 18491 (java) S 18489 18489 12119 0 -1 1077944320 48292 0 0 0 18598 41 0 0 20 0 19 0 411661164 15789518848 291264 33554432000 4194304 4196468 140731054274528 140731054257072 140042971918071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
/proc/18491/statm: 3854863 291264 3538 1 0 3815965 0
[pid=18491/tid=18492] ppid=18489 vsize=15419452 memory=6791534058613427641 CPUtime=1.05 cores=0,2,4,6
/proc/18491/task/18492/stat : 18492 (java) S 18489 18489 12119 0 -1 1077944384 10891 0 0 0 99 6 0 0 20 0 19 0 411661165 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042976158848 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18493] ppid=18489 vsize=15419452 memory=1660 CPUtime=0.09 cores=0,2,4,6
/proc/18491/task/18493/stat : 18493 (java) S 18489 18489 12119 0 -1 1077944384 249 0 0 0 6 3 0 0 20 0 19 0 411661165 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042924538640 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18494] ppid=18489 vsize=15419452 memory=38988 CPUtime=0.12 cores=0,2,4,6
/proc/18491/task/18494/stat : 18494 (java) S 18489 18489 12119 0 -1 1077944384 571 0 0 0 8 4 0 0 20 0 19 0 411661165 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042923486096 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18495] ppid=18489 vsize=15419452 memory=988 CPUtime=0.11 cores=0,2,4,6
/proc/18491/task/18495/stat : 18495 (java) S 18489 18489 12119 0 -1 1077944384 506 0 0 0 7 4 0 0 20 0 19 0 411661165 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042922433552 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18496] ppid=18489 vsize=15419452 memory=2008 CPUtime=0.12 cores=0,2,4,6
/proc/18491/task/18496/stat : 18496 (java) S 18489 18489 12119 0 -1 1077944384 1105 0 0 0 8 4 0 0 20 0 19 0 411661165 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042921381008 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18497] ppid=18489 vsize=15419452 memory=800 CPUtime=0.02 cores=0,2,4,6
/proc/18491/task/18497/stat : 18497 (java) S 18489 18489 12119 0 -1 1077944384 1476 0 0 0 2 0 0 0 20 0 19 0 411661167 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042439739376 140042971929218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18498] ppid=18489 vsize=15419452 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18498/stat : 18498 (java) S 18489 18489 12119 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 411661167 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042438685664 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18499] ppid=18489 vsize=15419452 memory=920 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18499/stat : 18499 (java) S 18489 18489 12119 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 411661168 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042437633024 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18500] ppid=18489 vsize=15419452 memory=3844 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18500/stat : 18500 (java) S 18489 18489 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411661170 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042436581584 140042971936667 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18501] ppid=18489 vsize=15419452 memory=2712 CPUtime=2.23 cores=0,2,4,6
/proc/18491/task/18501/stat : 18501 (java) S 18489 18489 12119 0 -1 1077944384 8297 0 0 0 223 0 0 0 20 0 19 0 411661170 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042435529200 140042971929218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18502] ppid=18489 vsize=15419452 memory=2984 CPUtime=2.11 cores=0,2,4,6
/proc/18491/task/18502/stat : 18502 (java) S 18489 18489 12119 0 -1 1077944384 10141 0 0 0 210 1 0 0 20 0 19 0 411661170 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042434476656 140042971929218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18503] ppid=18489 vsize=15419452 memory=4100 CPUtime=0.82 cores=0,2,4,6
/proc/18491/task/18503/stat : 18503 (java) S 18489 18489 12119 0 -1 1077944384 7241 0 0 0 81 1 0 0 20 0 19 0 411661170 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042433424112 140042971929218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18504] ppid=18489 vsize=15419452 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18504/stat : 18504 (java) S 18489 18489 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411661170 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042432371808 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18505] ppid=18489 vsize=15419452 memory=3588 CPUtime=0.04 cores=0,2,4,6
/proc/18491/task/18505/stat : 18505 (java) S 18489 18489 12119 0 -1 1077944384 218 0 0 0 0 4 0 0 20 0 19 0 411661170 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042431318320 140042971929218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18506] ppid=18489 vsize=15419452 memory=776 CPUtime=45.33 cores=0,2,4,6
/proc/18491/task/18506/stat : 18506 (java) R 18489 18489 12119 0 -1 4202560 483 0 0 0 4533 0 0 0 20 0 19 0 411661274 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042422344160 140042600430976 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18507] ppid=18489 vsize=15419452 memory=1564 CPUtime=45 cores=0,2,4,6
/proc/18491/task/18507/stat : 18507 (java) R 18489 18489 12119 0 -1 4202560 3871 0 0 0 4487 13 0 0 20 0 19 0 411661274 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042421292888 140042601865438 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18508] ppid=18489 vsize=15419452 memory=5968 CPUtime=44.71 cores=0,2,4,6
/proc/18491/task/18508/stat : 18508 (java) R 18489 18489 12119 0 -1 4202560 273 0 0 0 4471 0 0 0 20 0 19 0 411661274 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042420240584 140042600226979 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18509] ppid=18489 vsize=15419452 memory=1060 CPUtime=44.52 cores=0,2,4,6
/proc/18491/task/18509/stat : 18509 (java) R 18489 18489 12119 0 -1 4202560 1585 0 0 0 4452 0 0 0 20 0 19 0 411661274 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042419187912 140042599784427 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
Current children cumulated CPU time: 186.39 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 1166508 KiB
[startup+47.6012 s]
/proc/loadavg: 3.76 2.52 2.73 6/237 18512
/proc/meminfo: memFree=17176508/32770624 swapFree=66959224/67108860
[pid=18489] ppid=18486 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18489/stat : 18489 (xcsp3-exec) S 18486 18489 12119 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411661164 115843072 363 33554432000 4194304 5098028 140733851039280 140733851037384 139688927195772 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36040704 140733851042682 140733851042925 140733851042925 140733851045834 0
/proc/18489/statm: 28282 363 304 221 0 87 0
[pid=18491] ppid=18489 vsize=15419452 memory=1165056 CPUtime=187.99 cores=0,2,4,6
/proc/18491/stat : 18491 (java) S 18489 18489 12119 0 -1 1077944320 48298 0 0 0 18758 41 0 0 20 0 19 0 411661164 15789518848 291264 33554432000 4194304 4196468 140731054274528 140731054257072 140042971918071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
/proc/18491/statm: 3854863 291264 3538 1 0 3815965 0
[pid=18491/tid=18492] ppid=18489 vsize=15419452 memory=6791534058613427641 CPUtime=1.05 cores=0,2,4,6
/proc/18491/task/18492/stat : 18492 (java) S 18489 18489 12119 0 -1 1077944384 10891 0 0 0 99 6 0 0 20 0 19 0 411661165 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042976158848 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18493] ppid=18489 vsize=15419452 memory=500 CPUtime=0.09 cores=0,2,4,6
/proc/18491/task/18493/stat : 18493 (java) S 18489 18489 12119 0 -1 1077944384 249 0 0 0 6 3 0 0 20 0 19 0 411661165 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042924538640 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18494] ppid=18489 vsize=15419452 memory=1556 CPUtime=0.12 cores=0,2,4,6
/proc/18491/task/18494/stat : 18494 (java) S 18489 18489 12119 0 -1 1077944384 571 0 0 0 8 4 0 0 20 0 19 0 411661165 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042923486096 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18495] ppid=18489 vsize=15419452 memory=928 CPUtime=0.11 cores=0,2,4,6
/proc/18491/task/18495/stat : 18495 (java) S 18489 18489 12119 0 -1 1077944384 506 0 0 0 7 4 0 0 20 0 19 0 411661165 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042922433552 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18496] ppid=18489 vsize=15419452 memory=1760 CPUtime=0.12 cores=0,2,4,6
/proc/18491/task/18496/stat : 18496 (java) S 18489 18489 12119 0 -1 1077944384 1105 0 0 0 8 4 0 0 20 0 19 0 411661165 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042921381008 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18497] ppid=18489 vsize=15419452 memory=832 CPUtime=0.02 cores=0,2,4,6
/proc/18491/task/18497/stat : 18497 (java) S 18489 18489 12119 0 -1 1077944384 1476 0 0 0 2 0 0 0 20 0 19 0 411661167 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042439739376 140042971929218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18498] ppid=18489 vsize=15419452 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18498/stat : 18498 (java) S 18489 18489 12119 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 411661167 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042438685664 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18499] ppid=18489 vsize=15419452 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18499/stat : 18499 (java) S 18489 18489 12119 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 411661168 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042437633024 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18500] ppid=18489 vsize=15419452 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18500/stat : 18500 (java) S 18489 18489 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411661170 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042436581584 140042971936667 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18501] ppid=18489 vsize=15419452 memory=1760 CPUtime=2.23 cores=0,2,4,6
/proc/18491/task/18501/stat : 18501 (java) S 18489 18489 12119 0 -1 1077944384 8297 0 0 0 223 0 0 0 20 0 19 0 411661170 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042435529200 140042971929218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18502] ppid=18489 vsize=15419452 memory=111636 CPUtime=2.11 cores=0,2,4,6
/proc/18491/task/18502/stat : 18502 (java) S 18489 18489 12119 0 -1 1077944384 10141 0 0 0 210 1 0 0 20 0 19 0 411661170 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042434476656 140042971929218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18503] ppid=18489 vsize=15419452 memory=800 CPUtime=0.82 cores=0,2,4,6
/proc/18491/task/18503/stat : 18503 (java) S 18489 18489 12119 0 -1 1077944384 7241 0 0 0 81 1 0 0 20 0 19 0 411661170 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042433424112 140042971929218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18504] ppid=18489 vsize=15419452 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18504/stat : 18504 (java) S 18489 18489 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411661170 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042432371808 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18505] ppid=18489 vsize=15419452 memory=920 CPUtime=0.04 cores=0,2,4,6
/proc/18491/task/18505/stat : 18505 (java) S 18489 18489 12119 0 -1 1077944384 218 0 0 0 0 4 0 0 20 0 19 0 411661170 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042431318320 140042971929218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18506] ppid=18489 vsize=15419452 memory=3844 CPUtime=45.73 cores=0,2,4,6
/proc/18491/task/18506/stat : 18506 (java) R 18489 18489 12119 0 -1 4202560 483 0 0 0 4573 0 0 0 20 0 19 0 411661274 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042422344160 140042600227093 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18507] ppid=18489 vsize=15419452 memory=2712 CPUtime=45.39 cores=0,2,4,6
/proc/18491/task/18507/stat : 18507 (java) R 18489 18489 12119 0 -1 4202560 3875 0 0 0 4526 13 0 0 20 0 19 0 411661274 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042421292888 140042596698668 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18508] ppid=18489 vsize=15419452 memory=2984 CPUtime=45.11 cores=0,2,4,6
/proc/18491/task/18508/stat : 18508 (java) R 18489 18489 12119 0 -1 4202560 273 0 0 0 4511 0 0 0 20 0 19 0 411661274 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042420240584 140042600403800 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18509] ppid=18489 vsize=15419452 memory=4100 CPUtime=44.92 cores=0,2,4,6
/proc/18491/task/18509/stat : 18509 (java) R 18489 18489 12119 0 -1 4202560 1587 0 0 0 4492 0 0 0 20 0 19 0 411661274 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042419187912 140042599991500 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
Current children cumulated CPU time: 187.99 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 1166508 KiB
[startup+47.8012 s]
/proc/loadavg: 3.76 2.52 2.73 6/237 18512
/proc/meminfo: memFree=17176508/32770624 swapFree=66959224/67108860
[pid=18489] ppid=18486 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18489/stat : 18489 (xcsp3-exec) S 18486 18489 12119 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 411661164 115843072 363 33554432000 4194304 5098028 140733851039280 140733851037384 139688927195772 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 36040704 140733851042682 140733851042925 140733851042925 140733851045834 0
/proc/18489/statm: 28282 363 304 221 0 87 0
[pid=18491] ppid=18489 vsize=15419452 memory=1165056 CPUtime=188.78 cores=0,2,4,6
/proc/18491/stat : 18491 (java) S 18489 18489 12119 0 -1 1077944320 48302 0 0 0 18837 41 0 0 20 0 19 0 411661164 15789518848 291264 33554432000 4194304 4196468 140731054274528 140731054257072 140042971918071 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
/proc/18491/statm: 3854863 291264 3538 1 0 3815965 0
[pid=18491/tid=18492] ppid=18489 vsize=15419452 memory=1448 CPUtime=1.05 cores=0,2,4,6
/proc/18491/task/18492/stat : 18492 (java) S 18489 18489 12119 0 -1 1077944384 10891 0 0 0 99 6 0 0 20 0 19 0 411661165 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042976158848 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18493] ppid=18489 vsize=15419452 memory=7408076 CPUtime=0.09 cores=0,2,4,6
/proc/18491/task/18493/stat : 18493 (java) S 18489 18489 12119 0 -1 1077944384 249 0 0 0 6 3 0 0 20 0 19 0 411661165 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042924538640 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18494] ppid=18489 vsize=15419452 memory=1412 CPUtime=0.12 cores=0,2,4,6
/proc/18491/task/18494/stat : 18494 (java) S 18489 18489 12119 0 -1 1077944384 571 0 0 0 8 4 0 0 20 0 19 0 411661165 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042923486096 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18495] ppid=18489 vsize=15419452 memory=2968 CPUtime=0.11 cores=0,2,4,6
/proc/18491/task/18495/stat : 18495 (java) S 18489 18489 12119 0 -1 1077944384 506 0 0 0 7 4 0 0 20 0 19 0 411661165 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042922433552 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18496] ppid=18489 vsize=15419452 memory=1452 CPUtime=0.12 cores=0,2,4,6
/proc/18491/task/18496/stat : 18496 (java) S 18489 18489 12119 0 -1 1077944384 1105 0 0 0 8 4 0 0 20 0 19 0 411661165 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042921381008 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18497] ppid=18489 vsize=15419452 memory=1165056 CPUtime=0.02 cores=0,2,4,6
/proc/18491/task/18497/stat : 18497 (java) S 18489 18489 12119 0 -1 1077944384 1476 0 0 0 2 0 0 0 20 0 19 0 411661167 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042439739376 140042971929218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 30 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18498] ppid=18489 vsize=15419452 memory=38988 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18498/stat : 18498 (java) S 18489 18489 12119 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 411661167 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042438685664 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18499] ppid=18489 vsize=15419452 memory=988 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18499/stat : 18499 (java) S 18489 18489 12119 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 411661168 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042437633024 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18500] ppid=18489 vsize=15419452 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18500/stat : 18500 (java) S 18489 18489 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411661170 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042436581584 140042971936667 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18501] ppid=18489 vsize=15419452 memory=1436 CPUtime=2.23 cores=0,2,4,6
/proc/18491/task/18501/stat : 18501 (java) S 18489 18489 12119 0 -1 1077944384 8297 0 0 0 223 0 0 0 20 0 19 0 411661170 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042435529200 140042971929218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18502] ppid=18489 vsize=15419452 memory=580 CPUtime=2.11 cores=0,2,4,6
/proc/18491/task/18502/stat : 18502 (java) S 18489 18489 12119 0 -1 1077944384 10141 0 0 0 210 1 0 0 20 0 19 0 411661170 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042434476656 140042971929218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18503] ppid=18489 vsize=15419452 memory=1720 CPUtime=0.82 cores=0,2,4,6
/proc/18491/task/18503/stat : 18503 (java) S 18489 18489 12119 0 -1 1077944384 7241 0 0 0 81 1 0 0 20 0 19 0 411661170 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042433424112 140042971929218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18504] ppid=18489 vsize=15419452 memory=10604 CPUtime=0 cores=0,2,4,6
/proc/18491/task/18504/stat : 18504 (java) S 18489 18489 12119 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411661170 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042432371808 140042971928277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18505] ppid=18489 vsize=15419452 memory=3360 CPUtime=0.04 cores=0,2,4,6
/proc/18491/task/18505/stat : 18505 (java) S 18489 18489 12119 0 -1 1077944384 218 0 0 0 0 4 0 0 20 0 19 0 411661170 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042431318320 140042971929218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18506] ppid=18489 vsize=15419452 memory=776 CPUtime=45.93 cores=0,2,4,6
/proc/18491/task/18506/stat : 18506 (java) R 18489 18489 12119 0 -1 4202560 483 0 0 0 4593 0 0 0 20 0 19 0 411661274 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042422344160 140042600512667 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18507] ppid=18489 vsize=15419452 memory=1564 CPUtime=45.59 cores=0,2,4,6
/proc/18491/task/18507/stat : 18507 (java) R 18489 18489 12119 0 -1 4202560 3877 0 0 0 4546 13 0 0 20 0 19 0 411661274 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042421292888 140042600416952 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18508] ppid=18489 vsize=15419452 memory=5968 CPUtime=45.31 cores=0,2,4,6
/proc/18491/task/18508/stat : 18508 (java) R 18489 18489 12119 0 -1 4202560 273 0 0 0 4531 0 0 0 20 0 19 0 411661274 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042420240584 140042600062857 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
[pid=18491/tid=18509] ppid=18489 vsize=15419452 memory=1060 CPUtime=45.12 cores=0,2,4,6
/proc/18491/task/18509/stat : 18509 (java) R 18489 18489 12119 0 -1 4202560 1589 0 0 0 4512 0 0 0 20 0 19 0 411661274 15789518848 291264 33554432000 4194304 4196468 140731054274528 140042419187912 140042600043581 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30998528 140731054277615 140731054277786 140731054277786 140731054280655 0
Current children cumulated CPU time: 188.78 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 1166508 KiB
Child status: 0
Real time (s): 47.8448
CPU time (s): 188.926
CPU user time (s): 188.499
CPU system time (s): 0.427262
CPU usage (%): 394.873
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 1166508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 188.499
system time used= 0.427262
maximum resident set size= 1165156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50026
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3765
involuntary context switches= 2648
# summary of solver processes directly reported to runsolver:
# pid: 18489
# total CPU time (s): 188.926
# total CPU user time (s): 188.499
# total CPU system time (s): 0.427262
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.352451 second user time and 0.564735 second system time
The end