Trace number 2671003

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-26 1798 1798.63

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 benchmark1688.21
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.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-2671003-1276714152.opb
0.00/0.00	c File size is 49316 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: 724 Constr: 1448 724/100/624 Lit: 6240 Watch. Lit: 4368
0.00/0.01	c Obj. Vars: 100 (13.8122 % of total variables)
0.00/0.01	c Pre-processing Time: 0.014 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.03/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.06	c        6    100      632     2539    4     1305     941      8    400 0.01
0.03/0.06	c      106    100      732    10080   13     1505    1036    108   3212 0.03
0.03/0.06	o -22
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c      230    100      857    19555   22     1777     974    233   3965 0.06
0.09/0.14	c      330    100      957    27009   28     1977    1072    333   4230 0.08
0.09/0.14	c      580    100     1207    45654   37     2477    1180    583   4496 0.13
0.09/0.14	o -23
0.39/0.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.42	c      621    100     1249    48810   39     2584    1007    625   4500 0.14
0.39/0.42	c      722    100     1350    56245   41     2786    1108    726   4540 0.16
0.39/0.42	c      972    100     1600    74608   46     3286    1219    976   4542 0.21
0.39/0.42	c     1448    100     2076   109480   52     4238    1341   1452   4271 0.34
0.39/0.42	o -24
243.11/243.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
243.11/243.22	c     1782    100     2411   134216   55     4932    1041   1787   4192 0.42
243.11/243.22	c     1882    100     1246    47480   38     2516    1146    622   4182 0.45
243.11/243.22	c     2132    100     1496    65563   43     3016    1261    872   4213 0.51
243.11/243.22	c     2608    100     1973    99905   50     3992    1388   1349   4186 0.62
243.11/243.22	c     3423    100     1402    57622   41     2828    1527    778   3998 0.86
243.11/243.22	c     4743    100     2725   153122   56     5474    1680   2101   3962 1.20
243.11/243.22	c     6824    100     1737    81869   47     3498    1849   1113   3735 1.83
243.11/243.22	c    10047    100     1728    80460   46     3480    2034   1104   3501 2.87
243.11/243.22	c    14983    100     3248   188641   58     6542    2238   2624   3299 4.54
243.11/243.22	c    22489    100     1744    81158   46     3512    2462   1120   3145 7.15
243.11/243.22	c    33851    100     3512   208597   59     7070    2709   2888   2886 11.73
243.11/243.22	c    50996    100     2290   121383   53     4604    2980   1666   2771 18.40
243.11/243.22	c    76815    100     4149   256090   61     8322    3279   3525   2656 28.91
243.11/243.22	c   115647    100     3438   203853   59     6900    3607   2814   2554 45.27
243.11/243.22	c   174000    100     4560   284492   62     9144    3968   3936   2432 71.53
243.11/243.22	c   261633    100     4246   261185   61     8538    4365   3622   2351 111.26
243.11/243.22	c   393185    100     4114   251660   61     8296    4802   3490   2189 179.61
243.11/243.22	o -25
256.60/256.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
256.60/256.70	c   503188    100     3191   187522   58     6431    1074   2567   2069 243.14
256.60/256.70	c   503288    100     1262    47526   37     2549    1182    638   2069 243.18
256.60/256.70	c   503538    100     1513    65460   43     3051    1301    889   2070 243.24
256.60/256.70	c   504014    100     1989    99244   49     4003    1432   1365   2071 243.36
256.60/256.70	c   504827    100     1399    56493   40     2823    1576    775   2072 243.61
256.60/256.70	c   506147    100     2722   150808   55     5469    1734   2098   2074 243.94
256.60/256.70	c   508228    100     1685    76709   45     3395    1908   1061   2078 244.54
256.60/256.70	c   511451    100     1608    71342   44     3241    2099    984   2082 245.65
256.60/256.70	c   516387    100     3072   174729   56     6169    2309   2448   2088 247.29
256.60/256.70	c   523893    100     3202   184079   57     6429    2540   2578   2097 249.82
256.60/256.70	c   535254    100     2858   158268   55     5741    2795   2234   2108 253.90
256.60/256.70	o -26
1797.97/1798.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.97/1798.62	c   542282    100     3607   213854   59     7265    1107   2983   2113 256.61
1797.97/1798.62	c   542384    100     1281    48159   37     2588    1218    657   2113 256.65
1797.97/1798.62	c   542635    100     1533    65838   42     3092    1340    909   2113 256.70
1797.97/1798.62	c   543110    100     2008    99284   49     4042    1475   1384   2114 256.82
1797.97/1798.62	c   543923    100     1392    55537   39     2810    1623    768   2116 257.05
1797.97/1798.62	c   545243    100     2714   148284   54     5454    1786   2090   2118 257.42
1797.97/1798.62	c   547324    100     1639    72646   44     3327    1965   1015   2121 258.05
1797.97/1798.62	c   550548    100     3200   181839   56     6426    2162   2576   2125 259.02
1797.97/1798.62	c   555484    100     2816   155320   55     5658    2379   2192   2130 260.73
1797.97/1798.62	c   562990    100     2808   153975   54     5642    2617   2184   2136 263.50
1797.97/1798.62	c   574351    100     2213   108889   49     4473    2879   1589   2145 267.74
1797.97/1798.62	c   591495    100     2329   120893   51     4684    3167   1705   2157 274.20
1797.97/1798.62	c   617315    100     3230   183982   56     6486    3484   2606   2171 284.33
1797.97/1798.62	c   656147    100     3285   185355   56     6596    3833   2661   2170 302.35
1797.97/1798.62	c   714499    100     4416   265813   60     8882    4217   3792   2185 326.95
1797.97/1798.62	c   802132    100     2777   152013   54     5580    4639   2153   2193 365.76
1797.97/1798.62	c   933684    100     5402   335885   62    10830    5103   4778   2159 432.43
1797.97/1798.62	c  1131117    100     5812   363904   62    11650    5614   5188   2081 543.35
1797.97/1798.62	c  1427369    100     6023   375425   62    12096    6176   5399   1997 714.56
1797.97/1798.62	c  1871852    100     6450   406155   62    12926    6794   5826   1892 988.99
1797.97/1798.62	c  2538680    100     5143   316840   61    10312    7474   4519   1796 1413.06
1797.97/1798.62	c Resources Exceeded
1797.97/1798.62	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.97/1798.62	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.62	c   59  3077892 175017  3281005     6297   394958   5673   1711 1798.00
1797.97/1798.62	c Objective: -26
1797.97/1798.62	s SATISFIABLE
1797.97/1798.62	c Total time: 1798 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-2671003-1276714152/watcher-2671003-1276714152 -o /tmp/evaluation-result-2671003-1276714152/solver-2671003-1276714152 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671003-1276714152.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.89 1.01 1.00 2/106 11721
/proc/meminfo: memFree=1625448/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=10980 CPUtime=0
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 338 0 0 0 0 0 0 0 25 0 1 0 45067090 11243520 257 1992294400 134512640 137138936 4292034144 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 2745 258 175 642 0 2088 0

[startup+0.042118 s]
/proc/loadavg: 0.89 1.01 1.00 2/106 11721
/proc/meminfo: memFree=1625448/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=11180 CPUtime=0.03
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 445 0 0 0 3 0 0 0 25 0 1 0 45067090 11448320 351 1992294400 134512640 137138936 4292034144 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 2795 351 192 642 0 2151 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11180

[startup+0.101127 s]
/proc/loadavg: 0.89 1.01 1.00 2/106 11721
/proc/meminfo: memFree=1625448/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=11420 CPUtime=0.09
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 512 0 0 0 9 0 0 0 25 0 1 0 45067090 11694080 418 1992294400 134512640 137138936 4292034144 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 2855 418 192 642 0 2211 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11420

[startup+0.301164 s]
/proc/loadavg: 0.89 1.01 1.00 2/106 11721
/proc/meminfo: memFree=1625448/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=12260 CPUtime=0.29
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 723 0 0 0 29 0 0 0 25 0 1 0 45067090 12554240 629 1992294400 134512640 137138936 4292034144 18446744073709551615 136500220 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 3065 629 192 642 0 2421 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12260

[startup+0.701236 s]
/proc/loadavg: 0.89 1.01 1.00 2/106 11721
/proc/meminfo: memFree=1625448/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=12760 CPUtime=0.69
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 850 0 0 0 68 1 0 0 25 0 1 0 45067090 13066240 756 1992294400 134512640 137138936 4292034144 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 3190 756 192 642 0 2546 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12760

[startup+1.50138 s]
/proc/loadavg: 0.89 1.01 1.00 2/107 11722
/proc/meminfo: memFree=1623208/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=13372 CPUtime=1.49
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 993 0 0 0 148 1 0 0 25 0 1 0 45067090 13692928 899 1992294400 134512640 137138936 4292034144 18446744073709551615 134618552 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 3343 899 192 642 0 2699 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13372

[startup+3.10167 s]
/proc/loadavg: 0.89 1.01 1.00 2/107 11722
/proc/meminfo: memFree=1622836/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=13496 CPUtime=3.09
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 1035 0 0 0 307 2 0 0 25 0 1 0 45067090 13819904 941 1992294400 134512640 137138936 4292034144 18446744073709551615 134542886 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 3374 941 192 642 0 2730 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13496

[startup+6.30126 s]
/proc/loadavg: 0.90 1.01 1.00 2/107 11722
/proc/meminfo: memFree=1621968/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=13976 CPUtime=6.29
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 1136 0 0 0 626 3 0 0 25 0 1 0 45067090 14311424 1042 1992294400 134512640 137138936 4292034144 18446744073709551615 136505214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 3494 1042 192 642 0 2850 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13976

[startup+12.7014 s]
/proc/loadavg: 0.91 1.01 1.00 2/107 11722
/proc/meminfo: memFree=1621472/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=14464 CPUtime=12.69
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 1258 0 0 0 1264 5 0 0 25 0 1 0 45067090 14811136 1164 1992294400 134512640 137138936 4292034144 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 3616 1164 192 642 0 2972 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14464

[startup+25.5008 s]
/proc/loadavg: 0.93 1.01 1.00 2/107 11722
/proc/meminfo: memFree=1621224/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=14704 CPUtime=25.48
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 1331 0 0 0 2539 9 0 0 25 0 1 0 45067090 15056896 1237 1992294400 134512640 137138936 4292034144 18446744073709551615 136296970 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 3676 1237 192 642 0 3032 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14704

[startup+51.1004 s]
/proc/loadavg: 0.95 1.00 1.00 2/107 11722
/proc/meminfo: memFree=1620604/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=15292 CPUtime=51.07
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 1493 0 0 0 5090 17 0 0 25 0 1 0 45067090 15659008 1399 1992294400 134512640 137138936 4292034144 18446744073709551615 134542857 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 3823 1399 192 642 0 3179 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 15292

[startup+102.309 s]
/proc/loadavg: 0.98 1.00 1.00 2/107 11724
/proc/meminfo: memFree=1620108/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=15756 CPUtime=102.27
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 1587 0 0 0 10193 34 0 0 25 0 1 0 45067090 16134144 1493 1992294400 134512640 137138936 4292034144 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 3939 1493 192 642 0 3295 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 15756

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11726
/proc/meminfo: memFree=1619736/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=16116 CPUtime=162.23
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 1689 0 0 0 16173 50 0 0 25 0 1 0 45067090 16502784 1595 1992294400 134512640 137138936 4292034144 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4029 1595 192 642 0 3385 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 16116

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11728
/proc/meminfo: memFree=1619240/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=16604 CPUtime=222.22
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 1803 0 0 0 22155 67 0 0 25 0 1 0 45067090 17002496 1709 1992294400 134512640 137138936 4292034144 18446744073709551615 134552101 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4151 1709 192 642 0 3507 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 16604

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11730
/proc/meminfo: memFree=1619240/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=16468 CPUtime=282.19
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 1806 0 0 0 28131 88 0 0 25 0 1 0 45067090 16863232 1692 1992294400 134512640 137138936 4292034144 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4117 1692 192 642 0 3473 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 16468

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11730
/proc/meminfo: memFree=1619240/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=16396 CPUtime=342.17
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 1806 0 0 0 34109 108 0 0 25 0 1 0 45067090 16789504 1674 1992294400 134512640 137138936 4292034144 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4099 1674 192 642 0 3455 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 16396

[startup+402.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11732
/proc/meminfo: memFree=1619240/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=16396 CPUtime=402.15
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 1806 0 0 0 40087 128 0 0 25 0 1 0 45067090 16789504 1674 1992294400 134512640 137138936 4292034144 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4099 1674 192 642 0 3455 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 16396

[startup+462.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11734
/proc/meminfo: memFree=1618992/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=16760 CPUtime=462.14
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 1885 0 0 0 46066 148 0 0 25 0 1 0 45067090 17162240 1753 1992294400 134512640 137138936 4292034144 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4190 1753 192 642 0 3546 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 16760

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11736
/proc/meminfo: memFree=1618992/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=16760 CPUtime=522.11
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 1887 0 0 0 52048 163 0 0 25 0 1 0 45067090 17162240 1755 1992294400 134512640 137138936 4292034144 18446744073709551615 134542181 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4190 1755 192 642 0 3546 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 16760

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11738
/proc/meminfo: memFree=1618496/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=17252 CPUtime=582.09
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 2010 0 0 0 58029 180 0 0 25 0 1 0 45067090 17666048 1878 1992294400 134512640 137138936 4292034144 18446744073709551615 134544464 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4313 1878 192 642 0 3669 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 17252

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/107 11738
/proc/meminfo: memFree=1618496/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=17252 CPUtime=642.08
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 2012 0 0 0 64013 195 0 0 25 0 1 0 45067090 17666048 1880 1992294400 134512640 137138936 4292034144 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4313 1880 192 642 0 3669 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 17252

[startup+702.301 s]

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

/proc/meminfo: memFree=1616884/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=18452 CPUtime=1121.89
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 2312 0 0 0 111859 330 0 0 25 0 1 0 45067090 18894848 2180 1992294400 134512640 137138936 4292034144 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4613 2180 192 642 0 3969 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 18452

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11763
/proc/meminfo: memFree=1616884/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=18452 CPUtime=1181.87
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 2313 0 0 0 117837 350 0 0 25 0 1 0 45067090 18894848 2181 1992294400 134512640 137138936 4292034144 18446744073709551615 134618336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4613 2181 192 642 0 3969 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 18452

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11763
/proc/meminfo: memFree=1616884/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=18452 CPUtime=1241.85
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 2313 0 0 0 123818 367 0 0 25 0 1 0 45067090 18894848 2181 1992294400 134512640 137138936 4292034144 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4613 2181 192 642 0 3969 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 18452

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11765
/proc/meminfo: memFree=1616760/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=18452 CPUtime=1301.85
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 2313 0 0 0 129799 386 0 0 25 0 1 0 45067090 18894848 2181 1992294400 134512640 137138936 4292034144 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4613 2181 192 642 0 3969 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 18452

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11767
/proc/meminfo: memFree=1616760/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=18452 CPUtime=1361.81
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 2313 0 0 0 135780 401 0 0 25 0 1 0 45067090 18894848 2181 1992294400 134512640 137138936 4292034144 18446744073709551615 136511090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4613 2181 192 642 0 3969 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 18452

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11769
/proc/meminfo: memFree=1616140/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=19176 CPUtime=1421.8
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 2478 0 0 0 141765 415 0 0 25 0 1 0 45067090 19636224 2346 1992294400 134512640 137138936 4292034144 18446744073709551615 134542469 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4794 2346 192 642 0 4150 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 19176

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11771
/proc/meminfo: memFree=1616016/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=19176 CPUtime=1481.78
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 2483 0 0 0 147747 431 0 0 25 0 1 0 45067090 19636224 2351 1992294400 134512640 137138936 4292034144 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4794 2351 192 642 0 4150 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 19176

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11771
/proc/meminfo: memFree=1616016/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=19176 CPUtime=1541.76
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 2483 0 0 0 153728 448 0 0 25 0 1 0 45067090 19636224 2351 1992294400 134512640 137138936 4292034144 18446744073709551615 134542817 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4794 2351 192 642 0 4150 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 19176

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11773
/proc/meminfo: memFree=1616016/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=19176 CPUtime=1601.73
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 2484 0 0 0 159709 464 0 0 25 0 1 0 45067090 19636224 2352 1992294400 134512640 137138936 4292034144 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4794 2352 192 642 0 4150 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 19176

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11775
/proc/meminfo: memFree=1616016/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=19172 CPUtime=1661.72
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 2485 0 0 0 165693 479 0 0 25 0 1 0 45067090 19632128 2353 1992294400 134512640 137138936 4292034144 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4793 2353 192 642 0 4149 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 19172

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11777
/proc/meminfo: memFree=1616016/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=19172 CPUtime=1721.69
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 2485 0 0 0 171676 493 0 0 25 0 1 0 45067090 19632128 2353 1992294400 134512640 137138936 4292034144 18446744073709551615 136506307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4793 2353 192 642 0 4149 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 19172

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11779
/proc/meminfo: memFree=1616016/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=19172 CPUtime=1781.67
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 2485 0 0 0 177658 509 0 0 25 0 1 0 45067090 19632128 2353 1992294400 134512640 137138936 4292034144 18446744073709551615 136504547 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4793 2353 192 642 0 4149 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 19172

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11779
/proc/meminfo: memFree=1616016/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=19172 CPUtime=1791.28
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 2485 0 0 0 178615 513 0 0 25 0 1 0 45067090 19632128 2353 1992294400 134512640 137138936 4292034144 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4793 2353 192 642 0 4149 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 19172

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11779
/proc/meminfo: memFree=1616016/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=19172 CPUtime=1794.47
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 2485 0 0 0 178934 513 0 0 25 0 1 0 45067090 19632128 2353 1992294400 134512640 137138936 4292034144 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4793 2353 192 642 0 4149 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (KiB) 19172

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11779
/proc/meminfo: memFree=1616016/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=19172 CPUtime=1796.07
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 2485 0 0 0 179093 514 0 0 25 0 1 0 45067090 19632128 2353 1992294400 134512640 137138936 4292034144 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4793 2353 192 642 0 4149 0
Current children cumulated CPU time (s) 1796.07
Current children cumulated vsize (KiB) 19172

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11779
/proc/meminfo: memFree=1616016/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=19172 CPUtime=1796.87
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 2485 0 0 0 179173 514 0 0 25 0 1 0 45067090 19632128 2353 1992294400 134512640 137138936 4292034144 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4793 2353 192 642 0 4149 0
Current children cumulated CPU time (s) 1796.87
Current children cumulated vsize (KiB) 19172

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11779
/proc/meminfo: memFree=1616016/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=19172 CPUtime=1797.66
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 2485 0 0 0 179252 514 0 0 25 0 1 0 45067090 19632128 2353 1992294400 134512640 137138936 4292034144 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4793 2353 192 642 0 4149 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (KiB) 19172

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11779
/proc/meminfo: memFree=1616016/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=19172 CPUtime=1797.88
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 2485 0 0 0 179273 515 0 0 25 0 1 0 45067090 19632128 2353 1992294400 134512640 137138936 4292034144 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4793 2353 192 642 0 4149 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 19172

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 11779
/proc/meminfo: memFree=1616016/2059040 swapFree=4140236/4192956
[pid=11721] ppid=11719 vsize=19172 CPUtime=1797.97
/proc/11721/stat : 11721 (bsolo_pb10) R 11719 11721 11688 0 -1 4202496 2485 0 0 0 179282 515 0 0 25 0 1 0 45067090 19632128 2353 1992294400 134512640 137138936 4292034144 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/11721/statm: 4793 2353 192 642 0 4149 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 19172

Child status: 0
Real time (s): 1798.63
CPU time (s): 1798
CPU user time (s): 1792.85
CPU system time (s): 5.15122
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (KiB): 19176

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

runsolver used 4.17936 second user time and 8.86965 second system time

The end

Launcher Data 

Begin job on node027 at 2010-06-16 20:49:12
IDJOB=2671003
IDBENCH=48218
IDSOLVER=1162
FILE ID=node027/2671003-1276714152
PBS_JOBID= 11174181
Free space on /tmp= 62536 MiB

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

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

MD5SUM BENCH= fac2f381943513d71e556a5764721ca3
RANDOM SEED=1126611787

node027.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		: 2800.261
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	: 5600.52
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		: 2800.261
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	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1626472 kB
Buffers:        102656 kB
Cached:         232924 kB
SwapCached:       6276 kB
Active:         134800 kB
Inactive:       214240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1626472 kB
SwapTotal:     4192956 kB
SwapFree:      4140236 kB
Dirty:            4112 kB
Writeback:           0 kB
AnonPages:       11652 kB
Mapped:          13028 kB
Slab:            61792 kB
PageTables:       3984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181460 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671003-1276714152.opb

Free space on /tmp at the end= 62532 MiB
End job on node027 at 2010-06-16 21:19:11