Trace number 3460977

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.11 1800.07

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_5_40_4.opb
MD5SUMa470052ca6f8034e2c6c08868e52d9e8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1797.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved NO
Number of variables120
Total number of constraints10
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 constraints10
Minimum length of a constraint55
Maximum length of a constraint56
Number of terms in the objective function 80
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 2550
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1207
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4131
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-3460977-1307105982.opb.
0.00/0.00	c Instance file HOME/instance-3460977-1307105982.opb
0.00/0.00	c File size is 5465 bytes.
0.00/0.00	c Highest Coefficient sum: 4131
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:      120                                                 |
0.00/0.00	c |  Number Clauses:        0                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 10                                                  |
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 |     120       10      558 |     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 |      40       90      558 |     5000        0   -nan |  0.000 % |
0.00/0.00	c |       100 |      40       90      558 |     5500      100     57 | 66.674 % |
0.00/0.00	c |       250 |      40       90      558 |     6050      250     58 | 66.674 % |
0.00/0.01	c |       475 |      40       90      558 |     6655      475     59 | 66.674 % |
0.00/0.02	c |       812 |      40       90      558 |     7320      812     58 | 66.674 % |
0.00/0.04	c |      1319 |      40       90      558 |     8052     1319     58 | 66.674 % |
0.00/0.07	c |      2078 |      40       90      558 |     8857     2078     59 | 66.674 % |
0.10/0.11	c |      3217 |      40       90      558 |     9743     3217     59 | 66.674 % |
0.10/0.19	c |      4928 |      40       90      558 |    10717     4928     60 | 66.674 % |
0.29/0.32	c |      7490 |      40       90      558 |    11789     7490     58 | 66.674 % |
0.49/0.55	c |     11334 |      40       90      558 |    12968    11334     58 | 66.674 % |
0.89/0.93	c |     17100 |      40       90      558 |    14265    10561     59 | 66.674 % |
1.49/1.54	c |     25749 |      40       90      558 |    15692    12026     59 | 66.674 % |
2.49/2.59	c |     38724 |      40       90      558 |    17261     9203     58 | 66.674 % |
4.19/4.28	c |     58185 |      40       90      558 |    18987    11292     61 | 66.674 % |
7.09/7.18	c |     87378 |      40       90      558 |    20886    11847     64 | 66.674 % |
11.60/11.64	c |    131168 |      40       90      558 |    22974    13654     59 | 66.674 % |
18.49/18.55	c |    196853 |      40       90      558 |    25272    17641     61 | 66.674 % |
29.19/29.22	c |    295379 |      40       90      558 |    27799    14366     59 | 66.674 % |
46.70/46.72	c |    443170 |      40       90      558 |    30579    26371     57 | 66.674 % |
74.09/74.18	c |    664854 |      40       90      558 |    33637    12165     62 | 66.674 % |
118.00/118.04	c |    997379 |      40       90      558 |    37001    27948     64 | 66.674 % |
188.49/188.54	c |   1496168 |      40       90      558 |    40701    34824     64 | 66.674 % |
296.50/296.56	c |   2244350 |      40       90      558 |    44771    16154     63 | 66.674 % |
475.61/475.67	c |   3366624 |      40       90      558 |    49248    33881     64 | 66.674 % |
763.11/763.14	c |   5050035 |      40       90      558 |    54173    13875     65 | 66.674 % |
1215.32/1215.35	c |   7575152 |      40       90      558 |    59590    20783     60 | 66.674 % |

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-3460977-1307105982/watcher-3460977-1307105982 -o /tmp/evaluation-result-3460977-1307105982/solver-3460977-1307105982 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460977-1307105982.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.89 2.00 1.99 3/476 22215
/proc/meminfo: memFree=21453280/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=2104 CPUtime=0.01 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 335 0 0 0 1 0 0 0 23 0 1 0 803013559 2154496 287 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 526 287 180 372 0 151 0

[startup+0.108112 s]
/proc/loadavg: 1.89 2.00 1.99 3/476 22215
/proc/meminfo: memFree=21453280/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=3160 CPUtime=0.1 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 595 0 0 0 10 0 0 0 23 0 1 0 803013559 3235840 547 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 790 547 180 372 0 415 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3160

[startup+0.201092 s]
/proc/loadavg: 1.89 2.00 1.99 3/476 22215
/proc/meminfo: memFree=21453280/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=4088 CPUtime=0.2 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 812 0 0 0 20 0 0 0 23 0 1 0 803013559 4186112 764 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 1022 764 180 372 0 647 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 4088

[startup+0.301077 s]
/proc/loadavg: 1.89 2.00 1.99 3/476 22215
/proc/meminfo: memFree=21453280/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=4880 CPUtime=0.29 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 1010 0 0 0 29 0 0 0 23 0 1 0 803013559 4997120 962 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 1220 962 180 372 0 845 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4880

[startup+0.700988 s]
/proc/loadavg: 1.89 2.00 1.99 3/476 22215
/proc/meminfo: memFree=21453280/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=7276 CPUtime=0.69 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 1603 0 0 0 69 0 0 0 25 0 1 0 803013559 7450624 1555 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 1819 1555 180 372 0 1444 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7276

[startup+1.50086 s]
/proc/loadavg: 1.89 2.00 1.99 4/478 22217
/proc/meminfo: memFree=21440628/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=8744 CPUtime=1.49 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 1957 0 0 0 149 0 0 0 25 0 1 0 803013559 8953856 1909 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 2186 1909 180 372 0 1811 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8744

[startup+3.10057 s]
/proc/loadavg: 1.90 2.00 1.99 4/478 22217
/proc/meminfo: memFree=21433932/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=11828 CPUtime=3.09 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 2736 0 0 0 307 2 0 0 25 0 1 0 803013559 12111872 2688 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 2957 2688 180 372 0 2582 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11828

[startup+6.30101 s]
/proc/loadavg: 1.90 2.00 1.99 4/478 22217
/proc/meminfo: memFree=21422280/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=16444 CPUtime=6.29 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 3887 0 0 0 624 5 0 0 25 0 1 0 803013559 16838656 3839 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 4111 3839 180 372 0 3736 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16444

[startup+12.7009 s]
/proc/loadavg: 1.92 2.00 1.99 4/478 22218
/proc/meminfo: memFree=21402572/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=24268 CPUtime=12.69 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 5821 0 0 0 1258 11 0 0 25 0 1 0 803013559 24850432 5773 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 6067 5773 180 372 0 5692 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24268

[startup+25.5006 s]
/proc/loadavg: 1.93 2.00 1.99 4/478 22218
/proc/meminfo: memFree=21370716/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=37036 CPUtime=25.49 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 8994 0 0 0 2531 18 0 0 25 0 1 0 803013559 37924864 8946 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 9259 8946 180 372 0 8884 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37036

[startup+51.1011 s]
/proc/loadavg: 1.95 2.00 1.99 3/478 22219
/proc/meminfo: memFree=21314760/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=59884 CPUtime=51.1 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 14635 0 0 0 5078 32 0 0 25 0 1 0 803013559 61321216 14587 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 14971 14587 180 372 0 14596 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 59884

[startup+102.301 s]
/proc/loadavg: 1.98 2.00 1.99 4/478 22229
/proc/meminfo: memFree=21213116/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=101332 CPUtime=102.31 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 25002 0 0 0 10170 61 0 0 25 0 1 0 803013559 103763968 24954 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 25333 24954 180 372 0 24958 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 101332

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 4/478 22231
/proc/meminfo: memFree=21107308/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=146112 CPUtime=162.29 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 36169 0 0 0 16136 93 0 0 25 0 1 0 803013559 149618688 36121 33554432000 4194304 5714214 140737340040304 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 36528 36121 180 372 0 36153 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 146112

[startup+222.319 s]
/proc/loadavg: 1.99 2.00 1.99 4/478 22232
/proc/meminfo: memFree=21005244/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=189380 CPUtime=222.31 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 46949 0 0 0 22106 125 0 0 25 0 1 0 803013559 193925120 46901 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 47345 46901 180 372 0 46970 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 189380

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.99 4/478 22234
/proc/meminfo: memFree=20913224/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=230236 CPUtime=282.3 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 57169 0 0 0 28071 159 0 0 25 0 1 0 803013559 235761664 57121 33554432000 4194304 5714214 140737340040304 18446744073709551615 4319274 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 57559 57121 180 372 0 57184 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 230236

[startup+342.301 s]
/proc/loadavg: 1.99 2.00 1.99 4/478 22235
/proc/meminfo: memFree=20815480/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=269996 CPUtime=342.3 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 67052 0 0 0 34041 189 0 0 25 0 1 0 803013559 276475904 67004 33554432000 4194304 5714214 140737340040304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 67499 67004 180 372 0 67124 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 269996

[startup+402.301 s]
/proc/loadavg: 2.12 2.03 2.00 4/478 22237
/proc/meminfo: memFree=20728784/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=307484 CPUtime=402.3 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 76440 0 0 0 40012 218 0 0 25 0 1 0 803013559 314863616 76392 33554432000 4194304 5714214 140737340040304 18446744073709551615 4300192 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 76871 76392 180 372 0 76496 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 307484

[startup+462.3 s]
/proc/loadavg: 2.16 2.05 2.01 4/478 22239
/proc/meminfo: memFree=20639104/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=344144 CPUtime=462.31 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 85520 0 0 0 45983 248 0 0 25 0 1 0 803013559 352403456 85472 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 86036 85472 180 372 0 85661 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 344144

[startup+522.301 s]
/proc/loadavg: 2.06 2.04 2.00 4/478 22240
/proc/meminfo: memFree=20552900/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=381344 CPUtime=522.3 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 94810 0 0 0 51952 278 0 0 25 0 1 0 803013559 390496256 94762 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 95336 94762 180 372 0 94961 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 381344

[startup+582.3 s]
/proc/loadavg: 2.02 2.03 2.00 4/478 22242
/proc/meminfo: memFree=20466204/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=416232 CPUtime=582.3 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 103488 0 0 0 57923 307 0 0 25 0 1 0 803013559 426221568 103440 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 104058 103440 180 372 0 103683 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 416232

[startup+642.301 s]

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

[startup+882.319 s]
/proc/loadavg: 2.00 2.00 2.00 4/478 22250
/proc/meminfo: memFree=20042216/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=589484 CPUtime=882.33 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 146706 0 0 0 87789 444 0 0 25 0 1 0 803013559 603631616 146658 33554432000 4194304 5714214 140737340040304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 147371 146658 180 372 0 146996 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 589484

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/478 22251
/proc/meminfo: memFree=19959360/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=623592 CPUtime=942.32 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 155226 0 0 0 93761 471 0 0 25 0 1 0 803013559 638558208 155178 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 155898 155178 180 372 0 155523 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 623592

[startup+1002.3 s]
/proc/loadavg: 2.22 2.06 2.02 4/478 22253
/proc/meminfo: memFree=19879352/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=652868 CPUtime=1002.32 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 162551 0 0 0 99734 498 0 0 25 0 1 0 803013559 668536832 162503 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 163217 162503 180 372 0 162842 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 652868

[startup+1062.3 s]
/proc/loadavg: 2.08 2.05 2.01 4/478 22255
/proc/meminfo: memFree=19797608/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=688288 CPUtime=1062.31 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 171404 0 0 0 105708 523 0 0 25 0 1 0 803013559 704806912 171356 33554432000 4194304 5714214 140737340040304 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 172072 171356 180 372 0 171697 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 688288

[startup+1122.3 s]
/proc/loadavg: 2.03 2.04 2.00 4/478 22256
/proc/meminfo: memFree=19717096/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=720940 CPUtime=1122.32 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 179548 0 0 0 111677 555 0 0 25 0 1 0 803013559 738242560 179500 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 180235 179500 180 372 0 179860 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 720940

[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 2.00 4/478 22258
/proc/meminfo: memFree=19634604/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=754708 CPUtime=1182.32 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 188003 0 0 0 117652 580 0 0 25 0 1 0 803013559 772820992 187955 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 188677 187955 180 372 0 188302 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 754708

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/478 22259
/proc/meminfo: memFree=19556076/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=786448 CPUtime=1242.32 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 195932 0 0 0 123627 605 0 0 25 0 1 0 803013559 805322752 195884 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 196612 195884 180 372 0 196237 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 786448

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/478 22261
/proc/meminfo: memFree=19474576/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=820404 CPUtime=1302.33 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 204413 0 0 0 129600 633 0 0 25 0 1 0 803013559 840093696 204365 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 205101 204365 180 372 0 204726 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 820404

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/478 22263
/proc/meminfo: memFree=19398656/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=852948 CPUtime=1362.33 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 212567 0 0 0 135573 660 0 0 25 0 1 0 803013559 873418752 212519 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 213237 212519 180 372 0 212862 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 852948

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/478 22264
/proc/meminfo: memFree=19326588/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=884076 CPUtime=1422.34 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 220357 0 0 0 141550 684 0 0 25 0 1 0 803013559 905293824 220309 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 221019 220309 180 372 0 220644 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 884076

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/478 22266
/proc/meminfo: memFree=19252416/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=915288 CPUtime=1482.33 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 228152 0 0 0 147523 710 0 0 25 0 1 0 803013559 937254912 228104 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 228822 228104 180 372 0 228447 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 915288

[startup+1542.32 s]
/proc/loadavg: 2.13 2.04 2.01 4/478 22271
/proc/meminfo: memFree=19175636/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=948000 CPUtime=1542.35 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 236294 0 0 0 153501 734 0 0 25 0 1 0 803013559 970752000 236246 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 237000 236246 180 372 0 236625 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 948000

[startup+1602.3 s]
/proc/loadavg: 2.13 2.06 2.02 3/478 22272
/proc/meminfo: memFree=19102452/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=977436 CPUtime=1602.34 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 243673 0 0 0 159470 764 0 0 25 0 1 0 803013559 1000894464 243625 33554432000 4194304 5714214 140737340040304 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 244359 243625 180 372 0 243984 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 977436

[startup+1662.3 s]
/proc/loadavg: 2.05 2.05 2.01 4/478 22274
/proc/meminfo: memFree=19027032/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=1009776 CPUtime=1662.33 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 251733 0 0 0 165441 792 0 0 25 0 1 0 803013559 1034010624 251685 33554432000 4194304 5714214 140737340040304 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 252444 251685 180 372 0 252069 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1009776

[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.01 4/478 22275
/proc/meminfo: memFree=18946396/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=1043080 CPUtime=1722.33 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 260019 0 0 0 171416 817 0 0 25 0 1 0 803013559 1068113920 259971 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 260770 259971 180 372 0 260395 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 1043080

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/478 22277
/proc/meminfo: memFree=18872956/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=1071592 CPUtime=1782.34 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 267171 0 0 0 177391 843 0 0 25 0 1 0 803013559 1097310208 267123 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 267898 267123 180 372 0 267523 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1071592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.00 4/478 22277
/proc/meminfo: memFree=18850872/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=1080472 CPUtime=1800.05 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 269389 0 0 0 179154 851 0 0 25 0 1 0 803013559 1106403328 269341 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 270118 269341 180 372 0 269743 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1080472

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

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

[startup+1800 s]
/proc/loadavg: 2.00 2.03 2.00 4/478 22277
/proc/meminfo: memFree=18850872/32951124 swapFree=67057928/67111528
[pid=22213] ppid=22210 vsize=1080472 CPUtime=1800.05 cores=0,2,4,6
/proc/22213/stat : 22213 (wbo1.6) R 22210 22213 20996 0 -1 4202496 269389 0 0 0 179154 851 0 0 25 0 1 0 803013559 1106403328 269341 33554432000 4194304 5714214 140737340040304 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0
/proc/22213/statm: 270118 269341 180 372 0 269743 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1080472

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.07
CPU time (s): 1800.11
CPU user time (s): 1791.54
CPU system time (s): 8.5667
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1080472

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

runsolver used 9.15161 second user time and 20.1789 second system time

The end

Launcher Data 

Begin job on node140 at 2011-06-03 14:59:42
IDJOB=3460977
IDBENCH=2914
IDSOLVER=1953
FILE ID=node140/3460977-1307105982
RUNJOBID= node140-1307105982-22196
PBS_JOBID= 13497993
Free space on /tmp= 73612 MiB

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

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

MD5SUM BENCH= a470052ca6f8034e2c6c08868e52d9e8
RANDOM SEED=622824842

node140.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.833
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.66
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.833
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	: 5226.14
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.833
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.833
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.77
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.833
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.75
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.833
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.74
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.833
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.833
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21453592 kB
Buffers:        293976 kB
Cached:        3954288 kB
SwapCached:       6932 kB
Active:        7360380 kB
Inactive:      3802300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21453592 kB
SwapTotal:    67111528 kB
SwapFree:     67057928 kB
Dirty:            8656 kB
Writeback:           0 kB
AnonPages:     6912620 kB
Mapped:          37240 kB
Slab:           214468 kB
PageTables:      52396 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 141376376 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= 73604 MiB
End job on node140 at 2011-06-03 15:29:44