Trace number 2702427

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_5.opb
MD5SUMe3f554c192a1ee7b261cc2808827870e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark13
Best CPU time to get the best result obtained on this benchmark1789.53
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint26
Maximum length of a constraint50
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6226
Sum of products size (including duplicates)12452
Number of different products6226
Sum of products size12452

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c wbo 1.4 beta - 20100610
0.00/0.00	c Parsing opb file format. File HOME/instance-2702427-1278566627.opb.
0.00/0.00	c Instance file HOME/instance-2702427-1278566627.opb
0.00/0.00	c File size is 460397 bytes.
0.07/0.08	c Highest Coefficient sum: 51
0.07/0.08	c ============================[ Problem Statistics ]=============================
0.07/0.08	c |                                                                             |
0.07/0.08	c |  Parsing time:          0.08         s                                      |
0.07/0.08	c |  Number Variables:      6426                                                |
0.07/0.08	c |  Number Clauses:        6426                                                |
0.07/0.08	c |  Number Cardinality:    0                                                   |
0.07/0.08	c |  Number PB Constraints: 6226                                                |
0.07/0.09	c ============================[ Search Statistics ]==============================
0.07/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.07/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.07/0.09	c ===============================================================================
0.07/0.09	c |         0 |    6426    12652    43782 |     5000        0    nan |  0.000 % |
0.07/0.10	c ===============================================================================
0.07/0.10	c New solution: 199
0.07/0.10	o 199
0.07/0.10	c Elapsed CPU time: 0.095985 s	Remaining CPU time: 179.904 s
0.07/0.10	c ===============================================================================
0.07/0.10	c |         0 |    6426    12653    43982 |     5000        0    nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c New solution: 149
0.09/0.10	o 149
0.09/0.10	c Elapsed CPU time: 0.100984 s	Remaining CPU time: 179.899 s
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |    6426    12654    44182 |     5000        0    nan |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 148
0.09/0.11	o 148
0.09/0.11	c Elapsed CPU time: 0.105983 s	Remaining CPU time: 179.894 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |    6426    12655    44382 |     5000        0    nan |  0.000 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c New solution: 147
0.09/0.11	o 147
0.09/0.11	c Elapsed CPU time: 0.110983 s	Remaining CPU time: 179.889 s
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |    6426    12656    44582 |     5000        0    nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c New solution: 146
0.09/0.12	o 146
0.09/0.12	c Elapsed CPU time: 0.115982 s	Remaining CPU time: 179.884 s
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |    6426    12657    44782 |     5000        0    nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c New solution: 145
0.09/0.12	o 145
0.09/0.12	c Elapsed CPU time: 0.120981 s	Remaining CPU time: 179.879 s
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |    6426    12658    44982 |     5000        0    nan |  0.000 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: 144
0.09/0.13	o 144
0.09/0.13	c Elapsed CPU time: 0.12598 s	Remaining CPU time: 179.874 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |         0 |    6426    12659    45182 |     5000        0    nan |  0.000 % |
0.09/0.13	c ===============================================================================
0.09/0.13	c New solution: 143
0.09/0.13	o 143
0.09/0.13	c Elapsed CPU time: 0.13098 s	Remaining CPU time: 179.869 s
0.09/0.13	c ===============================================================================
0.09/0.13	c |         0 |    6426    12660    45382 |     5000        0    nan |  0.000 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c New solution: 142
0.09/0.14	o 142
0.09/0.14	c Elapsed CPU time: 0.136979 s	Remaining CPU time: 179.863 s
0.09/0.14	c ===============================================================================
0.09/0.14	c |         0 |    6426    12661    45582 |     5000        0    nan |  0.000 % |
0.09/0.14	c ===============================================================================
0.09/0.14	c New solution: 140
0.09/0.14	o 140
0.09/0.14	c Elapsed CPU time: 0.141978 s	Remaining CPU time: 179.858 s
0.09/0.14	c ===============================================================================
0.09/0.14	c |         1 |    6426    12662    45782 |     5000        1    142 |  0.000 % |
0.09/0.15	c ===============================================================================
0.09/0.15	c New solution: 15
0.09/0.15	o 15
0.09/0.15	c Elapsed CPU time: 0.148977 s	Remaining CPU time: 179.851 s
0.09/0.15	c ===============================================================================
0.09/0.15	c |         1 |    6426    12663    45982 |     5000        1    142 |  0.000 % |
0.09/0.17	c |       101 |    6426    12663    45982 |     5500      101    140 |  0.000 % |
0.19/0.21	c |       253 |    6426    12663    45982 |     6050      253    138 |  0.000 % |
0.19/0.26	c |       478 |    6426    12663    45982 |     6655      478    140 |  0.000 % |
0.29/0.34	c |       815 |    6426    12663    45982 |     7320      815    140 |  0.000 % |
0.39/0.46	c |      1322 |    6426    12663    45982 |     8052     1322    141 |  0.000 % |
0.59/0.64	c |      2081 |    6426    12663    45982 |     8857     2081    139 |  0.000 % |
0.89/0.97	c |      3220 |    6426    12663    45982 |     9743     3220    145 |  0.000 % |
1.39/1.41	c |      4928 |    6426    12663    45982 |    10717     4928    143 |  0.000 % |
2.10/2.14	c |      7491 |    6426    12663    45982 |    11789     7491    141 |  0.000 % |
3.29/3.36	c |     11336 |    6426    12663    45982 |    12968    11336    143 |  0.000 % |
5.59/5.60	c |     17105 |    6426    12663    45982 |    14265    17105    143 |  0.000 % |
8.80/8.89	c |     25755 |    6426    12663    45982 |    15692    17203    131 |  0.000 % |
14.09/14.11	c |     38731 |    6426    12663    45982 |    17261    11072    128 |  0.000 % |
21.78/21.86	c |     58192 |    6426    12663    45982 |    18987    18750    139 |  0.000 % |
35.19/35.25	c |     87384 |    6426    12663    45982 |    20886    21714    133 |  0.000 % |
57.46/57.55	c |    131175 |    6426    12663    45982 |    22974    25003    123 |  0.000 % |
93.05/93.12	c |    196859 |    6426    12663    45982 |    25272    11929    134 |  0.000 % |
147.03/147.15	c |    295385 |    6426    12663    45982 |    27799    17364    151 |  0.000 % |
181.52/181.62	c There are 0 assigned variables. 0 in cost function.
182.01/182.13	c core #1
182.01/182.13	c 
182.01/182.13	c 
182.01/182.13	c Core size: 52	Core Weight: 1	Total Weight: 1
182.01/182.13	c
182.01/182.13	c
182.01/182.13	c core #2
182.01/182.13	c 
182.01/182.13	c 
182.01/182.13	c Core size: 52	Core Weight: 1	Total Weight: 2
182.01/182.13	c
182.01/182.13	c
182.01/182.13	c ============================[ Search Statistics ]==============================
182.01/182.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.01/182.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.01/182.13	c ===============================================================================
182.01/182.13	c |         0 |    1787    12865    30509 |     5000        0    nan |  0.000 % |
182.01/182.15	c ===============================================================================
182.01/182.20	c core #3
182.01/182.20	c 
182.01/182.20	c 
182.01/182.20	c Core size: 541	Core Weight: 1	Total Weight: 3
182.01/182.20	c
182.01/182.20	c
182.01/182.20	c ============================[ Search Statistics ]==============================
182.01/182.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.01/182.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.01/182.20	c ===============================================================================
182.01/182.20	c |         0 |    6306    12866    45417 |     5000        0    nan |  0.000 % |
182.21/182.31	c |       102 |    6306    12866    45417 |     5500      102    187 |  5.244 % |
182.43/182.53	c |       254 |    6306    12866    45417 |     6050      254    234 |  5.244 % |
182.92/183.08	c |       481 |    6306    12866    45417 |     6655      481    212 |  5.244 % |
183.82/183.92	c |       820 |    6306    12866    45417 |     7320      820    174 |  5.244 % |
183.91/184.05	c ===============================================================================
184.01/184.11	c core #4
184.01/184.11	c 
184.01/184.11	c 
184.01/184.11	c Core size: 449	Core Weight: 1	Total Weight: 4
184.01/184.11	c
184.01/184.11	c
184.01/184.11	c ============================[ Search Statistics ]==============================
184.01/184.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.01/184.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.01/184.11	c ===============================================================================
184.01/184.11	c |         0 |    6854    12867    47038 |     5000        0    nan |  0.000 % |
184.11/184.21	c |       101 |    6854    12867    47038 |     5500      101    238 |  0.000 % |
184.21/184.35	c |       253 |    6854    12867    47038 |     6050      253    297 |  0.000 % |
184.51/184.64	c |       479 |    6854    12867    47038 |     6655      479    298 |  0.000 % |
184.92/185.09	c |       816 |    6854    12867    47038 |     7320      816    328 |  0.000 % |
185.72/185.83	c |      1322 |    6854    12867    47038 |     8052     1322    325 |  0.000 % |
186.82/186.94	c |      2087 |    6854    12867    47038 |     8857     2087    360 |  0.000 % |
188.62/188.72	c |      3231 |    6854    12867    47038 |     9743     3231    313 |  0.000 % |
191.71/191.86	c |      4940 |    6854    12867    47038 |    10717     4940    286 |  0.000 % |
197.61/197.78	c |      7507 |    6854    12867    47038 |    11789     7507    280 |  0.000 % |
207.21/207.30	c |     11351 |    6854    12867    47038 |    12968    11351    340 |  0.000 % |
222.70/222.84	c |     17118 |    6854    12867    47038 |    14265     9844    397 |  0.000 % |
245.59/245.71	c |     25767 |    6854    12867    47038 |    15692    11057    267 |  0.000 % |
281.78/281.94	c |     38746 |    6854    12867    47038 |    17261    15973    249 |  0.000 % |
336.76/336.94	c |     58210 |    6854    12867    47038 |    18987    17516    216 |  0.000 % |
345.75/345.93	c ===============================================================================
346.85/347.09	c core #5
346.85/347.09	c 
346.85/347.09	c 
346.85/347.09	c Core size: 222	Core Weight: 1	Total Weight: 5
346.85/347.09	c
346.85/347.09	c
346.85/347.09	c ============================[ Search Statistics ]==============================
346.85/347.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
346.85/347.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
346.85/347.09	c ===============================================================================
346.85/347.09	c |         0 |    7054    12868    47438 |     5000        0    nan |  0.000 % |
347.05/347.22	c |       106 |    7054    12868    47438 |     5500      106    312 |  0.000 % |
347.15/347.37	c |       257 |    7054    12868    47438 |     6050      257    287 |  0.000 % |
347.35/347.58	c |       482 |    7054    12868    47438 |     6655      482    212 |  0.000 % |
347.75/347.97	c |       819 |    7054    12868    47438 |     7320      819    210 |  0.000 % |
348.25/348.40	c |      1326 |    7054    12868    47438 |     8052     1326    226 |  0.000 % |
348.95/349.13	c |      2086 |    7054    12868    47438 |     8857     2086    213 |  0.000 % |
350.25/350.45	c |      3225 |    7054    12868    47438 |     9743     3225    235 |  0.000 % |
352.35/352.52	c |      4936 |    7054    12868    47438 |    10717     4936    277 |  0.000 % |
355.95/356.18	c |      7501 |    7054    12868    47438 |    11789     7501    325 |  0.000 % |
363.96/364.19	c |     11346 |    7054    12868    47438 |    12968    11346    350 |  0.000 % |
377.54/377.78	c |     17117 |    7054    12868    47438 |    14265     9536    388 |  0.000 % |
396.74/396.90	c |     25766 |    7054    12868    47438 |    15692    10065    466 |  0.000 % |
426.53/426.73	c |     38743 |    7054    12868    47438 |    17261    14036    450 |  0.000 % |
472.70/472.92	c |     58211 |    7054    12868    47438 |    18987    14478    386 |  0.000 % |
552.77/553.06	c |     87406 |    7054    12868    47438 |    20886    12081    345 |  0.000 % |
706.31/706.67	c |    131196 |    7054    12868    47438 |    22974    21863    720 |  0.000 % |
882.03/882.50	c |    196898 |    7054    12868    47438 |    25272    13519    432 |  0.000 % |
1199.91/1200.46	c |    295424 |    7054    12868    47438 |    27799    17960    484 |  0.000 % |
1639.13/1639.88	c |    443215 |    7054    12868    47438 |    30579    25063    323 |  0.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-2702427-1278566627/watcher-2702427-1278566627 -o /tmp/evaluation-result-2702427-1278566627/solver-2702427-1278566627 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702427-1278566627.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 31933
/proc/meminfo: memFree=1500072/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=3580 CPUtime=0
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 400 0 0 0 0 0 0 0 17 0 1 0 24875885 3665920 318 1992294400 134512640 135752675 4291965760 18446744073709551615 134609663 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 895 318 137 303 0 477 0

[startup+0.0761911 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31933
/proc/meminfo: memFree=1500072/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=5088 CPUtime=0.07
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 860 0 0 0 7 0 0 0 17 0 1 0 24875885 5210112 778 1992294400 134512640 135752675 4291965760 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 1272 778 233 303 0 854 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5088

[startup+0.101196 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31933
/proc/meminfo: memFree=1500072/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=5060 CPUtime=0.09
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 1176 0 0 0 9 0 0 0 17 0 1 0 24875885 5181440 799 1992294400 134512640 135752675 4291965760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 1265 799 143 303 0 960 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5060

[startup+0.301238 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31933
/proc/meminfo: memFree=1500072/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=5584 CPUtime=0.29
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 1300 0 0 0 29 0 0 0 17 0 1 0 24875885 5718016 923 1992294400 134512640 135752675 4291965760 18446744073709551615 134518720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 1396 923 145 303 0 1091 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5584

[startup+0.701324 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31933
/proc/meminfo: memFree=1500072/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=6768 CPUtime=0.69
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 1579 0 0 0 68 1 0 0 17 0 1 0 24875885 6930432 1202 1992294400 134512640 135752675 4291965760 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 1692 1202 145 303 0 1387 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6768

[startup+1.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31934
/proc/meminfo: memFree=1494980/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=8748 CPUtime=1.49
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 2092 0 0 0 147 2 0 0 18 0 1 0 24875885 8957952 1715 1992294400 134512640 135752675 4291965760 18446744073709551615 134611537 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 2187 1715 145 303 0 1882 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8748

[startup+3.10084 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31934
/proc/meminfo: memFree=1492252/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=12556 CPUtime=3.09
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 3024 0 0 0 305 4 0 0 21 0 1 0 24875885 12857344 2647 1992294400 134512640 135752675 4291965760 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 3139 2647 145 303 0 2834 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12556

[startup+6.30152 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31934
/proc/meminfo: memFree=1485556/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=18224 CPUtime=6.29
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 4461 0 0 0 623 6 0 0 25 0 1 0 24875885 18661376 4084 1992294400 134512640 135752675 4291965760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 4556 4084 145 303 0 4251 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18224

[startup+12.7009 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31934
/proc/meminfo: memFree=1474892/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=28304 CPUtime=12.68
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 6967 0 0 0 1256 12 0 0 25 0 1 0 24875885 28983296 6590 1992294400 134512640 135752675 4291965760 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 7076 6590 145 303 0 6771 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 28304

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31935
/proc/meminfo: memFree=1453936/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=48608 CPUtime=25.48
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 12038 0 0 0 2522 26 0 0 25 0 1 0 24875885 49774592 11661 1992294400 134512640 135752675 4291965760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 12152 11661 145 303 0 11847 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48608

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31936
/proc/meminfo: memFree=1420952/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=81560 CPUtime=51.07
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 20288 0 0 0 5058 49 0 0 25 0 1 0 24875885 83517440 19911 1992294400 134512640 135752675 4291965760 18446744073709551615 134605286 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 20390 19911 145 303 0 20085 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 81560

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31937
/proc/meminfo: memFree=1355728/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=146224 CPUtime=102.26
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 36438 0 0 0 10135 91 0 0 25 0 1 0 24875885 149733376 36061 1992294400 134512640 135752675 4291965760 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 36556 36061 145 303 0 36251 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 146224

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31938
/proc/meminfo: memFree=1276368/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=226004 CPUtime=162.23
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 56362 0 0 0 16084 139 0 0 25 0 1 0 24875885 231428096 55985 1992294400 134512640 135752675 4291965760 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 56501 55985 145 303 0 56196 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 226004

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31940
/proc/meminfo: memFree=1251692/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=248952 CPUtime=222.2
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 62370 0 0 0 22055 165 0 0 25 0 1 0 24875885 254926848 61808 1992294400 134512640 135752675 4291965760 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 62238 61808 146 303 0 61933 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 248952

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31942
/proc/meminfo: memFree=1229992/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=271568 CPUtime=282.18
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 67998 0 0 0 28029 189 0 0 25 0 1 0 24875885 278085632 67436 1992294400 134512640 135752675 4291965760 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 67892 67436 146 303 0 67587 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 271568

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31944
/proc/meminfo: memFree=1206432/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=294836 CPUtime=342.15
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 73803 0 0 0 34002 213 0 0 25 0 1 0 24875885 301912064 73241 1992294400 134512640 135752675 4291965760 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 73709 73241 146 303 0 73404 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 294836

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31945
/proc/meminfo: memFree=1167248/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=334812 CPUtime=402.13
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 83790 0 0 0 39976 237 0 0 25 0 1 0 24875885 342847488 83228 1992294400 134512640 135752675 4291965760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 83703 83228 146 303 0 83398 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 334812

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31946
/proc/meminfo: memFree=1123724/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=377808 CPUtime=462.1
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 94539 0 0 0 45948 262 0 0 25 0 1 0 24875885 386875392 93977 1992294400 134512640 135752675 4291965760 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 94452 93977 146 303 0 94147 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 377808

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31948
/proc/meminfo: memFree=1080448/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=420948 CPUtime=522.08
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 105317 0 0 0 51922 286 0 0 25 0 1 0 24875885 431050752 104755 1992294400 134512640 135752675 4291965760 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 105237 104755 146 303 0 104932 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 420948

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31950
/proc/meminfo: memFree=1027624/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=473776 CPUtime=582.06
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 118517 0 0 0 57893 313 0 0 25 0 1 0 24875885 485146624 117955 1992294400 134512640 135752675 4291965760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 118444 117955 146 303 0 118139 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 473776

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31952
/proc/meminfo: memFree=969964/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=530708 CPUtime=642.03
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 132740 0 0 0 63868 335 0 0 25 0 1 0 24875885 543444992 132178 1992294400 134512640 135752675 4291965760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 132677 132178 146 303 0 132372 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 530708

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31958
/proc/meminfo: memFree=769828/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=730576 CPUtime=881.93
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 182671 0 0 0 87762 431 0 0 25 0 1 0 24875885 748109824 182109 1992294400 134512640 135752675 4291965760 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 182644 182109 146 303 0 182339 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 730576

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31960
/proc/meminfo: memFree=719484/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=781276 CPUtime=941.91
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 195308 0 0 0 93742 449 0 0 25 0 1 0 24875885 800026624 194746 1992294400 134512640 135752675 4291965760 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 195319 194746 146 303 0 195014 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 781276

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31961
/proc/meminfo: memFree=668148/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=832064 CPUtime=1001.89
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 208013 0 0 0 99718 471 0 0 25 0 1 0 24875885 852033536 207451 1992294400 134512640 135752675 4291965760 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 208016 207451 146 303 0 207711 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 832064

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31962
/proc/meminfo: memFree=611728/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=888620 CPUtime=1061.86
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 222136 0 0 0 105692 494 0 0 25 0 1 0 24875885 909946880 221574 1992294400 134512640 135752675 4291965760 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 222155 221574 146 303 0 221850 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 888620

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31964
/proc/meminfo: memFree=570560/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=929556 CPUtime=1121.83
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 232363 0 0 0 111668 515 0 0 25 0 1 0 24875885 951865344 231801 1992294400 134512640 135752675 4291965760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 232389 231801 146 303 0 232084 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 929556

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31966
/proc/meminfo: memFree=524804/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=975872 CPUtime=1181.81
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 243915 0 0 0 117642 539 0 0 25 0 1 0 24875885 999292928 243353 1992294400 134512640 135752675 4291965760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 243968 243353 146 303 0 243663 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 975872

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31968
/proc/meminfo: memFree=476816/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=1023256 CPUtime=1241.79
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 255762 0 0 0 123614 565 0 0 25 0 1 0 24875885 1047814144 255200 1992294400 134512640 135752675 4291965760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 255814 255200 146 303 0 255509 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 1023256

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31969
/proc/meminfo: memFree=416800/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=1082804 CPUtime=1301.77
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 270641 0 0 0 129587 590 0 0 25 0 1 0 24875885 1108791296 270079 1992294400 134512640 135752675 4291965760 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 270701 270079 146 303 0 270396 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 1082804

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31970
/proc/meminfo: memFree=372656/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=1127240 CPUtime=1361.73
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 281743 0 0 0 135560 613 0 0 25 0 1 0 24875885 1154293760 281181 1992294400 134512640 135752675 4291965760 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 281810 281181 146 303 0 281505 0
Current children cumulated CPU time (s) 1361.73
Current children cumulated vsize (KiB) 1127240

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31972
/proc/meminfo: memFree=334216/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=1165228 CPUtime=1421.72
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 291232 0 0 0 141535 637 0 0 25 0 1 0 24875885 1193193472 290670 1992294400 134512640 135752675 4291965760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 291307 290670 146 303 0 291002 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 1165228

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31974
/proc/meminfo: memFree=297760/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=1202212 CPUtime=1481.69
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 300467 0 0 0 147508 661 0 0 25 0 1 0 24875885 1231065088 299905 1992294400 134512640 135752675 4291965760 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 300553 299905 146 303 0 300248 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 1202212

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31976
/proc/meminfo: memFree=264528/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=1235104 CPUtime=1541.67
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 308648 0 0 0 153489 678 0 0 25 0 1 0 24875885 1264746496 308086 1992294400 134512640 135752675 4291965760 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 308776 308086 146 303 0 308471 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 1235104

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31977
/proc/meminfo: memFree=234520/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=1265432 CPUtime=1601.64
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 316230 0 0 0 159466 698 0 0 25 0 1 0 24875885 1295802368 315668 1992294400 134512640 135752675 4291965760 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 316358 315668 146 303 0 316053 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 1265432

[startup+1662.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 31978
/proc/meminfo: memFree=196328/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=1303296 CPUtime=1661.62
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 325687 0 0 0 165443 719 0 0 25 0 1 0 24875885 1334575104 325125 1992294400 134512640 135752675 4291965760 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 325824 325125 146 303 0 325519 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 1303296

[startup+1722.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 31980
/proc/meminfo: memFree=147844/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=1352436 CPUtime=1721.59
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 337959 0 0 0 171415 744 0 0 25 0 1 0 24875885 1384894464 337397 1992294400 134512640 135752675 4291965760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 338109 337397 146 303 0 337804 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 1352436

[startup+1782.3 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 31982
/proc/meminfo: memFree=102088/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=1397396 CPUtime=1781.57
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 349198 0 0 0 177390 767 0 0 25 0 1 0 24875885 1430933504 348636 1992294400 134512640 135752675 4291965760 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 349349 348636 146 303 0 349044 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 1397396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 31982
/proc/meminfo: memFree=88448/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=1410596 CPUtime=1800.07
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4202496 352483 0 0 0 179234 773 0 0 25 0 1 0 24875885 1444450304 351921 1992294400 134512640 135752675 4291965760 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31933/statm: 352649 351921 146 303 0 352344 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1410596

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

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

[startup+1800.91 s]
/proc/loadavg: 1.10 1.04 1.00 2/107 31982
/proc/meminfo: memFree=88448/2059040 swapFree=4192956/4192956
[pid=31933] ppid=31931 vsize=0 CPUtime=1800.17
/proc/31933/stat : 31933 (wbo1.4b) R 31931 31933 31536 0 -1 4203524 352483 0 0 0 179234 783 0 0 25 0 1 0 24875885 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0
/proc/31933/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.94
CPU time (s): 1800.21
CPU user time (s): 1792.34
CPU system time (s): 7.8668
CPU usage (%): 99.9595
Max. virtual memory (cumulated for all children) (KiB): 1410596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.34
system time used= 7.8668
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 352483
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= 5
involuntary context switches= 1219

runsolver used 3.01554 second user time and 8.46371 second system time

The end

Launcher Data 

Begin job on node010 at 2010-07-08 07:23:47
IDJOB=2702427
IDBENCH=48148
IDSOLVER=1190
FILE ID=node010/2702427-1278566627
PBS_JOBID= 11239556
Free space on /tmp= 62520 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_5.opb
COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702427-1278566627/watcher-2702427-1278566627 -o /tmp/evaluation-result-2702427-1278566627/solver-2702427-1278566627 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702427-1278566627.opb

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

MD5SUM BENCH= e3f554c192a1ee7b261cc2808827870e
RANDOM SEED=1064698099

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1501096 kB
Buffers:         90560 kB
Cached:         317208 kB
SwapCached:          0 kB
Active:         185296 kB
Inactive:       282128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1501096 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            2736 kB
Writeback:           0 kB
AnonPages:       59664 kB
Mapped:          14504 kB
Slab:            68596 kB
PageTables:       4160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180784 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702427-1278566627.opb

Free space on /tmp at the end= 62520 MiB
End job on node010 at 2010-07-08 07:53:50