Trace number 3462755

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.2SAT-65 1798.05 1798.03

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_1000_60_1.opb
MD5SUM3262a45f0e59552e467da6c31a32418a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-69
Best CPU time to get the best result obtained on this benchmark1800.22
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -70
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
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 constraints1000
Minimum length of a constraint60
Maximum length of a constraint109
Number of terms in the objective function 1000
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 1000
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 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75586
Sum of products size (including duplicates)151172
Number of different products37793
Sum of products size75586

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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462755-1307182654.opb
0.00/0.00	c File size is 976560 bytes.
0.09/0.18	c Highest Coefficient sum: 1000
0.09/0.18	c Parsing was ok!!
0.09/0.18	c Total parsing time: 0.186 s
0.19/0.24	c Var: 76586 Constr: 153172 76586/1000/75586 Lit: 604688 Watch. Lit: 453516
0.19/0.24	c Obj. Vars: 1000 (1.30572 % of total variables)
2.29/2.35	c Pre-processing Time: 2.352 s
2.29/2.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.35	c        0   1000    37793   113379    3    75586   12597      0      0 2.35
2.29/2.35	c Switching off lower bounding mode.
2.29/2.35	o -64
2.29/2.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.36	c        0   1000    37794   114379    3    75652   13597      1      0 2.36
2.29/2.36	o -65
1797.92/1797.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.92/1797.97	c        3   1000    37798   118179    3    75725   13597      5      1 2.37
1797.92/1797.97	c      103   1000    37898   211373    5    75925   14957    105     41 2.50
1797.92/1797.97	c      353   1000    38148   444247   11    76425   16453    355    123 2.85
1797.92/1797.97	c      830   1000    38626   889520   23    77381   18099    833    234 3.54
1797.92/1797.97	c     1643   1000    39440  1647835   41    79009   19909   1647    339 4.84
1797.92/1797.97	c     2964   1000    40766  2883024   70    81661   21900   2973    414 7.15
1797.92/1797.97	c     5045   1000    42850  4822442  112    85891   24091   5057    474 10.63
1797.92/1797.97	c     8268   1000    46090  7840677  170    92434   26501   8297    505 16.36
1797.92/1797.97	c    13205   1000    51042 12443728  243   102400   29152  13249    492 26.80
1797.92/1797.97	c    20711   1000    58571 19443815  331   117582   32068  20778    443 46.65
1797.92/1797.97	c    32072   1000    69977 30064596  429   140457   35275  32184    418 76.57
1797.92/1797.97	c    49218   1000    87182 46043209  528   175047   38803  49389    381 129.05
1797.92/1797.97	c    75037   1000   113077 70036198  619   227259   42684  75284    314 238.36
1797.92/1797.97	c Reducing formula size due to memory constraints
1797.92/1797.97	c Memory Limit: 1000.00 MB  Used: 1003.19 MB
1797.92/1797.97	c   113870   1000    78855 38149805  483   158378   60391  41062    275 413.81
1797.92/1797.97	c Reducing formula size due to memory constraints
1797.92/1797.97	c Memory Limit: 1000.00 MB  Used: 1011.44 MB
1797.92/1797.97	c   172223   1000    63231 23488565  371   127361   60517  25438    231 742.36
1797.92/1797.97	c Reducing formula size due to memory constraints
1797.92/1797.97	c Memory Limit: 1000.00 MB  Used: 1010.49 MB
1797.92/1797.97	c   259856   1000    76843 36006653  468   156302   60517  39050    185 1401.88
1797.92/1797.97	c Reducing formula size due to memory constraints
1797.92/1797.97	c Memory Limit: 1000.00 MB  Used: 1009.95 MB
1797.92/1797.97	c Resources Exceeded
1797.92/1797.97	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 -x757 -x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 x859 -x860 -x861 x862 -x863 -x864 -x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 -x890 x891 -x892 -x893 -x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 x904 x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 x924 -x925 -x926 -x927 x928 x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 x944 -x945 x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 x955 x956 -x957 -x958 -x959 x960 -x961 x962 -x963 x964 -x965 x966 -x967 -x968 -x969 -x970 x971 -x972 x973 x974 -x975 x976 -x977 x978 x979 -x980 -x981 -x982 x983 -x984 -x985 -x986 -x987 -x988 x989 x990 x991 x992 x993 x994 x995 x996 -x997 x998 x999 x1000 
1797.92/1797.97	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1797.97	c   17   323233  49547   397875    66161 26222822  28368    179 1798.01
1797.92/1797.97	c Objective: -65
1797.92/1797.97	s SATISFIABLE
1797.92/1797.97	c Total time: 1798.01 s

Verifier Data 

OK	-65

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462755-1307182654/watcher-3462755-1307182654 -o /tmp/evaluation-result-3462755-1307182654/solver-3462755-1307182654 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462755-1307182654.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.03 2.00 2/558 9474
/proc/meminfo: memFree=28594016/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=12712 CPUtime=0 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 518 0 0 0 0 0 0 0 25 0 1 0 908496089 13017088 473 33554432000 134512640 137138936 4289766896 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 3178 474 182 642 0 2295 0

[startup+0.096111 s]
/proc/loadavg: 2.02 2.03 2.00 2/558 9474
/proc/meminfo: memFree=28594016/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=24600 CPUtime=0.09 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 3681 0 0 0 9 0 0 0 25 0 1 0 908496089 25190400 3517 33554432000 134512640 137138936 4289766896 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 6150 3520 297 642 0 5267 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24600

[startup+0.10111 s]
/proc/loadavg: 2.02 2.03 2.00 2/558 9474
/proc/meminfo: memFree=28594016/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=25144 CPUtime=0.09 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 3835 0 0 0 9 0 0 0 25 0 1 0 908496089 25747456 3671 33554432000 134512640 137138936 4289766896 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 6286 3672 303 642 0 5403 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25144

[startup+0.301078 s]
/proc/loadavg: 2.02 2.03 2.00 2/558 9474
/proc/meminfo: memFree=28594016/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=53468 CPUtime=0.29 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 11102 0 0 0 28 1 0 0 25 0 1 0 908496089 54751232 10650 33554432000 134512640 137138936 4289766896 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 13367 10650 185 642 0 12723 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53468

[startup+0.701001 s]
/proc/loadavg: 2.02 2.03 2.00 2/558 9474
/proc/meminfo: memFree=28594016/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=53468 CPUtime=0.69 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 11102 0 0 0 68 1 0 0 25 0 1 0 908496089 54751232 10650 33554432000 134512640 137138936 4289766896 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 13367 10650 185 642 0 12723 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53468

[startup+1.50086 s]
/proc/loadavg: 2.02 2.03 2.00 3/559 9475
/proc/meminfo: memFree=28551348/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=53468 CPUtime=1.49 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 11102 0 0 0 148 1 0 0 25 0 1 0 908496089 54751232 10650 33554432000 134512640 137138936 4289766896 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 13367 10650 185 642 0 12723 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53468

[startup+3.1006 s]
/proc/loadavg: 2.02 2.03 2.00 3/559 9475
/proc/meminfo: memFree=28547628/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=59340 CPUtime=3.09 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 93284 0 0 0 297 12 0 0 25 0 1 0 908496089 60764160 12132 33554432000 134512640 137138936 4289766896 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 14835 12132 192 642 0 14191 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59340

[startup+6.30107 s]
/proc/loadavg: 2.02 2.03 2.00 3/559 9475
/proc/meminfo: memFree=28527784/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=81116 CPUtime=6.3 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 395863 0 0 0 590 40 0 0 25 0 1 0 908496089 83062784 17412 33554432000 134512640 137138936 4289766896 18446744073709551615 136507573 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 20279 17438 192 642 0 19635 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 81116

[startup+12.701 s]
/proc/loadavg: 2.18 2.06 2.01 3/559 9475
/proc/meminfo: memFree=28484228/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=123108 CPUtime=12.69 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 982823 0 0 0 1175 94 0 0 25 0 1 0 908496089 126062592 28071 33554432000 134512640 137138936 4289766896 18446744073709551615 134551730 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 30627 27921 192 642 0 29983 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 123108

[startup+25.5009 s]
/proc/loadavg: 2.14 2.06 2.01 3/559 9475
/proc/meminfo: memFree=28406480/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=196744 CPUtime=25.49 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 1952228 0 0 0 2373 176 0 0 25 0 1 0 908496089 201465856 46476 33554432000 134512640 137138936 4289766896 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 49186 46476 192 642 0 48542 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 196744

[startup+51.1006 s]
/proc/loadavg: 2.21 2.08 2.02 3/559 9477
/proc/meminfo: memFree=28284532/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=321804 CPUtime=51.09 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 3556832 0 0 0 4783 326 0 0 25 0 1 0 908496089 329527296 77730 33554432000 134512640 137138936 4289766896 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 80451 77730 192 642 0 79807 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 321804

[startup+102.321 s]
/proc/loadavg: 2.19 2.10 2.03 3/559 9477
/proc/meminfo: memFree=28063904/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=536956 CPUtime=102.31 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 6335086 0 0 0 9649 582 0 0 25 0 1 0 908496089 549842944 131534 33554432000 134512640 137138936 4289766896 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 134239 131534 192 642 0 133595 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 536956

[startup+162.301 s]
/proc/loadavg: 2.07 2.08 2.02 3/559 9479
/proc/meminfo: memFree=27868060/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=734468 CPUtime=162.29 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 8880460 0 0 0 15411 818 0 0 25 0 1 0 908496089 752095232 180908 33554432000 134512640 137138936 4289766896 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 183617 180908 192 642 0 182973 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 734468

[startup+222.301 s]
/proc/loadavg: 2.02 2.06 2.01 3/559 9481
/proc/meminfo: memFree=27705808/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=895348 CPUtime=222.29 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 10960978 0 0 0 21210 1019 0 0 25 0 1 0 908496089 916836352 220976 33554432000 134512640 137138936 4289766896 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 223837 221004 192 642 0 223193 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 895348

[startup+282.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/559 9483
/proc/meminfo: memFree=27546168/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1053872 CPUtime=282.3 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13017277 0 0 0 27016 1214 0 0 25 0 1 0 908496089 1079164928 260741 33554432000 134512640 137138936 4289766896 18446744073709551615 136504179 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 263468 260741 192 642 0 262824 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1053872

[startup+342.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/559 9485
/proc/meminfo: memFree=27545972/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1053872 CPUtime=342.3 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13017277 0 0 0 33014 1216 0 0 25 0 1 0 908496089 1079164928 260741 33554432000 134512640 137138936 4289766896 18446744073709551615 134550981 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 263468 260741 192 642 0 262824 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1053872

[startup+402.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9485
/proc/meminfo: memFree=27546192/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1053872 CPUtime=402.3 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13017277 0 0 0 39012 1218 0 0 25 0 1 0 908496089 1079164928 260741 33554432000 134512640 137138936 4289766896 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 263468 260741 192 642 0 262824 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1053872

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9487
/proc/meminfo: memFree=27546532/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1053872 CPUtime=462.3 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13017277 0 0 0 45010 1220 0 0 25 0 1 0 908496089 1079164928 260741 33554432000 134512640 137138936 4289766896 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 263468 260741 192 642 0 262824 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1053872

[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9489
/proc/meminfo: memFree=27548724/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1053872 CPUtime=522.3 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13017277 0 0 0 51008 1222 0 0 25 0 1 0 908496089 1079164928 260741 33554432000 134512640 137138936 4289766896 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 263468 260741 192 642 0 262824 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1053872

[startup+582.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/559 9491
/proc/meminfo: memFree=27549064/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1053872 CPUtime=582.3 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13017277 0 0 0 57007 1223 0 0 25 0 1 0 908496089 1079164928 260741 33554432000 134512640 137138936 4289766896 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 263468 260741 192 642 0 262824 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1053872

[startup+642.301 s]

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

/proc/meminfo: memFree=27275648/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1062156 CPUtime=1122.31 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13133436 0 0 0 110981 1250 0 0 25 0 1 0 908496089 1087647744 262815 33554432000 134512640 137138936 4289766896 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 265539 262815 192 642 0 264895 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1062156

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/559 9534
/proc/meminfo: memFree=27208656/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1062156 CPUtime=1182.31 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13133436 0 0 0 116980 1251 0 0 25 0 1 0 908496089 1087647744 262815 33554432000 134512640 137138936 4289766896 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 265539 262815 192 642 0 264895 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1062156

[startup+1242.3 s]
/proc/loadavg: 2.14 2.04 2.01 4/559 9536
/proc/meminfo: memFree=27146248/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1054360 CPUtime=1242.31 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13133436 0 0 0 122978 1253 0 0 25 0 1 0 908496089 1079664640 260890 33554432000 134512640 137138936 4289766896 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 263590 260890 192 642 0 262946 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1054360

[startup+1302.3 s]
/proc/loadavg: 2.17 2.06 2.02 4/559 9539
/proc/meminfo: memFree=27082688/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1054360 CPUtime=1302.32 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13133436 0 0 0 128977 1255 0 0 25 0 1 0 908496089 1079664640 260890 33554432000 134512640 137138936 4289766896 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 263590 260890 192 642 0 262946 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1054360

[startup+1362.3 s]
/proc/loadavg: 2.18 2.08 2.02 4/559 9541
/proc/meminfo: memFree=27031684/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1054360 CPUtime=1362.31 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13133436 0 0 0 134974 1257 0 0 25 0 1 0 908496089 1079664640 260890 33554432000 134512640 137138936 4289766896 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 263590 260890 192 642 0 262946 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 1054360

[startup+1422.32 s]
/proc/loadavg: 2.06 2.06 2.01 4/559 9543
/proc/meminfo: memFree=26976960/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1054360 CPUtime=1422.33 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13133436 0 0 0 140975 1258 0 0 25 0 1 0 908496089 1079664640 260890 33554432000 134512640 137138936 4289766896 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 263590 260890 192 642 0 262946 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1054360

[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 2.01 4/559 9545
/proc/meminfo: memFree=26927948/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1054360 CPUtime=1482.31 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13133436 0 0 0 146971 1260 0 0 25 0 1 0 908496089 1079664640 260890 33554432000 134512640 137138936 4289766896 18446744073709551615 134599706 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 263590 260890 192 642 0 262946 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 1054360

[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/559 9547
/proc/meminfo: memFree=26878184/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1054360 CPUtime=1542.32 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13133436 0 0 0 152970 1262 0 0 25 0 1 0 908496089 1079664640 260890 33554432000 134512640 137138936 4289766896 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 263590 260890 192 642 0 262946 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 1054360

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9547
/proc/meminfo: memFree=26825204/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1054360 CPUtime=1602.31 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13133436 0 0 0 158968 1263 0 0 25 0 1 0 908496089 1079664640 260890 33554432000 134512640 137138936 4289766896 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 263590 260890 192 642 0 262946 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 1054360

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/559 9549
/proc/meminfo: memFree=26779152/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1054360 CPUtime=1662.31 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13133436 0 0 0 164966 1265 0 0 25 0 1 0 908496089 1079664640 260890 33554432000 134512640 137138936 4289766896 18446744073709551615 136505066 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 263590 260890 192 642 0 262946 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 1054360

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/559 9551
/proc/meminfo: memFree=26735084/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1060936 CPUtime=1722.32 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13221278 0 0 0 170956 1276 0 0 25 0 1 0 908496089 1086398464 262502 33554432000 134512640 137138936 4289766896 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 265234 262502 192 642 0 264590 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 1060936

[startup+1782.3 s]
/proc/loadavg: 2.09 2.04 2.01 4/559 9553
/proc/meminfo: memFree=26709368/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1060936 CPUtime=1782.32 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13221278 0 0 0 176954 1278 0 0 25 0 1 0 908496089 1086398464 262502 33554432000 134512640 137138936 4289766896 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 265234 262502 192 642 0 264590 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 1060936

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

[startup+1785.5 s]
/proc/loadavg: 2.08 2.04 2.01 4/559 9553
/proc/meminfo: memFree=26708252/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1060936 CPUtime=1785.52 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13221278 0 0 0 177274 1278 0 0 25 0 1 0 908496089 1086398464 262502 33554432000 134512640 137138936 4289766896 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 265234 262502 192 642 0 264590 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 1060936

[startup+1791.92 s]
/proc/loadavg: 2.07 2.04 2.01 4/559 9553
/proc/meminfo: memFree=26705636/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1060936 CPUtime=1791.94 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13221278 0 0 0 177916 1278 0 0 25 0 1 0 908496089 1086398464 262502 33554432000 134512640 137138936 4289766896 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 265234 262502 192 642 0 264590 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 1060936

[startup+1795.1 s]
/proc/loadavg: 2.07 2.04 2.01 4/559 9553
/proc/meminfo: memFree=26704392/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1060936 CPUtime=1795.12 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13221278 0 0 0 178234 1278 0 0 25 0 1 0 908496089 1086398464 262502 33554432000 134512640 137138936 4289766896 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 265234 262502 192 642 0 264590 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 1060936

[startup+1796.7 s]
/proc/loadavg: 2.07 2.04 2.01 4/559 9553
/proc/meminfo: memFree=26703896/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1060936 CPUtime=1796.72 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13221278 0 0 0 178394 1278 0 0 25 0 1 0 908496089 1086398464 262502 33554432000 134512640 137138936 4289766896 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 265234 262502 192 642 0 264590 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 1060936

[startup+1797.5 s]
/proc/loadavg: 2.07 2.04 2.01 3/559 9553
/proc/meminfo: memFree=26703400/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1060936 CPUtime=1797.52 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13221278 0 0 0 178474 1278 0 0 25 0 1 0 908496089 1086398464 262502 33554432000 134512640 137138936 4289766896 18446744073709551615 134551026 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 265234 262502 192 642 0 264590 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 1060936

[startup+1797.9 s]
/proc/loadavg: 2.07 2.04 2.01 3/559 9553
/proc/meminfo: memFree=26703400/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=1060936 CPUtime=1797.92 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202496 13221278 0 0 0 178514 1278 0 0 25 0 1 0 908496089 1086398464 262502 33554432000 134512640 137138936 4289766896 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9474/statm: 265234 262502 192 642 0 264590 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 1060936

[startup+1798 s]
/proc/loadavg: 2.07 2.04 2.01 3/559 9553
/proc/meminfo: memFree=26703400/32951124 swapFree=34426104/67111528
[pid=9474] ppid=9472 vsize=0 CPUtime=1798.01 cores=0,2,4,6
/proc/9474/stat : 9474 (bsolo) R 9472 9474 7463 0 -1 4202500 13221279 0 0 0 178521 1280 0 0 25 0 1 0 908496089 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/9474/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.03
CPU time (s): 1798.05
CPU user time (s): 1785.22
CPU system time (s): 12.835
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 1062624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.22
system time used= 12.835
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13221279
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= 5
involuntary context switches= 2418

runsolver used 10.8693 second user time and 22.9275 second system time

The end

Launcher Data 

Begin job on node118 at 2011-06-04 12:17:34
IDJOB=3462755
IDBENCH=48171
IDSOLVER=1955
FILE ID=node118/3462755-1307182654
RUNJOBID= node118-1307174408-8562
PBS_JOBID= 13508852
Free space on /tmp= 73764 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_1000_60_1.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462755-1307182654/watcher-3462755-1307182654 -o /tmp/evaluation-result-3462755-1307182654/solver-3462755-1307182654 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462755-1307182654.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 3262a45f0e59552e467da6c31a32418a
RANDOM SEED=1022241868

node118.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.68
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.842
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28594180 kB
Buffers:        324900 kB
Cached:        2015492 kB
SwapCached:      56168 kB
Active:        1011116 kB
Inactive:      3007104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28594180 kB
SwapTotal:    67111528 kB
SwapFree:     34426104 kB
Dirty:            4664 kB
Writeback:           0 kB
AnonPages:     1635012 kB
Mapped:          15532 kB
Slab:           150848 kB
PageTables:     115732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 183921968 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73760 MiB
End job on node118 at 2011-06-04 12:47:32