Trace number 2680505

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_3.opb
MD5SUM0cfcb152e5d64f6fbadc82a2b31230da
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 1901
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5704
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-2680505-1277458149.opb.
0.00/0.00	c Instance file HOME/instance-2680505-1277458149.opb
0.00/0.00	c File size is 6882 bytes.
0.00/0.00	c Highest Coefficient sum: 5704
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 |       252 |      60       15      836 |     6050      252     37 |  1.667 % |
0.02/0.04	c |       477 |      60       15      836 |     6655      477     36 |  1.667 % |
0.02/0.07	c |       814 |      60       15      836 |     7320      814     34 |  1.667 % |
0.09/0.11	c |      1320 |      60       15      836 |     8052     1320     34 |  1.667 % |
0.09/0.18	c |      2079 |      60       15      836 |     8857     2079     34 |  1.667 % |
0.19/0.29	c |      3218 |      60       15      836 |     9743     3218     34 |  1.667 % |
0.39/0.45	c |      4926 |      60       15      836 |    10717     4926     32 |  1.667 % |
0.69/0.72	c |      7488 |      60       15      836 |    11789     7488     32 |  1.667 % |
1.19/1.20	c |     11332 |      60       15      836 |    12968    11332     31 |  1.667 % |
1.89/1.93	c |     17098 |      60       15      836 |    14265    10594     30 |  1.667 % |
3.09/3.15	c |     25747 |      60       15      836 |    15692    12089     30 |  1.667 % |
4.99/5.09	c |     38722 |      60       15      836 |    17261     9331     30 |  1.667 % |
8.19/8.27	c |     58183 |      60       15      836 |    18987    11488     30 |  1.667 % |
13.29/13.34	c |     87375 |      60       15      836 |    20886    12134     30 |  1.667 % |
21.19/21.22	c |    131164 |      60       15      836 |    22974    14071     28 |  1.667 % |
33.48/33.54	c |    196849 |      60       15      836 |    25272    18408     30 |  1.667 % |
53.57/53.62	c |    295375 |      60       15      836 |    27799    15616     29 |  1.667 % |
84.97/85.07	c |    443165 |      60       15      836 |    30579    11216     28 |  1.667 % |
136.56/136.68	c |    664848 |      60       15      836 |    33637    17363     28 |  1.667 % |
182.14/182.25	c There are 1 assigned variables. 1 in cost function.
182.64/182.75	c ============================[ Search Statistics ]==============================
182.64/182.75	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.64/182.75	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.64/182.75	c ===============================================================================
182.64/182.75	c |         0 |      60       15      836 |     5000        0    nan |  0.000 % |
182.74/182.86	c |       101 |      60       15      836 |     5500      101     38 |  1.667 % |
182.74/182.87	c |       252 |      60       15      836 |     6050      252     37 |  1.667 % |
182.74/182.89	c |       477 |      60       15      836 |     6655      477     36 |  1.667 % |
182.84/182.93	c |       814 |      60       15      836 |     7320      814     34 |  1.667 % |
182.84/182.97	c |      1320 |      60       15      836 |     8052     1320     34 |  1.667 % |
182.94/183.04	c |      2079 |      60       15      836 |     8857     2079     34 |  1.667 % |
183.04/183.16	c |      3218 |      60       15      836 |     9743     3218     34 |  1.667 % |
183.25/183.33	c |      4926 |      60       15      836 |    10717     4926     32 |  1.667 % |
183.55/183.62	c |      7488 |      60       15      836 |    11789     7488     32 |  1.667 % |
184.04/184.13	c |     11332 |      60       15      836 |    12968    11332     31 |  1.667 % |
184.75/184.89	c |     17098 |      60       15      836 |    14265    10594     30 |  1.667 % |
186.04/186.15	c |     25747 |      60       15      836 |    15692    12089     30 |  1.667 % |
188.05/188.13	c |     38722 |      60       15      836 |    17261     9331     30 |  1.667 % |
191.24/191.39	c |     58183 |      60       15      836 |    18987    11488     30 |  1.667 % |
196.44/196.59	c |     87375 |      60       15      836 |    20886    12134     30 |  1.667 % |
204.44/204.53	c |    131164 |      60       15      836 |    22974    14071     28 |  1.667 % |
216.73/216.80	c |    196849 |      60       15      836 |    25272    18408     30 |  1.667 % |
236.62/236.78	c |    295375 |      60       15      836 |    27799    15616     29 |  1.667 % |
267.71/267.88	c |    443165 |      60       15      836 |    30579    11216     28 |  1.667 % |
318.11/318.27	c |    664848 |      60       15      836 |    33637    17363     28 |  1.667 % |
401.48/401.67	c |    997373 |      60       15      836 |    37001    11578     27 |  1.667 % |
543.53/543.71	c |   1496161 |      60       15      836 |    40701    19643     27 |  1.667 % |
770.36/770.64	c |   2244343 |      60       15      836 |    44771    32062     28 |  1.667 % |
1147.85/1148.23	c |   3366618 |      60       15      836 |    49248    18515     27 |  1.667 % |
1769.28/1769.80	c |   5050030 |      60       15      836 |    54173    39216     30 |  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-2680505-1277458149/watcher-2680505-1277458149 -o /tmp/evaluation-result-2680505-1277458149/solver-2680505-1277458149 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680505-1277458149.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.94 3/106 27205
/proc/meminfo: memFree=1809000/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=2440 CPUtime=0
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 272 0 0 0 0 0 0 0 20 0 1 0 87106563 2498560 189 1992294400 134512640 135752675 4292347760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 610 189 144 303 0 305 0

[startup+0.0257439 s]
/proc/loadavg: 0.92 0.98 0.94 3/106 27205
/proc/meminfo: memFree=1809000/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=2568 CPUtime=0.02
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 284 0 0 0 2 0 0 0 20 0 1 0 87106563 2629632 201 1992294400 134512640 135752675 4292347760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 642 201 145 303 0 337 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2568

[startup+0.10175 s]
/proc/loadavg: 0.92 0.98 0.94 3/106 27205
/proc/meminfo: memFree=1809000/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=2696 CPUtime=0.09
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 332 0 0 0 9 0 0 0 20 0 1 0 87106563 2760704 249 1992294400 134512640 135752675 4292347760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 674 250 145 303 0 369 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2696

[startup+0.301768 s]
/proc/loadavg: 0.92 0.98 0.94 3/106 27205
/proc/meminfo: memFree=1809000/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=3212 CPUtime=0.29
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 452 0 0 0 29 0 0 0 20 0 1 0 87106563 3289088 369 1992294400 134512640 135752675 4292347760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 803 369 145 303 0 498 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3212

[startup+0.701803 s]
/proc/loadavg: 0.92 0.98 0.94 3/106 27205
/proc/meminfo: memFree=1809000/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=4008 CPUtime=0.69
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 656 0 0 0 68 1 0 0 20 0 1 0 87106563 4104192 573 1992294400 134512640 135752675 4292347760 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 1002 573 145 303 0 697 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4008

[startup+1.50187 s]
/proc/loadavg: 0.92 0.98 0.94 2/107 27206
/proc/meminfo: memFree=1806760/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=5316 CPUtime=1.49
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 962 0 0 0 147 2 0 0 22 0 1 0 87106563 5443584 879 1992294400 134512640 135752675 4292347760 18446744073709551615 134605418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 1329 879 145 303 0 1024 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5316

[startup+3.10101 s]
/proc/loadavg: 0.92 0.98 0.94 2/107 27206
/proc/meminfo: memFree=1804776/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=7704 CPUtime=3.09
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 1562 0 0 0 305 4 0 0 25 0 1 0 87106563 7888896 1479 1992294400 134512640 135752675 4292347760 18446744073709551615 134611718 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 1926 1479 145 303 0 1621 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7704

[startup+6.30129 s]
/proc/loadavg: 0.93 0.98 0.94 2/107 27206
/proc/meminfo: memFree=1800188/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=11704 CPUtime=6.29
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 2581 0 0 0 620 9 0 0 25 0 1 0 87106563 11984896 2498 1992294400 134512640 135752675 4292347760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 2926 2498 145 303 0 2621 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11704

[startup+12.7009 s]
/proc/loadavg: 0.93 0.98 0.94 2/107 27206
/proc/meminfo: memFree=1792252/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=19276 CPUtime=12.68
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 4443 0 0 0 1252 16 0 0 25 0 1 0 87106563 19738624 4360 1992294400 134512640 135752675 4292347760 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 4819 4360 145 303 0 4514 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19276

[startup+25.501 s]
/proc/loadavg: 0.95 0.98 0.94 2/107 27208
/proc/meminfo: memFree=1778488/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=32684 CPUtime=25.48
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 7785 0 0 0 2515 33 0 0 25 0 1 0 87106563 33468416 7702 1992294400 134512640 135752675 4292347760 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 8171 7702 145 303 0 7866 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32684

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.94 2/107 27208
/proc/meminfo: memFree=1754060/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=57580 CPUtime=51.08
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 14006 0 0 0 5040 68 0 0 25 0 1 0 87106563 58961920 13923 1992294400 134512640 135752675 4292347760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 14395 13923 145 303 0 14090 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 57580

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.94 2/107 27210
/proc/meminfo: memFree=1709544/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=101396 CPUtime=102.27
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 24927 0 0 0 10102 125 0 0 25 0 1 0 87106563 103829504 24844 1992294400 134512640 135752675 4292347760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 25349 24844 145 303 0 25044 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 101396

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 27210
/proc/meminfo: memFree=1664160/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=147076 CPUtime=162.25
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 36352 0 0 0 16037 188 0 0 25 0 1 0 87106563 150605824 36269 1992294400 134512640 135752675 4292347760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 36769 36269 145 303 0 36464 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 147076

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 27215
/proc/meminfo: memFree=1619644/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=190352 CPUtime=222.23
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 47230 0 0 0 21958 265 0 0 25 0 1 0 87106563 194920448 47114 1992294400 134512640 135752675 4292347760 18446744073709551615 134638107 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 47588 47114 146 303 0 47283 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 190352

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 27217
/proc/meminfo: memFree=1579716/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=230532 CPUtime=282.21
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 57251 0 0 0 27885 336 0 0 25 0 1 0 87106563 236064768 57135 1992294400 134512640 135752675 4292347760 18446744073709551615 134602984 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 57633 57135 146 303 0 57328 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 230532

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 27219
/proc/meminfo: memFree=1544376/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=265860 CPUtime=342.2
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 66070 0 0 0 33822 398 0 0 25 0 1 0 87106563 272240640 65954 1992294400 134512640 135752675 4292347760 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 66465 65954 146 303 0 66160 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 265860

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 27221
/proc/meminfo: memFree=1504820/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=306132 CPUtime=402.17
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 76156 0 0 0 39753 464 0 0 25 0 1 0 87106563 313479168 76040 1992294400 134512640 135752675 4292347760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 76533 76040 146 303 0 76228 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 306132

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 27221
/proc/meminfo: memFree=1462412/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=347800 CPUtime=462.16
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 86557 0 0 0 45694 522 0 0 25 0 1 0 87106563 356147200 86441 1992294400 134512640 135752675 4292347760 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 86950 86441 146 303 0 86645 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 347800

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 27223
/proc/meminfo: memFree=1424840/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=385836 CPUtime=522.14
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 96053 0 0 0 51640 574 0 0 25 0 1 0 87106563 395096064 95937 1992294400 134512640 135752675 4292347760 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 96459 95937 146 303 0 96154 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 385836

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 27225
/proc/meminfo: memFree=1388260/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=421844 CPUtime=582.12
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 105078 0 0 0 57588 624 0 0 25 0 1 0 87106563 431968256 104962 1992294400 134512640 135752675 4292347760 18446744073709551615 134637997 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 105461 104962 146 303 0 105156 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 421844

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 27227
/proc/meminfo: memFree=1351060/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=458688 CPUtime=642.11
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 114279 0 0 0 63530 681 0 0 25 0 1 0 87106563 469696512 114163 1992294400 134512640 135752675 4292347760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 114672 114163 146 303 0 114367 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 458688

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.94 2/107 27233
/proc/meminfo: memFree=1213296/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=596488 CPUtime=882.03
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 148630 0 0 0 87321 882 0 0 25 0 1 0 87106563 610803712 148514 1992294400 134512640 135752675 4292347760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 149122 148514 146 303 0 148817 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 596488

[startup+942.301 s]
/proc/loadavg: 1.04 1.00 0.95 2/107 27235
/proc/meminfo: memFree=1180436/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=630144 CPUtime=942.01
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 157047 0 0 0 93269 932 0 0 25 0 1 0 87106563 645267456 156931 1992294400 134512640 135752675 4292347760 18446744073709551615 134518730 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 157536 156931 146 303 0 157231 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 630144

[startup+1002.3 s]
/proc/loadavg: 1.01 1.00 0.95 2/107 27237
/proc/meminfo: memFree=1146956/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=662616 CPUtime=1001.99
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 165170 0 0 0 99220 979 0 0 25 0 1 0 87106563 678518784 165054 1992294400 134512640 135752675 4292347760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 165654 165054 146 303 0 165349 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 662616

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 27237
/proc/meminfo: memFree=1116204/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=693524 CPUtime=1061.97
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 172894 0 0 0 105171 1026 0 0 25 0 1 0 87106563 710168576 172778 1992294400 134512640 135752675 4292347760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 173381 172778 146 303 0 173076 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 693524

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 27239
/proc/meminfo: memFree=1085080/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=724464 CPUtime=1121.96
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 180613 0 0 0 111119 1077 0 0 25 0 1 0 87106563 741851136 180497 1992294400 134512640 135752675 4292347760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 181116 180497 146 303 0 180811 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 724464

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 27241
/proc/meminfo: memFree=1052716/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=756756 CPUtime=1181.94
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 188710 0 0 0 117073 1121 0 0 25 0 1 0 87106563 774918144 188594 1992294400 134512640 135752675 4292347760 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 189189 188594 146 303 0 188884 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 756756

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 27243
/proc/meminfo: memFree=1023204/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=785864 CPUtime=1241.92
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 195971 0 0 0 123027 1165 0 0 25 0 1 0 87106563 804724736 195855 1992294400 134512640 135752675 4292347760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 196466 195855 146 303 0 196161 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 785864

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 27245
/proc/meminfo: memFree=992824/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=815992 CPUtime=1301.91
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 203498 0 0 0 128980 1211 0 0 25 0 1 0 87106563 835575808 203382 1992294400 134512640 135752675 4292347760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 203998 203382 146 303 0 203693 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 815992

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 27245
/proc/meminfo: memFree=959592/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=849256 CPUtime=1361.89
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 211820 0 0 0 134926 1263 0 0 25 0 1 0 87106563 869638144 211704 1992294400 134512640 135752675 4292347760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 212314 211704 146 303 0 212009 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 849256

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 27247
/proc/meminfo: memFree=930452/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=878312 CPUtime=1421.88
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 219065 0 0 0 140881 1307 0 0 25 0 1 0 87106563 899391488 218949 1992294400 134512640 135752675 4292347760 18446744073709551615 134650420 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 219578 218949 146 303 0 219273 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 878312

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 27249
/proc/meminfo: memFree=900692/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=908500 CPUtime=1481.85
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 226630 0 0 0 146837 1348 0 0 25 0 1 0 87106563 930304000 226514 1992294400 134512640 135752675 4292347760 18446744073709551615 134605418 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 227125 226514 146 303 0 226820 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 908500

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 27251
/proc/meminfo: memFree=869196/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=939488 CPUtime=1541.84
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 234362 0 0 0 152788 1396 0 0 25 0 1 0 87106563 962035712 234246 1992294400 134512640 135752675 4292347760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 234872 234246 146 303 0 234567 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 939488

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 27253
/proc/meminfo: memFree=840676/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=968132 CPUtime=1601.82
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 241542 0 0 0 158739 1443 0 0 25 0 1 0 87106563 991367168 241426 1992294400 134512640 135752675 4292347760 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 242033 241426 146 303 0 241728 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 968132

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 27253
/proc/meminfo: memFree=812032/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=996572 CPUtime=1661.81
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 248636 0 0 0 164695 1486 0 0 25 0 1 0 87106563 1020489728 248520 1992294400 134512640 135752675 4292347760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 249143 248520 146 303 0 248838 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 996572

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 27255
/proc/meminfo: memFree=782396/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=1026704 CPUtime=1721.79
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 256182 0 0 0 170648 1531 0 0 25 0 1 0 87106563 1051344896 256066 1992294400 134512640 135752675 4292347760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 256676 256066 146 303 0 256371 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1026704

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 27257
/proc/meminfo: memFree=751768/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=1056584 CPUtime=1781.77
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 263640 0 0 0 176604 1573 0 0 25 0 1 0 87106563 1081942016 263524 1992294400 134512640 135752675 4292347760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 264146 263524 146 303 0 263841 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1056584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 27257
/proc/meminfo: memFree=742964/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=1065164 CPUtime=1800.09
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4202496 265768 0 0 0 178422 1587 0 0 25 0 1 0 87106563 1090727936 265652 1992294400 134512640 135752675 4292347760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27205/statm: 266291 265652 146 303 0 265986 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1065164

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

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

[startup+1800.72 s]
/proc/loadavg: 1.00 1.00 0.95 2/107 27257
/proc/meminfo: memFree=742964/2059040 swapFree=4140528/4192956
[pid=27205] ppid=27203 vsize=0 CPUtime=1800.19
/proc/27205/stat : 27205 (wbo1.4b) R 27203 27205 26738 0 -1 4203524 265768 0 0 0 178422 1597 0 0 25 0 1 0 87106563 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/27205/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.72
CPU time (s): 1800.2
CPU user time (s): 1784.22
CPU system time (s): 15.9756
CPU usage (%): 99.971
Max. virtual memory (cumulated for all children) (KiB): 1065164

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

runsolver used 3.11053 second user time and 8.37073 second system time

The end

Launcher Data 

Begin job on node050 at 2010-06-25 11:29:09
IDJOB=2680505
IDBENCH=2909
IDSOLVER=1190
FILE ID=node050/2680505-1277458149
PBS_JOBID= 11188118
Free space on /tmp= 62416 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_3.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680505-1277458149/watcher-2680505-1277458149 -o /tmp/evaluation-result-2680505-1277458149/solver-2680505-1277458149 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680505-1277458149.opb

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

MD5SUM BENCH= 0cfcb152e5d64f6fbadc82a2b31230da
RANDOM SEED=1522078472

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1809528 kB
Buffers:         43688 kB
Cached:         105688 kB
SwapCached:       5664 kB
Active:          24376 kB
Inactive:       138640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1809528 kB
SwapTotal:     4192956 kB
SwapFree:      4140528 kB
Dirty:            2624 kB
Writeback:           0 kB
AnonPages:       12256 kB
Mapped:          11924 kB
Slab:            64488 kB
PageTables:       4160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180508 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= 62412 MiB
End job on node050 at 2010-06-25 11:59:12