Trace number 2670669

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 CardSAT205 1798 1798.48

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=103-P1=127-P2=263-P3=461-P4=191-P5=277-B.opb
MD5SUM773aedb43187ca11a13e2d0d2a59ebe9
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 benchmark5.44217
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 variables135
Total number of constraints11
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 constraints11
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)405
Sum of products size (including duplicates)810
Number of different products405
Sum of products size810

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-2670669-1276704131.opb
0.00/0.00	c File size is 30042 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.005 s
0.00/0.00	c Var: 540 Constr: 826 405/0/421 Lit: 3456 Watch. Lit: 2117
0.00/0.00	c Obj. Vars: 9 (1.66667 % of total variables)
0.00/0.01	c Pre-processing Time: 0.011 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    540      826     3456    4     2973    4616      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
1446.41/1446.87	c      104    540     1033    19403   18     3475    5078    207   2600 0.04
1446.41/1446.87	c      256    540     1304    41370   31     4070    5586    478   2098 0.12
1446.41/1446.87	c      482    540     1738    68290   39     5412    6145    912   2536 0.19
1446.41/1446.87	c      821    540     2395   108304   45     7152    6760   1569   2718 0.30
1446.41/1446.87	c     1329    540     3370   164776   48     9765    7437   2544   2668 0.50
1446.41/1446.87	c     2092    540     4818   259190   53    13568    8181   3992   2579 0.81
1446.41/1446.87	c     3238    540     7060   410908   58    19631    9000   6234   2309 1.40
1446.41/1446.87	c     4960    540     5818   336816   57    15655    9901   4992   1735 2.86
1446.41/1446.87	c     7544    540     5788   341739   59    15046   10892   4962   1384 5.45
1446.41/1446.87	c    11423    540     7818   462860   59    20985   11982   6992   1224 9.33
1446.41/1446.87	c    17246    540     6889   407274   59    17662   13181   6063   1026 16.80
1446.41/1446.87	c    25983    540    10578   650328   61    27289   14500   9752    936 27.75
1446.41/1446.87	c    39093    540    13472   926884   68    33824   15951  12646    845 46.24
1446.41/1446.87	c    58764    540    11076   641888   57    28688   17547  10250    812 72.36
1446.41/1446.87	c    88274    540    15128   913420   60    39744   19302  14302    736 119.82
1446.41/1446.87	c   132545    540    18610  1327679   71    46158   21233  17784    657 201.69
1446.41/1446.87	c   198955    540    18687  1112098   59    48276   23357  17861    618 321.43
1446.41/1446.87	c   298576    540    14797  1045690   70    37051   25693  13971    592 503.97
1446.41/1446.87	c   448011    540    25743  1675936   65    68619   28263  24917    524 854.46
1446.41/1446.87	c   672170    540    20508  1410947   68    53778   31090  19682    471 1426.74
1446.41/1446.87	o 205
1797.92/1798.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1798.47	c   685244    540    29787  2115893   71    75778    4634  28961    473 1446.49
1797.92/1798.47	c   685344    540     3322   192436   57     8793    5098   2496    473 1447.29
1797.92/1798.47	c   685596    540     3806   224342   58    10052    5608   2980    473 1447.38
1797.92/1798.47	c   686072    540     4734   288042   60    12409    6169   3908    473 1447.60
1797.92/1798.47	c   686885    540     6344   398484   62    16544    6786   5518    474 1448.00
1797.92/1798.47	c   688209    529     5264   329791   62    13868    7465   4438    475 1448.76
1797.92/1798.47	c   690290    529     5164   290218   56    13848    8212   4338    475 1450.22
1797.92/1798.47	c   693513    529     7217   395471   54    20004    9034   6391    477 1452.51
1797.92/1798.47	c   698449    529     7575   445669   58    19962    9938   6749    479 1456.87
1797.92/1798.47	c   705957    529     6829   388782   56    17771   10932   6003    482 1464.43
1797.92/1798.47	c   717319    529     6531   365355   55    17139   12026   5705    485 1476.08
1797.92/1798.47	c   734463    529     7044   494288   70    17267   13229   6218    492 1491.37
1797.92/1798.47	c   760283    529     9760   582193   59    25313   14552   8934    500 1520.56
1797.92/1798.47	c   799115    529     9603   653791   68    23889   16008   8777    508 1573.00
1797.92/1798.47	c   857467    529    16191   944183   58    41088   17609  15365    516 1660.74
1797.92/1798.47	c Resources Exceeded
1797.92/1798.47	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 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 -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 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 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 -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 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 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 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 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 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 -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 x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x460 -x461 -x462 -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 -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 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 -x135 
1797.92/1798.47	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.47	c   35   941444   7323   962620    12306   989016  11480    523 1798.00
1797.92/1798.47	c Objective: 205
1797.92/1798.47	s SATISFIABLE
1797.92/1798.47	c Total time: 1798 s

Verifier Data 

OK	205

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670669-1276704131/watcher-2670669-1276704131 -o /tmp/evaluation-result-2670669-1276704131/solver-2670669-1276704131 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670669-1276704131.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 17396
/proc/meminfo: memFree=1813604/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=10924 CPUtime=0
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 372 0 0 0 0 0 0 0 20 0 1 0 11705609 11186176 283 1992294400 134512640 137138936 4288148256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 2731 283 184 642 0 2087 0

[startup+0.0714479 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17396
/proc/meminfo: memFree=1813604/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=11316 CPUtime=0.06
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 479 0 0 0 6 0 0 0 20 0 1 0 11705609 11587584 390 1992294400 134512640 137138936 4288148256 18446744073709551615 134573768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 2829 390 192 642 0 2185 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11316

[startup+0.100451 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17396
/proc/meminfo: memFree=1813604/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=11440 CPUtime=0.09
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 497 0 0 0 9 0 0 0 20 0 1 0 11705609 11714560 408 1992294400 134512640 137138936 4288148256 18446744073709551615 134575858 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 2860 408 192 642 0 2216 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11440

[startup+0.300472 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17396
/proc/meminfo: memFree=1813604/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=12460 CPUtime=0.29
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 768 0 0 0 29 0 0 0 20 0 1 0 11705609 12759040 679 1992294400 134512640 137138936 4288148256 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 3115 679 192 642 0 2471 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12460

[startup+0.700517 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 17396
/proc/meminfo: memFree=1813604/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=14256 CPUtime=0.69
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 1201 0 0 0 68 1 0 0 21 0 1 0 11705609 14598144 1112 1992294400 134512640 137138936 4288148256 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 3564 1113 192 642 0 2920 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14256

[startup+1.5006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17397
/proc/meminfo: memFree=1809008/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=17088 CPUtime=1.49
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 1936 0 0 0 148 1 0 0 23 0 1 0 11705609 17498112 1847 1992294400 134512640 137138936 4288148256 18446744073709551615 134542857 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 4272 1847 192 642 0 3628 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17088

[startup+3.10078 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17397
/proc/meminfo: memFree=1805536/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=19664 CPUtime=3.09
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 2568 0 0 0 307 2 0 0 25 0 1 0 11705609 20135936 2479 1992294400 134512640 137138936 4288148256 18446744073709551615 134576055 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 4916 2479 192 642 0 4272 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19664

[startup+6.30113 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17397
/proc/meminfo: memFree=1803428/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=20800 CPUtime=6.29
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 2842 0 0 0 626 3 0 0 25 0 1 0 11705609 21299200 2753 1992294400 134512640 137138936 4288148256 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 5200 2753 192 642 0 4556 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20800

[startup+12.7008 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17397
/proc/meminfo: memFree=1802436/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=22588 CPUtime=12.69
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 3296 0 0 0 1265 4 0 0 25 0 1 0 11705609 23130112 3207 1992294400 134512640 137138936 4288148256 18446744073709551615 136502109 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 5647 3207 192 642 0 5003 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22588

[startup+25.5002 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17399
/proc/meminfo: memFree=1800452/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=23840 CPUtime=25.48
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 3606 0 0 0 2542 6 0 0 25 0 1 0 11705609 24412160 3517 1992294400 134512640 137138936 4288148256 18446744073709551615 134542930 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 5960 3517 192 642 0 5316 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23840

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17399
/proc/meminfo: memFree=1796608/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=27588 CPUtime=51.08
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 4558 0 0 0 5096 12 0 0 25 0 1 0 11705609 28250112 4469 1992294400 134512640 137138936 4288148256 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 6897 4469 192 642 0 6253 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27588

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17401
/proc/meminfo: memFree=1796608/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=27596 CPUtime=102.27
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 4561 0 0 0 10207 20 0 0 25 0 1 0 11705609 28258304 4472 1992294400 134512640 137138936 4288148256 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 6899 4472 192 642 0 6255 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 27596

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17401
/proc/meminfo: memFree=1791772/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=32280 CPUtime=162.24
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 5723 0 0 0 16193 31 0 0 25 0 1 0 11705609 33054720 5634 1992294400 134512640 137138936 4288148256 18446744073709551615 136505794 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 8070 5634 192 642 0 7426 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 32280

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17403
/proc/meminfo: memFree=1790408/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=33536 CPUtime=222.24
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 6038 0 0 0 22183 41 0 0 25 0 1 0 11705609 34340864 5949 1992294400 134512640 137138936 4288148256 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 8384 5949 192 642 0 7740 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 33536

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17405
/proc/meminfo: memFree=1790408/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=33532 CPUtime=282.22
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 6038 0 0 0 28172 50 0 0 25 0 1 0 11705609 34336768 5949 1992294400 134512640 137138936 4288148256 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 8383 5949 192 642 0 7739 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 33532

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17407
/proc/meminfo: memFree=1790408/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=33540 CPUtime=342.2
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 6042 0 0 0 34160 60 0 0 25 0 1 0 11705609 34344960 5953 1992294400 134512640 137138936 4288148256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 8385 5953 192 642 0 7741 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 33540

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 17409
/proc/meminfo: memFree=1785820/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=38004 CPUtime=402.19
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 7163 0 0 0 40146 73 0 0 25 0 1 0 11705609 38916096 7074 1992294400 134512640 137138936 4288148256 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 9501 7074 192 642 0 8857 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 38004

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17409
/proc/meminfo: memFree=1785820/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=38004 CPUtime=462.17
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 7163 0 0 0 46134 83 0 0 25 0 1 0 11705609 38916096 7074 1992294400 134512640 137138936 4288148256 18446744073709551615 134533442 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 9501 7074 192 642 0 8857 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 38004

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17411
/proc/meminfo: memFree=1784952/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=38848 CPUtime=522.15
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 7370 0 0 0 52121 94 0 0 25 0 1 0 11705609 39780352 7281 1992294400 134512640 137138936 4288148256 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 9712 7281 192 642 0 9068 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 38848

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17413
/proc/meminfo: memFree=1784952/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=38844 CPUtime=582.14
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 7370 0 0 0 58111 103 0 0 25 0 1 0 11705609 39776256 7281 1992294400 134512640 137138936 4288148256 18446744073709551615 134544892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 9711 7281 192 642 0 9067 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 38844

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17415
/proc/meminfo: memFree=1784952/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=38836 CPUtime=642.13
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 7370 0 0 0 64101 112 0 0 25 0 1 0 11705609 39768064 7281 1992294400 134512640 137138936 4288148256 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 9709 7281 192 642 0 9065 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 38836

[startup+702.3 s]

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

/proc/meminfo: memFree=1780488/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=42852 CPUtime=1122
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8378 0 0 0 112013 187 0 0 25 0 1 0 11705609 43880448 8289 1992294400 134512640 137138936 4288148256 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 10713 8289 192 642 0 10069 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 42852

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17429
/proc/meminfo: memFree=1779248/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=44000 CPUtime=1181.98
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8661 0 0 0 118001 197 0 0 25 0 1 0 11705609 45056000 8572 1992294400 134512640 137138936 4288148256 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 11000 8572 192 642 0 10356 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 44000

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17431
/proc/meminfo: memFree=1779124/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=44000 CPUtime=1241.97
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8661 0 0 0 123989 208 0 0 25 0 1 0 11705609 45056000 8572 1992294400 134512640 137138936 4288148256 18446744073709551615 134618183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 11000 8572 192 642 0 10356 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 44000

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17433
/proc/meminfo: memFree=1779124/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=44000 CPUtime=1301.96
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8661 0 0 0 129979 217 0 0 25 0 1 0 11705609 45056000 8572 1992294400 134512640 137138936 4288148256 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 11000 8572 192 642 0 10356 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 44000

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17433
/proc/meminfo: memFree=1779124/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=43980 CPUtime=1361.93
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8661 0 0 0 135966 227 0 0 25 0 1 0 11705609 45035520 8571 1992294400 134512640 137138936 4288148256 18446744073709551615 136505797 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 10995 8571 192 642 0 10351 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 43980

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17435
/proc/meminfo: memFree=1779124/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=43980 CPUtime=1421.92
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8661 0 0 0 141955 237 0 0 25 0 1 0 11705609 45035520 8571 1992294400 134512640 137138936 4288148256 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 10995 8571 192 642 0 10351 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 43980

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17437
/proc/meminfo: memFree=1778752/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=44300 CPUtime=1481.9
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 147941 249 0 0 25 0 1 0 11705609 45363200 8651 1992294400 134512640 137138936 4288148256 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 11075 8651 192 642 0 10431 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 44300

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17439
/proc/meminfo: memFree=1778752/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=44300 CPUtime=1541.89
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 153928 261 0 0 25 0 1 0 11705609 45363200 8651 1992294400 134512640 137138936 4288148256 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 11075 8651 192 642 0 10431 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 44300

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17441
/proc/meminfo: memFree=1778752/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=44300 CPUtime=1601.87
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 159915 272 0 0 25 0 1 0 11705609 45363200 8651 1992294400 134512640 137138936 4288148256 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 11075 8651 192 642 0 10431 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 44300

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17441
/proc/meminfo: memFree=1778752/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=44300 CPUtime=1661.85
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 165902 283 0 0 25 0 1 0 11705609 45363200 8651 1992294400 134512640 137138936 4288148256 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 11075 8651 192 642 0 10431 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 44300

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17443
/proc/meminfo: memFree=1778752/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=44296 CPUtime=1721.84
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 171890 294 0 0 25 0 1 0 11705609 45359104 8650 1992294400 134512640 137138936 4288148256 18446744073709551615 136500163 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 11074 8650 192 642 0 10430 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 44296

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17445
/proc/meminfo: memFree=1778380/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=44296 CPUtime=1781.82
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 177879 303 0 0 25 0 1 0 11705609 45359104 8650 1992294400 134512640 137138936 4288148256 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 11074 8650 192 642 0 10430 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 44296

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 17445
/proc/meminfo: memFree=1778380/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=44296 CPUtime=1791.43
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 178839 304 0 0 25 0 1 0 11705609 45359104 8650 1992294400 134512640 137138936 4288148256 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 11074 8650 192 642 0 10430 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 44296

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17445
/proc/meminfo: memFree=1778380/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=44296 CPUtime=1794.62
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 179157 305 0 0 25 0 1 0 11705609 45359104 8650 1992294400 134512640 137138936 4288148256 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 11074 8650 192 642 0 10430 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 44296

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17445
/proc/meminfo: memFree=1778380/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=44292 CPUtime=1796.22
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 179317 305 0 0 25 0 1 0 11705609 45355008 8649 1992294400 134512640 137138936 4288148256 18446744073709551615 134577137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 11073 8649 192 642 0 10429 0
Current children cumulated CPU time (s) 1796.22
Current children cumulated vsize (KiB) 44292

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17447
/proc/meminfo: memFree=1778008/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=44292 CPUtime=1797.02
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 179397 305 0 0 25 0 1 0 11705609 45355008 8649 1992294400 134512640 137138936 4288148256 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 11073 8649 192 642 0 10429 0
Current children cumulated CPU time (s) 1797.02
Current children cumulated vsize (KiB) 44292

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17447
/proc/meminfo: memFree=1778008/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=44292 CPUtime=1797.42
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 179437 305 0 0 25 0 1 0 11705609 45355008 8649 1992294400 134512640 137138936 4288148256 18446744073709551615 136504614 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 11073 8649 192 642 0 10429 0
Current children cumulated CPU time (s) 1797.42
Current children cumulated vsize (KiB) 44292

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 17447
/proc/meminfo: memFree=1778008/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=44292 CPUtime=1797.82
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 179477 305 0 0 25 0 1 0 11705609 45355008 8649 1992294400 134512640 137138936 4288148256 18446744073709551615 136504091 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 11073 8649 192 642 0 10429 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 44292

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 3/108 17448
/proc/meminfo: memFree=1776388/2059040 swapFree=4140124/4192956
[pid=17396] ppid=17394 vsize=44292 CPUtime=1797.92
/proc/17396/stat : 17396 (bsolo_pb10) R 17394 17396 16765 0 -1 4202496 8742 0 0 0 179487 305 0 0 25 0 1 0 11705609 45355008 8649 1992294400 134512640 137138936 4288148256 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/17396/statm: 11073 8649 192 642 0 10429 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 44292

Child status: 0
Real time (s): 1798.48
CPU time (s): 1798
CPU user time (s): 1794.94
CPU system time (s): 3.06053
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 44308

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

runsolver used 3.02254 second user time and 8.43472 second system time

The end

Launcher Data 

Begin job on node042 at 2010-06-16 18:02:11
IDJOB=2670669
IDBENCH=48051
IDSOLVER=1162
FILE ID=node042/2670669-1276704131
PBS_JOBID= 11174101
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=103-P1=127-P2=263-P3=461-P4=191-P5=277-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670669-1276704131/watcher-2670669-1276704131 -o /tmp/evaluation-result-2670669-1276704131/solver-2670669-1276704131 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670669-1276704131.opb

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

MD5SUM BENCH= 773aedb43187ca11a13e2d0d2a59ebe9
RANDOM SEED=1031364808

node042.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.213
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.42
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.213
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:       1814628 kB
Buffers:         44976 kB
Cached:         119972 kB
SwapCached:       6424 kB
Active:          85552 kB
Inactive:        92540 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1814628 kB
SwapTotal:     4192956 kB
SwapFree:      4140124 kB
Dirty:            3948 kB
Writeback:           0 kB
AnonPages:       10852 kB
Mapped:          12988 kB
Slab:            44488 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183988 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-2670669-1276704131.opb

Free space on /tmp at the end= 62576 MiB
End job on node042 at 2010-06-16 18:32:10