Trace number 3708336

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-37 1798.05 1798.61

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-queens-30.opb
MD5SUMac9944a86f58bd3c1af4c4c4a209f399
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
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 benchmark1797.42
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables900
Total number of constraints960
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 constraints960
Minimum length of a constraint88
Maximum length of a constraint116
Number of terms in the objective function 900
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 900
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 8
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 900
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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3708336-1338222617.opb
0.00/0.00	c File size is 752032 bytes.
0.00/0.05	c Highest Coefficient sum: 900
0.00/0.05	c Parsing was ok!!
0.00/0.05	c Total parsing time: 0.05 s
0.00/0.05	c Var: 900 Constr: 960 0/0/960 Lit: 93440 Watch. Lit: 92480
0.00/0.05	c Obj. Vars: 900 (100 % of total variables)
0.09/0.16	c Pre-processing Time: 0.165 s
10.38/10.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.38/10.47	c        0    900      900    87320   97    86421  174640      0      0 0.17
10.38/10.47	c Initial Lower Bound: -70
10.38/10.47	c Initial Path Cost: -900
10.38/10.48	o -28
27.58/27.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.58/27.68	c        0    900      901    88220   97    86464  175640      1      0 10.48
27.58/27.68	o -29
63.37/63.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.37/63.43	c        1    900      904    90756  100    86542  175640      4      0 27.68
63.37/63.43	o -32
94.87/94.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
94.87/94.97	c        1    900      905    91656  101    86579  175640      5      0 63.42
94.87/94.97	o -33
149.86/149.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
149.86/149.92	c        3    900      910    95915  105    86716  175640     10      0 94.95
149.86/149.92	c      103    900     1165   312841  268    88214  193205    265      0 127.95
149.86/149.92	o -34
181.15/181.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.15/181.21	c      103    900     1166   313741  269    88252  175640    266      0 149.89
181.15/181.21	o -35
383.19/383.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
383.19/383.34	c      127    900     1239   375992  303    88542  175640    339      0 181.17
383.19/383.34	c      228    900     1512   603030  398    91067  193205    612      1 212.57
383.19/383.34	c      478    900     2215  1196603  540    95316  212526   1315      1 246.07
383.19/383.34	c      953    900     3468  2258845  651   102866  233779   2568      3 286.63
383.19/383.34	c     1766    900     5601  4049562  723   117325  257157   4701      5 339.74
383.19/383.34	o -36
747.99/748.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
747.99/748.23	c     2417    900     7397  5572386  753   125960  175640   6497      6 383.25
747.99/748.23	c     2517    900     7695  5817110  755   128139  193205   6795      6 413.14
747.99/748.23	c     2769    900     8446  6442535  762   132187  212526   7546      6 450.97
747.99/748.23	c     3244    900     9829  7587839  771   141093  233779   8929      6 494.24
747.99/748.23	c     4057    900    12226  9592960  784   153352  257157  11326      7 542.19
747.99/748.23	c     5379    900    16076 12829025  798   173009  282873  15176      9 593.65
747.99/748.23	c     7460    900    22192 17951642  808   204841  311161  21292     11 676.29
747.99/748.23	o -37
1797.94/1798.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1798.58	c     9102    900    26881 21868056  813   233100  175640  25981     12 748.04
1797.94/1798.58	c     9202    900    27177 22114339  813   234464  193205  26277     11 778.29
1797.94/1798.58	c     9452    900    27924 22734911  814   238673  212526  27024     11 816.96
1797.94/1798.58	c     9928    900    29316 23888928  814   247698  233779  28416     11 858.45
1797.94/1798.58	c    10741    900    31721 25906586  816   258315  257157  30821     11 912.36
1797.94/1798.58	c    12061    900    35285 28891026  818   278120  282873  34385     12 979.51
1797.94/1798.58	c    14142    900    41455 34029550  820   309086  311161  40555     13 1081.06
1797.94/1798.58	c    17365    900    50984 42024697  824   353531  342278  50084     14 1212.00
1797.94/1798.58	c    22301    900    65443 54041359  825   442770  376506  64543     15 1432.17
1797.94/1798.58	c Resources Exceeded
1797.94/1798.58	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 
1797.94/1798.58	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1798.58	c   27    29794    306    30859    87341 72275489  86441     16 1798.03
1797.94/1798.58	c Objective: -37
1797.94/1798.58	s SATISFIABLE
1797.94/1798.58	c Total time: 1798.03 s

Verifier Data 

OK	-37

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3708336-1338222617/watcher-3708336-1338222617 -o /tmp/evaluation-result-3708336-1338222617/solver-3708336-1338222617 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708336-1338222617.opb 

running on 4 cores: 1,3,5,7

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: 1.92 1.99 1.99 3/177 27711
/proc/meminfo: memFree=31458320/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=19344 CPUtime=0 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 306 0 0 0 0 0 0 0 20 0 1 0 288390300 19808256 259 33554432000 134512640 137138936 4290350912 4290348104 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 4836 260 181 642 0 4008 0

[startup+0.072016 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 27711
/proc/meminfo: memFree=31458320/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=14196 CPUtime=0.06 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 1338 0 0 0 6 0 0 0 20 0 1 0 288390300 14536704 1107 33554432000 134512640 137138936 4290350912 4290338812 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 3549 1107 184 642 0 2905 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 14196

[startup+0.100289 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 27711
/proc/meminfo: memFree=31458320/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=14724 CPUtime=0.09 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 1461 0 0 0 9 0 0 0 20 0 1 0 288390300 15077376 1230 33554432000 134512640 137138936 4290350912 4290338392 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 3681 1232 185 642 0 3037 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14724

[startup+0.300252 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 27711
/proc/meminfo: memFree=31458320/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=21012 CPUtime=0.29 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 9962 0 0 0 28 1 0 0 20 0 1 0 288390300 21516288 2275 33554432000 134512640 137138936 4290350912 4290348672 135450397 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 5253 2275 278 642 0 4609 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21012

[startup+0.700234 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 27711
/proc/meminfo: memFree=31458320/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=24408 CPUtime=0.68 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 11110 0 0 0 67 1 0 0 20 0 1 0 288390300 24993792 2975 33554432000 134512640 137138936 4290350912 4290348600 135444639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 6102 2975 278 642 0 5458 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 24408

[startup+1.50028 s]
/proc/loadavg: 1.92 1.99 1.99 3/178 27712
/proc/meminfo: memFree=31445896/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=26800 CPUtime=1.49 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 14011 0 0 0 147 2 0 0 20 0 1 0 288390300 27443200 3739 33554432000 134512640 137138936 4290350912 4290348000 135432415 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 6700 3739 279 642 0 6056 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26800

[startup+3.10029 s]
/proc/loadavg: 1.92 1.99 1.99 3/178 27712
/proc/meminfo: memFree=31439988/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=30300 CPUtime=3.09 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 17015 0 0 0 306 3 0 0 20 0 1 0 288390300 31027200 4487 33554432000 134512640 137138936 4290350912 4290348000 135434955 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 7575 4487 279 642 0 6931 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30300

[startup+6.30026 s]
/proc/loadavg: 1.93 1.99 1.99 3/178 27712
/proc/meminfo: memFree=31436456/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=36832 CPUtime=6.29 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 21474 0 0 0 625 4 0 0 20 0 1 0 288390300 37715968 5942 33554432000 134512640 137138936 4290350912 4290348000 135436669 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 9208 5942 279 642 0 8564 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36832

[startup+12.7002 s]
/proc/loadavg: 1.93 1.99 1.99 3/177 27712
/proc/meminfo: memFree=31429856/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=42336 CPUtime=12.68 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 29186 0 0 0 1262 6 0 0 20 0 1 0 288390300 43352064 7930 33554432000 134512640 137138936 4290350912 4290348736 135409920 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 10584 7930 283 642 0 9940 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 42336

[startup+25.5002 s]
/proc/loadavg: 1.95 1.99 1.99 3/178 27713
/proc/meminfo: memFree=31445996/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=37676 CPUtime=25.49 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 70200 0 0 0 2532 17 0 0 20 0 1 0 288390300 38580224 3779 33554432000 134512640 137138936 4290350912 4290348796 135440713 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 9419 3779 283 642 0 8775 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37676

[startup+51.1003 s]
/proc/loadavg: 1.96 1.99 1.99 3/177 27713
/proc/meminfo: memFree=31427016/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=37432 CPUtime=51.08 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 371455 0 0 0 5041 67 0 0 20 0 1 0 288390300 38330368 5180 33554432000 134512640 137138936 4290350912 4290348000 135433558 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 9358 5180 292 642 0 8714 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 37432

[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 27713
/proc/meminfo: memFree=31444068/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=23992 CPUtime=102.28 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 847772 0 0 0 10073 155 0 0 20 0 1 0 288390300 24567808 3250 33554432000 134512640 137138936 4290350912 4290348000 135432415 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 5998 3250 292 642 0 5354 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 23992

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 27713
/proc/meminfo: memFree=31439900/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=27496 CPUtime=162.25 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 1501550 0 0 0 15955 270 0 0 20 0 1 0 288390300 28155904 3895 33554432000 134512640 137138936 4290350912 4290348000 135432415 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 6874 3895 292 642 0 6230 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 27496

[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 27713
/proc/meminfo: memFree=31438588/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=30332 CPUtime=222.24 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 2263628 0 0 0 21819 405 0 0 20 0 1 0 288390300 31059968 4322 33554432000 134512640 137138936 4290350912 4290348000 135432415 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 7583 4322 292 642 0 6939 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 30332

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 27713
/proc/meminfo: memFree=31428280/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=36992 CPUtime=282.23 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 3005307 0 0 0 27688 535 0 0 20 0 1 0 288390300 37879808 7229 33554432000 134512640 137138936 4290350912 4290348896 135783829 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 9248 7229 292 642 0 8604 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 36992

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27714
/proc/meminfo: memFree=31390808/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=76480 CPUtime=342.21 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 4171961 0 0 0 33504 717 0 0 20 0 1 0 288390300 78315520 16059 33554432000 134512640 137138936 4290350912 4290348000 135432415 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 19120 16059 292 642 0 18476 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 76480

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27714
/proc/meminfo: memFree=31359404/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=121472 CPUtime=402.19 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 5168591 0 0 0 39344 875 0 0 20 0 1 0 288390300 124387328 26177 33554432000 134512640 137138936 4290350912 4290348832 135446739 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 30368 26177 292 642 0 29724 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 121472

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27714
/proc/meminfo: memFree=31359324/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=105796 CPUtime=462.17 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 5985748 0 0 0 45204 1013 0 0 20 0 1 0 288390300 108335104 23800 33554432000 134512640 137138936 4290350912 4290348000 135432415 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 26449 23800 292 642 0 25805 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 105796

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27714
/proc/meminfo: memFree=31345172/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=121592 CPUtime=522.15 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 6749739 0 0 0 51063 1152 0 0 20 0 1 0 288390300 124510208 27296 33554432000 134512640 137138936 4290350912 4290348096 134709207 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 30398 27296 292 642 0 29754 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 121592

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27714
/proc/meminfo: memFree=31295752/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=168024 CPUtime=582.14 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 8157855 0 0 0 56851 1363 0 0 20 0 1 0 288390300 172056576 39310 33554432000 134512640 137138936 4290350912 4290348800 134713063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 42006 39312 292 642 0 41362 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 168024

[startup+642.3 s]

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

/proc/meminfo: memFree=30874864/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=467696 CPUtime=1121.97 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 18222315 0 0 0 109122 3075 0 0 20 0 1 0 288390300 478920704 114937 33554432000 134512640 137138936 4290350912 4290348988 136700814 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 116924 114937 292 642 0 116280 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 467696

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27795
/proc/meminfo: memFree=30807808/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=531904 CPUtime=1181.91 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 19623532 0 0 0 114874 3317 0 0 20 0 1 0 288390300 544669696 130233 33554432000 134512640 137138936 4290350912 4290348600 135444632 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 132976 130233 292 642 0 132332 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 531904

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27799
/proc/meminfo: memFree=30754940/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=574612 CPUtime=1241.87 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 20664848 0 0 0 120677 3510 0 0 20 0 1 0 288390300 588402688 139865 33554432000 134512640 137138936 4290350912 4290348272 135437324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 143653 139865 292 642 0 143009 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 574612

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 27799
/proc/meminfo: memFree=30714828/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=603736 CPUtime=1301.87 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 21768080 0 0 0 126486 3701 0 0 20 0 1 0 288390300 618225664 148946 33554432000 134512640 137138936 4290350912 4290349840 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 150934 148946 292 642 0 150290 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 603736

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 27799
/proc/meminfo: memFree=30656728/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=659036 CPUtime=1361.85 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 22953816 0 0 0 132273 3912 0 0 20 0 1 0 288390300 674852864 162008 33554432000 134512640 137138936 4290350912 4290348740 134730644 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 164759 162008 292 642 0 164115 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 659036

[startup+1422.31 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 27799
/proc/meminfo: memFree=30598572/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=704444 CPUtime=1421.85 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 24132329 0 0 0 138076 4109 0 0 20 0 1 0 288390300 721350656 174124 33554432000 134512640 137138936 4290350912 4290349840 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 176111 174124 292 642 0 175467 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 704444

[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 27799
/proc/meminfo: memFree=30569184/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=727664 CPUtime=1481.84 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 25008708 0 0 0 143911 4273 0 0 20 0 1 0 288390300 745127936 179897 33554432000 134512640 137138936 4290350912 4290348896 135783829 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 181916 179897 292 642 0 181272 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 727664

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 27800
/proc/meminfo: memFree=30512888/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=776284 CPUtime=1541.83 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 26159646 0 0 0 149714 4469 0 0 20 0 1 0 288390300 794914816 192001 33554432000 134512640 137138936 4290350912 4290348896 135783850 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 194071 192028 292 642 0 193427 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 776284

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27800
/proc/meminfo: memFree=30461056/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=819860 CPUtime=1601.82 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 27228351 0 0 0 155520 4662 0 0 20 0 1 0 288390300 839536640 202978 33554432000 134512640 137138936 4290350912 4290349840 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 204965 202978 292 642 0 204321 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 819860

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27800
/proc/meminfo: memFree=30412076/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=860304 CPUtime=1661.81 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 28177494 0 0 0 161343 4838 0 0 20 0 1 0 288390300 880951296 213089 33554432000 134512640 137138936 4290350912 4290349840 134542322 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 215076 213089 292 642 0 214432 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 860304

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 27800
/proc/meminfo: memFree=30364720/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=904556 CPUtime=1721.78 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 29156651 0 0 0 167163 5015 0 0 20 0 1 0 288390300 926265344 223449 33554432000 134512640 137138936 4290350912 4290348988 136700814 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 225437 223449 292 642 0 224793 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 904556

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 27800
/proc/meminfo: memFree=30319240/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=939096 CPUtime=1781.75 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 30031922 0 0 0 172994 5181 0 0 20 0 1 0 288390300 961634304 232787 33554432000 134512640 137138936 4290350912 4290349840 134542330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 234774 232787 292 642 0 234130 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 939096

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

[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 27803
/proc/meminfo: memFree=30312232/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=949516 CPUtime=1791.34 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 30173745 0 0 0 173927 5207 0 0 20 0 1 0 288390300 972304384 234652 33554432000 134512640 137138936 4290350912 4290348740 134730668 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 237379 234652 292 642 0 236735 0
Current children cumulated CPU time (s) 1791.34
Current children cumulated vsize (KiB) 949516

[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 27803
/proc/meminfo: memFree=30310396/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=946584 CPUtime=1794.54 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 30208477 0 0 0 174240 5214 0 0 20 0 1 0 288390300 969302016 234659 33554432000 134512640 137138936 4290350912 4290349840 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 236646 234659 292 642 0 236002 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (KiB) 946584

[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 27803
/proc/meminfo: memFree=30309404/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=947904 CPUtime=1796.13 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 30238630 0 0 0 174393 5220 0 0 20 0 1 0 288390300 970653696 234989 33554432000 134512640 137138936 4290350912 4290349840 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 236976 234989 292 642 0 236332 0
Current children cumulated CPU time (s) 1796.13
Current children cumulated vsize (KiB) 947904

[startup+1797.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 27803
/proc/meminfo: memFree=30308676/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=948336 CPUtime=1796.93 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 30249121 0 0 0 174471 5222 0 0 20 0 1 0 288390300 971096064 235097 33554432000 134512640 137138936 4290350912 4290349840 134542764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 237084 235097 292 642 0 236440 0
Current children cumulated CPU time (s) 1796.93
Current children cumulated vsize (KiB) 948336

[startup+1798.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 27803
/proc/meminfo: memFree=30308676/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=949032 CPUtime=1797.73 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 30265470 0 0 0 174548 5225 0 0 20 0 1 0 288390300 971808768 235271 33554432000 134512640 137138936 4290350912 4290349840 134542624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 237258 235271 292 642 0 236614 0
Current children cumulated CPU time (s) 1797.73
Current children cumulated vsize (KiB) 949032

[startup+1798.51 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 27803
/proc/meminfo: memFree=30306816/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=953612 CPUtime=1797.94 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202496 30271582 0 0 0 174568 5226 0 0 20 0 1 0 288390300 976498688 235691 33554432000 134512640 137138936 4290350912 4290348600 135444632 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 238403 235691 292 642 0 237759 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 953612

[startup+1798.6 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 27803
/proc/meminfo: memFree=30306816/32873844 swapFree=7372/7372
[pid=27711] ppid=27709 vsize=0 CPUtime=1798.04 cores=1,3,5,7
/proc/27711/stat : 27711 (bsolo) R 27709 27711 24082 0 -1 4202500 30272829 0 0 0 174576 5228 0 0 20 0 1 0 288390300 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27711/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.61
CPU time (s): 1798.05
CPU user time (s): 1745.76
CPU system time (s): 52.2911
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (KiB): 953612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1745.76
system time used= 52.291
maximum resident set size= 943116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30272829
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= 332
involuntary context switches= 1850

runsolver used 2.6566 second user time and 8.80766 second system time

The end

Launcher Data 

Begin job on node109 at 2012-05-28 18:30:17
IDJOB=3708336
IDBENCH=89874
IDSOLVER=2286
FILE ID=node109/3708336-1338222617
RUNJOBID= node109-1338195882-24099
PBS_JOBID= 14624611
Free space on /tmp= 71240 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-queens-30.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708336-1338222617/watcher-3708336-1338222617 -o /tmp/evaluation-result-3708336-1338222617/solver-3708336-1338222617 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708336-1338222617.opb

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

MD5SUM BENCH= ac9944a86f58bd3c1af4c4c4a209f399
RANDOM SEED=1790246682

node109.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.264
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31458320 kB
Buffers:          208716 kB
Cached:           341912 kB
SwapCached:          588 kB
Active:           337400 kB
Inactive:         272544 kB
Active(anon):      53624 kB
Inactive(anon):     7668 kB
Active(file):     283776 kB
Inactive(file):   264876 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67106292 kB
Dirty:              4648 kB
Writeback:             0 kB
AnonPages:         64984 kB
Mapped:            11072 kB
Shmem:                 8 kB
Slab:             665356 kB
SReclaimable:     107388 kB
SUnreclaim:       557968 kB
KernelStack:        1464 kB
PageTables:         3724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     181848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     43008 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71188 MiB
End job on node109 at 2012-05-28 19:00:16