Trace number 4086173

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Open-WBO PB16? (TO) 1800.08 1800.4

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-146.opb
MD5SUM132271a8a55b01af9ffef359148ae5e1
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48417
Total number of constraints1121431
Number of constraints which are clauses1007614
Number of constraints which are cardinality constraints (but not clauses)3525
Number of constraints which are nor clauses,nor cardinality constraints110292
Minimum length of a constraint2
Maximum length of a constraint690
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 691
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c
0.00/0.00	c Open-WBO:	 a Modular MaxSAT Solver -- based on Glucose4.0 (core version)
0.00/0.00	c Version:	 Pseudo-Boolean Evaluation 2016
0.00/0.00	c Authors:	 Ruben Martins, Vasco Manquinho, Ines Lynce
0.00/0.00	c Contributors:	 Miguel Neves, Saurabh Joshi, Mikolas Janota
0.00/0.00	c Contact:	 open-wbo@sat.inesc-id.pt -- http://sat.inesc-id.pt/open-wbo/
0.00/0.00	c
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Instance file HOME/instance-4086173-1465266718.opb
0.00/0.00	c File size is 50921616 bytes.
1800.06/1800.40	c Sum of soft weights:            0
1800.06/1800.40	c |                                                                                                       |
1800.06/1800.40	c ========================================[ Problem Statistics ]===========================================
1800.06/1800.40	c |                                                                                                       |
1800.06/1800.40	c |  Problem Type:           Unweighted                                                                   |
1800.06/1800.40	c |  Number of variables:         48417                                                                   |
1800.06/1800.40	c |  Number of hard clauses:    1009387                                                                   |
1800.06/1800.40	c |  Number of soft clauses:          0                                                                   |
1800.06/1800.40	c |  Number of cardinality:        3527                                                                   |
1800.06/1800.40	c |  Number of PB :              110292                                                                   |
1800.06/1800.40	c |  Parse time:                   5.15 s                                                                 |
1800.06/1800.40	c |                                                                                                       |
1800.06/1800.40	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4086173-1465266718/watcher-4086173-1465266718 -o /tmp/evaluation-result-4086173-1465266718/solver-4086173-1465266718 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1465253786-15006 --watchdog 1960 open-wbo HOME/instance-4086173-1465266718.opb 

pid=17908
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.27 2.23 2.19 2/176 17911
/proc/meminfo: memFree=29866408/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=51936 CPUtime=0 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 5434 0 0 0 0 0 0 0 20 0 1 0 108603693 53182464 5310 33554432000 4194304 6059633 140735765430304 140733824109256 5069786 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 12984 5327 5307 456 0 87 0

[startup+0.10017 s]
/proc/loadavg: 2.27 2.23 2.19 2/176 17911
/proc/meminfo: memFree=29866408/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=53524 CPUtime=0.08 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 13109 0 0 0 8 0 0 0 20 0 1 0 108603693 54808576 12984 33554432000 4194304 6059633 140735765430304 140733824109256 5043379 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 13381 12984 12567 456 0 484 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 53524

[startup+0.200379 s]
/proc/loadavg: 2.27 2.23 2.19 2/176 17911
/proc/meminfo: memFree=29866408/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=55336 CPUtime=0.19 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 13532 0 0 0 18 1 0 0 20 0 1 0 108603693 56664064 13407 33554432000 4194304 6059633 140735765430304 140733824109256 5043379 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 13834 13407 12567 456 0 937 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 55336

[startup+0.300365 s]
/proc/loadavg: 2.27 2.23 2.19 2/176 17911
/proc/meminfo: memFree=29866408/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=57084 CPUtime=0.29 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 13946 0 0 0 28 1 0 0 20 0 1 0 108603693 58454016 13821 33554432000 4194304 6059633 140735765430304 140733824109256 4210904 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 14271 13822 12567 456 0 1374 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 57084

[startup+0.700239 s]
/proc/loadavg: 2.27 2.23 2.19 2/176 17911
/proc/meminfo: memFree=29866408/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=63904 CPUtime=0.69 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 15539 0 0 0 68 1 0 0 20 0 1 0 108603693 65437696 15414 33554432000 4194304 6059633 140735765430304 140733824109256 5156874 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 15976 15414 12567 456 0 3079 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63904

[startup+1.50024 s]
/proc/loadavg: 2.33 2.24 2.19 3/177 17912
/proc/meminfo: memFree=29848388/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=77692 CPUtime=1.49 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 18712 0 0 0 148 1 0 0 20 0 1 0 108603693 79556608 18587 33554432000 4194304 6059633 140735765430304 140735765428664 5043379 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 19423 18587 12567 456 0 6526 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 77692

[startup+3.10027 s]
/proc/loadavg: 2.33 2.24 2.19 3/177 17912
/proc/meminfo: memFree=29830944/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=100560 CPUtime=3.09 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 24834 0 0 0 307 2 0 0 20 0 1 0 108603693 102973440 24709 33554432000 4194304 6059633 140735765430304 140735765428488 5043379 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 25140 24710 12567 456 0 12243 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 100560

[startup+6.30025 s]
/proc/loadavg: 2.30 2.24 2.19 3/177 17912
/proc/meminfo: memFree=29550304/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=590172 CPUtime=6.29 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 93905 0 0 0 613 16 0 0 20 0 1 0 108603693 604336128 123673 33554432000 4194304 6059633 140735765430304 140735765428088 5043379 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 147543 123675 162 456 0 147079 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 590172

[startup+12.7003 s]
/proc/loadavg: 2.28 2.23 2.19 3/177 17912
/proc/meminfo: memFree=29276300/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=712564 CPUtime=12.69 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 109622 0 0 0 1250 19 0 0 20 0 1 0 108603693 729665536 147028 33554432000 4194304 6059633 140735765430304 140735765428680 4254603 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 178141 147028 181 456 0 177677 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 712564

[startup+25.5003 s]
/proc/loadavg: 2.31 2.24 2.19 3/177 17912
/proc/meminfo: memFree=29269980/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=715492 CPUtime=25.48 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 110377 0 0 0 2529 19 0 0 20 0 1 0 108603693 732663808 148294 33554432000 4194304 6059633 140735765430304 140735765428680 4277855 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 178873 148294 181 456 0 178409 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 715492

[startup+51.1003 s]
/proc/loadavg: 2.24 2.23 2.19 3/177 17912
/proc/meminfo: memFree=29246032/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=732304 CPUtime=51.08 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 112185 0 0 0 5089 19 0 0 20 0 1 0 108603693 749879296 153168 33554432000 4194304 6059633 140735765430304 140735765428664 4277781 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 183076 153168 181 456 0 182612 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 732304

[startup+102.3 s]
/proc/loadavg: 2.21 2.22 2.18 3/177 17913
/proc/meminfo: memFree=29245356/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=732304 CPUtime=102.27 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 112192 0 0 0 10208 19 0 0 20 0 1 0 108603693 749879296 155219 33554432000 4194304 6059633 140735765430304 140735765428664 4277549 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 183076 155219 181 456 0 182612 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 732304

[startup+162.3 s]
/proc/loadavg: 2.18 2.21 2.18 3/177 17914
/proc/meminfo: memFree=29227716/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=732304 CPUtime=162.26 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 112631 0 0 0 16204 22 0 0 20 0 1 0 108603693 749879296 155920 33554432000 4194304 6059633 140735765430304 140735765429128 4254778 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 183076 155920 182 456 0 182612 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 732304

[startup+222.3 s]
/proc/loadavg: 2.10 2.18 2.17 3/177 17915
/proc/meminfo: memFree=29223120/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=742644 CPUtime=222.26 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 113677 0 0 0 22201 25 0 0 20 0 1 0 108603693 760467456 158849 33554432000 4194304 6059633 140735765430304 140735765428664 4278035 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 185661 158849 182 456 0 185197 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 742644

[startup+282.3 s]
/proc/loadavg: 2.12 2.18 2.17 3/177 17962
/proc/meminfo: memFree=29384600/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=742644 CPUtime=282.24 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 114275 0 0 0 28196 28 0 0 20 0 1 0 108603693 760467456 155777 33554432000 4194304 6059633 140735765430304 140735765429128 4277549 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 185661 155777 182 456 0 185197 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 742644

[startup+342.3 s]
/proc/loadavg: 2.25 2.20 2.18 3/177 17963
/proc/meminfo: memFree=29376196/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=742644 CPUtime=342.24 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 115315 0 0 0 34191 33 0 0 20 0 1 0 108603693 760467456 157826 33554432000 4194304 6059633 140735765430304 140735765429128 4277570 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 185661 157826 182 456 0 185197 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 742644

[startup+402.3 s]
/proc/loadavg: 2.23 2.21 2.18 3/177 17964
/proc/meminfo: memFree=29367204/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=747144 CPUtime=402.23 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 116943 0 0 0 40186 37 0 0 20 0 1 0 108603693 765075456 156875 33554432000 4194304 6059633 140735765430304 140735765429128 4277570 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 186786 156875 182 456 0 186322 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 747144

[startup+462.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/177 17965
/proc/meminfo: memFree=29346484/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=747144 CPUtime=462.22 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 116981 0 0 0 46185 37 0 0 20 0 1 0 108603693 765075456 161512 33554432000 4194304 6059633 140735765430304 140735765429128 4277549 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 186786 161512 182 456 0 186322 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 747144

[startup+522.3 s]
/proc/loadavg: 2.36 2.25 2.19 3/178 17969
/proc/meminfo: memFree=29331524/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=747144 CPUtime=522.21 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 118036 0 0 0 52180 41 0 0 20 0 1 0 108603693 765075456 159981 33554432000 4194304 6059633 140735765430304 140735765429128 4277570 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 186786 159981 182 456 0 186322 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 747144

[startup+582.307 s]
/proc/loadavg: 2.37 2.26 2.20 3/176 18015
/proc/meminfo: memFree=29368264/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=754236 CPUtime=582.21 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 120181 0 0 0 58176 45 0 0 20 0 1 0 108603693 772337664 159555 33554432000 4194304 6059633 140735765430304 140735765428664 4278354 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 188559 159555 182 456 0 188095 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 754236


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


[startup+942.3 s]
/proc/loadavg: 2.33 2.28 2.21 3/177 18023
/proc/meminfo: memFree=29321396/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=762204 CPUtime=942.1 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 122784 0 0 0 94157 53 0 0 20 0 1 0 108603693 780496896 166133 33554432000 4194304 6059633 140735765430304 140735765429128 4277570 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 190551 166133 182 456 0 190087 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 762204

[startup+1002.3 s]
/proc/loadavg: 2.38 2.30 2.21 3/177 18024
/proc/meminfo: memFree=29334556/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=762204 CPUtime=1002.09 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 123823 0 0 0 100152 57 0 0 20 0 1 0 108603693 780496896 161525 33554432000 4194304 6059633 140735765430304 140735765429128 4277645 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 190551 161525 182 456 0 190087 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 762204

[startup+1062.3 s]
/proc/loadavg: 2.30 2.29 2.21 3/177 18025
/proc/meminfo: memFree=29306656/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=762204 CPUtime=1062.08 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 123832 0 0 0 106151 57 0 0 20 0 1 0 108603693 780496896 166133 33554432000 4194304 6059633 140735765430304 140735765429128 4278352 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 190551 166133 182 456 0 190087 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 762204

[startup+1122.3 s]
/proc/loadavg: 2.28 2.28 2.21 3/178 18029
/proc/meminfo: memFree=29336816/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=843592 CPUtime=1122.08 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 124376 0 0 0 112150 58 0 0 20 0 1 0 108603693 863838208 170759 33554432000 4194304 6059633 140735765430304 140735765429096 4277549 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 210898 170759 182 456 0 210434 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 843592

[startup+1182.3 s]
/proc/loadavg: 2.28 2.28 2.22 3/177 18030
/proc/meminfo: memFree=29362788/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=762204 CPUtime=1182.06 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 124874 0 0 0 118145 61 0 0 20 0 1 0 108603693 780496896 164085 33554432000 4194304 6059633 140735765430304 140735765429128 4277879 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 190551 164085 182 456 0 190087 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 762204

[startup+1242.31 s]
/proc/loadavg: 2.21 2.26 2.21 3/177 18032
/proc/meminfo: memFree=29337932/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=843592 CPUtime=1242.05 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 125422 0 0 0 124143 62 0 0 20 0 1 0 108603693 863838208 170247 33554432000 4194304 6059633 140735765430304 140735765429096 4277781 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 210898 170247 182 456 0 210434 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 843592

[startup+1302.3 s]
/proc/loadavg: 2.21 2.24 2.20 3/177 18033
/proc/meminfo: memFree=29299596/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=762204 CPUtime=1302.05 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 125932 0 0 0 130139 66 0 0 20 0 1 0 108603693 780496896 167181 33554432000 4194304 6059633 140735765430304 140735765429128 4277570 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 190551 167181 182 456 0 190087 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 762204

[startup+1362.3 s]
/proc/loadavg: 2.30 2.26 2.21 3/177 18034
/proc/meminfo: memFree=29288332/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=843592 CPUtime=1362.04 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 126480 0 0 0 136136 68 0 0 20 0 1 0 108603693 863838208 171295 33554432000 4194304 6059633 140735765430304 140735765429096 4277586 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 210898 171295 182 456 0 210434 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 843592

[startup+1422.3 s]
/proc/loadavg: 2.32 2.27 2.21 3/177 18035
/proc/meminfo: memFree=29327336/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=762204 CPUtime=1422.02 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 126973 0 0 0 142132 70 0 0 20 0 1 0 108603693 780496896 163597 33554432000 4194304 6059633 140735765430304 140735765429128 4246291 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 190551 163597 182 456 0 190087 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 762204

[startup+1482.3 s]
/proc/loadavg: 2.17 2.23 2.20 3/177 18036
/proc/meminfo: memFree=29293600/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=762204 CPUtime=1482.02 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 126982 0 0 0 148131 71 0 0 20 0 1 0 108603693 780496896 168205 33554432000 4194304 6059633 140735765430304 140735765429128 4277586 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 190551 168205 182 456 0 190087 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 762204

[startup+1542.3 s]
/proc/loadavg: 2.17 2.22 2.19 3/177 18038
/proc/meminfo: memFree=29283584/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=843592 CPUtime=1542.01 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 127535 0 0 0 154129 72 0 0 20 0 1 0 108603693 863838208 172831 33554432000 4194304 6059633 140735765430304 140735765429096 4277549 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 210898 172831 182 456 0 210434 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 843592

[startup+1602.3 s]
/proc/loadavg: 2.21 2.22 2.19 3/177 18039
/proc/meminfo: memFree=29294648/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=768940 CPUtime=1602 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 128147 0 0 0 160125 75 0 0 20 0 1 0 108603693 787394560 166793 33554432000 4194304 6059633 140735765430304 140735765428664 4277570 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 192235 166793 182 456 0 191771 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 768940

[startup+1662.3 s]
/proc/loadavg: 2.21 2.21 2.18 3/176 18040
/proc/meminfo: memFree=29316316/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=768940 CPUtime=1661.99 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 128301 0 0 0 166123 76 0 0 20 0 1 0 108603693 787394560 165408 33554432000 4194304 6059633 140735765430304 140735765429128 4277549 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 192235 165408 182 456 0 191771 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 768940

[startup+1722.3 s]
/proc/loadavg: 2.27 2.23 2.19 3/178 18045
/proc/meminfo: memFree=29285784/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=768940 CPUtime=1721.97 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 128477 0 0 0 172121 76 0 0 20 0 1 0 108603693 787394560 169671 33554432000 4194304 6059633 140735765430304 140735765429128 4278352 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 192235 169671 182 456 0 191771 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 768940

[startup+1782.3 s]
/proc/loadavg: 2.35 2.26 2.20 3/178 18069
/proc/meminfo: memFree=29306764/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=768940 CPUtime=1781.97 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 129170 0 0 0 178118 79 0 0 20 0 1 0 108603693 787394560 167968 33554432000 4194304 6059633 140735765430304 140735765429128 4277663 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 192235 167968 182 456 0 191771 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 768940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.27 2.25 2.19 3/178 18070
/proc/meminfo: memFree=29288216/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=768940 CPUtime=1800.06 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 129172 0 0 0 179927 79 0 0 20 0 1 0 108603693 787394560 168992 33554432000 4194304 6059633 140735765430304 140735765429128 4278373 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 192235 168992 182 456 0 191771 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 768940

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17911 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.4 s]
/proc/loadavg: 2.27 2.25 2.19 3/178 18070
/proc/meminfo: memFree=29288216/32872528 swapFree=18240/1696364
[pid=17911] ppid=17908 vsize=768940 CPUtime=1800.06 cores=1,3,5,7
/proc/17911/stat : 17911 (open-wbo) R 17908 17911 14989 0 -1 4202496 129172 0 0 0 179927 79 0 0 20 0 1 0 108603693 787394560 168992 33554432000 4194304 6059633 140735765430304 140735765429128 4278373 0 0 4096 8404992 0 0 0 17 5 0 0 0 0 0
/proc/17911/statm: 192235 168992 182 456 0 191771 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 768940

Child status: 40
Real time (s): 1800.4
CPU time (s): 1800.08
CPU user time (s): 1799.28
CPU system time (s): 0.802877
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 980556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 0.802877
maximum resident set size= 799432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129175
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 93
involuntary context switches= 1857

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.65129 second user time and 6.81096 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-07 04:31:59
IDJOB=4086173
IDBENCH=89637
IDSOLVER=2547
FILE ID=node137/4086173-1465266718
RUNJOBID= node137-1465253786-15006
PBS_JOBID= 19843269
Free space on /tmp= 71680 MiB

SOLVER NAME= Open-WBO PB16
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-146.opb
COMMAND LINE= open-wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4086173-1465266718/watcher-4086173-1465266718 -o /tmp/evaluation-result-4086173-1465266718/solver-4086173-1465266718 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1465253786-15006 --watchdog 1960  open-wbo HOME/instance-4086173-1465266718.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 132271a8a55b01af9ffef359148ae5e1
RANDOM SEED=1456792999

node137.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.018
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.018
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.018
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.018
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.018
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.018
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.018
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.018
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29866780 kB
Buffers:           83656 kB
Cached:           199668 kB
SwapCached:         2556 kB
Active:           428576 kB
Inactive:         139800 kB
Active(anon):     284696 kB
Inactive(anon):     2836 kB
Active(file):     143880 kB
Inactive(file):   136964 kB
Unevictable:     1696364 kB
Mlocked:           18240 kB
SwapTotal:      67108856 kB
SwapFree:       67099008 kB
Dirty:             54532 kB
Writeback:             0 kB
AnonPages:       1988612 kB
Mapped:             8988 kB
Shmem:                 0 kB
Slab:             601448 kB
SReclaimable:      45012 kB
SUnreclaim:       556436 kB
KernelStack:        1440 kB
PageTables:         8040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2130464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1931264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71676 MiB
End job on node137 at 2016-06-07 05:01:59