Trace number 2670653

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
bsolo 3.2 CardSAT3 1798 1798.44

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=499-P1=293-P2=223-P3=277-B.opb
MD5SUMffde7c44e1ce67f9a67e822c2db106af
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.44993
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables81
Total number of constraints7
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 constraints7
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)243
Sum of products size (including duplicates)486
Number of different products243
Sum of products size486

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 bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2670653-1276704042.opb
0.00/0.00	c File size is 17961 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.002 s
0.00/0.00	c Var: 324 Constr: 496 243/0/253 Lit: 2070 Watch. Lit: 1271
0.00/0.00	c Obj. Vars: 9 (2.77778 % of total variables)
0.00/0.00	c Pre-processing Time: 0.006 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    324      496     2070    4     1781    2762      0      0 0.01
0.00/0.00	c Switching off lower bounding mode.
0.59/0.63	c      102    324      693    11995   17     2288    3039    197   3290 0.03
0.59/0.63	c      255    324      994    37313   37     3125    3343    498   3000 0.09
0.59/0.63	c      480    324     1428    63961   44     4338    3678    932   2926 0.16
0.59/0.63	c      818    324     2075   107124   51     6021    4046   1579   2996 0.27
0.59/0.63	c     1327    324     3073   178187   57     8794    4451   2577   2643 0.50
0.59/0.63	o 171
75.96/76.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
75.96/76.09	c     1660    324     3720   224763   60    10582    2781   3224   2634 0.63
75.96/76.09	c     1761    324     2086   131194   62     5553    3060   1590   2597 0.68
75.96/76.09	c     2011    313     2576   165588   64     6908    3367   2080   2598 0.77
75.96/76.09	c     2486    313     3487   227158   65     9347    3704   2991   2573 0.97
75.96/76.09	c     3300    313     2992   187792   62     7842    4075   2496   2419 1.36
75.96/76.09	c     4621    313     3369   201956   59     9014    4483   2873   2362 1.96
75.96/76.09	c     6702    313     2740   164246   59     7141    4932   2244   1979 3.38
75.96/76.09	c     9925    313     3599   220270   61     8760    5426   3103   1715 5.79
75.96/76.09	c    14861    313     4579   283832   61    11496    5969   4083   1594 9.32
75.96/76.09	c    22367    313     3518   211005   59     8746    6566   3022   1480 15.11
75.96/76.09	c    33731    313     5000   310980   62    12502    7223   4504   1434 23.51
75.96/76.09	c    50875    313     7254   480666   66    19234    7946   6758   1345 37.81
75.96/76.09	c    76695    313     7727   448113   57    20138    8741   7231   1308 58.60
75.96/76.09	o 19
76.45/76.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
76.45/76.55	c    96594    313     8479   536058   63    21488    2779   7983   1269 76.06
76.45/76.55	c    96695    303     2085   110742   53     5538    3057   1589   1269 76.15
76.45/76.55	c    96945    303     2559   139417   54     6789    3363   2063   1271 76.23
76.45/76.55	c    97420    280     3469   195918   56     9301    3700   2973   1275 76.41
76.45/76.55	o 7
78.06/78.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
78.06/78.18	c    97735    280     3948   218421   55    10515    2772   3452   1277 76.52
78.06/78.18	c    97836    269     2083   104699   50     5463    3050   1587   1277 76.58
78.06/78.18	c    98086    269     2565   135227   52     6722    3356   2069   1279 76.68
78.06/78.18	c    98561    269     3456   184095   53     9126    3692   2960   1281 76.89
78.06/78.18	c    99374    269     3007   158897   52     7939    4062   2511   1285 77.32
78.06/78.18	c   100694    269     3384   177963   52     9037    4469   2888   1290 78.02
78.06/78.18	o 3
1797.96/1798.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1798.44	c   101020    258     3994   213862   53    10742    2769   3498   1292 78.15
1797.96/1798.44	c   101120    258     2078   100749   48     5567    3046   1582   1293 78.20
1797.96/1798.44	c   101371    258     2564   128525   50     6925    3351   2068   1294 78.29
1797.96/1798.44	c   101846    258     3498   193503   55     9379    3687   3002   1298 78.45
1797.96/1798.44	c   102660    258     2983   170915   57     8087    4056   2487   1302 78.83
1797.96/1798.44	c   103980    235     3316   189239   57     8922    4462   2820   1309 79.43
1797.96/1798.44	c   106062    235     4898   261837   53    13081    4909   4402   1315 80.61
1797.96/1798.44	c   109285    235     3345   177503   53     8970    5400   2849   1326 82.38
1797.96/1798.44	c   114222    235     4064   226223   55    10724    5941   3568   1342 85.10
1797.96/1798.44	c   121729    235     5565   350064   62    14578    6536   5069   1352 89.97
1797.96/1798.44	c   133091    235     5617   376427   67    13495    7190   5121   1342 99.17
1797.96/1798.44	c   150236    235     4460   267047   59    11254    7910   3964   1333 112.69
1797.96/1798.44	c   176056    235     8033   530161   65    20671    8702   7537   1301 135.26
1797.96/1798.44	c   214888    235     9017   571115   63    23704    9573   8521   1270 169.19
1797.96/1798.44	c   273240    235     5778   368697   63    14942   10531   5282   1245 219.35
1797.96/1798.44	c   360873    225     5772   349532   60    14746   11585   5276   1191 302.96
1797.96/1798.44	c   492425    225     6958   412616   59    18218   12744   6462   1072 459.11
1797.96/1798.44	c   689857    225     8127   485584   59    21447   14019   7631   1004 686.43
1797.96/1798.44	c   986110    225     8074   468325   58    21532   15421   7578    901 1093.36
1797.96/1798.44	c  1430593    225    10236   613741   59    27347   16964   9740    835 1712.74
1797.96/1798.44	c Resources Exceeded
1797.96/1798.44	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 x32 -x33 x34 x35 x36 x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 -x299 x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 x316 -x317 x318 -x319 -x320 -x321 -x322 -x323 -x324 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 
1797.96/1798.44	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.44	c   48  1490274   8537  1510745    14972   915261  14476    828 1798.00
1797.96/1798.44	c Objective: 3
1797.96/1798.44	s SATISFIABLE
1797.96/1798.44	c Total time: 1798 s

Verifier Data 

OK	3

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670653-1276704042/watcher-2670653-1276704042 -o /tmp/evaluation-result-2670653-1276704042/solver-2670653-1276704042 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670653-1276704042.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 8877
/proc/meminfo: memFree=1792760/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=10924 CPUtime=0
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 357 0 0 0 0 0 0 0 18 0 1 0 46008165 11186176 270 1992294400 134512640 137138936 4290360816 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 2731 270 186 642 0 2087 0

[startup+0.033455 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8877
/proc/meminfo: memFree=1792760/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=11048 CPUtime=0.03
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 395 0 0 0 3 0 0 0 18 0 1 0 46008165 11313152 308 1992294400 134512640 137138936 4290360816 18446744073709551615 134606680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 2762 308 192 642 0 2118 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11048

[startup+0.10146 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8877
/proc/meminfo: memFree=1792760/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=11428 CPUtime=0.1
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 504 0 0 0 10 0 0 0 21 0 1 0 46008165 11702272 417 1992294400 134512640 137138936 4290360816 18446744073709551615 134575800 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 2857 417 192 642 0 2213 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11428

[startup+0.300477 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8877
/proc/meminfo: memFree=1792760/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=12588 CPUtime=0.29
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 781 0 0 0 29 0 0 0 21 0 1 0 46008165 12890112 694 1992294400 134512640 137138936 4290360816 18446744073709551615 134575850 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 3147 694 192 642 0 2503 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12588

[startup+0.70051 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 8877
/proc/meminfo: memFree=1792760/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=14140 CPUtime=0.69
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 1179 0 0 0 69 0 0 0 22 0 1 0 46008165 14479360 1092 1992294400 134512640 137138936 4290360816 18446744073709551615 136504423 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 3535 1092 192 642 0 2891 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14140

[startup+1.50057 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8878
/proc/meminfo: memFree=1789404/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=15040 CPUtime=1.49
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 1416 0 0 0 149 0 0 0 25 0 1 0 46008165 15400960 1329 1992294400 134512640 137138936 4290360816 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 3760 1329 192 642 0 3116 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15040

[startup+3.1007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8878
/proc/meminfo: memFree=1788288/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=15428 CPUtime=3.09
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 1511 0 0 0 309 0 0 0 25 0 1 0 46008165 15798272 1424 1992294400 134512640 137138936 4290360816 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 3857 1424 192 642 0 3213 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15428

[startup+6.30096 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8878
/proc/meminfo: memFree=1787296/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=15956 CPUtime=6.29
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 1638 0 0 0 628 1 0 0 25 0 1 0 46008165 16338944 1551 1992294400 134512640 137138936 4290360816 18446744073709551615 134603150 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 3989 1551 192 642 0 3345 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15956

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8878
/proc/meminfo: memFree=1786304/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=16864 CPUtime=12.69
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 1872 0 0 0 1266 3 0 0 25 0 1 0 46008165 17268736 1785 1992294400 134512640 137138936 4290360816 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 4216 1785 192 642 0 3572 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16864

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8889
/proc/meminfo: memFree=1784568/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=18148 CPUtime=25.47
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 2177 0 0 0 2541 6 0 0 25 0 1 0 46008165 18583552 2090 1992294400 134512640 137138936 4290360816 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 4537 2090 192 642 0 3893 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 18148

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8889
/proc/meminfo: memFree=1783328/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=19432 CPUtime=51.07
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 2508 0 0 0 5094 13 0 0 25 0 1 0 46008165 19898368 2421 1992294400 134512640 137138936 4290360816 18446744073709551615 134539298 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 4858 2421 192 642 0 4214 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19432

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8891
/proc/meminfo: memFree=1782708/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=20188 CPUtime=102.26
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 2689 0 0 0 10201 25 0 0 25 0 1 0 46008165 20672512 2602 1992294400 134512640 137138936 4290360816 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 5047 2602 192 642 0 4403 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 20188

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8891
/proc/meminfo: memFree=1782708/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=20188 CPUtime=162.24
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 2701 0 0 0 16185 39 0 0 25 0 1 0 46008165 20672512 2614 1992294400 134512640 137138936 4290360816 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 5047 2614 192 642 0 4403 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 20188

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8893
/proc/meminfo: memFree=1781840/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=20960 CPUtime=222.23
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 2902 0 0 0 22172 51 0 0 25 0 1 0 46008165 21463040 2815 1992294400 134512640 137138936 4290360816 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 5240 2815 192 642 0 4596 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 20960

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8895
/proc/meminfo: memFree=1780848/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=21992 CPUtime=282.21
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 3146 0 0 0 28158 63 0 0 25 0 1 0 46008165 22519808 3059 1992294400 134512640 137138936 4290360816 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 5498 3059 192 642 0 4854 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 21992

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8897
/proc/meminfo: memFree=1780352/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=22600 CPUtime=342.19
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 3292 0 0 0 34143 76 0 0 25 0 1 0 46008165 23142400 3205 1992294400 134512640 137138936 4290360816 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 5650 3205 192 642 0 5006 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 22600

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8899
/proc/meminfo: memFree=1780352/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=22592 CPUtime=402.18
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 3292 0 0 0 40133 85 0 0 25 0 1 0 46008165 23134208 3205 1992294400 134512640 137138936 4290360816 18446744073709551615 136504265 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 5648 3205 192 642 0 5004 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 22592

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8899
/proc/meminfo: memFree=1779732/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=23212 CPUtime=462.17
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 3447 0 0 0 46120 97 0 0 25 0 1 0 46008165 23769088 3360 1992294400 134512640 137138936 4290360816 18446744073709551615 134606989 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 5803 3360 192 642 0 5159 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 23212

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8901
/proc/meminfo: memFree=1779484/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=23328 CPUtime=522.15
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 3493 0 0 0 52107 108 0 0 25 0 1 0 46008165 23887872 3406 1992294400 134512640 137138936 4290360816 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 5832 3406 192 642 0 5188 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 23328

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8903
/proc/meminfo: memFree=1779484/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=23328 CPUtime=582.13
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 3493 0 0 0 58093 120 0 0 25 0 1 0 46008165 23887872 3406 1992294400 134512640 137138936 4290360816 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 5832 3406 192 642 0 5188 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 23328

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8905
/proc/meminfo: memFree=1779484/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=23452 CPUtime=642.13
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 3508 0 0 0 64082 131 0 0 25 0 1 0 46008165 24014848 3421 1992294400 134512640 137138936 4290360816 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 5863 3421 192 642 0 5219 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 23452

[startup+702.3 s]

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

/proc/meminfo: memFree=1776012/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=26160 CPUtime=1122.01
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 4198 0 0 0 111981 220 0 0 25 0 1 0 46008165 26787840 4111 1992294400 134512640 137138936 4290360816 18446744073709551615 134542469 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 6540 4111 192 642 0 5896 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 26160

[startup+1182.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 8922
/proc/meminfo: memFree=1776012/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=26160 CPUtime=1181.99
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 4198 0 0 0 117968 231 0 0 25 0 1 0 46008165 26787840 4111 1992294400 134512640 137138936 4290360816 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 6540 4111 192 642 0 5896 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 26160

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 8924
/proc/meminfo: memFree=1776012/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=26160 CPUtime=1241.98
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 4198 0 0 0 123954 244 0 0 25 0 1 0 46008165 26787840 4111 1992294400 134512640 137138936 4290360816 18446744073709551615 134606979 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 6540 4111 192 642 0 5896 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 26160

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 8926
/proc/meminfo: memFree=1776012/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=26160 CPUtime=1301.97
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 4198 0 0 0 129943 254 0 0 25 0 1 0 46008165 26787840 4111 1992294400 134512640 137138936 4290360816 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 6540 4111 192 642 0 5896 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 26160

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 8926
/proc/meminfo: memFree=1776012/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=26160 CPUtime=1361.96
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 4198 0 0 0 135931 265 0 0 25 0 1 0 46008165 26787840 4111 1992294400 134512640 137138936 4290360816 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 6540 4111 192 642 0 5896 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 26160

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 8928
/proc/meminfo: memFree=1776012/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=26160 CPUtime=1421.94
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 4198 0 0 0 141918 276 0 0 25 0 1 0 46008165 26787840 4111 1992294400 134512640 137138936 4290360816 18446744073709551615 134599786 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 6540 4111 192 642 0 5896 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 26160

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8930
/proc/meminfo: memFree=1776012/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=26160 CPUtime=1481.93
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 4198 0 0 0 147904 289 0 0 25 0 1 0 46008165 26787840 4111 1992294400 134512640 137138936 4290360816 18446744073709551615 136511125 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 6540 4111 192 642 0 5896 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 26160

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8932
/proc/meminfo: memFree=1776012/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=26160 CPUtime=1541.91
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 4198 0 0 0 153890 301 0 0 25 0 1 0 46008165 26787840 4111 1992294400 134512640 137138936 4290360816 18446744073709551615 134557362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 6540 4111 192 642 0 5896 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 26160

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8934
/proc/meminfo: memFree=1776012/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=26160 CPUtime=1601.9
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 4198 0 0 0 159878 312 0 0 25 0 1 0 46008165 26787840 4111 1992294400 134512640 137138936 4290360816 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 6540 4111 192 642 0 5896 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 26160

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8934
/proc/meminfo: memFree=1776012/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=26160 CPUtime=1661.89
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 4198 0 0 0 165866 323 0 0 25 0 1 0 46008165 26787840 4111 1992294400 134512640 137138936 4290360816 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 6540 4111 192 642 0 5896 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 26160

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8936
/proc/meminfo: memFree=1774772/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=27464 CPUtime=1721.87
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 4524 0 0 0 171854 333 0 0 25 0 1 0 46008165 28123136 4437 1992294400 134512640 137138936 4290360816 18446744073709551615 134606595 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 6866 4437 192 642 0 6222 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 27464

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8938
/proc/meminfo: memFree=1774524/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=27464 CPUtime=1781.86
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 4524 0 0 0 177841 345 0 0 25 0 1 0 46008165 28123136 4437 1992294400 134512640 137138936 4290360816 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 6866 4437 192 642 0 6222 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 27464

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8938
/proc/meminfo: memFree=1774524/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=27464 CPUtime=1791.46
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 4524 0 0 0 178800 346 0 0 25 0 1 0 46008165 28123136 4437 1992294400 134512640 137138936 4290360816 18446744073709551615 134609268 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 6866 4437 192 642 0 6222 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 27464

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8938
/proc/meminfo: memFree=1774524/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=27464 CPUtime=1794.66
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 4524 0 0 0 179119 347 0 0 25 0 1 0 46008165 28123136 4437 1992294400 134512640 137138936 4290360816 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 6866 4437 192 642 0 6222 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 27464

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8938
/proc/meminfo: memFree=1774524/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=27464 CPUtime=1796.25
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 4524 0 0 0 179278 347 0 0 25 0 1 0 46008165 28123136 4437 1992294400 134512640 137138936 4290360816 18446744073709551615 134618437 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 6866 4437 192 642 0 6222 0
Current children cumulated CPU time (s) 1796.25
Current children cumulated vsize (KiB) 27464

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8938
/proc/meminfo: memFree=1774524/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=27464 CPUtime=1797.05
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 4524 0 0 0 179358 347 0 0 25 0 1 0 46008165 28123136 4437 1992294400 134512640 137138936 4290360816 18446744073709551615 134542984 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 6866 4437 192 642 0 6222 0
Current children cumulated CPU time (s) 1797.05
Current children cumulated vsize (KiB) 27464

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8938
/proc/meminfo: memFree=1774524/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=27464 CPUtime=1797.45
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 4524 0 0 0 179398 347 0 0 25 0 1 0 46008165 28123136 4437 1992294400 134512640 137138936 4290360816 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 6866 4437 192 642 0 6222 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (KiB) 27464

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8938
/proc/meminfo: memFree=1774524/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=27464 CPUtime=1797.85
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 4524 0 0 0 179438 347 0 0 25 0 1 0 46008165 28123136 4437 1992294400 134512640 137138936 4290360816 18446744073709551615 134542430 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 6866 4437 192 642 0 6222 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 27464

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 8938
/proc/meminfo: memFree=1774524/2059040 swapFree=4140244/4192956
[pid=8877] ppid=8875 vsize=27464 CPUtime=1797.96
/proc/8877/stat : 8877 (bsolo_pb10) R 8875 8877 8530 0 -1 4202496 4524 0 0 0 179449 347 0 0 25 0 1 0 46008165 28123136 4437 1992294400 134512640 137138936 4290360816 18446744073709551615 134542378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8877/statm: 6866 4437 192 642 0 6222 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 27464

Child status: 0
Real time (s): 1798.44
CPU time (s): 1798
CPU user time (s): 1794.52
CPU system time (s): 3.47947
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 27464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.52
system time used= 3.47947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4525
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1
involuntary context switches= 3310

runsolver used 2.79458 second user time and 8.66768 second system time

The end

Launcher Data 

Begin job on node003 at 2010-06-16 18:00:42
IDJOB=2670653
IDBENCH=48043
IDSOLVER=1162
FILE ID=node003/2670653-1276704042
PBS_JOBID= 11174130
Free space on /tmp= 62580 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=499-P1=293-P2=223-P3=277-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670653-1276704042/watcher-2670653-1276704042 -o /tmp/evaluation-result-2670653-1276704042/solver-2670653-1276704042 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670653-1276704042.opb

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

MD5SUM BENCH= ffde7c44e1ce67f9a67e822c2db106af
RANDOM SEED=1892053992

node003.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.251
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.50
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.251
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1793660 kB
Buffers:         75632 kB
Cached:         108432 kB
SwapCached:       5996 kB
Active:          79500 kB
Inactive:       117704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1793660 kB
SwapTotal:     4192956 kB
SwapFree:      4140244 kB
Dirty:            3984 kB
Writeback:           0 kB
AnonPages:       11636 kB
Mapped:          13232 kB
Slab:            46332 kB
PageTables:       3996 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181616 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-2670653-1276704042.opb

Free space on /tmp at the end= 62576 MiB
End job on node003 at 2010-06-16 18:30:41