Trace number 1879427

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbSAT3 1799.44 1800.18

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=97-P1=11-P2=73-P3=43-P4=127-P5=127-P6=37-P7=127-P8=5-B.opb
MD5SUM44a2a8c9706392fba8f7dee35869ba61
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 benchmark7.72083
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 variables168
Total number of constraints17
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 constraints17
Minimum length of a constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)392
Sum of products size (including duplicates)784
Number of different products392
Sum of products size784

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.1 - 13/04/2009 : 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 Learning Strategy: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1879427-1245243699.opb
0.00/0.00	c File size is 29360 bytes.
0.00/0.00	c Highest Coefficient sum: 32512
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.003 s
0.00/0.00	c Var: 560 Constr: 809 392/0/417 Lit: 3409 Watch. Lit: 2106
0.00/0.00	c Obj. Vars: 7 (1.25 % of total variables)
0.00/0.01	c Pre-processing Time: 0.009 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    560      809     3409    4     2923    4596      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
157.61/157.77	c      100    560     1003    12789   12     5253    5056    194   3333 0.03
157.61/157.77	c      250    560     1293    29518   22     7938    5562    484   3571 0.07
157.61/157.77	c      476    560     1725    52255   30    11208    6119    916   3808 0.12
157.61/157.77	c      814    560     2355    83383   35    17363    6731   1546   2826 0.29
157.61/157.77	c     1322    560     3354   130266   38    28535    7405   2545   1841 0.72
157.61/157.77	c     2086    560     4805   197952   41    38702    8146   3996    916 2.28
157.61/157.77	c     3232    560     6957   300675   43    55197    8961   6148    538 6.00
157.61/157.77	c     4953    560     5291   232156   43    43177    9858   4482    537 9.21
157.61/157.77	c     7539    560    10042   490729   48    80054   10844   9233    440 17.11
157.61/157.77	c    11418    560    11465   606412   52    99048   11929  10656    469 24.32
157.61/157.77	c    17240    560     9810   548363   55    64464   13122   9001    293 58.74
157.61/157.77	c    25977    560    10872   599899   55    57298   14435  10063    241 107.54
157.61/157.77	c    39089    560    12110   610834   50    89861   15879  11301    250 156.04
157.61/157.77	o 9
303.55/303.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
303.55/303.75	c    40898    560    15497   798965   51   121540    4610  14688    259 157.69
303.55/303.75	c    40998    533     3311   138545   41    30699    5072   2502    257 158.91
303.55/303.75	c    41249    533     3767   164415   43    31795    5580   2958    259 159.01
303.55/303.75	c    41724    533     4630   215731   46    43337    6139   3821    261 159.38
303.55/303.75	c    42537    533     6071   298416   49    52747    6753   5262    266 159.78
303.55/303.75	c    43857    533     4935   237093   48    29860    7429   4126    272 161.06
303.55/303.75	c    45939    533     4571   208745   45    27321    8172   3762    281 163.40
303.55/303.75	c    49163    533     6237   274340   43    52766    8990   5428    290 169.00
303.55/303.75	c    54099    533     5329   250432   46    36621    9890   4520    307 175.79
303.55/303.75	c    61606    533     8530   462935   54    61660   10880   7721    330 186.19
303.55/303.75	c    72968    533     6252   313070   50    75044   11969   5443    313 233.01
303.55/303.75	o 3
1799.35/1800.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.35/1800.14	c    86596    533    11900   611126   51    80483    4604  11091    285 303.61
1799.35/1800.14	c    86696    505     3306   133054   40    23201    5065   2497    284 304.46
1799.35/1800.14	c    86949    505     3792   161294   42    27061    5572   2983    285 304.54
1799.35/1800.14	c    87425    504     4726   212523   44    42912    6130   3917    286 304.80
1799.35/1800.14	c    88239    504     6304   297112   47    60369    6744   5495    287 306.90
1799.35/1800.14	c    89559    504     5134   235919   45    38973    7419   4325    289 309.38
1799.35/1800.14	c    91641    504     5131   232036   45    46409    8161   4322    289 316.12
1799.35/1800.14	c    94864    504     7031   339396   48    69312    8978   6222    283 334.75
1799.35/1800.14	c    99800    503     7191   336375   46    73379    9876   6382    270 368.76
1799.35/1800.14	c   107307    503    10381   545840   52    76730   10864   9572    272 394.19
1799.35/1800.14	c   118669    502     8585   412009   47    97579   11951   7776    241 491.52
1799.35/1800.14	c   135813    502     8123   396232   48    59577   13147   7314    226 599.70
1799.35/1800.14	c   161633    493     8641   425263   49   113481   14462   7832    205 786.48
1799.35/1800.14	c   200466    493    14843   716774   48   119510   15909  14034    185 1081.49
1799.35/1800.14	c   258819    492    13931   681949   48   142748   17500  13122    158 1631.29
1799.35/1800.14	c Resources Exceeded
1799.35/1800.14	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 -x37 x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 x49 x50 -x51 -x52 -x53 x54 -x55 -x56 x57 x58 x59 -x60 x61 -x62 -x63 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 x64 -x65 -x66 -x67 -x68 -x69 -x70 x113 -x114 -x115 -x116 -x117 -x118 -x119 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 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 x71 -x72 x73 x74 -x75 -x76 -x77 -x120 -x121 -x122 -x123 -x124 -x125 -x126 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 x78 -x79 -x80 -x81 -x82 -x83 -x84 x127 x128 x129 -x130 -x131 -x132 -x133 x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 x85 -x86 x87 x88 -x89 -x90 -x91 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x365 -x366 x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x92 -x93 -x94 -x95 -x96 -x97 x98 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x414 -x415 -x416 -x417 -x418 -x419 x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 x456 -x457 -x458 -x459 -x460 -x461 x462 x99 -x100 -x101 -x102 -x103 -x104 -x105 x148 -x149 -x150 -x151 -x152 x153 -x154 x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x106 -x107 -x108 -x109 x110 -x111 -x112 -x155 -x156 -x157 -x158 -x159 -x160 -x161 x512 -x513 -x514 -x515 x516 -x517 -x518 x519 -x520 -x521 -x522 x523 -x524 -x525 x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 x162 x163 -x164 -x165 -x166 -x167 -x168 
1799.35/1800.14	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.35/1800.14	c   39   281820   4408   300812     9596   440425   8787    156 1799.40
1799.35/1800.14	c Objective: 3
1799.35/1800.14	s SATISFIABLE
1799.35/1800.14	c Total time: 1799.4 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-1879427-1245243699/watcher-1879427-1245243699 -o /tmp/evaluation-result-1879427-1245243699/solver-1879427-1245243699 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879427-1245243699.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 0.95 3/64 6140
/proc/meminfo: memFree=1797136/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=10740 CPUtime=0
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 259 0 0 0 0 0 0 0 18 0 1 0 191970011 10997760 243 1992294400 134512640 137136520 4294956256 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 2685 243 177 640 0 2033 0

[startup+0.09674 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 6140
/proc/meminfo: memFree=1797136/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=11496 CPUtime=0.09
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 492 0 0 0 9 0 0 0 18 0 1 0 191970011 11771904 468 1992294400 134512640 137136520 4294956256 18446744073709551615 134539796 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 2874 468 198 640 0 2230 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11496

[startup+0.10274 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 6140
/proc/meminfo: memFree=1797136/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=11624 CPUtime=0.09
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 503 0 0 0 9 0 0 0 18 0 1 0 191970011 11902976 479 1992294400 134512640 137136520 4294956256 18446744073709551615 136518922 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 2906 479 198 640 0 2262 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11624

[startup+0.301762 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 6140
/proc/meminfo: memFree=1797136/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=12404 CPUtime=0.29
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 714 0 0 0 29 0 0 0 19 0 1 0 191970011 12701696 690 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 3101 690 198 640 0 2457 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12404

[startup+0.701805 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 6140
/proc/meminfo: memFree=1797136/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=13300 CPUtime=0.69
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 939 0 0 0 69 0 0 0 23 0 1 0 191970011 13619200 915 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 3325 915 198 640 0 2681 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13300

[startup+1.50189 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1793864/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=13960 CPUtime=1.49
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 1112 0 0 0 148 1 0 0 25 0 1 0 191970011 14295040 1088 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 3490 1088 198 640 0 2846 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13960

[startup+3.10106 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1792712/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=15256 CPUtime=3.09
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 1420 0 0 0 308 1 0 0 25 0 1 0 191970011 15622144 1396 1992294400 134512640 137136520 4294956256 18446744073709551615 134543945 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 3814 1396 198 640 0 3170 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15256

[startup+6.3014 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1790984/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=16808 CPUtime=6.28
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 1795 0 0 0 627 1 0 0 25 0 1 0 191970011 17211392 1771 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 4202 1771 198 640 0 3558 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 16808

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1787216/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=20044 CPUtime=12.68
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 2612 0 0 0 1266 2 0 0 25 0 1 0 191970011 20525056 2588 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 5011 2588 198 640 0 4367 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20044

[startup+25.5025 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1784464/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=23300 CPUtime=25.48
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 3426 0 0 0 2545 3 0 0 25 0 1 0 191970011 23859200 3402 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 5825 3402 198 640 0 5181 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23300

[startup+51.1022 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1782864/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=24608 CPUtime=51.08
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 3759 0 0 0 5103 5 0 0 25 0 1 0 191970011 25198592 3735 1992294400 134512640 137136520 4294956256 18446744073709551615 136498324 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 6152 3735 198 640 0 5508 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 24608

[startup+102.307 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1781136/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=26168 CPUtime=102.26
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 4147 0 0 0 10219 7 0 0 25 0 1 0 191970011 26796032 4123 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 6542 4123 198 640 0 5898 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 26168

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1780816/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=26508 CPUtime=162.2
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 4233 0 0 0 16210 10 0 0 25 0 1 0 191970011 27144192 4209 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 6627 4209 198 640 0 5983 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 26508

[startup+222.303 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1780816/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=26504 CPUtime=222.18
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 4233 0 0 0 22203 15 0 0 25 0 1 0 191970011 27140096 4209 1992294400 134512640 137136520 4294956256 18446744073709551615 134544372 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 6626 4209 198 640 0 5982 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 26504

[startup+282.303 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1780816/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=26504 CPUtime=282.15
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 4233 0 0 0 28197 18 0 0 25 0 1 0 191970011 27140096 4209 1992294400 134512640 137136520 4294956256 18446744073709551615 134545045 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 6626 4209 198 640 0 5982 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 26504

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1780824/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=26504 CPUtime=342.13
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 4233 0 0 0 34193 20 0 0 25 0 1 0 191970011 27140096 4209 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 6626 4209 198 640 0 5982 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 26504

[startup+402.303 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1780760/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=26500 CPUtime=402.11
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 4233 0 0 0 40188 23 0 0 25 0 1 0 191970011 27136000 4209 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 6625 4209 198 640 0 5981 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 26500

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1780696/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=26500 CPUtime=462.08
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 4233 0 0 0 46183 25 0 0 25 0 1 0 191970011 27136000 4209 1992294400 134512640 137136520 4294956256 18446744073709551615 136502385 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 6625 4209 198 640 0 5981 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 26500

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1780696/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=26500 CPUtime=522.06
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 4233 0 0 0 52180 26 0 0 25 0 1 0 191970011 27136000 4209 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 6625 4209 198 640 0 5981 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 26500

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1780632/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=26500 CPUtime=582.03
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 4233 0 0 0 58175 28 0 0 25 0 1 0 191970011 27136000 4209 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 6625 4209 198 640 0 5981 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 26500

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1780568/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=26496 CPUtime=642.01
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 4233 0 0 0 64170 31 0 0 25 0 1 0 191970011 27131904 4209 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 6624 4209 198 640 0 5980 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 26496

[startup+702.302 s]

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

/proc/meminfo: memFree=1779544/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=27260 CPUtime=1061.85
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 4473 0 0 0 106137 48 0 0 25 0 1 0 191970011 27914240 4415 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 6815 4415 198 640 0 6171 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 27260

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1777560/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=29496 CPUtime=1121.82
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 5027 0 0 0 112133 49 0 0 25 0 1 0 191970011 30203904 4969 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 7374 4969 198 640 0 6730 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 29496

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1777432/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=29496 CPUtime=1181.79
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 5027 0 0 0 118128 51 0 0 25 0 1 0 191970011 30203904 4969 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 7374 4969 198 640 0 6730 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 29496

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1777240/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=29496 CPUtime=1241.77
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 5027 0 0 0 124124 53 0 0 25 0 1 0 191970011 30203904 4969 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 7374 4969 198 640 0 6730 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 29496

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1777240/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=29496 CPUtime=1301.75
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 5027 0 0 0 130120 55 0 0 25 0 1 0 191970011 30203904 4969 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 7374 4969 198 640 0 6730 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 29496

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1777176/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=29496 CPUtime=1361.72
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 5027 0 0 0 136115 57 0 0 25 0 1 0 191970011 30203904 4969 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 7374 4969 198 640 0 6730 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 29496

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1777176/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=29496 CPUtime=1421.71
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 5027 0 0 0 142112 59 0 0 25 0 1 0 191970011 30203904 4969 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 7374 4969 198 640 0 6730 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 29496

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1777112/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=29496 CPUtime=1481.67
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 5027 0 0 0 148106 61 0 0 25 0 1 0 191970011 30203904 4969 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 7374 4969 198 640 0 6730 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 29496

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1777048/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=29496 CPUtime=1541.66
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 5027 0 0 0 154102 64 0 0 25 0 1 0 191970011 30203904 4969 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 7374 4969 198 640 0 6730 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 29496

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1777048/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=29496 CPUtime=1601.63
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 5027 0 0 0 160098 65 0 0 25 0 1 0 191970011 30203904 4969 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 7374 4969 198 640 0 6730 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 29496

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1777112/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=29504 CPUtime=1661.61
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 5030 0 0 0 166093 68 0 0 25 0 1 0 191970011 30212096 4972 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 7376 4972 198 640 0 6732 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 29504

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1776536/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=30296 CPUtime=1721.58
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 5224 0 0 0 172088 70 0 0 25 0 1 0 191970011 31023104 5166 1992294400 134512640 137136520 4294956256 18446744073709551615 134575005 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 7574 5166 198 640 0 6930 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 30296

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1776344/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=30296 CPUtime=1781.55
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 5224 0 0 0 178083 72 0 0 25 0 1 0 191970011 31023104 5166 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 7574 5166 198 640 0 6930 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 30296

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1776344/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=30296 CPUtime=1791.16
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 5224 0 0 0 179043 73 0 0 25 0 1 0 191970011 31023104 5166 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 7574 5166 198 640 0 6930 0
Current children cumulated CPU time (s) 1791.16
Current children cumulated vsize (KiB) 30296

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1776344/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=30296 CPUtime=1794.36
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 5224 0 0 0 179363 73 0 0 25 0 1 0 191970011 31023104 5166 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 7574 5166 198 640 0 6930 0
Current children cumulated CPU time (s) 1794.36
Current children cumulated vsize (KiB) 30296

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1776344/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=30296 CPUtime=1797.55
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 5224 0 0 0 179682 73 0 0 25 0 1 0 191970011 31023104 5166 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 7574 5166 198 640 0 6930 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 30296

[startup+1799.1 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1776344/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=30296 CPUtime=1798.35
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 5224 0 0 0 179762 73 0 0 25 0 1 0 191970011 31023104 5166 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 7574 5166 198 640 0 6930 0
Current children cumulated CPU time (s) 1798.35
Current children cumulated vsize (KiB) 30296

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1776344/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=30296 CPUtime=1799.15
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 5224 0 0 0 179842 73 0 0 25 0 1 0 191970011 31023104 5166 1992294400 134512640 137136520 4294956256 18446744073709551615 134540969 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 7574 5166 198 640 0 6930 0
Current children cumulated CPU time (s) 1799.15
Current children cumulated vsize (KiB) 30296

[startup+1800.1 s]
/proc/loadavg: 1.00 1.00 0.95 2/65 6141
/proc/meminfo: memFree=1776344/2055920 swapFree=4181552/4192956
[pid=6140] ppid=6138 vsize=30296 CPUtime=1799.35
/proc/6140/stat : 6140 (bsolo) R 6138 6140 5814 0 -1 4194304 5224 0 0 0 179862 73 0 0 25 0 1 0 191970011 31023104 5166 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6140/statm: 7574 5166 198 640 0 6930 0
Current children cumulated CPU time (s) 1799.35
Current children cumulated vsize (KiB) 30296

Child status: 0
Real time (s): 1800.18
CPU time (s): 1799.44
CPU user time (s): 1798.7
CPU system time (s): 0.737887
CPU usage (%): 99.9587
Max. virtual memory (cumulated for all children) (KiB): 30296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.7
system time used= 0.737887
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5226
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= 2
involuntary context switches= 5779

runsolver used 1.68374 second user time and 4.86926 second system time

The end

Launcher Data 

Begin job on node19 at 2009-06-17 15:01:39
IDJOB=1879427
IDBENCH=47977
IDSOLVER=701
FILE ID=node19/1879427-1245243699
PBS_JOBID= 9372319
Free space on /tmp= 66136 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=97-P1=11-P2=73-P3=43-P4=127-P5=127-P6=37-P7=127-P8=5-B.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879427-1245243699/watcher-1879427-1245243699 -o /tmp/evaluation-result-1879427-1245243699/solver-1879427-1245243699 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879427-1245243699.opb

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

MD5SUM BENCH= 44a2a8c9706392fba8f7dee35869ba61
RANDOM SEED=1189342579

node19.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.234
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.234
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1797560 kB
Buffers:         38464 kB
Cached:         153996 kB
SwapCached:       6236 kB
Active:          58716 kB
Inactive:       142704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1797560 kB
SwapTotal:     4192956 kB
SwapFree:      4181552 kB
Dirty:            3948 kB
Writeback:           0 kB
Mapped:          13636 kB
Slab:            42812 kB
Committed_AS:   212252 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1879427-1245243699.opb

Free space on /tmp at the end= 66132 MiB
End job on node19 at 2009-06-17 15:31:39