Trace number 2670979

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 CardSAT-25 1798 1798.57

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 benchmarkSAT
Best value of the objective obtained on this benchmark-25
Best CPU time to get the best result obtained on this benchmark1789.58
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.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2670979-1276713153.opb
0.00/0.00	c File size is 49681 bytes.
0.00/0.01	c Highest Coefficient sum: 100
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.008 s
0.00/0.01	c Var: 729 Constr: 1458 729/100/629 Lit: 6290 Watch. Lit: 4403
0.00/0.01	c Obj. Vars: 100 (13.7174 % of total variables)
0.00/0.01	c Pre-processing Time: 0.013 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
40.78/40.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.78/40.87	c        7    100      639     2715    4     1344    1742     10    466 0.01
40.78/40.87	c      108    100      740    10168   13     1546    1917    111   3272 0.03
40.78/40.87	c      359    100      991    28568   28     2048    2109    362   4432 0.08
40.78/40.87	c      834    100     1466    63428   43     2998    2320    837   4711 0.18
40.78/40.87	c     1648    100     2283   122939   53     4652    2553   1654   4539 0.36
40.78/40.87	c     2969    100     3609   219250   60     7344    2809   2980   4056 0.73
40.78/40.87	c     5050    100     3581   214332   59     7205    3090   2952   3499 1.44
40.78/40.87	c     8274    100     2318   124940   53     4659    3400   1689   3102 2.67
40.78/40.87	c    13210    100     2459   135283   55     4941    3741   1830   2888 4.57
40.78/40.87	c    20716    100     4840   309186   63     9724    4116   4211   2696 7.68
40.78/40.87	c    32078    100     5212   335276   64    10468    4528   4583   2481 12.93
40.78/40.87	c    49222    100     4611   292278   63     9245    4981   3982   2333 21.09
40.78/40.87	c    75044    100     5022   315932   62    10121    5480   4393   2142 35.03
40.78/40.87	o -24
779.15/779.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
779.15/779.48	c    86087    100     5774   371490   64    11667    1042   5145   2106 40.86
779.15/779.48	c    86187    100     1251    46233   36     2526    1147    622   2104 40.95
779.15/779.48	c    86437    100     1501    64221   42     3026    1262    872   2107 41.01
779.15/779.48	c    86913    100     1977    98687   49     3978    1389   1348   2114 41.11
779.15/779.48	c    87726    100     1404    57551   40     2832    1528    775   2123 41.32
779.15/779.48	c    89047    100     2728   153062   56     5480    1681   2099   2137 41.65
779.15/779.48	c    91128    100     1740    81750   46     3504    1850   1111   2156 42.25
779.15/779.48	c    94351    100     1714    79598   46     3452    2036   1085   2183 43.22
779.15/779.48	c    99288    100     3229   187171   57     6482    2240   2600   2219 44.73
779.15/779.48	c   106796    100     3482   203166   58     7029    2465   2853   2250 47.45
779.15/779.48	c   118157    100     3257   190596   58     6538    2712   2628   2304 51.28
779.15/779.48	c   135301    100     1986    99359   50     3996    2984   1357   2351 57.54
779.15/779.48	c   161120    100     3818   228571   59     7720    3283   3189   2374 67.86
779.15/779.48	c   199952    100     3030   173058   57     6084    3612   2401   2392 83.56
779.15/779.48	c   258304    100     3983   242679   60     7990    3974   3354   2392 107.98
779.15/779.48	c   345936    100     3304   192558   58     6653    4372   2675   2351 147.13
779.15/779.48	c   477488    100     2816   155009   55     5656    4810   2187   2272 210.08
779.15/779.48	c   674921    100     5561   354882   63    11168    5292   4932   2186 308.61
779.15/779.48	c   971174    100     5547   354589   63    11118    5822   4918   2065 470.08
779.15/779.48	c  1415656    100     4465   274749   61     8976    6405   3836   1961 721.66
779.15/779.48	o -25
1797.93/1798.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1798.56	c  1509007    100     4645   288723   62     9339    1076   4016   1936 779.24
1797.93/1798.56	c  1509107    100     1269    47664   37     2563    1184    640   1936 779.29
1797.93/1798.56	c  1509358    100     1520    65597   43     3065    1303    891   1936 779.35
1797.93/1798.56	c  1509834    100     1996    99597   49     4017    1434   1367   1937 779.46
1797.93/1798.56	c  1510648    100     1405    56934   40     2835    1578    776   1937 779.69
1797.93/1798.56	c  1511968    100     2728   151218   55     5481    1736   2099   1938 780.02
1797.93/1798.56	c  1514050    100     1667    74698   44     3359    1910   1038   1939 780.62
1797.93/1798.56	c  1517273    100     1586    68008   42     3197    2102    957   1941 781.65
1797.93/1798.56	c  1522210    100     3041   172389   56     6107    2313   2412   1943 783.27
1797.93/1798.56	c  1529716    100     3135   178799   57     6318    2545   2506   1946 785.74
1797.93/1798.56	c  1541077    100     2700   148427   54     5425    2800   2071   1951 789.84
1797.93/1798.56	c  1558222    100     3131   178672   57     6287    3081   2502   1957 795.88
1797.93/1798.56	c  1584041    100     2187   110421   50     4399    3390   1558   1966 805.71
1797.93/1798.56	c  1622873    100     2867   160389   55     5759    3730   2238   1975 821.35
1797.93/1798.56	c  1681225    100     2521   135394   53     5067    4104   1892   1987 845.91
1797.93/1798.56	c  1768859    100     5248   327036   62    10521    4515   4619   1991 888.20
1797.93/1798.56	c  1900411    100     4289   260974   60     8603    4967   3660   2000 949.81
1797.93/1798.56	c  2097844    100     5413   339926   62    10874    5464   4784   1987 1055.60
1797.93/1798.56	c  2394096    100     4714   289800   61     9476    6011   4085   1975 1212.05
1797.93/1798.56	c  2838579    100     6535   409409   62    13139    6613   5906   1932 1468.66
1797.93/1798.56	c Resources Exceeded
1797.93/1798.56	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.93/1798.56	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.56	c   55  3347182 214530  3599366     4950   305518   4321   1861 1798.00
1797.93/1798.56	c Objective: -25
1797.93/1798.56	s SATISFIABLE
1797.93/1798.56	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-2670979-1276713153/watcher-2670979-1276713153 -o /tmp/evaluation-result-2670979-1276713153/solver-2670979-1276713153 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670979-1276713153.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 4/106 20453
/proc/meminfo: memFree=1727664/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=10976 CPUtime=0
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 341 0 0 0 0 0 0 0 25 0 1 0 12608491 11239424 259 1992294400 134512640 137138936 4292201696 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 2744 259 175 642 0 2087 0

[startup+0.0936901 s]
/proc/loadavg: 0.92 0.98 0.99 4/106 20453
/proc/meminfo: memFree=1727664/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=11416 CPUtime=0.09
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 506 0 0 0 9 0 0 0 18 0 1 0 12608491 11689984 411 1992294400 134512640 137138936 4292201696 18446744073709551615 134550995 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 2854 411 192 642 0 2210 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11416

[startup+0.100687 s]
/proc/loadavg: 0.92 0.98 0.99 4/106 20453
/proc/meminfo: memFree=1727664/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=11416 CPUtime=0.09
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 513 0 0 0 9 0 0 0 18 0 1 0 12608491 11689984 418 1992294400 134512640 137138936 4292201696 18446744073709551615 136364664 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 2854 418 192 642 0 2210 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11416

[startup+0.300719 s]
/proc/loadavg: 0.92 0.98 0.99 4/106 20453
/proc/meminfo: memFree=1727664/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=12392 CPUtime=0.29
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 744 0 0 0 29 0 0 0 18 0 1 0 12608491 12689408 650 1992294400 134512640 137138936 4292201696 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 3098 650 192 642 0 2454 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12392

[startup+0.70077 s]
/proc/loadavg: 0.92 0.98 0.99 4/106 20453
/proc/meminfo: memFree=1727664/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=13852 CPUtime=0.69
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 1128 0 0 0 68 1 0 0 18 0 1 0 12608491 14184448 1033 1992294400 134512640 137138936 4292201696 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 3463 1033 192 642 0 2819 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13852

[startup+1.50086 s]
/proc/loadavg: 1.09 1.02 1.01 3/107 20454
/proc/meminfo: memFree=1707816/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=14592 CPUtime=1.49
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 1298 0 0 0 148 1 0 0 20 0 1 0 12608491 14942208 1203 1992294400 134512640 137138936 4292201696 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 3648 1203 192 642 0 3004 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14592

[startup+3.10105 s]
/proc/loadavg: 1.09 1.02 1.01 2/106 20454
/proc/meminfo: memFree=1742296/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=14832 CPUtime=3.09
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 1370 0 0 0 308 1 0 0 25 0 1 0 12608491 15187968 1275 1992294400 134512640 137138936 4292201696 18446744073709551615 134551448 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 3708 1275 192 642 0 3064 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14832

[startup+6.30144 s]
/proc/loadavg: 1.09 1.02 1.01 2/106 20454
/proc/meminfo: memFree=1741800/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=15556 CPUtime=6.29
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 1543 0 0 0 627 2 0 0 25 0 1 0 12608491 15929344 1448 1992294400 134512640 137138936 4292201696 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 3889 1448 192 642 0 3245 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15556

[startup+12.7012 s]
/proc/loadavg: 1.07 1.02 1.00 2/106 20454
/proc/meminfo: memFree=1741304/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=15932 CPUtime=12.69
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 1639 0 0 0 1265 4 0 0 25 0 1 0 12608491 16314368 1544 1992294400 134512640 137138936 4292201696 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 3983 1544 192 642 0 3339 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15932

[startup+25.5008 s]
/proc/loadavg: 1.06 1.01 1.00 2/106 20454
/proc/meminfo: memFree=1740684/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=16776 CPUtime=25.48
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 1864 0 0 0 2540 8 0 0 25 0 1 0 12608491 17178624 1769 1992294400 134512640 137138936 4292201696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4194 1769 192 642 0 3550 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16776

[startup+51.1009 s]
/proc/loadavg: 1.04 1.01 1.00 2/106 20456
/proc/meminfo: memFree=1740188/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=17112 CPUtime=51.07
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 1981 0 0 0 5090 17 0 0 25 0 1 0 12608491 17522688 1853 1992294400 134512640 137138936 4292201696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4278 1853 192 642 0 3634 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17112

[startup+102.308 s]
/proc/loadavg: 1.01 1.01 1.00 2/106 20456
/proc/meminfo: memFree=1740188/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=17016 CPUtime=102.27
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 1981 0 0 0 10190 37 0 0 25 0 1 0 12608491 17424384 1829 1992294400 134512640 137138936 4292201696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4254 1829 192 642 0 3610 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 17016

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20458
/proc/meminfo: memFree=1740188/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=16988 CPUtime=162.24
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 1981 0 0 0 16168 56 0 0 25 0 1 0 12608491 17395712 1822 1992294400 134512640 137138936 4292201696 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4247 1822 192 642 0 3603 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 16988

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20460
/proc/meminfo: memFree=1740188/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=16940 CPUtime=222.23
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 1981 0 0 0 22148 75 0 0 25 0 1 0 12608491 17346560 1810 1992294400 134512640 137138936 4292201696 18446744073709551615 134606970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4235 1810 192 642 0 3591 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 16940

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20462
/proc/meminfo: memFree=1740188/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=16900 CPUtime=282.2
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 1981 0 0 0 28127 93 0 0 25 0 1 0 12608491 17305600 1800 1992294400 134512640 137138936 4292201696 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4225 1800 192 642 0 3581 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 16900

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20464
/proc/meminfo: memFree=1740188/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=17108 CPUtime=342.18
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2023 0 0 0 34107 111 0 0 25 0 1 0 12608491 17518592 1835 1992294400 134512640 137138936 4292201696 18446744073709551615 134618135 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4277 1835 192 642 0 3633 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 17108

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20464
/proc/meminfo: memFree=1740188/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=17108 CPUtime=402.17
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2023 0 0 0 40087 130 0 0 25 0 1 0 12608491 17518592 1835 1992294400 134512640 137138936 4292201696 18446744073709551615 136504016 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4277 1835 192 642 0 3633 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 17108

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20466
/proc/meminfo: memFree=1740188/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=17104 CPUtime=462.15
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2024 0 0 0 46068 147 0 0 25 0 1 0 12608491 17514496 1836 1992294400 134512640 137138936 4292201696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4276 1836 192 642 0 3632 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 17104

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20468
/proc/meminfo: memFree=1739940/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=17696 CPUtime=522.13
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2162 0 0 0 52049 164 0 0 25 0 1 0 12608491 18120704 1974 1992294400 134512640 137138936 4292201696 18446744073709551615 136502663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4424 1974 192 642 0 3780 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 17696

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20470
/proc/meminfo: memFree=1739816/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=17688 CPUtime=582.11
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2166 0 0 0 58030 181 0 0 25 0 1 0 12608491 18112512 1978 1992294400 134512640 137138936 4292201696 18446744073709551615 136501718 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4422 1978 192 642 0 3778 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 17688

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20472
/proc/meminfo: memFree=1739816/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=17676 CPUtime=642.1
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2166 0 0 0 64011 199 0 0 25 0 1 0 12608491 18100224 1978 1992294400 134512640 137138936 4292201696 18446744073709551615 136500229 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4419 1978 192 642 0 3775 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 17676

[startup+702.301 s]

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

/proc/meminfo: memFree=1738948/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=18052 CPUtime=1061.96
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2311 0 0 0 105873 323 0 0 25 0 1 0 12608491 18485248 2088 1992294400 134512640 137138936 4292201696 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4513 2088 192 642 0 3869 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 18052

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20484
/proc/meminfo: memFree=1738948/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=17964 CPUtime=1121.95
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2311 0 0 0 111854 341 0 0 25 0 1 0 12608491 18395136 2066 1992294400 134512640 137138936 4292201696 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4491 2066 192 642 0 3847 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 17964

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20486
/proc/meminfo: memFree=1738948/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=17964 CPUtime=1181.93
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2311 0 0 0 117835 358 0 0 25 0 1 0 12608491 18395136 2066 1992294400 134512640 137138936 4292201696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4491 2066 192 642 0 3847 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 17964

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20488
/proc/meminfo: memFree=1738700/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=17936 CPUtime=1241.91
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2311 0 0 0 123816 375 0 0 25 0 1 0 12608491 18366464 2059 1992294400 134512640 137138936 4292201696 18446744073709551615 134543142 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4484 2059 192 642 0 3840 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 17936

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20488
/proc/meminfo: memFree=1738576/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=17920 CPUtime=1301.89
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2311 0 0 0 129796 393 0 0 25 0 1 0 12608491 18350080 2055 1992294400 134512640 137138936 4292201696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4480 2055 192 642 0 3836 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 17920

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20490
/proc/meminfo: memFree=1738576/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=17920 CPUtime=1361.87
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2311 0 0 0 135775 412 0 0 25 0 1 0 12608491 18350080 2055 1992294400 134512640 137138936 4292201696 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4480 2055 192 642 0 3836 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 17920

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20492
/proc/meminfo: memFree=1738576/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=17920 CPUtime=1421.86
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2311 0 0 0 141759 427 0 0 25 0 1 0 12608491 18350080 2055 1992294400 134512640 137138936 4292201696 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4480 2055 192 642 0 3836 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 17920

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20494
/proc/meminfo: memFree=1738576/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=18388 CPUtime=1481.84
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2410 0 0 0 147740 444 0 0 25 0 1 0 12608491 18829312 2154 1992294400 134512640 137138936 4292201696 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4597 2154 192 642 0 3953 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 18388

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20496
/proc/meminfo: memFree=1738576/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=18376 CPUtime=1541.81
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2410 0 0 0 153719 462 0 0 25 0 1 0 12608491 18817024 2154 1992294400 134512640 137138936 4292201696 18446744073709551615 136504479 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4594 2154 192 642 0 3950 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 18376

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20496
/proc/meminfo: memFree=1738576/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=18372 CPUtime=1601.79
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2415 0 0 0 159703 476 0 0 25 0 1 0 12608491 18812928 2159 1992294400 134512640 137138936 4292201696 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4593 2159 192 642 0 3949 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 18372

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20498
/proc/meminfo: memFree=1738576/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=18372 CPUtime=1661.77
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2415 0 0 0 165686 491 0 0 25 0 1 0 12608491 18812928 2159 1992294400 134512640 137138936 4292201696 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4593 2159 192 642 0 3949 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 18372

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20509
/proc/meminfo: memFree=1738080/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=18372 CPUtime=1721.75
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2415 0 0 0 171667 508 0 0 25 0 1 0 12608491 18812928 2159 1992294400 134512640 137138936 4292201696 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4593 2159 192 642 0 3949 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 18372

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20511
/proc/meminfo: memFree=1738080/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=18372 CPUtime=1781.74
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2415 0 0 0 177646 528 0 0 25 0 1 0 12608491 18812928 2159 1992294400 134512640 137138936 4292201696 18446744073709551615 134577137 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4593 2159 192 642 0 3949 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 18372

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20511
/proc/meminfo: memFree=1738080/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=18372 CPUtime=1791.34
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2415 0 0 0 178603 531 0 0 25 0 1 0 12608491 18812928 2159 1992294400 134512640 137138936 4292201696 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4593 2159 192 642 0 3949 0
Current children cumulated CPU time (s) 1791.34
Current children cumulated vsize (KiB) 18372

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20511
/proc/meminfo: memFree=1738080/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=18372 CPUtime=1794.54
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2415 0 0 0 178922 532 0 0 25 0 1 0 12608491 18812928 2159 1992294400 134512640 137138936 4292201696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4593 2159 192 642 0 3949 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (KiB) 18372

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20511
/proc/meminfo: memFree=1738080/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=18372 CPUtime=1796.13
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2415 0 0 0 179081 532 0 0 25 0 1 0 12608491 18812928 2159 1992294400 134512640 137138936 4292201696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4593 2159 192 642 0 3949 0
Current children cumulated CPU time (s) 1796.13
Current children cumulated vsize (KiB) 18372

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20511
/proc/meminfo: memFree=1738080/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=18372 CPUtime=1796.93
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2415 0 0 0 179160 533 0 0 25 0 1 0 12608491 18812928 2159 1992294400 134512640 137138936 4292201696 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4593 2159 192 642 0 3949 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 18372

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20511
/proc/meminfo: memFree=1738080/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=18372 CPUtime=1797.73
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2415 0 0 0 179240 533 0 0 25 0 1 0 12608491 18812928 2159 1992294400 134512640 137138936 4292201696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4593 2159 192 642 0 3949 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 18372

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 20511
/proc/meminfo: memFree=1738080/2059040 swapFree=4164956/4192956
[pid=20453] ppid=20451 vsize=18372 CPUtime=1797.93
/proc/20453/stat : 20453 (bsolo_pb10) R 20451 20453 20420 0 -1 4202496 2415 0 0 0 179260 533 0 0 25 0 1 0 12608491 18812928 2159 1992294400 134512640 137138936 4292201696 18446744073709551615 134542915 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20453/statm: 4593 2159 192 642 0 3949 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 18372

Child status: 0
Real time (s): 1798.57
CPU time (s): 1798
CPU user time (s): 1792.67
CPU system time (s): 5.33719
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 18388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.67
system time used= 5.33719
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2416
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= 2
involuntary context switches= 4381

runsolver used 3.02154 second user time and 8.43672 second system time

The end

Launcher Data 

Begin job on node080 at 2010-06-16 20:32:33
IDJOB=2670979
IDBENCH=48206
IDSOLVER=1162
FILE ID=node080/2670979-1276713153
PBS_JOBID= 11174151
Free space on /tmp= 62592 MiB

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

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

MD5SUM BENCH= d0c1e6f66b584092ef8bd8f37f3a4db9
RANDOM SEED=1085446602

node080.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.48
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.242
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1728440 kB
Buffers:         84836 kB
Cached:         113764 kB
SwapCached:       1540 kB
Active:         119476 kB
Inactive:       131724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1728440 kB
SwapTotal:     4192956 kB
SwapFree:      4164956 kB
Dirty:            5348 kB
Writeback:           0 kB
AnonPages:       51060 kB
Mapped:          16672 kB
Slab:            57068 kB
PageTables:       4516 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   203008 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670979-1276713153.opb

Free space on /tmp at the end= 62588 MiB
End job on node080 at 2010-06-16 21:02:32