Trace number 2655791

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_002_area_delay.opb
MD5SUMd6135de924aeb400fc0f7d1c419e5860
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark6.30604
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables6080
Total number of constraints18113
Number of constraints which are clauses18113
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint125
Number of terms in the objective function 2975
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 2975
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2975
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 - 20100517
0.00/0.00	c Parsing opb file format. File HOME/instance-2655791-1276635747.opb.
0.00/0.00	c Instance file HOME/instance-2655791-1276635747.opb
0.00/0.00	c File size is 529932 bytes.
0.04/0.08	c Highest Coefficient sum: 126
0.04/0.08	c ============================[ Problem Statistics ]=============================
0.04/0.08	c |                                                                             |
0.04/0.08	c |  Parsing time:          0.08         s                                      |
0.04/0.08	c |  Number Variables:      6080                                                |
0.04/0.08	c |  Number Clauses:        18113                                               |
0.04/0.08	c |  Number Cardinality:    0                                                   |
0.04/0.08	c |  Number PB Constraints: 0                                                   |
0.09/0.15	c ============================[ Search Statistics ]==============================
0.09/0.15	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.15	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.15	c ===============================================================================
0.09/0.15	c |         0 |    5118    18122    42763 |     6037        0    nan |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c New solution: 29
0.09/0.16	o 29
0.09/0.16	c Elapsed CPU time: 0.154976 s	Remaining CPU time: 179.845 s
0.09/0.16	c ===============================================================================
0.09/0.16	c |         0 |    5118    18123    45738 |     6041        0    nan |  0.000 % |
0.09/0.16	c ===============================================================================
0.09/0.16	c New solution: 28
0.09/0.16	o 28
0.09/0.16	c Elapsed CPU time: 0.160975 s	Remaining CPU time: 179.839 s
0.09/0.16	c ===============================================================================
0.09/0.16	c |         6 |    5118    18124    48713 |     6041        6     40 |  0.000 % |
0.19/0.20	c |       106 |    5118    18124    48713 |     6645      106     23 | 15.822 % |
0.19/0.26	c |       256 |    5118    18124    48713 |     7310      256     25 | 15.823 % |
0.29/0.37	c |       481 |    5118    18124    48713 |     8041      481     28 | 15.823 % |
0.49/0.52	c |       818 |    5118    18124    48713 |     8845      818     36 | 15.823 % |
0.69/0.77	c |      1324 |    5118    18124    48713 |     9729     1324     42 | 15.823 % |
1.10/1.16	c |      2083 |    5118    18124    48713 |    10702     2083     46 | 15.823 % |
1.69/1.73	c |      3222 |    5118    18124    48713 |    11772     3222     45 | 15.823 % |
2.49/2.57	c |      4930 |    5118    18124    48713 |    12950     4930     53 | 15.822 % |
3.79/3.86	c |      7492 |    5118    18124    48713 |    14245     7492     55 | 15.822 % |
5.79/5.82	c |     11337 |    5118    18124    48713 |    15669    11337     51 | 15.822 % |
8.49/8.51	c |     17106 |    5118    18124    48713 |    17236    17106     58 | 15.823 % |
12.99/13.02	c |     25755 |    5118    18124    48713 |    18960    15846     68 | 15.822 % |
20.19/20.21	c |     38729 |    5118    18124    48713 |    20856    18013     62 | 15.822 % |
30.78/30.90	c |     58190 |    5118    18124    48713 |    22941    12575     62 | 15.822 % |
46.47/46.59	c |     87382 |    5118    18124    48713 |    25236    12690     54 | 15.822 % |
71.47/71.55	c |    131171 |    5118    18124    48713 |    27759    23208     82 | 15.822 % |
108.14/108.25	c |    196855 |    5118    18124    48713 |    30535    11610     57 | 15.822 % |
181.22/181.37	c There are 962 assigned variables. 487 in cost function.
182.32/182.42	c core #1
182.32/182.42	c core #2
182.32/182.42	c core #3
182.32/182.42	c core #4
182.32/182.42	c core #5
182.32/182.42	c core #6
182.32/182.42	c core #7
182.32/182.42	c core #8
182.32/182.42	c core #9
182.32/182.42	c core #10
182.32/182.42	c core #11
182.32/182.42	c core #12
182.32/182.42	c core #13
182.32/182.42	c core #14
182.32/182.42	c core #15
182.32/182.42	c core #16
182.32/182.42	c core #17
182.32/182.42	c core #18
182.32/182.42	c core #19
182.32/182.42	c core #20
182.32/182.42	c ============================[ Search Statistics ]==============================
182.32/182.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.32/182.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.32/182.42	c ===============================================================================
182.32/182.42	c |         0 |    1368    19103    28153 |     6367        0    nan |  0.000 % |
182.32/182.43	c ===============================================================================
182.32/182.46	c core #21
182.32/182.46	c ============================[ Search Statistics ]==============================
182.32/182.46	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.32/182.46	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.32/182.46	c ===============================================================================
182.32/182.46	c |         0 |    1676    19112    28719 |     6370        0    nan |  0.000 % |
182.32/182.48	c ===============================================================================
182.42/182.52	c core #22
182.42/182.52	c ============================[ Search Statistics ]==============================
182.42/182.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.42/182.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.42/182.52	c ===============================================================================
182.42/182.52	c |         0 |    2177    19185    30024 |     6395        0    nan |  0.000 % |
182.42/182.54	c |       102 |    2177    19185    30024 |     7034      102     53 | 68.627 % |
182.42/182.58	c |       252 |    2177    19185    30024 |     7737      252     56 | 68.627 % |
182.52/182.64	c |       477 |    2177    19185    30024 |     8511      477     53 | 68.627 % |
182.62/182.71	c |       816 |    2177    19185    30024 |     9362      816     50 | 68.627 % |
182.71/182.83	c ===============================================================================
182.71/182.88	c core #23
182.71/182.88	c ============================[ Search Statistics ]==============================
182.71/182.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.71/182.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.71/182.88	c ===============================================================================
182.71/182.88	c |         0 |    3241    19498    33003 |     6499        0    nan |  0.000 % |
182.81/182.91	c |       100 |    3241    19498    33003 |     7149      100     97 | 57.915 % |
182.81/182.97	c |       250 |    3241    19498    33003 |     7864      250     62 | 57.915 % |
182.91/183.04	c |       478 |    3241    19498    33003 |     8650      478     51 | 57.915 % |
183.12/183.21	c |       818 |    3241    19498    33003 |     9515      818     51 | 57.915 % |
183.22/183.36	c |      1325 |    3241    19498    33003 |    10467     1325     49 | 57.915 % |
183.62/183.79	c |      2084 |    3241    19498    33003 |    11513     2084     65 | 57.915 % |
184.01/184.19	c |      3225 |    3241    19498    33003 |    12665     3225     61 | 57.915 % |
184.81/184.96	c |      4934 |    3241    19498    33003 |    13931     4934     55 | 57.915 % |
186.21/186.38	c |      7497 |    3241    19498    33003 |    15325     7497     58 | 57.915 % |
188.91/189.07	c |     11343 |    3241    19498    33003 |    16857    11343     62 | 57.915 % |
194.01/194.14	c |     17110 |    3241    19498    33003 |    18543    17110     71 | 57.915 % |
201.01/201.19	c ===============================================================================
201.50/201.66	c core #24
201.50/201.66	c ============================[ Search Statistics ]==============================
201.50/201.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
201.50/201.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
201.50/201.66	c ===============================================================================
201.50/201.66	c |         0 |    4464    20028    36643 |     6676        0    nan |  0.000 % |
201.60/201.70	c |       101 |    4464    20028    36643 |     7343      101     86 | 49.393 % |
201.60/201.76	c |       251 |    4464    20028    36643 |     8077      251     56 | 49.393 % |
201.71/201.84	c |       477 |    4464    20028    36643 |     8885      477     48 | 49.393 % |
201.80/201.98	c |       816 |    4464    20028    36643 |     9774      816     50 | 49.393 % |
202.00/202.19	c |      1322 |    4464    20028    36643 |    10751     1322     48 | 49.393 % |
202.32/202.45	c |      2082 |    4464    20028    36643 |    11826     2082     53 | 49.393 % |
202.80/202.91	c |      3223 |    4464    20028    36643 |    13009     3223     56 | 49.393 % |
203.51/203.62	c |      4932 |    4464    20028    36643 |    14310     4932     63 | 49.393 % |
204.80/204.96	c |      7496 |    4464    20028    36643 |    15741     7496     74 | 49.393 % |
207.11/207.20	c |     11342 |    4464    20028    36643 |    17315    11342     74 | 49.393 % |
211.20/211.35	c |     17108 |    4464    20028    36643 |    19047    17108     86 | 49.394 % |
218.30/218.44	c |     25758 |    4464    20028    36643 |    20952    13331    118 | 49.394 % |
230.81/230.94	c |     38738 |    4464    20028    36643 |    23047    12801    103 | 49.394 % |
249.50/249.70	c |     58200 |    4464    20028    36643 |    25352    16585    105 | 49.393 % |
278.08/278.25	c |     87395 |    4464    20028    36643 |    27887    27576    183 | 49.394 % |
326.96/327.14	c |    131186 |    4464    20028    36643 |    30676    31880    182 | 49.394 % |
404.54/404.76	c |    196873 |    4464    20028    36643 |    33743    29821    159 | 49.393 % |
536.07/536.35	c |    295399 |    4464    20028    36643 |    37118    34084    177 | 49.393 % |
728.11/728.46	c |    443190 |    4464    20028    36643 |    40829    19641    162 | 49.393 % |
995.60/996.02	c |    664876 |    4464    20028    36643 |    44912    23241    104 | 49.393 % |
1544.28/1544.92	c |    997401 |    4463    20028    36643 |    49404    47061    226 | 49.405 % |

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-2655791-1276635747/watcher-2655791-1276635747 -o /tmp/evaluation-result-2655791-1276635747/solver-2655791-1276635747 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655791-1276635747.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 6535
/proc/meminfo: memFree=1819984/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=3544 CPUtime=0
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 404 0 0 0 0 0 0 0 18 0 1 0 37231061 3629056 323 1992294400 134512640 135751879 4291235456 18446744073709551615 135379201 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 886 323 143 303 0 451 0

[startup+0.047798 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 6535
/proc/meminfo: memFree=1819984/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=4612 CPUtime=0.04
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 670 0 0 0 4 0 0 0 20 0 1 0 37231061 4722688 589 1992294400 134512640 135751879 4291235456 18446744073709551615 134559693 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 1153 589 204 303 0 718 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4612

[startup+0.100762 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 6535
/proc/meminfo: memFree=1819984/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=6312 CPUtime=0.09
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 1290 0 0 0 9 0 0 0 20 0 1 0 37231061 6463488 1079 1992294400 134512640 135751879 4291235456 18446744073709551615 134602805 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 1578 1079 145 303 0 1273 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6312

[startup+0.3008 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 6535
/proc/meminfo: memFree=1819984/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=6468 CPUtime=0.29
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 1332 0 0 0 28 1 0 0 20 0 1 0 37231061 6623232 1121 1992294400 134512640 135751879 4291235456 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 1617 1121 147 303 0 1312 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6468

[startup+0.700874 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 6535
/proc/meminfo: memFree=1819984/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=6468 CPUtime=0.69
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 1332 0 0 0 67 2 0 0 20 0 1 0 37231061 6623232 1121 1992294400 134512640 135751879 4291235456 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 1617 1121 147 303 0 1312 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6468

[startup+1.50102 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6536
/proc/meminfo: memFree=1816008/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=6468 CPUtime=1.49
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 1332 0 0 0 146 3 0 0 23 0 1 0 37231061 6623232 1121 1992294400 134512640 135751879 4291235456 18446744073709551615 134611240 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 1617 1121 147 303 0 1312 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6468

[startup+3.10032 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6536
/proc/meminfo: memFree=1815760/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=6860 CPUtime=3.09
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 1450 0 0 0 305 4 0 0 25 0 1 0 37231061 7024640 1239 1992294400 134512640 135751879 4291235456 18446744073709551615 134610827 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 1715 1239 147 303 0 1410 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6860

[startup+6.30092 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6536
/proc/meminfo: memFree=1813652/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=9024 CPUtime=6.29
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 1965 0 0 0 623 6 0 0 25 0 1 0 37231061 9240576 1754 1992294400 134512640 135751879 4291235456 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 2256 1754 147 303 0 1951 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9024

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6536
/proc/meminfo: memFree=1808444/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=14092 CPUtime=12.68
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 3238 0 0 0 1256 12 0 0 25 0 1 0 37231061 14430208 3027 1992294400 134512640 135751879 4291235456 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 3523 3027 148 303 0 3218 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14092

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6536
/proc/meminfo: memFree=1800136/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=21952 CPUtime=25.48
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 5219 0 0 0 2526 22 0 0 25 0 1 0 37231061 22478848 5008 1992294400 134512640 135751879 4291235456 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 5488 5008 148 303 0 5183 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21952

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6536
/proc/meminfo: memFree=1784016/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=38104 CPUtime=51.07
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 9251 0 0 0 5063 44 0 0 25 0 1 0 37231061 39018496 9040 1992294400 134512640 135751879 4291235456 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 9526 9040 148 303 0 9221 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38104

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6538
/proc/meminfo: memFree=1750784/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=71112 CPUtime=102.25
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 17462 0 0 0 10145 80 0 0 25 0 1 0 37231061 72818688 17251 1992294400 134512640 135751879 4291235456 18446744073709551615 134616320 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 17778 17251 148 303 0 17473 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 71112

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6540
/proc/meminfo: memFree=1724124/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=97920 CPUtime=162.22
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 24187 0 0 0 16105 117 0 0 25 0 1 0 37231061 100270080 23976 1992294400 134512640 135751879 4291235456 18446744073709551615 134610762 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 24480 23976 148 303 0 24175 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 97920

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6542
/proc/meminfo: memFree=1707260/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=114184 CPUtime=222.2
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 28496 0 0 0 22069 151 0 0 25 0 1 0 37231061 116924416 28108 1992294400 134512640 135751879 4291235456 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 28546 28108 151 303 0 28241 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 114184

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6542
/proc/meminfo: memFree=1669192/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=152416 CPUtime=282.17
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 38038 0 0 0 28035 182 0 0 25 0 1 0 37231061 156073984 37650 1992294400 134512640 135751879 4291235456 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 38104 37650 151 303 0 37799 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 152416

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6544
/proc/meminfo: memFree=1630876/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=190412 CPUtime=342.15
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 47534 0 0 0 34004 211 0 0 25 0 1 0 37231061 194981888 47146 1992294400 134512640 135751879 4291235456 18446744073709551615 134616526 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 47603 47146 151 303 0 47298 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 190412

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6546
/proc/meminfo: memFree=1593552/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=228332 CPUtime=402.13
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 57001 0 0 0 39970 243 0 0 25 0 1 0 37231061 233811968 56613 1992294400 134512640 135751879 4291235456 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 57083 56613 151 303 0 56778 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 228332

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6548
/proc/meminfo: memFree=1550524/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=270636 CPUtime=462.1
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 67557 0 0 0 45939 271 0 0 25 0 1 0 37231061 277131264 67169 1992294400 134512640 135751879 4291235456 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 67659 67169 151 303 0 67354 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 270636

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6550
/proc/meminfo: memFree=1508860/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=312572 CPUtime=522.08
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 78061 0 0 0 51912 296 0 0 25 0 1 0 37231061 320073728 77673 1992294400 134512640 135751879 4291235456 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 78143 77673 151 303 0 77838 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 312572

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6550
/proc/meminfo: memFree=1470792/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=350196 CPUtime=582.06
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 87434 0 0 0 57880 326 0 0 25 0 1 0 37231061 358600704 87046 1992294400 134512640 135751879 4291235456 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 87549 87046 151 303 0 87244 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 350196

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6552
/proc/meminfo: memFree=1439792/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=380900 CPUtime=642.04
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 95103 0 0 0 63853 351 0 0 25 0 1 0 37231061 390041600 94715 1992294400 134512640 135751879 4291235456 18446744073709551615 134616570 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 95225 94715 151 303 0 94920 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 380900

[startup+702.302 s]

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

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6558
/proc/meminfo: memFree=1305128/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=515404 CPUtime=881.94
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 128683 0 0 0 87721 473 0 0 25 0 1 0 37231061 527773696 128295 1992294400 134512640 135751879 4291235456 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 128851 128295 151 303 0 128546 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 515404

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6560
/proc/meminfo: memFree=1273260/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=547540 CPUtime=941.91
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 136706 0 0 0 93688 503 0 0 25 0 1 0 37231061 560680960 136318 1992294400 134512640 135751879 4291235456 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 136885 136318 151 303 0 136580 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 547540

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6562
/proc/meminfo: memFree=1240896/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=579432 CPUtime=1001.89
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 144683 0 0 0 99657 532 0 0 25 0 1 0 37231061 593338368 144295 1992294400 134512640 135751879 4291235456 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 144858 144295 151 303 0 144553 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 579432

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6564
/proc/meminfo: memFree=1211756/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=608920 CPUtime=1061.87
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 152043 0 0 0 105629 558 0 0 25 0 1 0 37231061 623534080 151655 1992294400 134512640 135751879 4291235456 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 152230 151655 151 303 0 151925 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 608920

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6566
/proc/meminfo: memFree=1184476/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=635896 CPUtime=1121.85
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 158768 0 0 0 111605 580 0 0 25 0 1 0 37231061 651157504 158380 1992294400 134512640 135751879 4291235456 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 158974 158380 151 303 0 158669 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 635896

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 6566
/proc/meminfo: memFree=1155088/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=665304 CPUtime=1181.82
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 166128 0 0 0 117577 605 0 0 25 0 1 0 37231061 681271296 165740 1992294400 134512640 135751879 4291235456 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 166326 165740 151 303 0 166021 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 665304

[startup+1242.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 6568
/proc/meminfo: memFree=1124336/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=695688 CPUtime=1241.81
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 173704 0 0 0 123549 632 0 0 25 0 1 0 37231061 712384512 173316 1992294400 134512640 135751879 4291235456 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 173922 173316 151 303 0 173617 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 695688

[startup+1302.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 6570
/proc/meminfo: memFree=1097428/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=722412 CPUtime=1301.78
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 180357 0 0 0 129524 654 0 0 25 0 1 0 37231061 739749888 179969 1992294400 134512640 135751879 4291235456 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 180603 179969 151 303 0 180298 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 722412

[startup+1362.3 s]
/proc/loadavg: 1.10 1.05 1.01 2/107 6572
/proc/meminfo: memFree=1071388/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=748840 CPUtime=1361.76
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 186937 0 0 0 135500 676 0 0 25 0 1 0 37231061 766812160 186549 1992294400 134512640 135751879 4291235456 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 187210 186549 151 303 0 186905 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 748840

[startup+1422.31 s]
/proc/loadavg: 1.07 1.05 1.01 2/107 6574
/proc/meminfo: memFree=1043860/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=776044 CPUtime=1421.74
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 193724 0 0 0 141477 697 0 0 25 0 1 0 37231061 794669056 193336 1992294400 134512640 135751879 4291235456 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 194011 193336 151 303 0 193706 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 776044

[startup+1482.3 s]
/proc/loadavg: 1.14 1.07 1.01 2/107 6574
/proc/meminfo: memFree=1010256/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=809836 CPUtime=1481.71
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 202144 0 0 0 147449 722 0 0 25 0 1 0 37231061 829272064 201756 1992294400 134512640 135751879 4291235456 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 202459 201756 151 303 0 202154 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 809836

[startup+1542.3 s]
/proc/loadavg: 1.12 1.07 1.01 2/107 6576
/proc/meminfo: memFree=972188/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=847528 CPUtime=1541.69
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 211572 0 0 0 153423 746 0 0 25 0 1 0 37231061 867868672 211184 1992294400 134512640 135751879 4291235456 18446744073709551615 134608256 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 211882 211184 151 303 0 211577 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 847528

[startup+1602.3 s]
/proc/loadavg: 1.11 1.07 1.01 2/107 6578
/proc/meminfo: memFree=947512/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=872524 CPUtime=1601.66
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 217824 0 0 0 159401 765 0 0 25 0 1 0 37231061 893464576 217436 1992294400 134512640 135751879 4291235456 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 218131 217436 151 303 0 217826 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 872524

[startup+1662.3 s]
/proc/loadavg: 1.10 1.07 1.01 2/107 6580
/proc/meminfo: memFree=916388/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=903164 CPUtime=1661.64
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 225496 0 0 0 165370 794 0 0 25 0 1 0 37231061 924839936 225108 1992294400 134512640 135751879 4291235456 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 225791 225108 151 303 0 225486 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 903164

[startup+1722.3 s]
/proc/loadavg: 1.09 1.07 1.01 2/107 6582
/proc/meminfo: memFree=877080/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=942504 CPUtime=1721.62
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 235331 0 0 0 171341 821 0 0 25 0 1 0 37231061 965124096 234943 1992294400 134512640 135751879 4291235456 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 235626 234943 151 303 0 235321 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 942504

[startup+1782.3 s]
/proc/loadavg: 1.08 1.07 1.01 2/107 6582
/proc/meminfo: memFree=844096/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=975528 CPUtime=1781.6
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 243570 0 0 0 177312 848 0 0 25 0 1 0 37231061 998940672 243182 1992294400 134512640 135751879 4291235456 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 243882 243182 151 303 0 243577 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 975528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.14 1.08 1.01 2/107 6584
/proc/meminfo: memFree=832068/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=987144 CPUtime=1800
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4202496 246474 0 0 0 179144 856 0 0 25 0 1 0 37231061 1010835456 246086 1992294400 134512640 135751879 4291235456 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/6535/statm: 246786 246086 151 303 0 246481 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 987144

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.14 1.08 1.01 2/107 6584
/proc/meminfo: memFree=832068/2059040 swapFree=4140352/4192956
[pid=6535] ppid=6533 vsize=0 CPUtime=1800.09
/proc/6535/stat : 6535 (wbo1.4b) R 6533 6535 5946 0 -1 4203524 246474 0 0 0 179144 865 0 0 25 0 1 0 37231061 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/6535/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.81
CPU time (s): 1800.1
CPU user time (s): 1791.45
CPU system time (s): 8.65568
CPU usage (%): 99.9609
Max. virtual memory (cumulated for all children) (KiB): 987144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.45
system time used= 8.65568
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246474
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= 8
involuntary context switches= 4650

runsolver used 2.95055 second user time and 8.5307 second system time

The end

Launcher Data 

Begin job on node019 at 2010-06-15 23:02:27
IDJOB=2655791
IDBENCH=24996
IDSOLVER=1161
FILE ID=node019/2655791-1276635747
PBS_JOBID= 11172348
Free space on /tmp= 62412 MiB

SOLVER NAME= wbo 1.4b
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_002_area_delay.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655791-1276635747/watcher-2655791-1276635747 -o /tmp/evaluation-result-2655791-1276635747/solver-2655791-1276635747 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655791-1276635747.opb

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

MD5SUM BENCH= d6135de924aeb400fc0f7d1c419e5860
RANDOM SEED=1265917465

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1820512 kB
Buffers:         45500 kB
Cached:         103096 kB
SwapCached:       6060 kB
Active:          88172 kB
Inactive:        74116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1820512 kB
SwapTotal:     4192956 kB
SwapFree:      4140352 kB
Dirty:            3112 kB
Writeback:           0 kB
AnonPages:       11908 kB
Mapped:          13104 kB
Slab:            54484 kB
PageTables:       4112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182236 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 node019 at 2010-06-15 23:32:30