Trace number 4086178

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.13 1800.56

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-172.opb
MD5SUM6217a9adeb5cd4d9104428c4e3eb327a
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 variables288080
Total number of constraints6434441
Number of constraints which are clauses5760324
Number of constraints which are cardinality constraints (but not clauses)22930
Number of constraints which are nor clauses,nor cardinality constraints651187
Minimum length of a constraint1
Maximum length of a constraint2457
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 2458
Number of bits of the biggest sum of numbers12
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-4086178-1465266719.opb
0.00/0.00	c File size is 315937781 bytes.
1800.06/1800.50	c Sum of soft weights:            0
1800.06/1800.50	c |                                                                                                       |
1800.06/1800.50	c ========================================[ Problem Statistics ]===========================================
1800.06/1800.50	c |                                                                                                       |
1800.06/1800.50	c |  Problem Type:           Unweighted                                                                   |
1800.06/1800.50	c |  Number of variables:        288080                                                                   |
1800.06/1800.50	c |  Number of hard clauses:    5771829                                                                   |
1800.06/1800.50	c |  Number of soft clauses:          0                                                                   |
1800.06/1800.50	c |  Number of cardinality:       22931                                                                   |
1800.06/1800.50	c |  Number of PB :              651187                                                                   |
1800.06/1800.50	c |  Parse time:                  32.38 s                                                                 |
1800.06/1800.50	c |                                                                                                       |
1800.06/1800.50	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-4086178-1465266719/watcher-4086178-1465266719 -o /tmp/evaluation-result-4086178-1465266719/solver-4086178-1465266719 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1465239588-2440 --watchdog 1960 open-wbo HOME/instance-4086178-1465266719.opb 

pid=6016
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.15 2.08 2.06 3/176 6019
/proc/meminfo: memFree=30947732/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=310740 CPUtime=0 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 5446 0 0 0 0 0 0 0 20 0 1 0 108604352 318197760 5323 33554432000 4194304 6059633 140735563916192 140736279750824 5069786 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 77685 5341 5322 456 0 87 0

[startup+0.100172 s]
/proc/loadavg: 2.15 2.08 2.06 3/176 6019
/proc/meminfo: memFree=30947732/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=311136 CPUtime=0.09 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 77508 0 0 0 4 5 0 0 20 0 1 0 108604352 318603264 77384 33554432000 4194304 6059633 140735563916192 140736279750824 5043132 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 77784 77384 77268 456 0 186 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 311136

[startup+0.200359 s]
/proc/loadavg: 2.15 2.08 2.06 3/176 6019
/proc/meminfo: memFree=30947732/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=313032 CPUtime=0.19 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 77955 0 0 0 14 5 0 0 20 0 1 0 108604352 320544768 77831 33554432000 4194304 6059633 140735563916192 140735563914376 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 78258 77831 77268 456 0 660 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 313032

[startup+0.300268 s]
/proc/loadavg: 2.15 2.08 2.06 3/176 6019
/proc/meminfo: memFree=30947732/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=314636 CPUtime=0.29 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 78379 0 0 0 24 5 0 0 20 0 1 0 108604352 322187264 78255 33554432000 4194304 6059633 140735563916192 140735563914376 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 78659 78256 77268 456 0 1061 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 314636

[startup+0.700238 s]
/proc/loadavg: 2.15 2.08 2.06 3/176 6019
/proc/meminfo: memFree=30947732/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=321936 CPUtime=0.69 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 80026 0 0 0 64 5 0 0 20 0 1 0 108604352 329662464 79902 33554432000 4194304 6059633 140735563916192 140735563914376 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 80517 79903 77268 456 0 2919 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 321936

[startup+1.50028 s]
/proc/loadavg: 2.15 2.08 2.06 3/177 6020
/proc/meminfo: memFree=30929500/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=335856 CPUtime=1.48 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 83193 0 0 0 143 5 0 0 20 0 1 0 108604352 343916544 83069 33554432000 4194304 6059633 140735563916192 140735563914520 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 83964 83069 77268 456 0 6366 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 335856

[startup+3.10029 s]
/proc/loadavg: 2.15 2.08 2.06 3/177 6020
/proc/meminfo: memFree=30896512/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=358988 CPUtime=3.09 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 88856 0 0 0 303 6 0 0 20 0 1 0 108604352 367603712 89243 33554432000 4194304 6059633 140735563916192 140735563914552 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 89747 89243 77268 456 0 12149 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 358988

[startup+6.30028 s]
/proc/loadavg: 2.22 2.10 2.06 3/177 6020
/proc/meminfo: memFree=30827364/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=409612 CPUtime=6.29 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 99388 0 0 0 620 9 0 0 20 0 1 0 108604352 419442688 101308 33554432000 4194304 6059633 140735563916192 140735563914520 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 102403 101309 77268 456 0 24805 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 409612

[startup+12.7002 s]
/proc/loadavg: 2.20 2.10 2.06 3/177 6020
/proc/meminfo: memFree=30727908/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=510800 CPUtime=12.69 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 118964 0 0 0 1257 12 0 0 20 0 1 0 108604352 523059200 124461 33554432000 4194304 6059633 140735563916192 140735563914520 5047405 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 127700 124461 77268 456 0 50102 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 510800

[startup+25.5002 s]
/proc/loadavg: 2.15 2.09 2.06 3/177 6020
/proc/meminfo: memFree=30530308/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=677284 CPUtime=25.49 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 154791 0 0 0 2531 18 0 0 20 0 1 0 108604352 693538816 168464 33554432000 4194304 6059633 140735563916192 140735563914376 5047405 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 169321 168464 77268 456 0 91723 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 677284

[startup+51.1003 s]
/proc/loadavg: 2.10 2.08 2.06 3/177 6020
/proc/meminfo: memFree=27511228/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=3671120 CPUtime=51.09 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 478237 0 0 0 5003 106 0 0 20 0 1 0 108604352 3759226880 842292 33554432000 4194304 6059633 140735563916192 140735563914664 4277781 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 917780 842292 183 456 0 917316 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 3671120

[startup+102.3 s]
/proc/loadavg: 2.10 2.08 2.06 3/177 6022
/proc/meminfo: memFree=27434460/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4069364 CPUtime=102.28 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 504182 0 0 0 10112 116 0 0 20 0 1 0 108604352 4167028736 856461 33554432000 4194304 6059633 140735563916192 140735563914568 4277832 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1017341 856461 183 456 0 1016877 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 4069364

[startup+162.3 s]
/proc/loadavg: 2.03 2.07 2.05 3/177 6023
/proc/meminfo: memFree=27421360/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4076012 CPUtime=162.27 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 522494 0 0 0 16105 122 0 0 20 0 1 0 108604352 4173836288 859173 33554432000 4194304 6059633 140735563916192 140735563914664 4277676 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1019003 859173 183 456 0 1018539 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 4076012

[startup+222.3 s]
/proc/loadavg: 2.12 2.08 2.06 3/177 6024
/proc/meminfo: memFree=27403968/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4089756 CPUtime=222.25 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 542592 0 0 0 22096 129 0 0 20 0 1 0 108604352 4187910144 863643 33554432000 4194304 6059633 140735563916192 140735563914568 4277710 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1022439 863643 183 456 0 1021975 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 4089756

[startup+282.307 s]
/proc/loadavg: 2.09 2.08 2.06 3/177 6025
/proc/meminfo: memFree=27388312/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4099868 CPUtime=282.26 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 562005 0 0 0 28090 136 0 0 20 0 1 0 108604352 4198264832 867471 33554432000 4194304 6059633 140735563916192 140735563915048 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1024967 867471 183 456 0 1024503 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 4099868

[startup+342.3 s]
/proc/loadavg: 2.07 2.08 2.06 3/177 6026
/proc/meminfo: memFree=27381052/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4100724 CPUtime=342.24 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 578839 0 0 0 34082 142 0 0 20 0 1 0 108604352 4199141376 869208 33554432000 4194304 6059633 140735563916192 140735563914568 4254740 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1025181 869208 183 456 0 1024717 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 4100724

[startup+402.3 s]
/proc/loadavg: 2.06 2.08 2.05 3/177 6028
/proc/meminfo: memFree=27372796/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4102412 CPUtime=402.21 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 592579 0 0 0 40073 148 0 0 20 0 1 0 108604352 4200869888 871241 33554432000 4194304 6059633 140735563916192 140735563914984 4246291 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1025603 871241 183 456 0 1025139 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 4102412

[startup+462.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/177 6029
/proc/meminfo: memFree=27360260/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4104484 CPUtime=462.18 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 606438 0 0 0 46064 154 0 0 20 0 1 0 108604352 4202991616 874614 33554432000 4194304 6059633 140735563916192 140735563914664 4246344 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1026121 874614 183 456 0 1025657 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 4104484

[startup+522.3 s]
/proc/loadavg: 2.00 2.05 2.04 3/178 6033
/proc/meminfo: memFree=27351980/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4105188 CPUtime=522.17 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 616664 0 0 0 52059 158 0 0 20 0 1 0 108604352 4203712512 876492 33554432000 4194304 6059633 140735563916192 140735563915048 4277710 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1026297 876492 183 456 0 1025833 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 4105188

[startup+582.3 s]
/proc/loadavg: 2.03 2.05 2.04 3/177 6034
/proc/meminfo: memFree=27345868/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4108540 CPUtime=582.14 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 624172 0 0 0 58053 161 0 0 20 0 1 0 108604352 4207144960 878002 33554432000 4194304 6059633 140735563916192 140735563914504 4277864 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1027135 878002 183 456 0 1026671 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 4108540


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


[startup+942.307 s]
/proc/loadavg: 2.03 2.06 2.04 3/177 6041
/proc/meminfo: memFree=27326760/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4111460 CPUtime=942.01 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 684924 0 0 0 94017 184 0 0 20 0 1 0 108604352 4210135040 883470 33554432000 4194304 6059633 140735563916192 140735563915048 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1027865 883470 183 456 0 1027401 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 4111460

[startup+1002.3 s]
/proc/loadavg: 2.05 2.06 2.04 4/177 6043
/proc/meminfo: memFree=27322536/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4112040 CPUtime=1001.99 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 695047 0 0 0 100012 187 0 0 20 0 1 0 108604352 4210728960 884146 33554432000 4194304 6059633 140735563916192 140735563915048 4277663 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1028010 884146 183 456 0 1027546 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 4112040

[startup+1062.3 s]
/proc/loadavg: 2.02 2.05 2.04 4/177 6044
/proc/meminfo: memFree=27313620/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4112172 CPUtime=1061.98 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 695069 0 0 0 106011 187 0 0 20 0 1 0 108604352 4210864128 884678 33554432000 4194304 6059633 140735563916192 140735563914504 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1028043 884678 183 456 0 1027579 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 4112172

[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.03 3/178 6048
/proc/meminfo: memFree=27309356/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4112300 CPUtime=1121.97 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 695116 0 0 0 112010 187 0 0 20 0 1 0 108604352 4210995200 885747 33554432000 4194304 6059633 140735563916192 140735563914808 4277781 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1028075 885747 183 456 0 1027611 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 4112300

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/177 6049
/proc/meminfo: memFree=27306300/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4112944 CPUtime=1181.95 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 701928 0 0 0 118005 190 0 0 20 0 1 0 108604352 4211654656 886417 33554432000 4194304 6059633 140735563916192 140735563915048 4277768 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1028236 886417 183 456 0 1027772 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 4112944

[startup+1242.3 s]
/proc/loadavg: 2.07 2.04 2.03 3/177 6050
/proc/meminfo: memFree=27324644/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4113076 CPUtime=1241.94 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 701951 0 0 0 124004 190 0 0 20 0 1 0 108604352 4211789824 886951 33554432000 4194304 6059633 140735563916192 140735563914568 4278373 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1028269 886951 183 456 0 1027805 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 4113076

[startup+1302.3 s]
/proc/loadavg: 2.10 2.06 2.03 3/177 6052
/proc/meminfo: memFree=27299340/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4113144 CPUtime=1301.93 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 705316 0 0 0 130001 192 0 0 20 0 1 0 108604352 4211859456 888005 33554432000 4194304 6059633 140735563916192 140735563914808 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1028286 888005 183 456 0 1027822 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 4113144

[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 2.03 3/177 6053
/proc/meminfo: memFree=27294196/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4113500 CPUtime=1361.93 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 708710 0 0 0 135999 194 0 0 20 0 1 0 108604352 4212224000 889096 33554432000 4194304 6059633 140735563916192 140735563914808 4277710 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1028375 889096 183 456 0 1027911 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 4113500

[startup+1422.3 s]
/proc/loadavg: 2.01 2.03 2.02 3/177 6054
/proc/meminfo: memFree=27287220/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4114280 CPUtime=1421.92 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 715566 0 0 0 141995 197 0 0 20 0 1 0 108604352 4213022720 890334 33554432000 4194304 6059633 140735563916192 140735563915048 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1028570 890334 183 456 0 1028106 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 4114280

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/177 6055
/proc/meminfo: memFree=27283092/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4114280 CPUtime=1481.91 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 715567 0 0 0 147994 197 0 0 20 0 1 0 108604352 4213022720 890846 33554432000 4194304 6059633 140735563916192 140735563915048 4277663 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1028570 890846 183 456 0 1028106 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 4114280

[startup+1542.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/177 6056
/proc/meminfo: memFree=27282912/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4116492 CPUtime=1541.9 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 722742 0 0 0 153990 200 0 0 20 0 1 0 108604352 4215287808 891889 33554432000 4194304 6059633 140735563916192 140735563914568 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1029123 891889 183 456 0 1028659 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 4116492

[startup+1602.31 s]
/proc/loadavg: 2.02 2.03 2.01 3/177 6058
/proc/meminfo: memFree=27277660/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4117800 CPUtime=1601.9 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 726399 0 0 0 159988 202 0 0 20 0 1 0 108604352 4216627200 893248 33554432000 4194304 6059633 140735563916192 140735563914504 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1029450 893248 183 456 0 1028986 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 4117800

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 6059
/proc/meminfo: memFree=27274988/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4117932 CPUtime=1661.88 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 726454 0 0 0 165986 202 0 0 20 0 1 0 108604352 4216762368 893814 33554432000 4194304 6059633 140735563916192 140735563914504 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1029483 893814 183 456 0 1029019 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 4117932

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 6063
/proc/meminfo: memFree=27275528/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4117932 CPUtime=1721.87 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 726456 0 0 0 171985 202 0 0 20 0 1 0 108604352 4216762368 894838 33554432000 4194304 6059633 140735563916192 140735563914504 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1029483 894838 183 456 0 1029019 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 4117932

[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 6133
/proc/meminfo: memFree=26861340/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4118052 CPUtime=1781.86 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 729819 0 0 0 177982 204 0 0 20 0 1 0 108604352 4216885248 895386 33554432000 4194304 6059633 140735563916192 140735563915048 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1029513 895386 183 456 0 1029049 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 4118052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 6133
/proc/meminfo: memFree=26846076/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4118052 CPUtime=1800.06 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 729820 0 0 0 179802 204 0 0 20 0 1 0 108604352 4216885248 895898 33554432000 4194304 6059633 140735563916192 140735563915048 4278035 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1029513 895898 183 456 0 1029049 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 4118052

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 6019 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 6133
/proc/meminfo: memFree=26846076/32872528 swapFree=11252/530428
[pid=6019] ppid=6016 vsize=4118052 CPUtime=1800.06 cores=1,3,5,7
/proc/6019/stat : 6019 (open-wbo) R 6016 6019 2423 0 -1 4202496 729820 0 0 0 179802 204 0 0 20 0 1 0 108604352 4216885248 895898 33554432000 4194304 6059633 140735563916192 140735563915048 4278035 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6019/statm: 1029513 895898 183 456 0 1029049 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 4118052

Child status: 40
Real time (s): 1800.56
CPU time (s): 1800.13
CPU user time (s): 1798.02
CPU system time (s): 2.10368
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 4159576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.02
system time used= 2.10368
maximum resident set size= 3617304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 729823
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= 251
involuntary context switches= 1833

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.29519 second user time and 8.09777 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-07 04:32:06
IDJOB=4086178
IDBENCH=89646
IDSOLVER=2547
FILE ID=node141/4086178-1465266719
RUNJOBID= node141-1465239588-2440
PBS_JOBID= 19843243
Free space on /tmp= 71432 MiB

SOLVER NAME= Open-WBO PB16
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-172.opb
COMMAND LINE= open-wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4086178-1465266719/watcher-4086178-1465266719 -o /tmp/evaluation-result-4086178-1465266719/solver-4086178-1465266719 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1465239588-2440 --watchdog 1960  open-wbo HOME/instance-4086178-1465266719.opb

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

MD5SUM BENCH= 6217a9adeb5cd4d9104428c4e3eb327a
RANDOM SEED=1901429393

node141.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		: 2666.876
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	: 5333.75
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		: 2666.876
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.55
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		: 2666.876
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		: 2666.876
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		: 2666.876
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		: 2666.876
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		: 2666.876
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.56
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		: 2666.876
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:        30948376 kB
Buffers:           80124 kB
Cached:           433544 kB
SwapCached:         1740 kB
Active:           510720 kB
Inactive:         140412 kB
Active(anon):     137064 kB
Inactive(anon):     2464 kB
Active(file):     373656 kB
Inactive(file):   137948 kB
Unevictable:      530428 kB
Mlocked:           11252 kB
SwapTotal:      67108856 kB
SwapFree:       67098208 kB
Dirty:            327408 kB
Writeback:             0 kB
AnonPages:        669176 kB
Mapped:             7912 kB
Shmem:                 0 kB
Slab:             612136 kB
SReclaimable:      55268 kB
SUnreclaim:       556868 kB
KernelStack:        1440 kB
PageTables:         5456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     802396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    548864 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= 71388 MiB
End job on node141 at 2016-06-07 05:02:06