2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	OPT	7	75.7256	70.2509
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 (6910 MiB free)
  memory of node 1: 16384 MiB (10160 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306510-1534051482/watcher-4306510-1534051482 -o /tmp/evaluation-result-4306510-1534051482/solver-4306510-1534051482 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534040437-29090 --watchdog 2580 HOME/xcsp3-exec -seed 1003793651 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306510-1534051482.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=30506, runsolver pid=30503

[startup+0.100159 s]*
/proc/loadavg: 1.38 1.51 1.67 3/222 30522
/proc/meminfo: memFree=17464148/32770624 swapFree=67108860/67108860
[pid=30506] ppid=30503 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (xcsp3-exec) S 30503 30506 27146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222711402 115843072 363 33554432000 4194304 5098028 140722848211408 140722848209512 140629189051004 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12513280 140722848216122 140722848216324 140722848216324 140722848219082 0
/proc/30506/statm: 28282 363 305 221 0 87 0
[pid=30508] ppid=30506 vsize=14082940 memory=28036 CPUtime=0.12 cores=0,2,4,6
/proc/30508/stat : 30508 (java) S 30506 30506 27146 0 -1 1077944320 5340 0 0 0 11 1 0 0 20 0 15 0 222711402 14420930560 7009 33554432000 4194304 4196468 140724508633072 140724508615616 140397745041143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
/proc/30508/statm: 3520735 7009 3038 1 0 3483012 0
[pid=30508/tid=30509] ppid=30506 vsize=14082940 memory=8514701219880730790 CPUtime=0.09 cores=0,2,4,6
/proc/30508/task/30509/stat : 30509 (java) R 30506 30506 27146 0 -1 4202560 3320 0 0 0 8 1 0 0 20 0 15 0 222711403 14420930560 7009 33554432000 4194304 4196468 140724508633072 140397749272800 140397745053078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30510] ppid=30506 vsize=14082940 memory=3472468584586786000 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30510/stat : 30510 (java) S 30506 30506 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711403 14420930560 7009 33554432000 4194304 4196468 140724508633072 140397340629648 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30511] ppid=30506 vsize=14082940 memory=140455691634304 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30511/stat : 30511 (java) S 30506 30506 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711403 14420930560 7009 33554432000 4194304 4196468 140724508633072 140397339576848 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30512] ppid=30506 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30512/stat : 30512 (java) S 30506 30506 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711403 14420930560 7009 33554432000 4194304 4196468 140724508633072 140397338524048 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30513] ppid=30506 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30513/stat : 30513 (java) S 30506 30506 27146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222711403 14420930560 7009 33554432000 4194304 4196468 140724508633072 140397337471248 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30514] ppid=30506 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30514/stat : 30514 (java) S 30506 30506 27146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222711405 14420930560 7009 33554432000 4194304 4196468 140724508633072 140397219269488 140397745052290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30515] ppid=30506 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30515/stat : 30515 (java) S 30506 30506 27146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222711405 14420930560 7009 33554432000 4194304 4196468 140724508633072 140397218215456 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30516] ppid=30506 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30516/stat : 30516 (java) S 30506 30506 27146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222711405 14420930560 7009 33554432000 4194304 4196468 140724508633072 140397217162608 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30517] ppid=30506 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30517/stat : 30517 (java) S 30506 30506 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711408 14420930560 7009 33554432000 4194304 4196468 140724508633072 140397216110928 140397745059739 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30518] ppid=30506 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30518/stat : 30518 (java) S 30506 30506 27146 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 222711408 14420930560 7009 33554432000 4194304 4196468 140724508633072 140397215058288 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30519] ppid=30506 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30519/stat : 30519 (java) S 30506 30506 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711408 14420930560 7009 33554432000 4194304 4196468 140724508633072 140397214005488 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30520] ppid=30506 vsize=14082940 memory=140455691634304 CPUtime=0.01 cores=0,2,4,6
/proc/30508/task/30520/stat : 30520 (java) R 30506 30506 27146 0 -1 4202560 294 0 0 0 1 0 0 0 20 0 15 0 222711408 14420930560 7009 33554432000 4194304 4196468 140724508633072 140397212952688 140397745053078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30521] ppid=30506 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30521/stat : 30521 (java) S 30506 30506 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711408 14420930560 7009 33554432000 4194304 4196468 140724508633072 140397211900128 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30522] ppid=30506 vsize=14082940 memory=140455691634304 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30522/stat : 30522 (java) S 30506 30506 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711408 14420930560 7009 33554432000 4194304 4196468 140724508633072 140397210848432 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29488 KiB

[startup+0.211127 s]*
/proc/loadavg: 1.38 1.51 1.67 5/222 30522
/proc/meminfo: memFree=17452628/32770624 swapFree=67108860/67108860
[pid=30506] ppid=30503 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (xcsp3-exec) S 30503 30506 27146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222711402 115843072 363 33554432000 4194304 5098028 140722848211408 140722848209512 140629189051004 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12513280 140722848216122 140722848216324 140722848216324 140722848219082 0
/proc/30506/statm: 28282 363 305 221 0 87 0
[pid=30508] ppid=30506 vsize=14082940 memory=40152 CPUtime=0.34 cores=0,2,4,6
/proc/30508/stat : 30508 (java) S 30506 30506 27146 0 -1 1077944320 8059 0 0 0 32 2 0 0 20 0 15 0 222711402 14420930560 10038 33554432000 4194304 4196468 140724508633072 140724508615616 140397745041143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
/proc/30508/statm: 3520735 10038 3208 1 0 3483012 0
[pid=30508/tid=30509] ppid=30506 vsize=14082940 memory=5852833025768652961 CPUtime=0.19 cores=0,2,4,6
/proc/30508/task/30509/stat : 30509 (java) R 30506 30506 27146 0 -1 4202560 5011 0 0 0 18 1 0 0 20 0 15 0 222711403 14420930560 10038 33554432000 4194304 4196468 140724508633072 140397749276128 140397729121630 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30510] ppid=30506 vsize=14082940 memory=3472468584586786000 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30510/stat : 30510 (java) S 30506 30506 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711403 14420930560 10038 33554432000 4194304 4196468 140724508633072 140397340629648 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30511] ppid=30506 vsize=14082940 memory=140455691634304 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30511/stat : 30511 (java) S 30506 30506 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711403 14420930560 10038 33554432000 4194304 4196468 140724508633072 140397339576848 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30512] ppid=30506 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30512/stat : 30512 (java) S 30506 30506 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711403 14420930560 10038 33554432000 4194304 4196468 140724508633072 140397338524048 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30513] ppid=30506 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30513/stat : 30513 (java) S 30506 30506 27146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222711403 14420930560 10038 33554432000 4194304 4196468 140724508633072 140397337471248 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30514] ppid=30506 vsize=14082940 memory=140455691634304 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30514/stat : 30514 (java) S 30506 30506 27146 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222711405 14420930560 10038 33554432000 4194304 4196468 140724508633072 140397219269488 140397745052290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30515] ppid=30506 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30515/stat : 30515 (java) S 30506 30506 27146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222711405 14420930560 10038 33554432000 4194304 4196468 140724508633072 140397218215456 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30516] ppid=30506 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30516/stat : 30516 (java) S 30506 30506 27146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222711405 14420930560 10038 33554432000 4194304 4196468 140724508633072 140397217162608 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30517] ppid=30506 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30517/stat : 30517 (java) S 30506 30506 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711408 14420930560 10038 33554432000 4194304 4196468 140724508633072 140397216110928 140397745059739 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30518] ppid=30506 vsize=14082940 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30508/task/30518/stat : 30518 (java) S 30506 30506 27146 0 -1 1077944384 820 0 0 0 3 0 0 0 20 0 15 0 222711408 14420930560 10038 33554432000 4194304 4196468 140724508633072 140397215058288 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30519] ppid=30506 vsize=14082940 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/30508/task/30519/stat : 30519 (java) S 30506 30506 27146 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 15 0 222711408 14420930560 10038 33554432000 4194304 4196468 140724508633072 140397214005488 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30520] ppid=30506 vsize=14082940 memory=140455691634304 CPUtime=0.08 cores=0,2,4,6
/proc/30508/task/30520/stat : 30520 (java) S 30506 30506 27146 0 -1 1077944384 865 0 0 0 8 0 0 0 20 0 15 0 222711408 14420930560 10038 33554432000 4194304 4196468 140724508633072 140397212952688 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30521] ppid=30506 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30521/stat : 30521 (java) S 30506 30506 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711408 14420930560 10038 33554432000 4194304 4196468 140724508633072 140397211900128 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30522] ppid=30506 vsize=14082940 memory=140455691634304 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30522/stat : 30522 (java) S 30506 30506 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711408 14420930560 10038 33554432000 4194304 4196468 140724508633072 140397210848432 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41604 KiB

[startup+0.311009 s]*
/proc/loadavg: 1.38 1.51 1.67 4/222 30522
/proc/meminfo: memFree=17446176/32770624 swapFree=67108860/67108860
[pid=30506] ppid=30503 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (xcsp3-exec) S 30503 30506 27146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222711402 115843072 363 33554432000 4194304 5098028 140722848211408 140722848209512 140629189051004 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12513280 140722848216122 140722848216324 140722848216324 140722848219082 0
/proc/30506/statm: 28282 363 305 221 0 87 0
[pid=30508] ppid=30506 vsize=14087196 memory=46972 CPUtime=0.53 cores=0,2,4,6
/proc/30508/stat : 30508 (java) S 30506 30506 27146 0 -1 1077944320 8970 0 0 0 50 3 0 0 20 0 15 0 222711402 14425288704 11743 33554432000 4194304 4196468 140724508633072 140724508615616 140397745041143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
/proc/30508/statm: 3521799 11743 3275 1 0 3483012 0
[pid=30508/tid=30509] ppid=30506 vsize=14087196 memory=8514701219881125278 CPUtime=0.3 cores=0,2,4,6
/proc/30508/task/30509/stat : 30509 (java) R 30506 30506 27146 0 -1 4202560 5658 0 0 0 28 2 0 0 20 0 15 0 222711403 14425288704 11743 33554432000 4194304 4196468 140724508633072 140397749277920 140397729121630 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30510] ppid=30506 vsize=14087196 memory=3472468584586786000 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30510/stat : 30510 (java) S 30506 30506 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711403 14425288704 11743 33554432000 4194304 4196468 140724508633072 140397340629648 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30511] ppid=30506 vsize=14087196 memory=140455691634304 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30511/stat : 30511 (java) S 30506 30506 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711403 14425288704 11743 33554432000 4194304 4196468 140724508633072 140397339576848 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30512] ppid=30506 vsize=14087196 memory=15 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30512/stat : 30512 (java) S 30506 30506 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711403 14425288704 11743 33554432000 4194304 4196468 140724508633072 140397338524048 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30513] ppid=30506 vsize=14087196 memory=140455564159007 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30513/stat : 30513 (java) S 30506 30506 27146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222711403 14425288704 11743 33554432000 4194304 4196468 140724508633072 140397337471248 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30514] ppid=30506 vsize=14087196 memory=280911128278784 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30514/stat : 30514 (java) S 30506 30506 27146 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222711405 14425288704 11743 33554432000 4194304 4196468 140724508633072 140397219269488 140397745052290 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30515] ppid=30506 vsize=14087196 memory=140455564135951 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30515/stat : 30515 (java) S 30506 30506 27146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222711405 14425288704 11743 33554432000 4194304 4196468 140724508633072 140397218215456 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30516] ppid=30506 vsize=14087196 memory=280911255779424 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30516/stat : 30516 (java) S 30506 30506 27146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222711405 14425288704 11743 33554432000 4194304 4196468 140724508633072 140397217162608 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30517] ppid=30506 vsize=14087196 memory=140455564140559 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30517/stat : 30517 (java) S 30506 30506 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711408 14425288704 11743 33554432000 4194304 4196468 140724508633072 140397216110928 140397745059739 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30518] ppid=30506 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/30508/task/30518/stat : 30518 (java) R 30506 30506 27146 0 -1 4202560 911 0 0 0 5 0 0 0 20 0 15 0 222711408 14425288704 11743 33554432000 4194304 4196468 140724508633072 140397215049744 140397726585283 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30519] ppid=30506 vsize=14087196 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/30508/task/30519/stat : 30519 (java) S 30506 30506 27146 0 -1 1077944384 84 0 0 0 3 0 0 0 20 0 15 0 222711408 14425288704 11743 33554432000 4194304 4196468 140724508633072 140397214005488 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30520] ppid=30506 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/30508/task/30520/stat : 30520 (java) S 30506 30506 27146 0 -1 1077944384 1010 0 0 0 12 0 0 0 20 0 15 0 222711408 14425288704 11743 33554432000 4194304 4196468 140724508633072 140397212952688 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30521] ppid=30506 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30521/stat : 30521 (java) S 30506 30506 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711408 14425288704 11743 33554432000 4194304 4196468 140724508633072 140397211900128 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30522] ppid=30506 vsize=14087196 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30522/stat : 30522 (java) S 30506 30506 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711408 14425288704 11743 33554432000 4194304 4196468 140724508633072 140397210848432 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48424 KiB

[startup+0.701309 s]
/proc/loadavg: 1.38 1.51 1.67 4/222 30522
/proc/meminfo: memFree=17425948/32770624 swapFree=67108860/67108860
[pid=30506] ppid=30503 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (xcsp3-exec) S 30503 30506 27146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222711402 115843072 363 33554432000 4194304 5098028 140722848211408 140722848209512 140629189051004 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12513280 140722848216122 140722848216324 140722848216324 140722848219082 0
/proc/30506/statm: 28282 363 305 221 0 87 0
[pid=30508] ppid=30506 vsize=14089320 memory=100760 CPUtime=1.72 cores=0,2,4,6
/proc/30508/stat : 30508 (java) S 30506 30506 27146 0 -1 1077944320 12095 0 0 0 168 4 0 0 20 0 15 0 222711402 14427463680 25190 33554432000 4194304 4196468 140724508633072 140724508615616 140397745041143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
/proc/30508/statm: 3522330 25190 3353 1 0 3483524 0
[pid=30508/tid=30509] ppid=30506 vsize=14089320 memory=6935650355287975249 CPUtime=0.67 cores=0,2,4,6
/proc/30508/task/30509/stat : 30509 (java) R 30506 30506 27146 0 -1 4202560 6220 0 0 0 65 2 0 0 20 0 15 0 222711403 14427463680 25190 33554432000 4194304 4196468 140724508633072 140397749276840 140397385918344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30510] ppid=30506 vsize=14089320 memory=7595725831727968097 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30510/stat : 30510 (java) S 30506 30506 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711403 14427463680 25190 33554432000 4194304 4196468 140724508633072 140397340629648 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30511] ppid=30506 vsize=14089320 memory=6935649255759568960 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30511/stat : 30511 (java) S 30506 30506 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711403 14427463680 25190 33554432000 4194304 4196468 140724508633072 140397339576848 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30512] ppid=30506 vsize=14089320 memory=-7098080424032564416 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30512/stat : 30512 (java) S 30506 30506 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711403 14427463680 25190 33554432000 4194304 4196468 140724508633072 140397338524048 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30513] ppid=30506 vsize=14089320 memory=-5345911753256963030 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30513/stat : 30513 (java) S 30506 30506 27146 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 222711403 14427463680 25190 33554432000 4194304 4196468 140724508633072 140397337471248 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30514] ppid=30506 vsize=14089320 memory=6944656592455360608 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30514/stat : 30514 (java) S 30506 30506 27146 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 222711405 14427463680 25190 33554432000 4194304 4196468 140724508633072 140397219269488 140397745052290 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30515] ppid=30506 vsize=14089320 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30515/stat : 30515 (java) S 30506 30506 27146 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 222711405 14427463680 25190 33554432000 4194304 4196468 140724508633072 140397218215456 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30516] ppid=30506 vsize=14089320 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30516/stat : 30516 (java) S 30506 30506 27146 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 222711405 14427463680 25190 33554432000 4194304 4196468 140724508633072 140397217162608 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30517] ppid=30506 vsize=14089320 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30517/stat : 30517 (java) S 30506 30506 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711408 14427463680 25190 33554432000 4194304 4196468 140724508633072 140397216110928 140397745059739 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30518] ppid=30506 vsize=14089320 memory=60580 CPUtime=0.36 cores=0,2,4,6
/proc/30508/task/30518/stat : 30518 (java) R 30506 30506 27146 0 -1 4202560 1697 0 0 0 36 0 0 0 20 0 15 0 222711408 14427463680 25190 33554432000 4194304 4196468 140724508633072 140397215045104 140397728935795 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30519] ppid=30506 vsize=14089320 memory=1236 CPUtime=0.33 cores=0,2,4,6
/proc/30508/task/30519/stat : 30519 (java) R 30506 30506 27146 0 -1 4202560 980 0 0 0 33 0 0 0 20 0 15 0 222711408 14427463680 25190 33554432000 4194304 4196468 140724508633072 140397213986896 140397728539680 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30520] ppid=30506 vsize=14089320 memory=2444 CPUtime=0.31 cores=0,2,4,6
/proc/30508/task/30520/stat : 30520 (java) S 30506 30506 27146 0 -1 1077944384 1890 0 0 0 31 0 0 0 20 0 15 0 222711408 14427463680 25190 33554432000 4194304 4196468 140724508633072 140397212952688 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30521] ppid=30506 vsize=14089320 memory=7091832833820811856 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30521/stat : 30521 (java) S 30506 30506 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711408 14427463680 25190 33554432000 4194304 4196468 140724508633072 140397211900128 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30522] ppid=30506 vsize=14089320 memory=8025788801293636708 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30522/stat : 30522 (java) S 30506 30506 27146 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 222711408 14427463680 25190 33554432000 4194304 4196468 140724508633072 140397210848432 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 102212 KiB

[startup+1.50085 s]
/proc/loadavg: 1.38 1.51 1.67 3/222 30522
/proc/meminfo: memFree=17356292/32770624 swapFree=67108860/67108860
[pid=30506] ppid=30503 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (xcsp3-exec) S 30503 30506 27146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222711402 115843072 363 33554432000 4194304 5098028 140722848211408 140722848209512 140629189051004 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12513280 140722848216122 140722848216324 140722848216324 140722848219082 0
/proc/30506/statm: 28282 363 305 221 0 87 0

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

/proc/30506/stat : 30506 (xcsp3-exec) S 30503 30506 27146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222711402 115843072 363 33554432000 4194304 5098028 140722848211408 140722848209512 140629189051004 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12513280 140722848216122 140722848216324 140722848216324 140722848219082 0
/proc/30506/statm: 28282 363 305 221 0 87 0
[pid=30508] ppid=30506 vsize=14089320 memory=235848 CPUtime=74.26 cores=0,2,4,6
/proc/30508/stat : 30508 (java) S 30506 30506 27146 0 -1 1077944320 46486 0 0 0 7410 16 0 0 20 0 15 0 222711402 14427463680 58962 33554432000 4194304 4196468 140724508633072 140724508615616 140397745041143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
/proc/30508/statm: 3522330 58962 3427 1 0 3483524 0
[pid=30508/tid=30509] ppid=30506 vsize=14089320 memory=1616 CPUtime=68.72 cores=0,2,4,6
/proc/30508/task/30509/stat : 30509 (java) R 30506 30506 27146 0 -1 4202560 10696 0 0 0 6868 4 0 0 20 0 15 0 222711403 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397749280328 140397388552714 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30510] ppid=30506 vsize=14089320 memory=1384 CPUtime=0.02 cores=0,2,4,6
/proc/30508/task/30510/stat : 30510 (java) S 30506 30506 27146 0 -1 1077944384 736 0 0 0 1 1 0 0 20 0 15 0 222711403 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397340629648 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30511] ppid=30506 vsize=14089320 memory=752 CPUtime=0.01 cores=0,2,4,6
/proc/30508/task/30511/stat : 30511 (java) S 30506 30506 27146 0 -1 1077944384 1260 0 0 0 1 0 0 0 20 0 15 0 222711403 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397339576848 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30512] ppid=30506 vsize=14089320 memory=1452 CPUtime=0.02 cores=0,2,4,6
/proc/30508/task/30512/stat : 30512 (java) S 30506 30506 27146 0 -1 1077944384 648 0 0 0 1 1 0 0 20 0 15 0 222711403 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397338524048 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30513] ppid=30506 vsize=14089320 memory=235848 CPUtime=0.02 cores=0,2,4,6
/proc/30508/task/30513/stat : 30513 (java) S 30506 30506 27146 0 -1 1077944384 3152 0 0 0 1 1 0 0 20 0 15 0 222711403 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397337471248 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30514] ppid=30506 vsize=14089320 memory=8099255990543994965 CPUtime=0.01 cores=0,2,4,6
/proc/30508/task/30514/stat : 30514 (java) S 30506 30506 27146 0 -1 1077944384 980 0 0 0 1 0 0 0 20 0 15 0 222711405 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397219269488 140397745052290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30515] ppid=30506 vsize=14089320 memory=7084821290818945124 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30515/stat : 30515 (java) S 30506 30506 27146 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 222711405 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397218215520 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30516] ppid=30506 vsize=14089320 memory=7445382940987908972 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30516/stat : 30516 (java) S 30506 30506 27146 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 222711405 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397217162624 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30517] ppid=30506 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30517/stat : 30517 (java) S 30506 30506 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397216110928 140397745059739 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30518] ppid=30506 vsize=14089320 memory=235820 CPUtime=2.31 cores=0,2,4,6
/proc/30508/task/30518/stat : 30518 (java) S 30506 30506 27146 0 -1 1077944384 12821 0 0 0 229 2 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397215058288 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30519] ppid=30506 vsize=14089320 memory=1920 CPUtime=2.35 cores=0,2,4,6
/proc/30508/task/30519/stat : 30519 (java) S 30506 30506 27146 0 -1 1077944384 8293 0 0 0 234 1 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397214005488 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30520] ppid=30506 vsize=14089320 memory=1192 CPUtime=0.69 cores=0,2,4,6
/proc/30508/task/30520/stat : 30520 (java) S 30506 30506 27146 0 -1 1077944384 6271 0 0 0 68 1 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397212952688 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30521] ppid=30506 vsize=14089320 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30521/stat : 30521 (java) S 30506 30506 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397211900128 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30522] ppid=30506 vsize=14089320 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/30508/task/30522/stat : 30522 (java) S 30506 30506 27146 0 -1 1077944384 224 0 0 0 0 1 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397210848432 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
Current children cumulated CPU time: 74.26 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 237300 KiB

[startup+69.6008 s]
/proc/loadavg: 1.72 1.61 1.70 3/220 30524
/proc/meminfo: memFree=17267160/32770624 swapFree=67108860/67108860
[pid=30506] ppid=30503 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (xcsp3-exec) S 30503 30506 27146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222711402 115843072 363 33554432000 4194304 5098028 140722848211408 140722848209512 140629189051004 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12513280 140722848216122 140722848216324 140722848216324 140722848219082 0
/proc/30506/statm: 28282 363 305 221 0 87 0
[pid=30508] ppid=30506 vsize=14089320 memory=235848 CPUtime=75.06 cores=0,2,4,6
/proc/30508/stat : 30508 (java) S 30506 30506 27146 0 -1 1077944320 46486 0 0 0 7490 16 0 0 20 0 15 0 222711402 14427463680 58962 33554432000 4194304 4196468 140724508633072 140724508615616 140397745041143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
/proc/30508/statm: 3522330 58962 3427 1 0 3483524 0
[pid=30508/tid=30509] ppid=30506 vsize=14089320 memory=1236 CPUtime=69.52 cores=0,2,4,6
/proc/30508/task/30509/stat : 30509 (java) R 30506 30506 27146 0 -1 4202560 10696 0 0 0 6948 4 0 0 20 0 15 0 222711403 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397749280328 140397388552773 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30510] ppid=30506 vsize=14089320 memory=2444 CPUtime=0.02 cores=0,2,4,6
/proc/30508/task/30510/stat : 30510 (java) S 30506 30506 27146 0 -1 1077944384 736 0 0 0 1 1 0 0 20 0 15 0 222711403 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397340629648 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30511] ppid=30506 vsize=14089320 memory=1832 CPUtime=0.01 cores=0,2,4,6
/proc/30508/task/30511/stat : 30511 (java) S 30506 30506 27146 0 -1 1077944384 1260 0 0 0 1 0 0 0 20 0 15 0 222711403 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397339576848 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30512] ppid=30506 vsize=14089320 memory=1920 CPUtime=0.02 cores=0,2,4,6
/proc/30508/task/30512/stat : 30512 (java) S 30506 30506 27146 0 -1 1077944384 648 0 0 0 1 1 0 0 20 0 15 0 222711403 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397338524048 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30513] ppid=30506 vsize=14089320 memory=235848 CPUtime=0.02 cores=0,2,4,6
/proc/30508/task/30513/stat : 30513 (java) S 30506 30506 27146 0 -1 1077944384 3152 0 0 0 1 1 0 0 20 0 15 0 222711403 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397337471248 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30514] ppid=30506 vsize=14089320 memory=235848 CPUtime=0.01 cores=0,2,4,6
/proc/30508/task/30514/stat : 30514 (java) S 30506 30506 27146 0 -1 1077944384 980 0 0 0 1 0 0 0 20 0 15 0 222711405 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397219269488 140397745052290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30515] ppid=30506 vsize=14089320 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30515/stat : 30515 (java) S 30506 30506 27146 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 222711405 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397218215520 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30516] ppid=30506 vsize=14089320 memory=1832 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30516/stat : 30516 (java) S 30506 30506 27146 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 222711405 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397217162624 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30517] ppid=30506 vsize=14089320 memory=1920 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30517/stat : 30517 (java) S 30506 30506 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397216110928 140397745059739 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30518] ppid=30506 vsize=14089320 memory=1192 CPUtime=2.31 cores=0,2,4,6
/proc/30508/task/30518/stat : 30518 (java) S 30506 30506 27146 0 -1 1077944384 12821 0 0 0 229 2 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397215058288 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30519] ppid=30506 vsize=14089320 memory=1616 CPUtime=2.35 cores=0,2,4,6
/proc/30508/task/30519/stat : 30519 (java) S 30506 30506 27146 0 -1 1077944384 8293 0 0 0 234 1 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397214005488 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30520] ppid=30506 vsize=14089320 memory=6791534058613427641 CPUtime=0.69 cores=0,2,4,6
/proc/30508/task/30520/stat : 30520 (java) S 30506 30506 27146 0 -1 1077944384 6271 0 0 0 68 1 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397212952688 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30521] ppid=30506 vsize=14089320 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30521/stat : 30521 (java) S 30506 30506 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397211900128 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30522] ppid=30506 vsize=14089320 memory=2752 CPUtime=0.01 cores=0,2,4,6
/proc/30508/task/30522/stat : 30522 (java) S 30506 30506 27146 0 -1 1077944384 224 0 0 0 0 1 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397210848432 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
Current children cumulated CPU time: 75.06 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 237300 KiB

[startup+70.0007 s]*
/proc/loadavg: 1.72 1.61 1.70 3/220 30524
/proc/meminfo: memFree=17267160/32770624 swapFree=67108860/67108860
[pid=30506] ppid=30503 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (xcsp3-exec) S 30503 30506 27146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222711402 115843072 363 33554432000 4194304 5098028 140722848211408 140722848209512 140629189051004 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12513280 140722848216122 140722848216324 140722848216324 140722848219082 0
/proc/30506/statm: 28282 363 305 221 0 87 0
[pid=30508] ppid=30506 vsize=14089320 memory=235848 CPUtime=75.47 cores=0,2,4,6
/proc/30508/stat : 30508 (java) S 30506 30506 27146 0 -1 1077944320 46486 0 0 0 7531 16 0 0 20 0 15 0 222711402 14427463680 58962 33554432000 4194304 4196468 140724508633072 140724508615616 140397745041143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
/proc/30508/statm: 3522330 58962 3427 1 0 3483524 0
[pid=30508/tid=30509] ppid=30506 vsize=14089320 memory=6791534058613427641 CPUtime=69.93 cores=0,2,4,6
/proc/30508/task/30509/stat : 30509 (java) R 30506 30506 27146 0 -1 4202560 10696 0 0 0 6989 4 0 0 20 0 15 0 222711403 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397749280328 140397388552788 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30510] ppid=30506 vsize=14089320 memory=-7003737579269690708 CPUtime=0.02 cores=0,2,4,6
/proc/30508/task/30510/stat : 30510 (java) S 30506 30506 27146 0 -1 1077944384 736 0 0 0 1 1 0 0 20 0 15 0 222711403 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397340629648 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30511] ppid=30506 vsize=14089320 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30508/task/30511/stat : 30511 (java) S 30506 30506 27146 0 -1 1077944384 1260 0 0 0 1 0 0 0 20 0 15 0 222711403 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397339576848 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30512] ppid=30506 vsize=14089320 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30508/task/30512/stat : 30512 (java) S 30506 30506 27146 0 -1 1077944384 648 0 0 0 1 1 0 0 20 0 15 0 222711403 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397338524048 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30513] ppid=30506 vsize=14089320 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30508/task/30513/stat : 30513 (java) S 30506 30506 27146 0 -1 1077944384 3152 0 0 0 1 1 0 0 20 0 15 0 222711403 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397337471248 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30514] ppid=30506 vsize=14089320 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30508/task/30514/stat : 30514 (java) S 30506 30506 27146 0 -1 1077944384 980 0 0 0 1 0 0 0 20 0 15 0 222711405 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397219269488 140397745052290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30515] ppid=30506 vsize=14089320 memory=3472592183261933599 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30515/stat : 30515 (java) S 30506 30506 27146 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 222711405 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397218215520 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30516] ppid=30506 vsize=14089320 memory=2319976377433268271 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30516/stat : 30516 (java) S 30506 30506 27146 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 222711405 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397217162624 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30517] ppid=30506 vsize=14089320 memory=2321218509230274208 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30517/stat : 30517 (java) S 30506 30506 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397216110928 140397745059739 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30518] ppid=30506 vsize=14089320 memory=0 CPUtime=2.31 cores=0,2,4,6
/proc/30508/task/30518/stat : 30518 (java) S 30506 30506 27146 0 -1 1077944384 12821 0 0 0 229 2 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397215058288 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30519] ppid=30506 vsize=14089320 memory=7684433391216329530 CPUtime=2.35 cores=0,2,4,6
/proc/30508/task/30519/stat : 30519 (java) S 30506 30506 27146 0 -1 1077944384 8293 0 0 0 234 1 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397214005488 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30520] ppid=30506 vsize=14089320 memory=8303054830060986464 CPUtime=0.69 cores=0,2,4,6
/proc/30508/task/30520/stat : 30520 (java) S 30506 30506 27146 0 -1 1077944384 6271 0 0 0 68 1 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397212952688 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30521] ppid=30506 vsize=14089320 memory=-7679004722349093442 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30521/stat : 30521 (java) S 30506 30506 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397211900128 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30522] ppid=30506 vsize=14089320 memory=29441 CPUtime=0.01 cores=0,2,4,6
/proc/30508/task/30522/stat : 30522 (java) S 30506 30506 27146 0 -1 1077944384 224 0 0 0 0 1 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397210848432 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
Current children cumulated CPU time: 75.47 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 237300 KiB

[startup+70.2008 s]
/proc/loadavg: 1.72 1.61 1.70 3/220 30524
/proc/meminfo: memFree=17267160/32770624 swapFree=67108860/67108860
[pid=30506] ppid=30503 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30506/stat : 30506 (xcsp3-exec) S 30503 30506 27146 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 222711402 115843072 363 33554432000 4194304 5098028 140722848211408 140722848209512 140629189051004 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12513280 140722848216122 140722848216324 140722848216324 140722848219082 0
/proc/30506/statm: 28282 363 305 221 0 87 0
[pid=30508] ppid=30506 vsize=14089320 memory=235848 CPUtime=75.66 cores=0,2,4,6
/proc/30508/stat : 30508 (java) S 30506 30506 27146 0 -1 1077944320 46486 0 0 0 7550 16 0 0 20 0 15 0 222711402 14427463680 58962 33554432000 4194304 4196468 140724508633072 140724508615616 140397745041143 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
/proc/30508/statm: 3522330 58962 3427 1 0 3483524 0
[pid=30508/tid=30509] ppid=30506 vsize=14089320 memory=14133333755955770 CPUtime=70.12 cores=0,2,4,6
/proc/30508/task/30509/stat : 30509 (java) R 30506 30506 27146 0 -1 4202560 10696 0 0 0 7008 4 0 0 20 0 15 0 222711403 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397749280328 140397390459546 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30510] ppid=30506 vsize=14089320 memory=1832 CPUtime=0.02 cores=0,2,4,6
/proc/30508/task/30510/stat : 30510 (java) S 30506 30506 27146 0 -1 1077944384 736 0 0 0 1 1 0 0 20 0 15 0 222711403 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397340629648 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30511] ppid=30506 vsize=14089320 memory=1920 CPUtime=0.01 cores=0,2,4,6
/proc/30508/task/30511/stat : 30511 (java) S 30506 30506 27146 0 -1 1077944384 1260 0 0 0 1 0 0 0 20 0 15 0 222711403 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397339576848 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30512] ppid=30506 vsize=14089320 memory=1192 CPUtime=0.02 cores=0,2,4,6
/proc/30508/task/30512/stat : 30512 (java) S 30506 30506 27146 0 -1 1077944384 648 0 0 0 1 1 0 0 20 0 15 0 222711403 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397338524048 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30513] ppid=30506 vsize=14089320 memory=1616 CPUtime=0.02 cores=0,2,4,6
/proc/30508/task/30513/stat : 30513 (java) S 30506 30506 27146 0 -1 1077944384 3152 0 0 0 1 1 0 0 20 0 15 0 222711403 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397337471248 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30514] ppid=30506 vsize=14089320 memory=1384 CPUtime=0.01 cores=0,2,4,6
/proc/30508/task/30514/stat : 30514 (java) S 30506 30506 27146 0 -1 1077944384 980 0 0 0 1 0 0 0 20 0 15 0 222711405 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397219269488 140397745052290 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30515] ppid=30506 vsize=14089320 memory=752 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30515/stat : 30515 (java) S 30506 30506 27146 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 222711405 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397218215520 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30516] ppid=30506 vsize=14089320 memory=7304 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30516/stat : 30516 (java) S 30506 30506 27146 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 222711405 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397217162624 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30517] ppid=30506 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30517/stat : 30517 (java) S 30506 30506 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397216110928 140397745059739 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30518] ppid=30506 vsize=14089320 memory=280911129161184 CPUtime=2.31 cores=0,2,4,6
/proc/30508/task/30518/stat : 30518 (java) S 30506 30506 27146 0 -1 1077944384 12821 0 0 0 229 2 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397215058288 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30519] ppid=30506 vsize=14089320 memory=140455564798208 CPUtime=2.35 cores=0,2,4,6
/proc/30508/task/30519/stat : 30519 (java) S 30506 30506 27146 0 -1 1077944384 8293 0 0 0 234 1 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397214005488 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30520] ppid=30506 vsize=14089320 memory=872 CPUtime=0.69 cores=0,2,4,6
/proc/30508/task/30520/stat : 30520 (java) S 30506 30506 27146 0 -1 1077944384 6271 0 0 0 68 1 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397212952688 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30521] ppid=30506 vsize=14089320 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/30508/task/30521/stat : 30521 (java) S 30506 30506 27146 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397211900128 140397745051349 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
[pid=30508/tid=30522] ppid=30506 vsize=14089320 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30508/task/30522/stat : 30522 (java) S 30506 30506 27146 0 -1 1077944384 224 0 0 0 0 1 0 0 20 0 15 0 222711408 14427463680 58962 33554432000 4194304 4196468 140724508633072 140397210848432 140397745052290 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39067648 140724508640390 140724508640561 140724508640561 140724508643279 0
Current children cumulated CPU time: 75.66 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 237300 KiB

Child status: 0
Real time (s): 70.2509
CPU time (s): 75.7256
CPU user time (s): 75.551
CPU system time (s): 0.174521
CPU usage (%): 107.793
Max. virtual memory (cumulated for all children) (KiB): 14206180
Max. memory (cumulated for all children) (KiB): 237300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 75.551
system time used= 0.174521
maximum resident set size= 237896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47478
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4068
involuntary context switches= 106


# summary of solver processes directly reported to runsolver:
#   pid: 30506
#   total CPU time (s): 75.7256
#   total CPU user time (s): 75.551
#   total CPU system time (s): 0.174521

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.453833 second user time and 0.697621 second system time

The end
Name	GraphColoring/ GraphColoring-4-fullins-4_c18.xml
MD5SUM	954cbc6df2411a2de12d490b8b2019f6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	7
Best CPU time to get the best result obtained on this benchmark	18.4833
Satisfiable
(Un)Satisfiability was proved
Number of variables	690
Number of constraints	6650
Number of domains	1
Minimum domain size	690
Maximum domain size	690
Distribution of domain sizes	[{"size":690,"count":690}]
Minimum variable degree	7
Maximum variable degree	120
Distribution of variable degrees	[{"degree":7,"count":4},{"degree":8,"count":18},{"degree":9,"count":14},{"degree":10,"count":56},{"degree":11,"count":18},{"degree":12,"count":78},{"degree":13,"count":10},{"degree":14,"count":40},{"degree":15,"count":40},{"degree":16,"count":160},{"degree":17,"count":6},{"degree":18,"count":24},{"degree":19,"count":6},{"degree":20,"count":24},{"degree":26,"count":6},{"degree":29,"count":6},{"degree":30,"count":24},{"degree":31,"count":24},{"degree":32,"count":96},{"degree":47,"count":6},{"degree":48,"count":24},{"degree":120,"count":6}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":6650}]
Number of extensional constraints	0
Number of intensional constraints	6650
Distribution of constraint types	[{"type":"intension","count":6650}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4306510

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
