Trace number 3460978

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 NameAnswerobjective functionCPU timeWall clock time
wbo 1.6? (TO) 1800.12 1800.06

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_1.opb
MD5SUMcdfa46b59876181d5d89fd18757b8cfb
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark1797.53
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint66
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1273
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4329
Number of bits of the biggest sum of numbers13
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 wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3460978-1307105519.opb.
0.00/0.00	c Instance file HOME/instance-3460978-1307105519.opb
0.00/0.00	c File size is 7798 bytes.
0.00/0.00	c Highest Coefficient sum: 4329
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      146                                                 |
0.00/0.00	c |  Number Clauses:        0                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 12                                                  |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     146       12      792 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      50      108      792 |     5000        0   -nan |  0.000 % |
0.00/0.00	c |       100 |      50      108      792 |     5500      100     70 | 65.758 % |
0.00/0.01	c |       250 |      50      108      792 |     6050      250     65 | 65.758 % |
0.00/0.01	c |       475 |      50      108      792 |     6655      475     64 | 65.758 % |
0.00/0.03	c |       812 |      50      108      792 |     7320      812     63 | 65.758 % |
0.00/0.04	c |      1318 |      50      108      792 |     8052     1318     64 | 65.758 % |
0.00/0.08	c |      2077 |      50      108      792 |     8857     2077     65 | 65.758 % |
0.09/0.13	c |      3216 |      50      108      792 |     9743     3216     65 | 65.758 % |
0.19/0.22	c |      4924 |      50      108      792 |    10717     4924     68 | 65.758 % |
0.29/0.38	c |      7486 |      50      108      792 |    11789     7486     69 | 65.758 % |
0.59/0.67	c |     11331 |      50      108      792 |    12968    11331     72 | 65.758 % |
1.10/1.13	c |     17097 |      50      108      792 |    14265    10547     75 | 65.758 % |
1.79/1.90	c |     25746 |      50      108      792 |    15692    12000     75 | 65.758 % |
3.09/3.17	c |     38720 |      50      108      792 |    17261     9149     74 | 65.758 % |
5.09/5.14	c |     58181 |      50      108      792 |    18987    11218     71 | 65.758 % |
8.19/8.23	c |     87374 |      50      108      792 |    20886    11739     72 | 65.758 % |
13.10/13.14	c |    131164 |      50      108      792 |    22974    13498     74 | 65.758 % |
20.99/21.00	c |    196848 |      50      108      792 |    25272    17377     71 | 65.758 % |
32.69/32.76	c |    295374 |      50      108      792 |    27799    13946     72 | 65.758 % |
49.59/49.63	c |    443164 |      50      108      792 |    30579    25772     66 | 65.758 % |
79.49/79.53	c |    664847 |      50      108      792 |    33637    11277     74 | 65.758 % |
126.19/126.25	c |    997372 |      50      108      792 |    37001    26811     73 | 65.758 % |
199.11/199.14	c |   1496160 |      50      108      792 |    40701    33248     71 | 65.758 % |
315.20/315.26	c |   2244343 |      50      108      792 |    44771    14032     72 | 65.758 % |
490.30/490.36	c |   3366618 |      50      108      792 |    49248    31061     67 | 65.758 % |
772.82/772.82	c |   5050029 |      50      108      792 |    54173    48040     69 | 65.758 % |
1235.63/1235.60	c |   7575146 |      50      108      792 |    59590    53549     72 | 65.758 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3460978-1307105519/watcher-3460978-1307105519 -o /tmp/evaluation-result-3460978-1307105519/solver-3460978-1307105519 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460978-1307105519.opb 

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

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: 1.26 1.81 1.92 2/433 19820
/proc/meminfo: memFree=20857828/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=2104 CPUtime=0.01 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 330 0 0 0 1 0 0 0 23 0 1 0 822149812 2154496 282 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 526 282 180 372 0 151 0

[startup+0.0991951 s]
/proc/loadavg: 1.26 1.81 1.92 2/433 19820
/proc/meminfo: memFree=20857828/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=3024 CPUtime=0.09 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 565 0 0 0 9 0 0 0 23 0 1 0 822149812 3096576 517 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 756 517 180 372 0 381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3024

[startup+0.101197 s]
/proc/loadavg: 1.26 1.81 1.92 2/433 19820
/proc/meminfo: memFree=20857828/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=3024 CPUtime=0.09 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 570 0 0 0 9 0 0 0 23 0 1 0 822149812 3096576 522 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 756 522 180 372 0 381 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3024

[startup+0.301159 s]
/proc/loadavg: 1.26 1.81 1.92 2/433 19820
/proc/meminfo: memFree=20857828/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=4752 CPUtime=0.29 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 991 0 0 0 29 0 0 0 23 0 1 0 822149812 4866048 943 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 1188 944 180 372 0 813 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4752

[startup+0.701092 s]
/proc/loadavg: 1.26 1.81 1.92 2/433 19820
/proc/meminfo: memFree=20857828/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=7408 CPUtime=0.69 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 1644 0 0 0 68 1 0 0 25 0 1 0 822149812 7585792 1596 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 1852 1596 180 372 0 1477 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7408

[startup+1.50094 s]
/proc/loadavg: 1.26 1.81 1.92 4/437 19824
/proc/meminfo: memFree=20845732/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=9672 CPUtime=1.49 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 2200 0 0 0 147 2 0 0 25 0 1 0 822149812 9904128 2152 33554432000 4194304 5714214 140735403116624 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 2418 2152 180 372 0 2043 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9672

[startup+3.10061 s]
/proc/loadavg: 1.26 1.81 1.92 4/437 19824
/proc/meminfo: memFree=20838168/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=12084 CPUtime=3.09 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 2802 0 0 0 306 3 0 0 25 0 1 0 822149812 12374016 2754 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 3021 2754 180 372 0 2646 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12084

[startup+6.30104 s]
/proc/loadavg: 1.32 1.81 1.92 4/437 19824
/proc/meminfo: memFree=20828440/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=16288 CPUtime=6.29 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 3817 0 0 0 624 5 0 0 25 0 1 0 822149812 16678912 3769 33554432000 4194304 5714214 140735403116624 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 4072 3769 180 372 0 3697 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16288

[startup+12.7009 s]
/proc/loadavg: 1.54 1.85 1.94 4/437 19824
/proc/meminfo: memFree=20809904/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=23484 CPUtime=12.69 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 5616 0 0 0 1260 9 0 0 25 0 1 0 822149812 24047616 5568 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 5871 5568 180 372 0 5496 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23484

[startup+25.5005 s]
/proc/loadavg: 1.64 1.85 1.94 4/437 19824
/proc/meminfo: memFree=20779764/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=35992 CPUtime=25.49 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 8723 0 0 0 2533 16 0 0 25 0 1 0 822149812 36855808 8675 33554432000 4194304 5714214 140735403116624 18446744073709551615 4299952 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 8998 8675 180 372 0 8623 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35992

[startup+51.1007 s]
/proc/loadavg: 1.76 1.86 1.94 4/437 19825
/proc/meminfo: memFree=20725256/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=59728 CPUtime=51.1 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 14603 0 0 0 5079 31 0 0 25 0 1 0 822149812 61161472 14555 33554432000 4194304 5714214 140735403116624 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 14932 14555 180 372 0 14557 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 59728

[startup+102.316 s]
/proc/loadavg: 1.89 1.88 1.94 3/437 19853
/proc/meminfo: memFree=20745444/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=99968 CPUtime=102.31 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 24645 0 0 0 10172 59 0 0 25 0 1 0 822149812 102367232 24597 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 24992 24597 180 372 0 24617 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 99968

[startup+162.301 s]
/proc/loadavg: 2.12 1.95 1.95 3/437 19855
/proc/meminfo: memFree=20624664/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=143556 CPUtime=162.3 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 35490 0 0 0 16136 94 0 0 25 0 1 0 822149812 147001344 35442 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 35889 35442 180 372 0 35514 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 143556

[startup+222.301 s]
/proc/loadavg: 2.09 1.97 1.96 3/437 19857
/proc/meminfo: memFree=20520588/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=184604 CPUtime=222.29 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 45730 0 0 0 22106 123 0 0 25 0 1 0 822149812 189034496 45682 33554432000 4194304 5714214 140735403116624 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 46151 45682 180 372 0 45776 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 184604

[startup+282.301 s]
/proc/loadavg: 2.03 1.97 1.96 3/437 19858
/proc/meminfo: memFree=20421732/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=222196 CPUtime=282.3 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 55122 0 0 0 28075 155 0 0 25 0 1 0 822149812 227528704 55074 33554432000 4194304 5714214 140735403116624 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 55549 55074 180 372 0 55174 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 222196

[startup+342.301 s]
/proc/loadavg: 2.01 1.97 1.96 3/437 19860
/proc/meminfo: memFree=20323632/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=262516 CPUtime=342.3 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 65156 0 0 0 34043 187 0 0 25 0 1 0 822149812 268816384 65108 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 65629 65108 180 372 0 65254 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 262516

[startup+402.301 s]
/proc/loadavg: 2.00 1.97 1.96 3/437 19861
/proc/meminfo: memFree=20229244/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=301288 CPUtime=402.3 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 74837 0 0 0 40015 215 0 0 25 0 1 0 822149812 308518912 74789 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 75322 74789 180 372 0 74947 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 301288

[startup+462.301 s]
/proc/loadavg: 2.00 1.97 1.96 3/437 19863
/proc/meminfo: memFree=20137336/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=340064 CPUtime=462.31 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 84468 0 0 0 45988 243 0 0 25 0 1 0 822149812 348225536 84420 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 85016 84420 180 372 0 84641 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 340064

[startup+522.301 s]
/proc/loadavg: 2.15 2.00 1.97 3/437 19864
/proc/meminfo: memFree=20051232/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=377676 CPUtime=522.3 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 93890 0 0 0 51958 272 0 0 25 0 1 0 822149812 386740224 93842 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 94419 93842 180 372 0 94044 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 377676

[startup+582.3 s]
/proc/loadavg: 2.05 2.00 1.97 3/437 19875
/proc/meminfo: memFree=19967428/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=412100 CPUtime=582.31 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 102482 0 0 0 57930 301 0 0 25 0 1 0 822149812 421990400 102434 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 103025 102434 180 372 0 102650 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 412100

[startup+642.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.10 2.03 1.98 3/437 19884
/proc/meminfo: memFree=19642460/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=556808 CPUtime=822.32 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 138566 0 0 0 81819 413 0 0 25 0 1 0 822149812 570171392 138518 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 139202 138518 180 372 0 138827 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 556808

[startup+882.301 s]
/proc/loadavg: 2.03 2.02 1.98 3/437 19886
/proc/meminfo: memFree=19563692/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=592364 CPUtime=882.32 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 147413 0 0 0 87790 442 0 0 25 0 1 0 822149812 606580736 147365 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 148091 147365 180 372 0 147716 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 592364

[startup+942.301 s]
/proc/loadavg: 2.01 2.02 1.98 3/437 19888
/proc/meminfo: memFree=19490244/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=624040 CPUtime=942.32 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 155351 0 0 0 93763 469 0 0 25 0 1 0 822149812 639016960 155303 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 156010 155303 180 372 0 155635 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 624040

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/437 19889
/proc/meminfo: memFree=19410956/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=656680 CPUtime=1002.32 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 163487 0 0 0 99738 494 0 0 25 0 1 0 822149812 672440320 163439 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 164170 163439 180 372 0 163795 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 656680

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/437 19891
/proc/meminfo: memFree=19335176/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=689296 CPUtime=1062.32 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 171655 0 0 0 105711 521 0 0 25 0 1 0 822149812 705839104 171607 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 172324 171607 180 372 0 171949 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 689296

[startup+1122.3 s]
/proc/loadavg: 2.04 2.02 1.99 3/437 19892
/proc/meminfo: memFree=19259880/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=721600 CPUtime=1122.33 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 179718 0 0 0 111684 549 0 0 25 0 1 0 822149812 738918400 179670 33554432000 4194304 5714214 140735403116624 18446744073709551615 4319349 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 180400 179670 180 372 0 180025 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 721600

[startup+1182.3 s]
/proc/loadavg: 2.16 2.06 2.00 3/437 19894
/proc/meminfo: memFree=19184328/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=754348 CPUtime=1182.33 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 187856 0 0 0 117660 573 0 0 25 0 1 0 822149812 772452352 187808 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 188587 187808 180 372 0 188212 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 754348

[startup+1242.3 s]
/proc/loadavg: 2.17 2.08 2.01 3/437 19896
/proc/meminfo: memFree=19109264/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=785188 CPUtime=1242.33 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 195596 0 0 0 123635 598 0 0 25 0 1 0 822149812 804032512 195548 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 196297 195548 180 372 0 195922 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 785188

[startup+1302.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/437 19897
/proc/meminfo: memFree=19035560/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=819796 CPUtime=1302.34 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 204223 0 0 0 129610 624 0 0 25 0 1 0 822149812 839471104 204175 33554432000 4194304 5714214 140735403116624 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 204949 204175 180 372 0 204574 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 819796

[startup+1362.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/437 19899
/proc/meminfo: memFree=18968444/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=848248 CPUtime=1362.33 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 211347 0 0 0 135580 653 0 0 25 0 1 0 822149812 868605952 211299 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 212062 211299 180 372 0 211687 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 848248

[startup+1422.32 s]
/proc/loadavg: 2.05 2.06 2.00 3/437 19901
/proc/meminfo: memFree=18895240/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=881776 CPUtime=1422.36 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 219716 0 0 0 141560 676 0 0 25 0 1 0 822149812 902938624 219668 33554432000 4194304 5714214 140735403116624 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 220444 219668 180 372 0 220069 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 881776

[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/437 19902
/proc/meminfo: memFree=18827884/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=909580 CPUtime=1482.34 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 226666 0 0 0 147532 702 0 0 25 0 1 0 822149812 931409920 226618 33554432000 4194304 5714214 140735403116624 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 227395 226618 180 372 0 227020 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 909580

[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/437 19904
/proc/meminfo: memFree=18755188/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=943456 CPUtime=1542.34 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 235143 0 0 0 153509 725 0 0 25 0 1 0 822149812 966098944 235095 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 235864 235095 180 372 0 235489 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 943456

[startup+1602.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/437 19905
/proc/meminfo: memFree=18691164/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=973036 CPUtime=1602.34 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 242538 0 0 0 159484 750 0 0 25 0 1 0 822149812 996388864 242490 33554432000 4194304 5714214 140735403116624 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 243259 242490 180 372 0 242884 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 973036

[startup+1662.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/437 19907
/proc/meminfo: memFree=18615012/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=1004980 CPUtime=1662.35 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 250535 0 0 0 165458 777 0 0 25 0 1 0 822149812 1029099520 250487 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 251245 250487 180 372 0 250870 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 1004980

[startup+1722.3 s]
/proc/loadavg: 2.18 2.08 2.01 3/437 19908
/proc/meminfo: memFree=18546652/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=1036276 CPUtime=1722.34 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 258355 0 0 0 171434 800 0 0 25 0 1 0 822149812 1061146624 258307 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 259069 258307 180 372 0 258694 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1036276

[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/437 19910
/proc/meminfo: memFree=18475704/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=1068256 CPUtime=1782.35 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 266333 0 0 0 177412 823 0 0 25 0 1 0 822149812 1093894144 266285 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 267064 266285 180 372 0 266689 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1068256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.05 2.06 2.01 3/437 19911
/proc/meminfo: memFree=18455860/32951124 swapFree=60787360/67111528
[pid=19820] ppid=19817 vsize=1077448 CPUtime=1800.06 cores=0,2,4,6
/proc/19820/stat : 19820 (wbo1.6) R 19817 19820 18464 0 -1 4202496 268597 0 0 0 179174 832 0 0 25 0 1 0 822149812 1103306752 268549 33554432000 4194304 5714214 140735403116624 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/19820/statm: 269362 268549 180 372 0 268987 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1077448

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

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.06
CPU time (s): 1800.12
CPU user time (s): 1791.75
CPU system time (s): 8.37273
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1077448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.75
system time used= 8.37273
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268597
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= 7
involuntary context switches= 2335

runsolver used 8.30774 second user time and 17.0394 second system time

The end

Launcher Data 

Begin job on node135 at 2011-06-03 14:51:59
IDJOB=3460978
IDBENCH=2902
IDSOLVER=1953
FILE ID=node135/3460978-1307105519
RUNJOBID= node135-1307105519-19803
PBS_JOBID= 13497982
Free space on /tmp= 73960 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_1.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460978-1307105519/watcher-3460978-1307105519 -o /tmp/evaluation-result-3460978-1307105519/solver-3460978-1307105519 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460978-1307105519.opb

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

MD5SUM BENCH= cdfa46b59876181d5d89fd18757b8cfb
RANDOM SEED=1845516200

node135.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 6640.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.851
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.851
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20858256 kB
Buffers:        228744 kB
Cached:         507948 kB
SwapCached:       6168 kB
Active:       11401932 kB
Inactive:       433300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20858256 kB
SwapTotal:    67111528 kB
SwapFree:     60787360 kB
Dirty:            8524 kB
Writeback:           0 kB
AnonPages:    11098208 kB
Mapped:          25420 kB
Slab:           124904 kB
PageTables:      65192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 124372272 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73952 MiB
End job on node135 at 2011-06-03 15:22:02