Trace number 2657374

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 ClSAT-35 1798.11 1798.61

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
MD5SUM05ceccb8ea9c274c844c39df1472d3cc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-38
Best CPU time to get the best result obtained on this benchmark1789.96
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables945
Total number of constraints59186
Number of constraints which are clauses59186
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 constraint2
Maximum length of a constraint2
Number of terms in the objective function 945
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 945
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 945
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: Clause Learning
0.00/0.00	c Instance file HOME/instance-2657374-1276499257.opb
0.00/0.00	c File size is 1415680 bytes.
0.19/0.23	c Highest Coefficient sum: 945
0.19/0.23	c Parsing was ok!!
0.19/0.23	c Total parsing time: 0.231 s
0.19/0.25	c Var: 945 Constr: 59186 59186/0/0 Lit: 118372 Watch. Lit: 118372
0.19/0.25	c Obj. Vars: 945 (100 % of total variables)
1.49/1.58	c Pre-processing Time: 1.578 s
1.49/1.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.58	c        0    945    59186   118372    2   118372   19728      0      0 1.58
1.49/1.58	c Switching off lower bounding mode.
1.49/1.59	o -31
1.59/1.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.59/1.60	c        0    945    59187   119317    2   118405   20728      1      0 1.59
1.59/1.60	o -32
1.79/1.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.83	c       12    945    59200   131198    2   118463   20728     14      7 1.60
1.79/1.83	c      113    945    59301   223100    3   118665   22801    115     67 1.66
1.79/1.83	c      363    945    59551   450356    7   119165   25082    365    198 1.83
1.79/1.83	o -33
2.39/2.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.39/2.43	c      363    945    59552   451301    7   119200   20728    366    198 1.83
2.39/2.43	c      463    945    59652   542192    9   119400   22801    466    244 1.90
2.39/2.43	c      714    945    59903   770340   12   119902   25082    717    346 2.06
2.39/2.43	c     1189    945    60378  1202091   19   120852   27591   1192    489 2.43
2.39/2.43	o -34
188.94/189.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
188.94/189.04	c     1189    945    60379  1203036   19   120888   20728   1193    488 2.44
188.94/189.04	c     1290    945    60480  1294689   21   121090   22801   1294    514 2.50
188.94/189.04	c     1541    945    60731  1522492   25   121592   25082   1545    570 2.70
188.94/189.04	c     2016    945    61206  1953700   31   122542   27591   2020    649 3.11
188.94/189.04	c     2830    945    62020  2691696   43   124170   30351   2834    742 3.81
188.94/189.04	c     4150    945    63340  3889919   61   126810   33387   4154    811 5.11
188.94/189.04	c     6232    945    65422  5778869   88   130974   36726   6236    837 7.44
188.94/189.04	c     9455    945    68645  8702631  126   137420   40399   9459    770 12.27
188.94/189.04	c    14391    945    73581 13181129  179   147292   44439  14395    653 22.02
188.94/189.04	c    21898    945    81088 19992708  246   162306   48883  21902    574 38.10
188.94/189.04	c    33259    945    92449 30299236  327   185028   53772  33263    436 76.14
188.94/189.04	c    50403    945   109593 45853464  418   219316   59150  50407    345 146.01
188.94/189.04	o -35
1798.00/1798.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.00/1798.51	c    61852    945    72748 12415600  170   145565   20728  13562    327 188.99
1798.00/1798.51	c    61953    945    72849 12507197  171   145767   22801  13663    327 189.14
1798.00/1798.51	c    62203    945    73099 12733876  174   146267   25082  13913    328 189.38
1798.00/1798.51	c    62678    945    73574 13164242  178   147217   27591  14388    330 189.83
1798.00/1798.51	c    63491    945    74387 13901121  186   148843   30351  15201    333 190.59
1798.00/1798.51	c    64812    945    75708 15097712  199   151485   33387  16522    337 192.14
1798.00/1798.51	c    66893    945    77789 16982203  218   155647   36726  18603    343 194.83
1798.00/1798.51	c    70117    945    81013 19904146  245   162095   40399  21827    348 201.13
1798.00/1798.51	c    75054    945    85950 24373882  283   171969   44439  26764    352 212.72
1798.00/1798.51	c    82560    945    93456 31172945  333   186981   48883  34270    361 228.53
1798.00/1798.51	c    93921    945   104817 41466955  395   209703   53772  45631    356 263.62
1798.00/1798.51	c   111066    945    78957 18025982  228   157949   59150  19771    330 336.10
1798.00/1798.51	c   136885    945   104776 41420171  395   209587   65066  45590    301 453.95
1798.00/1798.51	c   175717    945    89590 27650863  308   179215   71573  30404    283 620.72
1798.00/1798.51	c   234069    945    87459 25711464  293   174953   78731  28273    232 1005.68
1798.00/1798.51	c   321703    945   107551 43934514  408   215137   86605  48365    197 1625.70
1798.00/1798.51	c Resources Exceeded
1798.00/1798.51	v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 x2 -x1 
1798.00/1798.51	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.00/1798.51	c   36   350065  32481   392478   135913 69636641  76727    194 1798.02
1798.00/1798.51	c Objective: -35
1798.00/1798.51	s SATISFIABLE
1798.00/1798.51	c Total time: 1798.02 s

Verifier Data 

OK	-35

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657374-1276499257/watcher-2657374-1276499257 -o /tmp/evaluation-result-2657374-1276499257/solver-2657374-1276499257 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657374-1276499257.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 1.00 3/106 29361
/proc/meminfo: memFree=1807024/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=12312 CPUtime=0
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 351 0 0 0 0 0 0 0 22 0 1 0 25529418 12607488 270 1992294400 134512640 137138936 4294686496 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 3078 270 176 642 0 2088 0

[startup+0.056103 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29361
/proc/meminfo: memFree=1807024/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=13416 CPUtime=0.05
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 713 0 0 0 5 0 0 0 22 0 1 0 25529418 13737984 632 1992294400 134512640 137138936 4294686496 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 3354 632 244 642 0 2364 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13416

[startup+0.101108 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29361
/proc/meminfo: memFree=1807024/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=14516 CPUtime=0.09
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 1059 0 0 0 9 0 0 0 22 0 1 0 25529418 14864384 978 1992294400 134512640 137138936 4294686496 18446744073709551615 136660112 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 3629 979 311 642 0 2639 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14516

[startup+0.301132 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29361
/proc/meminfo: memFree=1807024/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=19336 CPUtime=0.29
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 2822 0 0 0 28 1 0 0 22 0 1 0 25529418 19800064 2395 1992294400 134512640 137138936 4294686496 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 4834 2395 184 642 0 4190 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19336

[startup+0.701177 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 29361
/proc/meminfo: memFree=1807024/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=21336 CPUtime=0.69
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 3302 0 0 0 67 2 0 0 24 0 1 0 25529418 21848064 2875 1992294400 134512640 137138936 4294686496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 5334 2875 185 642 0 4690 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21336

[startup+1.50127 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29362
/proc/meminfo: memFree=1795856/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=21336 CPUtime=1.49
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 3302 0 0 0 143 6 0 0 25 0 1 0 25529418 21848064 2875 1992294400 134512640 137138936 4294686496 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 5334 2875 185 642 0 4690 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21336

[startup+3.10145 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29362
/proc/meminfo: memFree=1788540/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=42844 CPUtime=3.09
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 9575 0 0 0 300 9 0 0 25 0 1 0 25529418 43872256 8280 1992294400 134512640 137138936 4294686496 18446744073709551615 136504482 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 10711 8280 191 642 0 10067 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42844

[startup+6.30083 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29362
/proc/meminfo: memFree=1745140/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=82044 CPUtime=6.29
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 19352 0 0 0 615 14 0 0 25 0 1 0 25529418 84013056 18057 1992294400 134512640 137138936 4294686496 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 20511 18057 191 642 0 19867 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 82044

[startup+12.7006 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29362
/proc/meminfo: memFree=1688348/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=133956 CPUtime=12.69
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 32354 0 0 0 1247 22 0 0 25 0 1 0 25529418 137170944 31059 1992294400 134512640 137138936 4294686496 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 33489 31059 191 642 0 32845 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 133956

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29362
/proc/meminfo: memFree=1605268/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=213580 CPUtime=25.49
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 52256 0 0 0 2515 34 0 0 25 0 1 0 25529418 218705920 50961 1992294400 134512640 137138936 4294686496 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 53395 50961 191 642 0 52751 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 213580

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29364
/proc/meminfo: memFree=1481640/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=336344 CPUtime=51.07
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 82952 0 0 0 5054 53 0 0 25 0 1 0 25529418 344416256 81657 1992294400 134512640 137138936 4294686496 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 84086 81657 191 642 0 83442 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 336344

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29364
/proc/meminfo: memFree=1304816/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=511316 CPUtime=102.27
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 126671 0 0 0 10143 84 0 0 25 0 1 0 25529418 523587584 125376 1992294400 134512640 137138936 4294686496 18446744073709551615 135984544 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 127829 125376 191 642 0 127185 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 511316

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29366
/proc/meminfo: memFree=1135804/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=681860 CPUtime=162.25
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 169333 0 0 0 16112 113 0 0 25 0 1 0 25529418 698224640 168038 1992294400 134512640 137138936 4294686496 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 170465 168038 191 642 0 169821 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 681860

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29368
/proc/meminfo: memFree=1096744/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=718336 CPUtime=222.22
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 178505 0 0 0 22096 126 0 0 25 0 1 0 25529418 735576064 177151 1992294400 134512640 137138936 4294686496 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 179584 177151 191 642 0 178940 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 718336

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29370
/proc/meminfo: memFree=1096744/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=718336 CPUtime=282.21
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 178505 0 0 0 28086 135 0 0 25 0 1 0 25529418 735576064 177151 1992294400 134512640 137138936 4294686496 18446744073709551615 134544892 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 179584 177151 191 642 0 178940 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 718336

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29370
/proc/meminfo: memFree=1097364/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=717292 CPUtime=342.19
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 178505 0 0 0 34079 140 0 0 25 0 1 0 25529418 734507008 176899 1992294400 134512640 137138936 4294686496 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 179323 176899 191 642 0 178679 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 717292

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29375
/proc/meminfo: memFree=1096744/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=717292 CPUtime=402.18
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 178505 0 0 0 40070 148 0 0 25 0 1 0 25529418 734507008 176899 1992294400 134512640 137138936 4294686496 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 179323 176899 191 642 0 178679 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 717292

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29377
/proc/meminfo: memFree=1096868/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=717292 CPUtime=462.16
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 178505 0 0 0 46064 152 0 0 25 0 1 0 25529418 734507008 176899 1992294400 134512640 137138936 4294686496 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 179323 176899 191 642 0 178679 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 717292

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29379
/proc/meminfo: memFree=1084592/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=733432 CPUtime=522.14
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 182528 0 0 0 52054 160 0 0 25 0 1 0 25529418 751034368 180922 1992294400 134512640 137138936 4294686496 18446744073709551615 134577911 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 183358 180922 191 642 0 182714 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 733432

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29381
/proc/meminfo: memFree=1028420/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=785892 CPUtime=582.13
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 195708 0 0 0 58040 173 0 0 25 0 1 0 25529418 804753408 194037 1992294400 134512640 137138936 4294686496 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 196473 194037 191 642 0 195829 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 785892

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29381
/proc/meminfo: memFree=1028420/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=785892 CPUtime=642.12
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 195708 0 0 0 64028 184 0 0 25 0 1 0 25529418 804753408 194037 1992294400 134512640 137138936 4294686496 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 196473 194037 191 642 0 195829 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 785892

[startup+702.301 s]

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

/proc/meminfo: memFree=952656/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=861340 CPUtime=1121.98
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 214627 0 0 0 111964 234 0 0 25 0 1 0 25529418 882012160 212885 1992294400 134512640 137138936 4294686496 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 215335 212885 191 642 0 214691 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 861340

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29397
/proc/meminfo: memFree=952656/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=861340 CPUtime=1181.97
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 214627 0 0 0 117959 238 0 0 25 0 1 0 25529418 882012160 212885 1992294400 134512640 137138936 4294686496 18446744073709551615 134609399 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 215335 212885 191 642 0 214691 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 861340

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29397
/proc/meminfo: memFree=940876/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=873864 CPUtime=1241.95
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 217766 0 0 0 123952 243 0 0 25 0 1 0 25529418 894836736 216024 1992294400 134512640 137138936 4294686496 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 218466 216024 191 642 0 217822 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 873864

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29399
/proc/meminfo: memFree=883216/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=930736 CPUtime=1301.94
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 231983 0 0 0 129940 254 0 0 25 0 1 0 25529418 953073664 230241 1992294400 134512640 137138936 4294686496 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 232684 230241 191 642 0 232040 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 930736

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29401
/proc/meminfo: memFree=868956/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=944600 CPUtime=1361.92
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 235528 0 0 0 135935 257 0 0 25 0 1 0 25529418 967270400 233708 1992294400 134512640 137138936 4294686496 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 236150 233708 191 642 0 235506 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 944600

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29403
/proc/meminfo: memFree=868956/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=944600 CPUtime=1421.91
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 235528 0 0 0 141928 263 0 0 25 0 1 0 25529418 967270400 233708 1992294400 134512640 137138936 4294686496 18446744073709551615 134573759 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 236150 233708 191 642 0 235506 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 944600

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29405
/proc/meminfo: memFree=868956/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=944600 CPUtime=1481.89
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 235528 0 0 0 147921 268 0 0 25 0 1 0 25529418 967270400 233708 1992294400 134512640 137138936 4294686496 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 236150 233708 191 642 0 235506 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 944600

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29405
/proc/meminfo: memFree=868956/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=944600 CPUtime=1541.87
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 235528 0 0 0 153916 271 0 0 25 0 1 0 25529418 967270400 233708 1992294400 134512640 137138936 4294686496 18446744073709551615 134542643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 236150 233708 191 642 0 235506 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 944600

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29407
/proc/meminfo: memFree=868956/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=944600 CPUtime=1601.85
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 235528 0 0 0 159911 274 0 0 25 0 1 0 25529418 967270400 233708 1992294400 134512640 137138936 4294686496 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 236150 233708 191 642 0 235506 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 944600

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29409
/proc/meminfo: memFree=868956/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=944600 CPUtime=1661.83
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 235528 0 0 0 165903 280 0 0 25 0 1 0 25529418 967270400 233708 1992294400 134512640 137138936 4294686496 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 236150 233708 191 642 0 235506 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 944600

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29411
/proc/meminfo: memFree=868956/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=944600 CPUtime=1721.82
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 235528 0 0 0 171898 284 0 0 25 0 1 0 25529418 967270400 233708 1992294400 134512640 137138936 4294686496 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 236150 233708 191 642 0 235506 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 944600

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29413
/proc/meminfo: memFree=868956/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=944600 CPUtime=1781.8
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 235528 0 0 0 177893 287 0 0 25 0 1 0 25529418 967270400 233708 1992294400 134512640 137138936 4294686496 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 236150 233708 191 642 0 235506 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 944600

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29413
/proc/meminfo: memFree=868956/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=944600 CPUtime=1791.41
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 235528 0 0 0 178853 288 0 0 25 0 1 0 25529418 967270400 233708 1992294400 134512640 137138936 4294686496 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 236150 233708 191 642 0 235506 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 944600

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29413
/proc/meminfo: memFree=868956/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=944600 CPUtime=1794.6
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 235528 0 0 0 179172 288 0 0 25 0 1 0 25529418 967270400 233708 1992294400 134512640 137138936 4294686496 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 236150 233708 191 642 0 235506 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 944600

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29413
/proc/meminfo: memFree=868956/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=944600 CPUtime=1796.2
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 235528 0 0 0 179332 288 0 0 25 0 1 0 25529418 967270400 233708 1992294400 134512640 137138936 4294686496 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 236150 233708 191 642 0 235506 0
Current children cumulated CPU time (s) 1796.2
Current children cumulated vsize (KiB) 944600

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29413
/proc/meminfo: memFree=868956/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=944600 CPUtime=1797
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 235528 0 0 0 179412 288 0 0 25 0 1 0 25529418 967270400 233708 1992294400 134512640 137138936 4294686496 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 236150 233708 191 642 0 235506 0
Current children cumulated CPU time (s) 1797
Current children cumulated vsize (KiB) 944600

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29413
/proc/meminfo: memFree=868956/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=944600 CPUtime=1797.8
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 235528 0 0 0 179492 288 0 0 25 0 1 0 25529418 967270400 233708 1992294400 134512640 137138936 4294686496 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 236150 233708 191 642 0 235506 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 944600

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29413
/proc/meminfo: memFree=868956/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=944600 CPUtime=1798
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202496 235528 0 0 0 179512 288 0 0 25 0 1 0 25529418 967270400 233708 1992294400 134512640 137138936 4294686496 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/29361/statm: 236150 233708 191 642 0 235506 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 944600

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 29413
/proc/meminfo: memFree=868956/2059040 swapFree=4140108/4192956
[pid=29361] ppid=29359 vsize=0 CPUtime=1798.1
/proc/29361/stat : 29361 (bsolo_pb10) R 29359 29361 28961 0 -1 4202500 235529 0 0 0 179513 297 0 0 25 0 1 0 25529418 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/29361/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.1
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.61
CPU time (s): 1798.11
CPU user time (s): 1795.13
CPU system time (s): 2.98455
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 944600

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

runsolver used 2.90156 second user time and 8.5587 second system time

The end

Launcher Data 

Begin job on node006 at 2010-06-14 09:07:37
IDJOB=2657374
IDBENCH=2252
IDSOLVER=1163
FILE ID=node006/2657374-1276499257
PBS_JOBID= 11173402
Free space on /tmp= 62472 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657374-1276499257/watcher-2657374-1276499257 -o /tmp/evaluation-result-2657374-1276499257/solver-2657374-1276499257 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657374-1276499257.opb

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

MD5SUM BENCH= 05ceccb8ea9c274c844c39df1472d3cc
RANDOM SEED=610953848

node006.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.204
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.40
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.204
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1807552 kB
Buffers:         67984 kB
Cached:         103172 kB
SwapCached:       6484 kB
Active:          99660 kB
Inactive:        85132 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1807552 kB
SwapTotal:     4192956 kB
SwapFree:      4140108 kB
Dirty:            5380 kB
Writeback:           0 kB
AnonPages:       11896 kB
Mapped:          12920 kB
Slab:            45052 kB
PageTables:       3964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182480 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62468 MiB
End job on node006 at 2010-06-14 09:37:36