2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-07-02	SAT	2.87321	1.43537
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 (11086 MiB free)
  memory of node 1: 16384 MiB (11426 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290702-1532238705/watcher-4290702-1532238705 -o /tmp/evaluation-result-4290702-1532238705/solver-4290702-1532238705 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532224272-29565 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 426035364 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290702-1532238705.xml 

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

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

solver pid=31168, runsolver pid=31165

[startup+0.10006 s]*
/proc/loadavg: 1.55 1.53 1.60 3/216 31183
/proc/meminfo: memFree=23035284/32770624 swapFree=67108860/67108860
[pid=31168] ppid=31165 vsize=14082740 memory=30916 CPUtime=0.11 cores=0,2,4,6
/proc/31168/stat : 31168 (java) S 31165 31168 29534 0 -1 1077944320 6647 0 0 0 10 1 0 0 20 0 15 0 41433656 14420725760 7729 33554432000 4194304 4196468 140727650612400 140727650594944 139782637936375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
/proc/31168/statm: 3520685 7729 3154 1 0 3482761 0
[pid=31168/tid=31170] ppid=31165 vsize=14082740 memory=-8773748148829983866 CPUtime=0.09 cores=0,2,4,6
/proc/31168/task/31170/stat : 31170 (java) R 31165 31168 29534 0 -1 4202560 4675 0 0 0 8 1 0 0 20 0 15 0 41433656 14420725760 7729 33554432000 4194304 4196468 140727650612400 139782642136760 139782637948310 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31171] ppid=31165 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31171/stat : 31171 (java) S 31165 31168 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41433657 14420725760 7729 33554432000 4194304 4196468 140727650612400 139782233865360 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31172] ppid=31165 vsize=14082740 memory=139940536051328 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31172/stat : 31172 (java) S 31165 31168 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41433657 14420725760 7729 33554432000 4194304 4196468 140727650612400 139782232812560 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31173] ppid=31165 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31173/stat : 31173 (java) S 31165 31168 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41433657 14420725760 7729 33554432000 4194304 4196468 140727650612400 139782231759760 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31174] ppid=31165 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31174/stat : 31174 (java) S 31165 31168 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41433657 14420725760 7729 33554432000 4194304 4196468 140727650612400 139782230706960 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31175] ppid=31165 vsize=14082740 memory=139940536051328 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31175/stat : 31175 (java) S 31165 31168 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41433658 14420725760 7729 33554432000 4194304 4196468 140727650612400 139781819754864 139782637947522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31176] ppid=31165 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31176/stat : 31176 (java) S 31165 31168 29534 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41433659 14420725760 7729 33554432000 4194304 4196468 140727650612400 139781818700832 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31177] ppid=31165 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31177/stat : 31177 (java) S 31165 31168 29534 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41433659 14420725760 7729 33554432000 4194304 4196468 140727650612400 139781817647984 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31178] ppid=31165 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31178/stat : 31178 (java) S 31165 31168 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41433661 14420725760 7729 33554432000 4194304 4196468 140727650612400 139781816596304 139782637954971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31179] ppid=31165 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31179/stat : 31179 (java) S 31165 31168 29534 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 41433661 14420725760 7729 33554432000 4194304 4196468 140727650612400 139781815544688 139782637947522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31180] ppid=31165 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31180/stat : 31180 (java) S 31165 31168 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41433662 14420725760 7729 33554432000 4194304 4196468 140727650612400 139781814491888 139782637947522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31181] ppid=31165 vsize=14082740 memory=139940536051328 CPUtime=0.01 cores=0,2,4,6
/proc/31168/task/31181/stat : 31181 (java) R 31165 31168 29534 0 -1 4202560 284 0 0 0 1 0 0 0 20 0 15 0 41433662 14420725760 7729 33554432000 4194304 4196468 140727650612400 139781813439088 139782637948310 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31182] ppid=31165 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31182/stat : 31182 (java) S 31165 31168 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41433662 14420725760 7729 33554432000 4194304 4196468 140727650612400 139781812386528 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31183] ppid=31165 vsize=14082740 memory=139940536051328 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31183/stat : 31183 (java) S 31165 31168 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41433662 14420725760 7729 33554432000 4194304 4196468 140727650612400 139781811333808 139782637947522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 30916 KiB

[startup+0.211477 s]*
/proc/loadavg: 1.55 1.53 1.60 6/216 31183
/proc/meminfo: memFree=23019184/32770624 swapFree=67108860/67108860
[pid=31168] ppid=31165 vsize=14082740 memory=46972 CPUtime=0.3 cores=0,2,4,6
/proc/31168/stat : 31168 (java) S 31165 31168 29534 0 -1 1077944320 10410 0 0 0 28 2 0 0 20 0 15 0 41433656 14420725760 11743 33554432000 4194304 4196468 140727650612400 140727650594944 139782637936375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
/proc/31168/statm: 3520685 11743 3367 1 0 3482761 0
[pid=31168/tid=31170] ppid=31165 vsize=14082740 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/31168/task/31170/stat : 31170 (java) R 31165 31168 29534 0 -1 4202560 8085 0 0 0 18 1 0 0 20 0 15 0 41433656 14420725760 11743 33554432000 4194304 4196468 140727650612400 139782642161136 139782637948310 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31171] ppid=31165 vsize=14082740 memory=343 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31171/stat : 31171 (java) S 31165 31168 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41433657 14420725760 11743 33554432000 4194304 4196468 140727650612400 139782233865360 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31172] ppid=31165 vsize=14082740 memory=3762674473995921056 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31172/stat : 31172 (java) S 31165 31168 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41433657 14420725760 11743 33554432000 4194304 4196468 140727650612400 139782232812560 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31173] ppid=31165 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31173/stat : 31173 (java) S 31165 31168 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41433657 14420725760 11743 33554432000 4194304 4196468 140727650612400 139782231759760 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31174] ppid=31165 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31174/stat : 31174 (java) S 31165 31168 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41433657 14420725760 11743 33554432000 4194304 4196468 140727650612400 139782230706960 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31175] ppid=31165 vsize=14082740 memory=139940536051328 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31175/stat : 31175 (java) S 31165 31168 29534 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41433658 14420725760 11743 33554432000 4194304 4196468 140727650612400 139781819754864 139782637947522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31176] ppid=31165 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31176/stat : 31176 (java) S 31165 31168 29534 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41433659 14420725760 11743 33554432000 4194304 4196468 140727650612400 139781818700832 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31177] ppid=31165 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31177/stat : 31177 (java) S 31165 31168 29534 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41433659 14420725760 11743 33554432000 4194304 4196468 140727650612400 139781817647984 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31178] ppid=31165 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31178/stat : 31178 (java) S 31165 31168 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41433661 14420725760 11743 33554432000 4194304 4196468 140727650612400 139781816596304 139782637954971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31179] ppid=31165 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31168/task/31179/stat : 31179 (java) R 31165 31168 29534 0 -1 4202560 354 0 0 0 2 0 0 0 20 0 15 0 41433661 14420725760 11743 33554432000 4194304 4196468 140727650612400 139781815544688 139782619480074 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31180] ppid=31165 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31168/task/31180/stat : 31180 (java) R 31165 31168 29534 0 -1 1077944384 260 0 0 0 2 0 0 0 20 0 15 0 41433662 14420725760 11743 33554432000 4194304 4196468 140727650612400 139781814491888 139782637947522 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31181] ppid=31165 vsize=14082740 memory=139940536051328 CPUtime=0.05 cores=0,2,4,6
/proc/31168/task/31181/stat : 31181 (java) R 31165 31168 29534 0 -1 4202560 327 0 0 0 5 0 0 0 20 0 15 0 41433662 14420725760 11743 33554432000 4194304 4196468 140727650612400 139781813437504 139782623102030 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31182] ppid=31165 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31182/stat : 31182 (java) S 31165 31168 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41433662 14420725760 11743 33554432000 4194304 4196468 140727650612400 139781812386528 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31183] ppid=31165 vsize=14082740 memory=139940536051328 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31183/stat : 31183 (java) S 31165 31168 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41433662 14420725760 11743 33554432000 4194304 4196468 140727650612400 139781811333808 139782637947522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46972 KiB

[startup+0.310491 s]*
/proc/loadavg: 1.55 1.53 1.60 4/216 31183
/proc/meminfo: memFree=23015648/32770624 swapFree=67108860/67108860
[pid=31168] ppid=31165 vsize=14082740 memory=50708 CPUtime=0.43 cores=0,2,4,6
/proc/31168/stat : 31168 (java) S 31165 31168 29534 0 -1 1077944320 10814 0 0 0 41 2 0 0 20 0 15 0 41433656 14420725760 12677 33554432000 4194304 4196468 140727650612400 140727650594944 139782637936375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
/proc/31168/statm: 3520685 12677 3382 1 0 3482761 0
[pid=31168/tid=31170] ppid=31165 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/31168/task/31170/stat : 31170 (java) R 31165 31168 29534 0 -1 4202560 8448 0 0 0 28 2 0 0 20 0 15 0 41433656 14420725760 12677 33554432000 4194304 4196468 140727650612400 139782642147888 139782623102030 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31171] ppid=31165 vsize=14082740 memory=12671 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31171/stat : 31171 (java) S 31165 31168 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41433657 14420725760 12677 33554432000 4194304 4196468 140727650612400 139782233865360 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31172] ppid=31165 vsize=14082740 memory=3906508187095066272 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31172/stat : 31172 (java) S 31165 31168 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41433657 14420725760 12677 33554432000 4194304 4196468 140727650612400 139782232812560 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31173] ppid=31165 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31173/stat : 31173 (java) S 31165 31168 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41433657 14420725760 12677 33554432000 4194304 4196468 140727650612400 139782231759760 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31174] ppid=31165 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31174/stat : 31174 (java) S 31165 31168 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41433657 14420725760 12677 33554432000 4194304 4196468 140727650612400 139782230706960 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31175] ppid=31165 vsize=14082740 memory=139940536051328 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31175/stat : 31175 (java) S 31165 31168 29534 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41433658 14420725760 12677 33554432000 4194304 4196468 140727650612400 139781819754864 139782637947522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31176] ppid=31165 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31176/stat : 31176 (java) S 31165 31168 29534 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41433659 14420725760 12677 33554432000 4194304 4196468 140727650612400 139781818700832 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31177] ppid=31165 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31177/stat : 31177 (java) S 31165 31168 29534 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41433659 14420725760 12677 33554432000 4194304 4196468 140727650612400 139781817647984 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31178] ppid=31165 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31178/stat : 31178 (java) S 31165 31168 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41433661 14420725760 12677 33554432000 4194304 4196468 140727650612400 139781816596304 139782637954971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31179] ppid=31165 vsize=14082740 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31168/task/31179/stat : 31179 (java) S 31165 31168 29534 0 -1 1077944384 375 0 0 0 3 0 0 0 20 0 15 0 41433661 14420725760 12677 33554432000 4194304 4196468 140727650612400 139781815544688 139782637947522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31180] ppid=31165 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31168/task/31180/stat : 31180 (java) S 31165 31168 29534 0 -1 1077944384 260 0 0 0 2 0 0 0 20 0 15 0 41433662 14420725760 12677 33554432000 4194304 4196468 140727650612400 139781814491888 139782637947522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31181] ppid=31165 vsize=14082740 memory=139940536051328 CPUtime=0.07 cores=0,2,4,6
/proc/31168/task/31181/stat : 31181 (java) S 31165 31168 29534 0 -1 1077944384 347 0 0 0 7 0 0 0 20 0 15 0 41433662 14420725760 12677 33554432000 4194304 4196468 140727650612400 139781813439088 139782637947522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31182] ppid=31165 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31182/stat : 31182 (java) S 31165 31168 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41433662 14420725760 12677 33554432000 4194304 4196468 140727650612400 139781812386528 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31183] ppid=31165 vsize=14082740 memory=139940536051328 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31183/stat : 31183 (java) S 31165 31168 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41433662 14420725760 12677 33554432000 4194304 4196468 140727650612400 139781811333808 139782637947522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50708 KiB

[startup+0.700814 s]
/proc/loadavg: 1.55 1.53 1.60 3/216 31183
/proc/meminfo: memFree=22991464/32770624 swapFree=67108860/67108860
[pid=31168] ppid=31165 vsize=14084808 memory=89108 CPUtime=0.99 cores=0,2,4,6
/proc/31168/stat : 31168 (java) S 31165 31168 29534 0 -1 1077944320 17640 0 0 0 95 4 0 0 20 0 15 0 41433656 14422843392 22277 33554432000 4194304 4196468 140727650612400 140727650594944 139782637936375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
/proc/31168/statm: 3521202 22277 3502 1 0 3483273 0
[pid=31168/tid=31170] ppid=31165 vsize=14084808 memory=8860 CPUtime=0.67 cores=0,2,4,6
/proc/31168/task/31170/stat : 31170 (java) R 31165 31168 29534 0 -1 4202560 14903 0 0 0 64 3 0 0 20 0 15 0 41433656 14422843392 22277 33554432000 4194304 4196468 140727650612400 139782642160592 139782637958301 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31171] ppid=31165 vsize=14084808 memory=18484 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31171/stat : 31171 (java) S 31165 31168 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41433657 14422843392 22277 33554432000 4194304 4196468 140727650612400 139782233865360 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31172] ppid=31165 vsize=14084808 memory=644 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31172/stat : 31172 (java) S 31165 31168 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41433657 14422843392 22277 33554432000 4194304 4196468 140727650612400 139782232812560 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31173] ppid=31165 vsize=14084808 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31173/stat : 31173 (java) S 31165 31168 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41433657 14422843392 22277 33554432000 4194304 4196468 140727650612400 139782231759760 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31174] ppid=31165 vsize=14084808 memory=952 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31174/stat : 31174 (java) S 31165 31168 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41433657 14422843392 22277 33554432000 4194304 4196468 140727650612400 139782230706960 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31175] ppid=31165 vsize=14084808 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31175/stat : 31175 (java) S 31165 31168 29534 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41433658 14422843392 22277 33554432000 4194304 4196468 140727650612400 139781819754864 139782637947522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31176] ppid=31165 vsize=14084808 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31176/stat : 31176 (java) S 31165 31168 29534 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41433659 14422843392 22277 33554432000 4194304 4196468 140727650612400 139781818700832 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31177] ppid=31165 vsize=14084808 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31177/stat : 31177 (java) S 31165 31168 29534 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41433659 14422843392 22277 33554432000 4194304 4196468 140727650612400 139781817647984 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31178] ppid=31165 vsize=14084808 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31178/stat : 31178 (java) S 31165 31168 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41433661 14422843392 22277 33554432000 4194304 4196468 140727650612400 139781816596304 139782637954971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31179] ppid=31165 vsize=14084808 memory=7013340940837610608 CPUtime=0.08 cores=0,2,4,6
/proc/31168/task/31179/stat : 31179 (java) S 31165 31168 29534 0 -1 1077944384 527 0 0 0 8 0 0 0 20 0 15 0 41433661 14422843392 22277 33554432000 4194304 4196468 140727650612400 139781815544688 139782637947522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31180] ppid=31165 vsize=14084808 memory=5788647689011156329 CPUtime=0.07 cores=0,2,4,6
/proc/31168/task/31180/stat : 31180 (java) S 31165 31168 29534 0 -1 1077944384 401 0 0 0 7 0 0 0 20 0 15 0 41433662 14422843392 22277 33554432000 4194304 4196468 140727650612400 139781814491888 139782637947522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31181] ppid=31165 vsize=14084808 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/31168/task/31181/stat : 31181 (java) S 31165 31168 29534 0 -1 1077944384 425 0 0 0 15 0 0 0 20 0 15 0 41433662 14422843392 22277 33554432000 4194304 4196468 140727650612400 139781813439088 139782637947522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31182] ppid=31165 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31182/stat : 31182 (java) S 31165 31168 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41433662 14422843392 22277 33554432000 4194304 4196468 140727650612400 139781812386528 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31183] ppid=31165 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31183/stat : 31183 (java) S 31165 31168 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41433662 14422843392 22277 33554432000 4194304 4196468 140727650612400 139781811333808 139782637947522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 89108 KiB

[startup+1.43533 s]
# the end of solver process 31168 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2.79274 s, system=0.08047 s

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

[startup+0.800836 s]
/proc/loadavg: 1.55 1.53 1.60 3/216 31183
/proc/meminfo: memFree=22991464/32770624 swapFree=67108860/67108860
[pid=31168] ppid=31165 vsize=14086856 memory=95324 CPUtime=1.21 cores=0,2,4,6
/proc/31168/stat : 31168 (java) S 31165 31168 29534 0 -1 1077944320 18159 0 0 0 117 4 0 0 20 0 15 0 41433656 14424940544 23831 33554432000 4194304 4196468 140727650612400 140727650594944 139782637936375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
/proc/31168/statm: 3521714 23831 3511 1 0 3483785 0
[pid=31168/tid=31170] ppid=31165 vsize=14086856 memory=134103 CPUtime=0.77 cores=0,2,4,6
/proc/31168/task/31170/stat : 31170 (java) R 31165 31168 29534 0 -1 4202560 15241 0 0 0 74 3 0 0 20 0 15 0 41433656 14424940544 23831 33554432000 4194304 4196468 140727650612400 139782642171344 139782278074654 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31171] ppid=31165 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31171/stat : 31171 (java) S 31165 31168 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41433657 14424940544 23831 33554432000 4194304 4196468 140727650612400 139782233865360 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31172] ppid=31165 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31172/stat : 31172 (java) S 31165 31168 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41433657 14424940544 23831 33554432000 4194304 4196468 140727650612400 139782232812560 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31173] ppid=31165 vsize=14086856 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31173/stat : 31173 (java) S 31165 31168 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41433657 14424940544 23831 33554432000 4194304 4196468 140727650612400 139782231759760 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31174] ppid=31165 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31174/stat : 31174 (java) S 31165 31168 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41433657 14424940544 23831 33554432000 4194304 4196468 140727650612400 139782230706960 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31175] ppid=31165 vsize=14086856 memory=9051287041011777709 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31175/stat : 31175 (java) S 31165 31168 29534 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 41433658 14424940544 23831 33554432000 4194304 4196468 140727650612400 139781819754864 139782637947522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31176] ppid=31165 vsize=14086856 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31176/stat : 31176 (java) S 31165 31168 29534 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41433659 14424940544 23831 33554432000 4194304 4196468 140727650612400 139781818700832 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31177] ppid=31165 vsize=14086856 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31177/stat : 31177 (java) S 31165 31168 29534 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41433659 14424940544 23831 33554432000 4194304 4196468 140727650612400 139781817647984 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31178] ppid=31165 vsize=14086856 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31178/stat : 31178 (java) S 31165 31168 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41433661 14424940544 23831 33554432000 4194304 4196468 140727650612400 139781816596304 139782637954971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31179] ppid=31165 vsize=14086856 memory=-7357787915995474596 CPUtime=0.11 cores=0,2,4,6
/proc/31168/task/31179/stat : 31179 (java) R 31165 31168 29534 0 -1 1077944384 551 0 0 0 11 0 0 0 20 0 15 0 41433661 14424940544 23831 33554432000 4194304 4196468 140727650612400 139781815544688 139782637947522 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31180] ppid=31165 vsize=14086856 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31168/task/31180/stat : 31180 (java) S 31165 31168 29534 0 -1 1077944384 423 0 0 0 9 0 0 0 20 0 15 0 41433662 14424940544 23831 33554432000 4194304 4196468 140727650612400 139781814491888 139782637947522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31181] ppid=31165 vsize=14086856 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/31168/task/31181/stat : 31181 (java) R 31165 31168 29534 0 -1 4202560 562 0 0 0 20 0 0 0 20 0 15 0 41433662 14424940544 23831 33554432000 4194304 4196468 140727650612400 139781813435456 139782616302772 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31182] ppid=31165 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31182/stat : 31182 (java) S 31165 31168 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41433662 14424940544 23831 33554432000 4194304 4196468 140727650612400 139781812386528 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31183] ppid=31165 vsize=14086856 memory=-8970732287579073388 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31183/stat : 31183 (java) S 31165 31168 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41433662 14424940544 23831 33554432000 4194304 4196468 140727650612400 139781811333808 139782637947522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
Current children cumulated CPU time: 1.21 s
Current children cumulated vsize: 14086856 KiB
Current children cumulated memory: 95324 KiB

[startup+1.20078 s]
/proc/loadavg: 1.55 1.53 1.60 4/216 31183
/proc/meminfo: memFree=22959016/32770624 swapFree=67108860/67108860
[pid=31168] ppid=31165 vsize=14088904 memory=136980 CPUtime=2.29 cores=0,2,4,6
/proc/31168/stat : 31168 (java) S 31165 31168 29534 0 -1 1077944320 21886 0 0 0 223 6 0 0 20 0 15 0 41433656 14427037696 34245 33554432000 4194304 4196468 140727650612400 140727650594944 139782637936375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
/proc/31168/statm: 3522226 34245 3542 1 0 3484297 0
[pid=31168/tid=31170] ppid=31165 vsize=14088904 memory=4121982438127960096 CPUtime=1.16 cores=0,2,4,6
/proc/31168/task/31170/stat : 31170 (java) R 31165 31168 29534 0 -1 4202560 17353 0 0 0 112 4 0 0 20 0 15 0 41433656 14427037696 34245 33554432000 4194304 4196468 140727650612400 139782642161680 139782622016862 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31171] ppid=31165 vsize=14088904 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31171/stat : 31171 (java) S 31165 31168 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41433657 14427037696 34245 33554432000 4194304 4196468 140727650612400 139782233865360 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31172] ppid=31165 vsize=14088904 memory=139940536072673 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31172/stat : 31172 (java) S 31165 31168 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41433657 14427037696 34245 33554432000 4194304 4196468 140727650612400 139782232812560 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31173] ppid=31165 vsize=14088904 memory=3689630285644715375 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31173/stat : 31173 (java) S 31165 31168 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41433657 14427037696 34245 33554432000 4194304 4196468 140727650612400 139782231759760 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31174] ppid=31165 vsize=14088904 memory=3761405365860003690 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31174/stat : 31174 (java) S 31165 31168 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41433657 14427037696 34245 33554432000 4194304 4196468 140727650612400 139782230706960 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31175] ppid=31165 vsize=14088904 memory=7523089911584745327 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31175/stat : 31175 (java) S 31165 31168 29534 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 41433658 14427037696 34245 33554432000 4194304 4196468 140727650612400 139781819754864 139782637947522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31176] ppid=31165 vsize=14088904 memory=7740117001450443608 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31176/stat : 31176 (java) S 31165 31168 29534 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41433659 14427037696 34245 33554432000 4194304 4196468 140727650612400 139781818700832 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31177] ppid=31165 vsize=14088904 memory=7521412052698095957 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31177/stat : 31177 (java) S 31165 31168 29534 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41433659 14427037696 34245 33554432000 4194304 4196468 140727650612400 139781817647984 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31178] ppid=31165 vsize=14088904 memory=7595999588279281510 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31178/stat : 31178 (java) S 31165 31168 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41433661 14427037696 34245 33554432000 4194304 4196468 140727650612400 139781816596304 139782637954971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31179] ppid=31165 vsize=14088904 memory=7378417262540378726 CPUtime=0.35 cores=0,2,4,6
/proc/31168/task/31179/stat : 31179 (java) S 31165 31168 29534 0 -1 1077944384 962 0 0 0 35 0 0 0 20 0 15 0 41433661 14427037696 34245 33554432000 4194304 4196468 140727650612400 139781815544688 139782637947522 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31180] ppid=31165 vsize=14088904 memory=7306923691962689110 CPUtime=0.35 cores=0,2,4,6
/proc/31168/task/31180/stat : 31180 (java) S 31165 31168 29534 0 -1 1077944384 945 0 0 0 35 0 0 0 20 0 15 0 41433662 14427037696 34245 33554432000 4194304 4196468 140727650612400 139781814491888 139782637947522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31181] ppid=31165 vsize=14088904 memory=81664 CPUtime=0.39 cores=0,2,4,6
/proc/31168/task/31181/stat : 31181 (java) S 31165 31168 29534 0 -1 1077944384 1226 0 0 0 39 0 0 0 20 0 15 0 41433662 14427037696 34245 33554432000 4194304 4196468 140727650612400 139781813439088 139782637947522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31182] ppid=31165 vsize=14088904 memory=267799800902542 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31182/stat : 31182 (java) S 31165 31168 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41433662 14427037696 34245 33554432000 4194304 4196468 140727650612400 139781812386528 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31183] ppid=31165 vsize=14088904 memory=134103 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31183/stat : 31183 (java) S 31165 31168 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41433662 14427037696 34245 33554432000 4194304 4196468 140727650612400 139781811333808 139782637947522 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
Current children cumulated CPU time: 2.29 s
Current children cumulated vsize: 14088904 KiB
Current children cumulated memory: 136980 KiB

[startup+1.40148 s]
/proc/loadavg: 1.55 1.53 1.60 4/216 31183
/proc/meminfo: memFree=22959016/32770624 swapFree=67108860/67108860
[pid=31168] ppid=31165 vsize=14090952 memory=152536 CPUtime=2.8 cores=0,2,4,6
/proc/31168/stat : 31168 (java) S 31165 31168 29534 0 -1 1077944320 24060 0 0 0 273 7 0 0 20 0 15 0 41433656 14429134848 38134 33554432000 4194304 4196468 140727650612400 140727650594944 139782637936375 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
/proc/31168/statm: 3522738 38134 3547 1 0 3484809 0
[pid=31168/tid=31170] ppid=31165 vsize=14090952 memory=18484 CPUtime=1.37 cores=0,2,4,6
/proc/31168/task/31170/stat : 31170 (java) R 31165 31168 29534 0 -1 4202560 18503 0 0 0 132 5 0 0 20 0 15 0 41433656 14429134848 38134 33554432000 4194304 4196468 140727650612400 139782642170064 139782275644896 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31171] ppid=31165 vsize=14090952 memory=644 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31171/stat : 31171 (java) S 31165 31168 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41433657 14429134848 38134 33554432000 4194304 4196468 140727650612400 139782233865360 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31172] ppid=31165 vsize=14090952 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31172/stat : 31172 (java) S 31165 31168 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41433657 14429134848 38134 33554432000 4194304 4196468 140727650612400 139782232812560 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31173] ppid=31165 vsize=14090952 memory=952 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31173/stat : 31173 (java) S 31165 31168 29534 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41433657 14429134848 38134 33554432000 4194304 4196468 140727650612400 139782231759760 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31174] ppid=31165 vsize=14090952 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31174/stat : 31174 (java) S 31165 31168 29534 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41433657 14429134848 38134 33554432000 4194304 4196468 140727650612400 139782230706960 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31175] ppid=31165 vsize=14090952 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31175/stat : 31175 (java) S 31165 31168 29534 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 41433658 14429134848 38134 33554432000 4194304 4196468 140727650612400 139781819754864 139782637947522 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31176] ppid=31165 vsize=14090952 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31176/stat : 31176 (java) S 31165 31168 29534 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41433659 14429134848 38134 33554432000 4194304 4196468 140727650612400 139781818700832 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31177] ppid=31165 vsize=14090952 memory=279880873592928 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31177/stat : 31177 (java) S 31165 31168 29534 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41433659 14429134848 38134 33554432000 4194304 4196468 140727650612400 139781817647984 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31178] ppid=31165 vsize=14090952 memory=279880873599648 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31178/stat : 31178 (java) S 31165 31168 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41433661 14429134848 38134 33554432000 4194304 4196468 140727650612400 139781816596304 139782637954971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31179] ppid=31165 vsize=14090952 memory=139940436812320 CPUtime=0.45 cores=0,2,4,6
/proc/31168/task/31179/stat : 31179 (java) R 31165 31168 29534 0 -1 4202560 1210 0 0 0 45 0 0 0 20 0 15 0 41433661 14429134848 38134 33554432000 4194304 4196468 140727650612400 139781815525680 139782619459402 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31180] ppid=31165 vsize=14090952 memory=288230574492221466 CPUtime=0.44 cores=0,2,4,6
/proc/31168/task/31180/stat : 31180 (java) R 31165 31168 29534 0 -1 4202560 1121 0 0 0 44 0 0 0 20 0 15 0 41433662 14429134848 38134 33554432000 4194304 4196468 140727650612400 139781814477768 139782621321229 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31181] ppid=31165 vsize=14090952 memory=288230621803970871 CPUtime=0.52 cores=0,2,4,6
/proc/31168/task/31181/stat : 31181 (java) S 31165 31168 29534 0 -1 1077944384 1826 0 0 0 51 1 0 0 20 0 15 0 41433662 14429134848 38134 33554432000 4194304 4196468 140727650612400 139781813439088 139782637947522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31182] ppid=31165 vsize=14090952 memory=13572582825790009 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31182/stat : 31182 (java) S 31165 31168 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41433662 14429134848 38134 33554432000 4194304 4196468 140727650612400 139781812386528 139782637946581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
[pid=31168/tid=31183] ppid=31165 vsize=14090952 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/31168/task/31183/stat : 31183 (java) S 31165 31168 29534 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41433662 14429134848 38134 33554432000 4194304 4196468 140727650612400 139781811333808 139782637947522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39374848 140727650620489 140727650620681 140727650620681 140727650623439 0
Current children cumulated CPU time: 2.8 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 152536 KiB

Child status: 0
Real time (s): 1.43537
CPU time (s): 2.87321
CPU user time (s): 2.79274
CPU system time (s): 0.08047
CPU usage (%): 200.171
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 152536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.79274
system time used= 0.08047
maximum resident set size= 154176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24387
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= 2503
involuntary context switches= 10


# summary of solver processes directly reported to runsolver:
#   pid: 31168
#   total CPU time (s): 2.87321
#   total CPU user time (s): 2.79274
#   total CPU system time (s): 0.08047

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.021969 second user time and 0.065907 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 4290702

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
