Trace number 2680923

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.4b (fixed)? (TO) 1800.16 1800.71

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_4.opb
MD5SUMdc0116cc9dd2d87e5a6934d46be3ef43
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables61
Total number of constraints15
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint1
Maximum length of a constraint60
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1531
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4594
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.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2680923-1277458299.opb.
0.00/0.00	c Instance file HOME/instance-2680923-1277458299.opb
0.00/0.00	c File size is 6868 bytes.
0.00/0.00	c Highest Coefficient sum: 4594
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:      61                                                  |
0.00/0.00	c |  Number Clauses:        1                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 14                                                  |
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 |      60       15      836 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       101 |      60       15      836 |     5500      101     38 |  1.667 % |
0.00/0.02	c |       251 |      60       15      836 |     6050      251     37 |  1.667 % |
0.00/0.04	c |       476 |      60       15      836 |     6655      476     36 |  1.667 % |
0.05/0.06	c |       813 |      60       15      836 |     7320      813     36 |  1.667 % |
0.09/0.10	c |      1319 |      60       15      836 |     8052     1319     35 |  1.667 % |
0.09/0.16	c |      2079 |      60       15      836 |     8857     2079     34 |  1.667 % |
0.19/0.24	c |      3219 |      60       15      836 |     9743     3219     33 |  1.667 % |
0.29/0.39	c |      4927 |      60       15      836 |    10717     4927     33 |  1.667 % |
0.59/0.66	c |      7489 |      60       15      836 |    11789     7489     32 |  1.667 % |
1.10/1.11	c |     11334 |      60       15      836 |    12968    11334     32 |  1.667 % |
1.80/1.83	c |     17100 |      60       15      836 |    14265    10597     32 |  1.667 % |
2.99/3.05	c |     25750 |      60       15      836 |    15692    12094     30 |  1.667 % |
4.69/4.73	c |     38724 |      60       15      836 |    17261     9335     29 |  1.667 % |
7.39/7.47	c |     58185 |      60       15      836 |    18987    11492     29 |  1.667 % |
12.00/12.04	c |     87377 |      60       15      836 |    20886    12139     29 |  1.667 % |
19.59/19.66	c |    131166 |      60       15      836 |    22974    14076     29 |  1.667 % |
32.38/32.44	c |    196850 |      60       15      836 |    25272    18362     29 |  1.667 % |
52.47/52.50	c |    295378 |      60       15      836 |    27799    15510     29 |  1.667 % |
87.37/87.47	c |    443167 |      60       15      836 |    30579    11079     28 |  1.667 % |
139.56/139.67	c |    664851 |      60       15      836 |    33637    17248     27 |  1.667 % |
181.94/182.09	c There are 1 assigned variables. 1 in cost function.
182.44/182.57	c ============================[ Search Statistics ]==============================
182.44/182.57	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.44/182.57	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.44/182.57	c ===============================================================================
182.44/182.57	c |         0 |      60       15      836 |     5000        0    nan |  0.000 % |
182.54/182.67	c |       101 |      60       15      836 |     5500      101     38 |  1.667 % |
182.54/182.69	c |       251 |      60       15      836 |     6050      251     37 |  1.667 % |
182.64/182.71	c |       476 |      60       15      836 |     6655      476     36 |  1.667 % |
182.64/182.73	c |       813 |      60       15      836 |     7320      813     36 |  1.667 % |
182.64/182.77	c |      1319 |      60       15      836 |     8052     1319     35 |  1.667 % |
182.73/182.83	c |      2079 |      60       15      836 |     8857     2079     34 |  1.667 % |
182.84/182.92	c |      3219 |      60       15      836 |     9743     3219     33 |  1.667 % |
182.94/183.09	c |      4927 |      60       15      836 |    10717     4927     33 |  1.667 % |
183.24/183.36	c |      7489 |      60       15      836 |    11789     7489     32 |  1.667 % |
183.74/183.86	c |     11334 |      60       15      836 |    12968    11334     32 |  1.667 % |
184.54/184.61	c |     17100 |      60       15      836 |    14265    10597     32 |  1.667 % |
185.75/185.84	c |     25750 |      60       15      836 |    15692    12094     30 |  1.667 % |
187.44/187.57	c |     38724 |      60       15      836 |    17261     9335     29 |  1.667 % |
190.24/190.34	c |     58185 |      60       15      836 |    18987    11492     29 |  1.667 % |
194.93/195.01	c |     87377 |      60       15      836 |    20886    12139     29 |  1.667 % |
202.53/202.61	c |    131166 |      60       15      836 |    22974    14076     29 |  1.667 % |
214.83/214.99	c |    196850 |      60       15      836 |    25272    18362     29 |  1.667 % |
234.72/234.83	c |    295378 |      60       15      836 |    27799    15510     29 |  1.667 % |
268.61/268.76	c |    443167 |      60       15      836 |    30579    11079     28 |  1.667 % |
318.49/318.62	c |    664851 |      60       15      836 |    33637    17248     27 |  1.667 % |
406.58/406.77	c |    997376 |      60       15      836 |    37001    11447     28 |  1.667 % |
553.63/553.87	c |   1496164 |      60       15      836 |    40701    19552     27 |  1.667 % |
813.95/814.25	c |   2244346 |      60       15      836 |    44771    31966     29 |  1.667 % |
1233.12/1233.58	c |   3366620 |      60       15      836 |    49248    18500     28 |  1.667 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680923-1277458299/watcher-2680923-1277458299 -o /tmp/evaluation-result-2680923-1277458299/solver-2680923-1277458299 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680923-1277458299.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.93 3/105 29878
/proc/meminfo: memFree=1880388/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=2444 CPUtime=0
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 272 0 0 0 0 0 0 0 25 0 1 0 87123419 2502656 189 1992294400 134512640 135752675 4293404528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 611 189 144 303 0 306 0

[startup+0.057515 s]
/proc/loadavg: 1.00 1.00 0.93 3/105 29878
/proc/meminfo: memFree=1880388/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=2576 CPUtime=0.05
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 307 0 0 0 5 0 0 0 25 0 1 0 87123419 2637824 224 1992294400 134512640 135752675 4293404528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 644 224 145 303 0 339 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2576

[startup+0.10152 s]
/proc/loadavg: 1.00 1.00 0.93 3/105 29878
/proc/meminfo: memFree=1880388/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=2832 CPUtime=0.09
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 341 0 0 0 9 0 0 0 25 0 1 0 87123419 2899968 258 1992294400 134512640 135752675 4293404528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 708 258 145 303 0 403 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2832

[startup+0.301542 s]
/proc/loadavg: 1.00 1.00 0.93 3/105 29878
/proc/meminfo: memFree=1880388/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=3376 CPUtime=0.29
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 482 0 0 0 29 0 0 0 25 0 1 0 87123419 3457024 399 1992294400 134512640 135752675 4293404528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 844 400 145 303 0 539 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3376

[startup+0.701584 s]
/proc/loadavg: 1.00 1.00 0.93 3/105 29878
/proc/meminfo: memFree=1880388/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=4156 CPUtime=0.69
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 691 0 0 0 68 1 0 0 25 0 1 0 87123419 4255744 608 1992294400 134512640 135752675 4293404528 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 1039 608 145 303 0 734 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4156

[startup+1.50167 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29879
/proc/meminfo: memFree=1877900/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=5500 CPUtime=1.49
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 1019 0 0 0 146 3 0 0 25 0 1 0 87123419 5632000 936 1992294400 134512640 135752675 4293404528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 1375 936 145 303 0 1070 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5500

[startup+3.10084 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29879
/proc/meminfo: memFree=1875916/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=7964 CPUtime=3.09
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 1618 0 0 0 303 6 0 0 25 0 1 0 87123419 8155136 1535 1992294400 134512640 135752675 4293404528 18446744073709551615 135210436 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 1991 1536 145 303 0 1686 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7964

[startup+6.30117 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29879
/proc/meminfo: memFree=1870832/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=12488 CPUtime=6.29
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 2756 0 0 0 619 10 0 0 25 0 1 0 87123419 12787712 2673 1992294400 134512640 135752675 4293404528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 3122 2673 145 303 0 2817 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12488

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29879
/proc/meminfo: memFree=1862772/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=20408 CPUtime=12.69
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 4735 0 0 0 1247 22 0 0 25 0 1 0 87123419 20897792 4652 1992294400 134512640 135752675 4293404528 18446744073709551615 134605389 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 5102 4652 145 303 0 4797 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20408

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29879
/proc/meminfo: memFree=1849008/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=33512 CPUtime=25.49
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 8004 0 0 0 2511 38 0 0 25 0 1 0 87123419 34316288 7921 1992294400 134512640 135752675 4293404528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 8378 7921 145 303 0 8073 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33512

[startup+51.1009 s]
/proc/loadavg: 1.06 1.01 0.93 2/106 29882
/proc/meminfo: memFree=1824580/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=57772 CPUtime=51.08
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 14051 0 0 0 5042 66 0 0 25 0 1 0 87123419 59158528 13968 1992294400 134512640 135752675 4293404528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 14443 13968 145 303 0 14138 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 57772

[startup+102.308 s]
/proc/loadavg: 1.02 1.01 0.93 2/106 29884
/proc/meminfo: memFree=1782916/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=99012 CPUtime=102.27
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 24333 0 0 0 10106 121 0 0 25 0 1 0 87123419 101388288 24250 1992294400 134512640 135752675 4293404528 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 24753 24250 145 303 0 24448 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 99012

[startup+162.302 s]
/proc/loadavg: 1.01 1.00 0.93 2/106 29886
/proc/meminfo: memFree=1738896/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=143572 CPUtime=162.24
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 35473 0 0 0 16039 185 0 0 25 0 1 0 87123419 147017728 35390 1992294400 134512640 135752675 4293404528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 35893 35390 145 303 0 35588 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 143572

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29888
/proc/meminfo: memFree=1696488/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=185044 CPUtime=222.23
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 45933 0 0 0 21966 257 0 0 25 0 1 0 87123419 189485056 45817 1992294400 134512640 135752675 4293404528 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 46261 45817 146 303 0 45956 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 185044

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29890
/proc/meminfo: memFree=1658296/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=223560 CPUtime=282.21
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 55519 0 0 0 27900 321 0 0 25 0 1 0 87123419 228925440 55403 1992294400 134512640 135752675 4293404528 18446744073709551615 134603204 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 55890 55403 146 303 0 55585 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 223560

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29890
/proc/meminfo: memFree=1622708/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=258976 CPUtime=342.19
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 64335 0 0 0 33829 390 0 0 25 0 1 0 87123419 265191424 64219 1992294400 134512640 135752675 4293404528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 64744 64219 146 303 0 64439 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 258976

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29892
/proc/meminfo: memFree=1585880/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=296596 CPUtime=402.17
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 73756 0 0 0 39772 445 0 0 25 0 1 0 87123419 303714304 73640 1992294400 134512640 135752675 4293404528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 74149 73640 146 303 0 73844 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 296596

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29894
/proc/meminfo: memFree=1548184/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=333604 CPUtime=462.16
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 82999 0 0 0 45720 496 0 0 25 0 1 0 87123419 341610496 82883 1992294400 134512640 135752675 4293404528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 83401 82883 146 303 0 83096 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 333604

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29896
/proc/meminfo: memFree=1511480/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=370772 CPUtime=522.14
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 92280 0 0 0 51670 544 0 0 25 0 1 0 87123419 379670528 92164 1992294400 134512640 135752675 4293404528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 92693 92164 146 303 0 92388 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 370772

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29898
/proc/meminfo: memFree=1477504/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=403920 CPUtime=582.12
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 100576 0 0 0 57617 595 0 0 25 0 1 0 87123419 413614080 100460 1992294400 134512640 135752675 4293404528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 100980 100460 146 303 0 100675 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 403920

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29898
/proc/meminfo: memFree=1444272/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=436972 CPUtime=642.11
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 108818 0 0 0 63570 641 0 0 25 0 1 0 87123419 447459328 108702 1992294400 134512640 135752675 4293404528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 109243 108702 146 303 0 108938 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 436972

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29904
/proc/meminfo: memFree=1348668/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=532280 CPUtime=822.05
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 132626 0 0 0 81432 773 0 0 25 0 1 0 87123419 545054720 132510 1992294400 134512640 135752675 4293404528 18446744073709551615 134603319 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 133070 132510 146 303 0 132765 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 532280

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29906
/proc/meminfo: memFree=1317296/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=563756 CPUtime=882.02
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 140466 0 0 0 87384 818 0 0 25 0 1 0 87123419 577286144 140350 1992294400 134512640 135752675 4293404528 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 140939 140350 146 303 0 140634 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 563756

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29906
/proc/meminfo: memFree=1287660/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=593568 CPUtime=942.01
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 147936 0 0 0 93335 866 0 0 25 0 1 0 87123419 607813632 147820 1992294400 134512640 135752675 4293404528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 148392 147820 146 303 0 148087 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 593568

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29908
/proc/meminfo: memFree=1256536/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=624400 CPUtime=1001.99
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 155622 0 0 0 99290 909 0 0 25 0 1 0 87123419 639385600 155506 1992294400 134512640 135752675 4293404528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 156100 155506 146 303 0 155795 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 624400

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29910
/proc/meminfo: memFree=1226404/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=654828 CPUtime=1061.97
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 163224 0 0 0 105245 952 0 0 25 0 1 0 87123419 670543872 163108 1992294400 134512640 135752675 4293404528 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 163707 163108 146 303 0 163402 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 654828

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29912
/proc/meminfo: memFree=1196644/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=684412 CPUtime=1121.95
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 170620 0 0 0 111196 999 0 0 25 0 1 0 87123419 700837888 170504 1992294400 134512640 135752675 4293404528 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 171103 170504 146 303 0 170798 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 684412

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29914
/proc/meminfo: memFree=1168248/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=713452 CPUtime=1181.94
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 177909 0 0 0 117153 1041 0 0 25 0 1 0 87123419 730574848 177793 1992294400 134512640 135752675 4293404528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 178363 177793 146 303 0 178058 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 713452

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29914
/proc/meminfo: memFree=1138240/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=742284 CPUtime=1241.92
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 185095 0 0 0 123108 1084 0 0 25 0 1 0 87123419 760098816 184979 1992294400 134512640 135752675 4293404528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 185571 184979 146 303 0 185266 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 742284

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29916
/proc/meminfo: memFree=1111208/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=769028 CPUtime=1301.91
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 191768 0 0 0 129068 1123 0 0 25 0 1 0 87123419 787484672 191652 1992294400 134512640 135752675 4293404528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 192257 191652 146 303 0 191952 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 769028

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29918
/proc/meminfo: memFree=1088144/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=792712 CPUtime=1361.89
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 197693 0 0 0 135028 1161 0 0 25 0 1 0 87123419 811737088 197577 1992294400 134512640 135752675 4293404528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 198178 197577 146 303 0 197873 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 792712

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29920
/proc/meminfo: memFree=1057516/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=822572 CPUtime=1421.87
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 205174 0 0 0 140983 1204 0 0 25 0 1 0 87123419 842313728 205058 1992294400 134512640 135752675 4293404528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 205643 205058 146 303 0 205338 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 822572

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29922
/proc/meminfo: memFree=1034204/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=846000 CPUtime=1481.85
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 211028 0 0 0 146940 1245 0 0 25 0 1 0 87123419 866304000 210912 1992294400 134512640 135752675 4293404528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 211500 210912 146 303 0 211195 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 846000

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29922
/proc/meminfo: memFree=1009280/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=870712 CPUtime=1541.83
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 217200 0 0 0 152898 1285 0 0 25 0 1 0 87123419 891609088 217084 1992294400 134512640 135752675 4293404528 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 217678 217084 146 303 0 217373 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 870712

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29924
/proc/meminfo: memFree=984852/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=895396 CPUtime=1601.82
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 223370 0 0 0 158856 1326 0 0 25 0 1 0 87123419 916885504 223254 1992294400 134512640 135752675 4293404528 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 223849 223254 146 303 0 223544 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 895396

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29926
/proc/meminfo: memFree=957696/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=922452 CPUtime=1661.79
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 230103 0 0 0 164813 1366 0 0 25 0 1 0 87123419 944590848 229987 1992294400 134512640 135752675 4293404528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 230613 229987 146 303 0 230308 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 922452

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29928
/proc/meminfo: memFree=929796/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=950484 CPUtime=1721.78
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 237097 0 0 0 170769 1409 0 0 25 0 1 0 87123419 973295616 236981 1992294400 134512640 135752675 4293404528 18446744073709551615 134611978 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 237621 236981 146 303 0 237316 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 950484

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29939
/proc/meminfo: memFree=902640/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=976816 CPUtime=1781.74
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 243698 0 0 0 176727 1447 0 0 25 0 1 0 87123419 1000259584 243582 1992294400 134512640 135752675 4293404528 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 244204 243582 146 303 0 243899 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 976816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.93 2/106 29939
/proc/meminfo: memFree=894828/2059040 swapFree=4139628/4192956
[pid=29878] ppid=29876 vsize=984340 CPUtime=1800.05
/proc/29878/stat : 29878 (wbo1.4b) R 29876 29878 29516 0 -1 4202496 245591 0 0 0 178545 1460 0 0 25 0 1 0 87123419 1007964160 245475 1992294400 134512640 135752675 4293404528 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/29878/statm: 246085 245475 146 303 0 245780 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 984340

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.71
CPU time (s): 1800.16
CPU user time (s): 1785.46
CPU system time (s): 14.6948
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 984340

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

runsolver used 2.85157 second user time and 8.63469 second system time

The end

Launcher Data 

Begin job on node082 at 2010-06-25 11:31:39
IDJOB=2680923
IDBENCH=2917
IDSOLVER=1190
FILE ID=node082/2680923-1277458299
PBS_JOBID= 11188108
Free space on /tmp= 62360 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_4.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680923-1277458299/watcher-2680923-1277458299 -o /tmp/evaluation-result-2680923-1277458299/solver-2680923-1277458299 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680923-1277458299.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= dc0116cc9dd2d87e5a6934d46be3ef43
RANDOM SEED=788557759

node082.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	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.215
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.215
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1880916 kB
Buffers:         12928 kB
Cached:          63232 kB
SwapCached:       6156 kB
Active:          34772 kB
Inactive:        54948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1880916 kB
SwapTotal:     4192956 kB
SwapFree:      4139628 kB
Dirty:            2616 kB
Writeback:           0 kB
AnonPages:       12092 kB
Mapped:          11944 kB
Slab:            66480 kB
PageTables:       4128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181704 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62356 MiB
End job on node082 at 2010-06-25 12:01:42