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 (9227 MiB free)
memory of node 1: 16384 MiB (12398 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394211-1568328565/watcher-4394211-1568328565 -o /tmp/evaluation-result-4394211-1568328565/solver-4394211-1568328565 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19560 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 925982996 HOME/instance-4394211-1568328565.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20136, runsolver pid=20133
[startup+0.100057 s]*
/proc/loadavg: 7.87 7.27 4.60 6/229 20152
/proc/meminfo: memFree=22126948/32770624 swapFree=66939824/67108860
[pid=20136] ppid=20133 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20136/stat : 20136 (xcsp3-exec) S 20133 20136 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408771407 115843072 362 33554432000 4194304 5098028 140734614470848 140734614468952 139871366632060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21909504 140734614475643 140734614475885 140734614475885 140734614478794 0
/proc/20136/statm: 28282 362 304 221 0 87 0
[pid=20138] ppid=20136 vsize=15144768 memory=29876 CPUtime=0.13 cores=1,3,5,7
/proc/20138/stat : 20138 (java) S 20136 20136 19528 0 -1 1077944320 5965 0 0 0 11 2 0 0 20 0 15 0 408771407 15508242432 7469 33554432000 4194304 4196468 140729887133504 140729887116048 140173329051383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
/proc/20138/statm: 3786192 7469 3122 1 0 3748377 0
[pid=20138/tid=20139] ppid=20136 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/20138/task/20139/stat : 20139 (java) R 20136 20136 19528 0 -1 4202560 3849 0 0 0 8 1 0 0 20 0 15 0 408771407 15508242432 7535 33554432000 4194304 4196468 140729887133504 140173333274384 140173313095013 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20140] ppid=20136 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20140/stat : 20140 (java) S 20136 20136 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771408 15508242432 7535 33554432000 4194304 4196468 140729887133504 140173240707984 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20141] ppid=20136 vsize=15144768 memory=139904358917760 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20141/stat : 20141 (java) S 20136 20136 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771408 15508242432 7535 33554432000 4194304 4196468 140729887133504 140173239655184 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20142] ppid=20136 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20142/stat : 20142 (java) S 20136 20136 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771408 15508242432 7535 33554432000 4194304 4196468 140729887133504 140173238602896 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20143] ppid=20136 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20143/stat : 20143 (java) S 20136 20136 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408771408 15508242432 7535 33554432000 4194304 4196468 140729887133504 140172918254608 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20144] ppid=20136 vsize=15144768 memory=139904358917760 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20144/stat : 20144 (java) S 20136 20136 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408771409 15508242432 7535 33554432000 4194304 4196468 140729887133504 140172797671536 140173329062530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20145] ppid=20136 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20145/stat : 20145 (java) S 20136 20136 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408771410 15508242432 7535 33554432000 4194304 4196468 140729887133504 140172796617504 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20146] ppid=20136 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20146/stat : 20146 (java) S 20136 20136 19528 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 408771410 15508242432 7535 33554432000 4194304 4196468 140729887133504 140172795565168 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20147] ppid=20136 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20147/stat : 20147 (java) S 20136 20136 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408771412 15508242432 7535 33554432000 4194304 4196468 140729887133504 140172794513488 140173329069979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20148] ppid=20136 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20148/stat : 20148 (java) R 20136 20136 19528 0 -1 4202560 340 0 0 0 0 0 0 0 20 0 15 0 408771412 15508242432 7535 33554432000 4194304 4196468 140729887133504 140172793461656 140173306912464 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20149] ppid=20136 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20149/stat : 20149 (java) R 20136 20136 19528 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 408771412 15508242432 7535 33554432000 4194304 4196468 140729887133504 140172792408560 140173329062530 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20150] ppid=20136 vsize=15144768 memory=139904358917760 CPUtime=0.02 cores=1,3,5,7
/proc/20138/task/20150/stat : 20150 (java) R 20136 20136 19528 0 -1 4202560 363 0 0 0 2 0 0 0 20 0 15 0 408771412 15508242432 7535 33554432000 4194304 4196468 140729887133504 140172791356272 140173321253129 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20151] ppid=20136 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20151/stat : 20151 (java) S 20136 20136 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408771413 15508242432 7535 33554432000 4194304 4196468 140729887133504 140172790303712 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20152] ppid=20136 vsize=15144768 memory=139904358917760 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20152/stat : 20152 (java) S 20136 20136 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771413 15508242432 7535 33554432000 4194304 4196468 140729887133504 140172789250480 140173329062530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31324 KiB
[startup+0.215283 s]*
/proc/loadavg: 7.87 7.27 4.60 5/229 20152
/proc/meminfo: memFree=22084344/32770624 swapFree=66939824/67108860
[pid=20136] ppid=20133 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20136/stat : 20136 (xcsp3-exec) S 20133 20136 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408771407 115843072 362 33554432000 4194304 5098028 140734614470848 140734614468952 139871366632060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21909504 140734614475643 140734614475885 140734614475885 140734614478794 0
/proc/20136/statm: 28282 362 304 221 0 87 0
[pid=20138] ppid=20136 vsize=15144768 memory=41208 CPUtime=0.35 cores=1,3,5,7
/proc/20138/stat : 20138 (java) S 20136 20136 19528 0 -1 1077944320 9492 0 0 0 31 4 0 0 20 0 15 0 408771407 15508242432 10302 33554432000 4194304 4196468 140729887133504 140729887116048 140173329051383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
/proc/20138/statm: 3786448 10302 3306 1 0 3748633 0
[pid=20138/tid=20139] ppid=20136 vsize=15149024 memory=7883960649037381690 CPUtime=0.21 cores=1,3,5,7
/proc/20138/task/20139/stat : 20139 (java) R 20136 20136 19528 0 -1 4202560 6724 0 0 0 18 3 0 0 20 0 15 0 408771407 15512600576 10349 33554432000 4194304 4196468 140729887133504 140173333272376 140173321752359 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20140] ppid=20136 vsize=15149024 memory=11079 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20140/stat : 20140 (java) S 20136 20136 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771408 15512600576 10349 33554432000 4194304 4196468 140729887133504 140173240707984 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20141] ppid=20136 vsize=15149024 memory=3832618504109162528 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20141/stat : 20141 (java) S 20136 20136 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771408 15512600576 10349 33554432000 4194304 4196468 140729887133504 140173239655184 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20142] ppid=20136 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20142/stat : 20142 (java) S 20136 20136 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771408 15512600576 10349 33554432000 4194304 4196468 140729887133504 140173238602896 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20143] ppid=20136 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20143/stat : 20143 (java) S 20136 20136 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408771408 15512600576 10349 33554432000 4194304 4196468 140729887133504 140172918254608 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20144] ppid=20136 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20144/stat : 20144 (java) S 20136 20136 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408771409 15512600576 10349 33554432000 4194304 4196468 140729887133504 140172797671536 140173329062530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20145] ppid=20136 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20145/stat : 20145 (java) S 20136 20136 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408771410 15512600576 10349 33554432000 4194304 4196468 140729887133504 140172796617504 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20146] ppid=20136 vsize=15149024 memory=139904358917760 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20146/stat : 20146 (java) S 20136 20136 19528 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 408771410 15512600576 10349 33554432000 4194304 4196468 140729887133504 140172795565168 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20147] ppid=20136 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20147/stat : 20147 (java) S 20136 20136 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408771412 15512600576 10349 33554432000 4194304 4196468 140729887133504 140172794513488 140173329069979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20148] ppid=20136 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20138/task/20148/stat : 20148 (java) S 20136 20136 19528 0 -1 1077944384 605 0 0 0 3 0 0 0 20 0 15 0 408771412 15512600576 10349 33554432000 4194304 4196468 140729887133504 140172793461360 140173329062530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20149] ppid=20136 vsize=15149024 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20138/task/20149/stat : 20149 (java) S 20136 20136 19528 0 -1 1077944384 153 0 0 0 1 0 0 0 20 0 15 0 408771412 15512600576 10349 33554432000 4194304 4196468 140729887133504 140172792408560 140173329062530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20150] ppid=20136 vsize=15149024 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20138/task/20150/stat : 20150 (java) S 20136 20136 19528 0 -1 1077944384 740 0 0 0 8 0 0 0 20 0 15 0 408771412 15512600576 10349 33554432000 4194304 4196468 140729887133504 140172791356272 140173329062530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20151] ppid=20136 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20151/stat : 20151 (java) S 20136 20136 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408771413 15512600576 10349 33554432000 4194304 4196468 140729887133504 140172790303712 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20152] ppid=20136 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20152/stat : 20152 (java) S 20136 20136 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771413 15512600576 10349 33554432000 4194304 4196468 140729887133504 140172789250480 140173329062530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42656 KiB
[startup+0.567852 s]*
/proc/loadavg: 7.87 7.27 4.60 8/229 20152
/proc/meminfo: memFree=22053068/32770624 swapFree=66939824/67108860
[pid=20136] ppid=20133 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20136/stat : 20136 (xcsp3-exec) S 20133 20136 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408771407 115843072 362 33554432000 4194304 5098028 140734614470848 140734614468952 139871366632060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21909504 140734614475643 140734614475885 140734614475885 140734614478794 0
/proc/20136/statm: 28282 362 304 221 0 87 0
[pid=20138] ppid=20136 vsize=15151148 memory=58124 CPUtime=0.77 cores=1,3,5,7
/proc/20138/stat : 20138 (java) S 20136 20136 19528 0 -1 1077944320 11837 0 0 0 72 5 0 0 20 0 15 0 408771407 15514775552 14531 33554432000 4194304 4196468 140729887133504 140729887116048 140173329051383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
/proc/20138/statm: 3787787 14531 3422 1 0 3748889 0
[pid=20138/tid=20139] ppid=20136 vsize=15151148 memory=8389772277269004345 CPUtime=0.4 cores=1,3,5,7
/proc/20138/task/20139/stat : 20139 (java) R 20136 20136 19528 0 -1 4202560 8415 0 0 0 36 4 0 0 20 0 15 0 408771407 15514775552 14574 33554432000 4194304 4196468 140729887133504 140173333288592 140173307470865 0 4 0 16800975 0 0 0 -1 1 0 0 15 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20140] ppid=20136 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20140/stat : 20140 (java) S 20136 20136 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771408 15514775552 14574 33554432000 4194304 4196468 140729887133504 140173240707984 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20141] ppid=20136 vsize=15151148 memory=3834029173232631840 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20141/stat : 20141 (java) S 20136 20136 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771408 15514775552 14574 33554432000 4194304 4196468 140729887133504 140173239655184 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20142] ppid=20136 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20142/stat : 20142 (java) S 20136 20136 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771408 15514775552 14574 33554432000 4194304 4196468 140729887133504 140173238602896 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20143] ppid=20136 vsize=15151148 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20143/stat : 20143 (java) S 20136 20136 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408771408 15514775552 14574 33554432000 4194304 4196468 140729887133504 140172918254608 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20144] ppid=20136 vsize=15151148 memory=139904358917760 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20144/stat : 20144 (java) S 20136 20136 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408771409 15514775552 14574 33554432000 4194304 4196468 140729887133504 140172797671536 140173329062530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20145] ppid=20136 vsize=15151148 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20145/stat : 20145 (java) S 20136 20136 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408771410 15514775552 14574 33554432000 4194304 4196468 140729887133504 140172796617504 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20146] ppid=20136 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20146/stat : 20146 (java) S 20136 20136 19528 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 408771410 15514775552 14574 33554432000 4194304 4196468 140729887133504 140172795565168 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20147] ppid=20136 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20147/stat : 20147 (java) S 20136 20136 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408771412 15514775552 14574 33554432000 4194304 4196468 140729887133504 140172794513488 140173329069979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20148] ppid=20136 vsize=15151148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/20138/task/20148/stat : 20148 (java) R 20136 20136 19528 0 -1 4202560 747 0 0 0 9 0 0 0 20 0 15 0 408771412 15514775552 14574 33554432000 4194304 4196468 140729887133504 140172793442144 140173322148243 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20149] ppid=20136 vsize=15151148 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/20138/task/20149/stat : 20149 (java) R 20136 20136 19528 0 -1 4202560 350 0 0 0 7 0 0 0 20 0 15 0 408771412 15514775552 14574 33554432000 4194304 4196468 140729887133504 140172792389576 140173306320762 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20150] ppid=20136 vsize=15151148 memory=139904358917760 CPUtime=0.18 cores=1,3,5,7
/proc/20138/task/20150/stat : 20150 (java) R 20136 20136 19528 0 -1 4202560 1020 0 0 0 18 0 0 0 20 0 15 0 408771412 15514775552 14574 33554432000 4194304 4196468 140729887133504 140172791356272 140173308345486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20151] ppid=20136 vsize=15151148 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20151/stat : 20151 (java) S 20136 20136 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408771413 15514775552 14574 33554432000 4194304 4196468 140729887133504 140172790303712 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20152] ppid=20136 vsize=15151148 memory=139904358917760 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20152/stat : 20152 (java) S 20136 20136 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771413 15514775552 14574 33554432000 4194304 4196468 140729887133504 140172789250480 140173329062530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
Current children cumulated CPU time: 0.77 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 59572 KiB
[startup+0.710851 s]*
/proc/loadavg: 7.87 7.27 4.60 8/229 20152
/proc/meminfo: memFree=22008360/32770624 swapFree=66939824/67108860
[pid=20136] ppid=20133 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20136/stat : 20136 (xcsp3-exec) S 20133 20136 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408771407 115843072 362 33554432000 4194304 5098028 140734614470848 140734614468952 139871366632060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21909504 140734614475643 140734614475885 140734614475885 140734614478794 0
/proc/20136/statm: 28282 362 304 221 0 87 0
[pid=20138] ppid=20136 vsize=15151148 memory=74696 CPUtime=1.19 cores=1,3,5,7
/proc/20138/stat : 20138 (java) S 20136 20136 19528 0 -1 1077944320 13906 0 0 0 113 6 0 0 20 0 15 0 408771407 15514775552 18674 33554432000 4194304 4196468 140729887133504 140729887116048 140173329051383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
/proc/20138/statm: 3787787 18674 3435 1 0 3748889 0
[pid=20138/tid=20139] ppid=20136 vsize=15151148 memory=8317482817917895235 CPUtime=0.54 cores=1,3,5,7
/proc/20138/task/20139/stat : 20139 (java) R 20136 20136 19528 0 -1 4202560 9188 0 0 0 50 4 0 0 20 0 15 0 408771407 15514775552 18674 33554432000 4194304 4196468 140729887133504 140173333285520 140173311514156 0 4 0 16800975 0 0 0 -1 5 0 0 15 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20140] ppid=20136 vsize=15151148 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20140/stat : 20140 (java) S 20136 20136 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771408 15514775552 18674 33554432000 4194304 4196468 140729887133504 140173240707984 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20141] ppid=20136 vsize=15151148 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20141/stat : 20141 (java) S 20136 20136 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771408 15514775552 18674 33554432000 4194304 4196468 140729887133504 140173239655184 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20142] ppid=20136 vsize=15151148 memory=2612 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20142/stat : 20142 (java) S 20136 20136 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771408 15514775552 18674 33554432000 4194304 4196468 140729887133504 140173238602896 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20143] ppid=20136 vsize=15151148 memory=2608 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20143/stat : 20143 (java) S 20136 20136 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408771408 15514775552 18674 33554432000 4194304 4196468 140729887133504 140172918254608 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20144] ppid=20136 vsize=15151148 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20144/stat : 20144 (java) S 20136 20136 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408771409 15514775552 18674 33554432000 4194304 4196468 140729887133504 140172797671536 140173329062530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20145] ppid=20136 vsize=15151148 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20145/stat : 20145 (java) S 20136 20136 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408771410 15514775552 18674 33554432000 4194304 4196468 140729887133504 140172796617504 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20146] ppid=20136 vsize=15151148 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20146/stat : 20146 (java) S 20136 20136 19528 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 408771410 15514775552 18674 33554432000 4194304 4196468 140729887133504 140172795565168 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20147] ppid=20136 vsize=15151148 memory=227404 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20147/stat : 20147 (java) S 20136 20136 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408771412 15514775552 18674 33554432000 4194304 4196468 140729887133504 140172794513488 140173329069979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20148] ppid=20136 vsize=15151148 memory=1412 CPUtime=0.18 cores=1,3,5,7
/proc/20138/task/20148/stat : 20148 (java) R 20136 20136 19528 0 -1 4202560 1370 0 0 0 18 0 0 0 20 0 15 0 408771412 15514775552 18674 33554432000 4194304 4196468 140729887133504 140172793447240 140173313968693 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20149] ppid=20136 vsize=15151148 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/20138/task/20149/stat : 20149 (java) R 20136 20136 19528 0 -1 4202560 728 0 0 0 17 0 0 0 20 0 15 0 408771412 15514775552 18674 33554432000 4194304 4196468 140729887133504 140172792401584 140173309752871 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20150] ppid=20136 vsize=15151148 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/20138/task/20150/stat : 20150 (java) R 20136 20136 19528 0 -1 1077944384 1313 0 0 0 26 0 0 0 20 0 15 0 408771412 15514775552 18674 33554432000 4194304 4196468 140729887133504 140172791356272 140173329062530 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20151] ppid=20136 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20151/stat : 20151 (java) S 20136 20136 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408771413 15514775552 18674 33554432000 4194304 4196468 140729887133504 140172790303712 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20152] ppid=20136 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20152/stat : 20152 (java) R 20136 20136 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408771413 15514775552 18674 33554432000 4194304 4196468 140729887133504 140172789250480 140173329062530 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 76144 KiB
[startup+1.50407 s]
/proc/loadavg: 7.87 7.27 4.60 10/233 20156
/proc/meminfo: memFree=21851592/32770624 swapFree=66939824/67108860
[pid=20136] ppid=20133 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20136/stat : 20136 (xcsp3-exec) S 20133 20136 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408771407 115843072 362 33554432000 4194304 5098028 140734614470848 140734614468952 139871366632060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21909504 140734614475643 140734614475885 140734614475885 140734614478794 0
/proc/20136/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/20138/task/20144/stat : 20144 (java) S 20136 20136 19528 0 -1 1077944384 464 0 0 0 1 1 0 0 20 0 19 0 408771409 16060067840 160481 33554432000 4194304 4196468 140729887133504 140172797671536 140173329062530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20145] ppid=20136 vsize=15683660 memory=808 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20145/stat : 20145 (java) S 20136 20136 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408771410 16060067840 160481 33554432000 4194304 4196468 140729887133504 140172796617568 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20146] ppid=20136 vsize=15683660 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20146/stat : 20146 (java) S 20136 20136 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 408771410 16060067840 160481 33554432000 4194304 4196468 140729887133504 140172795565184 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20147] ppid=20136 vsize=15683660 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20147/stat : 20147 (java) S 20136 20136 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408771412 16060067840 160481 33554432000 4194304 4196468 140729887133504 140172794513488 140173329069979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20148] ppid=20136 vsize=15683660 memory=26660 CPUtime=1.59 cores=1,3,5,7
/proc/20138/task/20148/stat : 20148 (java) S 20136 20136 19528 0 -1 1077944384 4884 0 0 0 158 1 0 0 20 0 19 0 408771412 16060067840 160481 33554432000 4194304 4196468 140729887133504 140172793461360 140173329062530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20149] ppid=20136 vsize=15683660 memory=1232 CPUtime=1.47 cores=1,3,5,7
/proc/20138/task/20149/stat : 20149 (java) S 20136 20136 19528 0 -1 1077944384 2182 0 0 0 147 0 0 0 20 0 19 0 408771412 16060067840 160481 33554432000 4194304 4196468 140729887133504 140172792408560 140173329062530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20150] ppid=20136 vsize=15683660 memory=1064 CPUtime=0.59 cores=1,3,5,7
/proc/20138/task/20150/stat : 20150 (java) S 20136 20136 19528 0 -1 1077944384 1867 0 0 0 58 1 0 0 20 0 19 0 408771412 16060067840 160481 33554432000 4194304 4196468 140729887133504 140172791356272 140173329062530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20151] ppid=20136 vsize=15683660 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20151/stat : 20151 (java) S 20136 20136 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408771413 16060067840 160481 33554432000 4194304 4196468 140729887133504 140172790303712 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20152] ppid=20136 vsize=15683660 memory=279808396053312 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20152/stat : 20152 (java) S 20136 20136 19528 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 408771413 16060067840 160481 33554432000 4194304 4196468 140729887133504 140172789250480 140173329062530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20406] ppid=20136 vsize=15683660 memory=14056 CPUtime=1.12 cores=1,3,5,7
/proc/20138/task/20406/stat : 20406 (java) R 20136 20136 19528 0 -1 4202560 31 0 0 0 112 0 0 0 20 0 19 0 408772112 16060067840 160481 33554432000 4194304 4196468 140729887133504 140172772670648 140172922977126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20407] ppid=20136 vsize=15683660 memory=2116 CPUtime=1.11 cores=1,3,5,7
/proc/20138/task/20407/stat : 20407 (java) R 20136 20136 19528 0 -1 4202560 266 0 0 0 111 0 0 0 20 0 19 0 408772112 16060067840 160481 33554432000 4194304 4196468 140729887133504 140172778988600 140173314437591 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20408] ppid=20136 vsize=15683660 memory=3760647329211968351 CPUtime=1.12 cores=1,3,5,7
/proc/20138/task/20408/stat : 20408 (java) R 20136 20136 19528 0 -1 4202560 94 0 0 0 112 0 0 0 20 0 19 0 408772112 16060067840 160481 33554432000 4194304 4196468 140729887133504 140172773724712 140172923072621 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20409] ppid=20136 vsize=15683660 memory=279808395556272 CPUtime=1.1 cores=1,3,5,7
/proc/20138/task/20409/stat : 20409 (java) R 20136 20136 19528 0 -1 4202560 121 0 0 0 110 0 0 0 20 0 19 0 408772112 16060067840 160481 33554432000 4194304 4196468 140729887133504 140172777934560 140172924457651 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
Current children cumulated CPU time: 30.55 s
Current children cumulated vsize: 15796788 KiB
Current children cumulated memory: 643372 KiB
[startup+9.80186 s]
/proc/loadavg: 8.05 7.33 4.65 9/237 20409
/proc/meminfo: memFree=20515332/32770624 swapFree=66939824/67108860
[pid=20136] ppid=20133 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20136/stat : 20136 (xcsp3-exec) S 20133 20136 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408771407 115843072 362 33554432000 4194304 5098028 140734614470848 140734614468952 139871366632060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21909504 140734614475643 140734614475885 140734614475885 140734614478794 0
/proc/20136/statm: 28282 362 304 221 0 87 0
[pid=20138] ppid=20136 vsize=15683660 memory=642232 CPUtime=36.88 cores=1,3,5,7
/proc/20138/stat : 20138 (java) S 20136 20136 19528 0 -1 1077944320 28202 0 0 0 3651 37 0 0 20 0 19 0 408771407 16060067840 160558 33554432000 4194304 4196468 140729887133504 140729887116048 140173329051383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
/proc/20138/statm: 3920915 160558 3525 1 0 3882017 0
[pid=20138/tid=20139] ppid=20136 vsize=15683660 memory=212 CPUtime=0.71 cores=1,3,5,7
/proc/20138/task/20139/stat : 20139 (java) S 20136 20136 19528 0 -1 1077944384 9295 0 0 0 66 5 0 0 20 0 19 0 408771407 16060067840 160558 33554432000 4194304 4196468 140729887133504 140173333292160 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20140] ppid=20136 vsize=15683660 memory=207 CPUtime=0.12 cores=1,3,5,7
/proc/20138/task/20140/stat : 20140 (java) S 20136 20136 19528 0 -1 1077944384 260 0 0 0 8 4 0 0 20 0 19 0 408771408 16060067840 160558 33554432000 4194304 4196468 140729887133504 140173240707984 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20141] ppid=20136 vsize=15683660 memory=212 CPUtime=0.11 cores=1,3,5,7
/proc/20138/task/20141/stat : 20141 (java) S 20136 20136 19528 0 -1 1077944384 195 0 0 0 7 4 0 0 20 0 19 0 408771408 16060067840 160558 33554432000 4194304 4196468 140729887133504 140173239655184 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20142] ppid=20136 vsize=15683660 memory=208 CPUtime=0.11 cores=1,3,5,7
/proc/20138/task/20142/stat : 20142 (java) S 20136 20136 19528 0 -1 1077944384 206 0 0 0 7 4 0 0 20 0 19 0 408771408 16060067840 160558 33554432000 4194304 4196468 140729887133504 140173238602896 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20143] ppid=20136 vsize=15683660 memory=6791534058613427641 CPUtime=0.11 cores=1,3,5,7
/proc/20138/task/20143/stat : 20143 (java) S 20136 20136 19528 0 -1 1077944384 145 0 0 0 7 4 0 0 20 0 19 0 408771408 16060067840 160558 33554432000 4194304 4196468 140729887133504 140172918254608 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20144] ppid=20136 vsize=15683660 memory=1436 CPUtime=0.02 cores=1,3,5,7
/proc/20138/task/20144/stat : 20144 (java) S 20136 20136 19528 0 -1 1077944384 468 0 0 0 1 1 0 0 20 0 19 0 408771409 16060067840 160558 33554432000 4194304 4196468 140729887133504 140172797671536 140173329062530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20145] ppid=20136 vsize=15683660 memory=4164 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20145/stat : 20145 (java) S 20136 20136 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408771410 16060067840 160558 33554432000 4194304 4196468 140729887133504 140172796617568 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20146] ppid=20136 vsize=15683660 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20146/stat : 20146 (java) S 20136 20136 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 408771410 16060067840 160558 33554432000 4194304 4196468 140729887133504 140172795565184 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20147] ppid=20136 vsize=15683660 memory=1608 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20147/stat : 20147 (java) S 20136 20136 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408771412 16060067840 160558 33554432000 4194304 4196468 140729887133504 140172794513488 140173329069979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20148] ppid=20136 vsize=15683660 memory=1064 CPUtime=1.61 cores=1,3,5,7
/proc/20138/task/20148/stat : 20148 (java) S 20136 20136 19528 0 -1 1077944384 5491 0 0 0 160 1 0 0 20 0 19 0 408771412 16060067840 160558 33554432000 4194304 4196468 140729887133504 140172793461360 140173329062530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20149] ppid=20136 vsize=15683660 memory=14008 CPUtime=1.49 cores=1,3,5,7
/proc/20138/task/20149/stat : 20149 (java) S 20136 20136 19528 0 -1 1077944384 2627 0 0 0 149 0 0 0 20 0 19 0 408771412 16060067840 160558 33554432000 4194304 4196468 140729887133504 140172792408560 140173329062530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20150] ppid=20136 vsize=15683660 memory=21116 CPUtime=0.59 cores=1,3,5,7
/proc/20138/task/20150/stat : 20150 (java) S 20136 20136 19528 0 -1 1077944384 2827 0 0 0 58 1 0 0 20 0 19 0 408771412 16060067840 160558 33554432000 4194304 4196468 140729887133504 140172791356272 140173329062530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20151] ppid=20136 vsize=15683660 memory=14056 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20151/stat : 20151 (java) S 20136 20136 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408771413 16060067840 160558 33554432000 4194304 4196468 140729887133504 140172790303712 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20152] ppid=20136 vsize=15683660 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20152/stat : 20152 (java) S 20136 20136 19528 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 408771413 16060067840 160558 33554432000 4194304 4196468 140729887133504 140172789250480 140173329062530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20406] ppid=20136 vsize=15683660 memory=520 CPUtime=2.71 cores=1,3,5,7
/proc/20138/task/20406/stat : 20406 (java) R 20136 20136 19528 0 -1 4202560 31 0 0 0 271 0 0 0 20 0 19 0 408772112 16060067840 160558 33554432000 4194304 4196468 140729887133504 140172772670648 140172922581554 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20407] ppid=20136 vsize=15683660 memory=7980 CPUtime=2.67 cores=1,3,5,7
/proc/20138/task/20407/stat : 20407 (java) R 20136 20136 19528 0 -1 4202560 467 0 0 0 267 0 0 0 20 0 19 0 408772112 16060067840 160558 33554432000 4194304 4196468 140729887133504 140172778988184 140172923353962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20408] ppid=20136 vsize=15683660 memory=9580 CPUtime=2.72 cores=1,3,5,7
/proc/20138/task/20408/stat : 20408 (java) R 20136 20136 19528 0 -1 4202560 94 0 0 0 272 0 0 0 20 0 19 0 408772112 16060067840 160558 33554432000 4194304 4196468 140729887133504 140172773724712 140172922762827 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20409] ppid=20136 vsize=15683660 memory=1052 CPUtime=2.66 cores=1,3,5,7
/proc/20138/task/20409/stat : 20409 (java) R 20136 20136 19528 0 -1 4202560 201 0 0 0 266 0 0 0 20 0 19 0 408772112 16060067840 160558 33554432000 4194304 4196468 140729887133504 140172777933464 140172924457771 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
Current children cumulated CPU time: 36.88 s
Current children cumulated vsize: 15796788 KiB
Current children cumulated memory: 643680 KiB
[startup+10.6009 s]
/proc/loadavg: 8.05 7.33 4.65 11/237 20410
/proc/meminfo: memFree=20485296/32770624 swapFree=66939824/67108860
[pid=20136] ppid=20133 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20136/stat : 20136 (xcsp3-exec) S 20133 20136 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408771407 115843072 362 33554432000 4194304 5098028 140734614470848 140734614468952 139871366632060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21909504 140734614475643 140734614475885 140734614475885 140734614478794 0
/proc/20136/statm: 28282 362 304 221 0 87 0
[pid=20138] ppid=20136 vsize=15683660 memory=782704 CPUtime=40.04 cores=1,3,5,7
/proc/20138/stat : 20138 (java) S 20136 20136 19528 0 -1 1077944320 29470 0 0 0 3965 39 0 0 20 0 19 0 408771407 16060067840 195676 33554432000 4194304 4196468 140729887133504 140729887116048 140173329051383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
/proc/20138/statm: 3920915 195676 3525 1 0 3882017 0
[pid=20138/tid=20139] ppid=20136 vsize=15683660 memory=6791534058613427641 CPUtime=0.71 cores=1,3,5,7
/proc/20138/task/20139/stat : 20139 (java) S 20136 20136 19528 0 -1 1077944384 9447 0 0 0 66 5 0 0 20 0 19 0 408771407 16060067840 195676 33554432000 4194304 4196468 140729887133504 140173333292160 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20140] ppid=20136 vsize=15683660 memory=642232 CPUtime=0.12 cores=1,3,5,7
/proc/20138/task/20140/stat : 20140 (java) S 20136 20136 19528 0 -1 1077944384 260 0 0 0 8 4 0 0 20 0 19 0 408771408 16060067840 195676 33554432000 4194304 4196468 140729887133504 140173240707984 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20141] ppid=20136 vsize=15683660 memory=668 CPUtime=0.11 cores=1,3,5,7
/proc/20138/task/20141/stat : 20141 (java) S 20136 20136 19528 0 -1 1077944384 195 0 0 0 7 4 0 0 20 0 19 0 408771408 16060067840 195676 33554432000 4194304 4196468 140729887133504 140173239655184 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20142] ppid=20136 vsize=15683660 memory=1232 CPUtime=0.11 cores=1,3,5,7
/proc/20138/task/20142/stat : 20142 (java) S 20136 20136 19528 0 -1 1077944384 206 0 0 0 7 4 0 0 20 0 19 0 408771408 16060067840 195676 33554432000 4194304 4196468 140729887133504 140173238602896 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20143] ppid=20136 vsize=15683660 memory=1448 CPUtime=0.11 cores=1,3,5,7
/proc/20138/task/20143/stat : 20143 (java) S 20136 20136 19528 0 -1 1077944384 145 0 0 0 7 4 0 0 20 0 19 0 408771408 16060067840 195676 33554432000 4194304 4196468 140729887133504 140172918254608 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20144] ppid=20136 vsize=15683660 memory=387876 CPUtime=0.02 cores=1,3,5,7
/proc/20138/task/20144/stat : 20144 (java) S 20136 20136 19528 0 -1 1077944384 492 0 0 0 1 1 0 0 20 0 19 0 408771409 16060067840 195676 33554432000 4194304 4196468 140729887133504 140172797671536 140173329062530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20145] ppid=20136 vsize=15683660 memory=8259761640030508194 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20145/stat : 20145 (java) S 20136 20136 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408771410 16060067840 195676 33554432000 4194304 4196468 140729887133504 140172796617568 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20146] ppid=20136 vsize=15683660 memory=7438357367570802579 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20146/stat : 20146 (java) S 20136 20136 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 408771410 16060067840 195676 33554432000 4194304 4196468 140729887133504 140172795565184 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20147] ppid=20136 vsize=15683660 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20147/stat : 20147 (java) S 20136 20136 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408771412 16060067840 195676 33554432000 4194304 4196468 140729887133504 140172794513488 140173329069979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20148] ppid=20136 vsize=15683660 memory=-9001728533042062950 CPUtime=1.61 cores=1,3,5,7
/proc/20138/task/20148/stat : 20148 (java) S 20136 20136 19528 0 -1 1077944384 5491 0 0 0 160 1 0 0 20 0 19 0 408771412 16060067840 195676 33554432000 4194304 4196468 140729887133504 140172793461360 140173329062530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20149] ppid=20136 vsize=15683660 memory=6791534058613427641 CPUtime=1.49 cores=1,3,5,7
/proc/20138/task/20149/stat : 20149 (java) S 20136 20136 19528 0 -1 1077944384 2627 0 0 0 149 0 0 0 20 0 19 0 408771412 16060067840 195676 33554432000 4194304 4196468 140729887133504 140172792408560 140173329062530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20150] ppid=20136 vsize=15683660 memory=1448 CPUtime=0.59 cores=1,3,5,7
/proc/20138/task/20150/stat : 20150 (java) S 20136 20136 19528 0 -1 1077944384 2827 0 0 0 58 1 0 0 20 0 19 0 408771412 16060067840 195676 33554432000 4194304 4196468 140729887133504 140172791356272 140173329062530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20151] ppid=20136 vsize=15683660 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20151/stat : 20151 (java) S 20136 20136 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408771413 16060067840 195676 33554432000 4194304 4196468 140729887133504 140172790303712 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20152] ppid=20136 vsize=15683660 memory=618932 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20152/stat : 20152 (java) S 20136 20136 19528 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 408771413 16060067840 195676 33554432000 4194304 4196468 140729887133504 140172789250480 140173329062530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
Current children cumulated CPU time: 40.04 s
Current children cumulated vsize: 15796788 KiB
Current children cumulated memory: 784152 KiB
[startup+10.8009 s]
/proc/loadavg: 8.05 7.33 4.65 11/237 20410
/proc/meminfo: memFree=20485296/32770624 swapFree=66939824/67108860
[pid=20136] ppid=20133 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20136/stat : 20136 (xcsp3-exec) S 20133 20136 19528 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408771407 115843072 362 33554432000 4194304 5098028 140734614470848 140734614468952 139871366632060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 21909504 140734614475643 140734614475885 140734614475885 140734614478794 0
/proc/20136/statm: 28282 362 304 221 0 87 0
[pid=20138] ppid=20136 vsize=15683660 memory=844144 CPUtime=40.83 cores=1,3,5,7
/proc/20138/stat : 20138 (java) S 20136 20136 19528 0 -1 1077944320 30112 0 0 0 4043 40 0 0 20 0 19 0 408771407 16060067840 211036 33554432000 4194304 4196468 140729887133504 140729887116048 140173329051383 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
/proc/20138/statm: 3920915 211036 3525 1 0 3882017 0
[pid=20138/tid=20139] ppid=20136 vsize=15683660 memory=0 CPUtime=0.71 cores=1,3,5,7
/proc/20138/task/20139/stat : 20139 (java) S 20136 20136 19528 0 -1 1077944384 9452 0 0 0 66 5 0 0 20 0 19 0 408771407 16060067840 211036 33554432000 4194304 4196468 140729887133504 140173333292160 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20140] ppid=20136 vsize=15683660 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/20138/task/20140/stat : 20140 (java) S 20136 20136 19528 0 -1 1077944384 260 0 0 0 8 4 0 0 20 0 19 0 408771408 16060067840 211036 33554432000 4194304 4196468 140729887133504 140173240707984 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20141] ppid=20136 vsize=15683660 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/20138/task/20141/stat : 20141 (java) S 20136 20136 19528 0 -1 1077944384 195 0 0 0 7 4 0 0 20 0 19 0 408771408 16060067840 211036 33554432000 4194304 4196468 140729887133504 140173239655184 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20142] ppid=20136 vsize=15683660 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/20138/task/20142/stat : 20142 (java) S 20136 20136 19528 0 -1 1077944384 206 0 0 0 7 4 0 0 20 0 19 0 408771408 16060067840 211036 33554432000 4194304 4196468 140729887133504 140173238602896 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20143] ppid=20136 vsize=15683660 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/20138/task/20143/stat : 20143 (java) S 20136 20136 19528 0 -1 1077944384 145 0 0 0 7 4 0 0 20 0 19 0 408771408 16060067840 211036 33554432000 4194304 4196468 140729887133504 140172918254608 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20144] ppid=20136 vsize=15683660 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20138/task/20144/stat : 20144 (java) S 20136 20136 19528 0 -1 1077944384 492 0 0 0 1 1 0 0 20 0 19 0 408771409 16060067840 211036 33554432000 4194304 4196468 140729887133504 140172797671536 140173329062530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20145] ppid=20136 vsize=15683660 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20145/stat : 20145 (java) S 20136 20136 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408771410 16060067840 211036 33554432000 4194304 4196468 140729887133504 140172796617568 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20146] ppid=20136 vsize=15683660 memory=642232 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20146/stat : 20146 (java) S 20136 20136 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 408771410 16060067840 211036 33554432000 4194304 4196468 140729887133504 140172795565184 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20147] ppid=20136 vsize=15683660 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20147/stat : 20147 (java) S 20136 20136 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408771412 16060067840 211036 33554432000 4194304 4196468 140729887133504 140172794513488 140173329069979 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20148] ppid=20136 vsize=15683660 memory=6944656592455360604 CPUtime=1.62 cores=1,3,5,7
/proc/20138/task/20148/stat : 20148 (java) S 20136 20136 19528 0 -1 1077944384 5673 0 0 0 161 1 0 0 20 0 19 0 408771412 16060067840 211036 33554432000 4194304 4196468 140729887133504 140172793461360 140173329062530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20149] ppid=20136 vsize=15683660 memory=-7384474665255210089 CPUtime=1.49 cores=1,3,5,7
/proc/20138/task/20149/stat : 20149 (java) R 20136 20136 19528 0 -1 1077944384 2692 0 0 0 149 0 0 0 20 0 19 0 408771412 16060067840 211036 33554432000 4194304 4196468 140729887133504 140172792408560 140173329062530 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20150] ppid=20136 vsize=15683660 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/20138/task/20150/stat : 20150 (java) S 20136 20136 19528 0 -1 1077944384 3013 0 0 0 59 1 0 0 20 0 19 0 408771412 16060067840 211036 33554432000 4194304 4196468 140729887133504 140172791356272 140173329062530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20151] ppid=20136 vsize=15683660 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20151/stat : 20151 (java) S 20136 20136 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408771413 16060067840 211036 33554432000 4194304 4196468 140729887133504 140172790303712 140173329061589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
[pid=20138/tid=20152] ppid=20136 vsize=15683660 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20138/task/20152/stat : 20152 (java) S 20136 20136 19528 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 19 0 408771413 16060067840 211036 33554432000 4194304 4196468 140729887133504 140172789250480 140173329062530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19718144 140729887134703 140729887134874 140729887134874 140729887137743 0
Current children cumulated CPU time: 40.83 s
Current children cumulated vsize: 15796788 KiB
Current children cumulated memory: 845592 KiB
Child status: 0
Real time (s): 10.8646
CPU time (s): 41.0161
CPU user time (s): 40.5974
CPU system time (s): 0.418718
CPU usage (%): 377.52
Max. virtual memory (cumulated for all children) (KiB): 15796788
Max. memory (cumulated for all children) (KiB): 845592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.5974
system time used= 0.418718
maximum resident set size= 865220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31094
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4298
involuntary context switches= 1247
# summary of solver processes directly reported to runsolver:
# pid: 20136
# total CPU time (s): 41.0161
# total CPU user time (s): 40.5974
# total CPU system time (s): 0.418718
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.083131 second user time and 0.176988 second system time
The end