Trace number 2657194

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 CardSAT68 1798.06 1798.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C880.b.opb
MD5SUMd95d18eb9f9494c32273975c1bc570ba
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark63
Best CPU time to get the best result obtained on this benchmark0.6509
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 63
Optimality of the best value was proved YES
Number of variables756
Total number of constraints1853
Number of constraints which are clauses1853
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint80
Number of terms in the objective function 756
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 756
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 756
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-2657194-1276595365.opb
0.00/0.00	c File size is 166800 bytes.
0.00/0.02	c Highest Coefficient sum: 756
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.026 s
0.00/0.02	c Var: 756 Constr: 1853 1853/0/0 Lit: 19125 Watch. Lit: 3689
0.00/0.02	c Obj. Vars: 756 (100 % of total variables)
0.04/0.07	c Formula reductions applied at preprocessing
0.04/0.07	c Pre-processing Time: 0.072 s
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        0    612     1235    16248   13     2470     411      0      0 0.07
0.09/0.16	c Initial Lower Bound: 62
0.09/0.16	c Initial Path Cost: 19
0.09/0.17	o 83
1.49/1.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.58	c        1    612     1238    16898   13     3024    1411      3      5 0.17
1.49/1.58	o 76
17.38/17.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.38/17.42	c        2    612     1240    17514   14     3583    1411      5      1 1.58
17.38/17.42	c      116    612     1573   101429   64     4249    1553    338     28 4.11
17.38/17.42	c      366    612     2178   256740  117     5459    1709    943     46 7.86
17.38/17.42	c      841    612     2161   282561  130     4877    1880    926     53 15.84
17.38/17.42	o 75
18.89/18.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.89/18.90	c      844    612     2167   284178  131     5445    1411    932     48 17.42
18.89/18.90	o 74
20.19/20.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
20.19/20.24	c      848    612     2176   286824  131     6020    1411    941     44 18.90
20.19/20.24	o 73
21.39/21.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
21.39/21.49	c      856    612     2195   293146  133     6616    1411    960     42 20.23
21.39/21.49	o 72
98.46/98.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
98.46/98.50	c      861    612     2209   298146  134     7203    1411    974     40 21.48
98.46/98.50	c      971    612     2524   401433  159     7833    1553   1289     41 23.50
98.46/98.50	c     1222    612     2014   265662  131     4587    1709    779     45 26.95
98.46/98.50	c     1699    612     2092   300054  143     4743    1880    857     53 31.91
98.46/98.50	c     2519    612     2893   509823  176     6345    2069   1658     61 40.84
98.46/98.50	c     3843    612     2271   328128  144     5101    2276   1036     70 54.71
98.46/98.50	c     5924    612     3299   604027  183     7157    2504   2064     80 73.95
98.46/98.50	o 71
103.17/103.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
103.17/103.25	c     8185    612     2796   482680  172     6711    1411   1561     83 98.47
103.17/103.25	c     8286    612     2214   297068  134     4988    1553    979     82 100.55
103.17/103.25	o 70
108.06/108.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
108.06/108.17	c     8404    612     2537   385482  151     6195    1411   1302     81 103.23
108.06/108.17	c     8511    612     1943   215271  110     4447    1553    708     81 105.05
108.06/108.17	o 69
167.24/167.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
167.24/167.32	c     8692    612     2427   368921  152     5977    1411   1192     80 108.15
167.24/167.32	c     8792    612     2705   435789  161     6533    1553   1470     79 110.27
167.24/167.32	c     9053    612     2241   293011  130     5044    1709   1006     79 113.47
167.24/167.32	c     9528    612     2252   301632  133     5066    1880   1017     80 118.91
167.24/167.32	c    10345    612     2824   410346  145     6210    2069   1589     80 127.86
167.24/167.32	c    11665    612     2282   290261  127     5126    2276   1047     81 142.47
167.24/167.32	c    13750    612     3410   575876  168     7382    2504   2175     84 162.63
167.24/167.32	o 68
1798.02/1798.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.02/1798.62	c    14097    612     2663   387691  145     6451    1411   1428     84 167.27
1798.02/1798.62	c    14203    612     1944   194916  100     4451    1553    709     83 169.09
1798.02/1798.62	c    14453    612     2656   348578  131     5875    1709   1421     83 172.13
1798.02/1798.62	c    14934    612     2784   358426  128     6131    1880   1549     84 177.57
1798.02/1798.62	c    15755    612     2416   228703   94     5395    2069   1181     84 186.48
1798.02/1798.62	c    17076    612     3142   366224  116     6847    2276   1907     85 200.19
1798.02/1798.62	c    19157    612     2800   340315  121     6163    2504   1565     85 223.07
1798.02/1798.62	c    22384    612     3653   509498  139     7869    2755   2418     87 257.05
1798.02/1798.62	c    27331    612     3571   472706  132     7705    3031   2336     88 307.61
1798.02/1798.62	c    34846    612     3769   550079  145     8101    3335   2534     90 384.56
1798.02/1798.62	c    46209    612     4554   821924  180     9671    3669   3319     89 517.06
1798.02/1798.62	c    63367    612     4765   614311  128    10093    4036   3530     88 713.34
1798.02/1798.62	c    89194    612     3855   597329  154     8273    4440   2620     93 955.75
1798.02/1798.62	c   128028    612     3459   500316  144     7481    4885   2224     97 1312.13
1798.02/1798.62	c Resources Exceeded
1798.02/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 -x725 -x726 -x727 -x728 -x729 x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 x744 -x745 -x746 -x747 -x748 -x749 x750 -x751 x752 -x753 -x754 -x755 -x756 
1798.02/1798.62	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.02/1798.62	c   40   167156  13890   211244     4305   506778   3070     92 1798.05
1798.02/1798.62	c Objective: 68
1798.02/1798.62	s SATISFIABLE
1798.02/1798.62	c Total time: 1798.05 s

Verifier Data 

OK	68

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657194-1276595365/watcher-2657194-1276595365 -o /tmp/evaluation-result-2657194-1276595365/solver-2657194-1276595365 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2657194-1276595365.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.99 1.00 1.00 2/105 10985
/proc/meminfo: memFree=1445932/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=10956 CPUtime=0
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 829988 11218944 250 1992294400 134512640 137138936 4289127680 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 2739 250 177 642 0 2054 0

[startup+0.0459851 s]
/proc/loadavg: 0.99 1.00 1.00 2/105 10985
/proc/meminfo: memFree=1445932/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=11460 CPUtime=0.04
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 550 0 0 0 4 0 0 0 25 0 1 0 829988 11735040 428 1992294400 134512640 137138936 4289127680 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 2865 428 185 642 0 2221 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11460

[startup+0.100992 s]
/proc/loadavg: 0.99 1.00 1.00 2/105 10985
/proc/meminfo: memFree=1445932/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=11808 CPUtime=0.09
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 1050 0 0 0 9 0 0 0 25 0 1 0 829988 12091392 523 1992294400 134512640 137138936 4289127680 18446744073709551615 134709219 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 2902 505 218 642 0 2258 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11808

[startup+0.301014 s]
/proc/loadavg: 0.99 1.00 1.00 2/105 10985
/proc/meminfo: memFree=1445932/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=13652 CPUtime=0.29
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 5940 0 0 0 27 2 0 0 25 0 1 0 829988 13979648 719 1992294400 134512640 137138936 4289127680 18446744073709551615 134730894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 3413 719 286 642 0 2769 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13652

[startup+0.701057 s]
/proc/loadavg: 0.99 1.00 1.00 2/105 10985
/proc/meminfo: memFree=1445932/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=13764 CPUtime=0.69
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 18796 0 0 0 64 5 0 0 25 0 1 0 829988 14094336 742 1992294400 134512640 137138936 4289127680 18446744073709551615 135080982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 3441 742 286 642 0 2797 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13764

[startup+1.50115 s]
/proc/loadavg: 1.15 1.03 1.01 2/106 10986
/proc/meminfo: memFree=1443568/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=13116 CPUtime=1.49
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 46085 0 0 0 140 9 0 0 25 0 1 0 829988 13430784 702 1992294400 134512640 137138936 4289127680 18446744073709551615 135376719 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 3279 705 286 642 0 2635 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13116

[startup+3.10132 s]
/proc/loadavg: 1.15 1.03 1.01 2/106 10986
/proc/meminfo: memFree=1443444/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=13540 CPUtime=3.09
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 98926 0 0 0 289 20 0 0 25 0 1 0 829988 13864960 717 1992294400 134512640 137138936 4289127680 18446744073709551615 135455892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 3385 717 287 642 0 2741 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13540

[startup+6.30167 s]
/proc/loadavg: 1.14 1.03 1.01 2/106 10986
/proc/meminfo: memFree=1442576/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=13348 CPUtime=6.29
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 229061 0 0 0 578 51 0 0 25 0 1 0 829988 13668352 1009 1992294400 134512640 137138936 4289127680 18446744073709551615 134750188 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 3337 1009 287 642 0 2693 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13348

[startup+12.7014 s]
/proc/loadavg: 1.13 1.03 1.01 2/106 10986
/proc/meminfo: memFree=1438608/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=18808 CPUtime=12.68
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 506119 0 0 0 1149 119 0 0 25 0 1 0 829988 19259392 2056 1992294400 134512640 137138936 4289127680 18446744073709551615 135456378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 4702 2056 287 642 0 4058 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18808

[startup+25.5008 s]
/proc/loadavg: 1.18 1.05 1.01 2/106 10986
/proc/meminfo: memFree=1435012/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=20168 CPUtime=25.48
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 786725 0 0 0 2354 194 0 0 25 0 1 0 829988 20652032 2714 1992294400 134512640 137138936 4289127680 18446744073709551615 134625305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 5042 2714 287 642 0 4398 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20168

[startup+51.1006 s]
/proc/loadavg: 1.27 1.07 1.02 2/106 10988
/proc/meminfo: memFree=1432780/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=23920 CPUtime=51.08
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 1084509 0 0 0 4827 281 0 0 25 0 1 0 829988 24494080 3330 1992294400 134512640 137138936 4289127680 18446744073709551615 134851229 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 5980 3330 287 642 0 5336 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 23920

[startup+102.308 s]
/proc/loadavg: 1.18 1.08 1.02 2/106 10988
/proc/meminfo: memFree=1430548/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=26012 CPUtime=102.27
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 1685855 0 0 0 9748 479 0 0 25 0 1 0 829988 26636288 3828 1992294400 134512640 137138936 4289127680 18446744073709551615 134848004 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 6503 3828 287 642 0 5859 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 26012

[startup+162.301 s]
/proc/loadavg: 1.06 1.06 1.02 2/106 10990
/proc/meminfo: memFree=1431044/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=24352 CPUtime=162.25
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 1857221 0 0 0 15680 545 0 0 25 0 1 0 829988 24936448 3659 1992294400 134512640 137138936 4289127680 18446744073709551615 135471516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 6088 3659 287 642 0 5444 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 24352

[startup+222.301 s]
/proc/loadavg: 1.02 1.05 1.01 2/106 10992
/proc/meminfo: memFree=1431168/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=24420 CPUtime=222.23
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 1857324 0 0 0 21676 547 0 0 25 0 1 0 829988 25006080 3668 1992294400 134512640 137138936 4289127680 18446744073709551615 134721148 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 6105 3668 287 642 0 5461 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 24420

[startup+282.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/106 10994
/proc/meminfo: memFree=1431168/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=24420 CPUtime=282.21
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 1857337 0 0 0 27671 550 0 0 25 0 1 0 829988 25006080 3681 1992294400 134512640 137138936 4289127680 18446744073709551615 134828911 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 6105 3681 287 642 0 5461 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 24420

[startup+342.301 s]
/proc/loadavg: 1.00 1.03 1.00 2/106 10994
/proc/meminfo: memFree=1431168/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=25176 CPUtime=342.19
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 2005956 0 0 0 33613 606 0 0 25 0 1 0 829988 25780224 3645 1992294400 134512640 137138936 4289127680 18446744073709551615 134851588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 6294 3645 287 642 0 5650 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 25176

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 10996
/proc/meminfo: memFree=1431168/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=24800 CPUtime=402.18
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 2437819 0 0 0 39455 763 0 0 25 0 1 0 829988 25395200 3636 1992294400 134512640 137138936 4289127680 18446744073709551615 135412445 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 6200 3636 287 642 0 5556 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 24800

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 10998
/proc/meminfo: memFree=1431168/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=25140 CPUtime=462.16
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 2841549 0 0 0 45303 913 0 0 25 0 1 0 829988 25743360 3643 1992294400 134512640 137138936 4289127680 18446744073709551615 135449296 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 6285 3643 287 642 0 5641 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 25140

[startup+522.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 11000
/proc/meminfo: memFree=1429184/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=27204 CPUtime=522.14
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 3501662 0 0 0 51084 1130 0 0 25 0 1 0 829988 27856896 4140 1992294400 134512640 137138936 4289127680 18446744073709551615 135457124 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 6801 4141 287 642 0 6157 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 27204

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11002
/proc/meminfo: memFree=1429308/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=26832 CPUtime=582.12
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 3830268 0 0 0 56965 1247 0 0 25 0 1 0 829988 27475968 4113 1992294400 134512640 137138936 4289127680 18446744073709551615 135082952 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 6708 4113 287 642 0 6064 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 26832

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11002
/proc/meminfo: memFree=1429184/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=26340 CPUtime=642.11
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 3906348 0 0 0 62922 1289 0 0 25 0 1 0 829988 26972160 4154 1992294400 134512640 137138936 4289127680 18446744073709551615 135089330 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 6585 4154 287 642 0 5941 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 26340

[startup+702.301 s]

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

/proc/meminfo: memFree=1427820/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=28084 CPUtime=1121.94
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 7132542 0 0 0 109739 2455 0 0 25 0 1 0 829988 28758016 4388 1992294400 134512640 137138936 4289127680 18446744073709551615 135456391 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 7021 4388 287 642 0 6377 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 28084

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11027
/proc/meminfo: memFree=1423976/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=31720 CPUtime=1181.91
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 7725992 0 0 0 115535 2656 0 0 25 0 1 0 829988 32481280 5362 1992294400 134512640 137138936 4289127680 18446744073709551615 135381138 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 7930 5362 287 642 0 7286 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 31720

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11027
/proc/meminfo: memFree=1423852/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=31968 CPUtime=1241.89
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 8236987 0 0 0 121342 2847 0 0 25 0 1 0 829988 32735232 5347 1992294400 134512640 137138936 4289127680 18446744073709551615 135445326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 7992 5347 287 642 0 7348 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 31968

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11029
/proc/meminfo: memFree=1423728/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=31588 CPUtime=1301.87
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 8550446 0 0 0 127207 2980 0 0 25 0 1 0 829988 32346112 5322 1992294400 134512640 137138936 4289127680 18446744073709551615 135251734 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 7897 5322 287 642 0 7253 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 31588

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11031
/proc/meminfo: memFree=1423728/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=31124 CPUtime=1361.85
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 8607955 0 0 0 133169 3016 0 0 25 0 1 0 829988 31870976 5318 1992294400 134512640 137138936 4289127680 18446744073709551615 135183833 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 7781 5318 287 642 0 7137 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 31124

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11033
/proc/meminfo: memFree=1423728/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=31108 CPUtime=1421.84
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 8608636 0 0 0 139164 3020 0 0 25 0 1 0 829988 31854592 5348 1992294400 134512640 137138936 4289127680 18446744073709551615 135412501 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 7777 5348 287 642 0 7133 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 31108

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11035
/proc/meminfo: memFree=1423728/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=31108 CPUtime=1481.82
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 8608646 0 0 0 145161 3021 0 0 25 0 1 0 829988 31854592 5358 1992294400 134512640 137138936 4289127680 18446744073709551615 135456680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 7777 5358 287 642 0 7133 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 31108

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11035
/proc/meminfo: memFree=1423728/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=31108 CPUtime=1541.79
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 8608646 0 0 0 151156 3023 0 0 25 0 1 0 829988 31854592 5358 1992294400 134512640 137138936 4289127680 18446744073709551615 134734944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 7777 5358 287 642 0 7133 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 31108

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11037
/proc/meminfo: memFree=1423604/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=31108 CPUtime=1601.77
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 8608646 0 0 0 157152 3025 0 0 25 0 1 0 829988 31854592 5358 1992294400 134512640 137138936 4289127680 18446744073709551615 136502606 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 7777 5358 287 642 0 7133 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 31108

[startup+1662.3 s]
/proc/loadavg: 1.08 1.03 1.01 2/106 11046
/proc/meminfo: memFree=1422804/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=31108 CPUtime=1661.76
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 8608646 0 0 0 163149 3027 0 0 25 0 1 0 829988 31854592 5358 1992294400 134512640 137138936 4289127680 18446744073709551615 134750997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 7777 5358 287 642 0 7133 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 31108

[startup+1722.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/106 11048
/proc/meminfo: memFree=1422804/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=31108 CPUtime=1721.75
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 8608646 0 0 0 169146 3029 0 0 25 0 1 0 829988 31854592 5358 1992294400 134512640 137138936 4289127680 18446744073709551615 134832046 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 7777 5358 287 642 0 7133 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 31108

[startup+1782.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/106 11050
/proc/meminfo: memFree=1422928/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=31108 CPUtime=1781.72
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 8608646 0 0 0 175142 3030 0 0 25 0 1 0 829988 31854592 5358 1992294400 134512640 137138936 4289127680 18446744073709551615 134731561 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 7777 5358 287 642 0 7133 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 31108

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

[startup+1791.91 s]
/proc/loadavg: 1.01 1.01 1.00 2/106 11050
/proc/meminfo: memFree=1422928/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=31108 CPUtime=1791.33
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 8608646 0 0 0 176103 3030 0 0 25 0 1 0 829988 31854592 5358 1992294400 134512640 137138936 4289127680 18446744073709551615 134731559 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 7777 5358 287 642 0 7133 0
Current children cumulated CPU time (s) 1791.33
Current children cumulated vsize (KiB) 31108

[startup+1795.1 s]
/proc/loadavg: 1.01 1.01 1.00 2/106 11050
/proc/meminfo: memFree=1422928/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=31108 CPUtime=1794.53
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 8608646 0 0 0 176422 3031 0 0 25 0 1 0 829988 31854592 5358 1992294400 134512640 137138936 4289127680 18446744073709551615 135457653 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 7777 5358 287 642 0 7133 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (KiB) 31108

[startup+1796.7 s]
/proc/loadavg: 1.01 1.01 1.00 2/106 11050
/proc/meminfo: memFree=1422928/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=31108 CPUtime=1796.13
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 8608646 0 0 0 176582 3031 0 0 25 0 1 0 829988 31854592 5358 1992294400 134512640 137138936 4289127680 18446744073709551615 134734941 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 7777 5358 287 642 0 7133 0
Current children cumulated CPU time (s) 1796.13
Current children cumulated vsize (KiB) 31108

[startup+1797.5 s]
/proc/loadavg: 1.01 1.01 1.00 2/106 11050
/proc/meminfo: memFree=1422928/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=31108 CPUtime=1796.93
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 8608646 0 0 0 176662 3031 0 0 25 0 1 0 829988 31854592 5358 1992294400 134512640 137138936 4289127680 18446744073709551615 134905905 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 7777 5358 287 642 0 7133 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 31108

[startup+1798.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/106 11050
/proc/meminfo: memFree=1422928/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=31108 CPUtime=1797.72
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 8608646 0 0 0 176741 3031 0 0 25 0 1 0 829988 31854592 5358 1992294400 134512640 137138936 4289127680 18446744073709551615 134750995 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 7777 5358 287 642 0 7133 0
Current children cumulated CPU time (s) 1797.72
Current children cumulated vsize (KiB) 31108

[startup+1798.51 s]
/proc/loadavg: 1.01 1.01 1.00 2/106 11050
/proc/meminfo: memFree=1422928/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=31108 CPUtime=1797.93
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 8608646 0 0 0 176762 3031 0 0 25 0 1 0 829988 31854592 5358 1992294400 134512640 137138936 4289127680 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 7777 5358 287 642 0 7133 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 31108

[startup+1798.6 s]
/proc/loadavg: 1.01 1.01 1.00 2/106 11050
/proc/meminfo: memFree=1422928/2059040 swapFree=4192956/4192956
[pid=10985] ppid=10983 vsize=31108 CPUtime=1798.02
/proc/10985/stat : 10985 (bsolo_pb10) R 10983 10985 2383 0 -1 4202496 8608646 0 0 0 176771 3031 0 0 25 0 1 0 829988 31854592 5358 1992294400 134512640 137138936 4289127680 18446744073709551615 134840725 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10985/statm: 7777 5358 287 642 0 7133 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 31108

Child status: 0
Real time (s): 1798.63
CPU time (s): 1798.06
CPU user time (s): 1767.74
CPU system time (s): 30.3144
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 32564

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

runsolver used 3.18552 second user time and 8.28074 second system time

The end

Launcher Data 

Begin job on node082 at 2010-06-15 11:49:25
IDJOB=2657194
IDBENCH=2880
IDSOLVER=1162
FILE ID=node082/2657194-1276595365
PBS_JOBID= 11173552
Free space on /tmp= 62584 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C880.b.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657194-1276595365/watcher-2657194-1276595365 -o /tmp/evaluation-result-2657194-1276595365/solver-2657194-1276595365 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2657194-1276595365.opb

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

MD5SUM BENCH= d95d18eb9f9494c32273975c1bc570ba
RANDOM SEED=933195602

node082.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.215
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.43
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.215
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.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1446336 kB
Buffers:         47680 kB
Cached:         425020 kB
SwapCached:          0 kB
Active:         193920 kB
Inactive:       338312 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1446336 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            4176 kB
Writeback:           0 kB
AnonPages:       59432 kB
Mapped:          15424 kB
Slab:            58776 kB
PageTables:       3860 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180588 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264964 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62580 MiB
End job on node082 at 2010-06-15 12:19:24