Trace number 2680509

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_6_50_3.opb
MD5SUMf48abdef3d00ab6f87ca2e4f0d43c1d1
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 variables51
Total number of constraints13
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 constraints12
Minimum length of a constraint1
Maximum length of a constraint50
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 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3811
Number of bits of the biggest sum of numbers12
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-2680509-1277458359.opb.
0.00/0.00	c Instance file HOME/instance-2680509-1277458359.opb
0.00/0.00	c File size is 4933 bytes.
0.00/0.00	c Highest Coefficient sum: 3811
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:      51                                                  |
0.00/0.00	c |  Number Clauses:        1                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 12                                                  |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      50       13      592 |     5000        0    nan |  0.000 % |
0.00/0.00	c |       100 |      50       13      592 |     5500      100     28 |  2.000 % |
0.00/0.01	c |       250 |      50       13      592 |     6050      250     29 |  2.000 % |
0.00/0.03	c |       475 |      50       13      592 |     6655      475     29 |  2.000 % |
0.00/0.05	c |       812 |      50       13      592 |     7320      812     29 |  2.000 % |
0.00/0.08	c |      1318 |      50       13      592 |     8052     1318     29 |  2.000 % |
0.09/0.13	c |      2077 |      50       13      592 |     8857     2077     28 |  2.000 % |
0.19/0.21	c |      3216 |      50       13      592 |     9743     3216     27 |  2.000 % |
0.29/0.35	c |      4924 |      50       13      592 |    10717     4924     27 |  2.000 % |
0.59/0.61	c |      7486 |      50       13      592 |    11789     7486     27 |  2.000 % |
1.00/1.03	c |     11331 |      50       13      592 |    12968    11331     26 |  2.000 % |
1.79/1.82	c |     17097 |      50       13      592 |    14265    10598     26 |  2.000 % |
2.90/2.97	c |     25748 |      50       13      592 |    15692    12097     25 |  2.000 % |
4.69/4.71	c |     38723 |      50       13      592 |    17261     9344     23 |  2.000 % |
7.69/7.71	c |     58184 |      50       13      592 |    18987    11512     24 |  2.000 % |
12.29/12.33	c |     87376 |      50       13      592 |    20886    12165     24 |  2.000 % |
20.18/20.26	c |    131165 |      50       13      592 |    22974    14117     24 |  2.000 % |
32.39/32.40	c |    196851 |      50       13      592 |    25272    18438     24 |  2.000 % |
52.88/52.91	c |    295377 |      50       13      592 |    27799    15645     23 |  2.000 % |
87.97/88.02	c |    443167 |      50       13      592 |    30579    11279     23 |  2.000 % |
143.74/143.80	c |    664850 |      50       13      592 |    33637    17469     25 |  2.000 % |
181.93/182.09	c There are 1 assigned variables. 1 in cost function.
182.45/182.53	c ============================[ Search Statistics ]==============================
182.45/182.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.45/182.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.45/182.53	c ===============================================================================
182.45/182.53	c |         0 |      50       13      592 |     5000        0    nan |  0.000 % |
182.55/182.62	c |       100 |      50       13      592 |     5500      100     28 |  2.000 % |
182.55/182.63	c |       250 |      50       13      592 |     6050      250     29 |  2.000 % |
182.55/182.64	c |       475 |      50       13      592 |     6655      475     29 |  2.000 % |
182.55/182.66	c |       812 |      50       13      592 |     7320      812     29 |  2.000 % |
182.64/182.70	c |      1318 |      50       13      592 |     8052     1318     29 |  2.000 % |
182.64/182.75	c |      2077 |      50       13      592 |     8857     2077     28 |  2.000 % |
182.74/182.84	c |      3216 |      50       13      592 |     9743     3216     27 |  2.000 % |
182.83/182.99	c |      4924 |      50       13      592 |    10717     4924     27 |  2.000 % |
183.14/183.26	c |      7486 |      50       13      592 |    11789     7486     27 |  2.000 % |
183.65/183.71	c |     11331 |      50       13      592 |    12968    11331     26 |  2.000 % |
184.43/184.53	c |     17097 |      50       13      592 |    14265    10598     26 |  2.000 % |
185.64/185.72	c |     25748 |      50       13      592 |    15692    12097     25 |  2.000 % |
187.33/187.48	c |     38723 |      50       13      592 |    17261     9344     23 |  2.000 % |
190.34/190.47	c |     58184 |      50       13      592 |    18987    11512     24 |  2.000 % |
194.94/195.04	c |     87376 |      50       13      592 |    20886    12165     24 |  2.000 % |
202.44/202.51	c |    131165 |      50       13      592 |    22974    14117     24 |  2.000 % |
214.02/214.17	c |    196851 |      50       13      592 |    25272    18438     24 |  2.000 % |
233.03/233.13	c |    295377 |      50       13      592 |    27799    15645     23 |  2.000 % |
265.71/265.82	c |    443167 |      50       13      592 |    30579    11279     23 |  2.000 % |
316.80/316.94	c |    664850 |      50       13      592 |    33637    17469     25 |  2.000 % |
414.97/415.15	c |    997375 |      50       13      592 |    37001    11880     23 |  2.000 % |
572.93/573.11	c |   1496163 |      50       13      592 |    40701    20081     24 |  2.000 % |
852.25/852.59	c |   2244345 |      50       13      592 |    44771    32630     23 |  2.000 % |
1326.40/1326.85	c |   3366620 |      50       13      592 |    49248    19296     24 |  2.000 % |

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-2680509-1277458359/watcher-2680509-1277458359 -o /tmp/evaluation-result-2680509-1277458359/solver-2680509-1277458359 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680509-1277458359.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.99 0.97 0.91 3/106 27944
/proc/meminfo: memFree=1854544/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=2436 CPUtime=0
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 268 0 0 0 0 0 0 0 20 0 1 0 87128716 2494464 185 1992294400 134512640 135752675 4288516320 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 609 185 144 303 0 304 0

[startup+0.0985909 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 27944
/proc/meminfo: memFree=1854544/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=2832 CPUtime=0.09
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 342 0 0 0 9 0 0 0 20 0 1 0 87128716 2899968 259 1992294400 134512640 135752675 4288516320 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 708 259 145 303 0 403 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2832

[startup+0.101593 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 27944
/proc/meminfo: memFree=1854544/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=2832 CPUtime=0.09
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 344 0 0 0 9 0 0 0 20 0 1 0 87128716 2899968 261 1992294400 134512640 135752675 4288516320 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 708 261 145 303 0 403 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2832

[startup+0.30162 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 27944
/proc/meminfo: memFree=1854544/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=3356 CPUtime=0.29
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 475 0 0 0 29 0 0 0 20 0 1 0 87128716 3436544 392 1992294400 134512640 135752675 4288516320 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 839 392 145 303 0 534 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3356

[startup+0.701657 s]
/proc/loadavg: 0.99 0.97 0.91 3/106 27944
/proc/meminfo: memFree=1854544/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=4168 CPUtime=0.69
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 677 0 0 0 67 2 0 0 21 0 1 0 87128716 4268032 594 1992294400 134512640 135752675 4288516320 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 1042 594 145 303 0 737 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4168

[startup+1.50175 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27945
/proc/meminfo: memFree=1852180/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=5268 CPUtime=1.49
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 964 0 0 0 146 3 0 0 23 0 1 0 87128716 5394432 881 1992294400 134512640 135752675 4288516320 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 1317 881 145 303 0 1012 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5268

[startup+3.10192 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27945
/proc/meminfo: memFree=1850444/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=7468 CPUtime=3.09
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 1508 0 0 0 304 5 0 0 25 0 1 0 87128716 7647232 1425 1992294400 134512640 135752675 4288516320 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 1867 1425 145 303 0 1562 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7468

[startup+6.30127 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27945
/proc/meminfo: memFree=1845980/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=11384 CPUtime=6.29
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 2493 0 0 0 619 10 0 0 25 0 1 0 87128716 11657216 2410 1992294400 134512640 135752675 4288516320 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 2846 2410 145 303 0 2541 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11384

[startup+12.702 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27945
/proc/meminfo: memFree=1838788/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=18540 CPUtime=12.68
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 4254 0 0 0 1249 19 0 0 25 0 1 0 87128716 18984960 4171 1992294400 134512640 135752675 4288516320 18446744073709551615 134611594 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 4635 4171 145 303 0 4330 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18540

[startup+25.5014 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27945
/proc/meminfo: memFree=1826140/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=30500 CPUtime=25.48
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 7248 0 0 0 2512 36 0 0 25 0 1 0 87128716 31232000 7165 1992294400 134512640 135752675 4288516320 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 7625 7165 145 303 0 7320 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 30500

[startup+51.1012 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27947
/proc/meminfo: memFree=1805060/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=51840 CPUtime=51.08
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 12581 0 0 0 5038 70 0 0 25 0 1 0 87128716 53084160 12498 1992294400 134512640 135752675 4288516320 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 12960 12498 145 303 0 12655 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 51840

[startup+102.309 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27947
/proc/meminfo: memFree=1768232/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=88068 CPUtime=102.27
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 21621 0 0 0 10100 127 0 0 25 0 1 0 87128716 90181632 21538 1992294400 134512640 135752675 4288516320 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 22017 21538 145 303 0 21712 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 88068

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27949
/proc/meminfo: memFree=1731528/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=125084 CPUtime=162.25
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 30839 0 0 0 16040 185 0 0 25 0 1 0 87128716 128086016 30756 1992294400 134512640 135752675 4288516320 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 31271 30756 145 303 0 30966 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 125084

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27951
/proc/meminfo: memFree=1696312/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=159920 CPUtime=222.23
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 39633 0 0 0 21960 263 0 0 25 0 1 0 87128716 163758080 39517 1992294400 134512640 135752675 4288516320 18446744073709551615 134611582 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 39980 39517 146 303 0 39675 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 159920

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27953
/proc/meminfo: memFree=1662212/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=194052 CPUtime=282.2
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 48150 0 0 0 27892 328 0 0 25 0 1 0 87128716 198709248 48034 1992294400 134512640 135752675 4288516320 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 48513 48034 146 303 0 48208 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 194052

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27955
/proc/meminfo: memFree=1633568/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=222756 CPUtime=342.19
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 55286 0 0 0 33827 392 0 0 25 0 1 0 87128716 228102144 55170 1992294400 134512640 135752675 4288516320 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 55689 55170 146 303 0 55384 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 222756

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27955
/proc/meminfo: memFree=1601576/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=255352 CPUtime=402.18
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 63428 0 0 0 39774 444 0 0 25 0 1 0 87128716 261480448 63312 1992294400 134512640 135752675 4288516320 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 63838 63312 146 303 0 63533 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 255352

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27957
/proc/meminfo: memFree=1569336/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=286700 CPUtime=462.15
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 71269 0 0 0 45720 495 0 0 25 0 1 0 87128716 293580800 71153 1992294400 134512640 135752675 4288516320 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 71675 71153 146 303 0 71370 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 286700

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27959
/proc/meminfo: memFree=1538708/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=317900 CPUtime=522.13
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 79035 0 0 0 51665 548 0 0 25 0 1 0 87128716 325529600 78919 1992294400 134512640 135752675 4288516320 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 79475 78919 146 303 0 79170 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 317900

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27961
/proc/meminfo: memFree=1508204/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=347508 CPUtime=582.12
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 86464 0 0 0 57615 597 0 0 25 0 1 0 87128716 355848192 86348 1992294400 134512640 135752675 4288516320 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 86877 86348 146 303 0 86572 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 347508

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27963
/proc/meminfo: memFree=1479312/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=376436 CPUtime=642.1
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 93673 0 0 0 63565 645 0 0 25 0 1 0 87128716 385470464 93557 1992294400 134512640 135752675 4288516320 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 94109 93557 146 303 0 93804 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 376436

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27967
/proc/meminfo: memFree=1401316/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=454360 CPUtime=822.05
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 113114 0 0 0 81434 771 0 0 25 0 1 0 87128716 465264640 112998 1992294400 134512640 135752675 4288516320 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 113590 112998 146 303 0 113285 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 454360

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27969
/proc/meminfo: memFree=1375524/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=480228 CPUtime=882.03
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 119515 0 0 0 87388 815 0 0 25 0 1 0 87128716 491753472 119399 1992294400 134512640 135752675 4288516320 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 120057 119399 146 303 0 119752 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 480228

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27971
/proc/meminfo: memFree=1348864/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=506836 CPUtime=942.01
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 126174 0 0 0 93343 858 0 0 25 0 1 0 87128716 519000064 126058 1992294400 134512640 135752675 4288516320 18446744073709551615 134612104 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 126709 126058 146 303 0 126404 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 506836

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/107 27971
/proc/meminfo: memFree=1326792/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=528820 CPUtime=1001.99
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 131662 0 0 0 99306 893 0 0 25 0 1 0 87128716 541511680 131546 1992294400 134512640 135752675 4288516320 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 132205 131546 146 303 0 131900 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 528820

[startup+1062.3 s]
/proc/loadavg: 1.07 0.99 0.91 2/107 27973
/proc/meminfo: memFree=1304472/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=551128 CPUtime=1061.98
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 137249 0 0 0 105270 928 0 0 25 0 1 0 87128716 564355072 137133 1992294400 134512640 135752675 4288516320 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 137782 137133 146 303 0 137477 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 551128

[startup+1122.3 s]
/proc/loadavg: 1.02 0.99 0.91 2/107 27975
/proc/meminfo: memFree=1279920/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=575508 CPUtime=1121.95
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 143335 0 0 0 111222 973 0 0 25 0 1 0 87128716 589320192 143219 1992294400 134512640 135752675 4288516320 18446744073709551615 134611576 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 143877 143219 146 303 0 143572 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 575508

[startup+1182.3 s]
/proc/loadavg: 1.07 1.00 0.92 2/107 27977
/proc/meminfo: memFree=1260824/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=595044 CPUtime=1181.94
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 148240 0 0 0 117184 1010 0 0 25 0 1 0 87128716 609325056 148124 1992294400 134512640 135752675 4288516320 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 148761 148124 146 303 0 148456 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 595044

[startup+1242.3 s]
/proc/loadavg: 1.08 1.01 0.93 2/107 27979
/proc/meminfo: memFree=1235900/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=619432 CPUtime=1241.92
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 154320 0 0 0 123142 1050 0 0 25 0 1 0 87128716 634298368 154204 1992294400 134512640 135752675 4288516320 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 154858 154204 146 303 0 154553 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 619432

[startup+1302.3 s]
/proc/loadavg: 1.08 1.03 0.93 2/107 27979
/proc/meminfo: memFree=1213332/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=641684 CPUtime=1301.91
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 159871 0 0 0 129103 1088 0 0 25 0 1 0 87128716 657084416 159755 1992294400 134512640 135752675 4288516320 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 160421 159755 146 303 0 160116 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 641684

[startup+1362.3 s]
/proc/loadavg: 1.08 1.03 0.94 2/107 27981
/proc/meminfo: memFree=1191632/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=663840 CPUtime=1361.89
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 165407 0 0 0 135065 1124 0 0 25 0 1 0 87128716 679772160 165291 1992294400 134512640 135752675 4288516320 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 165960 165291 146 303 0 165655 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 663840

[startup+1422.31 s]
/proc/loadavg: 1.07 1.04 0.94 2/107 27983
/proc/meminfo: memFree=1168568/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=686404 CPUtime=1421.88
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 171061 0 0 0 141030 1158 0 0 25 0 1 0 87128716 702877696 170945 1992294400 134512640 135752675 4288516320 18446744073709551615 134650420 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 171601 170945 146 303 0 171296 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 686404

[startup+1482.3 s]
/proc/loadavg: 1.07 1.04 0.95 2/107 27985
/proc/meminfo: memFree=1145380/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=709636 CPUtime=1481.85
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 176871 0 0 0 146985 1200 0 0 25 0 1 0 87128716 726667264 176755 1992294400 134512640 135752675 4288516320 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 177409 176755 146 303 0 177104 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 709636

[startup+1542.3 s]
/proc/loadavg: 1.12 1.06 0.96 2/107 27987
/proc/meminfo: memFree=1121572/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=733264 CPUtime=1541.83
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 182783 0 0 0 152943 1240 0 0 25 0 1 0 87128716 750862336 182667 1992294400 134512640 135752675 4288516320 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 183316 182667 146 303 0 183011 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 733264

[startup+1602.3 s]
/proc/loadavg: 1.08 1.06 0.96 2/107 27987
/proc/meminfo: memFree=1097516/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=757552 CPUtime=1601.81
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 188852 0 0 0 158901 1280 0 0 25 0 1 0 87128716 775733248 188736 1992294400 134512640 135752675 4288516320 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 189388 188736 146 303 0 189083 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 757552

[startup+1662.3 s]
/proc/loadavg: 1.17 1.09 0.98 2/107 27989
/proc/meminfo: memFree=1076808/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=778108 CPUtime=1661.8
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 193966 0 0 0 164863 1317 0 0 25 0 1 0 87128716 796782592 193850 1992294400 134512640 135752675 4288516320 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 194527 193850 146 303 0 194222 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 778108

[startup+1722.3 s]
/proc/loadavg: 1.13 1.09 0.98 2/107 28000
/proc/meminfo: memFree=1053620/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=800812 CPUtime=1721.77
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 199646 0 0 0 170824 1353 0 0 25 0 1 0 87128716 820031488 199530 1992294400 134512640 135752675 4288516320 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 200203 199530 146 303 0 199898 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 800812

[startup+1782.3 s]
/proc/loadavg: 1.11 1.09 0.99 2/107 28002
/proc/meminfo: memFree=1034028/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=820216 CPUtime=1781.75
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 204523 0 0 0 176787 1388 0 0 25 0 1 0 87128716 839901184 204407 1992294400 134512640 135752675 4288516320 18446744073709551615 134611588 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 205054 204407 146 303 0 204749 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 820216



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.09 1.08 0.99 2/107 28002
/proc/meminfo: memFree=1027208/2059040 swapFree=4140192/4192956
[pid=27944] ppid=27942 vsize=827048 CPUtime=1800.06
/proc/27944/stat : 27944 (wbo1.4b) R 27942 27944 27605 0 -1 4202496 206217 0 0 0 178607 1399 0 0 25 0 1 0 87128716 846897152 206101 1992294400 134512640 135752675 4288516320 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27944/statm: 206762 206101 146 303 0 206457 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 827048

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.7
CPU time (s): 1800.16
CPU user time (s): 1786.08
CPU system time (s): 14.0829
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 827048

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

runsolver used 3.21151 second user time and 8.26974 second system time

The end

Launcher Data 

Begin job on node037 at 2010-06-25 11:32:39
IDJOB=2680509
IDBENCH=2919
IDSOLVER=1190
FILE ID=node037/2680509-1277458359
PBS_JOBID= 11188129
Free space on /tmp= 62496 MiB

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

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

MD5SUM BENCH= f48abdef3d00ab6f87ca2e4f0d43c1d1
RANDOM SEED=1927481012

node037.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.248
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.49
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.248
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.55
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1855072 kB
Buffers:         30016 kB
Cached:          76052 kB
SwapCached:       5520 kB
Active:          36312 kB
Inactive:        82760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1855072 kB
SwapTotal:     4192956 kB
SwapFree:      4140192 kB
Dirty:            3948 kB
Writeback:           0 kB
AnonPages:       11592 kB
Mapped:          11816 kB
Slab:            62760 kB
PageTables:       4152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181296 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62492 MiB
End job on node037 at 2010-06-25 12:02:42