Trace number 1879727

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 pbSAT-13 1798.06 1798.71

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_4.opb
MD5SUM3258ae2375db1ca5a9ce9d305f00baf0
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 benchmark1703.64
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)1228
Sum of products size (including duplicates)2456
Number of different products614
Sum of products size1228

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Generic Pseudo-Boolean Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1879727-1245247629.opb
0.00/0.00	c File size is 50240 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: 714 Constr: 1380 664/102/614 Lit: 5212 Watch. Lit: 4500
0.00/0.00	c Obj. Vars: 50 (7.0028 % of total variables)
0.10/0.12	c Pre-processing Time: 0.128 s
0.10/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.12	c        0    714     1380     5212    3     4500   10651      0      0 0.13
0.10/0.12	c Switching off lower bounding mode.
0.10/0.13	o -1
0.10/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.13	c        0    714     1381     5262    3     4503   10685      1      0 0.13
0.10/0.13	o -2
0.10/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.13	c        1    714     1384     5412    3     4512   10701      4      7 0.13
0.10/0.13	o -3
0.10/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.13	c        4    714     1391     5803    4     4558   10718     11     30 0.13
0.10/0.13	o -4
0.10/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.13	c        6    714     1396     6082    4     4590   10735     16     45 0.13
0.10/0.13	o -5
0.10/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.13	c       14    714     1413     6374    4     4708   10751     33    104 0.13
0.10/0.13	o -6
0.10/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.13	c       19    714     1424     6887    4     4804   10768     44    140 0.14
0.10/0.13	o -7
0.10/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.14	c       28    714     1443     7372    5     4953   10785     63    204 0.14
0.10/0.14	o -8
0.10/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.15	c       35    714     1458     7912    5     5081   10801     78    251 0.14
0.10/0.15	o -9
0.10/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.10/0.17	c      115    714     1619    14692    9     7487   10818    239    741 0.15
0.10/0.17	o -10
2.39/2.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.47	c      171    714     1732    20164   11     9630   10835    352    982 0.17
2.39/2.47	c      271    714     1930    29265   15    12307   11919    550   1284 0.21
2.39/2.47	c      522    714     2425    62707   25    21286   13111   1045   1500 0.35
2.39/2.47	c      998    714     3377   139898   41    42597   14423   1997   1189 0.84
2.39/2.47	c     1811    714     5003   267582   53    77698   15866   3623    773 2.34
2.39/2.47	o -11
102.65/102.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
102.65/102.80	c     1859    714     5100   274444   53    79703   10851   3720    751 2.47
102.65/102.80	c     1959    714     5300   290447   54    81709   11937   3920    727 2.69
102.65/102.80	c     2211    714     5804   323364   55    91545   13131   4424    688 3.21
102.65/102.80	c     2686    714     6754   403305   59   116762   14445   5374    563 4.77
102.65/102.80	c     3499    714     8380   526684   62   152281   15890   7000    459 7.62
102.65/102.80	c     4819    714    11018   741258   67   211201   17480   9638    332 14.51
102.65/102.80	c     6900    714    15180  1075917   70   303427   19229  13800    245 28.09
102.65/102.80	c    10123    714    11470   757321   66   221404   21152  10090    158 63.87
102.65/102.80	o -12
613.43/613.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
613.43/613.78	c    15015    714    21232  1562502   73   437501   10868  19852    146 102.76
613.43/613.78	c    15115    714     7015   414587   59   134037   11955   5635    124 121.19
613.43/613.78	c    15365    714     7515   451002   60   145434   13151   6135    125 122.06
613.43/613.78	c    15841    714     8461   527778   62   165020   14467   7081    127 123.91
613.43/613.78	c    16656    714    10091   613201   60   190814   15914   8711    131 127.05
613.43/613.78	c    17976    714    12729   769383   60   262464   17506  11349    129 139.22
613.43/613.78	c    20057    714    16889  1028315   60   374750   19257  15509    110 180.88
613.43/613.78	c    23280    714    13179   762757   57   326873   21183  11799     80 288.53
613.43/613.78	c    28216    714    12027   739951   61   315620   23302  10647     55 503.86
613.43/613.78	o -13
1798.04/1798.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.04/1798.70	c    31327    714    18234  1171665   64   469012   10885  16854     51 613.54
1798.04/1798.70	c    31428    714     7025   363312   51   172134   11974   5645     48 648.19
1798.04/1798.70	c    31679    714     7527   395136   52   186759   13172   6147     48 651.79
1798.04/1798.70	c    32156    714     8480   449361   52   210488   14490   7100     48 660.38
1798.04/1798.70	c    32970    714    10097   561246   55   250795   15940   8717     48 675.90
1798.04/1798.70	c    34290    714    12729   729288   57   315264   17535  11349     48 708.41
1798.04/1798.70	c    36371    714    16876  1025690   60   415928   19289  15496     47 770.25
1798.04/1798.70	c    39594    714    13125   777708   59   313170   21218  11745     44 885.71
1798.04/1798.70	c    44530    714    11990   684186   57   306134   23340  10610     40 1110.62
1798.04/1798.70	c    52037    714    14709   907754   61   361507   25675  13329     36 1410.49
1798.04/1798.70	c Resources Exceeded
1798.04/1798.70	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 -x707 -x708 -x709 -x710 -x711 -x712 x713 -x714 -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 
1798.04/1798.70	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.04/1798.70	c   41    61872   6135    71087    20947  1327130  19567     34 1798.05
1798.04/1798.70	c Objective: -13
1798.04/1798.70	s SATISFIABLE
1798.04/1798.70	c Total time: 1798.05 s

Verifier Data 

OK	-13

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879727-1245247629/watcher-1879727-1245247629 -o /tmp/evaluation-result-1879727-1245247629/solver-1879727-1245247629 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879727-1245247629.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.06 1.03 0.98 3/64 13379
/proc/meminfo: memFree=1837904/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=10760 CPUtime=0
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 192360155 11018240 242 1992294400 134512640 137136520 4294956256 18446744073709551615 134517302 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 2690 242 177 640 0 2033 0

[startup+0.104711 s]
/proc/loadavg: 1.06 1.03 0.98 3/64 13379
/proc/meminfo: memFree=1837904/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=10984 CPUtime=0.1
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 350 0 0 0 10 0 0 0 18 0 1 0 192360155 11247616 321 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 2746 321 189 640 0 2102 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10984

[startup+0.201721 s]
/proc/loadavg: 1.06 1.03 0.98 3/64 13379
/proc/meminfo: memFree=1837904/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=11504 CPUtime=0.19
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 481 0 0 0 19 0 0 0 18 0 1 0 192360155 11780096 452 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 2876 452 197 640 0 2232 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11504

[startup+0.301731 s]
/proc/loadavg: 1.06 1.03 0.98 3/64 13379
/proc/meminfo: memFree=1837904/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=12032 CPUtime=0.29
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 608 0 0 0 29 0 0 0 19 0 1 0 192360155 12320768 579 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 3008 579 197 640 0 2364 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12032

[startup+0.701775 s]
/proc/loadavg: 1.06 1.03 0.98 3/64 13379
/proc/meminfo: memFree=1837904/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=13316 CPUtime=0.69
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 952 0 0 0 69 0 0 0 23 0 1 0 192360155 13635584 923 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 3329 923 197 640 0 2685 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13316

[startup+1.50186 s]
/proc/loadavg: 1.06 1.03 0.98 2/65 13380
/proc/meminfo: memFree=1834056/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=15116 CPUtime=1.5
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 1397 0 0 0 149 1 0 0 25 0 1 0 192360155 15478784 1368 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 3779 1368 197 640 0 3135 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 15116

[startup+3.10103 s]
/proc/loadavg: 1.05 1.03 0.98 2/65 13380
/proc/meminfo: memFree=1832136/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=17320 CPUtime=3.09
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 1930 0 0 0 308 1 0 0 25 0 1 0 192360155 17735680 1901 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 4330 1901 197 640 0 3686 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17320

[startup+6.30138 s]
/proc/loadavg: 1.05 1.03 0.98 2/65 13380
/proc/meminfo: memFree=1828424/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=20432 CPUtime=6.29
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 2733 0 0 0 627 2 0 0 25 0 1 0 192360155 20922368 2704 1992294400 134512640 137136520 4294956256 18446744073709551615 134605826 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 5108 2704 197 640 0 4464 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20432

[startup+12.7011 s]
/proc/loadavg: 1.04 1.03 0.98 2/65 13380
/proc/meminfo: memFree=1823688/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=24828 CPUtime=12.69
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 3835 0 0 0 1265 4 0 0 25 0 1 0 192360155 25423872 3806 1992294400 134512640 137136520 4294956256 18446744073709551615 136502032 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 6207 3806 198 640 0 5563 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24828

[startup+25.5015 s]
/proc/loadavg: 1.04 1.03 0.98 2/65 13380
/proc/meminfo: memFree=1817032/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=31392 CPUtime=25.49
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 5465 0 0 0 2542 7 0 0 25 0 1 0 192360155 32145408 5436 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 7848 5436 198 640 0 7204 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31392

[startup+51.1013 s]
/proc/loadavg: 1.02 1.02 0.98 2/65 13380
/proc/meminfo: memFree=1807624/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=40816 CPUtime=51.07
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 7811 0 0 0 5098 9 0 0 25 0 1 0 192360155 41795584 7782 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 10204 7782 198 640 0 9560 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40816

[startup+102.302 s]
/proc/loadavg: 1.01 1.02 0.98 2/65 13380
/proc/meminfo: memFree=1805896/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=42332 CPUtime=102.25
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 8182 0 0 0 10214 11 0 0 25 0 1 0 192360155 43347968 8153 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 10583 8153 198 640 0 9939 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 42332

[startup+162.301 s]
/proc/loadavg: 1.00 1.01 0.98 2/65 13380
/proc/meminfo: memFree=1805640/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=42424 CPUtime=162.23
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 8223 0 0 0 16209 14 0 0 25 0 1 0 192360155 43442176 8194 1992294400 134512640 137136520 4294956256 18446744073709551615 134573554 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 10606 8194 198 640 0 9962 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 42424

[startup+222.306 s]
/proc/loadavg: 1.00 1.01 0.98 2/65 13380
/proc/meminfo: memFree=1805576/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=42424 CPUtime=222.2
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 8223 0 0 0 22206 14 0 0 25 0 1 0 192360155 43442176 8194 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 10606 8194 198 640 0 9962 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 42424

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1805576/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=42424 CPUtime=282.17
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 8223 0 0 0 28202 15 0 0 25 0 1 0 192360155 43442176 8194 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 10606 8194 198 640 0 9962 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 42424

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1805512/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=42424 CPUtime=342.16
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 8223 0 0 0 34200 16 0 0 25 0 1 0 192360155 43442176 8194 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 10606 8194 198 640 0 9962 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 42424

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1805448/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=42424 CPUtime=402.11
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 8223 0 0 0 40195 16 0 0 25 0 1 0 192360155 43442176 8194 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 10606 8194 198 640 0 9962 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 42424

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1802952/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=45172 CPUtime=462.1
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 8901 0 0 0 46192 18 0 0 25 0 1 0 192360155 46256128 8872 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 11293 8872 198 640 0 10649 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 45172

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1802120/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=45880 CPUtime=522.08
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9088 0 0 0 52189 19 0 0 25 0 1 0 192360155 46981120 9059 1992294400 134512640 137136520 4294956256 18446744073709551615 134544461 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 11470 9059 198 640 0 10826 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 45880

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1802056/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=45880 CPUtime=582.05
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9088 0 0 0 58186 19 0 0 25 0 1 0 192360155 46981120 9059 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 11470 9059 198 640 0 10826 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 45880

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1801992/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=45864 CPUtime=642.02
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9088 0 0 0 64183 19 0 0 25 0 1 0 192360155 46964736 9059 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 11466 9059 198 640 0 10822 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 45864

[startup+702.301 s]

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

/proc/meminfo: memFree=1801736/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=45844 CPUtime=1121.84
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9088 0 0 0 112160 24 0 0 25 0 1 0 192360155 46944256 9059 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 11461 9059 198 640 0 10817 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 45844

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1801672/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=45844 CPUtime=1181.82
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9088 0 0 0 118157 25 0 0 25 0 1 0 192360155 46944256 9059 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 11461 9059 198 640 0 10817 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 45844

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1801480/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=45844 CPUtime=1241.8
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9088 0 0 0 124154 26 0 0 25 0 1 0 192360155 46944256 9059 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 11461 9059 198 640 0 10817 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 45844

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1801416/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=45844 CPUtime=1301.78
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9088 0 0 0 130152 26 0 0 25 0 1 0 192360155 46944256 9059 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 11461 9059 198 640 0 10817 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 45844

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1799112/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=48312 CPUtime=1361.76
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9704 0 0 0 136149 27 0 0 25 0 1 0 192360155 49471488 9675 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 12078 9675 198 640 0 11434 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 48312

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1799112/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=48312 CPUtime=1421.75
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9704 0 0 0 142147 28 0 0 25 0 1 0 192360155 49471488 9675 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 12078 9675 198 640 0 11434 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 48312

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1799048/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=48312 CPUtime=1481.74
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9704 0 0 0 148145 29 0 0 25 0 1 0 192360155 49471488 9675 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 12078 9675 198 640 0 11434 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 48312

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1799048/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=48312 CPUtime=1541.72
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9704 0 0 0 154143 29 0 0 25 0 1 0 192360155 49471488 9675 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 12078 9675 198 640 0 11434 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 48312

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1799048/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=48312 CPUtime=1601.7
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 9704 0 0 0 160140 30 0 0 25 0 1 0 192360155 49471488 9675 1992294400 134512640 137136520 4294956256 18446744073709551615 136509115 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 12078 9675 198 640 0 11434 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 48312

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1796104/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=51312 CPUtime=1661.67
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 10455 0 0 0 166137 30 0 0 25 0 1 0 192360155 52543488 10426 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 12828 10426 198 640 0 12184 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 51312

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1796040/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=51312 CPUtime=1721.66
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 10455 0 0 0 172135 31 0 0 25 0 1 0 192360155 52543488 10426 1992294400 134512640 137136520 4294956256 18446744073709551615 134544440 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 12828 10426 198 640 0 12184 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 51312

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1795848/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=51312 CPUtime=1781.64
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 10455 0 0 0 178133 31 0 0 25 0 1 0 192360155 52543488 10426 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 12828 10426 198 640 0 12184 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 51312

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

[startup+1792.01 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1795848/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=51312 CPUtime=1791.35
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 10455 0 0 0 179103 32 0 0 25 0 1 0 192360155 52543488 10426 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 12828 10426 198 640 0 12184 0
Current children cumulated CPU time (s) 1791.35
Current children cumulated vsize (KiB) 51312

[startup+1795.2 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1795848/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=51312 CPUtime=1794.55
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 10455 0 0 0 179423 32 0 0 25 0 1 0 192360155 52543488 10426 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 12828 10426 198 640 0 12184 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (KiB) 51312

[startup+1796.8 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1795848/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=51312 CPUtime=1796.14
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 10455 0 0 0 179582 32 0 0 25 0 1 0 192360155 52543488 10426 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 12828 10426 198 640 0 12184 0
Current children cumulated CPU time (s) 1796.14
Current children cumulated vsize (KiB) 51312

[startup+1797.6 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1795848/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=51312 CPUtime=1796.94
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 10455 0 0 0 179662 32 0 0 25 0 1 0 192360155 52543488 10426 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 12828 10426 198 640 0 12184 0
Current children cumulated CPU time (s) 1796.94
Current children cumulated vsize (KiB) 51312

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1795848/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=51312 CPUtime=1797.74
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 10455 0 0 0 179742 32 0 0 25 0 1 0 192360155 52543488 10426 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 12828 10426 198 640 0 12184 0
Current children cumulated CPU time (s) 1797.74
Current children cumulated vsize (KiB) 51312

[startup+1798.61 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1795848/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=51312 CPUtime=1797.95
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 10455 0 0 0 179763 32 0 0 25 0 1 0 192360155 52543488 10426 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 12828 10426 198 640 0 12184 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 51312

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 13380
/proc/meminfo: memFree=1795848/2055920 swapFree=4181928/4192956
[pid=13379] ppid=13377 vsize=51312 CPUtime=1798.04
/proc/13379/stat : 13379 (bsolo) R 13377 13379 12930 0 -1 4194304 10455 0 0 0 179772 32 0 0 25 0 1 0 192360155 52543488 10426 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 0 0 0
/proc/13379/statm: 12828 10426 198 640 0 12184 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 51312

Child status: 0
Real time (s): 1798.71
CPU time (s): 1798.06
CPU user time (s): 1797.73
CPU system time (s): 0.328949
CPU usage (%): 99.9636
Max. virtual memory (cumulated for all children) (KiB): 51312

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.73
system time used= 0.328949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10457
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= 3
involuntary context switches= 5632

runsolver used 1.49377 second user time and 5.05523 second system time

The end

Launcher Data 

Begin job on node37 at 2009-06-17 16:07:10
IDJOB=1879727
IDBENCH=48277
IDSOLVER=701
FILE ID=node37/1879727-1245247629
PBS_JOBID= 9372302
Free space on /tmp= 66168 MiB

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

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

MD5SUM BENCH= 3258ae2375db1ca5a9ce9d305f00baf0
RANDOM SEED=1637899097

node37.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.232
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.232
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:       1838512 kB
Buffers:         25432 kB
Cached:         109128 kB
SwapCached:       5044 kB
Active:          24756 kB
Inactive:       117952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1838512 kB
SwapTotal:     4192956 kB
SwapFree:      4181928 kB
Dirty:            3960 kB
Writeback:           0 kB
Mapped:          14380 kB
Slab:            60832 kB
Committed_AS:   187400 kB
PageTables:       1376 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-1879727-1245247629.opb

Free space on /tmp at the end= 66164 MiB
End job on node37 at 2009-06-17 16:37:08