Trace number 2670518

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 ClSAT5 1798.02 1798.45

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=383-P1=149-P2=409-P3=307-P4=127-P5=191-P6=227-P7=281-P8=211-B.opb
MD5SUM1d88cb7e119c66203d260e6c8e2ab364
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.900862
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 variables216
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 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)648
Sum of products size (including duplicates)1296
Number of different products648
Sum of products size1296

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: Clause Learning
0.00/0.00	c Instance file HOME/instance-2670518-1276702299.opb
0.00/0.00	c File size is 48923 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.009 s
0.00/0.01	c Var: 864 Constr: 1321 648/0/673 Lit: 5535 Watch. Lit: 3386
0.00/0.01	c Obj. Vars: 9 (1.04167 % of total variables)
0.01/0.02	c Pre-processing Time: 0.018 s
0.01/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.01/0.02	c        0    864     1321     5535    4     4761    7398      0      0 0.02
0.01/0.02	c Switching off lower bounding mode.
1080.43/1080.71	c      100    864     1421    12439    8     4940    8138    100   3333 0.03
1080.43/1080.71	c      251    864     1572    26552   16     5062    8952    251   4826 0.05
1080.43/1080.71	c      477    864     1798    45670   25     5520    9848    477   5420 0.09
1080.43/1080.71	c      816    864     2137    69426   32     6195   10833    816   5913 0.14
1080.43/1080.71	c     1324    864     2645   110698   41     7221   11917   1324   5990 0.22
1080.43/1080.71	c     2087    864     3408   172991   50     8745   13109   2087   5895 0.35
1080.43/1080.71	c     3233    864     4554   265587   58    11003   14420   3233   5164 0.63
1080.43/1080.71	c     4955    864     6276   399721   63    14465   15863   4955   3750 1.32
1080.43/1080.71	c     7539    864     8860   598995   67    19633   17450   7539   2917 2.58
1080.43/1080.71	c    11418    864    12739   896541   70    27395   19196  11418   2086 5.47
1080.43/1080.71	c    17241    864    18562  1360137   73    39101   21116  17241   2246 7.68
1080.43/1080.71	c    25978    864    16354  1207285   73    34587   23228  15033   1606 16.17
1080.43/1080.71	c    39088    864    16613  1365163   82    35107   25551  15292   1350 28.94
1080.43/1080.71	c    58758    864    21145  1536214   72    44089   28107  19824   1323 44.40
1080.43/1080.71	c    88268    864    15913  1244771   78    33683   30918  14592   1105 79.85
1080.43/1080.71	c   132539    864    19543  1497097   76    40879   34010  18222   1128 117.47
1080.43/1080.71	c   198950    864    17253  1173244   68    36323   37412  15932    820 242.41
1080.43/1080.71	c   298570    864    37386  3171964   84    76583   41154  36065    767 389.03
1080.43/1080.71	c   448006    864    35304  2966322   84    72523   45270  33983    725 617.84
1080.43/1080.71	c   672164    864    19730  1385007   70    41395   49798  18409    633 1060.62
1080.43/1080.71	o 5
1797.96/1798.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1798.44	c   699596    864    47163  3773037   79    96311    7416  45842    647 1080.46
1797.96/1798.44	c   699696    834     5130   328261   63    12241    8158   3809    647 1081.31
1797.96/1798.44	c   699948    834     5382   352964   65    12639    8974   4061    647 1081.35
1797.96/1798.44	c   700423    834     5857   389530   66    13602    9872   4536    647 1081.43
1797.96/1798.44	c   701236    834     6670   452867   67    15238   10860   5349    648 1081.60
1797.96/1798.44	c   702557    834     7991   563025   70    17902   11947   6670    649 1081.89
1797.96/1798.44	c   704638    834    10072   734984   72    22075   13142   8751    650 1082.51
1797.96/1798.44	c   707861    834    13295  1008464   75    28554   14457  11974    653 1083.31
1797.96/1798.44	c   712797    824    10190   718057   70    22415   15903   8869    656 1086.12
1797.96/1798.44	c   720303    824     9522   615169   64    21036   17494   8201    660 1089.81
1797.96/1798.44	c   731664    824    12015   808894   67    26003   19244  10694    666 1097.15
1797.96/1798.44	c   748809    824    19438  1319223   67    40863   21169  18117    669 1118.67
1797.96/1798.44	c   774629    824    12623   946153   74    27110   23286  11302    675 1145.98
1797.96/1798.44	c   813462    824    12531   827090   66    26921   25615  11210    679 1196.61
1797.96/1798.44	c   871814    798    24379  1978638   81    50607   28177  23058    688 1265.83
1797.96/1798.44	c   959447    797    24376  1950243   80    50659   30995  23055    697 1374.61
1797.96/1798.44	c  1090999    797    14140  1059882   74    30123   34095  12819    671 1624.35
1797.96/1798.44	c Resources Exceeded
1797.96/1798.44	v x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 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 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 x75 -x76 -x77 -x78 -x79 x80 x81 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 x82 -x83 -x84 x85 x86 -x87 -x88 -x89 -x90 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 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 x91 -x92 x93 x94 x95 x96 x97 -x98 -x99 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 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 x100 -x101 x102 x103 x104 -x105 -x106 -x107 -x108 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 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 x109 x110 x111 -x112 -x113 -x114 -x115 -x116 -x117 x172 -x173 x174 -x175 x176 -x177 -x178 -x179 -x180 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 x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 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 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 x858 -x859 -x860 -x861 -x862 -x863 -x864 x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 
1797.96/1798.44	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.44	c   37  1202448  13089  1255068    32145  2688939  30824    668 1798.01
1797.96/1798.44	c Objective: 5
1797.96/1798.44	s SATISFIABLE
1797.96/1798.44	c Total time: 1798.01 s

Verifier Data 

OK	5

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670518-1276702299/watcher-2670518-1276702299 -o /tmp/evaluation-result-2670518-1276702299/solver-2670518-1276702299 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670518-1276702299.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.03 0.95 3/107 10597
/proc/meminfo: memFree=1748052/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=10844 CPUtime=0
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 339 0 0 0 0 0 0 0 18 0 1 0 43885668 11104256 257 1992294400 134512640 137138936 4293505024 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 2711 257 175 642 0 2055 0

[startup+0.015349 s]
/proc/loadavg: 1.00 1.03 0.95 3/107 10597
/proc/meminfo: memFree=1748052/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=11192 CPUtime=0.01
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 443 0 0 0 1 0 0 0 18 0 1 0 43885668 11460608 349 1992294400 134512640 137138936 4293505024 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 2798 349 185 642 0 2154 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11192

[startup+0.101357 s]
/proc/loadavg: 1.00 1.03 0.95 3/107 10597
/proc/meminfo: memFree=1748052/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=11688 CPUtime=0.09
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 586 0 0 0 9 0 0 0 20 0 1 0 43885668 11968512 492 1992294400 134512640 137138936 4293505024 18446744073709551615 134575658 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 2922 492 190 642 0 2278 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11688

[startup+0.301375 s]
/proc/loadavg: 1.00 1.03 0.95 3/107 10597
/proc/meminfo: memFree=1748052/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=13184 CPUtime=0.29
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 943 0 0 0 29 0 0 0 20 0 1 0 43885668 13500416 849 1992294400 134512640 137138936 4293505024 18446744073709551615 134618285 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 3296 849 190 642 0 2652 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13184

[startup+0.701411 s]
/proc/loadavg: 1.00 1.03 0.95 3/107 10597
/proc/meminfo: memFree=1748052/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=14924 CPUtime=0.69
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 1386 0 0 0 69 0 0 0 20 0 1 0 43885668 15282176 1292 1992294400 134512640 137138936 4293505024 18446744073709551615 136296998 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 3731 1292 190 642 0 3087 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14924

[startup+1.50148 s]
/proc/loadavg: 1.00 1.03 0.95 2/108 10598
/proc/meminfo: memFree=1742960/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=17164 CPUtime=1.49
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 1949 0 0 0 148 1 0 0 23 0 1 0 43885668 17575936 1855 1992294400 134512640 137138936 4293505024 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 4291 1855 190 642 0 3647 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17164

[startup+3.10063 s]
/proc/loadavg: 1.00 1.03 0.95 2/108 10598
/proc/meminfo: memFree=1739984/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=20612 CPUtime=3.09
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 2807 0 0 0 307 2 0 0 25 0 1 0 43885668 21106688 2713 1992294400 134512640 137138936 4293505024 18446744073709551615 136297616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 5153 2713 190 642 0 4509 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20612

[startup+6.30091 s]
/proc/loadavg: 1.00 1.03 0.95 2/108 10598
/proc/meminfo: memFree=1734652/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=26540 CPUtime=6.29
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 4292 0 0 0 624 5 0 0 25 0 1 0 43885668 27176960 4198 1992294400 134512640 137138936 4293505024 18446744073709551615 134542053 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 6635 4198 190 642 0 5991 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26540

[startup+12.7005 s]
/proc/loadavg: 1.00 1.02 0.95 2/108 10600
/proc/meminfo: memFree=1723624/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=35048 CPUtime=12.68
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 6411 0 0 0 1261 7 0 0 25 0 1 0 43885668 35889152 6317 1992294400 134512640 137138936 4293505024 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 8762 6317 190 642 0 8118 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 35048

[startup+25.5016 s]
/proc/loadavg: 1.00 1.02 0.95 2/108 10600
/proc/meminfo: memFree=1719780/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=38520 CPUtime=25.48
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 7290 0 0 0 2537 11 0 0 25 0 1 0 43885668 39444480 7196 1992294400 134512640 137138936 4293505024 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 9630 7196 190 642 0 8986 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38520

[startup+51.1009 s]
/proc/loadavg: 1.06 1.04 0.96 2/108 10600
/proc/meminfo: memFree=1715812/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=42296 CPUtime=51.08
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 8237 0 0 0 5087 21 0 0 25 0 1 0 43885668 43311104 8143 1992294400 134512640 137138936 4293505024 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 10574 8143 190 642 0 9930 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 42296

[startup+102.309 s]
/proc/loadavg: 1.08 1.04 0.96 2/108 10602
/proc/meminfo: memFree=1709364/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=48752 CPUtime=102.27
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 9856 0 0 0 10193 34 0 0 25 0 1 0 43885668 49922048 9762 1992294400 134512640 137138936 4293505024 18446744073709551615 134542909 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 12188 9762 190 642 0 11544 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 48752

[startup+162.301 s]
/proc/loadavg: 1.08 1.05 0.97 2/108 10604
/proc/meminfo: memFree=1708744/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=49168 CPUtime=162.25
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 10028 0 0 0 16177 48 0 0 25 0 1 0 43885668 50348032 9851 1992294400 134512640 137138936 4293505024 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 12292 9851 190 642 0 11648 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49168

[startup+222.301 s]
/proc/loadavg: 1.08 1.05 0.97 2/108 10604
/proc/meminfo: memFree=1708620/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=49360 CPUtime=222.23
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 10060 0 0 0 22165 58 0 0 25 0 1 0 43885668 50544640 9883 1992294400 134512640 137138936 4293505024 18446744073709551615 134542243 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 12340 9883 190 642 0 11696 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 49360

[startup+282.302 s]
/proc/loadavg: 1.11 1.07 0.98 2/108 10606
/proc/meminfo: memFree=1703040/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=54796 CPUtime=282.22
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 11485 0 0 0 28148 74 0 0 25 0 1 0 43885668 56111104 11270 1992294400 134512640 137138936 4293505024 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 13699 11270 190 642 0 13055 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 54796

[startup+342.301 s]
/proc/loadavg: 1.04 1.05 0.98 2/108 10608
/proc/meminfo: memFree=1697708/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=60340 CPUtime=342.21
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 12843 0 0 0 34136 85 0 0 25 0 1 0 43885668 61788160 12628 1992294400 134512640 137138936 4293505024 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 15085 12628 190 642 0 14441 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 60340

[startup+402.301 s]
/proc/loadavg: 1.09 1.06 0.99 3/109 10613
/proc/meminfo: memFree=1672280/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=62996 CPUtime=402.19
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 13560 0 0 0 40122 97 0 0 25 0 1 0 43885668 64507904 13304 1992294400 134512640 137138936 4293505024 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 15749 13304 190 642 0 15105 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 62996

[startup+462.302 s]
/proc/loadavg: 1.03 1.05 0.99 2/108 10615
/proc/meminfo: memFree=1694236/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=62644 CPUtime=462.18
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 13598 0 0 0 46106 112 0 0 25 0 1 0 43885668 64147456 13236 1992294400 134512640 137138936 4293505024 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 15661 13236 190 642 0 15017 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 62644

[startup+522.301 s]
/proc/loadavg: 1.01 1.04 0.99 2/108 10615
/proc/meminfo: memFree=1694608/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=62904 CPUtime=522.17
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 13724 0 0 0 52098 119 0 0 25 0 1 0 43885668 64413696 13269 1992294400 134512640 137138936 4293505024 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 15726 13269 190 642 0 15082 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 62904

[startup+582.302 s]
/proc/loadavg: 1.00 1.03 0.99 2/108 10617
/proc/meminfo: memFree=1694608/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=62904 CPUtime=582.15
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 13724 0 0 0 58085 130 0 0 25 0 1 0 43885668 64413696 13269 1992294400 134512640 137138936 4293505024 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 15726 13269 190 642 0 15082 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 62904

[startup+642.302 s]
/proc/loadavg: 1.00 1.02 0.99 2/108 10619
/proc/meminfo: memFree=1691012/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=66400 CPUtime=642.14
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 14685 0 0 0 64072 142 0 0 25 0 1 0 43885668 67993600 14162 1992294400 134512640 137138936 4293505024 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 16600 14162 190 642 0 15956 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 66400

[startup+702.301 s]

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

/proc/meminfo: memFree=1681092/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=76152 CPUtime=1122.02
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 17136 0 0 0 111973 229 0 0 25 0 1 0 43885668 77979648 16582 1992294400 134512640 137138936 4293505024 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 19038 16582 191 642 0 18394 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 76152

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 10633
/proc/meminfo: memFree=1681216/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=75476 CPUtime=1182
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 17136 0 0 0 117956 244 0 0 25 0 1 0 43885668 77287424 16445 1992294400 134512640 137138936 4293505024 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 18869 16445 191 642 0 18225 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 75476

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 10635
/proc/meminfo: memFree=1680968/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=75476 CPUtime=1241.99
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 17136 0 0 0 123941 258 0 0 25 0 1 0 43885668 77287424 16445 1992294400 134512640 137138936 4293505024 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 18869 16445 191 642 0 18225 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 75476

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 10637
/proc/meminfo: memFree=1680844/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=75476 CPUtime=1301.99
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 17136 0 0 0 129927 272 0 0 25 0 1 0 43885668 77287424 16445 1992294400 134512640 137138936 4293505024 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 18869 16445 191 642 0 18225 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 75476

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 10639
/proc/meminfo: memFree=1680844/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=75476 CPUtime=1361.96
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 17136 0 0 0 135913 283 0 0 25 0 1 0 43885668 77287424 16445 1992294400 134512640 137138936 4293505024 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 18869 16445 191 642 0 18225 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 75476

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 10639
/proc/meminfo: memFree=1680968/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=75476 CPUtime=1421.95
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 17136 0 0 0 141898 297 0 0 25 0 1 0 43885668 77287424 16445 1992294400 134512640 137138936 4293505024 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 18869 16445 191 642 0 18225 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 75476

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.99 2/108 10641
/proc/meminfo: memFree=1680844/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=75476 CPUtime=1481.93
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 17136 0 0 0 147884 309 0 0 25 0 1 0 43885668 77287424 16445 1992294400 134512640 137138936 4293505024 18446744073709551615 134542811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 18869 16445 191 642 0 18225 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 75476

[startup+1542.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/108 10643
/proc/meminfo: memFree=1680720/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=75476 CPUtime=1541.92
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 17136 0 0 0 153872 320 0 0 25 0 1 0 43885668 77287424 16445 1992294400 134512640 137138936 4293505024 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 18869 16445 191 642 0 18225 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 75476

[startup+1602.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/108 10645
/proc/meminfo: memFree=1680720/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=75476 CPUtime=1601.9
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 17136 0 0 0 159860 330 0 0 25 0 1 0 43885668 77287424 16445 1992294400 134512640 137138936 4293505024 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 18869 16445 191 642 0 18225 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 75476

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10647
/proc/meminfo: memFree=1680720/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=75476 CPUtime=1661.88
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 17136 0 0 0 165848 340 0 0 25 0 1 0 43885668 77287424 16445 1992294400 134512640 137138936 4293505024 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 18869 16445 191 642 0 18225 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 75476

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10647
/proc/meminfo: memFree=1680720/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=75476 CPUtime=1721.88
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 17136 0 0 0 171834 354 0 0 25 0 1 0 43885668 77287424 16445 1992294400 134512640 137138936 4293505024 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 18869 16445 191 642 0 18225 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 75476

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10658
/proc/meminfo: memFree=1680348/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=75476 CPUtime=1781.85
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 17136 0 0 0 177821 364 0 0 25 0 1 0 43885668 77287424 16445 1992294400 134512640 137138936 4293505024 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 18869 16445 191 642 0 18225 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 75476

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10658
/proc/meminfo: memFree=1680348/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=75476 CPUtime=1791.46
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 17136 0 0 0 178781 365 0 0 25 0 1 0 43885668 77287424 16445 1992294400 134512640 137138936 4293505024 18446744073709551615 134542472 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 18869 16445 191 642 0 18225 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 75476

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10658
/proc/meminfo: memFree=1680348/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=75476 CPUtime=1794.66
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 17136 0 0 0 179100 366 0 0 25 0 1 0 43885668 77287424 16445 1992294400 134512640 137138936 4293505024 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 18869 16445 191 642 0 18225 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 75476

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10658
/proc/meminfo: memFree=1680348/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=75476 CPUtime=1796.25
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 17136 0 0 0 179259 366 0 0 25 0 1 0 43885668 77287424 16445 1992294400 134512640 137138936 4293505024 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 18869 16445 191 642 0 18225 0
Current children cumulated CPU time (s) 1796.25
Current children cumulated vsize (KiB) 75476

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10658
/proc/meminfo: memFree=1680348/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=75476 CPUtime=1797.05
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 17136 0 0 0 179339 366 0 0 25 0 1 0 43885668 77287424 16445 1992294400 134512640 137138936 4293505024 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 18869 16445 191 642 0 18225 0
Current children cumulated CPU time (s) 1797.05
Current children cumulated vsize (KiB) 75476

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10658
/proc/meminfo: memFree=1680348/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=75476 CPUtime=1797.45
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 17136 0 0 0 179379 366 0 0 25 0 1 0 43885668 77287424 16445 1992294400 134512640 137138936 4293505024 18446744073709551615 134542883 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 18869 16445 191 642 0 18225 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (KiB) 75476

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10658
/proc/meminfo: memFree=1680348/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=75476 CPUtime=1797.85
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 17136 0 0 0 179419 366 0 0 25 0 1 0 43885668 77287424 16445 1992294400 134512640 137138936 4293505024 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 18869 16445 191 642 0 18225 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 75476

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 10658
/proc/meminfo: memFree=1680348/2059040 swapFree=4140108/4192956
[pid=10597] ppid=10595 vsize=75476 CPUtime=1797.96
/proc/10597/stat : 10597 (bsolo_pb10) R 10595 10597 10256 0 -1 4202496 17136 0 0 0 179430 366 0 0 25 0 1 0 43885668 77287424 16445 1992294400 134512640 137138936 4293505024 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10597/statm: 18869 16445 191 642 0 18225 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 75476

Child status: 0
Real time (s): 1798.45
CPU time (s): 1798.02
CPU user time (s): 1794.34
CPU system time (s): 3.67744
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 76152

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

runsolver used 2.85556 second user time and 8.60569 second system time

The end

Launcher Data 

Begin job on node025 at 2010-06-16 17:31:39
IDJOB=2670518
IDBENCH=47975
IDSOLVER=1163
FILE ID=node025/2670518-1276702299
PBS_JOBID= 11174115
Free space on /tmp= 62580 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=383-P1=149-P2=409-P3=307-P4=127-P5=191-P6=227-P7=281-P8=211-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670518-1276702299/watcher-2670518-1276702299 -o /tmp/evaluation-result-2670518-1276702299/solver-2670518-1276702299 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2670518-1276702299.opb

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

MD5SUM BENCH= 1d88cb7e119c66203d260e6c8e2ab364
RANDOM SEED=1591883945

node025.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.242
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.48
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.242
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.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1748828 kB
Buffers:        100396 kB
Cached:         119120 kB
SwapCached:       7332 kB
Active:         102984 kB
Inactive:       131056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1748828 kB
SwapTotal:     4192956 kB
SwapFree:      4140108 kB
Dirty:            3976 kB
Writeback:           0 kB
AnonPages:       12088 kB
Mapped:          12976 kB
Slab:            54244 kB
PageTables:       4004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181932 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-2670518-1276702299.opb

Free space on /tmp at the end= 62576 MiB
End job on node025 at 2010-06-16 18:01:38