Trace number 2702383

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_25_4.opb
MD5SUMb02c0aa46abe377e9678cb0b7b4280ae
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark83
Best CPU time to get the best result obtained on this benchmark1798.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 72
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
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 constraints1000
Minimum length of a constraint26
Maximum length of a constraint51
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31592
Sum of products size (including duplicates)63184
Number of different products31592
Sum of products size63184

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-2702383-1278565115.opb.
0.00/0.00	c Instance file HOME/instance-2702383-1278565115.opb
0.00/0.00	c File size is 2475596 bytes.
0.39/0.44	c Highest Coefficient sum: 52
0.39/0.44	c ============================[ Problem Statistics ]=============================
0.39/0.44	c |                                                                             |
0.39/0.44	c |  Parsing time:          0.44         s                                      |
0.39/0.44	c |  Number Variables:      32592                                               |
0.39/0.44	c |  Number Clauses:        32592                                               |
0.39/0.44	c |  Number Cardinality:    0                                                   |
0.39/0.44	c |  Number PB Constraints: 31592                                               |
0.39/0.49	c ============================[ Search Statistics ]==============================
0.39/0.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.49	c ===============================================================================
0.39/0.49	c |         0 |   32592    64184   222144 |    21394        0    nan |  0.000 % |
0.49/0.55	c ===============================================================================
0.49/0.55	c New solution: 515
0.49/0.55	o 515
0.49/0.55	c Elapsed CPU time: 0.52592 s	Remaining CPU time: 179.474 s
0.49/0.55	c ===============================================================================
0.49/0.55	c |         0 |   32592    64185   223144 |    21395        0    nan |  0.000 % |
0.49/0.59	c ===============================================================================
0.49/0.59	c New solution: 514
0.49/0.59	o 514
0.49/0.59	c Elapsed CPU time: 0.564914 s	Remaining CPU time: 179.435 s
0.49/0.59	c ===============================================================================
0.49/0.59	c |         0 |   32592    64186   224144 |    21395        0    nan |  0.000 % |
0.59/0.63	c ===============================================================================
0.59/0.63	c New solution: 513
0.59/0.63	o 513
0.59/0.63	c Elapsed CPU time: 0.605907 s	Remaining CPU time: 179.394 s
0.59/0.63	c ===============================================================================
0.59/0.63	c |         0 |   32592    64187   225144 |    21395        0    nan |  0.000 % |
0.59/0.67	c ===============================================================================
0.59/0.67	c New solution: 512
0.59/0.67	o 512
0.59/0.67	c Elapsed CPU time: 0.646901 s	Remaining CPU time: 179.353 s
0.59/0.67	c ===============================================================================
0.59/0.67	c |         0 |   32592    64188   226144 |    21396        0    nan |  0.000 % |
0.69/0.71	c ===============================================================================
0.69/0.71	c New solution: 511
0.69/0.71	o 511
0.69/0.71	c Elapsed CPU time: 0.687895 s	Remaining CPU time: 179.312 s
0.69/0.71	c ===============================================================================
0.69/0.71	c |         0 |   32592    64189   227144 |    21396        0    nan |  0.000 % |
0.69/0.75	c ===============================================================================
0.69/0.75	c New solution: 510
0.69/0.75	o 510
0.69/0.75	c Elapsed CPU time: 0.727889 s	Remaining CPU time: 179.272 s
0.69/0.75	c ===============================================================================
0.69/0.75	c |         0 |   32592    64190   228144 |    21396        0    nan |  0.000 % |
0.69/0.80	c ===============================================================================
0.69/0.80	c New solution: 509
0.69/0.80	o 509
0.69/0.80	c Elapsed CPU time: 0.767883 s	Remaining CPU time: 179.232 s
0.69/0.80	c ===============================================================================
0.69/0.80	c |         0 |   32592    64191   229144 |    21397        0    nan |  0.000 % |
0.79/0.84	c ===============================================================================
0.79/0.84	c New solution: 508
0.79/0.84	o 508
0.79/0.84	c Elapsed CPU time: 0.807877 s	Remaining CPU time: 179.192 s
0.79/0.84	c ===============================================================================
0.79/0.84	c |         0 |   32592    64192   230144 |    21397        0    nan |  0.000 % |
0.79/0.88	c ===============================================================================
0.79/0.88	c New solution: 507
0.79/0.88	o 507
0.79/0.88	c Elapsed CPU time: 0.84987 s	Remaining CPU time: 179.15 s
0.79/0.88	c ===============================================================================
0.79/0.88	c |         0 |   32592    64193   231144 |    21397        0    nan |  0.000 % |
0.89/0.92	c ===============================================================================
0.89/0.92	c New solution: 506
0.89/0.92	o 506
0.89/0.92	c Elapsed CPU time: 0.889864 s	Remaining CPU time: 179.11 s
0.89/0.92	c ===============================================================================
0.89/0.92	c |         0 |   32592    64194   232144 |    21398        0    nan |  0.000 % |
0.89/0.96	c ===============================================================================
0.89/0.96	c New solution: 505
0.89/0.96	o 505
0.89/0.96	c Elapsed CPU time: 0.930858 s	Remaining CPU time: 179.069 s
0.89/0.96	c ===============================================================================
0.89/0.96	c |         1 |   32592    64195   233144 |    21398        1    506 |  0.000 % |
0.99/1.02	c ===============================================================================
0.99/1.02	c New solution: 87
0.99/1.02	o 87
0.99/1.02	c Elapsed CPU time: 0.988849 s	Remaining CPU time: 179.011 s
0.99/1.02	c ===============================================================================
0.99/1.02	c |         1 |   32592    64196   234144 |    21398        1    506 |  0.000 % |
1.19/1.26	c |       101 |   32592    64196   234144 |    23538      101    145 |  0.000 % |
1.39/1.41	c |       251 |   32592    64196   234144 |    25892      251    157 |  0.000 % |
1.49/1.58	c |       477 |   32592    64196   234144 |    28481      477    166 |  0.000 % |
1.79/1.82	c |       815 |   32592    64196   234144 |    31329      815    188 |  0.000 % |
2.08/2.14	c |      1321 |   32592    64196   234144 |    34462     1321    199 |  0.000 % |
2.49/2.56	c |      2080 |   32592    64196   234144 |    37909     2080    202 |  0.000 % |
3.19/3.27	c |      3220 |   32592    64196   234144 |    41699     3220    222 |  0.000 % |
4.50/4.53	c |      4928 |   32592    64196   234144 |    45869     4928    214 |  0.000 % |
6.09/6.12	c |      7490 |   32592    64196   234144 |    50456     7490    215 |  0.000 % |
8.48/8.57	c |     11334 |   32592    64196   234144 |    55502    11334    229 |  0.000 % |
12.29/12.34	c |     17102 |   32592    64196   234144 |    61052    17102    222 |  0.000 % |
19.19/19.23	c |     25752 |   32592    64196   234144 |    67158    25752    233 |  0.000 % |
29.48/29.53	c |     38727 |   32592    64196   234144 |    73874    38727    243 |  0.000 % |
44.68/44.72	c |     58188 |   32592    64196   234144 |    81261    58188    233 |  0.000 % |
71.07/71.13	c |     87380 |   32592    64196   234144 |    89387    87380    234 |  0.000 % |
124.85/124.93	c |    131169 |   32592    64196   234144 |    98326    23803    269 |  0.000 % |
181.12/181.26	c There are 0 assigned variables. 0 in cost function.
182.63/182.80	c core #1
182.63/182.80	c 
182.63/182.80	c 
182.63/182.80	c Core size: 52	Core Weight: 1	Total Weight: 1
182.63/182.80	c
182.63/182.80	c
182.63/182.80	c core #2
182.63/182.80	c 
182.63/182.80	c 
182.63/182.80	c Core size: 52	Core Weight: 1	Total Weight: 2
182.63/182.80	c
182.63/182.80	c
182.63/182.80	c core #3
182.63/182.80	c 
182.63/182.80	c 
182.63/182.80	c Core size: 52	Core Weight: 1	Total Weight: 3
182.63/182.80	c
182.63/182.80	c
182.63/182.80	c core #4
182.63/182.80	c 
182.63/182.80	c 
182.63/182.80	c Core size: 52	Core Weight: 1	Total Weight: 4
182.63/182.80	c
182.63/182.80	c
182.63/182.80	c core #5
182.63/182.80	c 
182.63/182.80	c 
182.63/182.80	c Core size: 52	Core Weight: 1	Total Weight: 5
182.63/182.80	c
182.63/182.80	c
182.63/182.80	c core #6
182.63/182.80	c 
182.63/182.80	c 
182.63/182.80	c Core size: 54	Core Weight: 1	Total Weight: 6
182.63/182.80	c
182.63/182.80	c
182.63/182.80	c core #7
182.63/182.80	c 
182.63/182.80	c 
182.63/182.80	c Core size: 54	Core Weight: 1	Total Weight: 7
182.63/182.80	c
182.63/182.80	c
182.63/182.80	c core #8
182.63/182.80	c 
182.63/182.80	c 
182.63/182.80	c Core size: 115	Core Weight: 1	Total Weight: 8
182.63/182.80	c
182.63/182.80	c
182.63/182.80	c ============================[ Search Statistics ]==============================
182.63/182.80	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.63/182.80	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.63/182.80	c ===============================================================================
182.63/182.80	c |         0 |    8064    65204   151843 |    21734        0    nan |  0.000 % |
182.72/182.83	c ===============================================================================
182.92/183.06	c core #9
182.92/183.06	c 
182.92/183.06	c 
182.92/183.06	c Core size: 332	Core Weight: 1	Total Weight: 9
182.92/183.06	c
182.92/183.06	c
182.92/183.06	c ============================[ Search Statistics ]==============================
182.92/183.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
182.92/183.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
182.92/183.06	c ===============================================================================
182.92/183.06	c |         0 |   13352    65205   167233 |    21735        0    nan |  0.000 % |
183.12/183.29	c |       101 |   13352    65205   167233 |    23908      101    335 | 59.543 % |
183.92/184.00	c |       261 |   13352    65205   167233 |    26299      261    368 | 59.543 % |
184.02/184.18	c ===============================================================================
184.32/184.43	c core #10
184.32/184.43	c 
184.32/184.43	c 
184.32/184.43	c Core size: 1072	Core Weight: 1	Total Weight: 10
184.32/184.43	c
184.32/184.43	c
184.32/184.43	c ============================[ Search Statistics ]==============================
184.32/184.43	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
184.32/184.43	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
184.32/184.43	c ===============================================================================
184.32/184.43	c |         0 |   24209    65206   209616 |    21735        0    nan |  0.000 % |
184.72/184.83	c |       101 |   24209    65206   209616 |    23908      101    284 | 27.870 % |
185.61/185.74	c |       255 |   24209    65206   209616 |    26299      255    324 | 27.870 % |
187.42/187.51	c |       480 |   24209    65206   209616 |    28929      480    332 | 27.870 % |
189.92/190.07	c |       817 |   24209    65206   209616 |    31822      817    330 | 27.870 % |
194.22/194.34	c |      1325 |   24209    65206   209616 |    35004     1325    293 | 27.870 % |
201.32/201.45	c |      2084 |   24209    65206   209616 |    38505     2084    263 | 27.870 % |
213.81/213.98	c |      3223 |   24209    65206   209616 |    42356     3223    222 | 27.870 % |
229.11/229.21	c |      4932 |   24209    65206   209616 |    46591     4932    221 | 27.870 % |
250.10/250.25	c |      7496 |   24209    65206   209616 |    51250     7496    255 | 27.870 % |
284.39/284.57	c |     11340 |   24209    65206   209616 |    56375    11340    297 | 27.870 % |
329.68/329.81	c |     17107 |   24209    65206   209616 |    62013    17107    360 | 27.870 % |
407.35/407.51	c |     25756 |   24209    65206   209616 |    68214    25756    420 | 27.870 % |
415.14/415.32	c ===============================================================================
415.85/416.01	c core #11
415.85/416.01	c 
415.85/416.01	c 
415.85/416.01	c Core size: 1840	Core Weight: 1	Total Weight: 11
415.85/416.01	c
415.85/416.01	c
415.85/416.01	c ============================[ Search Statistics ]==============================
415.85/416.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
415.85/416.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
415.85/416.01	c ===============================================================================
415.85/416.01	c |         0 |   33766    65207   236818 |    21735        0    nan |  0.000 % |
416.35/416.55	c |       100 |   33766    65207   236818 |    23909      100    239 |  2.099 % |
418.55/418.78	c |       250 |   33766    65207   236818 |    26300      250    270 |  2.099 % |
421.15/421.33	c |       475 |   33766    65207   236818 |    28930      475    232 |  2.099 % |
423.45/423.62	c |       813 |   33766    65207   236818 |    31823      813    208 |  2.099 % |
428.04/428.28	c |      1319 |   33766    65207   236818 |    35005     1319    200 |  2.099 % |
434.24/434.50	c |      2078 |   33766    65207   236818 |    38506     2078    180 |  2.099 % |
441.84/442.00	c |      3217 |   33766    65207   236818 |    42356     3217    175 |  2.099 % |
457.54/457.74	c |      4926 |   33766    65207   236818 |    46592     4926    212 |  2.099 % |
469.93/470.13	c |      7489 |   33766    65207   236818 |    51251     7489    252 |  2.099 % |
486.32/486.56	c |     11334 |   33766    65207   236818 |    56376    11334    253 |  2.099 % |
515.01/515.23	c |     17100 |   33766    65207   236818 |    62014    17100    325 |  2.099 % |
555.50/555.78	c |     25749 |   33766    65207   236818 |    68215    25749    416 |  2.099 % |
658.27/658.53	c |     38728 |   33766    65207   236818 |    75037    38728    479 |  2.099 % |
855.11/855.41	c |     58190 |   33766    65207   236818 |    82541    58190    479 |  2.099 % |
1178.82/1179.23	c |     87382 |   33766    65207   236818 |    90795    17223    448 |  2.099 % |
1715.25/1715.89	c |    131173 |   33766    65207   236818 |    99874    61014    549 |  2.099 % |

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-2702383-1278565115/watcher-2702383-1278565115 -o /tmp/evaluation-result-2702383-1278565115/solver-2702383-1278565115 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702383-1278565115.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 27863
/proc/meminfo: memFree=1709372/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=5464 CPUtime=0
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 403 0 0 0 0 0 0 0 20 0 1 0 24718087 5595136 321 1992294400 134512640 135752675 4291361088 18446744073709551615 134609555 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 1366 322 137 303 0 456 0

[startup+0.103093 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27863
/proc/meminfo: memFree=1709372/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=11092 CPUtime=0.09
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 1682 0 0 0 9 0 0 0 20 0 1 0 24718087 11358208 1600 1992294400 134512640 135752675 4291361088 18446744073709551615 134569174 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 2773 1601 260 303 0 1863 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11092

[startup+0.201103 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27863
/proc/meminfo: memFree=1709372/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=12704 CPUtime=0.19
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 2211 0 0 0 19 0 0 0 20 0 1 0 24718087 13008896 2129 1992294400 134512640 135752675 4291361088 18446744073709551615 134559922 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 3176 2129 392 303 0 2266 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12704

[startup+0.301112 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27863
/proc/meminfo: memFree=1709372/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=14320 CPUtime=0.29
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 2755 0 0 0 28 1 0 0 20 0 1 0 24718087 14663680 2673 1992294400 134512640 135752675 4291361088 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 3580 2673 529 303 0 2670 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14320

[startup+0.701151 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 27863
/proc/meminfo: memFree=1709372/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=17364 CPUtime=0.69
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 4938 0 0 0 67 2 0 0 21 0 1 0 24718087 17780736 3642 1992294400 134512640 135752675 4291361088 18446744073709551615 134518737 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 4341 3642 143 303 0 4036 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17364

[startup+1.50023 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27864
/proc/meminfo: memFree=1694980/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=17364 CPUtime=1.49
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 4940 0 0 0 145 4 0 0 23 0 1 0 24718087 17780736 3644 1992294400 134512640 135752675 4291361088 18446744073709551615 134605232 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 4341 3644 145 303 0 4036 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17364

[startup+3.10039 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27864
/proc/meminfo: memFree=1694732/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=19348 CPUtime=3.09
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 5413 0 0 0 304 5 0 0 25 0 1 0 24718087 19812352 4117 1992294400 134512640 135752675 4291361088 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 4837 4117 145 303 0 4532 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19348

[startup+6.3007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27864
/proc/meminfo: memFree=1690020/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=23836 CPUtime=6.29
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 6539 0 0 0 621 8 0 0 25 0 1 0 24718087 24408064 5243 1992294400 134512640 135752675 4291361088 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 5959 5243 145 303 0 5654 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23836

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27866
/proc/meminfo: memFree=1679604/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=33824 CPUtime=12.68
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 9055 0 0 0 1256 12 0 0 25 0 1 0 24718087 34635776 7759 1992294400 134512640 135752675 4291361088 18446744073709551615 134616082 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 8456 7759 145 303 0 8151 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 33824

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27866
/proc/meminfo: memFree=1660012/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=52984 CPUtime=25.48
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 13827 0 0 0 2526 22 0 0 25 0 1 0 24718087 54255616 12531 1992294400 134512640 135752675 4291361088 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 13246 12531 145 303 0 12941 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52984

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27866
/proc/meminfo: memFree=1627772/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=85672 CPUtime=51.08
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 21972 0 0 0 5066 42 0 0 25 0 1 0 24718087 87728128 20676 1992294400 134512640 135752675 4291361088 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 21418 20676 145 303 0 21113 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 85672

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27868
/proc/meminfo: memFree=1573956/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=138608 CPUtime=102.27
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 35192 0 0 0 10153 74 0 0 25 0 1 0 24718087 141934592 33896 1992294400 134512640 135752675 4291361088 18446744073709551615 134611574 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 34652 33896 145 303 0 34347 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 138608

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27879
/proc/meminfo: memFree=1509724/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=203060 CPUtime=162.22
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 51275 0 0 0 16113 109 0 0 25 0 1 0 24718087 207933440 49979 1992294400 134512640 135752675 4291361088 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 50765 49979 145 303 0 50460 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 203060

[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27879
/proc/meminfo: memFree=1492488/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=217916 CPUtime=222.21
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 57128 0 0 0 22097 124 0 0 25 0 1 0 24718087 223145984 54023 1992294400 134512640 135752675 4291361088 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 54479 54023 146 303 0 54174 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 217916

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27881
/proc/meminfo: memFree=1492488/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=217916 CPUtime=282.2
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 57128 0 0 0 28088 132 0 0 25 0 1 0 24718087 223145984 54023 1992294400 134512640 135752675 4291361088 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 54479 54023 146 303 0 54174 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 217916

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27883
/proc/meminfo: memFree=1492488/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=217916 CPUtime=342.18
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 57132 0 0 0 34079 139 0 0 25 0 1 0 24718087 223145984 54027 1992294400 134512640 135752675 4291361088 18446744073709551615 134605426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 54479 54027 146 303 0 54174 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 217916

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27885
/proc/meminfo: memFree=1492488/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=217916 CPUtime=402.15
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 57135 0 0 0 40071 144 0 0 25 0 1 0 24718087 223145984 54030 1992294400 134512640 135752675 4291361088 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 54479 54030 146 303 0 54174 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 217916

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27887
/proc/meminfo: memFree=1492488/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=217916 CPUtime=462.14
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 57143 0 0 0 46061 153 0 0 25 0 1 0 24718087 223145984 54038 1992294400 134512640 135752675 4291361088 18446744073709551615 134518796 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 54479 54038 146 303 0 54174 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 217916

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27887
/proc/meminfo: memFree=1492488/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=217916 CPUtime=522.12
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 57143 0 0 0 52046 166 0 0 25 0 1 0 24718087 223145984 54038 1992294400 134512640 135752675 4291361088 18446744073709551615 134637647 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 54479 54038 146 303 0 54174 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 217916

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27889
/proc/meminfo: memFree=1492488/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=217916 CPUtime=582.1
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 57152 0 0 0 58033 177 0 0 25 0 1 0 24718087 223145984 54047 1992294400 134512640 135752675 4291361088 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 54479 54047 146 303 0 54174 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 217916

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27891
/proc/meminfo: memFree=1492488/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=217916 CPUtime=642.07
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 57154 0 0 0 64022 185 0 0 25 0 1 0 24718087 223145984 54049 1992294400 134512640 135752675 4291361088 18446744073709551615 134639930 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 54479 54049 146 303 0 54174 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 217916

[startup+702.301 s]

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

[startup+882.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27897
/proc/meminfo: memFree=1447724/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=262824 CPUtime=882.01
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 68367 0 0 0 87978 223 0 0 25 0 1 0 24718087 269131776 65262 1992294400 134512640 135752675 4291361088 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 65706 65262 146 303 0 65401 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 262824

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 27899
/proc/meminfo: memFree=1431232/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=279592 CPUtime=941.99
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 72537 0 0 0 93966 233 0 0 25 0 1 0 24718087 286302208 69432 1992294400 134512640 135752675 4291361088 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 69898 69432 146 303 0 69593 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 279592

[startup+1002.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 27901
/proc/meminfo: memFree=1416724/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=293920 CPUtime=1001.97
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 76104 0 0 0 99955 242 0 0 25 0 1 0 24718087 300974080 72999 1992294400 134512640 135752675 4291361088 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 73480 72999 146 303 0 73175 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 293920

[startup+1062.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 27903
/proc/meminfo: memFree=1404200/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=306388 CPUtime=1061.95
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 79217 0 0 0 105947 248 0 0 25 0 1 0 24718087 313741312 76112 1992294400 134512640 135752675 4291361088 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 76597 76112 146 303 0 76292 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 306388

[startup+1122.3 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 27903
/proc/meminfo: memFree=1393412/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=317160 CPUtime=1121.93
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 81886 0 0 0 111938 255 0 0 25 0 1 0 24718087 324771840 78781 1992294400 134512640 135752675 4291361088 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 79290 78781 146 303 0 78985 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 317160

[startup+1182.3 s]
/proc/loadavg: 1.13 1.05 1.01 2/107 27905
/proc/meminfo: memFree=1382748/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=328036 CPUtime=1181.91
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 84603 0 0 0 117926 265 0 0 25 0 1 0 24718087 335908864 81498 1992294400 134512640 135752675 4291361088 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 82009 81498 146 303 0 81704 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 328036

[startup+1242.3 s]
/proc/loadavg: 1.12 1.06 1.00 2/107 27907
/proc/meminfo: memFree=1368984/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=341520 CPUtime=1241.89
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 87971 0 0 0 123914 275 0 0 25 0 1 0 24718087 349716480 84866 1992294400 134512640 135752675 4291361088 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 85380 84866 146 303 0 85075 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 341520

[startup+1302.3 s]
/proc/loadavg: 1.23 1.09 1.02 2/107 27912
/proc/meminfo: memFree=1357204/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=353068 CPUtime=1301.87
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 90851 0 0 0 129905 282 0 0 25 0 1 0 24718087 361541632 87746 1992294400 134512640 135752675 4291361088 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 88267 87746 146 303 0 87962 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 353068

[startup+1362.3 s]
/proc/loadavg: 1.08 1.07 1.01 2/107 27914
/proc/meminfo: memFree=1346044/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=363948 CPUtime=1361.85
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 93584 0 0 0 135897 288 0 0 25 0 1 0 24718087 372682752 90479 1992294400 134512640 135752675 4291361088 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 90987 90479 146 303 0 90682 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 363948

[startup+1422.3 s]
/proc/loadavg: 1.03 1.06 1.00 2/107 27914
/proc/meminfo: memFree=1335256/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=374728 CPUtime=1421.84
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 96271 0 0 0 141888 296 0 0 25 0 1 0 24718087 383721472 93166 1992294400 134512640 135752675 4291361088 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 93682 93166 146 303 0 93377 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 374728

[startup+1482.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 27916
/proc/meminfo: memFree=1323228/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=386944 CPUtime=1481.82
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 99293 0 0 0 147878 304 0 0 25 0 1 0 24718087 396230656 96188 1992294400 134512640 135752675 4291361088 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 96736 96188 146 303 0 96431 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 386944

[startup+1542.31 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 27918
/proc/meminfo: memFree=1312316/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=397848 CPUtime=1541.81
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 102005 0 0 0 153870 311 0 0 25 0 1 0 24718087 407396352 98900 1992294400 134512640 135752675 4291361088 18446744073709551615 134605426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 99462 98900 146 303 0 99157 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 397848

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 27920
/proc/meminfo: memFree=1300412/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=409920 CPUtime=1601.79
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 105020 0 0 0 159861 318 0 0 25 0 1 0 24718087 419758080 101915 1992294400 134512640 135752675 4291361088 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 102480 101915 146 303 0 102175 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 409920

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 27922
/proc/meminfo: memFree=1284416/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=425816 CPUtime=1661.77
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 108981 0 0 0 165851 326 0 0 25 0 1 0 24718087 436035584 105876 1992294400 134512640 135752675 4291361088 18446744073709551615 134605381 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 106454 105876 146 303 0 106149 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 425816

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 27922
/proc/meminfo: memFree=1265444/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=444848 CPUtime=1721.75
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 113721 0 0 0 171838 337 0 0 25 0 1 0 24718087 455524352 110616 1992294400 134512640 135752675 4291361088 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 111212 110616 146 303 0 110907 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 444848

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 27924
/proc/meminfo: memFree=1255028/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=455312 CPUtime=1781.73
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 116331 0 0 0 177827 346 0 0 25 0 1 0 24718087 466239488 113226 1992294400 134512640 135752675 4291361088 18446744073709551615 134605026 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 113828 113226 146 303 0 113523 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 455312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 27924
/proc/meminfo: memFree=1251060/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=459008 CPUtime=1800.04
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 117253 0 0 0 179656 348 0 0 25 0 1 0 24718087 470024192 114148 1992294400 134512640 135752675 4291361088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 114752 114148 146 303 0 114447 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 459008

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

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

[startup+1800.6 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 27924
/proc/meminfo: memFree=1251060/2059040 swapFree=4139856/4192956
[pid=27863] ppid=27861 vsize=459008 CPUtime=1800.04
/proc/27863/stat : 27863 (wbo1.4b) R 27861 27863 27641 0 -1 4202496 117253 0 0 0 179656 348 0 0 25 0 1 0 24718087 470024192 114148 1992294400 134512640 135752675 4291361088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/27863/statm: 114752 114148 146 303 0 114447 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 459008

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.65
CPU time (s): 1800.09
CPU user time (s): 1796.56
CPU system time (s): 3.52746
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 459008

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

runsolver used 2.80957 second user time and 8.67668 second system time

The end

Launcher Data 

Begin job on node056 at 2010-07-08 06:58:35
IDJOB=2702383
IDBENCH=48126
IDSOLVER=1190
FILE ID=node056/2702383-1278565115
PBS_JOBID= 11239568
Free space on /tmp= 98480 MiB

SOLVER NAME= wbo 1.4b (fixed)
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_4.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-2702383-1278565115/watcher-2702383-1278565115 -o /tmp/evaluation-result-2702383-1278565115/solver-2702383-1278565115 -C 1800 -W 2000 -M 1800  wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702383-1278565115.opb

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

MD5SUM BENCH= b02c0aa46abe377e9678cb0b7b4280ae
RANDOM SEED=1923546925

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1712380 kB
Buffers:         71192 kB
Cached:         174508 kB
SwapCached:       8568 kB
Active:         123488 kB
Inactive:       137580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1712380 kB
SwapTotal:     4192956 kB
SwapFree:      4139856 kB
Dirty:            3116 kB
Writeback:           0 kB
AnonPages:       11952 kB
Mapped:          12096 kB
Slab:            63684 kB
PageTables:       4112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181268 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-2702383-1278565115.opb

Free space on /tmp at the end= 98476 MiB
End job on node056 at 2010-07-08 07:28:39