Trace number 1878189

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
bsolo 3.1 clSAT-25 1798 1798.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_2.opb
MD5SUM597624b9879736416e28e0a242fe0005
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-26
Best CPU time to get the best result obtained on this benchmark10.3274
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -26
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 constraint20
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)1260
Sum of products size (including duplicates)2520
Number of different products630
Sum of products size1260

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1878189-1245198693.opb
0.00/0.00	c File size is 49758 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: 730 Constr: 1460 730/100/630 Lit: 6300 Watch. Lit: 4410
0.00/0.00	c Obj. Vars: 100 (13.6986 % of total variables)
0.00/0.01	c Pre-processing Time: 0.012 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      630     1890    3     1260     209      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
0.00/0.01	o -22
0.02/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.02/0.04	c        0    100      631     1990    3     1284     976      1      0 0.01
0.02/0.04	c      100    100      731     9444   12     1484    1074    101   5000 0.02
0.02/0.04	c      350    100      981    28086   28     1984    1182    351   8750 0.04
0.02/0.04	o -23
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c      384    100     1016    30728   30     2077    1009    386   8930 0.04
0.19/0.29	c      485    100     1117    38182   34     2279    1110    487   9150 0.05
0.19/0.29	c      736    100     1368    56589   41     2781    1222    738   9558 0.08
0.19/0.29	c     1211    100     1843    91387   49     3731    1345   1213   9387 0.13
0.19/0.29	c     2024    100     1304    50792   38     2631    1480    674   7609 0.27
0.19/0.29	o -24
852.85/853.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
852.85/853.19	c     2229    100     1510    65957   43     3067    1043    880   7739 0.29
852.85/853.19	c     2330    100     1611    73261   45     3269    1148    981   7766 0.30
852.85/853.19	c     2580    100     1861    91324   49     3769    1263   1231   7938 0.33
852.85/853.19	c     3056    100     2337   125718   53     4721    1390   1707   7856 0.39
852.85/853.19	c     3869    100     1757    83215   47     3538    1530   1127   7571 0.51
852.85/853.19	c     5189    100     1607    72269   44     3238    1684    977   7466 0.69
852.85/853.19	c     7271    100     2147   110569   51     4318    1853   1517   7093 1.02
852.85/853.19	c    10494    100     2111   108182   51     4246    2039   1481   6489 1.62
852.85/853.19	c    15431    100     1869    90712   48     3762    2243   1239   5916 2.61
852.85/853.19	c    22937    100     2088   106601   51     4200    2468   1458   5683 4.04
852.85/853.19	c    34298    100     1865    90454   48     3754    2715   1235   5328 6.44
852.85/853.19	c    51442    100     2516   137473   54     5056    2987   1886   4937 10.42
852.85/853.19	c    77261    100     4227   259870   61     8478    3286   3597   4441 17.40
852.85/853.19	c   116093    100     3204   186342   58     6432    3615   2574   4142 28.03
852.85/853.19	c   174446    100     3873   234812   60     7770    3977   3243   3775 46.21
852.85/853.19	c   262078    100     2791   156490   56     5606    4375   2161   3514 74.56
852.85/853.19	c   393630    100     4526   283401   62     9076    4813   3896   3350 117.50
852.85/853.19	c   591063    100     3354   197243   58     6732    5295   2724   3104 190.41
852.85/853.19	c   887315    100     5492   349716   63    11008    5825   4862   2820 314.56
852.85/853.19	c  1331798    100     6348   412725   65    12720    6408   5718   2592 513.69
852.85/853.19	c  1998625    100     6275   406947   64    12574    7049   5645   2343 852.88
852.85/853.19	o -25
1797.99/1798.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.99/1798.51	c  1998752    100     6403   416292   65    12855    1076   5773   2343 852.95
1797.99/1798.51	c  1998852    100     1269    47191   37     2563    1184    639   2343 853.02
1797.99/1798.51	c  1999102    100     1519    64916   42     3063    1303    889   2343 853.05
1797.99/1798.51	c  1999577    100     1994    98701   49     4013    1434   1364   2343 853.11
1797.99/1798.51	c  2000390    100     1389    55579   40     2803    1578    759   2344 853.24
1797.99/1798.51	c  2001710    100     2709   149433   55     5443    1736   2079   2345 853.42
1797.99/1798.51	c  2003791    100     1643    73722   44     3311    1910   1013   2346 853.82
1797.99/1798.51	c  2007014    100     1586    69526   43     3197    2102    956   2349 854.41
1797.99/1798.51	c  2011951    100     3028   171894   56     6081    2313   2398   2352 855.37
1797.99/1798.51	c  2019457    100     3093   176776   57     6211    2545   2463   2356 856.96
1797.99/1798.51	c  2030818    100     2617   142642   54     5259    2800   1987   2363 859.29
1797.99/1798.51	c  2047962    100     2967   167117   56     5959    3081   2337   2371 863.59
1797.99/1798.51	c  2073781    100     4145   251621   60     8315    3390   3515   2382 870.41
1797.99/1798.51	c  2112614    100     2326   122036   52     4677    3730   1696   2398 880.95
1797.99/1798.51	c  2170967    100     4283   260933   60     8591    4104   3653   2418 897.47
1797.99/1798.51	c  2258600    100     3944   236360   59     7913    4515   3314   2443 924.33
1797.99/1798.51	c  2390152    100     5548   349049   62    11121    4967   4918   2454 973.88
1797.99/1798.51	c  2587585    100     5861   371506   63    11747    5464   5231   2467 1048.51
1797.99/1798.51	c  2883837    100     3821   227492   59     7667    6011   3191   2442 1180.54
1797.99/1798.51	c  3328319    100     4328   262280   60     8681    6613   3698   2397 1388.36
1797.99/1798.51	c  3995148    100     7028   455724   64    14081    7275   6398   2296 1739.73
1797.99/1798.51	c Resources Exceeded
1797.99/1798.51	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 -x727 -x728 -x729 -x730 
1797.99/1798.51	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.51	c   50  4100109 280599  4436313     7932   520278   7302   2280 1798.00
1797.99/1798.51	c Objective: -25
1797.99/1798.51	s SATISFIABLE
1797.99/1798.51	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-1878189-1245198693/watcher-1878189-1245198693 -o /tmp/evaluation-result-1878189-1245198693/solver-1878189-1245198693 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878189-1245198693.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8020
/proc/meminfo: memFree=1850672/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=10756 CPUtime=0
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 255 0 0 0 0 0 0 0 18 0 1 0 187466324 11014144 239 1992294400 134512640 137136520 4294956256 18446744073709551615 136509034 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 2689 239 175 640 0 2032 0

[startup+0.032751 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8020
/proc/meminfo: memFree=1850672/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=11228 CPUtime=0.02
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 404 0 0 0 2 0 0 0 18 0 1 0 187466324 11497472 375 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 2807 375 197 640 0 2163 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11228

[startup+0.101757 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8020
/proc/meminfo: memFree=1850672/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=11848 CPUtime=0.09
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 569 0 0 0 9 0 0 0 18 0 1 0 187466324 12132352 540 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 2962 540 197 640 0 2318 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11848

[startup+0.301777 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8020
/proc/meminfo: memFree=1850672/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=12984 CPUtime=0.29
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 847 0 0 0 29 0 0 0 19 0 1 0 187466324 13295616 818 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 3246 818 197 640 0 2602 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12984

[startup+0.701818 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 8020
/proc/meminfo: memFree=1850672/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=13108 CPUtime=0.69
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 895 0 0 0 68 1 0 0 22 0 1 0 187466324 13422592 866 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 3277 866 197 640 0 2633 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13108

[startup+1.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8021
/proc/meminfo: memFree=1847848/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=13484 CPUtime=1.49
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 975 0 0 0 148 1 0 0 25 0 1 0 187466324 13807616 946 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 3371 946 197 640 0 2727 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13484

[startup+3.10106 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8021
/proc/meminfo: memFree=1847336/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=13860 CPUtime=3.09
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 1075 0 0 0 307 2 0 0 25 0 1 0 187466324 14192640 1046 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 3465 1046 197 640 0 2821 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13860

[startup+6.30139 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8021
/proc/meminfo: memFree=1846704/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=14108 CPUtime=6.29
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 1140 0 0 0 625 4 0 0 25 0 1 0 187466324 14446592 1111 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 3527 1111 197 640 0 2883 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14108

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8021
/proc/meminfo: memFree=1846128/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=14608 CPUtime=12.68
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 1271 0 0 0 1262 6 0 0 25 0 1 0 187466324 14958592 1242 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 3652 1242 197 640 0 3008 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14608

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8021
/proc/meminfo: memFree=1845808/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=14980 CPUtime=25.48
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 1351 0 0 0 2538 10 0 0 25 0 1 0 187466324 15339520 1322 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 3745 1322 197 640 0 3101 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14980

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8021
/proc/meminfo: memFree=1845168/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=15588 CPUtime=51.07
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 1524 0 0 0 5089 18 0 0 25 0 1 0 187466324 15962112 1495 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 3897 1495 197 640 0 3253 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 15588

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8021
/proc/meminfo: memFree=1844784/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=16072 CPUtime=102.26
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 1633 0 0 0 10193 33 0 0 25 0 1 0 187466324 16457728 1604 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4018 1604 197 640 0 3374 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 16072

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8021
/proc/meminfo: memFree=1844336/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=16572 CPUtime=162.24
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 1748 0 0 0 16171 53 0 0 25 0 1 0 187466324 16969728 1719 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4143 1719 197 640 0 3499 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 16572

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8021
/proc/meminfo: memFree=1843824/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=17064 CPUtime=222.23
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 1872 0 0 0 22152 71 0 0 25 0 1 0 187466324 17473536 1843 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4266 1843 197 640 0 3622 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 17064

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8021
/proc/meminfo: memFree=1843760/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=17060 CPUtime=282.21
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 1873 0 0 0 28134 87 0 0 25 0 1 0 187466324 17469440 1844 1992294400 134512640 137136520 4294956256 18446744073709551615 134543869 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4265 1844 197 640 0 3621 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 17060

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8021
/proc/meminfo: memFree=1843248/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=17564 CPUtime=342.19
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2011 0 0 0 34117 102 0 0 25 0 1 0 187466324 17985536 1982 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4391 1982 197 640 0 3747 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 17564

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8021
/proc/meminfo: memFree=1843184/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=17564 CPUtime=402.18
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2013 0 0 0 40102 116 0 0 25 0 1 0 187466324 17985536 1984 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4391 1984 197 640 0 3747 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 17564

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8021
/proc/meminfo: memFree=1843184/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=17564 CPUtime=462.16
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2013 0 0 0 46085 131 0 0 25 0 1 0 187466324 17985536 1984 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4391 1984 197 640 0 3747 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 17564

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8021
/proc/meminfo: memFree=1842608/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=18188 CPUtime=522.14
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2156 0 0 0 52070 144 0 0 25 0 1 0 187466324 18624512 2127 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4547 2127 197 640 0 3903 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 18188

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8021
/proc/meminfo: memFree=1842544/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=18188 CPUtime=582.13
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2163 0 0 0 58053 160 0 0 25 0 1 0 187466324 18624512 2134 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4547 2134 197 640 0 3903 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 18188

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8021
/proc/meminfo: memFree=1842480/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=18188 CPUtime=642.11
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2163 0 0 0 64037 174 0 0 25 0 1 0 187466324 18624512 2134 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4547 2134 197 640 0 3903 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 18188

[startup+702.301 s]

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

/proc/meminfo: memFree=1842544/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=17872 CPUtime=1061.99
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2165 0 0 0 105911 288 0 0 25 0 1 0 187466324 18300928 2066 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4468 2066 197 640 0 3824 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 17872

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8021
/proc/meminfo: memFree=1842608/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=17820 CPUtime=1121.97
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2165 0 0 0 111895 302 0 0 25 0 1 0 187466324 18247680 2053 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4455 2053 197 640 0 3811 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 17820

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8021
/proc/meminfo: memFree=1842608/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=17820 CPUtime=1181.96
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2165 0 0 0 117874 322 0 0 25 0 1 0 187466324 18247680 2053 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4455 2053 197 640 0 3811 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 17820

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8021
/proc/meminfo: memFree=1842544/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=17820 CPUtime=1241.94
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2165 0 0 0 123856 338 0 0 25 0 1 0 187466324 18247680 2053 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4455 2053 197 640 0 3811 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 17820

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8023
/proc/meminfo: memFree=1842480/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=17820 CPUtime=1301.93
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2165 0 0 0 129842 351 0 0 25 0 1 0 187466324 18247680 2053 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4455 2053 197 640 0 3811 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 17820

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8023
/proc/meminfo: memFree=1842480/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=17820 CPUtime=1361.9
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2165 0 0 0 135824 366 0 0 25 0 1 0 187466324 18247680 2053 1992294400 134512640 137136520 4294956256 18446744073709551615 136500521 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4455 2053 197 640 0 3811 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 17820

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8023
/proc/meminfo: memFree=1842160/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=18304 CPUtime=1421.89
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2269 0 0 0 141811 378 0 0 25 0 1 0 187466324 18743296 2157 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4576 2157 197 640 0 3932 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 18304

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8023
/proc/meminfo: memFree=1842096/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=18304 CPUtime=1481.87
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2273 0 0 0 147795 392 0 0 25 0 1 0 187466324 18743296 2161 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4576 2161 197 640 0 3932 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 18304

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8023
/proc/meminfo: memFree=1842096/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=18304 CPUtime=1541.86
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2273 0 0 0 153780 406 0 0 25 0 1 0 187466324 18743296 2161 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4576 2161 197 640 0 3932 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 18304

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8023
/proc/meminfo: memFree=1842032/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=18304 CPUtime=1601.84
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2274 0 0 0 159761 423 0 0 25 0 1 0 187466324 18743296 2162 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4576 2162 197 640 0 3932 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 18304

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8023
/proc/meminfo: memFree=1842096/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=18304 CPUtime=1661.82
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2275 0 0 0 165745 437 0 0 25 0 1 0 187466324 18743296 2163 1992294400 134512640 137136520 4294956256 18446744073709551615 134543881 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4576 2163 197 640 0 3932 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 18304

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8023
/proc/meminfo: memFree=1842032/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=18304 CPUtime=1721.8
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2275 0 0 0 171728 452 0 0 25 0 1 0 187466324 18743296 2163 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4576 2163 197 640 0 3932 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 18304

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8029
/proc/meminfo: memFree=1841128/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=19016 CPUtime=1781.79
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2446 0 0 0 177712 467 0 0 25 0 1 0 187466324 19472384 2334 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4754 2334 197 640 0 4110 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 19016

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8029
/proc/meminfo: memFree=1841128/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=19016 CPUtime=1791.38
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2446 0 0 0 178670 468 0 0 25 0 1 0 187466324 19472384 2334 1992294400 134512640 137136520 4294956256 18446744073709551615 136499605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4754 2334 197 640 0 4110 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (KiB) 19016

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8029
/proc/meminfo: memFree=1841128/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=19016 CPUtime=1794.58
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2446 0 0 0 178989 469 0 0 25 0 1 0 187466324 19472384 2334 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4754 2334 197 640 0 4110 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (KiB) 19016

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8029
/proc/meminfo: memFree=1841128/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=19016 CPUtime=1796.18
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2446 0 0 0 179149 469 0 0 25 0 1 0 187466324 19472384 2334 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4754 2334 197 640 0 4110 0
Current children cumulated CPU time (s) 1796.18
Current children cumulated vsize (KiB) 19016

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8029
/proc/meminfo: memFree=1841128/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=19016 CPUtime=1796.97
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2446 0 0 0 179228 469 0 0 25 0 1 0 187466324 19472384 2334 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4754 2334 197 640 0 4110 0
Current children cumulated CPU time (s) 1796.97
Current children cumulated vsize (KiB) 19016

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8029
/proc/meminfo: memFree=1841128/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=19016 CPUtime=1797.78
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2446 0 0 0 179308 470 0 0 25 0 1 0 187466324 19472384 2334 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4754 2334 197 640 0 4110 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 19016

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 8029
/proc/meminfo: memFree=1841128/2055920 swapFree=4192812/4192956
[pid=8020] ppid=8018 vsize=19016 CPUtime=1797.99
/proc/8020/stat : 8020 (bsolo) R 8018 8020 7004 0 -1 4194304 2446 0 0 0 179329 470 0 0 25 0 1 0 187466324 19472384 2334 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8020/statm: 4754 2334 197 640 0 4110 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 19016

Child status: 0
Real time (s): 1798.52
CPU time (s): 1798
CPU user time (s): 1793.3
CPU system time (s): 4.70129
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 19036

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

runsolver used 1.24681 second user time and 3.99039 second system time

The end

Launcher Data 

Begin job on node45 at 2009-06-17 02:31:33
IDJOB=1878189
IDBENCH=48169
IDSOLVER=700
FILE ID=node45/1878189-1245198693
PBS_JOBID= 9368305
Free space on /tmp= 66172 MiB

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

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

MD5SUM BENCH= 597624b9879736416e28e0a242fe0005
RANDOM SEED=56518908

node45.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.240
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.240
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:       1851152 kB
Buffers:         45564 kB
Cached:          95464 kB
SwapCached:        140 kB
Active:          87240 kB
Inactive:        67852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1851152 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3952 kB
Writeback:           0 kB
Mapped:          23756 kB
Slab:            35660 kB
Committed_AS:   183860 kB
PageTables:       1380 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-1878189-1245198693.opb

Free space on /tmp at the end= 66168 MiB
End job on node45 at 2009-06-17 03:01:32