Trace number 1876764

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.1SAT-25 1798 1799

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_5.opb
MD5SUMa142d6d7b95394ce9dab5e7d7d075ea6
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-25
Best CPU time to get the best result obtained on this benchmark7.82081
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -25
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint10
Maximum length of a constraint18
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
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)1252
Sum of products size (including duplicates)2504
Number of different products626
Sum of products size1252

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: Cardinality Constraint 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-1876764-1245199267.opb
0.00/0.00	c File size is 49466 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: 726 Constr: 1452 726/100/626 Lit: 6260 Watch. Lit: 4382
0.00/0.00	c Obj. Vars: 100 (13.7741 % 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    100      626     1878    3     1252     208      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
0.00/0.01	o -22
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    100      627     1978    3     1276     975      1      0 0.01
0.00/0.01	o -23
0.79/0.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.85	c        6    100      634     2534    3     1313    1008      8    461 0.01
0.79/0.85	c      106    100      734     9895   13     1513    1109    108   3925 0.03
0.79/0.85	c      356    100      985    28367   28     2015    1220    359   5313 0.07
0.79/0.85	c      831    100     1460    63296   43     2965    1343    834   5614 0.15
0.79/0.85	c     1645    100     2276   123217   54     4618    1478   1650   5061 0.33
0.79/0.85	c     2965    100     2175   115237   52     4373    1626   1549   4884 0.61
0.79/0.85	o -24
1601.40/1602.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1601.40/1602.36	c     4085    100     1792    86853   48     3631    1041   1166   4783 0.85
1601.40/1602.36	c     4185    100     1892    94139   49     3831    1146   1266   4793 0.87
1601.40/1602.36	c     4435    100     2143   112303   52     4333    1261   1517   4836 0.92
1601.40/1602.36	c     4912    100     1290    49720   38     2604    1388    664   4825 1.02
1601.40/1602.36	c     5726    100     2106   108714   51     4236    1527   1480   4852 1.18
1601.40/1602.36	c     7047    100     1965    98284   50     3954    1680   1339   4771 1.48
1601.40/1602.36	c     9128    100     2518   138118   54     5060    1849   1892   4596 1.99
1601.40/1602.36	c    12352    100     2496   136438   54     5016    2034   1870   4446 2.78
1601.40/1602.36	c    17290    100     2291   120668   52     4606    2238   1665   4001 4.32
1601.40/1602.36	c    24796    100     2560   140638   54     5144    2462   1934   3888 6.38
1601.40/1602.36	c    36157    100     2390   126936   53     4804    2709   1764   3707 9.75
1601.40/1602.36	c    53302    100     3191   186027   58     6406    2980   2565   3503 15.22
1601.40/1602.36	c    79121    100     2825   160688   56     5674    3279   2199   3389 23.34
1601.40/1602.36	c   117955    100     4408   274361   62     8840    3607   3782   3128 37.70
1601.40/1602.36	c   176307    100     2970   168980   56     5964    3968   2344   3033 58.11
1601.40/1602.36	c   263940    100     5207   328194   63    10460    4365   4581   2844 92.78
1601.40/1602.36	c   395492    100     4960   305339   61     9961    4802   4334   2739 144.36
1601.40/1602.36	c   592924    100     5071   320689   63    10166    5283   4445   2563 231.28
1601.40/1602.36	c   889176    100     5754   366472   63    11573    5812   5128   2411 368.70
1601.40/1602.36	c  1333658    100     5997   373310   62    12072    6394   5371   2219 600.80
1601.40/1602.36	c  2000485    100     6487   420013   64    13018    7034   5861   2065 968.67
1601.40/1602.36	c  3000831    100     4920   307146   62     9864    7738   4294   1921 1561.76
1601.40/1602.36	o -25
1797.89/1798.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.89/1798.99	c  3061088    100     6099   391021   64    12331    1075   5473   1911 1601.47
1797.89/1798.99	c  3061188    100     1265    47292   37     2555    1183    639   1911 1601.53
1797.89/1798.99	c  3061439    100     1516    65144   42     3057    1302    890   1911 1601.58
1797.89/1798.99	c  3061915    100     1992    99017   49     4009    1433   1366   1911 1601.68
1797.89/1798.99	c  3062728    100     1394    56412   40     2813    1577    768   1911 1601.86
1797.89/1798.99	c  3064048    100     2719   150773   55     5463    1735   2093   1912 1602.12
1797.89/1798.99	c  3066129    100     1674    75764   45     3373    1909   1048   1913 1602.64
1797.89/1798.99	c  3069353    100     1602    70584   44     3229    2100    976   1914 1603.48
1797.89/1798.99	c  3074289    100     3062   173778   56     6149    2311   2436   1915 1604.80
1797.89/1798.99	c  3081795    100     3164   182484   57     6353    2543   2538   1917 1606.95
1797.89/1798.99	c  3093156    100     2758   150564   54     5541    2798   2132   1920 1610.33
1797.89/1798.99	c  3110300    100     3186   183238   57     6397    3078   2560   1925 1615.59
1797.89/1798.99	c  3136120    100     2280   118270   51     4585    3386   1654   1930 1624.28
1797.89/1798.99	c  3174953    100     3003   170104   56     6031    3725   2377   1938 1637.79
1797.89/1798.99	c  3233305    100     2769   151585   54     5563    4098   2143   1946 1660.74
1797.89/1798.99	c  3320937    100     2927   159003   54     5879    4508   2301   1960 1694.33
1797.89/1798.99	c  3452489    100     5339   335846   62    10703    4959   4713   1969 1752.72
1797.89/1798.99	c Resources Exceeded
1797.89/1798.99	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 x82 -x83 -x84 x85 -x86 -x87 x88 x89 -x90 -x91 -x92 x93 x94 -x95 -x96 x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -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 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 
1797.89/1798.99	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.89/1798.99	c   46  3552841 257303  3861817     4514   277434   3888   1975 1798.00
1797.89/1798.99	c Objective: -25
1797.89/1798.99	s SATISFIABLE
1797.89/1798.99	c Total time: 1798 s

Verifier Data 

OK	-25

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876764-1245199267/watcher-1876764-1245199267 -o /tmp/evaluation-result-1876764-1245199267/solver-1876764-1245199267 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876764-1245199267.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.93 0.95 0.98 3/64 4932
/proc/meminfo: memFree=1832872/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=10760 CPUtime=0
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 187527251 11018240 244 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 2690 245 176 640 0 2033 0

[startup+0.103681 s]
/proc/loadavg: 0.93 0.95 0.98 3/64 4932
/proc/meminfo: memFree=1832872/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=11464 CPUtime=0.09
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 479 0 0 0 9 0 0 0 18 0 1 0 187527251 11739136 450 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 2866 450 197 640 0 2222 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11464

[startup+0.201701 s]
/proc/loadavg: 0.93 0.95 0.98 3/64 4932
/proc/meminfo: memFree=1832872/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=11948 CPUtime=0.19
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 605 0 0 0 19 0 0 0 18 0 1 0 187527251 12234752 576 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 2987 576 197 640 0 2343 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11948

[startup+0.301722 s]
/proc/loadavg: 0.93 0.95 0.98 3/64 4932
/proc/meminfo: memFree=1832872/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=12436 CPUtime=0.29
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 722 0 0 0 29 0 0 0 19 0 1 0 187527251 12734464 693 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 3109 693 197 640 0 2465 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12436

[startup+0.701806 s]
/proc/loadavg: 0.93 0.95 0.98 3/64 4932
/proc/meminfo: memFree=1832872/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=13036 CPUtime=0.69
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 886 0 0 0 69 0 0 0 23 0 1 0 187527251 13348864 857 1992294400 134512640 137136520 4294956256 18446744073709551615 134606777 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 3259 857 197 640 0 2615 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13036

[startup+1.50198 s]
/proc/loadavg: 0.93 0.95 0.98 2/65 4933
/proc/meminfo: memFree=1830048/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=13276 CPUtime=1.49
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 925 0 0 0 148 1 0 0 25 0 1 0 187527251 13594624 896 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 3319 896 198 640 0 2675 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13276

[startup+3.10132 s]
/proc/loadavg: 0.93 0.95 0.98 2/65 4933
/proc/meminfo: memFree=1829728/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=13640 CPUtime=3.09
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 1025 0 0 0 307 2 0 0 25 0 1 0 187527251 13967360 996 1992294400 134512640 137136520 4294956256 18446744073709551615 136502468 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 3410 996 198 640 0 2766 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13640

[startup+6.30199 s]
/proc/loadavg: 0.93 0.96 0.98 2/65 4933
/proc/meminfo: memFree=1829344/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=13880 CPUtime=6.28
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 1077 0 0 0 625 3 0 0 25 0 1 0 187527251 14213120 1048 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 3470 1048 198 640 0 2826 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13880

[startup+12.7013 s]
/proc/loadavg: 0.94 0.96 0.98 2/65 4933
/proc/meminfo: memFree=1828832/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=14372 CPUtime=12.68
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 1198 0 0 0 1263 5 0 0 25 0 1 0 187527251 14716928 1169 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 3593 1169 198 640 0 2949 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14372

[startup+25.5011 s]
/proc/loadavg: 0.95 0.96 0.98 2/65 4933
/proc/meminfo: memFree=1828448/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=14976 CPUtime=25.48
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 1352 0 0 0 2539 9 0 0 25 0 1 0 187527251 15335424 1323 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 3744 1323 198 640 0 3100 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14976

[startup+51.1015 s]
/proc/loadavg: 0.97 0.96 0.98 2/65 4933
/proc/meminfo: memFree=1828064/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=15324 CPUtime=51.07
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 1434 0 0 0 5090 17 0 0 25 0 1 0 187527251 15691776 1405 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 3831 1405 198 640 0 3187 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 15324

[startup+102.301 s]
/proc/loadavg: 0.98 0.96 0.98 2/65 4933
/proc/meminfo: memFree=1827232/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=16044 CPUtime=102.23
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 1624 0 0 0 10195 28 0 0 25 0 1 0 187527251 16429056 1595 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4011 1595 198 640 0 3367 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 16044

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4933
/proc/meminfo: memFree=1826784/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=16532 CPUtime=162.2
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 1743 0 0 0 16176 44 0 0 25 0 1 0 187527251 16928768 1714 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4133 1714 198 640 0 3489 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 16532

[startup+222.307 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4933
/proc/meminfo: memFree=1826720/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=16532 CPUtime=222.15
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 1745 0 0 0 22158 57 0 0 25 0 1 0 187527251 16928768 1716 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4133 1716 198 640 0 3489 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 16532

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4933
/proc/meminfo: memFree=1826272/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=17020 CPUtime=282.12
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 1872 0 0 0 28142 70 0 0 25 0 1 0 187527251 17428480 1843 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4255 1843 198 640 0 3611 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 17020

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4933
/proc/meminfo: memFree=1826208/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=17020 CPUtime=342.07
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 1872 0 0 0 34125 82 0 0 25 0 1 0 187527251 17428480 1843 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4255 1843 198 640 0 3611 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 17020

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4933
/proc/meminfo: memFree=1825696/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=17512 CPUtime=402.04
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2003 0 0 0 40110 94 0 0 25 0 1 0 187527251 17932288 1974 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4378 1974 198 640 0 3734 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 17512

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4933
/proc/meminfo: memFree=1825632/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=17512 CPUtime=462.01
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2005 0 0 0 46093 108 0 0 25 0 1 0 187527251 17932288 1976 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4378 1976 198 640 0 3734 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 17512

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4933
/proc/meminfo: memFree=1825632/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=17572 CPUtime=521.98
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2008 0 0 0 52079 119 0 0 25 0 1 0 187527251 17993728 1979 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4393 1979 198 640 0 3749 0
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (KiB) 17572

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4933
/proc/meminfo: memFree=1825568/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=17572 CPUtime=581.93
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2010 0 0 0 58061 132 0 0 25 0 1 0 187527251 17993728 1981 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4393 1981 198 640 0 3749 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 17572

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 4933
/proc/meminfo: memFree=1825056/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=18168 CPUtime=641.9
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2148 0 0 0 64048 142 0 0 25 0 1 0 187527251 18604032 2119 1992294400 134512640 137136520 4294956256 18446744073709551615 134543813 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4542 2119 198 640 0 3898 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 18168

[startup+702.301 s]

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

/proc/meminfo: memFree=1824224/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=18836 CPUtime=1121.64
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2324 0 0 0 111931 233 0 0 25 0 1 0 187527251 19288064 2295 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4709 2295 198 640 0 4065 0
Current children cumulated CPU time (s) 1121.64
Current children cumulated vsize (KiB) 18836

[startup+1182.3 s]
/proc/loadavg: 1.05 1.05 1.00 2/65 4935
/proc/meminfo: memFree=1824160/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=18824 CPUtime=1181.61
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2325 0 0 0 117916 245 0 0 25 0 1 0 187527251 19275776 2296 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4706 2296 198 640 0 4062 0
Current children cumulated CPU time (s) 1181.61
Current children cumulated vsize (KiB) 18824

[startup+1242.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/65 4941
/proc/meminfo: memFree=1823968/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=18824 CPUtime=1241.58
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2325 0 0 0 123904 254 0 0 25 0 1 0 187527251 19275776 2296 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4706 2296 198 640 0 4062 0
Current children cumulated CPU time (s) 1241.58
Current children cumulated vsize (KiB) 18824

[startup+1302.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 4941
/proc/meminfo: memFree=1823968/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=18824 CPUtime=1301.55
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2325 0 0 0 129891 264 0 0 25 0 1 0 187527251 19275776 2296 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4706 2296 198 640 0 4062 0
Current children cumulated CPU time (s) 1301.55
Current children cumulated vsize (KiB) 18824

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 4941
/proc/meminfo: memFree=1823968/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=18824 CPUtime=1361.52
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2332 0 0 0 135878 274 0 0 25 0 1 0 187527251 19275776 2303 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4706 2303 198 640 0 4062 0
Current children cumulated CPU time (s) 1361.52
Current children cumulated vsize (KiB) 18824

[startup+1422.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 4941
/proc/meminfo: memFree=1823968/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=18824 CPUtime=1421.49
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2332 0 0 0 141863 286 0 0 25 0 1 0 187527251 19275776 2303 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4706 2303 198 640 0 4062 0
Current children cumulated CPU time (s) 1421.49
Current children cumulated vsize (KiB) 18824

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 4941
/proc/meminfo: memFree=1823968/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=18824 CPUtime=1481.46
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2332 0 0 0 147850 296 0 0 25 0 1 0 187527251 19275776 2303 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4706 2303 198 640 0 4062 0
Current children cumulated CPU time (s) 1481.46
Current children cumulated vsize (KiB) 18824

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4941
/proc/meminfo: memFree=1823904/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=18824 CPUtime=1541.44
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2332 0 0 0 153837 307 0 0 25 0 1 0 187527251 19275776 2303 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4706 2303 198 640 0 4062 0
Current children cumulated CPU time (s) 1541.44
Current children cumulated vsize (KiB) 18824

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4941
/proc/meminfo: memFree=1823392/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=19440 CPUtime=1601.4
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2480 0 0 0 159823 317 0 0 25 0 1 0 187527251 19906560 2451 1992294400 134512640 137136520 4294956256 18446744073709551615 134544112 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4860 2451 198 640 0 4216 0
Current children cumulated CPU time (s) 1601.4
Current children cumulated vsize (KiB) 19440

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4941
/proc/meminfo: memFree=1823392/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=19248 CPUtime=1661.36
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2480 0 0 0 165803 333 0 0 25 0 1 0 187527251 19709952 2412 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4812 2412 198 640 0 4168 0
Current children cumulated CPU time (s) 1661.36
Current children cumulated vsize (KiB) 19248

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4941
/proc/meminfo: memFree=1823392/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=19232 CPUtime=1721.33
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2480 0 0 0 171785 348 0 0 25 0 1 0 187527251 19693568 2408 1992294400 134512640 137136520 4294956256 18446744073709551615 136503529 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4808 2408 198 640 0 4164 0
Current children cumulated CPU time (s) 1721.33
Current children cumulated vsize (KiB) 19232

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4941
/proc/meminfo: memFree=1823392/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=19140 CPUtime=1781.3
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2480 0 0 0 177768 362 0 0 25 0 1 0 187527251 19599360 2385 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4785 2385 198 640 0 4141 0
Current children cumulated CPU time (s) 1781.3
Current children cumulated vsize (KiB) 19140

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

[startup+1792.01 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4941
/proc/meminfo: memFree=1823456/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=19124 CPUtime=1791
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2480 0 0 0 178737 363 0 0 25 0 1 0 187527251 19582976 2381 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4781 2381 198 640 0 4137 0
Current children cumulated CPU time (s) 1791
Current children cumulated vsize (KiB) 19124

[startup+1795.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4941
/proc/meminfo: memFree=1823456/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=19120 CPUtime=1794.21
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2480 0 0 0 179057 364 0 0 25 0 1 0 187527251 19578880 2380 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4780 2380 198 640 0 4136 0
Current children cumulated CPU time (s) 1794.21
Current children cumulated vsize (KiB) 19120

[startup+1796.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4941
/proc/meminfo: memFree=1823456/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=19120 CPUtime=1795.8
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2480 0 0 0 179216 364 0 0 25 0 1 0 187527251 19578880 2380 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4780 2380 198 640 0 4136 0
Current children cumulated CPU time (s) 1795.8
Current children cumulated vsize (KiB) 19120

[startup+1797.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4941
/proc/meminfo: memFree=1823456/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=19120 CPUtime=1796.6
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2480 0 0 0 179296 364 0 0 25 0 1 0 187527251 19578880 2380 1992294400 134512640 137136520 4294956256 18446744073709551615 136502306 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4780 2380 198 640 0 4136 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 19120

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4941
/proc/meminfo: memFree=1823456/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=19116 CPUtime=1797.4
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2480 0 0 0 179376 364 0 0 25 0 1 0 187527251 19574784 2379 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4779 2379 198 640 0 4135 0
Current children cumulated CPU time (s) 1797.4
Current children cumulated vsize (KiB) 19116

[startup+1798.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4941
/proc/meminfo: memFree=1823456/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=19116 CPUtime=1797.8
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2480 0 0 0 179416 364 0 0 25 0 1 0 187527251 19574784 2379 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4779 2379 198 640 0 4135 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 19116

[startup+1798.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4941
/proc/meminfo: memFree=1823456/2055920 swapFree=4192812/4192956
[pid=4932] ppid=4930 vsize=19116 CPUtime=1797.89
/proc/4932/stat : 4932 (bsolo) R 4930 4932 4256 0 -1 4194304 2480 0 0 0 179425 364 0 0 25 0 1 0 187527251 19574784 2379 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/4932/statm: 4779 2379 198 640 0 4135 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 19116

Child status: 0
Real time (s): 1799
CPU time (s): 1798
CPU user time (s): 1794.35
CPU system time (s): 3.64945
CPU usage (%): 99.9447
Max. virtual memory (cumulated for all children) (KiB): 19440

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

runsolver used 2.04469 second user time and 4.50432 second system time

The end

Launcher Data 

Begin job on node13 at 2009-06-17 02:41:07
IDJOB=1876764
IDBENCH=48174
IDSOLVER=699
FILE ID=node13/1876764-1245199267
PBS_JOBID= 9368308
Free space on /tmp= 66272 MiB

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

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

MD5SUM BENCH= a142d6d7b95394ce9dab5e7d7d075ea6
RANDOM SEED=1585935518

node13.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.259
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.259
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:       1833416 kB
Buffers:         44224 kB
Cached:         100812 kB
SwapCached:        144 kB
Active:          50288 kB
Inactive:       108812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1833416 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4140 kB
Writeback:           0 kB
Mapped:          23760 kB
Slab:            49416 kB
Committed_AS:   172540 kB
PageTables:       1460 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-1876764-1245199267.opb

Free space on /tmp at the end= 66268 MiB
End job on node13 at 2009-06-17 03:11:06