2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16 parallel	SAT (TO)	33	20033.3	2520.12
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 (14790 MiB free)
  memory of node 1: 16384 MiB (15689 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399981-1568700968/watcher-4399981-1568700968 -o /tmp/evaluation-result-4399981-1568700968/solver-4399981-1568700968 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568696629-1917 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1628274985 HOME/instance-4399981-1568700968.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
solver pid=tchdog thread7.x86_64
, 
solver pid=tchdog thread7.x86_64
, 
2131, runsolver pid=2128
Current StackSize limit: 8192 KiB


[startup+0.100157 s]*
/proc/loadavg: 7.05 5.99 6.82 2/210 2152
/proc/meminfo: memFree=31196020/32770624 swapFree=66977412/67108860
[pid=2131] ppid=2128 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/2131/stat : 2131 (xcsp3-exec) S 2128 2131 1890 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446353822 115843072 364 33554432000 4194304 5098028 140721428473664 140721428471768 140317916836476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10424320 140721428476789 140721428477033 140721428477033 140721428479946 0
/proc/2131/statm: 28282 364 305 221 0 87 0
[pid=2133] ppid=2131 vsize=28227396 memory=28872 CPUtime=0.12 cores=0-7
/proc/2133/stat : 2133 (java) S 2131 2131 1890 0 -1 1077944320 5690 0 0 0 11 1 0 0 20 0 20 0 446353822 28904853504 7218 33554432000 4194304 4196468 140727401051200 140727401033744 140089286848247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
/proc/2133/statm: 7056849 7218 3124 1 0 7019032 0
[pid=2133/tid=2134] ppid=2131 vsize=28227396 memory=-3103912127665269910 CPUtime=0.08 cores=0-7
/proc/2133/task/2134/stat : 2134 (java) R 2131 2131 1890 0 -1 4202560 3597 0 0 0 8 0 0 0 20 0 20 0 446353822 28904853504 7218 33554432000 4194304 4196468 140727401051200 140089291081312 140089268254522 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2135] ppid=2131 vsize=28227396 memory=3461361991549258287 CPUtime=0 cores=0-7
/proc/2133/task/2135/stat : 2135 (java) S 2131 2131 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446353823 28904853504 7218 33554432000 4194304 4196468 140727401051200 140089239468560 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2136] ppid=2131 vsize=28227396 memory=140217119053440 CPUtime=0 cores=0-7
/proc/2133/task/2136/stat : 2136 (java) S 2131 2131 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446353823 28904853504 7218 33554432000 4194304 4196468 140727401051200 140089238416016 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2137] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2137/stat : 2137 (java) S 2131 2131 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446353823 28904853504 7218 33554432000 4194304 4196468 140727401051200 140089237362960 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2138] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2138/stat : 2138 (java) S 2131 2131 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446353823 28904853504 7218 33554432000 4194304 4196468 140727401051200 140089236310416 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2139] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2139/stat : 2139 (java) S 2131 2131 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446353823 28904853504 7218 33554432000 4194304 4196468 140727401051200 140089235258384 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2140] ppid=2131 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2133/task/2140/stat : 2140 (java) S 2131 2131 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446353823 28904853504 7218 33554432000 4194304 4196468 140727401051200 140089234205840 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2141] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2141/stat : 2141 (java) S 2131 2131 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446353823 28904853504 7218 33554432000 4194304 4196468 140727401051200 140089233152784 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2142] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2142/stat : 2142 (java) S 2131 2131 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446353823 28904853504 7218 33554432000 4194304 4196468 140727401051200 140089232100240 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2143] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2143/stat : 2143 (java) S 2131 2131 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446353825 28904853504 7218 33554432000 4194304 4196468 140727401051200 140087750916336 140089286859394 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2144] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2144/stat : 2144 (java) S 2131 2131 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446353825 28904853504 7218 33554432000 4194304 4196468 140727401051200 140087749862560 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2145] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2145/stat : 2145 (java) S 2131 2131 1890 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446353825 28904853504 7218 33554432000 4194304 4196468 140727401051200 140087748809456 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2146] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2146/stat : 2146 (java) S 2131 2131 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446353828 28904853504 7218 33554432000 4194304 4196468 140727401051200 140087747758032 140089286866843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2147] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2147/stat : 2147 (java) R 2131 2131 1890 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 446353828 28904853504 7218 33554432000 4194304 4196468 140727401051200 140087746706160 140089286859394 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2148] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2148/stat : 2148 (java) S 2131 2131 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446353828 28904853504 7218 33554432000 4194304 4196468 140727401051200 140087745653616 140089286859394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2149] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2149/stat : 2149 (java) R 2131 2131 1890 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 446353828 28904853504 7218 33554432000 4194304 4196468 140727401051200 140087744600560 140089286859394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2150] ppid=2131 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/2133/task/2150/stat : 2150 (java) R 2131 2131 1890 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 20 0 446353828 28904853504 7218 33554432000 4194304 4196468 140727401051200 140087743548016 140089286860182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2151] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2151/stat : 2151 (java) S 2131 2131 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446353828 28904853504 7218 33554432000 4194304 4196468 140727401051200 140087742495200 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2152] ppid=2131 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2133/task/2152/stat : 2152 (java) S 2131 2131 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446353828 28904853504 7218 33554432000 4194304 4196468 140727401051200 140087741442736 140089286859394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30328 KiB

[startup+0.210547 s]*
/proc/loadavg: 7.05 5.99 6.82 3/210 2152
/proc/meminfo: memFree=31181956/32770624 swapFree=66977412/67108860
[pid=2131] ppid=2128 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/2131/stat : 2131 (xcsp3-exec) S 2128 2131 1890 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446353822 115843072 364 33554432000 4194304 5098028 140721428473664 140721428471768 140317916836476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10424320 140721428476789 140721428477033 140721428477033 140721428479946 0
/proc/2131/statm: 28282 364 305 221 0 87 0
[pid=2133] ppid=2131 vsize=28227396 memory=41032 CPUtime=0.34 cores=0-7
/proc/2133/stat : 2133 (java) S 2131 2131 1890 0 -1 1077944320 9510 0 0 0 30 4 0 0 20 0 20 0 446353822 28904853504 10258 33554432000 4194304 4196468 140727401051200 140727401033744 140089286848247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
/proc/2133/statm: 7056849 10258 3302 1 0 7019032 0
[pid=2133/tid=2134] ppid=2131 vsize=28227396 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/2133/task/2134/stat : 2134 (java) R 2131 2131 1890 0 -1 4202560 6633 0 0 0 17 2 0 0 20 0 20 0 446353822 28904853504 10258 33554432000 4194304 4196468 140727401051200 140089291081712 140088898113484 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2135] ppid=2131 vsize=28227396 memory=288230604707987479 CPUtime=0 cores=0-7
/proc/2133/task/2135/stat : 2135 (java) S 2131 2131 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446353823 28904853504 10258 33554432000 4194304 4196468 140727401051200 140089239468560 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2136] ppid=2131 vsize=28227396 memory=140217119074125 CPUtime=0 cores=0-7
/proc/2133/task/2136/stat : 2136 (java) S 2131 2131 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446353823 28904853504 10258 33554432000 4194304 4196468 140727401051200 140089238416016 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2137] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2137/stat : 2137 (java) S 2131 2131 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446353823 28904853504 10258 33554432000 4194304 4196468 140727401051200 140089237362960 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2138] ppid=2131 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2133/task/2138/stat : 2138 (java) S 2131 2131 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446353823 28904853504 10258 33554432000 4194304 4196468 140727401051200 140089236310416 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2139] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2139/stat : 2139 (java) S 2131 2131 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446353823 28904853504 10258 33554432000 4194304 4196468 140727401051200 140089235258384 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2140] ppid=2131 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2133/task/2140/stat : 2140 (java) S 2131 2131 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446353823 28904853504 10258 33554432000 4194304 4196468 140727401051200 140089234205840 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2141] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2141/stat : 2141 (java) S 2131 2131 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446353823 28904853504 10258 33554432000 4194304 4196468 140727401051200 140089233152784 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2142] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2142/stat : 2142 (java) S 2131 2131 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446353823 28904853504 10258 33554432000 4194304 4196468 140727401051200 140089232100240 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2143] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2143/stat : 2143 (java) S 2131 2131 1890 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446353825 28904853504 10258 33554432000 4194304 4196468 140727401051200 140087750916336 140089286859394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2144] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2144/stat : 2144 (java) S 2131 2131 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446353825 28904853504 10258 33554432000 4194304 4196468 140727401051200 140087749862560 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2145] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2145/stat : 2145 (java) S 2131 2131 1890 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446353825 28904853504 10258 33554432000 4194304 4196468 140727401051200 140087748809456 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2146] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2146/stat : 2146 (java) S 2131 2131 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446353828 28904853504 10258 33554432000 4194304 4196468 140727401051200 140087747758032 140089286866843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2147] ppid=2131 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/2133/task/2147/stat : 2147 (java) S 2131 2131 1890 0 -1 1077944384 602 0 0 0 2 0 0 0 20 0 20 0 446353828 28904853504 10258 33554432000 4194304 4196468 140727401051200 140087746706160 140089286859394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2148] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2148/stat : 2148 (java) R 2131 2131 1890 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 446353828 28904853504 10258 33554432000 4194304 4196468 140727401051200 140087745653616 140089286859394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2149] ppid=2131 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2133/task/2149/stat : 2149 (java) R 2131 2131 1890 0 -1 1077944384 145 0 0 0 0 0 0 0 20 0 20 0 446353828 28904853504 10258 33554432000 4194304 4196468 140727401051200 140087744600560 140089286859394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2150] ppid=2131 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/2133/task/2150/stat : 2150 (java) R 2131 2131 1890 0 -1 4202560 770 0 0 0 8 0 0 0 20 0 20 0 446353828 28904853504 10258 33554432000 4194304 4196468 140727401051200 140087743548016 140089270928734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2151] ppid=2131 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2151/stat : 2151 (java) S 2131 2131 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446353828 28904853504 10258 33554432000 4194304 4196468 140727401051200 140087742495200 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2152] ppid=2131 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2133/task/2152/stat : 2152 (java) S 2131 2131 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446353828 28904853504 10258 33554432000 4194304 4196468 140727401051200 140087741442736 140089286859394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42488 KiB

[startup+0.310262 s]*
/proc/loadavg: 7.05 5.99 6.82 4/210 2152
/proc/meminfo: memFree=31174340/32770624 swapFree=66977412/67108860
[pid=2131] ppid=2128 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/2131/stat : 2131 (xcsp3-exec) S 2128 2131 1890 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446353822 115843072 364 33554432000 4194304 5098028 140721428473664 140721428471768 140317916836476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10424320 140721428476789 140721428477033 140721428477033 140721428479946 0
/proc/2131/statm: 28282 364 305 221 0 87 0
[pid=2133] ppid=2131 vsize=28231652 memory=50244 CPUtime=0.52 cores=0-7
/proc/2133/stat : 2133 (java) S 2131 2131 1890 0 -1 1077944320 10902 0 0 0 47 5 0 0 20 0 20 0 446353822 28909211648 12561 33554432000 4194304 4196468 140727401051200 140727401033744 140089286848247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
/proc/2133/statm: 7057913 12561 3347 1 0 7019032 0
[pid=2133/tid=2134] ppid=2131 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/2133/task/2134/stat : 2134 (java) R 2131 2131 1890 0 -1 4202560 7786 0 0 0 27 3 0 0 20 0 20 0 446353822 28909211648 12561 33554432000 4194304 4196468 140727401051200 140089291079360 140089270928734 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2135] ppid=2131 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2133/task/2135/stat : 2135 (java) S 2131 2131 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446353823 28909211648 12561 33554432000 4194304 4196468 140727401051200 140089239468560 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2136] ppid=2131 vsize=28231652 memory=14012 CPUtime=0 cores=0-7
/proc/2133/task/2136/stat : 2136 (java) S 2131 2131 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446353823 28909211648 12561 33554432000 4194304 4196468 140727401051200 140089238416016 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2137] ppid=2131 vsize=28231652 memory=14048 CPUtime=0 cores=0-7
/proc/2133/task/2137/stat : 2137 (java) S 2131 2131 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446353823 28909211648 12561 33554432000 4194304 4196468 140727401051200 140089237362960 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2138] ppid=2131 vsize=28231652 memory=25200 CPUtime=0 cores=0-7
/proc/2133/task/2138/stat : 2138 (java) S 2131 2131 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446353823 28909211648 12561 33554432000 4194304 4196468 140727401051200 140089236310416 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2139] ppid=2131 vsize=28231652 memory=2120 CPUtime=0 cores=0-7
/proc/2133/task/2139/stat : 2139 (java) S 2131 2131 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446353823 28909211648 12561 33554432000 4194304 4196468 140727401051200 140089235258384 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2140] ppid=2131 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2140/stat : 2140 (java) S 2131 2131 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446353823 28909211648 12561 33554432000 4194304 4196468 140727401051200 140089234205840 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2141] ppid=2131 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2141/stat : 2141 (java) S 2131 2131 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446353823 28909211648 12561 33554432000 4194304 4196468 140727401051200 140089233152784 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2142] ppid=2131 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2142/stat : 2142 (java) S 2131 2131 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446353823 28909211648 12561 33554432000 4194304 4196468 140727401051200 140089232100240 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2143] ppid=2131 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2143/stat : 2143 (java) S 2131 2131 1890 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 446353825 28909211648 12561 33554432000 4194304 4196468 140727401051200 140087750916336 140089286859394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2144] ppid=2131 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2144/stat : 2144 (java) S 2131 2131 1890 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446353825 28909211648 12561 33554432000 4194304 4196468 140727401051200 140087749862560 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2145] ppid=2131 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/2133/task/2145/stat : 2145 (java) S 2131 2131 1890 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446353825 28909211648 12561 33554432000 4194304 4196468 140727401051200 140087748809456 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2146] ppid=2131 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/2133/task/2146/stat : 2146 (java) S 2131 2131 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446353828 28909211648 12561 33554432000 4194304 4196468 140727401051200 140087747758032 140089286866843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2147] ppid=2131 vsize=28231652 memory=2244 CPUtime=0.03 cores=0-7
/proc/2133/task/2147/stat : 2147 (java) S 2131 2131 1890 0 -1 1077944384 623 0 0 0 3 0 0 0 20 0 20 0 446353828 28909211648 12561 33554432000 4194304 4196468 140727401051200 140087746706160 140089286859394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2148] ppid=2131 vsize=28231652 memory=2244 CPUtime=0.02 cores=0-7
/proc/2133/task/2148/stat : 2148 (java) R 2131 2131 1890 0 -1 4202560 162 0 0 0 2 0 0 0 20 0 20 0 446353828 28909211648 12561 33554432000 4194304 4196468 140727401051200 140087745634632 140089271973361 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2149] ppid=2131 vsize=28231652 memory=2244 CPUtime=0.01 cores=0-7
/proc/2133/task/2149/stat : 2149 (java) S 2131 2131 1890 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 20 0 446353828 28909211648 12561 33554432000 4194304 4196468 140727401051200 140087744600560 140089286859394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2150] ppid=2131 vsize=28231652 memory=2244 CPUtime=0.12 cores=0-7
/proc/2133/task/2150/stat : 2150 (java) S 2131 2131 1890 0 -1 1077944384 883 0 0 0 12 0 0 0 20 0 20 0 446353828 28909211648 12561 33554432000 4194304 4196468 140727401051200 140087743548016 140089286859394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2151] ppid=2131 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2151/stat : 2151 (java) S 2131 2131 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446353828 28909211648 12561 33554432000 4194304 4196468 140727401051200 140087742495200 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2152] ppid=2131 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/2133/task/2152/stat : 2152 (java) S 2131 2131 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446353828 28909211648 12561 33554432000 4194304 4196468 140727401051200 140087741442736 140089286859394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51700 KiB

[startup+0.700998 s]
/proc/loadavg: 7.05 5.99 6.82 5/210 2152
/proc/meminfo: memFree=31144488/32770624 swapFree=66977412/67108860
[pid=2131] ppid=2128 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/2131/stat : 2131 (xcsp3-exec) S 2128 2131 1890 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446353822 115843072 364 33554432000 4194304 5098028 140721428473664 140721428471768 140317916836476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10424320 140721428476789 140721428477033 140721428477033 140721428479946 0
/proc/2131/statm: 28282 364 305 221 0 87 0
[pid=2133] ppid=2131 vsize=28233776 memory=117436 CPUtime=1.95 cores=0-7
/proc/2133/stat : 2133 (java) S 2131 2131 1890 0 -1 1077944320 14892 0 0 0 188 7 0 0 20 0 20 0 446353822 28911386624 29359 33554432000 4194304 4196468 140727401051200 140727401033744 140089286848247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
/proc/2133/statm: 7058444 29359 3440 1 0 7019544 0
[pid=2133/tid=2134] ppid=2131 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7
/proc/2133/task/2134/stat : 2134 (java) R 2131 2131 1890 0 -1 4202560 8361 0 0 0 63 4 0 0 20 0 20 0 446353822 28911386624 29359 33554432000 4194304 4196468 140727401051200 140089291085104 140088901134327 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2135] ppid=2131 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/2133/task/2135/stat : 2135 (java) S 2131 2131 1890 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446353823 28911386624 29359 33554432000 4194304 4196468 140727401051200 140089239468560 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2136] ppid=2131 vsize=28233776 memory=0 CPUtime=0 cores=0-7

################
# More data... #
################

[pid=2133/tid=2205] ppid=2131 vsize=28768336 memory=3616 CPUtime=2412.92 cores=0-7
/proc/2133/task/2205/stat : 2205 (java) R 2131 2131 1890 0 -1 4202560 16319 0 0 0 241277 15 0 0 20 0 28 0 446355524 29458776064 1656220 33554432000 4194304 4196468 140727401051200 140087081848696 140088908019818 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
Current children cumulated CPU time: 19413.9 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 6626336 KiB

[startup+2502.3 s]
/proc/loadavg: 8.21 8.12 8.07 9/218 2390
/proc/meminfo: memFree=24585272/32770624 swapFree=66977412/67108860
[pid=2131] ppid=2128 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/2131/stat : 2131 (xcsp3-exec) S 2128 2131 1890 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446353822 115843072 364 33554432000 4194304 5098028 140721428473664 140721428471768 140317916836476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10424320 140721428476789 140721428477033 140721428477033 140721428479946 0
/proc/2131/statm: 28282 364 305 221 0 87 0
[pid=2133] ppid=2131 vsize=28768336 memory=6623852 CPUtime=19891.7 cores=0-7
/proc/2133/stat : 2133 (java) S 2131 2131 1890 0 -1 1077944320 611322 0 0 0 1987989 1185 0 0 20 0 28 0 446353822 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140727401033744 140089286848247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
/proc/2133/statm: 7192084 1655963 3546 1 0 7153184 0
[pid=2133/tid=2134] ppid=2131 vsize=28768336 memory=6623852 CPUtime=7.33 cores=0-7
/proc/2133/task/2134/stat : 2134 (java) S 2131 2131 1890 0 -1 1077944384 12280 0 0 0 706 27 0 0 20 0 28 0 446353822 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140089291089024 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2135] ppid=2131 vsize=28768336 memory=6623852 CPUtime=4.61 cores=0-7
/proc/2133/task/2135/stat : 2135 (java) S 2131 2131 1890 0 -1 1077944384 23883 0 0 0 433 28 0 0 20 0 28 0 446353823 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140089239468560 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2136] ppid=2131 vsize=28768336 memory=6623852 CPUtime=4.69 cores=0-7
/proc/2133/task/2136/stat : 2136 (java) S 2131 2131 1890 0 -1 1077944384 18083 0 0 0 445 24 0 0 20 0 28 0 446353823 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140089238416016 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2137] ppid=2131 vsize=28768336 memory=6623852 CPUtime=4.69 cores=0-7
/proc/2133/task/2137/stat : 2137 (java) S 2131 2131 1890 0 -1 1077944384 21828 0 0 0 442 27 0 0 20 0 28 0 446353823 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140089237362960 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2138] ppid=2131 vsize=28768336 memory=6623852 CPUtime=4.71 cores=0-7
/proc/2133/task/2138/stat : 2138 (java) S 2131 2131 1890 0 -1 1077944384 21890 0 0 0 444 27 0 0 20 0 28 0 446353823 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140089236310416 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2139] ppid=2131 vsize=28768336 memory=6623852 CPUtime=4.72 cores=0-7
/proc/2133/task/2139/stat : 2139 (java) S 2131 2131 1890 0 -1 1077944384 19630 0 0 0 444 28 0 0 20 0 28 0 446353823 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140089235258384 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 4 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2140] ppid=2131 vsize=28768336 memory=1456 CPUtime=4.72 cores=0-7
/proc/2133/task/2140/stat : 2140 (java) S 2131 2131 1890 0 -1 1077944384 17079 0 0 0 444 28 0 0 20 0 28 0 446353823 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140089234205840 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2141] ppid=2131 vsize=28768336 memory=6623852 CPUtime=4.7 cores=0-7
/proc/2133/task/2141/stat : 2141 (java) S 2131 2131 1890 0 -1 1077944384 21370 0 0 0 444 26 0 0 20 0 28 0 446353823 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140089233152784 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2142] ppid=2131 vsize=28768336 memory=6623852 CPUtime=4.69 cores=0-7
/proc/2133/task/2142/stat : 2142 (java) S 2131 2131 1890 0 -1 1077944384 20441 0 0 0 444 25 0 0 20 0 28 0 446353823 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140089232100240 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2143] ppid=2131 vsize=28768336 memory=6623852 CPUtime=1.43 cores=0-7
/proc/2133/task/2143/stat : 2143 (java) S 2131 2131 1890 0 -1 1077944384 75248 0 0 0 108 35 0 0 20 0 28 0 446353825 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087750916336 140089286859394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2144] ppid=2131 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/2133/task/2144/stat : 2144 (java) S 2131 2131 1890 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 446353825 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087749862624 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2145] ppid=2131 vsize=28768336 memory=6623852 CPUtime=0 cores=0-7
/proc/2133/task/2145/stat : 2145 (java) S 2131 2131 1890 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 446353825 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087748809472 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2146] ppid=2131 vsize=28768336 memory=6623852 CPUtime=0 cores=0-7
/proc/2133/task/2146/stat : 2146 (java) S 2131 2131 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446353828 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087747758032 140089286866843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2147] ppid=2131 vsize=28768336 memory=1456 CPUtime=4.3 cores=0-7
/proc/2133/task/2147/stat : 2147 (java) S 2131 2131 1890 0 -1 1077944384 17551 0 0 0 426 4 0 0 20 0 28 0 446353828 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087746706160 140089286859394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2148] ppid=2131 vsize=28768336 memory=1440 CPUtime=4.31 cores=0-7
/proc/2133/task/2148/stat : 2148 (java) S 2131 2131 1890 0 -1 1077944384 17594 0 0 0 428 3 0 0 20 0 28 0 446353828 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087745653616 140089286859394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2149] ppid=2131 vsize=28768336 memory=912 CPUtime=4.17 cores=0-7
/proc/2133/task/2149/stat : 2149 (java) S 2131 2131 1890 0 -1 1077944384 19439 0 0 0 415 2 0 0 20 0 28 0 446353828 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087744600560 140089286859394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2150] ppid=2131 vsize=28768336 memory=1556 CPUtime=1.06 cores=0-7
/proc/2133/task/2150/stat : 2150 (java) S 2131 2131 1890 0 -1 1077944384 17184 0 0 0 101 5 0 0 20 0 28 0 446353828 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087743548016 140089286859394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2151] ppid=2131 vsize=28768336 memory=780 CPUtime=0 cores=0-7
/proc/2133/task/2151/stat : 2151 (java) S 2131 2131 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446353828 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087742495200 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2152] ppid=2131 vsize=28768336 memory=1456 CPUtime=0.95 cores=0-7
/proc/2133/task/2152/stat : 2152 (java) S 2131 2131 1890 0 -1 1077944384 5345 0 0 0 33 62 0 0 20 0 28 0 446353828 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087741442736 140089286859394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2198] ppid=2131 vsize=28768336 memory=6623852 CPUtime=2469.21 cores=0-7
/proc/2133/task/2198/stat : 2198 (java) R 2131 2131 1890 0 -1 4202560 97256 0 0 0 246555 366 0 0 20 0 28 0 446355524 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087088163848 140088901867328 0 4 0 16800975 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2199] ppid=2131 vsize=28768336 memory=1456 CPUtime=2470.05 cores=0-7
/proc/2133/task/2199/stat : 2199 (java) R 2131 2131 1890 0 -1 4202560 18522 0 0 0 246985 20 0 0 20 0 28 0 446355524 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087085006576 140088903604505 0 4 0 16800975 0 0 0 -1 7 0 0 11 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2200] ppid=2131 vsize=28768336 memory=1456 CPUtime=2473.32 cores=0-7
/proc/2133/task/2200/stat : 2200 (java) R 2131 2131 1890 0 -1 4202560 17065 0 0 0 247312 20 0 0 20 0 28 0 446355524 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087089218104 140088907844864 0 4 0 16800975 0 0 0 -1 2 0 0 10 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2201] ppid=2131 vsize=28768336 memory=1456 CPUtime=2474.63 cores=0-7
/proc/2133/task/2201/stat : 2201 (java) R 2131 2131 1890 0 -1 4202560 75754 0 0 0 247085 378 0 0 20 0 28 0 446355524 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087087113272 140088906121288 0 4 0 16800975 0 0 0 -1 4 0 0 8 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2202] ppid=2131 vsize=28768336 memory=55 CPUtime=2460.3 cores=0-7
/proc/2133/task/2202/stat : 2202 (java) R 2131 2131 1890 0 -1 4202560 14082 0 0 0 246008 22 0 0 20 0 28 0 446355524 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087083954456 140088907693729 0 4 0 16800975 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2203] ppid=2131 vsize=28768336 memory=6623852 CPUtime=2471.41 cores=0-7
/proc/2133/task/2203/stat : 2203 (java) R 2131 2131 1890 0 -1 4202560 16240 0 0 0 247111 30 0 0 20 0 28 0 446355524 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087082901816 140088907693734 0 4 0 16800975 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2204] ppid=2131 vsize=28768336 memory=1456 CPUtime=2472.3 cores=0-7
/proc/2133/task/2204/stat : 2204 (java) R 2131 2131 1890 0 -1 4202560 19929 0 0 0 247198 32 0 0 20 0 28 0 446355524 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087086062064 140088907693656 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2205] ppid=2131 vsize=28768336 memory=1456 CPUtime=2472.53 cores=0-7
/proc/2133/task/2205/stat : 2205 (java) R 2131 2131 1890 0 -1 4202560 16618 0 0 0 247238 15 0 0 20 0 28 0 446355524 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087081849400 140088907846095 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
Current children cumulated CPU time: 19891.7 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 6625308 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.30 8.15 8.08 9/218 2390
/proc/meminfo: memFree=24585540/32770624 swapFree=66977412/67108860
[pid=2131] ppid=2128 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/2131/stat : 2131 (xcsp3-exec) S 2128 2131 1890 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446353822 115843072 364 33554432000 4194304 5098028 140721428473664 140721428471768 140317916836476 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10424320 140721428476789 140721428477033 140721428477033 140721428479946 0
/proc/2131/statm: 28282 364 305 221 0 87 0
[pid=2133] ppid=2131 vsize=28768336 memory=6623852 CPUtime=20032.6 cores=0-7
/proc/2133/stat : 2133 (java) S 2131 2131 1890 0 -1 1077944320 613386 0 0 0 2002072 1186 0 0 20 0 28 0 446353822 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140727401033744 140089286848247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
/proc/2133/statm: 7192084 1655963 3546 1 0 7153184 0
[pid=2133/tid=2134] ppid=2131 vsize=28768336 memory=8317482817917895235 CPUtime=7.33 cores=0-7
/proc/2133/task/2134/stat : 2134 (java) S 2131 2131 1890 0 -1 1077944384 12280 0 0 0 706 27 0 0 20 0 28 0 446353822 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140089291089024 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2135] ppid=2131 vsize=28768336 memory=8317482817917895235 CPUtime=4.65 cores=0-7
/proc/2133/task/2135/stat : 2135 (java) S 2131 2131 1890 0 -1 1077944384 23913 0 0 0 437 28 0 0 20 0 28 0 446353823 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140089239468560 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2136] ppid=2131 vsize=28768336 memory=14413743563999422 CPUtime=4.74 cores=0-7
/proc/2133/task/2136/stat : 2136 (java) S 2131 2131 1890 0 -1 1077944384 18135 0 0 0 450 24 0 0 20 0 28 0 446353823 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140089238416016 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2137] ppid=2131 vsize=28768336 memory=14413743563999422 CPUtime=4.73 cores=0-7
/proc/2133/task/2137/stat : 2137 (java) S 2131 2131 1890 0 -1 1077944384 22222 0 0 0 446 27 0 0 20 0 28 0 446353823 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140089237362960 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2138] ppid=2131 vsize=28768336 memory=1564 CPUtime=4.75 cores=0-7
/proc/2133/task/2138/stat : 2138 (java) S 2131 2131 1890 0 -1 1077944384 21943 0 0 0 448 27 0 0 20 0 28 0 446353823 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140089236310416 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2139] ppid=2131 vsize=28768336 memory=924 CPUtime=4.76 cores=0-7
/proc/2133/task/2139/stat : 2139 (java) S 2131 2131 1890 0 -1 1077944384 19652 0 0 0 448 28 0 0 20 0 28 0 446353823 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140089235258384 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2140] ppid=2131 vsize=28768336 memory=1556 CPUtime=4.76 cores=0-7
/proc/2133/task/2140/stat : 2140 (java) S 2131 2131 1890 0 -1 1077944384 17357 0 0 0 448 28 0 0 20 0 28 0 446353823 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140089234205840 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2141] ppid=2131 vsize=28768336 memory=780 CPUtime=4.75 cores=0-7
/proc/2133/task/2141/stat : 2141 (java) S 2131 2131 1890 0 -1 1077944384 21419 0 0 0 448 27 0 0 20 0 28 0 446353823 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140089233152784 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2142] ppid=2131 vsize=28768336 memory=4132 CPUtime=4.73 cores=0-7
/proc/2133/task/2142/stat : 2142 (java) S 2131 2131 1890 0 -1 1077944384 20506 0 0 0 448 25 0 0 20 0 28 0 446353823 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140089232100240 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2143] ppid=2131 vsize=28768336 memory=1112 CPUtime=1.45 cores=0-7
/proc/2133/task/2143/stat : 2143 (java) S 2131 2131 1890 0 -1 1077944384 75571 0 0 0 110 35 0 0 20 0 28 0 446353825 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087750916336 140089286859394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2144] ppid=2131 vsize=28768336 memory=6048 CPUtime=0 cores=0-7
/proc/2133/task/2144/stat : 2144 (java) S 2131 2131 1890 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 446353825 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087749862624 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2145] ppid=2131 vsize=28768336 memory=7552 CPUtime=0 cores=0-7
/proc/2133/task/2145/stat : 2145 (java) S 2131 2131 1890 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 28 0 446353825 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087748809472 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2146] ppid=2131 vsize=28768336 memory=2832 CPUtime=0 cores=0-7
/proc/2133/task/2146/stat : 2146 (java) S 2131 2131 1890 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446353828 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087747758032 140089286866843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2147] ppid=2131 vsize=28768336 memory=1084 CPUtime=4.3 cores=0-7
/proc/2133/task/2147/stat : 2147 (java) S 2131 2131 1890 0 -1 1077944384 17554 0 0 0 426 4 0 0 20 0 28 0 446353828 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087746706160 140089286859394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2148] ppid=2131 vsize=28768336 memory=1456 CPUtime=4.31 cores=0-7
/proc/2133/task/2148/stat : 2148 (java) S 2131 2131 1890 0 -1 1077944384 17596 0 0 0 428 3 0 0 20 0 28 0 446353828 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087745653616 140089286859394 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2149] ppid=2131 vsize=28768336 memory=1456 CPUtime=4.17 cores=0-7
/proc/2133/task/2149/stat : 2149 (java) S 2131 2131 1890 0 -1 1077944384 19441 0 0 0 415 2 0 0 20 0 28 0 446353828 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087744600560 140089286859394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2150] ppid=2131 vsize=28768336 memory=6623852 CPUtime=1.06 cores=0-7
/proc/2133/task/2150/stat : 2150 (java) S 2131 2131 1890 0 -1 1077944384 17186 0 0 0 101 5 0 0 20 0 28 0 446353828 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087743548016 140089286859394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2151] ppid=2131 vsize=28768336 memory=1556 CPUtime=0 cores=0-7
/proc/2133/task/2151/stat : 2151 (java) S 2131 2131 1890 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446353828 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087742495200 140089286858453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2152] ppid=2131 vsize=28768336 memory=780 CPUtime=0.95 cores=0-7
/proc/2133/task/2152/stat : 2152 (java) S 2131 2131 1890 0 -1 1077944384 5365 0 0 0 33 62 0 0 20 0 28 0 446353828 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087741442736 140089286859394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2198] ppid=2131 vsize=28768336 memory=4132 CPUtime=2486.66 cores=0-7
/proc/2133/task/2198/stat : 2198 (java) R 2131 2131 1890 0 -1 4202560 97456 0 0 0 248300 366 0 0 20 0 28 0 446355524 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087088162464 140088906967510 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2199] ppid=2131 vsize=28768336 memory=1112 CPUtime=2487.62 cores=0-7
/proc/2133/task/2199/stat : 2199 (java) R 2131 2131 1890 0 -1 4202560 18636 0 0 0 248742 20 0 0 20 0 28 0 446355524 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087085006568 140088906967748 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2200] ppid=2131 vsize=28768336 memory=6048 CPUtime=2490.83 cores=0-7
/proc/2133/task/2200/stat : 2200 (java) R 2131 2131 1890 0 -1 4202560 17112 0 0 0 249063 20 0 0 20 0 28 0 446355524 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087089218168 140088908019809 0 4 0 16800975 0 0 0 -1 6 0 0 10 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2201] ppid=2131 vsize=28768336 memory=7552 CPUtime=2492.26 cores=0-7
/proc/2133/task/2201/stat : 2201 (java) R 2131 2131 1890 0 -1 4202560 75897 0 0 0 248848 378 0 0 20 0 28 0 446355524 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087087112624 140088904849823 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2202] ppid=2131 vsize=28768336 memory=2832 CPUtime=2477.91 cores=0-7
/proc/2133/task/2202/stat : 2202 (java) R 2131 2131 1890 0 -1 4202560 14130 0 0 0 247769 22 0 0 20 0 28 0 446355524 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087083954208 140088907693661 0 4 0 16800975 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2203] ppid=2131 vsize=28768336 memory=1084 CPUtime=2489.01 cores=0-7
/proc/2133/task/2203/stat : 2203 (java) R 2131 2131 1890 0 -1 4202560 16286 0 0 0 248871 30 0 0 20 0 28 0 446355524 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087082902216 140088907693734 0 4 0 16800975 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2204] ppid=2131 vsize=28768336 memory=14012 CPUtime=2489.88 cores=0-7
/proc/2133/task/2204/stat : 2204 (java) R 2131 2131 1890 0 -1 4202560 20010 0 0 0 248956 32 0 0 20 0 28 0 446355524 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087086059960 140088907693837 0 4 0 16800975 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
[pid=2133/tid=2205] ppid=2131 vsize=28768336 memory=14048 CPUtime=2490.07 cores=0-7
/proc/2133/task/2205/stat : 2205 (java) R 2131 2131 1890 0 -1 4202560 16708 0 0 0 248992 15 0 0 20 0 28 0 446355524 29458776064 1655963 33554432000 4194304 4196468 140727401051200 140087081851728 140088907844817 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0 6293624 6294260 29958144 140727401059306 140727401059478 140727401059478 140727401062351 0
Current children cumulated CPU time: 20032.6 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 6625308 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.04 s]
# the end of solver process 2131 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001192 s, system=0.001192 s

[startup+2520.12 s]
# the end of solver process 2133 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20021.4 s, system=11.8983 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2520.12
CPU time (s): 20033.3
CPU user time (s): 20021.4
CPU system time (s): 11.8983
CPU usage (%): 794.931
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 8234360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20021.4
system time used= 11.8983
maximum resident set size= 8237236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 614489
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 126315
involuntary context switches= 213899


# summary of solver processes directly reported to runsolver:
#   pid: 2131,2133
#   total CPU time (s): 20033.3
#   total CPU user time (s): 20021.4
#   total CPU system time (s): 11.8983

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 24.3337 second user time and 27.6654 second system time

The end
Name	GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o33-h381-bal-1.xml
MD5SUM	2a724879a45d3456306f221189212969
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	33
Best CPU time to get the best result obtained on this benchmark	2519.82
Satisfiable
(Un)Satisfiability was proved
Number of variables	1089
Number of constraints	34849
Number of domains	1
Minimum domain size	1089
Maximum domain size	1089
Distribution of domain sizes	[{"size":1089,"count":1089}]
Minimum variable degree	65
Maximum variable degree	66
Distribution of variable degrees	[{"degree":65,"count":381},{"degree":66,"count":708}]
Minimum constraint arity	2
Maximum constraint arity	708
Distribution of constraint arities	[{"arity":2,"count":34848},{"arity":708,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	34848
Distribution of constraint types	[{"type":"intension","count":34848},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4399981

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
