2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	SAT	4.45957	1.22807
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 (7852 MiB free)
  memory of node 1: 16384 MiB (13451 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297826-1532709504/watcher-4297826-1532709504 -o /tmp/evaluation-result-4297826-1532709504/solver-4297826-1532709504 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node132-1532704456-1227 --watchdog 2580 HOME/xcsp3-exec -seed 288915291 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297826-1532709504.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
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=5753, runsolver pid=5750

[startup+0.10211 s]*
/proc/loadavg: 8.46 8.41 8.31 2/203 5774
/proc/meminfo: memFree=21797164/32770624 swapFree=67108860/67108860
[pid=5753] ppid=5750 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5753/stat : 5753 (xcsp3-exec) S 5750 5753 1200 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88513606 115843072 363 33554432000 4194304 5098028 140730497170864 140730497168968 140026325844604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10752000 140730497172534 140730497172736 140730497172736 140730497175498 0
/proc/5753/statm: 28282 363 306 221 0 87 0
[pid=5755] ppid=5753 vsize=26104152 memory=28888 CPUtime=0.12 cores=0-7
/proc/5755/stat : 5755 (java) S 5753 5753 1200 0 -1 1077944320 5666 0 0 0 11 1 0 0 20 0 20 0 88513606 26730651648 7222 33554432000 4194304 4196468 140736730955824 140736730938368 139983609585399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
/proc/5755/statm: 6526038 7222 2999 1 0 6488315 0
[pid=5755/tid=5756] ppid=5753 vsize=26104152 memory=4499546220337984412 CPUtime=0.09 cores=0-7
/proc/5755/task/5756/stat : 5756 (java) R 5753 5753 1200 0 -1 4202560 3668 0 0 0 8 1 0 0 20 0 20 0 88513606 26730651648 7287 33554432000 4194304 4196468 140736730955824 139983613818672 139983589310512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5757] ppid=5753 vsize=26104152 memory=732370289953831909 CPUtime=0 cores=0-7
/proc/5755/task/5757/stat : 5757 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26730651648 7287 33554432000 4194304 4196468 140736730955824 139983532165904 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5758] ppid=5753 vsize=26104152 memory=140151616378496 CPUtime=0 cores=0-7
/proc/5755/task/5758/stat : 5758 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26730651648 7287 33554432000 4194304 4196468 140736730955824 139983531113360 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5759] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5759/stat : 5759 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26730651648 7287 33554432000 4194304 4196468 140736730955824 139983530060816 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5760] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5760/stat : 5760 (java) S 5753 5753 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88513607 26730651648 7287 33554432000 4194304 4196468 140736730955824 139983529008272 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5761] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5761/stat : 5761 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26730651648 7287 33554432000 4194304 4196468 140736730955824 139983527954704 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5762] ppid=5753 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/5755/task/5762/stat : 5762 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26730651648 7287 33554432000 4194304 4196468 140736730955824 139983526902160 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5763] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5763/stat : 5763 (java) S 5753 5753 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88513607 26730651648 7287 33554432000 4194304 4196468 140736730955824 139983525849616 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5764] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5764/stat : 5764 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26730651648 7287 33554432000 4194304 4196468 140736730955824 139983524797072 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5765] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5765/stat : 5765 (java) S 5753 5753 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88513609 26730651648 7287 33554432000 4194304 4196468 140736730955824 139981926951408 139983609596546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5766] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5766/stat : 5766 (java) S 5753 5753 1200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88513609 26730651648 7287 33554432000 4194304 4196468 140736730955824 139981925897632 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5767] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5767/stat : 5767 (java) S 5753 5753 1200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88513609 26730651648 7287 33554432000 4194304 4196468 140736730955824 139981924845040 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5768] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5768/stat : 5768 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513612 26730651648 7287 33554432000 4194304 4196468 140736730955824 139981923793616 139983609603995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5769] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5769/stat : 5769 (java) S 5753 5753 1200 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 88513612 26730651648 7287 33554432000 4194304 4196468 140736730955824 139981922740208 139983609596546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5770] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5770/stat : 5770 (java) R 5753 5753 1200 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 88513612 26730651648 7287 33554432000 4194304 4196468 140736730955824 139981921687664 139983609596546 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5771] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5771/stat : 5771 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513612 26730651648 7287 33554432000 4194304 4196468 140736730955824 139981920635120 139983609596546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5772] ppid=5753 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/5755/task/5772/stat : 5772 (java) R 5753 5753 1200 0 -1 4202560 272 0 0 0 1 0 0 0 20 0 20 0 88513612 26730651648 7287 33554432000 4194304 4196468 140736730955824 139981919582576 139983601822526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5773] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5773/stat : 5773 (java) S 5753 5753 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88513612 26730651648 7287 33554432000 4194304 4196468 140736730955824 139981918530272 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5774] ppid=5753 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/5755/task/5774/stat : 5774 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513612 26730651648 7287 33554432000 4194304 4196468 140736730955824 139981917477808 139983609596546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 30340 KiB

[startup+0.210928 s]*
/proc/loadavg: 8.46 8.41 8.31 3/203 5774
/proc/meminfo: memFree=21785364/32770624 swapFree=67108860/67108860
[pid=5753] ppid=5750 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5753/stat : 5753 (xcsp3-exec) S 5750 5753 1200 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88513606 115843072 363 33554432000 4194304 5098028 140730497170864 140730497168968 140026325844604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10752000 140730497172534 140730497172736 140730497172736 140730497175498 0
/proc/5753/statm: 28282 363 306 221 0 87 0
[pid=5755] ppid=5753 vsize=26104152 memory=41920 CPUtime=0.34 cores=0-7
/proc/5755/stat : 5755 (java) S 5753 5753 1200 0 -1 1077944320 8545 0 0 0 31 3 0 0 20 0 20 0 88513606 26730651648 10480 33554432000 4194304 4196468 140736730955824 140736730938368 139983609585399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
/proc/5755/statm: 6526038 10480 3213 1 0 6488315 0
[pid=5755/tid=5756] ppid=5753 vsize=26104152 memory=0 CPUtime=0.19 cores=0-7
/proc/5755/task/5756/stat : 5756 (java) R 5753 5753 1200 0 -1 4202560 5608 0 0 0 18 1 0 0 20 0 20 0 88513606 26730651648 10480 33554432000 4194304 4196468 140736730955824 139983613819936 139983593665886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5757] ppid=5753 vsize=26104152 memory=732370289953831909 CPUtime=0 cores=0-7
/proc/5755/task/5757/stat : 5757 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26730651648 10480 33554432000 4194304 4196468 140736730955824 139983532165904 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5758] ppid=5753 vsize=26104152 memory=140151616378496 CPUtime=0 cores=0-7
/proc/5755/task/5758/stat : 5758 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26730651648 10480 33554432000 4194304 4196468 140736730955824 139983531113360 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5759] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5759/stat : 5759 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26730651648 10480 33554432000 4194304 4196468 140736730955824 139983530060816 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5760] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5760/stat : 5760 (java) S 5753 5753 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88513607 26730651648 10480 33554432000 4194304 4196468 140736730955824 139983529008272 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5761] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5761/stat : 5761 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26730651648 10480 33554432000 4194304 4196468 140736730955824 139983527954704 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5762] ppid=5753 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/5755/task/5762/stat : 5762 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26730651648 10480 33554432000 4194304 4196468 140736730955824 139983526902160 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5763] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5763/stat : 5763 (java) S 5753 5753 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88513607 26730651648 10480 33554432000 4194304 4196468 140736730955824 139983525849616 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5764] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5764/stat : 5764 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26730651648 10480 33554432000 4194304 4196468 140736730955824 139983524797072 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5765] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5765/stat : 5765 (java) S 5753 5753 1200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88513609 26730651648 10480 33554432000 4194304 4196468 140736730955824 139981926951408 139983609596546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5766] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5766/stat : 5766 (java) S 5753 5753 1200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88513609 26730651648 10480 33554432000 4194304 4196468 140736730955824 139981925897632 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5767] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5767/stat : 5767 (java) S 5753 5753 1200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88513609 26730651648 10480 33554432000 4194304 4196468 140736730955824 139981924845040 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5768] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5768/stat : 5768 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513612 26730651648 10480 33554432000 4194304 4196468 140736730955824 139981923793616 139983609603995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5769] ppid=5753 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/5755/task/5769/stat : 5769 (java) S 5753 5753 1200 0 -1 1077944384 327 0 0 0 1 0 0 0 20 0 20 0 88513612 26730651648 10480 33554432000 4194304 4196468 140736730955824 139981922740208 139983609596546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5770] ppid=5753 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/5755/task/5770/stat : 5770 (java) S 5753 5753 1200 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 20 0 88513612 26730651648 10480 33554432000 4194304 4196468 140736730955824 139981921687664 139983609596546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5771] ppid=5753 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/5755/task/5771/stat : 5771 (java) S 5753 5753 1200 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 20 0 88513612 26730651648 10480 33554432000 4194304 4196468 140736730955824 139981920635120 139983609596546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5772] ppid=5753 vsize=26104152 memory=0 CPUtime=0.08 cores=0-7
/proc/5755/task/5772/stat : 5772 (java) S 5753 5753 1200 0 -1 1077944384 736 0 0 0 8 0 0 0 20 0 20 0 88513612 26730651648 10480 33554432000 4194304 4196468 140736730955824 139981919582576 139983609596546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5773] ppid=5753 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5773/stat : 5773 (java) S 5753 5753 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88513612 26730651648 10480 33554432000 4194304 4196468 140736730955824 139981918530272 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5774] ppid=5753 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/5755/task/5774/stat : 5774 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513612 26730651648 10480 33554432000 4194304 4196468 140736730955824 139981917477808 139983609596546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 43372 KiB

[startup+0.310803 s]*
/proc/loadavg: 8.46 8.41 8.31 4/203 5774
/proc/meminfo: memFree=21778912/32770624 swapFree=67108860/67108860
[pid=5753] ppid=5750 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5753/stat : 5753 (xcsp3-exec) S 5750 5753 1200 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88513606 115843072 363 33554432000 4194304 5098028 140730497170864 140730497168968 140026325844604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10752000 140730497172534 140730497172736 140730497172736 140730497175498 0
/proc/5753/statm: 28282 363 306 221 0 87 0
[pid=5755] ppid=5753 vsize=26108408 memory=48984 CPUtime=0.53 cores=0-7
/proc/5755/stat : 5755 (java) S 5753 5753 1200 0 -1 1077944320 9460 0 0 0 49 4 0 0 20 0 20 0 88513606 26735009792 12246 33554432000 4194304 4196468 140736730955824 140736730938368 139983609585399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
/proc/5755/statm: 6527102 12246 3251 1 0 6488315 0
[pid=5755/tid=5756] ppid=5753 vsize=26108408 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5755/task/5756/stat : 5756 (java) R 5753 5753 1200 0 -1 4202560 6329 0 0 0 27 2 0 0 20 0 20 0 88513606 26735009792 12246 33554432000 4194304 4196468 140736730955824 139983613819792 139983593665886 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5757] ppid=5753 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5757/stat : 5757 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26735009792 12246 33554432000 4194304 4196468 140736730955824 139983532165904 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5758] ppid=5753 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5758/stat : 5758 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26735009792 12246 33554432000 4194304 4196468 140736730955824 139983531113360 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5759] ppid=5753 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5759/stat : 5759 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26735009792 12246 33554432000 4194304 4196468 140736730955824 139983530060816 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5760] ppid=5753 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5760/stat : 5760 (java) S 5753 5753 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88513607 26735009792 12246 33554432000 4194304 4196468 140736730955824 139983529008272 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5761] ppid=5753 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/5755/task/5761/stat : 5761 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26735009792 12246 33554432000 4194304 4196468 140736730955824 139983527954704 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5762] ppid=5753 vsize=26108408 memory=140151493850031 CPUtime=0 cores=0-7
/proc/5755/task/5762/stat : 5762 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26735009792 12246 33554432000 4194304 4196468 140736730955824 139983526902160 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5763] ppid=5753 vsize=26108408 memory=140151493852336 CPUtime=0 cores=0-7
/proc/5755/task/5763/stat : 5763 (java) S 5753 5753 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88513607 26735009792 12246 33554432000 4194304 4196468 140736730955824 139983525849616 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5764] ppid=5753 vsize=26108408 memory=140151493854640 CPUtime=0 cores=0-7
/proc/5755/task/5764/stat : 5764 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26735009792 12246 33554432000 4194304 4196468 140736730955824 139983524797072 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5765] ppid=5753 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5765/stat : 5765 (java) S 5753 5753 1200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88513609 26735009792 12246 33554432000 4194304 4196468 140736730955824 139981926951408 139983609596546 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5766] ppid=5753 vsize=26108408 memory=280302987716240 CPUtime=0 cores=0-7
/proc/5755/task/5766/stat : 5766 (java) S 5753 5753 1200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88513609 26735009792 12246 33554432000 4194304 4196468 140736730955824 139981925897632 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5767] ppid=5753 vsize=26108408 memory=280302987723152 CPUtime=0 cores=0-7
/proc/5755/task/5767/stat : 5767 (java) S 5753 5753 1200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88513609 26735009792 12246 33554432000 4194304 4196468 140736730955824 139981924845040 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5768] ppid=5753 vsize=26108408 memory=280302987664432 CPUtime=0 cores=0-7
/proc/5755/task/5768/stat : 5768 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513612 26735009792 12246 33554432000 4194304 4196468 140736730955824 139981923793616 139983609603995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5769] ppid=5753 vsize=26108408 memory=280302987736976 CPUtime=0.03 cores=0-7
/proc/5755/task/5769/stat : 5769 (java) S 5753 5753 1200 0 -1 1077944384 436 0 0 0 3 0 0 0 20 0 20 0 88513612 26735009792 12246 33554432000 4194304 4196468 140736730955824 139981922740208 139983609596546 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5770] ppid=5753 vsize=26108408 memory=280302987743888 CPUtime=0.02 cores=0-7
/proc/5755/task/5770/stat : 5770 (java) S 5753 5753 1200 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 20 0 88513612 26735009792 12246 33554432000 4194304 4196468 140736730955824 139981921687664 139983609596546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5771] ppid=5753 vsize=26108408 memory=280302987741584 CPUtime=0.02 cores=0-7
/proc/5755/task/5771/stat : 5771 (java) S 5753 5753 1200 0 -1 1077944384 372 0 0 0 2 0 0 0 20 0 20 0 88513612 26735009792 12246 33554432000 4194304 4196468 140736730955824 139981920635120 139983609596546 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5772] ppid=5753 vsize=26108408 memory=280302987757744 CPUtime=0.12 cores=0-7
/proc/5755/task/5772/stat : 5772 (java) S 5753 5753 1200 0 -1 1077944384 819 0 0 0 12 0 0 0 20 0 20 0 88513612 26735009792 12246 33554432000 4194304 4196468 140736730955824 139981919582576 139983609596546 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5773] ppid=5753 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5773/stat : 5773 (java) S 5753 5753 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88513612 26735009792 12246 33554432000 4194304 4196468 140736730955824 139981918530272 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5774] ppid=5753 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/5755/task/5774/stat : 5774 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513612 26735009792 12246 33554432000 4194304 4196468 140736730955824 139981917477808 139983609596546 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 50436 KiB

[startup+0.701035 s]
/proc/loadavg: 8.46 8.41 8.31 2/203 5774
/proc/meminfo: memFree=21762272/32770624 swapFree=67108860/67108860
[pid=5753] ppid=5750 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5753/stat : 5753 (xcsp3-exec) S 5750 5753 1200 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88513606 115843072 363 33554432000 4194304 5098028 140730497170864 140730497168968 140026325844604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10752000 140730497172534 140730497172736 140730497172736 140730497175498 0
/proc/5753/statm: 28282 363 306 221 0 87 0
[pid=5755] ppid=5753 vsize=26110532 memory=120144 CPUtime=1.87 cores=0-7
/proc/5755/stat : 5755 (java) S 5753 5753 1200 0 -1 1077944320 15135 0 0 0 179 8 0 0 20 0 20 0 88513606 26737184768 29524 33554432000 4194304 4196468 140736730955824 140736730938368 139983609585399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
/proc/5755/statm: 6527633 29524 3363 1 0 6488827 0
[pid=5755/tid=5756] ppid=5753 vsize=26110532 memory=280302988052672 CPUtime=0.66 cores=0-7
/proc/5755/task/5756/stat : 5756 (java) R 5753 5753 1200 0 -1 4202560 7094 0 0 0 63 3 0 0 20 0 20 0 88513606 26737184768 30036 33554432000 4194304 4196468 140736730955824 139983613823664 139983204081257 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5757] ppid=5753 vsize=26110532 memory=1948 CPUtime=0 cores=0-7
/proc/5755/task/5757/stat : 5757 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26737184768 30036 33554432000 4194304 4196468 140736730955824 139983532165904 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5758] ppid=5753 vsize=26110532 memory=1224 CPUtime=0 cores=0-7
/proc/5755/task/5758/stat : 5758 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26737184768 30036 33554432000 4194304 4196468 140736730955824 139983531113360 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5759] ppid=5753 vsize=26110532 memory=1716 CPUtime=0 cores=0-7
/proc/5755/task/5759/stat : 5759 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26737184768 30036 33554432000 4194304 4196468 140736730955824 139983530060816 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5760] ppid=5753 vsize=26110532 memory=1424 CPUtime=0 cores=0-7
/proc/5755/task/5760/stat : 5760 (java) S 5753 5753 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88513607 26737184768 30036 33554432000 4194304 4196468 140736730955824 139983529008272 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5761] ppid=5753 vsize=26110532 memory=796 CPUtime=0 cores=0-7
/proc/5755/task/5761/stat : 5761 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26737184768 30036 33554432000 4194304 4196468 140736730955824 139983527954704 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5762] ppid=5753 vsize=26110532 memory=8448 CPUtime=0 cores=0-7
/proc/5755/task/5762/stat : 5762 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26737184768 30036 33554432000 4194304 4196468 140736730955824 139983526902160 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5763] ppid=5753 vsize=26110532 memory=5776 CPUtime=0 cores=0-7
/proc/5755/task/5763/stat : 5763 (java) S 5753 5753 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88513607 26737184768 30036 33554432000 4194304 4196468 140736730955824 139983525849616 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5764] ppid=5753 vsize=26110532 memory=1200 CPUtime=0 cores=0-7
/proc/5755/task/5764/stat : 5764 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26737184768 30036 33554432000 4194304 4196468 140736730955824 139983524797072 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5765] ppid=5753 vsize=26110532 memory=12136 CPUtime=0 cores=0-7
/proc/5755/task/5765/stat : 5765 (java) S 5753 5753 1200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88513609 26737184768 30036 33554432000 4194304 4196468 140736730955824 139981926951408 139983609596546 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5766] ppid=5753 vsize=26110532 memory=1008 CPUtime=0 cores=0-7
/proc/5755/task/5766/stat : 5766 (java) S 5753 5753 1200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88513609 26737184768 30036 33554432000 4194304 4196468 140736730955824 139981925897632 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5767] ppid=5753 vsize=26110532 memory=4620 CPUtime=0 cores=0-7
/proc/5755/task/5767/stat : 5767 (java) S 5753 5753 1200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88513609 26737184768 30036 33554432000 4194304 4196468 140736730955824 139981924845040 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5768] ppid=5753 vsize=26110532 memory=15872 CPUtime=0 cores=0-7
/proc/5755/task/5768/stat : 5768 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513612 26737184768 30036 33554432000 4194304 4196468 140736730955824 139981923793616 139983609603995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5769] ppid=5753 vsize=26110532 memory=15148 CPUtime=0.24 cores=0-7
/proc/5755/task/5769/stat : 5769 (java) R 5753 5753 1200 0 -1 4202560 1849 0 0 0 24 0 0 0 20 0 20 0 88513612 26737184768 30036 33554432000 4194304 4196468 140736730955824 139981922726088 139983587180417 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5770] ppid=5753 vsize=26110532 memory=18276 CPUtime=0.26 cores=0-7
/proc/5755/task/5770/stat : 5770 (java) R 5753 5753 1200 0 -1 4202560 1268 0 0 0 25 1 0 0 20 0 20 0 88513612 26737184768 30036 33554432000 4194304 4196468 140736730955824 139981921678496 139983591106251 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5771] ppid=5753 vsize=26110532 memory=4048 CPUtime=0.26 cores=0-7
/proc/5755/task/5771/stat : 5771 (java) R 5753 5753 1200 0 -1 4202560 1584 0 0 0 26 0 0 0 20 0 20 0 88513612 26737184768 30036 33554432000 4194304 4196468 140736730955824 139981920621624 139983589077538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5772] ppid=5753 vsize=26110532 memory=1792 CPUtime=0.39 cores=0-7
/proc/5755/task/5772/stat : 5772 (java) S 5753 5753 1200 0 -1 1077944384 2030 0 0 0 38 1 0 0 20 0 20 0 88513612 26737184768 30036 33554432000 4194304 4196468 140736730955824 139981919582576 139983609596546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5773] ppid=5753 vsize=26110532 memory=1236 CPUtime=0 cores=0-7
/proc/5755/task/5773/stat : 5773 (java) S 5753 5753 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88513612 26737184768 30036 33554432000 4194304 4196468 140736730955824 139981918530272 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5774] ppid=5753 vsize=26110532 memory=648 CPUtime=0 cores=0-7
/proc/5755/task/5774/stat : 5774 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513612 26737184768 30036 33554432000 4194304 4196468 140736730955824 139981917477808 139983609596546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
Current children cumulated CPU time: 1.87 s
Current children cumulated vsize: 26223660 KiB
Current children cumulated memory: 121596 KiB

[startup+1.22802 s]
# the end of solver process 5753 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=4.32117 s, system=0.138403 s

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

[startup+0.801225 s]
/proc/loadavg: 8.46 8.41 8.31 2/203 5774
/proc/meminfo: memFree=21762272/32770624 swapFree=67108860/67108860
[pid=5753] ppid=5750 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5753/stat : 5753 (xcsp3-exec) S 5750 5753 1200 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88513606 115843072 363 33554432000 4194304 5098028 140730497170864 140730497168968 140026325844604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10752000 140730497172534 140730497172736 140730497172736 140730497175498 0
/proc/5753/statm: 28282 363 306 221 0 87 0
[pid=5755] ppid=5753 vsize=26110532 memory=171796 CPUtime=2.29 cores=0-7
/proc/5755/stat : 5755 (java) S 5753 5753 1200 0 -1 1077944320 17755 0 0 0 220 9 0 0 20 0 20 0 88513606 26737184768 42949 33554432000 4194304 4196468 140736730955824 140736730938368 139983609585399 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
/proc/5755/statm: 6527633 42949 3365 1 0 6488827 0
[pid=5755/tid=5756] ppid=5753 vsize=26110532 memory=8112282956445269571 CPUtime=0.77 cores=0-7
/proc/5755/task/5756/stat : 5756 (java) R 5753 5753 1200 0 -1 4202560 7114 0 0 0 73 4 0 0 20 0 20 0 88513606 26737184768 42949 33554432000 4194304 4196468 140736730955824 139983613823120 139983205778425 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5757] ppid=5753 vsize=26110532 memory=912 CPUtime=0 cores=0-7
/proc/5755/task/5757/stat : 5757 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26737184768 42949 33554432000 4194304 4196468 140736730955824 139983532165904 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5758] ppid=5753 vsize=26110532 memory=4212 CPUtime=0 cores=0-7
/proc/5755/task/5758/stat : 5758 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26737184768 42949 33554432000 4194304 4196468 140736730955824 139983531113360 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5759] ppid=5753 vsize=26110532 memory=956 CPUtime=0 cores=0-7
/proc/5755/task/5759/stat : 5759 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26737184768 42949 33554432000 4194304 4196468 140736730955824 139983530060816 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5760] ppid=5753 vsize=26110532 memory=2340 CPUtime=0 cores=0-7
/proc/5755/task/5760/stat : 5760 (java) S 5753 5753 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88513607 26737184768 42949 33554432000 4194304 4196468 140736730955824 139983529008272 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5761] ppid=5753 vsize=26110532 memory=1584 CPUtime=0 cores=0-7
/proc/5755/task/5761/stat : 5761 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26737184768 42949 33554432000 4194304 4196468 140736730955824 139983527954704 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5762] ppid=5753 vsize=26110532 memory=928 CPUtime=0 cores=0-7
/proc/5755/task/5762/stat : 5762 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26737184768 42949 33554432000 4194304 4196468 140736730955824 139983526902160 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5763] ppid=5753 vsize=26110532 memory=2236 CPUtime=0 cores=0-7
/proc/5755/task/5763/stat : 5763 (java) S 5753 5753 1200 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 88513607 26737184768 42949 33554432000 4194304 4196468 140736730955824 139983525849616 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5764] ppid=5753 vsize=26110532 memory=4128 CPUtime=0 cores=0-7
/proc/5755/task/5764/stat : 5764 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513607 26737184768 42949 33554432000 4194304 4196468 140736730955824 139983524797072 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5765] ppid=5753 vsize=26110532 memory=2196 CPUtime=0 cores=0-7
/proc/5755/task/5765/stat : 5765 (java) S 5753 5753 1200 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 88513609 26737184768 42949 33554432000 4194304 4196468 140736730955824 139981926951408 139983609596546 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5766] ppid=5753 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/5755/task/5766/stat : 5766 (java) S 5753 5753 1200 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 88513609 26737184768 42949 33554432000 4194304 4196468 140736730955824 139981925897632 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5767] ppid=5753 vsize=26110532 memory=-7749696028082845524 CPUtime=0 cores=0-7
/proc/5755/task/5767/stat : 5767 (java) S 5753 5753 1200 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 88513609 26737184768 42949 33554432000 4194304 4196468 140736730955824 139981924845040 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5768] ppid=5753 vsize=26110532 memory=6933690279252828305 CPUtime=0 cores=0-7
/proc/5755/task/5768/stat : 5768 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513612 26737184768 42949 33554432000 4194304 4196468 140736730955824 139981923793616 139983609603995 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5769] ppid=5753 vsize=26110532 memory=-7384994778349280928 CPUtime=0.35 cores=0-7
/proc/5755/task/5769/stat : 5769 (java) R 5753 5753 1200 0 -1 4202560 2471 0 0 0 34 1 0 0 20 0 20 0 88513612 26737184768 42949 33554432000 4194304 4196468 140736730955824 139981922726232 139983591129516 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5770] ppid=5753 vsize=26110532 memory=0 CPUtime=0.36 cores=0-7
/proc/5755/task/5770/stat : 5770 (java) R 5753 5753 1200 0 -1 4202560 2207 0 0 0 35 1 0 0 20 0 20 0 88513612 26737184768 42949 33554432000 4194304 4196468 140736730955824 139981921668680 139983593071349 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5771] ppid=5753 vsize=26110532 memory=0 CPUtime=0.36 cores=0-7
/proc/5755/task/5771/stat : 5771 (java) R 5753 5753 1200 0 -1 4202560 2460 0 0 0 36 0 0 0 20 0 20 0 88513612 26737184768 42949 33554432000 4194304 4196468 140736730955824 139981920621144 139983591110300 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5772] ppid=5753 vsize=26110532 memory=0 CPUtime=0.41 cores=0-7
/proc/5755/task/5772/stat : 5772 (java) S 5753 5753 1200 0 -1 1077944384 2196 0 0 0 40 1 0 0 20 0 20 0 88513612 26737184768 42949 33554432000 4194304 4196468 140736730955824 139981919582576 139983609596546 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5773] ppid=5753 vsize=26110532 memory=55 CPUtime=0 cores=0-7
/proc/5755/task/5773/stat : 5773 (java) S 5753 5753 1200 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 88513612 26737184768 42949 33554432000 4194304 4196468 140736730955824 139981918530272 139983609595605 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
[pid=5755/tid=5774] ppid=5753 vsize=26110532 memory=3303 CPUtime=0 cores=0-7
/proc/5755/task/5774/stat : 5774 (java) S 5753 5753 1200 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 88513612 26737184768 42949 33554432000 4194304 4196468 140736730955824 139981917477808 139983609596546 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31875072 140736730956929 140736730957101 140736730957101 140736730959823 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 26223660 KiB
Current children cumulated memory: 173248 KiB

[startup+1.201 s]
/proc/loadavg: 8.74 8.47 8.33 12/211 5782
/proc/meminfo: memFree=21612192/32770624 swapFree=67108860/67108860
[pid=5753] ppid=5750 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/5753/stat : 5753 (xcsp3-exec) S 5750 5753 1200 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 88513606 115843072 363 33554432000 4194304 5098028 140730497170864 140730497168968 140026325844604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10752000 140730497172534 140730497172736 140730497172736 140730497175498 0
/proc/5753/statm: 28282 363 306 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 0
Real time (s): 1.22807
CPU time (s): 4.45957
CPU user time (s): 4.32117
CPU system time (s): 0.138403
CPU usage (%): 363.136
Max. virtual memory (cumulated for all children) (KiB): 26756172
Max. memory (cumulated for all children) (KiB): 217908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.32117
system time used= 0.138403
maximum resident set size= 217172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20091
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2695
involuntary context switches= 64


# summary of solver processes directly reported to runsolver:
#   pid: 5753
#   total CPU time (s): 4.45957
#   total CPU user time (s): 4.32117
#   total CPU system time (s): 0.138403

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030023 second user time and 0.061082 second system time

The end
Name	PseudoBoolean-dec/ Pb-robin08_c18.xml
MD5SUM	1bc3f3e5ba546c0eba55cc781441057a
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	4.45957
Satisfiable
(Un)Satisfiability was proved
Number of variables	784
Number of constraints	256
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":784}]
Minimum variable degree	10
Maximum variable degree	10
Distribution of variable degrees	[{"degree":10,"count":784}]
Minimum constraint arity	28
Maximum constraint arity	49
Distribution of constraint arities	[{"arity":28,"count":224},{"arity":49,"count":32}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":256}]
Optimization problem	NO
Type of objective
Trace number 4297826

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
