Trace number 1876759

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 1798.77

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_2.opb
MD5SUM597624b9879736416e28e0a242fe0005
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 benchmark10.3274
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 constraint20
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)1260
Sum of products size (including duplicates)2520
Number of different products630
Sum of products size1260

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-1876759-1245198690.opb
0.00/0.00	c File size is 49758 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.007 s
0.00/0.00	c Var: 730 Constr: 1460 730/100/630 Lit: 6300 Watch. Lit: 4410
0.00/0.00	c Obj. Vars: 100 (13.6986 % 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      630     1890    3     1260     209      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
0.00/0.01	o -22
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c        0    100      631     1990    3     1284     976      1      0 0.01
0.00/0.07	c      100    100      731     9444   12     1484    1074    101   3703 0.03
0.00/0.07	c      350    100      981    28086   28     1984    1182    351   5384 0.07
0.00/0.07	o -23
0.39/0.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.46	c      384    100     1016    30728   30     2077    1009    386   5485 0.07
0.39/0.46	c      485    100     1117    38182   34     2279    1110    487   5574 0.09
0.39/0.46	c      736    100     1368    56589   41     2781    1222    738   5795 0.13
0.39/0.46	c     1211    100     1845    91518   49     3735    1345   1215   5658 0.21
0.39/0.46	c     2025    100     1304    50765   38     2631    1480    674   4844 0.42
0.39/0.46	o -24
10.79/10.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.79/10.84	c     2254    100     1534    67713   44     3115    1043    904   4900 0.46
10.79/10.84	c     2354    100     1634    74961   45     3315    1148   1004   4914 0.48
10.79/10.84	c     2604    100     1884    93030   49     3815    1263   1254   4969 0.52
10.79/10.84	c     3079    100     2360   127407   53     4767    1390   1730   4926 0.62
10.79/10.84	c     3893    100     1773    84385   47     3570    1530   1143   4800 0.81
10.79/10.84	c     5213    100     1637    74459   45     3298    1684   1007   4743 1.10
10.79/10.84	c     7295    100     2179   112870   51     4382    1853   1549   4596 1.59
10.79/10.84	c    10518    100     2153   110366   51     4330    2039   1523   4315 2.44
10.79/10.84	c    15454    100     1964    97259   49     3952    2243   1334   4074 3.79
10.79/10.84	c    22960    100     2202   114464   51     4428    2468   1572   3901 5.88
10.79/10.84	c    34321    100     1976    96925   49     3976    2715   1346   3660 9.38
10.79/10.84	o -25
720.79/721.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
720.79/721.19	c    39489    100     3038   174632   57     6125    1076   2408   3644 10.84
720.79/721.19	c    39589    100     1269    47461   37     2563    1184    639   3644 10.86
720.79/721.19	c    39839    100     1519    65295   42     3063    1303    889   3652 10.91
720.79/721.19	c    40315    100     1995    99271   49     4015    1434   1365   3665 11.00
720.79/721.19	c    41128    100     1391    55667   40     2807    1578    761   3673 11.20
720.79/721.19	c    42449    100     2714   149993   55     5453    1736   2084   3707 11.45
720.79/721.19	c    44530    100     1652    73747   44     3329    1910   1022   3713 11.99
720.79/721.19	c    47753    100     1586    69448   43     3197    2102    956   3702 12.90
720.79/721.19	c    52689    100     3027   171912   56     6079    2313   2397   3707 14.21
720.79/721.19	c    60195    100     3110   176013   56     6245    2545   2480   3666 16.42
720.79/721.19	c    71557    100     2656   145087   54     5337    2800   2026   3616 19.79
720.79/721.19	c    88701    100     3055   173396   56     6135    3081   2425   3465 25.60
720.79/721.19	c   114521    100     4278   260320   60     8604    3390   3648   3301 34.69
720.79/721.19	c   153354    100     2539   133995   52     5103    3730   1909   3182 48.19
720.79/721.19	c   211706    100     4674   285047   60     9396    4104   4044   3012 70.27
720.79/721.19	c   299338    100     4696   289423   61     9417    4515   4066   2823 106.00
720.79/721.19	c   430890    100     3817   226516   59     7703    4967   3187   2656 162.19
720.79/721.19	c   628322    100     4848   299269   61     9721    5464   4218   2483 252.99
720.79/721.19	c   924574    100     3995   238833   59     8015    6011   3365   2310 400.11
720.79/721.19	c  1369057    100     6188   394660   63    12401    6613   5558   2137 640.60
720.79/721.19	o -26
1797.93/1798.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1798.76	c  1508519    100     6052   386425   63    12155    1109   5422   2092 720.89
1797.93/1798.76	c  1508619    100     1286    47964   37     2598    1220    656   2092 720.96
1797.93/1798.76	c  1508869    100     1536    65543   42     3098    1343    906   2092 721.00
1797.93/1798.76	c  1509344    100     2011    99001   49     4048    1478   1381   2093 721.09
1797.93/1798.76	c  1510157    100     1389    54876   39     2804    1626    759   2093 721.26
1797.93/1798.76	c  1511477    100     2713   147606   54     5452    1789   2083   2094 721.55
1797.93/1798.76	c  1513559    100     1614    70475   43     3254    1968    984   2096 722.02
1797.93/1798.76	c  1516784    100     3162   179111   56     6350    2165   2532   2098 722.86
1797.93/1798.76	c  1521720    100     2778   150740   54     5606    2382   2148   2100 724.34
1797.93/1798.76	c  1529226    100     2745   149203   54     5516    2621   2115   2105 726.33
1797.93/1798.76	c  1540587    100     2075   102146   49     4176    2884   1445   2111 729.59
1797.93/1798.76	c  1557732    100     2125   105366   49     4276    3173   1495   2120 734.75
1797.93/1798.76	c  1583551    100     2900   160001   55     5826    3491   2270   2129 743.47
1797.93/1798.76	c  1622383    100     2751   148748   54     5528    3841   2121   2142 757.07
1797.93/1798.76	c  1680736    100     3725   215182   57     7476    4226   3095   2158 778.62
1797.93/1798.76	c  1768369    100     4605   277063   60     9260    4649   3975   2171 814.51
1797.93/1798.76	c  1899921    100     3806   222651   58     7638    5114   3176   2182 870.45
1797.93/1798.76	c  2097353    100     3518   201055   57     7062    5626   2888   2176 963.76
1797.93/1798.76	c  2393605    100     6124   382574   62    12274    6189   5494   2142 1117.42
1797.93/1798.76	c  2838088     99     5396   327780   60    10841    6808   4766   2098 1352.34
1797.93/1798.76	c  3504915     99     6668   416619   62    13361    7489   6038   2020 1734.71
1797.93/1798.76	c Resources Exceeded
1797.93/1798.76	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 x66 -x67 x68 -x69 x70 -x71 x72 -x73 x74 x75 x76 -x77 x78 -x79 -x80 x81 -x82 -x83 x84 -x85 -x86 x87 -x88 -x89 -x90 x91 x92 -x93 x94 x95 -x96 x97 -x98 x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 
1797.93/1798.76	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.76	c   60  3600584 212171  3848572     4966   299773   4336   2002 1798.00
1797.93/1798.76	c Objective: -26
1797.93/1798.76	s SATISFIABLE
1797.93/1798.76	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-1876759-1245198690/watcher-1876759-1245198690 -o /tmp/evaluation-result-1876759-1245198690/solver-1876759-1245198690 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1876759-1245198690.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.03 1.01 1.00 3/65 12726
/proc/meminfo: memFree=1805560/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=10756 CPUtime=0
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 256 0 0 0 0 0 0 0 18 0 1 0 187466976 11014144 240 1992294400 134512640 137136520 4294956256 18446744073709551615 136525852 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 2689 240 175 640 0 2032 0

[startup+0.081933 s]
/proc/loadavg: 1.03 1.01 1.00 3/65 12726
/proc/meminfo: memFree=1805560/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=11340 CPUtime=0.08
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 451 0 0 0 8 0 0 0 18 0 1 0 187466976 11612160 422 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 2835 422 197 640 0 2191 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11340

[startup+0.101935 s]
/proc/loadavg: 1.03 1.01 1.00 3/65 12726
/proc/meminfo: memFree=1805560/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=11460 CPUtime=0.1
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 479 0 0 0 10 0 0 0 18 0 1 0 187466976 11735040 450 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 2865 450 197 640 0 2221 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11460

[startup+0.301957 s]
/proc/loadavg: 1.03 1.01 1.00 3/65 12726
/proc/meminfo: memFree=1805560/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=12552 CPUtime=0.29
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 737 0 0 0 29 0 0 0 19 0 1 0 187466976 12853248 708 1992294400 134512640 137136520 4294956256 18446744073709551615 134616487 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 3138 708 197 640 0 2494 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12552

[startup+0.702002 s]
/proc/loadavg: 1.03 1.01 1.00 3/65 12726
/proc/meminfo: memFree=1805560/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=12912 CPUtime=0.69
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 852 0 0 0 69 0 0 0 23 0 1 0 187466976 13221888 823 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 3228 823 197 640 0 2584 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12912

[startup+1.50109 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 12727
/proc/meminfo: memFree=1802992/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=13284 CPUtime=1.49
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 935 0 0 0 149 0 0 0 25 0 1 0 187466976 13602816 906 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 3321 906 198 640 0 2677 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13284

[startup+3.10127 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 12727
/proc/meminfo: memFree=1802416/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=13648 CPUtime=3.08
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 1025 0 0 0 308 0 0 0 25 0 1 0 187466976 13975552 996 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 3412 996 198 640 0 2768 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13648

[startup+6.30163 s]
/proc/loadavg: 1.11 1.03 1.01 2/66 12727
/proc/meminfo: memFree=1801840/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=14140 CPUtime=6.29
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 1137 0 0 0 627 2 0 0 25 0 1 0 187466976 14479360 1108 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 3535 1108 198 640 0 2891 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14140

[startup+12.7013 s]
/proc/loadavg: 1.10 1.03 1.00 2/66 12727
/proc/meminfo: memFree=1801264/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=14384 CPUtime=12.69
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 1200 0 0 0 1265 4 0 0 25 0 1 0 187466976 14729216 1171 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 3596 1171 198 640 0 2952 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14384

[startup+25.5018 s]
/proc/loadavg: 1.08 1.03 1.00 2/66 12727
/proc/meminfo: memFree=1801264/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=14368 CPUtime=25.47
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 1212 0 0 0 2540 7 0 0 25 0 1 0 187466976 14712832 1183 1992294400 134512640 137136520 4294956256 18446744073709551615 136509112 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 3592 1183 198 640 0 2948 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 14368

[startup+51.1016 s]
/proc/loadavg: 1.05 1.02 1.00 2/66 12727
/proc/meminfo: memFree=1800496/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=15340 CPUtime=51.07
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 1446 0 0 0 5092 15 0 0 25 0 1 0 187466976 15708160 1417 1992294400 134512640 137136520 4294956256 18446744073709551615 134617032 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 3835 1417 198 640 0 3191 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 15340

[startup+102.305 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 12727
/proc/meminfo: memFree=1800048/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=15716 CPUtime=102.26
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 1549 0 0 0 10195 31 0 0 25 0 1 0 187466976 16093184 1520 1992294400 134512640 137136520 4294956256 18446744073709551615 134543858 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 3929 1520 198 640 0 3285 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 15716

[startup+162.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 12727
/proc/meminfo: memFree=1799536/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=16184 CPUtime=162.22
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 1655 0 0 0 16178 44 0 0 25 0 1 0 187466976 16572416 1626 1992294400 134512640 137136520 4294956256 18446744073709551615 134571359 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4046 1626 198 640 0 3402 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 16184

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 12727
/proc/meminfo: memFree=1799088/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=16636 CPUtime=222.2
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 1770 0 0 0 22163 57 0 0 25 0 1 0 187466976 17035264 1741 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4159 1741 198 640 0 3515 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 16636

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12727
/proc/meminfo: memFree=1798512/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=17128 CPUtime=282.17
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 1897 0 0 0 28149 68 0 0 25 0 1 0 187466976 17539072 1868 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4282 1868 198 640 0 3638 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 17128

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12727
/proc/meminfo: memFree=1798512/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=17128 CPUtime=342.15
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 1897 0 0 0 34135 80 0 0 25 0 1 0 187466976 17539072 1868 1992294400 134512640 137136520 4294956256 18446744073709551615 134544515 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4282 1868 198 640 0 3638 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 17128

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12727
/proc/meminfo: memFree=1798192/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=17620 CPUtime=402.13
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2025 0 0 0 40121 92 0 0 25 0 1 0 187466976 18042880 1996 1992294400 134512640 137136520 4294956256 18446744073709551615 134598536 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4405 1996 198 640 0 3761 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 17620

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12727
/proc/meminfo: memFree=1798000/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=17724 CPUtime=462.1
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2039 0 0 0 46109 101 0 0 25 0 1 0 187466976 18149376 2010 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4431 2010 198 640 0 3787 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 17724

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12727
/proc/meminfo: memFree=1798000/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=17708 CPUtime=522.07
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2039 0 0 0 52094 113 0 0 25 0 1 0 187466976 18132992 2010 1992294400 134512640 137136520 4294956256 18446744073709551615 136509008 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4427 2010 198 640 0 3783 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 17708

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12727
/proc/meminfo: memFree=1798000/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=17704 CPUtime=582.04
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2039 0 0 0 58079 125 0 0 25 0 1 0 187466976 18128896 2010 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4426 2010 198 640 0 3782 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 17704

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12727
/proc/meminfo: memFree=1797424/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=18308 CPUtime=642.03
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2181 0 0 0 64065 138 0 0 25 0 1 0 187466976 18747392 2152 1992294400 134512640 137136520 4294956256 18446744073709551615 136295683 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4577 2152 198 640 0 3933 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 18308

[startup+702.301 s]

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

/proc/meminfo: memFree=1797360/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=17948 CPUtime=1061.84
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2191 0 0 0 105959 225 0 0 25 0 1 0 187466976 18378752 2086 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4487 2086 198 640 0 3843 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 17948

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12727
/proc/meminfo: memFree=1797424/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=17948 CPUtime=1121.81
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2191 0 0 0 111945 236 0 0 25 0 1 0 187466976 18378752 2086 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4487 2086 198 640 0 3843 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 17948

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12727
/proc/meminfo: memFree=1797360/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=17948 CPUtime=1181.79
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2191 0 0 0 117930 249 0 0 25 0 1 0 187466976 18378752 2086 1992294400 134512640 137136520 4294956256 18446744073709551615 134543951 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4487 2086 198 640 0 3843 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 17948

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12727
/proc/meminfo: memFree=1797232/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=17948 CPUtime=1241.75
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2191 0 0 0 123914 261 0 0 25 0 1 0 187466976 18378752 2086 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4487 2086 198 640 0 3843 0
Current children cumulated CPU time (s) 1241.75
Current children cumulated vsize (KiB) 17948

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12729
/proc/meminfo: memFree=1797040/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=17948 CPUtime=1301.73
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2191 0 0 0 129901 272 0 0 25 0 1 0 187466976 18378752 2086 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4487 2086 198 640 0 3843 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 17948

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12729
/proc/meminfo: memFree=1797040/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=18200 CPUtime=1361.7
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2241 0 0 0 135884 286 0 0 25 0 1 0 187466976 18636800 2136 1992294400 134512640 137136520 4294956256 18446744073709551615 136502385 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4550 2136 198 640 0 3906 0
Current children cumulated CPU time (s) 1361.7
Current children cumulated vsize (KiB) 18200

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12729
/proc/meminfo: memFree=1796976/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=18312 CPUtime=1421.68
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2260 0 0 0 141871 297 0 0 25 0 1 0 187466976 18751488 2155 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4578 2155 198 640 0 3934 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 18312

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12729
/proc/meminfo: memFree=1796976/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=18304 CPUtime=1481.66
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2271 0 0 0 147857 309 0 0 25 0 1 0 187466976 18743296 2166 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4576 2166 198 640 0 3932 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 18304

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12729
/proc/meminfo: memFree=1796976/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=18304 CPUtime=1541.63
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2271 0 0 0 153842 321 0 0 25 0 1 0 187466976 18743296 2166 1992294400 134512640 137136520 4294956256 18446744073709551615 134544714 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4576 2166 198 640 0 3932 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 18304

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12729
/proc/meminfo: memFree=1796976/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=18304 CPUtime=1601.6
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2271 0 0 0 159829 331 0 0 25 0 1 0 187466976 18743296 2166 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4576 2166 198 640 0 3932 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 18304

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12729
/proc/meminfo: memFree=1796976/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=18304 CPUtime=1661.59
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2271 0 0 0 165816 343 0 0 25 0 1 0 187466976 18743296 2166 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4576 2166 198 640 0 3932 0
Current children cumulated CPU time (s) 1661.59
Current children cumulated vsize (KiB) 18304

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12729
/proc/meminfo: memFree=1796976/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=18304 CPUtime=1721.57
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2271 0 0 0 171801 356 0 0 25 0 1 0 187466976 18743296 2166 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4576 2166 198 640 0 3932 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 18304

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12735
/proc/meminfo: memFree=1796008/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=19016 CPUtime=1781.54
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2440 0 0 0 177788 366 0 0 25 0 1 0 187466976 19472384 2335 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4754 2335 198 640 0 4110 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (KiB) 19016

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12735
/proc/meminfo: memFree=1796136/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=19016 CPUtime=1791.13
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2440 0 0 0 178746 367 0 0 25 0 1 0 187466976 19472384 2335 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4754 2335 198 640 0 4110 0
Current children cumulated CPU time (s) 1791.13
Current children cumulated vsize (KiB) 19016

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12735
/proc/meminfo: memFree=1796136/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=19012 CPUtime=1794.34
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2440 0 0 0 179066 368 0 0 25 0 1 0 187466976 19468288 2335 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4753 2335 198 640 0 4109 0
Current children cumulated CPU time (s) 1794.34
Current children cumulated vsize (KiB) 19012

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12735
/proc/meminfo: memFree=1796136/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=19012 CPUtime=1795.93
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2440 0 0 0 179225 368 0 0 25 0 1 0 187466976 19468288 2335 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4753 2335 198 640 0 4109 0
Current children cumulated CPU time (s) 1795.93
Current children cumulated vsize (KiB) 19012

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12735
/proc/meminfo: memFree=1796136/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=19012 CPUtime=1796.73
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2440 0 0 0 179305 368 0 0 25 0 1 0 187466976 19468288 2335 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4753 2335 198 640 0 4109 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 19012

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12735
/proc/meminfo: memFree=1796136/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=19012 CPUtime=1797.53
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2440 0 0 0 179385 368 0 0 25 0 1 0 187466976 19468288 2335 1992294400 134512640 137136520 4294956256 18446744073709551615 136518903 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4753 2335 198 640 0 4109 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 19012

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12735
/proc/meminfo: memFree=1796136/2055920 swapFree=4180892/4192956
[pid=12726] ppid=12724 vsize=19012 CPUtime=1797.93
/proc/12726/stat : 12726 (bsolo) R 12724 12726 11274 0 -1 4194304 2440 0 0 0 179425 368 0 0 25 0 1 0 187466976 19468288 2335 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/12726/statm: 4753 2335 198 640 0 4109 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 19012

Child status: 0
Real time (s): 1798.77
CPU time (s): 1798
CPU user time (s): 1794.32
CPU system time (s): 3.68644
CPU usage (%): 99.9575
Max. virtual memory (cumulated for all children) (KiB): 19020

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

runsolver used 2.16667 second user time and 3.62045 second system time

The end

Launcher Data 

Begin job on node87 at 2009-06-17 02:31:30
IDJOB=1876759
IDBENCH=48169
IDSOLVER=699
FILE ID=node87/1876759-1245198690
PBS_JOBID= 9368302
Free space on /tmp= 66540 MiB

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

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

MD5SUM BENCH= 597624b9879736416e28e0a242fe0005
RANDOM SEED=341261227

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1806112 kB
Buffers:         54672 kB
Cached:         129008 kB
SwapCached:       6176 kB
Active:          77560 kB
Inactive:       114812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1806112 kB
SwapTotal:     4192956 kB
SwapFree:      4180892 kB
Dirty:            3952 kB
Writeback:           0 kB
Mapped:          14440 kB
Slab:            43356 kB
Committed_AS:    99068 kB
PageTables:       1468 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-1876759-1245198690.opb

Free space on /tmp at the end= 66536 MiB
End job on node87 at 2009-06-17 03:01:29