Trace number 2655857

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? (TO) 1800.14 1800.81

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_2.opb
MD5SUM6c673f615af1912eadc68b4290958076
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
Satisfiable
(Un)Satisfiability was proved
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 1648
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4944
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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655857-1276598489.opb.
0.00/0.00	c Instance file HOME/instance-2655857-1276598489.opb
0.00/0.00	c File size is 6852 bytes.
0.00/0.00	c Highest Coefficient sum: 4944
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      834 |     5000        0    nan |  0.000 % |
0.00/0.01	c |       101 |      60       15      834 |     5500      101     41 |  1.667 % |
0.00/0.02	c |       251 |      60       15      834 |     6050      251     37 |  1.667 % |
0.00/0.04	c |       476 |      60       15      834 |     6655      476     36 |  1.667 % |
0.00/0.07	c |       813 |      60       15      834 |     7320      813     35 |  1.667 % |
0.09/0.11	c |      1319 |      60       15      834 |     8052     1319     34 |  1.667 % |
0.09/0.19	c |      2078 |      60       15      834 |     8857     2078     33 |  1.667 % |
0.19/0.29	c |      3217 |      60       15      834 |     9743     3217     32 |  1.667 % |
0.39/0.46	c |      4926 |      60       15      834 |    10717     4926     32 |  1.667 % |
0.69/0.75	c |      7488 |      60       15      834 |    11789     7488     32 |  1.667 % |
1.19/1.24	c |     11333 |      60       15      834 |    12968    11333     32 |  1.667 % |
2.10/2.13	c |     17099 |      60       15      834 |    14265    10592     32 |  1.667 % |
3.39/3.41	c |     25748 |      60       15      834 |    15692    12086     30 |  1.667 % |
5.39/5.42	c |     38723 |      60       15      834 |    17261     9326     29 |  1.667 % |
7.89/7.99	c |     58184 |      60       15      834 |    18987    11485     28 |  1.667 % |
12.98/13.06	c |     87376 |      60       15      834 |    20886    12128     29 |  1.667 % |
20.49/20.55	c |    131166 |      60       15      834 |    22974    14061     30 |  1.667 % |
33.68/33.79	c |    196850 |      60       15      834 |    25272    18348     29 |  1.667 % |
53.97/54.07	c |    295376 |      60       15      834 |    27799    15512     30 |  1.667 % |
88.96/89.00	c |    443165 |      60       15      834 |    30579    11101     30 |  1.667 % |
141.85/141.93	c |    664849 |      60       15      834 |    33637    17186     30 |  1.667 % |
182.02/182.13	c There are 1 assigned variables. 1 in cost function.
182.54/182.62	c ============================[ Search Statistics ]==============================
182.54/182.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.54/182.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.54/182.62	c ===============================================================================
182.54/182.62	c |         0 |      60       15      834 |     5000        0    nan |  0.000 % |
182.63/182.73	c |       101 |      60       15      834 |     5500      101     41 |  1.667 % |
182.63/182.74	c |       251 |      60       15      834 |     6050      251     37 |  1.667 % |
182.63/182.76	c |       476 |      60       15      834 |     6655      476     36 |  1.667 % |
182.63/182.80	c |       813 |      60       15      834 |     7320      813     35 |  1.667 % |
182.73/182.84	c |      1319 |      60       15      834 |     8052     1319     34 |  1.667 % |
182.82/182.92	c |      2078 |      60       15      834 |     8857     2078     33 |  1.667 % |
182.92/183.03	c |      3217 |      60       15      834 |     9743     3217     32 |  1.667 % |
183.12/183.22	c |      4926 |      60       15      834 |    10717     4926     32 |  1.667 % |
183.42/183.56	c |      7488 |      60       15      834 |    11789     7488     32 |  1.667 % |
184.03/184.12	c |     11333 |      60       15      834 |    12968    11333     32 |  1.667 % |
185.03/185.10	c |     17099 |      60       15      834 |    14265    10592     32 |  1.667 % |
186.32/186.48	c |     25748 |      60       15      834 |    15692    12086     30 |  1.667 % |
188.52/188.63	c |     38723 |      60       15      834 |    17261     9326     29 |  1.667 % |
191.33/191.41	c |     58184 |      60       15      834 |    18987    11485     28 |  1.667 % |
196.61/196.78	c |     87376 |      60       15      834 |    20886    12128     29 |  1.667 % |
204.72/204.83	c |    131166 |      60       15      834 |    22974    14061     30 |  1.667 % |
218.82/218.98	c |    196850 |      60       15      834 |    25272    18348     29 |  1.667 % |
240.40/240.58	c |    295376 |      60       15      834 |    27799    15512     30 |  1.667 % |
276.80/276.93	c |    443165 |      60       15      834 |    30579    11101     30 |  1.667 % |
331.57/331.71	c |    664849 |      60       15      834 |    33637    17186     30 |  1.667 % |
431.43/431.66	c |    997375 |      60       15      834 |    37001    11348     32 |  1.667 % |
598.27/598.55	c |   1496165 |      60       15      834 |    40701    19408     31 |  1.667 % |
867.58/867.95	c |   2244347 |      60       15      834 |    44771    31796     31 |  1.667 % |
1276.02/1276.54	c |   3366622 |      60       15      834 |    49248    18419     29 |  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-2655857-1276598489/watcher-2655857-1276598489 -o /tmp/evaluation-result-2655857-1276598489/solver-2655857-1276598489 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655857-1276598489.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: 0.92 0.98 0.99 3/106 1052
/proc/meminfo: memFree=1816424/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=2440 CPUtime=0
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 273 0 0 0 0 0 0 0 25 0 1 0 33500755 2498560 190 1992294400 134512640 135751879 4291324528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 610 190 146 303 0 305 0

[startup+0.0965011 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 1052
/proc/meminfo: memFree=1816424/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=2700 CPUtime=0.09
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 331 0 0 0 9 0 0 0 25 0 1 0 33500755 2764800 248 1992294400 134512640 135751879 4291324528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 675 249 147 303 0 370 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2700

[startup+0.101501 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 1052
/proc/meminfo: memFree=1816424/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=2700 CPUtime=0.09
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 335 0 0 0 9 0 0 0 25 0 1 0 33500755 2764800 252 1992294400 134512640 135751879 4291324528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 675 252 147 303 0 370 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2700

[startup+0.300537 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 1052
/proc/meminfo: memFree=1816424/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=3216 CPUtime=0.29
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 453 0 0 0 28 1 0 0 25 0 1 0 33500755 3293184 370 1992294400 134512640 135751879 4291324528 18446744073709551615 134616437 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 804 370 147 303 0 499 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3216

[startup+0.70061 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 1052
/proc/meminfo: memFree=1816424/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=4032 CPUtime=0.69
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 658 0 0 0 68 1 0 0 25 0 1 0 33500755 4128768 575 1992294400 134512640 135751879 4291324528 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 1008 575 147 303 0 703 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4032

[startup+1.50076 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 1053
/proc/meminfo: memFree=1813936/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=5256 CPUtime=1.49
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 974 0 0 0 146 3 0 0 25 0 1 0 33500755 5382144 891 1992294400 134512640 135751879 4291324528 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 1314 891 147 303 0 1009 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5256

[startup+3.10105 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 1053
/proc/meminfo: memFree=1812200/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=7464 CPUtime=3.09
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 1502 0 0 0 304 5 0 0 25 0 1 0 33500755 7643136 1419 1992294400 134512640 135751879 4291324528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 1866 1419 148 303 0 1561 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7464

[startup+6.30163 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 1053
/proc/meminfo: memFree=1807860/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=11652 CPUtime=6.29
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 2574 0 0 0 620 9 0 0 25 0 1 0 33500755 11931648 2491 1992294400 134512640 135751879 4291324528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 2913 2491 148 303 0 2608 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11652

[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 1053
/proc/meminfo: memFree=1799552/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=19288 CPUtime=12.69
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 4444 0 0 0 1252 17 0 0 25 0 1 0 33500755 19750912 4361 1992294400 134512640 135751879 4291324528 18446744073709551615 134603001 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 4822 4361 148 303 0 4517 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19288

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 1053
/proc/meminfo: memFree=1785540/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=32864 CPUtime=25.48
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 7845 0 0 0 2514 34 0 0 25 0 1 0 33500755 33652736 7762 1992294400 134512640 135751879 4291324528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 8216 7762 148 303 0 7911 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32864

[startup+51.1008 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 1055
/proc/meminfo: memFree=1761980/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=56976 CPUtime=51.08
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 13853 0 0 0 5041 67 0 0 25 0 1 0 33500755 58343424 13770 1992294400 134512640 135751879 4291324528 18446744073709551615 134616404 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 14244 13770 148 303 0 13939 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 56976

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 1055
/proc/meminfo: memFree=1718952/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=99188 CPUtime=102.26
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 24391 0 0 0 10103 123 0 0 25 0 1 0 33500755 101568512 24308 1992294400 134512640 135751879 4291324528 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 24797 24308 148 303 0 24492 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 99188

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 1057
/proc/meminfo: memFree=1674188/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=144500 CPUtime=162.23
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 35705 0 0 0 16038 185 0 0 25 0 1 0 33500755 147968000 35622 1992294400 134512640 135751879 4291324528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 36125 35622 148 303 0 35820 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 144500

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 1059
/proc/meminfo: memFree=1634384/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=183476 CPUtime=222.21
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 45519 0 0 0 21964 257 0 0 25 0 1 0 33500755 187879424 45403 1992294400 134512640 135751879 4291324528 18446744073709551615 134610764 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 45869 45403 150 303 0 45564 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 183476

[startup+282.302 s]
/proc/loadavg: 1.04 1.00 1.00 2/107 1061
/proc/meminfo: memFree=1597432/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=220340 CPUtime=282.19
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 54717 0 0 0 27896 323 0 0 25 0 1 0 33500755 225628160 54601 1992294400 134512640 135751879 4291324528 18446744073709551615 134603001 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 55085 54601 150 303 0 54780 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 220340

[startup+342.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 1061
/proc/meminfo: memFree=1563456/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=254268 CPUtime=342.16
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 63199 0 0 0 33833 383 0 0 25 0 1 0 33500755 260370432 63083 1992294400 134512640 135751879 4291324528 18446744073709551615 134616344 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 63567 63083 150 303 0 63262 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 254268

[startup+402.301 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 1063
/proc/meminfo: memFree=1530348/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=287724 CPUtime=402.15
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 71561 0 0 0 39779 436 0 0 25 0 1 0 33500755 294629376 71445 1992294400 134512640 135751879 4291324528 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 71931 71445 150 303 0 71626 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 287724

[startup+462.301 s]
/proc/loadavg: 1.13 1.05 1.01 2/107 1065
/proc/meminfo: memFree=1493272/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=324516 CPUtime=462.12
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 80744 0 0 0 45723 489 0 0 25 0 1 0 33500755 332304384 80628 1992294400 134512640 135751879 4291324528 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 81129 80628 150 303 0 80824 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 324516

[startup+522.301 s]
/proc/loadavg: 1.12 1.05 1.00 2/107 1067
/proc/meminfo: memFree=1457932/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=360200 CPUtime=522.1
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 89650 0 0 0 51675 535 0 0 25 0 1 0 33500755 368844800 89534 1992294400 134512640 135751879 4291324528 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 90050 89534 150 303 0 89745 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 360200

[startup+582.302 s]
/proc/loadavg: 1.11 1.06 1.00 2/107 1069
/proc/meminfo: memFree=1422716/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=394960 CPUtime=582.08
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 98327 0 0 0 57626 582 0 0 25 0 1 0 33500755 404439040 98211 1992294400 134512640 135751879 4291324528 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 98740 98211 150 303 0 98435 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 394960

[startup+642.301 s]
/proc/loadavg: 1.10 1.06 1.00 2/107 1069
/proc/meminfo: memFree=1390476/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=426880 CPUtime=642.06
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 106308 0 0 0 63576 630 0 0 25 0 1 0 33500755 437125120 106192 1992294400 134512640 135751879 4291324528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 106720 106192 150 303 0 106415 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 426880

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 1077
/proc/meminfo: memFree=1261144/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=556008 CPUtime=881.97
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 138525 0 0 0 87383 814 0 0 25 0 1 0 33500755 569352192 138409 1992294400 134512640 135751879 4291324528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 139002 138409 150 303 0 138697 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 556008

[startup+942.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 1077
/proc/meminfo: memFree=1231136/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=586104 CPUtime=941.95
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 146065 0 0 0 93340 855 0 0 25 0 1 0 33500755 600170496 145949 1992294400 134512640 135751879 4291324528 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 146526 145949 150 303 0 146221 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 586104

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 1079
/proc/meminfo: memFree=1198028/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=619048 CPUtime=1001.93
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 154275 0 0 0 99290 903 0 0 25 0 1 0 33500755 633905152 154159 1992294400 134512640 135751879 4291324528 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 154762 154159 150 303 0 154457 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 619048

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 1081
/proc/meminfo: memFree=1165044/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=652232 CPUtime=1061.91
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 162558 0 0 0 105242 949 0 0 25 0 1 0 33500755 667885568 162442 1992294400 134512640 135751879 4291324528 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 163058 162442 150 303 0 162753 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 652232

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 1083
/proc/meminfo: memFree=1134044/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=682964 CPUtime=1121.88
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 170238 0 0 0 111192 996 0 0 25 0 1 0 33500755 699355136 170122 1992294400 134512640 135751879 4291324528 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 170741 170122 150 303 0 170436 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 682964

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1094
/proc/meminfo: memFree=1103788/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=712800 CPUtime=1181.85
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 177697 0 0 0 117145 1040 0 0 25 0 1 0 33500755 729907200 177581 1992294400 134512640 135751879 4291324528 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 178200 177581 150 303 0 177895 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 712800

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1094
/proc/meminfo: memFree=1072044/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=744408 CPUtime=1241.83
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 185574 0 0 0 123097 1086 0 0 25 0 1 0 33500755 762273792 185458 1992294400 134512640 135751879 4291324528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 186102 185458 150 303 0 185797 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 744408

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1096
/proc/meminfo: memFree=1043896/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=772272 CPUtime=1301.81
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 192556 0 0 0 129052 1129 0 0 25 0 1 0 33500755 790806528 192440 1992294400 134512640 135751879 4291324528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 193068 192440 150 303 0 192763 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 772272

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1098
/proc/meminfo: memFree=1015128/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=801236 CPUtime=1361.78
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 199782 0 0 0 135009 1169 0 0 25 0 1 0 33500755 820465664 199666 1992294400 134512640 135751879 4291324528 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 200309 199666 150 303 0 200004 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 801236

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1100
/proc/meminfo: memFree=987228/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=828876 CPUtime=1421.78
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 206671 0 0 0 140967 1211 0 0 25 0 1 0 33500755 848769024 206555 1992294400 134512640 135751879 4291324528 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 207219 206555 150 303 0 206914 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 828876

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1102
/proc/meminfo: memFree=959452/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=856728 CPUtime=1481.74
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 213646 0 0 0 146921 1253 0 0 25 0 1 0 33500755 877289472 213530 1992294400 134512640 135751879 4291324528 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 214182 213530 150 303 0 213877 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 856728

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1102
/proc/meminfo: memFree=935024/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=881100 CPUtime=1541.72
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 219723 0 0 0 152880 1292 0 0 25 0 1 0 33500755 902246400 219607 1992294400 134512640 135751879 4291324528 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 220275 219607 150 303 0 219970 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 881100

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1104
/proc/meminfo: memFree=908736/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=908288 CPUtime=1601.7
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 226502 0 0 0 158836 1334 0 0 25 0 1 0 33500755 930086912 226386 1992294400 134512640 135751879 4291324528 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 227072 226386 150 303 0 226767 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 908288

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1106
/proc/meminfo: memFree=881208/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=934752 CPUtime=1661.68
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 233137 0 0 0 164794 1374 0 0 25 0 1 0 33500755 957186048 233021 1992294400 134512640 135751879 4291324528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 233688 233021 150 303 0 233383 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 934752

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1108
/proc/meminfo: memFree=859632/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=956268 CPUtime=1721.66
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 238498 0 0 0 170754 1412 0 0 25 0 1 0 33500755 979218432 238382 1992294400 134512640 135751879 4291324528 18446744073709551615 134602986 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 239067 238382 150 303 0 238762 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 956268

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1110
/proc/meminfo: memFree=835080/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=980820 CPUtime=1781.62
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 244672 0 0 0 176714 1448 0 0 25 0 1 0 33500755 1004359680 244556 1992294400 134512640 135751879 4291324528 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 245205 244556 150 303 0 244900 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 980820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1110
/proc/meminfo: memFree=827888/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=987948 CPUtime=1800.03
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4202496 246431 0 0 0 178544 1459 0 0 25 0 1 0 33500755 1011658752 246315 1992294400 134512640 135751879 4291324528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/1052/statm: 246987 246315 150 303 0 246682 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 987948

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1110
/proc/meminfo: memFree=827888/2059040 swapFree=4140328/4192956
[pid=1052] ppid=1050 vsize=0 CPUtime=1800.13
/proc/1052/stat : 1052 (wbo1.4b) R 1050 1052 941 0 -1 4203524 246432 0 0 0 178545 1468 0 0 25 0 1 0 33500755 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/1052/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.81
CPU time (s): 1800.14
CPU user time (s): 1785.45
CPU system time (s): 14.6878
CPU usage (%): 99.9628
Max. virtual memory (cumulated for all children) (KiB): 987948

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

runsolver used 4.22336 second user time and 8.79466 second system time

The end

Launcher Data 

Begin job on node027 at 2010-06-15 12:41:29
IDJOB=2655857
IDBENCH=2894
IDSOLVER=1161
FILE ID=node027/2655857-1276598489
PBS_JOBID= 11172235
Free space on /tmp= 62536 MiB

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

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

MD5SUM BENCH= 6c673f615af1912eadc68b4290958076
RANDOM SEED=1399445268

node027.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		: 2800.261
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	: 5600.52
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		: 2800.261
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	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1816828 kB
Buffers:         37292 kB
Cached:         124948 kB
SwapCached:       6128 kB
Active:          88732 kB
Inactive:        87024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1816828 kB
SwapTotal:     4192956 kB
SwapFree:      4140328 kB
Dirty:            2652 kB
Writeback:           0 kB
AnonPages:       11772 kB
Mapped:          13164 kB
Slab:            44564 kB
PageTables:       4000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181224 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62532 MiB
End job on node027 at 2010-06-15 13:11:32