Trace number 3460982

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_4.opb
MD5SUM87341d3e4752b9f90faef0f8d9385430
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 44
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
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 constraints16
Minimum length of a constraint84
Maximum length of a constraint86
Number of terms in the objective function 128
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 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1881
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6154
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-3460982-1307105627.opb.
0.00/0.00	c Instance file HOME/instance-3460982-1307105627.opb
0.00/0.00	c File size is 13265 bytes.
0.00/0.00	c Highest Coefficient sum: 6154
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:      198                                                 |
0.00/0.00	c |  Number Clauses:        0                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 16                                                  |
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 |     198       16     1368 |     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 |      70      144     1368 |     5000        0   -nan |  0.000 % |
0.00/0.00	c |       100 |      70      144     1368 |     5500      100     86 | 64.649 % |
0.00/0.01	c |       250 |      70      144     1368 |     6050      250     81 | 64.649 % |
0.00/0.02	c |       475 |      70      144     1368 |     6655      475     82 | 64.649 % |
0.00/0.04	c |       812 |      70      144     1368 |     7320      812     80 | 64.649 % |
0.00/0.07	c |      1319 |      70      144     1368 |     8052     1319     79 | 64.649 % |
0.10/0.11	c |      2078 |      70      144     1368 |     8857     2078     80 | 64.649 % |
0.10/0.19	c |      3218 |      70      144     1368 |     9743     3218     80 | 64.649 % |
0.29/0.30	c |      4926 |      70      144     1368 |    10717     4926     81 | 64.649 % |
0.49/0.50	c |      7488 |      70      144     1368 |    11789     7488     81 | 64.649 % |
0.79/0.83	c |     11332 |      70      144     1368 |    12968    11332     82 | 64.649 % |
1.29/1.37	c |     17098 |      70      144     1368 |    14265    10523     84 | 64.649 % |
2.09/2.18	c |     25747 |      70      144     1368 |    15692    11951     81 | 64.649 % |
3.41/3.42	c |     38722 |      70      144     1368 |    17261     9059     73 | 64.649 % |
5.40/5.48	c |     58183 |      70      144     1368 |    18987    11080     83 | 64.649 % |
8.59/8.64	c |     87375 |      70      144     1368 |    20886    11520     85 | 64.649 % |
13.89/13.91	c |    131164 |      70      144     1368 |    22974    13188     82 | 64.649 % |
22.10/22.15	c |    196848 |      70      144     1368 |    25272    16833     86 | 64.649 % |
35.20/35.24	c |    295375 |      70      144     1368 |    27799    13094     87 | 64.649 % |
55.19/55.21	c |    443164 |      70      144     1368 |    30579    24594     85 | 64.649 % |
85.99/86.05	c |    664847 |      70      144     1368 |    33637    29327     85 | 64.649 % |
139.48/139.59	c |    997372 |      70      144     1368 |    37001    21536     90 | 64.649 % |
220.98/221.05	c |   1496160 |      70      144     1368 |    40701    27177     88 | 64.649 % |
352.98/353.07	c |   2244342 |      70      144     1368 |    44771    36292     88 | 64.649 % |
562.27/562.39	c |   3366616 |      70      144     1368 |    49248    18374     94 | 64.649 % |
877.37/877.48	c |   5050027 |      70      144     1368 |    54173    33441     92 | 64.649 % |
1422.87/1422.93	c |   7575143 |      70      144     1368 |    59590    36567     94 | 64.649 % |

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

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.05 2.05 2.00 1/486 11611
/proc/meminfo: memFree=21524056/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=2104 CPUtime=0 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 554753971 2154496 281 33554432000 4194304 5714214 140736182848784 18446744073709551615 4323074 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 526 281 179 372 0 151 0

[startup+0.111748 s]
/proc/loadavg: 2.05 2.05 2.00 1/486 11611
/proc/meminfo: memFree=21524056/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=3036 CPUtime=0.1 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 555 0 0 0 10 0 0 0 25 0 1 0 554753971 3108864 505 33554432000 4194304 5714214 140736182848784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 759 505 180 372 0 384 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3036

[startup+0.200721 s]
/proc/loadavg: 2.05 2.05 2.00 1/486 11611
/proc/meminfo: memFree=21524056/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=3716 CPUtime=0.19 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 729 0 0 0 18 1 0 0 25 0 1 0 554753971 3805184 679 33554432000 4194304 5714214 140736182848784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 929 680 180 372 0 554 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 3716

[startup+0.300701 s]
/proc/loadavg: 2.05 2.05 2.00 1/486 11611
/proc/meminfo: memFree=21524056/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=4512 CPUtime=0.29 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 918 0 0 0 28 1 0 0 25 0 1 0 554753971 4620288 868 33554432000 4194304 5714214 140736182848784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 1128 868 180 372 0 753 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4512

[startup+0.700642 s]
/proc/loadavg: 2.05 2.05 2.00 1/486 11611
/proc/meminfo: memFree=21524056/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=7040 CPUtime=0.69 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 1545 0 0 0 67 2 0 0 25 0 1 0 554753971 7208960 1495 33554432000 4194304 5714214 140736182848784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 1760 1495 180 372 0 1385 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7040

[startup+1.50049 s]
/proc/loadavg: 2.05 2.05 2.00 3/485 11633
/proc/meminfo: memFree=21525024/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=9020 CPUtime=1.49 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 2035 0 0 0 145 4 0 0 25 0 1 0 554753971 9236480 1985 33554432000 4194304 5714214 140736182848784 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 2255 1986 180 372 0 1880 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9020

[startup+3.10021 s]
/proc/loadavg: 2.05 2.05 2.00 3/489 11639
/proc/meminfo: memFree=21511536/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=11512 CPUtime=3.09 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 2682 0 0 0 302 7 0 0 25 0 1 0 554753971 11788288 2632 33554432000 4194304 5714214 140736182848784 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 2878 2632 180 372 0 2503 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11512

[startup+6.30064 s]
/proc/loadavg: 2.05 2.05 2.00 3/489 11639
/proc/meminfo: memFree=21498920/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=17316 CPUtime=6.3 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 4083 0 0 0 618 12 0 0 25 0 1 0 554753971 17731584 4033 33554432000 4194304 5714214 140736182848784 18446744073709551615 4300287 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 4329 4033 180 372 0 3954 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 17316

[startup+12.7005 s]
/proc/loadavg: 2.04 2.05 2.00 3/489 11640
/proc/meminfo: memFree=21478436/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=24080 CPUtime=12.69 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 5800 0 0 0 1248 21 0 0 25 0 1 0 554753971 24657920 5750 33554432000 4194304 5714214 140736182848784 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 6020 5750 180 372 0 5645 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24080

[startup+25.5003 s]
/proc/loadavg: 2.03 2.04 2.00 3/489 11640
/proc/meminfo: memFree=21446948/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=36776 CPUtime=25.49 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 8958 0 0 0 2511 38 0 0 25 0 1 0 554753971 37658624 8908 33554432000 4194304 5714214 140736182848784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 9194 8908 180 372 0 8819 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36776

[startup+51.1008 s]
/proc/loadavg: 2.02 2.04 2.00 3/489 11641
/proc/meminfo: memFree=21393396/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=57840 CPUtime=51.09 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 14173 0 0 0 5041 68 0 0 25 0 1 0 554753971 59228160 14123 33554432000 4194304 5714214 140736182848784 18446744073709551615 4299768 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 14460 14123 180 372 0 14085 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 57840

[startup+102.301 s]
/proc/loadavg: 2.08 2.05 2.00 3/489 11642
/proc/meminfo: memFree=21289580/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=96684 CPUtime=102.29 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 23875 0 0 0 10097 132 0 0 25 0 1 0 554753971 99004416 23825 33554432000 4194304 5714214 140736182848784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 24171 23825 180 372 0 23796 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 96684

[startup+162.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/489 11647
/proc/meminfo: memFree=21191820/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=135852 CPUtime=162.28 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 33623 0 0 0 16047 181 0 0 25 0 1 0 554753971 139112448 33573 33554432000 4194304 5714214 140736182848784 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 33963 33573 180 372 0 33588 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 135852

[startup+222.319 s]
/proc/loadavg: 2.01 2.03 2.00 3/489 11648
/proc/meminfo: memFree=21096304/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=173192 CPUtime=222.3 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 42935 0 0 0 22008 222 0 0 25 0 1 0 554753971 177348608 42885 33554432000 4194304 5714214 140736182848784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 43298 42885 180 372 0 42923 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 173192

[startup+282.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/489 11650
/proc/meminfo: memFree=21007968/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=208948 CPUtime=282.28 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 51837 0 0 0 27966 262 0 0 25 0 1 0 554753971 213962752 51787 33554432000 4194304 5714214 140736182848784 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 52237 51787 180 372 0 51862 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 208948

[startup+342.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/489 11651
/proc/meminfo: memFree=20921120/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=241916 CPUtime=342.28 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 60026 0 0 0 33930 298 0 0 25 0 1 0 554753971 247721984 59976 33554432000 4194304 5714214 140736182848784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 60479 59976 180 372 0 60104 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 241916

[startup+402.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/489 11653
/proc/meminfo: memFree=20833888/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=277296 CPUtime=402.28 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 68797 0 0 0 39891 337 0 0 25 0 1 0 554753971 283951104 68747 33554432000 4194304 5714214 140736182848784 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 69324 68747 180 372 0 68949 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 277296

[startup+462.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/489 11664
/proc/meminfo: memFree=20752008/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=309868 CPUtime=462.28 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 76945 0 0 0 45855 373 0 0 25 0 1 0 554753971 317304832 76895 33554432000 4194304 5714214 140736182848784 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 77467 76895 180 372 0 77092 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 309868

[startup+522.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/489 11665
/proc/meminfo: memFree=20670988/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=341220 CPUtime=522.28 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 84774 0 0 0 51822 406 0 0 25 0 1 0 554753971 349409280 84724 33554432000 4194304 5714214 140736182848784 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 85305 84724 180 372 0 84930 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 341220

[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/489 11667
/proc/meminfo: memFree=20588844/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=376800 CPUtime=582.28 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 93681 0 0 0 57786 442 0 0 25 0 1 0 554753971 385843200 93631 33554432000 4194304 5714214 140736182848784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 94200 93631 180 372 0 93825 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 376800

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/489 11673
/proc/meminfo: memFree=20269224/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=506368 CPUtime=822.27 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 125948 0 0 0 81638 589 0 0 25 0 1 0 554753971 518520832 125898 33554432000 4194304 5714214 140736182848784 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 126592 125898 180 372 0 126217 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 506368

[startup+882.318 s]
/proc/loadavg: 2.05 2.03 2.00 3/489 11675
/proc/meminfo: memFree=20191800/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=538492 CPUtime=882.29 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 133961 0 0 0 87607 622 0 0 25 0 1 0 554753971 551415808 133911 33554432000 4194304 5714214 140736182848784 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 134623 133912 180 372 0 134248 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 538492

[startup+942.301 s]
/proc/loadavg: 2.15 2.05 2.01 3/489 11676
/proc/meminfo: memFree=20123292/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=564904 CPUtime=942.27 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 140580 0 0 0 93575 652 0 0 25 0 1 0 554753971 578461696 140530 33554432000 4194304 5714214 140736182848784 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 141226 140530 180 372 0 140851 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 564904

[startup+1002.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/489 11678
/proc/meminfo: memFree=20049228/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=593368 CPUtime=1002.27 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 147703 0 0 0 99543 684 0 0 25 0 1 0 554753971 607608832 147653 33554432000 4194304 5714214 140736182848784 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 148342 147654 180 372 0 147967 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 593368

[startup+1062.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/489 11680
/proc/meminfo: memFree=19979004/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=620656 CPUtime=1062.27 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 154512 0 0 0 105505 722 0 0 25 0 1 0 554753971 635551744 154462 33554432000 4194304 5714214 140736182848784 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 155164 154462 180 372 0 154789 0
Current children cumulated CPU time (s) 1062.27
Current children cumulated vsize (KiB) 620656

[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/489 11681
/proc/meminfo: memFree=19912124/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=648940 CPUtime=1122.27 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 161559 0 0 0 111473 754 0 0 25 0 1 0 554753971 664514560 161509 33554432000 4194304 5714214 140736182848784 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 162235 161509 180 372 0 161860 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 648940

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/489 11683
/proc/meminfo: memFree=19846224/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=673528 CPUtime=1182.26 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 167713 0 0 0 117437 789 0 0 25 0 1 0 554753971 689692672 167663 33554432000 4194304 5714214 140736182848784 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 168382 167663 180 372 0 168007 0
Current children cumulated CPU time (s) 1182.26
Current children cumulated vsize (KiB) 673528

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 11684
/proc/meminfo: memFree=19770300/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=705964 CPUtime=1242.26 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 175784 0 0 0 123403 823 0 0 25 0 1 0 554753971 722907136 175734 33554432000 4194304 5714214 140736182848784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 176491 175734 180 372 0 176116 0
Current children cumulated CPU time (s) 1242.26
Current children cumulated vsize (KiB) 705964

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 11686
/proc/meminfo: memFree=19707748/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=731440 CPUtime=1302.27 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 182173 0 0 0 129369 858 0 0 25 0 1 0 554753971 748994560 182123 33554432000 4194304 5714214 140736182848784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 182860 182123 180 372 0 182485 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 731440

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 11688
/proc/meminfo: memFree=19631572/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=760740 CPUtime=1362.27 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 189471 0 0 0 135337 890 0 0 25 0 1 0 554753971 778997760 189421 33554432000 4194304 5714214 140736182848784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 190185 189421 180 372 0 189810 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 760740

[startup+1422.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/489 11689
/proc/meminfo: memFree=19561088/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=787340 CPUtime=1422.27 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 196105 0 0 0 141304 923 0 0 25 0 1 0 554753971 806236160 196055 33554432000 4194304 5714214 140736182848784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 196835 196055 180 372 0 196460 0
Current children cumulated CPU time (s) 1422.27
Current children cumulated vsize (KiB) 787340

[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/489 11691
/proc/meminfo: memFree=19484028/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=819632 CPUtime=1482.27 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 204160 0 0 0 147266 961 0 0 25 0 1 0 554753971 839303168 204110 33554432000 4194304 5714214 140736182848784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 204908 204110 180 372 0 204533 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 819632

[startup+1542.32 s]
/proc/loadavg: 2.09 2.05 2.01 3/489 11692
/proc/meminfo: memFree=19410564/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=849740 CPUtime=1542.29 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 211693 0 0 0 153234 995 0 0 25 0 1 0 554753971 870133760 211643 33554432000 4194304 5714214 140736182848784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 212435 211643 180 372 0 212060 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 849740

[startup+1602.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/489 11694
/proc/meminfo: memFree=19339840/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=878384 CPUtime=1602.26 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 218822 0 0 0 159196 1030 0 0 25 0 1 0 554753971 899465216 218772 33554432000 4194304 5714214 140736182848784 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 219596 218772 180 372 0 219221 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 878384

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/489 11696
/proc/meminfo: memFree=19267020/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=906536 CPUtime=1662.27 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 225895 0 0 0 165163 1064 0 0 25 0 1 0 554753971 928292864 225845 33554432000 4194304 5714214 140736182848784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 226634 225845 180 372 0 226259 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 906536

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/489 11697
/proc/meminfo: memFree=19196640/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=938216 CPUtime=1722.27 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 233788 0 0 0 171128 1099 0 0 25 0 1 0 554753971 960733184 233738 33554432000 4194304 5714214 140736182848784 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 234554 233738 180 372 0 234179 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 938216

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 11699
/proc/meminfo: memFree=19124428/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=965876 CPUtime=1782.27 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 240699 0 0 0 177097 1130 0 0 25 0 1 0 554753971 989057024 240649 33554432000 4194304 5714214 140736182848784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 241469 240649 180 372 0 241094 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 965876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 11699
/proc/meminfo: memFree=19106928/32951124 swapFree=46575304/67111528
[pid=11611] ppid=11609 vsize=973664 CPUtime=1800.07 cores=1,3,5,7
/proc/11611/stat : 11611 (wbo1.6) R 11609 11611 5006 0 -1 4202496 242663 0 0 0 178867 1140 0 0 25 0 1 0 554753971 997031936 242613 33554432000 4194304 5714214 140736182848784 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/11611/statm: 243416 242613 180 372 0 243041 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 973664

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.16
CPU time (s): 1800.13
CPU user time (s): 1788.69
CPU system time (s): 11.4433
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 973664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.69
system time used= 11.4433
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242663
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= 3202

runsolver used 8.46871 second user time and 19.3751 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-03 14:53:47
IDJOB=3460982
IDBENCH=2904
IDSOLVER=1953
FILE ID=node107/3460982-1307105627
RUNJOBID= node107-1307093011-10828
PBS_JOBID= 13497967
Free space on /tmp= 73860 MiB

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

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

MD5SUM BENCH= 87341d3e4752b9f90faef0f8d9385430
RANDOM SEED=1996066840

node107.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.829
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.65
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.829
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.75
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.829
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.67
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.829
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	: 5332.82
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.829
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.74
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.829
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	: 5359.47
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.829
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.75
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.829
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21524212 kB
Buffers:        310424 kB
Cached:        2060052 kB
SwapCached:      22548 kB
Active:        9127292 kB
Inactive:      1950084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21524212 kB
SwapTotal:    67111528 kB
SwapFree:     46575304 kB
Dirty:            4276 kB
Writeback:           0 kB
AnonPages:     8702276 kB
Mapped:          32720 kB
Slab:           185784 kB
PageTables:      94436 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145112396 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73856 MiB
End job on node107 at 2011-06-03 15:23:49