2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
OscaR - Conflict Ordering 2018-08-14	SAT	2.87213	1.47591
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 (14032 MiB free)
  memory of node 1: 16384 MiB (9012 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307747-1534260540/watcher-4307747-1534260540 -o /tmp/evaluation-result-4307747-1534260540/solver-4307747-1534260540 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1534258054-7027 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order.jar --randomseed 1597722605 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307747-1534260540.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
solver pid=7258, runsolver pid=7255
Current StackSize limit: 8192 KiB


[startup+0.103058 s]*
/proc/loadavg: 1.50 1.48 1.32 3/219 7273
/proc/meminfo: memFree=23581532/32770624 swapFree=67108852/67108860
[pid=7258] ppid=7255 vsize=14082736 memory=30804 CPUtime=0.13 cores=0,2,4,6
/proc/7258/stat : 7258 (java) S 7255 7258 6996 0 -1 1077944320 6566 0 0 0 12 1 0 0 20 0 15 0 243617204 14420721664 7701 33554432000 4194304 4196468 140724333605600 140724333588144 140596509896439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
/proc/7258/statm: 3520684 7701 3166 1 0 3482761 0
[pid=7258/tid=7260] ppid=7255 vsize=14082736 memory=-8682195135642825920 CPUtime=0.09 cores=0,2,4,6
/proc/7258/task/7260/stat : 7260 (java) R 7255 7258 6996 0 -1 4202560 4618 0 0 0 9 0 0 0 20 0 15 0 243617205 14420721664 7701 33554432000 4194304 4196468 140724333605600 140596514136192 140596493083265 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7261] ppid=7255 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7261/stat : 7261 (java) S 7255 7258 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243617205 14420721664 7701 33554432000 4194304 4196468 140724333605600 140596439985040 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7262] ppid=7255 vsize=14082736 memory=140080643049088 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7262/stat : 7262 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617205 14420721664 7701 33554432000 4194304 4196468 140724333605600 140596438932240 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7263] ppid=7255 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7263/stat : 7263 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617205 14420721664 7701 33554432000 4194304 4196468 140724333605600 140596437879952 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7264] ppid=7255 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7264/stat : 7264 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617206 14420721664 7701 33554432000 4194304 4196468 140724333605600 140596436827152 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7265] ppid=7255 vsize=14082736 memory=140080643049088 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (java) S 7255 7258 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243617207 14420721664 7701 33554432000 4194304 4196468 140724333605600 140595983661168 140596509907586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7266] ppid=7255 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (java) S 7255 7258 6996 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243617207 14420721664 7701 33554432000 4194304 4196468 140724333605600 140595982607136 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7267] ppid=7255 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (java) S 7255 7258 6996 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243617208 14420721664 7701 33554432000 4194304 4196468 140724333605600 140595981554800 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7268] ppid=7255 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (java) S 7255 7258 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617210 14420721664 7701 33554432000 4194304 4196468 140724333605600 140595980503120 140596509915035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7269] ppid=7255 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7269/stat : 7269 (java) S 7255 7258 6996 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 243617210 14420721664 7701 33554432000 4194304 4196468 140724333605600 140595979450992 140596509907586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7270] ppid=7255 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7270/stat : 7270 (java) S 7255 7258 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617210 14420721664 7701 33554432000 4194304 4196468 140724333605600 140595978398192 140596509907586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7271] ppid=7255 vsize=14082736 memory=140080643049088 CPUtime=0.01 cores=0,2,4,6
/proc/7258/task/7271/stat : 7271 (java) S 7255 7258 6996 0 -1 1077944384 272 0 0 0 1 0 0 0 20 0 15 0 243617210 14420721664 7701 33554432000 4194304 4196468 140724333605600 140595977345904 140596509907586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7272] ppid=7255 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7272/stat : 7272 (java) S 7255 7258 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617210 14420721664 7701 33554432000 4194304 4196468 140724333605600 140595976293344 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7273] ppid=7255 vsize=14082736 memory=140080643049088 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7273/stat : 7273 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617210 14420721664 7701 33554432000 4194304 4196468 140724333605600 140595975240112 140596509907586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30804 KiB

[startup+0.210595 s]*
/proc/loadavg: 1.50 1.48 1.32 3/203 7275
/proc/meminfo: memFree=24026944/32770624 swapFree=67108852/67108860
[pid=7258] ppid=7255 vsize=14082736 memory=46616 CPUtime=0.3 cores=0,2,4,6
/proc/7258/stat : 7258 (java) S 7255 7258 6996 0 -1 1077944320 10290 0 0 0 28 2 0 0 20 0 15 0 243617204 14420721664 11654 33554432000 4194304 4196468 140724333605600 140724333588144 140596509896439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
/proc/7258/statm: 3520684 11654 3319 1 0 3482761 0
[pid=7258/tid=7260] ppid=7255 vsize=14082736 memory=7311146985107750967 CPUtime=0.2 cores=0,2,4,6
/proc/7258/task/7260/stat : 7260 (java) R 7255 7258 6996 0 -1 4202560 8055 0 0 0 19 1 0 0 20 0 15 0 243617205 14420721664 11654 33554432000 4194304 4196468 140724333605600 140596514121408 140596496028000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7261] ppid=7255 vsize=14082736 memory=8964 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7261/stat : 7261 (java) S 7255 7258 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243617205 14420721664 11654 33554432000 4194304 4196468 140724333605600 140596439985040 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7262] ppid=7255 vsize=14082736 memory=140080644348040 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7262/stat : 7262 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617205 14420721664 11654 33554432000 4194304 4196468 140724333605600 140596438932240 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7263] ppid=7255 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7263/stat : 7263 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617205 14420721664 11654 33554432000 4194304 4196468 140724333605600 140596437879952 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7264] ppid=7255 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7264/stat : 7264 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617206 14420721664 11654 33554432000 4194304 4196468 140724333605600 140596436827152 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7265] ppid=7255 vsize=14082736 memory=140080643049088 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (java) S 7255 7258 6996 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243617207 14420721664 11654 33554432000 4194304 4196468 140724333605600 140595983661168 140596509907586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7266] ppid=7255 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (java) S 7255 7258 6996 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243617207 14420721664 11654 33554432000 4194304 4196468 140724333605600 140595982607136 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7267] ppid=7255 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (java) S 7255 7258 6996 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243617208 14420721664 11654 33554432000 4194304 4196468 140724333605600 140595981554800 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7268] ppid=7255 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (java) S 7255 7258 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617210 14420721664 11654 33554432000 4194304 4196468 140724333605600 140595980503120 140596509915035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7269] ppid=7255 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7258/task/7269/stat : 7269 (java) R 7255 7258 6996 0 -1 4202560 398 0 0 0 2 0 0 0 20 0 15 0 243617210 14420721664 11654 33554432000 4194304 4196468 140724333605600 140595979431328 140596502133566 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7270] ppid=7255 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7270/stat : 7270 (java) R 7255 7258 6996 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 243617210 14420721664 11654 33554432000 4194304 4196468 140724333605600 140595978398192 140596509907586 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7271] ppid=7255 vsize=14082736 memory=140080643049088 CPUtime=0.05 cores=0,2,4,6
/proc/7258/task/7271/stat : 7271 (java) R 7255 7258 6996 0 -1 4202560 328 0 0 0 5 0 0 0 20 0 15 0 243617210 14420721664 11654 33554432000 4194304 4196468 140724333605600 140595977345904 140596488914842 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7272] ppid=7255 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7272/stat : 7272 (java) S 7255 7258 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617210 14420721664 11654 33554432000 4194304 4196468 140724333605600 140595976293344 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7273] ppid=7255 vsize=14082736 memory=140080643049088 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7273/stat : 7273 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617210 14420721664 11654 33554432000 4194304 4196468 140724333605600 140595975240112 140596509907586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46616 KiB

[startup+0.310568 s]*
/proc/loadavg: 1.50 1.48 1.32 3/210 7296
/proc/meminfo: memFree=24016740/32770624 swapFree=67108852/67108860
[pid=7258] ppid=7255 vsize=14082736 memory=50440 CPUtime=0.45 cores=0,2,4,6
/proc/7258/stat : 7258 (java) S 7255 7258 6996 0 -1 1077944320 10742 0 0 0 42 3 0 0 20 0 15 0 243617204 14420721664 12610 33554432000 4194304 4196468 140724333605600 140724333588144 140596509896439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
/proc/7258/statm: 3520684 12610 3389 1 0 3482761 0
[pid=7258/tid=7260] ppid=7255 vsize=14082736 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/7258/task/7260/stat : 7260 (java) R 7255 7258 6996 0 -1 4202560 8407 0 0 0 28 2 0 0 20 0 15 0 243617205 14420721664 12610 33554432000 4194304 4196468 140724333605600 140596514104272 140596502133566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7261] ppid=7255 vsize=14082736 memory=314970744692146199 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7261/stat : 7261 (java) S 7255 7258 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243617205 14420721664 12610 33554432000 4194304 4196468 140724333605600 140596439985040 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7262] ppid=7255 vsize=14082736 memory=15965558583068312 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7262/stat : 7262 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617205 14420721664 12610 33554432000 4194304 4196468 140724333605600 140596438932240 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7263] ppid=7255 vsize=14082736 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7263/stat : 7263 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617205 14420721664 12610 33554432000 4194304 4196468 140724333605600 140596437879952 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7264] ppid=7255 vsize=14082736 memory=3184097920075968559 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7264/stat : 7264 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617206 14420721664 12610 33554432000 4194304 4196468 140724333605600 140596436827152 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7265] ppid=7255 vsize=14082736 memory=140080643049098 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (java) S 7255 7258 6996 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243617207 14420721664 12610 33554432000 4194304 4196468 140724333605600 140595983661168 140596509907586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7266] ppid=7255 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (java) S 7255 7258 6996 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243617207 14420721664 12610 33554432000 4194304 4196468 140724333605600 140595982607136 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7267] ppid=7255 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (java) S 7255 7258 6996 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243617208 14420721664 12610 33554432000 4194304 4196468 140724333605600 140595981554800 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7268] ppid=7255 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (java) S 7255 7258 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617210 14420721664 12610 33554432000 4194304 4196468 140724333605600 140595980503120 140596509915035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7269] ppid=7255 vsize=14082736 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/7258/task/7269/stat : 7269 (java) S 7255 7258 6996 0 -1 1077944384 460 0 0 0 4 0 0 0 20 0 15 0 243617210 14420721664 12610 33554432000 4194304 4196468 140724333605600 140595979450992 140596509907586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7270] ppid=7255 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/7258/task/7270/stat : 7270 (java) S 7255 7258 6996 0 -1 1077944384 153 0 0 0 1 0 0 0 20 0 15 0 243617210 14420721664 12610 33554432000 4194304 4196468 140724333605600 140595978398192 140596509907586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7271] ppid=7255 vsize=14082736 memory=140080643049088 CPUtime=0.08 cores=0,2,4,6
/proc/7258/task/7271/stat : 7271 (java) S 7255 7258 6996 0 -1 1077944384 352 0 0 0 8 0 0 0 20 0 15 0 243617210 14420721664 12610 33554432000 4194304 4196468 140724333605600 140595977345904 140596509907586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7272] ppid=7255 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7272/stat : 7272 (java) S 7255 7258 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617210 14420721664 12610 33554432000 4194304 4196468 140724333605600 140595976293344 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7273] ppid=7255 vsize=14082736 memory=140080643049088 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7273/stat : 7273 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617210 14420721664 12610 33554432000 4194304 4196468 140724333605600 140595975240112 140596509907586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50440 KiB

[startup+0.70078 s]
/proc/loadavg: 1.50 1.48 1.32 2/202 7304
/proc/meminfo: memFree=24007228/32770624 swapFree=67108852/67108860
[pid=7258] ppid=7255 vsize=14084804 memory=88716 CPUtime=0.99 cores=0,2,4,6
/proc/7258/stat : 7258 (java) S 7255 7258 6996 0 -1 1077944320 17557 0 0 0 95 4 0 0 20 0 15 0 243617204 14422839296 22179 33554432000 4194304 4196468 140724333605600 140724333588144 140596509896439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
/proc/7258/statm: 3521201 22179 3503 1 0 3483273 0
[pid=7258/tid=7260] ppid=7255 vsize=14084804 memory=7666344152143194977 CPUtime=0.68 cores=0,2,4,6
/proc/7258/task/7260/stat : 7260 (java) R 7255 7258 6996 0 -1 4202560 14809 0 0 0 65 3 0 0 20 0 15 0 243617205 14422839296 22179 33554432000 4194304 4196468 140724333605600 140596514111712 140596509918365 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7261] ppid=7255 vsize=14084804 memory=8025788822752027748 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7261/stat : 7261 (java) S 7255 7258 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243617205 14422839296 22179 33554432000 4194304 4196468 140724333605600 140596439985040 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7262] ppid=7255 vsize=14084804 memory=148 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7262/stat : 7262 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617205 14422839296 22179 33554432000 4194304 4196468 140724333605600 140596438932240 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7263] ppid=7255 vsize=14084804 memory=288230583166042426 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7263/stat : 7263 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617205 14422839296 22179 33554432000 4194304 4196468 140724333605600 140596437879952 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7264] ppid=7255 vsize=14084804 memory=14690790429427206 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7264/stat : 7264 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617206 14422839296 22179 33554432000 4194304 4196468 140724333605600 140596436827152 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7265] ppid=7255 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (java) S 7255 7258 6996 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243617207 14422839296 22179 33554432000 4194304 4196468 140724333605600 140595983661168 140596509907586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7266] ppid=7255 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (java) S 7255 7258 6996 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243617207 14422839296 22179 33554432000 4194304 4196468 140724333605600 140595982607136 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7267] ppid=7255 vsize=14084804 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (java) S 7255 7258 6996 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243617208 14422839296 22179 33554432000 4194304 4196468 140724333605600 140595981554800 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7268] ppid=7255 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (java) S 7255 7258 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617210 14422839296 22179 33554432000 4194304 4196468 140724333605600 140595980503120 140596509915035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7269] ppid=7255 vsize=14084804 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7258/task/7269/stat : 7269 (java) S 7255 7258 6996 0 -1 1077944384 605 0 0 0 9 0 0 0 20 0 15 0 243617210 14422839296 22179 33554432000 4194304 4196468 140724333605600 140595979450992 140596509907586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7270] ppid=7255 vsize=14084804 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/7258/task/7270/stat : 7270 (java) S 7255 7258 6996 0 -1 1077944384 317 0 0 0 5 0 0 0 20 0 15 0 243617210 14422839296 22179 33554432000 4194304 4196468 140724333605600 140595978398192 140596509907586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7271] ppid=7255 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/7258/task/7271/stat : 7271 (java) S 7255 7258 6996 0 -1 1077944384 445 0 0 0 15 0 0 0 20 0 15 0 243617210 14422839296 22179 33554432000 4194304 4196468 140724333605600 140595977345904 140596509907586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7272] ppid=7255 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7272/stat : 7272 (java) S 7255 7258 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617210 14422839296 22179 33554432000 4194304 4196468 140724333605600 140595976293344 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7273] ppid=7255 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7273/stat : 7273 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617210 14422839296 22179 33554432000 4194304 4196468 140724333605600 140595975240112 140596509907586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88716 KiB

[startup+1.47583 s]
# the end of solver process 7258 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2.78321 s, system=0.088923 s

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

[startup+0.800865 s]
/proc/loadavg: 1.50 1.48 1.32 2/202 7304
/proc/meminfo: memFree=24007228/32770624 swapFree=67108852/67108860
[pid=7258] ppid=7255 vsize=14086852 memory=93092 CPUtime=1.17 cores=0,2,4,6
/proc/7258/stat : 7258 (java) S 7255 7258 6996 0 -1 1077944320 18061 0 0 0 112 5 0 0 20 0 15 0 243617204 14424936448 23273 33554432000 4194304 4196468 140724333605600 140724333588144 140596509896439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
/proc/7258/statm: 3521713 23273 3513 1 0 3483785 0
[pid=7258/tid=7260] ppid=7255 vsize=14086852 memory=1616 CPUtime=0.77 cores=0,2,4,6
/proc/7258/task/7260/stat : 7260 (java) R 7255 7258 6996 0 -1 4202560 15205 0 0 0 74 3 0 0 20 0 15 0 243617205 14424936448 23273 33554432000 4194304 4196468 140724333605600 140596514127360 140596509908374 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7261] ppid=7255 vsize=14086852 memory=11584 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7261/stat : 7261 (java) S 7255 7258 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243617205 14424936448 23273 33554432000 4194304 4196468 140724333605600 140596439985040 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7262] ppid=7255 vsize=14086852 memory=4960 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7262/stat : 7262 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617205 14424936448 23273 33554432000 4194304 4196468 140724333605600 140596438932240 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7263] ppid=7255 vsize=14086852 memory=3840 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7263/stat : 7263 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617205 14424936448 23273 33554432000 4194304 4196468 140724333605600 140596437879952 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7264] ppid=7255 vsize=14086852 memory=1280 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7264/stat : 7264 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617206 14424936448 23273 33554432000 4194304 4196468 140724333605600 140596436827152 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7265] ppid=7255 vsize=14086852 memory=1152 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (java) S 7255 7258 6996 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 243617207 14424936448 23273 33554432000 4194304 4196468 140724333605600 140595983661168 140596509907586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7266] ppid=7255 vsize=14086852 memory=876 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (java) S 7255 7258 6996 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243617207 14424936448 23273 33554432000 4194304 4196468 140724333605600 140595982607136 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7267] ppid=7255 vsize=14086852 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (java) S 7255 7258 6996 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243617208 14424936448 23273 33554432000 4194304 4196468 140724333605600 140595981554800 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7268] ppid=7255 vsize=14086852 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (java) S 7255 7258 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617210 14424936448 23273 33554432000 4194304 4196468 140724333605600 140595980503120 140596509915035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7269] ppid=7255 vsize=14086852 memory=1912 CPUtime=0.11 cores=0,2,4,6
/proc/7258/task/7269/stat : 7269 (java) S 7255 7258 6996 0 -1 1077944384 616 0 0 0 11 0 0 0 20 0 15 0 243617210 14424936448 23273 33554432000 4194304 4196468 140724333605600 140595979450992 140596509907586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7270] ppid=7255 vsize=14086852 memory=1120 CPUtime=0.07 cores=0,2,4,6
/proc/7258/task/7270/stat : 7270 (java) S 7255 7258 6996 0 -1 1077944384 333 0 0 0 7 0 0 0 20 0 15 0 243617210 14424936448 23273 33554432000 4194304 4196468 140724333605600 140595978398192 140596509907586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7271] ppid=7255 vsize=14086852 memory=6416 CPUtime=0.18 cores=0,2,4,6
/proc/7258/task/7271/stat : 7271 (java) R 7255 7258 6996 0 -1 4202560 526 0 0 0 18 0 0 0 20 0 15 0 243617210 14424936448 23273 33554432000 4194304 4196468 140724333605600 140595977340256 140596488573463 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7272] ppid=7255 vsize=14086852 memory=14892 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7272/stat : 7272 (java) S 7255 7258 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617210 14424936448 23273 33554432000 4194304 4196468 140724333605600 140595976293344 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7273] ppid=7255 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7273/stat : 7273 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617210 14424936448 23273 33554432000 4194304 4196468 140724333605600 140595975240112 140596509907586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 93092 KiB

[startup+1.20071 s]
/proc/loadavg: 1.50 1.48 1.32 6/219 7350
/proc/meminfo: memFree=23942176/32770624 swapFree=67108852/67108860
[pid=7258] ppid=7255 vsize=14088900 memory=132416 CPUtime=2.2 cores=0,2,4,6
/proc/7258/stat : 7258 (java) S 7255 7258 6996 0 -1 1077944320 27165 0 0 0 214 6 0 0 20 0 15 0 243617204 14427033600 33104 33554432000 4194304 4196468 140724333605600 140724333588144 140596509896439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
/proc/7258/statm: 3522225 33104 3547 1 0 3484297 0
[pid=7258/tid=7260] ppid=7255 vsize=14088900 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/7258/task/7260/stat : 7260 (java) R 7255 7258 6996 0 -1 4202560 21020 0 0 0 113 4 0 0 20 0 15 0 243617205 14427033600 33104 33554432000 4194304 4196468 140724333605600 140596514129168 140596490172253 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7261] ppid=7255 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7261/stat : 7261 (java) S 7255 7258 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243617205 14427033600 33104 33554432000 4194304 4196468 140724333605600 140596439985040 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7262] ppid=7255 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7262/stat : 7262 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617205 14427033600 33104 33554432000 4194304 4196468 140724333605600 140596438932240 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7263] ppid=7255 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7263/stat : 7263 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617205 14427033600 33104 33554432000 4194304 4196468 140724333605600 140596437879952 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7264] ppid=7255 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7264/stat : 7264 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617206 14427033600 33104 33554432000 4194304 4196468 140724333605600 140596436827152 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7265] ppid=7255 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (java) S 7255 7258 6996 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 15 0 243617207 14427033600 33104 33554432000 4194304 4196468 140724333605600 140595983661168 140596509907586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7266] ppid=7255 vsize=14088900 memory=-2317720213663851332 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (java) S 7255 7258 6996 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243617207 14427033600 33104 33554432000 4194304 4196468 140724333605600 140595982607136 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7267] ppid=7255 vsize=14088900 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (java) S 7255 7258 6996 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243617208 14427033600 33104 33554432000 4194304 4196468 140724333605600 140595981554800 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7268] ppid=7255 vsize=14088900 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (java) S 7255 7258 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617210 14427033600 33104 33554432000 4194304 4196468 140724333605600 140595980503120 140596509915035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7269] ppid=7255 vsize=14088900 memory=288230574492221466 CPUtime=0.36 cores=0,2,4,6
/proc/7258/task/7269/stat : 7269 (java) S 7255 7258 6996 0 -1 1077944384 1722 0 0 0 36 0 0 0 20 0 15 0 243617210 14427033600 33104 33554432000 4194304 4196468 140724333605600 140595979450992 140596509907586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7270] ppid=7255 vsize=14088900 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/7258/task/7270/stat : 7270 (java) S 7255 7258 6996 0 -1 1077944384 1315 0 0 0 25 0 0 0 20 0 15 0 243617210 14427033600 33104 33554432000 4194304 4196468 140724333605600 140595978398192 140596509907586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7271] ppid=7255 vsize=14088900 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/7258/task/7271/stat : 7271 (java) S 7255 7258 6996 0 -1 1077944384 1582 0 0 0 39 0 0 0 20 0 15 0 243617210 14427033600 33104 33554432000 4194304 4196468 140724333605600 140595977345904 140596509907586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7272] ppid=7255 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7272/stat : 7272 (java) S 7255 7258 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617210 14427033600 33104 33554432000 4194304 4196468 140724333605600 140595976293344 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7273] ppid=7255 vsize=14088900 memory=-2895008908443676273 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7273/stat : 7273 (java) S 7255 7258 6996 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 243617210 14427033600 33104 33554432000 4194304 4196468 140724333605600 140595975240112 140596509907586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
Current children cumulated CPU time: 2.2 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 132416 KiB

[startup+1.40061 s]
/proc/loadavg: 1.50 1.48 1.32 6/219 7350
/proc/meminfo: memFree=23942176/32770624 swapFree=67108852/67108860
[pid=7258] ppid=7255 vsize=14088900 memory=147824 CPUtime=2.65 cores=0,2,4,6
/proc/7258/stat : 7258 (java) S 7255 7258 6996 0 -1 1077944320 29581 0 0 0 258 7 0 0 20 0 15 0 243617204 14427033600 36956 33554432000 4194304 4196468 140724333605600 140724333588144 140596509896439 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
/proc/7258/statm: 3522225 36956 3550 1 0 3484297 0
[pid=7258/tid=7260] ppid=7255 vsize=14088900 memory=0 CPUtime=1.37 cores=0,2,4,6
/proc/7258/task/7260/stat : 7260 (java) R 7255 7258 6996 0 -1 4202560 22686 0 0 0 132 5 0 0 20 0 15 0 243617205 14427033600 36956 33554432000 4194304 4196468 140724333605600 140596514130864 140596112261069 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7261] ppid=7255 vsize=14088900 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7261/stat : 7261 (java) S 7255 7258 6996 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 243617205 14427033600 36956 33554432000 4194304 4196468 140724333605600 140596439985040 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7262] ppid=7255 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7262/stat : 7262 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617205 14427033600 36956 33554432000 4194304 4196468 140724333605600 140596438932240 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7263] ppid=7255 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7263/stat : 7263 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617205 14427033600 36956 33554432000 4194304 4196468 140724333605600 140596437879952 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7264] ppid=7255 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7264/stat : 7264 (java) S 7255 7258 6996 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 243617206 14427033600 36956 33554432000 4194304 4196468 140724333605600 140596436827152 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7265] ppid=7255 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7265/stat : 7265 (java) S 7255 7258 6996 0 -1 1077944384 175 0 0 0 0 0 0 0 20 0 15 0 243617207 14427033600 36956 33554432000 4194304 4196468 140724333605600 140595983661168 140596509907586 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7266] ppid=7255 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7266/stat : 7266 (java) S 7255 7258 6996 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 243617207 14427033600 36956 33554432000 4194304 4196468 140724333605600 140595982607136 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7267] ppid=7255 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7267/stat : 7267 (java) S 7255 7258 6996 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 243617208 14427033600 36956 33554432000 4194304 4196468 140724333605600 140595981554800 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7268] ppid=7255 vsize=14088900 memory=302867273281175578 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7268/stat : 7268 (java) S 7255 7258 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617210 14427033600 36956 33554432000 4194304 4196468 140724333605600 140595980503120 140596509915035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7269] ppid=7255 vsize=14088900 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/7258/task/7269/stat : 7269 (java) S 7255 7258 6996 0 -1 1077944384 1770 0 0 0 44 0 0 0 20 0 15 0 243617210 14427033600 36956 33554432000 4194304 4196468 140724333605600 140595979450992 140596509907586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7270] ppid=7255 vsize=14088900 memory=5931329019416959081 CPUtime=0.3 cores=0,2,4,6
/proc/7258/task/7270/stat : 7270 (java) R 7255 7258 6996 0 -1 4202560 1389 0 0 0 30 0 0 0 20 0 15 0 243617210 14427033600 36956 33554432000 4194304 4196468 140724333605600 140595978398192 140596509908374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7271] ppid=7255 vsize=14088900 memory=6369889152532897873 CPUtime=0.51 cores=0,2,4,6
/proc/7258/task/7271/stat : 7271 (java) R 7255 7258 6996 0 -1 1077944384 2180 0 0 0 50 1 0 0 20 0 15 0 243617210 14427033600 36956 33554432000 4194304 4196468 140724333605600 140595977345904 140596509907586 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7272] ppid=7255 vsize=14088900 memory=5787214926557827170 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7272/stat : 7272 (java) S 7255 7258 6996 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 243617210 14427033600 36956 33554432000 4194304 4196468 140724333605600 140595976293344 140596509906645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
[pid=7258/tid=7273] ppid=7255 vsize=14088900 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/7258/task/7273/stat : 7273 (java) S 7255 7258 6996 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 243617210 14427033600 36956 33554432000 4194304 4196468 140724333605600 140595975240112 140596509907586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13443072 140724333614160 140724333614345 140724333614345 140724333617103 0
Current children cumulated CPU time: 2.65 s
Current children cumulated vsize: 14088900 KiB
Current children cumulated memory: 147824 KiB

Child status: 0
Real time (s): 1.47591
CPU time (s): 2.87213
CPU user time (s): 2.78321
CPU system time (s): 0.088923
CPU usage (%): 194.6
Max. virtual memory (cumulated for all children) (KiB): 14088900
Max. memory (cumulated for all children) (KiB): 147824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.78321
system time used= 0.088923
maximum resident set size= 153848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30118
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2518
involuntary context switches= 5


# summary of solver processes directly reported to runsolver:
#   pid: 7258
#   total CPU time (s): 2.87213
#   total CPU user time (s): 2.78321
#   total CPU system time (s): 0.088923

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.026338 second user time and 0.062807 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	0.095834
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 4307747

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
