Trace number 1876796

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 1798.9

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_4.opb
MD5SUMd0c1e6f66b584092ef8bd8f37f3a4db9
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 benchmark9.96048
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)1258
Sum of products size (including duplicates)2516
Number of different products629
Sum of products size1258

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-1876796-1245202599.opb
0.00/0.00	c File size is 49681 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: 729 Constr: 1458 729/100/629 Lit: 6290 Watch. Lit: 4403
0.00/0.00	c Obj. Vars: 100 (13.7174 % 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      629     1887    3     1258     209      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
0.00/0.01	o -21
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     1987    3     1281     942      1      0 0.01
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      631     2087    3     1305    1709      2      0 0.01
0.00/0.01	o -23
36.78/36.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.78/36.86	c        7    100      639     2715    4     1344    1742     10    538 0.01
36.78/36.86	c      108    100      740    10168   13     1546    1917    111   3857 0.03
36.78/36.86	c      359    100      991    28568   28     2048    2109    362   5279 0.07
36.78/36.86	c      834    100     1466    63428   43     2998    2320    837   5560 0.15
36.78/36.86	c     1648    100     2283   122939   53     4652    2553   1654   5299 0.31
36.78/36.86	c     2969    100     3609   219250   60     7344    2809   2980   4758 0.62
36.78/36.86	c     5050    100     3581   214332   59     7205    3090   2952   4089 1.24
36.78/36.86	c     8274    100     2318   124940   53     4659    3400   1689   3575 2.31
36.78/36.86	c    13210    100     2459   135283   55     4941    3741   1830   3299 4.00
36.78/36.86	c    20716    100     4840   309184   63     9724    4116   4211   3058 6.77
36.78/36.86	c    32078    100     5212   335276   64    10468    4528   4583   2792 11.49
36.78/36.86	c    49222    100     4611   292277   63     9245    4981   3982   2604 18.90
36.78/36.86	c    75044    100     5022   315932   62    10121    5480   4393   2378 31.55
36.78/36.86	o -24
238.69/238.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
238.69/238.83	c    86087    100     5774   371490   64    11667    1042   5145   2335 36.85
238.69/238.83	c    86187    100     1251    46233   36     2526    1147    622   2332 36.95
238.69/238.83	c    86437    100     1501    64221   42     3026    1262    872   2336 36.99
238.69/238.83	c    86913    100     1977    98687   49     3978    1389   1348   2343 37.08
238.69/238.83	c    87726    100     1404    57551   40     2832    1528    775   2354 37.26
238.69/238.83	c    89047    100     2728   153062   56     5480    1681   2099   2371 37.55
238.69/238.83	c    91128    100     1740    81750   46     3504    1850   1111   2394 38.06
238.69/238.83	c    94351    100     1714    79598   46     3452    2036   1085   2425 38.91
238.69/238.83	c    99288    100     3229   187171   57     6482    2240   2600   2469 40.21
238.69/238.83	c   106796    100     3482   203166   58     7029    2465   2853   2508 42.58
238.69/238.83	c   118157    100     3257   190596   58     6538    2712   2628   2574 45.90
238.69/238.83	c   135301    100     1986    99359   50     3996    2984   1357   2632 51.40
238.69/238.83	c   161120    100     3818   228571   59     7720    3283   3189   2658 60.62
238.69/238.83	c   199952    100     2993   168831   56     6032    3612   2364   2684 74.50
238.69/238.83	c   258304    100     3902   236738   60     7828    3974   3273   2697 95.76
238.69/238.83	c   345938    100     3308   194907   58     6640    4372   2679   2605 132.77
238.69/238.83	c   477490    100     5524   354020   64    11094    4810   4895   2535 188.31
238.69/238.83	o -25
1797.90/1798.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.90/1798.89	c   587367    100     4084   247601   60     8277    1076   3455   2460 238.73
1797.90/1798.89	c   587468    100     1269    46407   36     2563    1184    640   2460 238.78
1797.90/1798.89	c   587718    100     1519    64302   42     3063    1303    890   2460 238.82
1797.90/1798.89	c   588194    100     1998    98431   49     4021    1434   1369   2461 238.91
1797.90/1798.89	c   589007    100     1396    56355   40     2817    1578    767   2463 239.11
1797.90/1798.89	c   590327    100     2720   150643   55     5465    1736   2091   2465 239.44
1797.90/1798.89	c   592408    100     1666    75037   45     3357    1910   1037   2468 240.01
1797.90/1798.89	c   595632    100     1588    69283   43     3201    2102    959   2472 240.85
1797.90/1798.89	c   600568    100     3044   172156   56     6113    2313   2415   2478 242.28
1797.90/1798.89	c   608074    100     3149   180065   57     6323    2545   2520   2487 244.50
1797.90/1798.89	c   619435    100     2694   147180   54     5413    2800   2065   2498 247.87
1797.90/1798.89	c   636580    100     3088   175451   56     6201    3081   2459   2513 253.28
1797.90/1798.89	c   662399    100     2171   110931   51     4367    3390   1542   2530 261.77
1797.90/1798.89	c   701231    100     2800   155318   55     5625    3730   2171   2549 275.06
1797.90/1798.89	c   759583    100     2495   128797   51     5015    4104   1866   2566 295.93
1797.90/1798.89	c   847215    100     5235   327357   62    10495    4515   4606   2564 330.35
1797.90/1798.89	c   978768    100     4335   262436   60     8717    4967   3706   2526 387.37
1797.90/1798.89	c  1176201    100     5510   346590   62    11068    5464   4881   2459 478.13
1797.90/1798.89	c  1472454    100     4720   290696   61     9465    6011   4091   2363 623.08
1797.90/1798.89	c  1916936    100     6961   448863   64    13947    6613   6332   2202 870.45
1797.90/1798.89	c  2583763    100     3977   239063   60     7979    7275   3348   2048 1261.41
1797.90/1798.89	c Resources Exceeded
1797.90/1798.89	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 
1797.90/1798.89	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.90/1798.89	c   53  3442796 224480  3708011     4440   267987   3811   1914 1798.00
1797.90/1798.89	c Objective: -25
1797.90/1798.89	s SATISFIABLE
1797.90/1798.89	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-1876796-1245202599/watcher-1876796-1245202599 -o /tmp/evaluation-result-1876796-1245202599/solver-1876796-1245202599 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876796-1245202599.opb 

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5324
/proc/meminfo: memFree=1866904/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=10756 CPUtime=0
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 187857217 11014144 244 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 2689 244 176 640 0 2032 0

[startup+0.01965 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5324
/proc/meminfo: memFree=1866904/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=10980 CPUtime=0.01
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 364 0 0 0 1 0 0 0 18 0 1 0 187857217 11243520 335 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 2745 335 197 640 0 2101 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10980

[startup+0.101659 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5324
/proc/meminfo: memFree=1866904/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=11460 CPUtime=0.09
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 471 0 0 0 9 0 0 0 18 0 1 0 187857217 11735040 442 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 2865 443 197 640 0 2221 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11460

[startup+0.301677 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5324
/proc/meminfo: memFree=1866904/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=12440 CPUtime=0.29
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 735 0 0 0 29 0 0 0 19 0 1 0 187857217 12738560 706 1992294400 134512640 137136520 4294956256 18446744073709551615 134551993 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 3110 706 197 640 0 2466 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12440

[startup+0.701718 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5324
/proc/meminfo: memFree=1866904/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=14260 CPUtime=0.69
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1167 0 0 0 68 1 0 0 23 0 1 0 187857217 14602240 1138 1992294400 134512640 137136520 4294956256 18446744073709551615 136500556 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 3565 1138 197 640 0 2921 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14260

[startup+1.5028 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 5325
/proc/meminfo: memFree=1862800/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=14752 CPUtime=1.49
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1301 0 0 0 148 1 0 0 25 0 1 0 187857217 15106048 1272 1992294400 134512640 137136520 4294956256 18446744073709551615 136502340 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 3688 1272 197 640 0 3044 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14752

[startup+3.10196 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 5325
/proc/meminfo: memFree=1862480/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=15112 CPUtime=3.09
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1393 0 0 0 308 1 0 0 25 0 1 0 187857217 15474688 1364 1992294400 134512640 137136520 4294956256 18446744073709551615 136502038 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 3778 1364 198 640 0 3134 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15112

[startup+6.30128 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 5325
/proc/meminfo: memFree=1861648/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=15480 CPUtime=6.29
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1481 0 0 0 626 3 0 0 25 0 1 0 187857217 15851520 1452 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 3870 1452 198 640 0 3226 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15480

[startup+12.7019 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 5325
/proc/meminfo: memFree=1860896/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=16328 CPUtime=12.68
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1684 0 0 0 1264 4 0 0 25 0 1 0 187857217 16719872 1655 1992294400 134512640 137136520 4294956256 18446744073709551615 135982480 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4082 1655 198 640 0 3438 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 16328

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 5325
/proc/meminfo: memFree=1860512/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=16796 CPUtime=25.48
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1803 0 0 0 2540 8 0 0 25 0 1 0 187857217 17199104 1774 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4199 1774 198 640 0 3555 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16796

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 5325
/proc/meminfo: memFree=1860448/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=16608 CPUtime=51.08
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1919 0 0 0 5092 16 0 0 25 0 1 0 187857217 17006592 1751 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4152 1751 198 640 0 3508 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16608

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 5325
/proc/meminfo: memFree=1860448/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=16592 CPUtime=102.26
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1919 0 0 0 10195 31 0 0 25 0 1 0 187857217 16990208 1747 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4148 1747 198 640 0 3504 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 16592

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5325
/proc/meminfo: memFree=1860384/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=16592 CPUtime=162.22
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1919 0 0 0 16177 45 0 0 25 0 1 0 187857217 16990208 1747 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4148 1747 198 640 0 3504 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 16592

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5325
/proc/meminfo: memFree=1860448/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=16572 CPUtime=222.2
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1919 0 0 0 22162 58 0 0 25 0 1 0 187857217 16969728 1742 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4143 1742 198 640 0 3499 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 16572

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5325
/proc/meminfo: memFree=1860512/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=16444 CPUtime=282.18
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1919 0 0 0 28145 73 0 0 25 0 1 0 187857217 16838656 1710 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4111 1710 198 640 0 3467 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 16444

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5325
/proc/meminfo: memFree=1860512/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=16392 CPUtime=342.15
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1919 0 0 0 34130 85 0 0 25 0 1 0 187857217 16785408 1697 1992294400 134512640 137136520 4294956256 18446744073709551615 134544101 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4098 1697 198 640 0 3454 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 16392

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5325
/proc/meminfo: memFree=1860576/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=16556 CPUtime=402.12
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1978 0 0 0 40114 98 0 0 25 0 1 0 187857217 16953344 1737 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4139 1737 198 640 0 3495 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 16556

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5325
/proc/meminfo: memFree=1860512/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=16656 CPUtime=462.1
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 1983 0 0 0 46099 111 0 0 25 0 1 0 187857217 17055744 1742 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4164 1742 198 640 0 3520 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 16656

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5325
/proc/meminfo: memFree=1860000/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=17132 CPUtime=522.08
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2109 0 0 0 52083 125 0 0 25 0 1 0 187857217 17543168 1868 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4283 1868 198 640 0 3639 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 17132

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5325
/proc/meminfo: memFree=1860000/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=17132 CPUtime=582.05
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2110 0 0 0 58067 138 0 0 25 0 1 0 187857217 17543168 1869 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4283 1869 198 640 0 3639 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 17132

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5325
/proc/meminfo: memFree=1859488/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=17724 CPUtime=642.04
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2245 0 0 0 64054 150 0 0 25 0 1 0 187857217 18149376 2004 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4431 2004 198 640 0 3787 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 17724

[startup+702.301 s]

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

/proc/meminfo: memFree=1858592/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=18296 CPUtime=1121.8
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2409 0 0 0 111937 243 0 0 25 0 1 0 187857217 18735104 2168 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4574 2168 198 640 0 3930 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 18296

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5327
/proc/meminfo: memFree=1858592/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=18296 CPUtime=1181.78
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2409 0 0 0 117925 253 0 0 25 0 1 0 187857217 18735104 2168 1992294400 134512640 137136520 4294956256 18446744073709551615 134551578 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4574 2168 198 640 0 3930 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 18296

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5327
/proc/meminfo: memFree=1858400/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=18296 CPUtime=1241.74
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2409 0 0 0 123908 266 0 0 25 0 1 0 187857217 18735104 2168 1992294400 134512640 137136520 4294956256 18446744073709551615 136509109 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4574 2168 198 640 0 3930 0
Current children cumulated CPU time (s) 1241.74
Current children cumulated vsize (KiB) 18296

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5327
/proc/meminfo: memFree=1857888/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=19000 CPUtime=1301.72
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 129896 276 0 0 25 0 1 0 187857217 19456000 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 136509131 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4750 2333 198 640 0 4106 0
Current children cumulated CPU time (s) 1301.72
Current children cumulated vsize (KiB) 19000

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5327
/proc/meminfo: memFree=1857888/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=19000 CPUtime=1361.69
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 135881 288 0 0 25 0 1 0 187857217 19456000 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4750 2333 198 640 0 4106 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 19000

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 5327
/proc/meminfo: memFree=1857824/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=18996 CPUtime=1421.66
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 141866 300 0 0 25 0 1 0 187857217 19451904 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4749 2333 198 640 0 4105 0
Current children cumulated CPU time (s) 1421.66
Current children cumulated vsize (KiB) 18996

[startup+1482.3 s]
/proc/loadavg: 1.07 1.00 1.00 2/65 5333
/proc/meminfo: memFree=1857568/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=18996 CPUtime=1481.64
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 147852 312 0 0 25 0 1 0 187857217 19451904 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4749 2333 198 640 0 4105 0
Current children cumulated CPU time (s) 1481.64
Current children cumulated vsize (KiB) 18996

[startup+1542.3 s]
/proc/loadavg: 1.29 1.06 1.02 2/65 5821
/proc/meminfo: memFree=1769328/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=18992 CPUtime=1541.53
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 153826 327 0 0 25 0 1 0 187857217 19447808 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4748 2333 198 640 0 4104 0
Current children cumulated CPU time (s) 1541.53
Current children cumulated vsize (KiB) 18992

[startup+1602.3 s]
/proc/loadavg: 1.17 1.06 1.02 2/65 5821
/proc/meminfo: memFree=1769760/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=18976 CPUtime=1601.5
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 159813 337 0 0 25 0 1 0 187857217 19431424 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4744 2333 198 640 0 4100 0
Current children cumulated CPU time (s) 1601.5
Current children cumulated vsize (KiB) 18976

[startup+1662.3 s]
/proc/loadavg: 1.18 1.08 1.02 2/65 5821
/proc/meminfo: memFree=1769760/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=18972 CPUtime=1661.48
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 165801 347 0 0 25 0 1 0 187857217 19427328 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4743 2333 198 640 0 4099 0
Current children cumulated CPU time (s) 1661.48
Current children cumulated vsize (KiB) 18972

[startup+1722.3 s]
/proc/loadavg: 1.12 1.08 1.02 2/65 5821
/proc/meminfo: memFree=1769760/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=18972 CPUtime=1721.45
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 171789 356 0 0 25 0 1 0 187857217 19427328 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 134616816 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4743 2333 198 640 0 4099 0
Current children cumulated CPU time (s) 1721.45
Current children cumulated vsize (KiB) 18972

[startup+1782.3 s]
/proc/loadavg: 1.04 1.06 1.02 2/65 5821
/proc/meminfo: memFree=1769632/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=18960 CPUtime=1781.4
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 177774 366 0 0 25 0 1 0 187857217 19415040 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4740 2333 198 640 0 4096 0
Current children cumulated CPU time (s) 1781.4
Current children cumulated vsize (KiB) 18960

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

[startup+1791.91 s]
/proc/loadavg: 1.03 1.06 1.02 2/65 5821
/proc/meminfo: memFree=1769632/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=18960 CPUtime=1791
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 178732 368 0 0 25 0 1 0 187857217 19415040 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4740 2333 198 640 0 4096 0
Current children cumulated CPU time (s) 1791
Current children cumulated vsize (KiB) 18960

[startup+1795.1 s]
/proc/loadavg: 1.03 1.06 1.02 2/65 5821
/proc/meminfo: memFree=1769632/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=18960 CPUtime=1794.2
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 179052 368 0 0 25 0 1 0 187857217 19415040 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4740 2333 198 640 0 4096 0
Current children cumulated CPU time (s) 1794.2
Current children cumulated vsize (KiB) 18960

[startup+1796.7 s]
/proc/loadavg: 1.03 1.06 1.02 2/65 5821
/proc/meminfo: memFree=1769632/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=18960 CPUtime=1795.8
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 179211 369 0 0 25 0 1 0 187857217 19415040 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 136498184 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4740 2333 198 640 0 4096 0
Current children cumulated CPU time (s) 1795.8
Current children cumulated vsize (KiB) 18960

[startup+1797.5 s]
/proc/loadavg: 1.03 1.06 1.02 2/65 5821
/proc/meminfo: memFree=1769632/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=18960 CPUtime=1796.6
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 179291 369 0 0 25 0 1 0 187857217 19415040 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 134621773 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4740 2333 198 640 0 4096 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 18960

[startup+1798.3 s]
/proc/loadavg: 1.03 1.06 1.02 2/65 5821
/proc/meminfo: memFree=1769632/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=18960 CPUtime=1797.4
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 179371 369 0 0 25 0 1 0 187857217 19415040 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4740 2333 198 640 0 4096 0
Current children cumulated CPU time (s) 1797.4
Current children cumulated vsize (KiB) 18960

[startup+1798.7 s]
/proc/loadavg: 1.03 1.06 1.02 2/65 5821
/proc/meminfo: memFree=1769632/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=18960 CPUtime=1797.8
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 179411 369 0 0 25 0 1 0 187857217 19415040 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4740 2333 198 640 0 4096 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 18960

[startup+1798.8 s]
/proc/loadavg: 1.03 1.06 1.02 2/65 5821
/proc/meminfo: memFree=1769632/2055920 swapFree=4181368/4192956
[pid=5324] ppid=5322 vsize=18960 CPUtime=1797.9
/proc/5324/stat : 5324 (bsolo) R 5322 5324 5279 0 -1 4194304 2574 0 0 0 179421 369 0 0 25 0 1 0 187857217 19415040 2333 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5324/statm: 4740 2333 198 640 0 4096 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 18960

Child status: 0
Real time (s): 1798.9
CPU time (s): 1798
CPU user time (s): 1794.3
CPU system time (s): 3.69844
CPU usage (%): 99.9502
Max. virtual memory (cumulated for all children) (KiB): 19016

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

runsolver used 1.87571 second user time and 4.67629 second system time

The end

Launcher Data 

Begin job on node36 at 2009-06-17 03:36:39
IDJOB=1876796
IDBENCH=48206
IDSOLVER=699
FILE ID=node36/1876796-1245202599
PBS_JOBID= 9368354
Free space on /tmp= 66200 MiB

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

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

MD5SUM BENCH= d0c1e6f66b584092ef8bd8f37f3a4db9
RANDOM SEED=827385003

node36.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.230
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.230
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:       1867448 kB
Buffers:         46888 kB
Cached:          94648 kB
SwapCached:       6432 kB
Active:          84248 kB
Inactive:        66112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1867448 kB
SwapTotal:     4192956 kB
SwapFree:      4181368 kB
Dirty:            4116 kB
Writeback:           0 kB
Mapped:          13292 kB
Slab:            24176 kB
Committed_AS:   197160 kB
PageTables:       1360 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-1876796-1245202599.opb

Free space on /tmp at the end= 66196 MiB
End job on node36 at 2009-06-17 04:06:38