Trace number 2670609

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 CardSAT5 1798 1798.49

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=349-P1=101-P2=17-P3=271-P4=11-P5=179-P6=127-B.opb
MD5SUM133707692e98c55077a0d19203c18204
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark6.74797
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables162
Total number of constraints13
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 constraints13
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)486
Sum of products size (including duplicates)972
Number of different products486
Sum of products size972

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-2670609-1276703480.opb
0.00/0.00	c File size is 36228 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.005 s
0.00/0.00	c Var: 648 Constr: 991 486/0/505 Lit: 4149 Watch. Lit: 2540
0.00/0.00	c Obj. Vars: 9 (1.38889 % of total variables)
0.00/0.01	c Pre-processing Time: 0.012 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    648      991     4149    4     3569    5544      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
191.04/191.18	c      126    648     1238    18301   14     4108    6099    247   3500 0.04
191.04/191.18	c      276    648     1464    35181   24     4464    6709    473   1408 0.20
191.04/191.18	c      501    648     1892    65983   34     5571    7380    901   1904 0.26
191.04/191.18	c      839    648     2513   115161   45     7026    8119   1522   2255 0.37
191.04/191.18	c     1348    648     3410   183802   53     9128    8931   2419   2411 0.56
191.04/191.18	c     2111    648     4773   279730   58    12328    9825   3782   2371 0.89
191.04/191.18	c     3258    648     6931   423498   61    17558   10808   5940   1936 1.68
191.04/191.18	c     4979    648    10173   642534   63    25426   11889   9182   1560 3.19
191.04/191.18	c     7563    648     9067   530997   58    23847   13078   8076   1341 5.64
191.04/191.18	c    11442    648     9745   561225   57    26282   14386   8754   1322 8.65
191.04/191.18	c    17264    648    13480   826659   61    34839   15825  12489   1136 15.19
191.04/191.18	c    26001    648    14486   828392   57    38134   17408  13495    944 27.52
191.04/191.18	c    39111    648    13381   788739   58    34555   19149  12390    790 49.45
191.04/191.18	c    58781    648    19991  1596937   79    51617   21064  19000    723 81.24
191.04/191.18	c    88291    648    21562  1295752   60    56952   23171  20571    703 125.49
191.04/191.18	o 57
1184.97/1185.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1184.97/1185.36	c   120882    648    23861  1672203   70    62528    5562  22870    632 191.13
1184.97/1185.36	c   120982    648     3952   215545   54    10908    6119   2961    629 192.06
1184.97/1185.36	c   121233    638     4368   249782   57    11752    6731   3377    630 192.20
1184.97/1185.36	c   121709    638     5306   318064   59    14138    7405   4315    632 192.36
1184.97/1185.36	c   122523    638     6834   423524   61    17768    8146   5843    635 192.79
1184.97/1185.36	c   123844    638     5207   296183   56    13686    8961   4216    639 193.63
1184.97/1185.36	c   125928    638     9278   547950   59    24749    9858   8287    645 195.15
1184.97/1185.36	c   129152    638    10444   631944   60    27830   10844   9453    652 198.04
1184.97/1185.36	c   134088    638     8819   521157   59    23417   11929   7828    665 201.52
1184.97/1185.36	c   141595    638    10733   706384   65    27018   13122   9742    679 208.23
1184.97/1185.36	c   152956    638    11887   745284   62    29574   14435  10896    688 222.19
1184.97/1185.36	c   170101    638     8211   501385   61    21295   15879   7220    693 245.17
1184.97/1185.36	c   195920    626     8934   618886   69    22151   17467   7943    712 275.12
1184.97/1185.36	c   234752    615     9738   553975   56    25950   19214   8747    714 328.74
1184.97/1185.36	c   293105    615    14542   940365   64    37582   21136  13551    693 422.89
1184.97/1185.36	c   380737    615    18741  1314164   70    46807   23250  17750    667 570.59
1184.97/1185.36	c   512291    615    20181  1237372   61    53079   25576  19190    609 840.49
1184.97/1185.36	o 19
1582.96/1583.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1582.96/1583.44	c   660859    615    13783   893031   64    34358    5556  12792    557 1185.66
1582.96/1583.44	c   660960    615     3938   199120   50    10443    6112   2947    557 1185.88
1582.96/1583.44	c   661211    615     4402   231632   52    11475    6724   3411    557 1185.99
1582.96/1583.44	c   661686    615     5303   293818   55    13695    7397   4312    557 1186.19
1582.96/1583.44	c   662500    615     6833   400761   58    17260    8137   5842    558 1186.61
1582.96/1583.44	c   663820    615     5140   296693   57    12817    8951   4149    558 1187.70
1582.96/1583.44	c   665902    615     9123   586732   64    23245    9847   8132    560 1188.73
1582.96/1583.44	c   669125    615     9802   680677   69    25293   10832   8811    561 1190.93
1582.96/1583.44	c   674062    615     7472   459184   61    19042   11916   6481    564 1194.97
1582.96/1583.44	c   681569    615     8802   572083   64    21493   13108   7811    566 1203.52
1582.96/1583.44	c   692930    615    10185   606936   59    26478   14419   9194    569 1216.52
1582.96/1583.44	c   710074    615    13757   854413   62    34569   15861  12766    571 1241.45
1582.96/1583.44	c   735894    615    12581   954733   75    32047   17448  11590    576 1275.40
1582.96/1583.44	c   774727    615    15090   938263   62    37503   19193  14099    583 1327.20
1582.96/1583.44	c   833079    604    19190  1305578   68    50731   21113  18199    586 1420.82
1582.96/1583.44	o 5
1797.91/1798.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.91/1798.48	c   919689    604    20719  1411989   68    51659    5554  19728    580 1583.02
1797.91/1798.48	c   919790    582     3933   201820   51    10207    6110   2942    580 1583.35
1797.91/1798.48	c   920041    582     4313   231232   53    10977    6722   3322    581 1583.43
1797.91/1798.48	c   920516    582     5098   286106   56    12762    7395   4107    581 1583.62
1797.91/1798.48	c   921329    582     6625   394500   59    16538    8135   5634    581 1584.03
1797.91/1798.48	c   922649    582     9182   562309   61    23110    8949   8191    582 1585.10
1797.91/1798.48	c   924731    582     8579   511506   59    22384    9844   7588    582 1587.06
1797.91/1798.48	c   927954    582     9660   587262   60    24804   10829   8669    583 1590.61
1797.91/1798.48	c   932891    582     7943   460236   57    20477   11912   6952    584 1597.04
1797.91/1798.48	c   940397    582     9467   736013   77    25732   13104   8476    586 1603.78
1797.91/1798.48	c   951759    582    10297   584715   56    27571   14415   9306    588 1617.19
1797.91/1798.48	c   968903    582    13675  1018152   74    34770   15857  12684    592 1635.74
1797.91/1798.48	c   994723    582    14140   960912   67    36865   17443  13149    596 1666.58
1797.91/1798.48	c  1033555    582    18170  1079477   59    47539   19188  17179    601 1718.66
1797.91/1798.48	c Resources Exceeded
1797.91/1798.48	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 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 x64 -x65 -x66 x67 x68 -x69 x70 -x71 x72 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 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 x73 x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 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 x82 -x83 x84 x85 -x86 -x87 x88 -x89 -x90 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 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 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x136 -x137 x138 -x139 x140 -x141 -x142 -x143 -x144 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 x100 x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 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 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 
1797.91/1798.48	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.91/1798.48	c   61  1075564   7117  1108917    17812  1260327  16821    598 1798.00
1797.91/1798.48	c Objective: 5
1797.91/1798.48	s SATISFIABLE
1797.91/1798.48	c Total time: 1798 s

Verifier Data 

OK	5

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670609-1276703480/watcher-2670609-1276703480 -o /tmp/evaluation-result-2670609-1276703480/solver-2670609-1276703480 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670609-1276703480.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.91 3/105 18493
/proc/meminfo: memFree=1726728/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=10920 CPUtime=0
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 386 0 0 0 0 0 0 0 25 0 1 0 11641517 11182080 295 1992294400 134512640 137138936 4293274832 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 2730 295 184 642 0 2086 0

[startup+0.0427159 s]
/proc/loadavg: 1.00 1.00 0.91 3/105 18493
/proc/meminfo: memFree=1726728/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=11192 CPUtime=0.03
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 454 0 0 0 3 0 0 0 25 0 1 0 11641517 11460608 363 1992294400 134512640 137138936 4293274832 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 2798 363 192 642 0 2154 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11192

[startup+0.100722 s]
/proc/loadavg: 1.00 1.00 0.91 3/105 18493
/proc/meminfo: memFree=1726728/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=11192 CPUtime=0.09
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 462 0 0 0 9 0 0 0 25 0 1 0 11641517 11460608 371 1992294400 134512640 137138936 4293274832 18446744073709551615 136505214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 2798 371 192 642 0 2154 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11192

[startup+0.300744 s]
/proc/loadavg: 1.00 1.00 0.91 3/105 18493
/proc/meminfo: memFree=1726728/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=12092 CPUtime=0.29
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 684 0 0 0 29 0 0 0 25 0 1 0 11641517 12382208 593 1992294400 134512640 137138936 4293274832 18446744073709551615 134539304 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 3023 593 192 642 0 2379 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12092

[startup+0.700787 s]
/proc/loadavg: 1.00 1.00 0.91 3/105 18493
/proc/meminfo: memFree=1726728/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=14128 CPUtime=0.69
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 1198 0 0 0 68 1 0 0 25 0 1 0 11641517 14467072 1107 1992294400 134512640 137138936 4293274832 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 3532 1107 192 642 0 2888 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14128

[startup+1.50087 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18494
/proc/meminfo: memFree=1722008/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=16688 CPUtime=1.49
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 1817 0 0 0 148 1 0 0 25 0 1 0 11641517 17088512 1726 1992294400 134512640 137138936 4293274832 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 4172 1726 192 642 0 3528 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16688

[startup+3.10105 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18494
/proc/meminfo: memFree=1719280/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=19888 CPUtime=3.09
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 2608 0 0 0 307 2 0 0 25 0 1 0 11641517 20365312 2517 1992294400 134512640 137138936 4293274832 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 4972 2517 192 642 0 4328 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19888

[startup+6.3014 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18494
/proc/meminfo: memFree=1713824/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=23076 CPUtime=6.29
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 3425 0 0 0 627 2 0 0 25 0 1 0 11641517 23629824 3334 1992294400 134512640 137138936 4293274832 18446744073709551615 134602871 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 5769 3334 192 642 0 5125 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23076

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18494
/proc/meminfo: memFree=1711964/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=25080 CPUtime=12.69
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 3920 0 0 0 1265 4 0 0 25 0 1 0 11641517 25681920 3829 1992294400 134512640 137138936 4293274832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 6270 3829 192 642 0 5626 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25080

[startup+25.5005 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18496
/proc/meminfo: memFree=1710476/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=26364 CPUtime=25.49
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 4246 0 0 0 2543 6 0 0 25 0 1 0 11641517 26996736 4155 1992294400 134512640 137138936 4293274832 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 6591 4155 192 642 0 5947 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26364

[startup+51.1003 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18496
/proc/meminfo: memFree=1709360/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=27520 CPUtime=51.07
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 4545 0 0 0 5097 10 0 0 25 0 1 0 11641517 28180480 4454 1992294400 134512640 137138936 4293274832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 6880 4454 192 642 0 6236 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 27520

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18498
/proc/meminfo: memFree=1699316/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=37440 CPUtime=102.27
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7024 0 0 0 10204 23 0 0 25 0 1 0 11641517 38338560 6933 1992294400 134512640 137138936 4293274832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 9360 6933 192 642 0 8716 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 37440

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18498
/proc/meminfo: memFree=1696588/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40200 CPUtime=162.24
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7708 0 0 0 16191 33 0 0 25 0 1 0 11641517 41164800 7617 1992294400 134512640 137138936 4293274832 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10050 7617 192 642 0 9406 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 40200

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18500
/proc/meminfo: memFree=1696464/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40144 CPUtime=222.23
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7708 0 0 0 22178 45 0 0 25 0 1 0 11641517 41107456 7612 1992294400 134512640 137138936 4293274832 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10036 7612 192 642 0 9392 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 40144

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18502
/proc/meminfo: memFree=1696464/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40140 CPUtime=282.22
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7708 0 0 0 28163 59 0 0 25 0 1 0 11641517 41103360 7611 1992294400 134512640 137138936 4293274832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10035 7611 192 642 0 9391 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 40140

[startup+342.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18504
/proc/meminfo: memFree=1696340/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40136 CPUtime=342.2
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7708 0 0 0 34150 70 0 0 25 0 1 0 11641517 41099264 7610 1992294400 134512640 137138936 4293274832 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10034 7610 192 642 0 9390 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 40136

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18506
/proc/meminfo: memFree=1696340/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40136 CPUtime=402.18
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7708 0 0 0 40138 80 0 0 25 0 1 0 11641517 41099264 7610 1992294400 134512640 137138936 4293274832 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10034 7610 192 642 0 9390 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 40136

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18506
/proc/meminfo: memFree=1696340/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40132 CPUtime=462.17
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7708 0 0 0 46127 90 0 0 25 0 1 0 11641517 41095168 7609 1992294400 134512640 137138936 4293274832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10033 7609 192 642 0 9389 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 40132

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18508
/proc/meminfo: memFree=1696216/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40128 CPUtime=522.15
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7708 0 0 0 52116 99 0 0 25 0 1 0 11641517 41091072 7608 1992294400 134512640 137138936 4293274832 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10032 7608 192 642 0 9388 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 40128

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18519
/proc/meminfo: memFree=1695720/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40128 CPUtime=582.13
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7708 0 0 0 58103 110 0 0 25 0 1 0 11641517 41091072 7608 1992294400 134512640 137138936 4293274832 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10032 7608 192 642 0 9388 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 40128

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18521
/proc/meminfo: memFree=1695720/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40128 CPUtime=642.11
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7708 0 0 0 64091 120 0 0 25 0 1 0 11641517 41091072 7608 1992294400 134512640 137138936 4293274832 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10032 7608 192 642 0 9388 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 40128

[startup+702.301 s]

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

/proc/meminfo: memFree=1695348/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40136 CPUtime=1121.99
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7710 0 0 0 111999 200 0 0 25 0 1 0 11641517 41099264 7610 1992294400 134512640 137138936 4293274832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10034 7610 192 642 0 9390 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 40136

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18535
/proc/meminfo: memFree=1695348/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40136 CPUtime=1181.97
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7710 0 0 0 117990 207 0 0 25 0 1 0 11641517 41099264 7610 1992294400 134512640 137138936 4293274832 18446744073709551615 136297749 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10034 7610 192 642 0 9390 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 40136

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18537
/proc/meminfo: memFree=1695100/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40136 CPUtime=1241.95
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7710 0 0 0 123976 219 0 0 25 0 1 0 11641517 41099264 7610 1992294400 134512640 137138936 4293274832 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10034 7610 192 642 0 9390 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 40136

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18539
/proc/meminfo: memFree=1694976/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40136 CPUtime=1301.94
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7710 0 0 0 129963 231 0 0 25 0 1 0 11641517 41099264 7610 1992294400 134512640 137138936 4293274832 18446744073709551615 134607086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10034 7610 192 642 0 9390 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 40136

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18539
/proc/meminfo: memFree=1694976/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40136 CPUtime=1361.92
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7710 0 0 0 135951 241 0 0 25 0 1 0 11641517 41099264 7610 1992294400 134512640 137138936 4293274832 18446744073709551615 134618517 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10034 7610 192 642 0 9390 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 40136

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18541
/proc/meminfo: memFree=1695100/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40136 CPUtime=1421.91
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7710 0 0 0 141939 252 0 0 25 0 1 0 11641517 41099264 7610 1992294400 134512640 137138936 4293274832 18446744073709551615 134618924 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10034 7610 192 642 0 9390 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 40136

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18543
/proc/meminfo: memFree=1694976/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40128 CPUtime=1481.89
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7710 0 0 0 147928 261 0 0 25 0 1 0 11641517 41091072 7608 1992294400 134512640 137138936 4293274832 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10032 7608 192 642 0 9388 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 40128

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18545
/proc/meminfo: memFree=1694976/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40124 CPUtime=1541.88
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7710 0 0 0 153916 272 0 0 25 0 1 0 11641517 41086976 7607 1992294400 134512640 137138936 4293274832 18446744073709551615 134573844 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10031 7607 192 642 0 9387 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 40124

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18547
/proc/meminfo: memFree=1694976/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40120 CPUtime=1601.86
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7710 0 0 0 159903 283 0 0 25 0 1 0 11641517 41082880 7606 1992294400 134512640 137138936 4293274832 18446744073709551615 136504035 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10030 7606 192 642 0 9386 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 40120

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18547
/proc/meminfo: memFree=1694852/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40120 CPUtime=1661.85
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7710 0 0 0 165890 295 0 0 25 0 1 0 11641517 41082880 7606 1992294400 134512640 137138936 4293274832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10030 7606 192 642 0 9386 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 40120

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18549
/proc/meminfo: memFree=1694728/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40116 CPUtime=1721.82
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7710 0 0 0 171875 307 0 0 25 0 1 0 11641517 41078784 7605 1992294400 134512640 137138936 4293274832 18446744073709551615 136502661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10029 7605 192 642 0 9385 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 40116

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18551
/proc/meminfo: memFree=1694604/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40108 CPUtime=1781.81
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7710 0 0 0 177864 317 0 0 25 0 1 0 11641517 41070592 7603 1992294400 134512640 137138936 4293274832 18446744073709551615 136501664 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10027 7603 192 642 0 9383 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 40108

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18551
/proc/meminfo: memFree=1694604/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40108 CPUtime=1791.42
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7710 0 0 0 178823 319 0 0 25 0 1 0 11641517 41070592 7603 1992294400 134512640 137138936 4293274832 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10027 7603 192 642 0 9383 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 40108

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18551
/proc/meminfo: memFree=1694604/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40108 CPUtime=1794.61
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7710 0 0 0 179142 319 0 0 25 0 1 0 11641517 41070592 7603 1992294400 134512640 137138936 4293274832 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10027 7603 192 642 0 9383 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 40108

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18551
/proc/meminfo: memFree=1694604/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40108 CPUtime=1796.21
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7710 0 0 0 179301 320 0 0 25 0 1 0 11641517 41070592 7603 1992294400 134512640 137138936 4293274832 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10027 7603 192 642 0 9383 0
Current children cumulated CPU time (s) 1796.21
Current children cumulated vsize (KiB) 40108

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18551
/proc/meminfo: memFree=1694604/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40108 CPUtime=1797.01
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7710 0 0 0 179381 320 0 0 25 0 1 0 11641517 41070592 7603 1992294400 134512640 137138936 4293274832 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10027 7603 192 642 0 9383 0
Current children cumulated CPU time (s) 1797.01
Current children cumulated vsize (KiB) 40108

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18551
/proc/meminfo: memFree=1694604/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40108 CPUtime=1797.41
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7710 0 0 0 179421 320 0 0 25 0 1 0 11641517 41070592 7603 1992294400 134512640 137138936 4293274832 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10027 7603 192 642 0 9383 0
Current children cumulated CPU time (s) 1797.41
Current children cumulated vsize (KiB) 40108

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18551
/proc/meminfo: memFree=1694604/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40108 CPUtime=1797.81
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7710 0 0 0 179461 320 0 0 25 0 1 0 11641517 41070592 7603 1992294400 134512640 137138936 4293274832 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10027 7603 192 642 0 9383 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 40108

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 0.91 2/106 18551
/proc/meminfo: memFree=1694604/2059040 swapFree=4164960/4192956
[pid=18493] ppid=18491 vsize=40108 CPUtime=1797.91
/proc/18493/stat : 18493 (bsolo_pb10) R 18491 18493 18007 0 -1 4202496 7710 0 0 0 179471 320 0 0 25 0 1 0 11641517 41070592 7603 1992294400 134512640 137138936 4293274832 18446744073709551615 134542378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18493/statm: 10027 7603 192 642 0 9383 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 40108

Child status: 0
Real time (s): 1798.49
CPU time (s): 1798
CPU user time (s): 1794.79
CPU system time (s): 3.21051
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 40200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.79
system time used= 3.21051
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7711
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= 1
involuntary context switches= 3482

runsolver used 3.05653 second user time and 8.40372 second system time

The end

Launcher Data 

Begin job on node087 at 2010-06-16 17:51:20
IDJOB=2670609
IDBENCH=48021
IDSOLVER=1162
FILE ID=node087/2670609-1276703480
PBS_JOBID= 11174079
Free space on /tmp= 62556 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=349-P1=101-P2=17-P3=271-P4=11-P5=179-P6=127-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670609-1276703480/watcher-2670609-1276703480 -o /tmp/evaluation-result-2670609-1276703480/solver-2670609-1276703480 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670609-1276703480.opb

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

MD5SUM BENCH= 133707692e98c55077a0d19203c18204
RANDOM SEED=730478114

node087.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.213
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.42
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.213
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.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1727504 kB
Buffers:         83772 kB
Cached:         137028 kB
SwapCached:       1016 kB
Active:          98308 kB
Inactive:       155384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1727504 kB
SwapTotal:     4192956 kB
SwapFree:      4164960 kB
Dirty:            3976 kB
Writeback:           0 kB
AnonPages:       31940 kB
Mapped:          14680 kB
Slab:            56196 kB
PageTables:       4004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182248 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-2670609-1276703480.opb

Free space on /tmp at the end= 62552 MiB
End job on node087 at 2010-06-16 18:21:18