Trace number 1876808

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-26 1798.04 1798.74

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_1.opb
MD5SUMfac2f381943513d71e556a5764721ca3
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 benchmark6.21106
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 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)1248
Sum of products size (including duplicates)2496
Number of different products624
Sum of products size1248

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-1876808-1245204246.opb
0.00/0.00	c File size is 49316 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: 724 Constr: 1448 724/100/624 Lit: 6240 Watch. Lit: 4368
0.00/0.00	c Obj. Vars: 100 (13.8122 % 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      624     1872    3     1248     207      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
0.00/0.01	o -20
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    100      625     1972    3     1270     907      1      0 0.01
0.00/0.01	o -21
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        6    100      632     2539    4     1305     941      8    461 0.01
0.00/0.04	c      106    100      732    10080   13     1505    1036    108   3925 0.03
0.00/0.04	o -22
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c      230    100      857    19555   22     1777     974    233   5000 0.05
0.09/0.11	c      330    100      957    27009   28     1977    1072    333   5322 0.06
0.09/0.11	c      580    100     1207    45654   37     2477    1180    583   5686 0.10
0.09/0.11	o -23
0.29/0.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.34	c      621    100     1249    48810   39     2584    1007    625   5645 0.11
0.29/0.34	c      722    100     1350    56245   41     2786    1108    726   5730 0.13
0.29/0.34	c      972    100     1600    74608   46     3286    1219    976   5684 0.17
0.29/0.34	c     1448    100     2076   109480   52     4238    1341   1452   5343 0.27
0.29/0.34	o -24
127.34/127.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
127.34/127.41	c     1782    100     2411   134216   55     4932    1041   1787   5256 0.34
127.34/127.41	c     1882    100     1246    47480   38     2516    1146    622   5227 0.36
127.34/127.41	c     2132    100     1496    65563   43     3016    1261    872   5277 0.40
127.34/127.41	c     2608    100     1973    99905   50     3992    1388   1349   5247 0.50
127.34/127.41	c     3423    100     1402    57622   41     2828    1527    778   5026 0.68
127.34/127.41	c     4743    100     2725   153122   56     5474    1680   2101   4987 0.95
127.34/127.41	c     6824    100     1737    81869   47     3498    1849   1113   4673 1.46
127.34/127.41	c    10047    100     1728    80460   46     3480    2034   1104   4355 2.31
127.34/127.41	c    14983    100     3248   188641   58     6542    2238   2624   4081 3.67
127.34/127.41	c    22489    100     1744    81158   46     3512    2462   1120   3875 5.80
127.34/127.41	c    33851    100     3512   208597   59     7070    2709   2888   3517 9.62
127.34/127.41	c    50996    100     2290   121383   53     4604    2980   1666   3369 15.13
127.34/127.41	c    76815    100     4149   256090   61     8322    3279   3525   3226 23.81
127.34/127.41	c   115647    100     3414   202699   59     6852    3607   2790   3112 37.16
127.34/127.41	c   173999    100     4606   287413   62     9236    3968   3982   3066 56.75
127.34/127.41	c   261632    100     4173   254926   61     8370    4365   3549   2792 93.69
127.34/127.41	o -25
163.91/164.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
163.91/164.00	c   340422    100     2808   158692   56     5663    1074   2184   2672 127.40
163.91/164.00	c   340523    100     1263    47050   37     2551    1182    639   2672 127.43
163.91/164.00	c   340774    100     1517    65180   42     3059    1301    893   2673 127.48
163.91/164.00	c   341249    100     1992    98978   49     4009    1432   1368   2674 127.57
163.91/164.00	c   342064    100     1399    56599   40     2823    1576    775   2677 127.74
163.91/164.00	c   343384    100     2720   150602   55     5465    1734   2096   2682 128.02
163.91/164.00	c   345465    100     1679    76348   45     3383    1908   1055   2688 128.52
163.91/164.00	c   348688    100     1601    70694   44     3250    2099    977   2695 129.36
163.91/164.00	c   353624    100     3081   175638   57     6187    2309   2457   2704 130.77
163.91/164.00	c   361130    100     3223   185853   57     6492    2540   2599   2718 132.82
163.91/164.00	c   372491    100     2854   158666   55     5733    2795   2230   2742 135.83
163.91/164.00	c   389635    100     3298   190672   57     6621    3075   2674   2761 141.11
163.91/164.00	c   415457    100     2442   131235   53     4909    3383   1818   2764 150.28
163.91/164.00	c   454289    100     3245   186856   57     6538    3722   2621   2784 163.13
163.91/164.00	o -26
1797.99/1798.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.99/1798.73	c   457114    100     3526   207921   58     7125    1107   2902   2788 163.92
1797.99/1798.73	c   457214    100     1279    48067   37     2584    1218    655   2788 163.96
1797.99/1798.73	c   457464    100     1530    65718   42     3086    1340    906   2789 164.00
1797.99/1798.73	c   457939    100     2005    99079   49     4036    1475   1381   2790 164.10
1797.99/1798.73	c   458752    100     1396    55744   39     2818    1623    772   2792 164.30
1797.99/1798.73	c   460072    100     2720   148758   54     5466    1786   2096   2795 164.57
1797.99/1798.73	c   462154    100     1629    71727   44     3284    1965   1005   2799 165.09
1797.99/1798.73	c   465377    100     3183   180938   56     6392    2162   2559   2804 165.95
1797.99/1798.73	c   470313    100     2801   153974   54     5628    2379   2177   2811 167.29
1797.99/1798.73	c   477820    100     2785   152918   54     5596    2617   2161   2818 169.53
1797.99/1798.73	c   489181    100     2177   109846   50     4380    2879   1553   2833 172.65
1797.99/1798.73	c   506326    100     2304   117901   51     4658    3167   1680   2846 177.85
1797.99/1798.73	c   532146    100     3208   180746   56     6465    3484   2584   2853 186.49
1797.99/1798.73	c   570978    100     3196   180797   56     6418    3833   2572   2839 201.08
1797.99/1798.73	c   629330    100     4351   261154   60     8728    4217   3727   2799 224.80
1797.99/1798.73	c   716962    100     2734   148102   54     5494    4639   2110   2764 259.36
1797.99/1798.73	c   848514    100     5303   329247   62    10632    5103   4679   2676 317.06
1797.99/1798.73	c  1045947    100     5694   346383   60    11458    5614   5070   2610 400.59
1797.99/1798.73	c  1342200    100     5659   352779   62    11368    6176   5035   2460 545.55
1797.99/1798.73	c  1786682    100     5682   353674   62    11390    6794   5058   2315 771.62
1797.99/1798.73	c  2453509     99     4781   287970   60     9587    7474   4157   2119 1157.38
1797.99/1798.73	c  3453854     99     4363   257540   59     8775    8222   3739   1923 1795.29
1797.99/1798.73	c Resources Exceeded
1797.99/1798.73	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 
1797.99/1798.73	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.99/1798.73	c   62  3459030 187328  3674113     4737   285556   4113   1923 1798.03
1797.99/1798.73	c Objective: -26
1797.99/1798.73	s SATISFIABLE
1797.99/1798.73	c Total time: 1798.03 s

Verifier Data 

OK	-26

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1876808-1245204246/watcher-1876808-1245204246 -o /tmp/evaluation-result-1876808-1245204246/solver-1876808-1245204246 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876808-1245204246.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.04 1.04 1.01 3/64 3329
/proc/meminfo: memFree=1756080/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=10760 CPUtime=0
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 188025564 11018240 244 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 2690 245 176 640 0 2033 0

[startup+0.0506899 s]
/proc/loadavg: 1.04 1.04 1.01 3/64 3329
/proc/meminfo: memFree=1756080/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=11224 CPUtime=0.04
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 409 0 0 0 4 0 0 0 18 0 1 0 188025564 11493376 380 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 2806 380 197 640 0 2162 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11224

[startup+0.101695 s]
/proc/loadavg: 1.04 1.04 1.01 3/64 3329
/proc/meminfo: memFree=1756080/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=11464 CPUtime=0.09
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 480 0 0 0 9 0 0 0 18 0 1 0 188025564 11739136 451 1992294400 134512640 137136520 4294956256 18446744073709551615 134551506 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 2866 451 197 640 0 2222 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11464

[startup+0.301711 s]
/proc/loadavg: 1.04 1.04 1.01 3/64 3329
/proc/meminfo: memFree=1756080/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=12444 CPUtime=0.29
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 739 0 0 0 29 0 0 0 19 0 1 0 188025564 12742656 710 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 3111 710 197 640 0 2467 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12444

[startup+0.701743 s]
/proc/loadavg: 1.04 1.04 1.01 3/64 3329
/proc/meminfo: memFree=1756080/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=12924 CPUtime=0.69
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 857 0 0 0 69 0 0 0 23 0 1 0 188025564 13234176 828 1992294400 134512640 137136520 4294956256 18446744073709551615 134574453 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 3231 828 197 640 0 2587 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12924

[startup+1.50181 s]
/proc/loadavg: 1.04 1.04 1.01 2/65 3330
/proc/meminfo: memFree=1753320/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=13296 CPUtime=1.49
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 933 0 0 0 148 1 0 0 25 0 1 0 188025564 13615104 904 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 3324 904 198 640 0 2680 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13296

[startup+3.10194 s]
/proc/loadavg: 1.04 1.04 1.01 2/65 3330
/proc/meminfo: memFree=1752936/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=13660 CPUtime=3.09
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 1022 0 0 0 307 2 0 0 25 0 1 0 188025564 13987840 993 1992294400 134512640 137136520 4294956256 18446744073709551615 134598609 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 3415 993 198 640 0 2771 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13660

[startup+6.3012 s]
/proc/loadavg: 1.04 1.04 1.01 2/65 3330
/proc/meminfo: memFree=1752360/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=13900 CPUtime=6.29
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 1076 0 0 0 627 2 0 0 25 0 1 0 188025564 14233600 1047 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 3475 1047 198 640 0 2831 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13900

[startup+12.7017 s]
/proc/loadavg: 1.04 1.04 1.01 2/65 3330
/proc/meminfo: memFree=1751912/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=14388 CPUtime=12.68
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 1197 0 0 0 1264 4 0 0 25 0 1 0 188025564 14733312 1168 1992294400 134512640 137136520 4294956256 18446744073709551615 136498187 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 3597 1168 198 640 0 2953 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14388

[startup+25.5018 s]
/proc/loadavg: 1.03 1.04 1.01 2/65 3330
/proc/meminfo: memFree=1751592/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=14988 CPUtime=25.48
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 1349 0 0 0 2541 7 0 0 25 0 1 0 188025564 15347712 1320 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 3747 1320 198 640 0 3103 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14988

[startup+51.1019 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 3330
/proc/meminfo: memFree=1751144/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=15312 CPUtime=51.07
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 1434 0 0 0 5094 13 0 0 25 0 1 0 188025564 15679488 1405 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 3828 1405 198 640 0 3184 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 15312

[startup+102.305 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 3330
/proc/meminfo: memFree=1750312/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=16032 CPUtime=102.26
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 1625 0 0 0 10203 23 0 0 25 0 1 0 188025564 16416768 1596 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4008 1596 198 640 0 3364 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 16032

[startup+162.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 3330
/proc/meminfo: memFree=1750312/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=16000 CPUtime=162.21
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 1629 0 0 0 16184 37 0 0 25 0 1 0 188025564 16384000 1600 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4000 1600 198 640 0 3356 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 16000

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 3330
/proc/meminfo: memFree=1750952/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=15340 CPUtime=222.19
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 1689 0 0 0 22167 52 0 0 25 0 1 0 188025564 15708160 1435 1992294400 134512640 137136520 4294956256 18446744073709551615 136502079 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 3835 1435 198 640 0 3191 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 15340

[startup+282.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 3330
/proc/meminfo: memFree=1750184/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=16180 CPUtime=282.17
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 1895 0 0 0 28154 63 0 0 25 0 1 0 188025564 16568320 1641 1992294400 134512640 137136520 4294956256 18446744073709551615 136499635 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4045 1641 198 640 0 3401 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 16180

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1749672/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=16664 CPUtime=342.14
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2011 0 0 0 34141 73 0 0 25 0 1 0 188025564 17063936 1757 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4166 1757 198 640 0 3522 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 16664

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1749352/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=17028 CPUtime=402.12
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2097 0 0 0 40127 85 0 0 25 0 1 0 188025564 17436672 1843 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4257 1843 198 640 0 3613 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 17028

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1749096/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=17148 CPUtime=462.1
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2140 0 0 0 46112 98 0 0 25 0 1 0 188025564 17559552 1886 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4287 1886 198 640 0 3643 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 17148

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1749096/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=17148 CPUtime=522.07
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2140 0 0 0 52098 109 0 0 25 0 1 0 188025564 17559552 1886 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4287 1886 198 640 0 3643 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 17148

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1748520/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=17768 CPUtime=582.05
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2283 0 0 0 58085 120 0 0 25 0 1 0 188025564 18194432 2029 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4442 2029 198 640 0 3798 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 17768

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1748520/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=17768 CPUtime=642.03
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2283 0 0 0 64070 133 0 0 25 0 1 0 188025564 18194432 2029 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4442 2029 198 640 0 3798 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 17768

[startup+702.302 s]

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

/proc/meminfo: memFree=1747752/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=18372 CPUtime=1061.88
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2439 0 0 0 105974 214 0 0 25 0 1 0 188025564 18812928 2185 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4593 2185 198 640 0 3949 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 18372

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1747752/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=18372 CPUtime=1121.86
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2439 0 0 0 111963 223 0 0 25 0 1 0 188025564 18812928 2185 1992294400 134512640 137136520 4294956256 18446744073709551615 134573191 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4593 2185 198 640 0 3949 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 18372

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1747176/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=18936 CPUtime=1181.83
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2576 0 0 0 117949 234 0 0 25 0 1 0 188025564 19390464 2322 1992294400 134512640 137136520 4294956256 18446744073709551615 134616615 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4734 2322 198 640 0 4090 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 18936

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1747112/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=18928 CPUtime=1241.8
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2583 0 0 0 123934 246 0 0 25 0 1 0 188025564 19382272 2329 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4732 2329 198 640 0 4088 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 18928

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1747112/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=18928 CPUtime=1301.79
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2584 0 0 0 129925 254 0 0 25 0 1 0 188025564 19382272 2330 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4732 2330 198 640 0 4088 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 18928

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1747112/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=18928 CPUtime=1361.77
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2584 0 0 0 135911 266 0 0 25 0 1 0 188025564 19382272 2330 1992294400 134512640 137136520 4294956256 18446744073709551615 134540852 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4732 2330 198 640 0 4088 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 18928

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1747112/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=19032 CPUtime=1421.75
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2589 0 0 0 141897 278 0 0 25 0 1 0 188025564 19488768 2335 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4758 2335 198 640 0 4114 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 19032

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1747048/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=19020 CPUtime=1481.71
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2589 0 0 0 147883 288 0 0 25 0 1 0 188025564 19476480 2335 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4755 2335 198 640 0 4111 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 19020

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1747048/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=18996 CPUtime=1541.68
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2589 0 0 0 153870 298 0 0 25 0 1 0 188025564 19451904 2335 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4749 2335 198 640 0 4105 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 18996

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1747048/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=18996 CPUtime=1601.66
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2589 0 0 0 159857 309 0 0 25 0 1 0 188025564 19451904 2335 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4749 2335 198 640 0 4105 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 18996

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1747048/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=18996 CPUtime=1661.64
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2589 0 0 0 165846 318 0 0 25 0 1 0 188025564 19451904 2335 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4749 2335 198 640 0 4105 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 18996

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1747048/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=18996 CPUtime=1721.62
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2589 0 0 0 171834 328 0 0 25 0 1 0 188025564 19451904 2335 1992294400 134512640 137136520 4294956256 18446744073709551615 134606742 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4749 2335 198 640 0 4105 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 18996

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1746984/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=18996 CPUtime=1781.6
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2589 0 0 0 177820 340 0 0 25 0 1 0 188025564 19451904 2335 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4749 2335 198 640 0 4105 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 18996

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 3330
/proc/meminfo: memFree=1746984/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=18996 CPUtime=1791.19
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2589 0 0 0 178778 341 0 0 25 0 1 0 188025564 19451904 2335 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4749 2335 198 640 0 4105 0
Current children cumulated CPU time (s) 1791.19
Current children cumulated vsize (KiB) 18996

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1746984/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=18996 CPUtime=1794.39
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2589 0 0 0 179097 342 0 0 25 0 1 0 188025564 19451904 2335 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4749 2335 198 640 0 4105 0
Current children cumulated CPU time (s) 1794.39
Current children cumulated vsize (KiB) 18996

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1746984/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=18992 CPUtime=1795.99
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2589 0 0 0 179257 342 0 0 25 0 1 0 188025564 19447808 2335 1992294400 134512640 137136520 4294956256 18446744073709551615 134607089 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4748 2335 198 640 0 4104 0
Current children cumulated CPU time (s) 1795.99
Current children cumulated vsize (KiB) 18992

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1746984/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=18992 CPUtime=1796.78
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2589 0 0 0 179336 342 0 0 25 0 1 0 188025564 19447808 2335 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4748 2335 198 640 0 4104 0
Current children cumulated CPU time (s) 1796.78
Current children cumulated vsize (KiB) 18992

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1746984/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=19232 CPUtime=1797.58
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2647 0 0 0 179416 342 0 0 25 0 1 0 188025564 19693568 2393 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4808 2393 198 640 0 4164 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 19232

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 3330
/proc/meminfo: memFree=1746664/2055920 swapFree=4191900/4192956
[pid=3329] ppid=3327 vsize=19724 CPUtime=1797.99
/proc/3329/stat : 3329 (bsolo) R 3327 3329 2491 0 -1 4194304 2768 0 0 0 179456 343 0 0 25 0 1 0 188025564 20197376 2514 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/3329/statm: 4931 2514 198 640 0 4287 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 19724

Child status: 0
Real time (s): 1798.74
CPU time (s): 1798.04
CPU user time (s): 1794.6
CPU system time (s): 3.43248
CPU usage (%): 99.9608
Max. virtual memory (cumulated for all children) (KiB): 19724

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

runsolver used 1.58776 second user time and 4.96324 second system time

The end

Launcher Data 

Begin job on node3 at 2009-06-17 04:04:06
IDJOB=1876808
IDBENCH=48218
IDSOLVER=699
FILE ID=node3/1876808-1245204246
PBS_JOBID= 9368339
Free space on /tmp= 66320 MiB

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

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

MD5SUM BENCH= fac2f381943513d71e556a5764721ca3
RANDOM SEED=1963154464

node3.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.236
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.236
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:       1756624 kB
Buffers:         55296 kB
Cached:         156332 kB
SwapCached:        260 kB
Active:          69192 kB
Inactive:       155724 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1756624 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            3948 kB
Writeback:           0 kB
Mapped:          21804 kB
Slab:            60440 kB
Committed_AS:   164036 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1876808-1245204246.opb

Free space on /tmp at the end= 66316 MiB
End job on node3 at 2009-06-17 04:34:05