Trace number 1878281

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 clSAT-9 1798.02 1798.85

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_5.opb
MD5SUM0619afe86d0e2ffb4ad28e9f2f441c24
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark1692.31
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1212
Sum of products size (including duplicates)2424
Number of different products606
Sum of products size1212

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: Clause 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-1878281-1245209885.opb
0.00/0.00	c File size is 49626 bytes.
0.00/0.00	c Highest Coefficient sum: 100
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.006 s
0.00/0.00	c Var: 706 Constr: 1364 656/102/606 Lit: 5148 Watch. Lit: 4444
0.00/0.00	c Obj. Vars: 50 (7.08215 % of total variables)
0.09/0.12	c Pre-processing Time: 0.123 s
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0    706     1364     5148    3     4444   10465      0      0 0.12
0.09/0.12	c Switching off lower bounding mode.
0.09/0.12	o -1
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0    706     1365     5198    3     4447   10498      1      0 0.12
0.09/0.12	o -2
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        3    706     1369     5415    3     4457   10515      5     24 0.12
0.09/0.13	o -3
0.30/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.30/0.36	c       60    706     1427     9238    6     4576   10531     63    454 0.13
0.30/0.36	c      160    706     1527    15975   10     4776   11585    163   1142 0.14
0.30/0.36	c      410    706     1777    35524   19     5276   12744    413   2455 0.17
0.30/0.36	c      885    706     2252    67759   30     6226   14019    888   4359 0.20
0.30/0.36	c     1698    706     3065   115489   37     7852   15421   1701   6219 0.27
0.30/0.36	o -4
4.09/4.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.09/4.19	c     2367    706     3735   167344   44     9196   10548   2371   6611 0.36
4.09/4.19	c     2468    706     3836   172427   44     9398   11603   2472   6724 0.37
4.09/4.19	c     2718    706     4086   185112   45     9898   12764   2722   7096 0.38
4.09/4.19	c     3193    706     4561   209682   45    10848   14041   3197   7731 0.41
4.09/4.19	c     4006    706     5374   266114   49    12474   15446   4010   7916 0.51
4.09/4.19	c     5326    706     6694   371866   55    15114   16991   5330   7543 0.71
4.09/4.19	c     7408    706     8776   533551   60    19278   18691   7412   6728 1.10
4.09/4.19	c    10631    706    11999   790674   65    25724   20561  10635   5299 2.01
4.09/4.19	c    15567    706    16935  1197182   70    35596   22618  15571   3873 4.02
4.09/4.19	o -7
4.40/4.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.40/4.46	c    15724    706    17093  1203154   70    35919   10598  15729   3755 4.19
4.40/4.46	c    15824    706     6764   439075   64    15251   11658   5400   3544 4.46
4.40/4.46	o -8
11.78/11.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.78/11.84	c    15824    706     6765   439125   64    15261   10615   5401   3544 4.46
11.78/11.84	c    15924    706     6865   446468   65    15461   11677   5501   3548 4.49
11.78/11.84	c    16176    706     7117   462296   64    15965   12845   5753   3568 4.53
11.78/11.84	c    16651    706     7592   490639   64    16915   14130   6228   3580 4.65
11.78/11.84	c    17464    706     8405   547849   65    18541   15544   7041   3588 4.87
11.78/11.84	c    18784    706     9725   644175   66    21181   17099   8361   3508 5.35
11.78/11.84	c    20865    706    11806   801616   67    25343   18809  10442   3409 6.12
11.78/11.84	c    24088    706    15029  1056168   70    31789   20690  13665   3275 7.36
11.78/11.84	c    29024    706    19965  1443431   72    41661   22760  18601   3223 9.00
11.78/11.84	o -9
1797.96/1798.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1798.83	c    34359    706    12679   877687   69    27091   10631  11315   2900 11.85
1797.96/1798.83	c    34459    706     6781   417662   61    15287   11695   5417   2859 12.05
1797.96/1798.83	c    34709    706     7031   434481   61    15787   12865   5667   2866 12.11
1797.96/1798.83	c    35185    706     7507   468271   62    16739   14152   6143   2883 12.20
1797.96/1798.83	c    35998    706     8320   527373   63    18365   15568   6956   2904 12.39
1797.96/1798.83	c    37318    706     9640   613840   63    21005   17125   8276   2921 12.77
1797.96/1798.83	c    39399    706    11721   762179   65    25167   18838  10357   2888 13.64
1797.96/1798.83	c    42622    706    14944   996695   66    31613   20722  13580   2839 15.01
1797.96/1798.83	c    47558    706    19880  1384175   69    41485   22795  18516   2729 17.43
1797.96/1798.83	c    55064    706    14716  1008389   68    31157   25075  13352   2397 22.97
1797.96/1798.83	c    66425    706    26077  1898773   72    53879   27583  24713   2214 30.00
1797.96/1798.83	c    83569    706    25901  1875646   72    53527   30342  24537   1919 43.54
1797.96/1798.83	c   109388    706    12461   855808   68    26647   33377  11097   1660 65.89
1797.96/1798.83	c   148220    706    28416  2057089   72    58557   36715  27052   1591 93.13
1797.96/1798.83	c   206572    706    34494  2481053   71    70713   40387  33130   1419 145.54
1797.96/1798.83	c   294204    706    33075  2471852   74    67875   44426  31711   1322 222.53
1797.96/1798.83	c   425756    706    30103  2328690   77    61931   48869  28739   1191 357.33
1797.96/1798.83	c   623188    706    37545  2749879   73    76815   53756  36181   1056 589.89
1797.96/1798.83	c   919440    706    34284  2621820   76    70293   59132  32920    936 981.90
1797.96/1798.83	c  1363922    706    46226  3426100   74    94177   65046  44862    821 1660.63
1797.96/1798.83	c Resources Exceeded
1797.96/1798.83	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 -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 -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 -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 -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 -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 -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 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 x84 -x85 -x86 x87 x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 x99 x100 
1797.96/1798.83	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.83	c   47  1435185    940  1439107    63669  4517834  62305    798 1798.00
1797.96/1798.83	c Objective: -9
1797.96/1798.83	s SATISFIABLE
1797.96/1798.83	c Total time: 1798 s

Verifier Data 

OK	-9

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878281-1245209885/watcher-1878281-1245209885 -o /tmp/evaluation-result-1878281-1245209885/solver-1878281-1245209885 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878281-1245209885.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: 0.92 0.98 0.99 3/64 6527
/proc/meminfo: memFree=1854328/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=10756 CPUtime=0
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 255 0 0 0 0 0 0 0 18 0 1 0 188589126 11014144 239 1992294400 134512640 137136520 4294956256 18446744073709551615 136455523 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 2689 239 176 640 0 2032 0

[startup+0.024742 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6527
/proc/meminfo: memFree=1854328/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=10980 CPUtime=0.02
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 348 0 0 0 2 0 0 0 18 0 1 0 188589126 11243520 319 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 2745 319 189 640 0 2101 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10980

[startup+0.101749 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6527
/proc/meminfo: memFree=1854328/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=10980 CPUtime=0.09
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 348 0 0 0 9 0 0 0 18 0 1 0 188589126 11243520 319 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 2745 319 189 640 0 2101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10980

[startup+0.301772 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6527
/proc/meminfo: memFree=1854328/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=12748 CPUtime=0.3
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 809 0 0 0 29 1 0 0 19 0 1 0 188589126 13053952 780 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 3187 780 197 640 0 2543 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 12748

[startup+0.701818 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6527
/proc/meminfo: memFree=1854328/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=16248 CPUtime=0.69
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 1666 0 0 0 68 1 0 0 23 0 1 0 188589126 16637952 1637 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 4062 1637 197 640 0 3418 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16248

[startup+1.50191 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 6528
/proc/meminfo: memFree=1846640/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=20396 CPUtime=1.49
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 2724 0 0 0 147 2 0 0 25 0 1 0 188589126 20885504 2695 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 5099 2695 197 640 0 4455 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20396

[startup+3.1011 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 6528
/proc/meminfo: memFree=1842032/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=25536 CPUtime=3.09
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 3994 0 0 0 305 4 0 0 25 0 1 0 188589126 26148864 3965 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 6384 3965 197 640 0 5740 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25536

[startup+6.30147 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 6528
/proc/meminfo: memFree=1836464/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=28040 CPUtime=6.29
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 4637 0 0 0 624 5 0 0 25 0 1 0 188589126 28712960 4608 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 7010 4608 197 640 0 6366 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28040

[startup+12.7012 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 6528
/proc/meminfo: memFree=1828080/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=36736 CPUtime=12.69
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 6802 0 0 0 1261 8 0 0 25 0 1 0 188589126 37617664 6773 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 9184 6773 197 640 0 8540 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36736

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 6528
/proc/meminfo: memFree=1828272/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=36728 CPUtime=25.49
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 6802 0 0 0 2538 11 0 0 25 0 1 0 188589126 37609472 6773 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 9182 6773 197 640 0 8538 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 36728

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 6528
/proc/meminfo: memFree=1821360/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=43884 CPUtime=51.05
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 8596 0 0 0 5087 18 0 0 25 0 1 0 188589126 44937216 8567 1992294400 134512640 137136520 4294956256 18446744073709551615 136513923 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 10971 8567 197 640 0 10327 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 43884

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 6528
/proc/meminfo: memFree=1813936/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=51372 CPUtime=102.23
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 10497 0 0 0 10196 27 0 0 25 0 1 0 188589126 52604928 10434 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 12843 10434 197 640 0 12199 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 51372

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6528
/proc/meminfo: memFree=1810672/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=54264 CPUtime=162.2
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 11302 0 0 0 16184 36 0 0 25 0 1 0 188589126 55566336 11161 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 13566 11161 197 640 0 12922 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 54264

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6528
/proc/meminfo: memFree=1808816/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=56404 CPUtime=222.17
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 11808 0 0 0 22173 44 0 0 25 0 1 0 188589126 57757696 11667 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 14101 11667 197 640 0 13457 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 56404

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6528
/proc/meminfo: memFree=1801904/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=63024 CPUtime=282.14
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 13565 0 0 0 28164 50 0 0 25 0 1 0 188589126 64536576 13335 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 15756 13335 197 640 0 15112 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 63024

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6528
/proc/meminfo: memFree=1801904/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=63024 CPUtime=342.12
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 13565 0 0 0 34151 61 0 0 25 0 1 0 188589126 64536576 13335 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 15756 13335 197 640 0 15112 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 63024

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6528
/proc/meminfo: memFree=1798768/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=66208 CPUtime=402.1
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 14401 0 0 0 40141 69 0 0 25 0 1 0 188589126 67796992 14122 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 16552 14122 197 640 0 15908 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 66208

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6528
/proc/meminfo: memFree=1798768/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=66416 CPUtime=462.08
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 14449 0 0 0 46132 76 0 0 25 0 1 0 188589126 68009984 14170 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 16604 14170 197 640 0 15960 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 66416

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6528
/proc/meminfo: memFree=1798768/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=66416 CPUtime=522.04
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 14449 0 0 0 52120 84 0 0 25 0 1 0 188589126 68009984 14170 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 16604 14170 197 640 0 15960 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 66416

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6528
/proc/meminfo: memFree=1798768/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=66416 CPUtime=582.03
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 14449 0 0 0 58111 92 0 0 25 0 1 0 188589126 68009984 14170 1992294400 134512640 137136520 4294956256 18446744073709551615 134543986 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 16604 14170 197 640 0 15960 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 66416

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6528
/proc/meminfo: memFree=1797552/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=67360 CPUtime=642
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 14760 0 0 0 64102 98 0 0 25 0 1 0 188589126 68976640 14427 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 16840 14427 197 640 0 16196 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 67360

[startup+702.302 s]

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

/proc/meminfo: memFree=1787760/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=77176 CPUtime=1121.8
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 17252 0 0 0 112030 150 0 0 25 0 1 0 188589126 79028224 16860 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 19294 16860 197 640 0 18650 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 77176

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6530
/proc/meminfo: memFree=1787440/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=77440 CPUtime=1181.77
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 17318 0 0 0 118023 154 0 0 25 0 1 0 188589126 79298560 16926 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 19360 16926 197 640 0 18716 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 77440

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6530
/proc/meminfo: memFree=1786416/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=78376 CPUtime=1241.74
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 17552 0 0 0 124013 161 0 0 25 0 1 0 188589126 80257024 17160 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 19594 17160 197 640 0 18950 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 78376

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6530
/proc/meminfo: memFree=1786352/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=78376 CPUtime=1301.71
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 17552 0 0 0 130002 169 0 0 25 0 1 0 188589126 80257024 17160 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 19594 17160 197 640 0 18950 0
Current children cumulated CPU time (s) 1301.71
Current children cumulated vsize (KiB) 78376

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6530
/proc/meminfo: memFree=1786352/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=78376 CPUtime=1361.69
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 17552 0 0 0 135993 176 0 0 25 0 1 0 188589126 80257024 17160 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 19594 17160 197 640 0 18950 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 78376

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6536
/proc/meminfo: memFree=1784936/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=79528 CPUtime=1421.67
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 17840 0 0 0 141986 181 0 0 25 0 1 0 188589126 81436672 17448 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 19882 17448 197 640 0 19238 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 79528

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6536
/proc/meminfo: memFree=1783528/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=80992 CPUtime=1481.59
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 18206 0 0 0 147972 187 0 0 25 0 1 0 188589126 82935808 17814 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 20248 17814 197 640 0 19604 0
Current children cumulated CPU time (s) 1481.59
Current children cumulated vsize (KiB) 80992

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6536
/proc/meminfo: memFree=1783528/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=80992 CPUtime=1541.58
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 18206 0 0 0 153962 196 0 0 25 0 1 0 188589126 82935808 17814 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 20248 17814 197 640 0 19604 0
Current children cumulated CPU time (s) 1541.58
Current children cumulated vsize (KiB) 80992

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6536
/proc/meminfo: memFree=1783528/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=80992 CPUtime=1601.54
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 18206 0 0 0 159951 203 0 0 25 0 1 0 188589126 82935808 17814 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 20248 17814 197 640 0 19604 0
Current children cumulated CPU time (s) 1601.54
Current children cumulated vsize (KiB) 80992

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6536
/proc/meminfo: memFree=1783528/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=80992 CPUtime=1661.51
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 18206 0 0 0 165943 208 0 0 25 0 1 0 188589126 82935808 17814 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 20248 17814 197 640 0 19604 0
Current children cumulated CPU time (s) 1661.51
Current children cumulated vsize (KiB) 80992

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6536
/proc/meminfo: memFree=1783536/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=81016 CPUtime=1721.49
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 18214 0 0 0 171936 213 0 0 25 0 1 0 188589126 82960384 17822 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 20254 17822 197 640 0 19610 0
Current children cumulated CPU time (s) 1721.49
Current children cumulated vsize (KiB) 81016

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6536
/proc/meminfo: memFree=1783408/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=81016 CPUtime=1781.47
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 18214 0 0 0 177927 220 0 0 25 0 1 0 188589126 82960384 17822 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 20254 17822 197 640 0 19610 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (KiB) 81016

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6536
/proc/meminfo: memFree=1783408/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=81016 CPUtime=1791.07
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 18214 0 0 0 178887 220 0 0 25 0 1 0 188589126 82960384 17822 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 20254 17822 197 640 0 19610 0
Current children cumulated CPU time (s) 1791.07
Current children cumulated vsize (KiB) 81016

[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6536
/proc/meminfo: memFree=1783408/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=81016 CPUtime=1794.27
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 18214 0 0 0 179206 221 0 0 25 0 1 0 188589126 82960384 17822 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 20254 17822 197 640 0 19610 0
Current children cumulated CPU time (s) 1794.27
Current children cumulated vsize (KiB) 81016

[startup+1796.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6536
/proc/meminfo: memFree=1783408/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=81016 CPUtime=1795.86
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 18214 0 0 0 179365 221 0 0 25 0 1 0 188589126 82960384 17822 1992294400 134512640 137136520 4294956256 18446744073709551615 136500562 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 20254 17822 197 640 0 19610 0
Current children cumulated CPU time (s) 1795.86
Current children cumulated vsize (KiB) 81016

[startup+1797.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6536
/proc/meminfo: memFree=1783408/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=81016 CPUtime=1796.66
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 18214 0 0 0 179445 221 0 0 25 0 1 0 188589126 82960384 17822 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 20254 17822 197 640 0 19610 0
Current children cumulated CPU time (s) 1796.66
Current children cumulated vsize (KiB) 81016

[startup+1798.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6536
/proc/meminfo: memFree=1783408/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=81016 CPUtime=1797.46
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 18214 0 0 0 179525 221 0 0 25 0 1 0 188589126 82960384 17822 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 20254 17822 197 640 0 19610 0
Current children cumulated CPU time (s) 1797.46
Current children cumulated vsize (KiB) 81016

[startup+1798.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6536
/proc/meminfo: memFree=1783408/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=81016 CPUtime=1797.86
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 18214 0 0 0 179565 221 0 0 25 0 1 0 188589126 82960384 17822 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 20254 17822 197 640 0 19610 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 81016

[startup+1798.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 6536
/proc/meminfo: memFree=1783408/2055920 swapFree=4191900/4192956
[pid=6527] ppid=6525 vsize=81016 CPUtime=1797.96
/proc/6527/stat : 6527 (bsolo) R 6525 6527 6331 0 -1 4194304 18214 0 0 0 179575 221 0 0 25 0 1 0 188589126 82960384 17822 1992294400 134512640 137136520 4294956256 18446744073709551615 134544101 0 0 4096 16384 0 0 0 17 0 0 0
/proc/6527/statm: 20254 17822 197 640 0 19610 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 81016

Child status: 0
Real time (s): 1798.85
CPU time (s): 1798.02
CPU user time (s): 1795.79
CPU system time (s): 2.22766
CPU usage (%): 99.9539
Max. virtual memory (cumulated for all children) (KiB): 81016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.79
system time used= 2.22766
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18216
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= 4
involuntary context switches= 6378

runsolver used 1.51577 second user time and 5.03323 second system time

The end

Launcher Data 

Begin job on node11 at 2009-06-17 05:38:05
IDJOB=1878281
IDBENCH=48261
IDSOLVER=700
FILE ID=node11/1878281-1245209885
PBS_JOBID= 9368368
Free space on /tmp= 66196 MiB

SOLVER NAME= bsolo 3.1 cl
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_5.opb
COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878281-1245209885/watcher-1878281-1245209885 -o /tmp/evaluation-result-1878281-1245209885/solver-1878281-1245209885 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1878281-1245209885.opb

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

MD5SUM BENCH= 0619afe86d0e2ffb4ad28e9f2f441c24
RANDOM SEED=232299573

node11.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:       1855192 kB
Buffers:         40052 kB
Cached:          90856 kB
SwapCached:        332 kB
Active:          18404 kB
Inactive:       125340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1855192 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            3952 kB
Writeback:           0 kB
Mapped:          21304 kB
Slab:            42960 kB
Committed_AS:   197920 kB
PageTables:       1452 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-1878281-1245209885.opb

Free space on /tmp at the end= 66192 MiB
End job on node11 at 2009-06-17 06:08:04