Trace number 1878454

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
bsolo 3.1 clSAT (TO)-36 1800.22 1800.96

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
MD5SUM49f1950e042362832bbb830f499dd3e3
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 benchmark1795.18
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 constraints58245
Number of constraints which are clauses58245
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.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1878454-1245165971.opb
0.00/0.00	c File size is 1390935 bytes.
0.09/0.17	c Highest Coefficient sum: 945
0.09/0.17	c Parsing was ok!!
0.09/0.17	c Total parsing time: 0.17 s
0.09/0.19	c Var: 945 Constr: 58245 58245/0/0 Lit: 116490 Watch. Lit: 116490
0.09/0.19	c Obj. Vars: 945 (100 % of total variables)
1.29/1.34	c Pre-processing Time: 1.343 s
1.29/1.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.34	c        0    945    58245   116490    2   116490   19414      0      0 1.34
1.29/1.34	c Switching off lower bounding mode.
1.29/1.35	o -29
1.29/1.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.36	c        0    945    58246   117435    2   116521   20414      1      0 1.36
1.29/1.36	o -30
1.29/1.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.36	c        1    945    58248   119293    2   116555   20414      3      0 1.36
1.29/1.36	o -32
1.29/1.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.29/1.36	c        1    945    58249   120238    2   116589   20414      4      0 1.36
1.29/1.36	o -33
2.49/2.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.49/2.56	c        2    945    58251   122092    2   116626   20414      6      1 1.37
2.49/2.56	c      103    945    58352   213854    3   116828   22456    107     72 1.43
2.49/2.56	c      354    945    58603   441955    7   117330   24702    358    222 1.59
2.49/2.56	c      831    945    59080   875483   14   118284   27173    835    433 1.92
2.49/2.56	c     1644    945    59893  1613464   26   119910   29891   1648    645 2.55
2.49/2.56	o -34
251.81/251.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
251.81/251.98	c     1662    945    59912  1630772   27   119982   20414   1667    648 2.56
251.81/251.98	c     1763    945    60013  1722418   28   120184   22456   1768    668 2.64
251.81/251.98	c     2014    945    60264  1950325   32   120686   24702   2019    718 2.81
251.81/251.98	c     2489    945    60739  2381384   39   121636   27173   2494    788 3.16
251.81/251.98	c     3303    945    61553  3120331   50   123264   29891   3308    862 3.83
251.81/251.98	c     4624    945    62874  4318378   68   125906   32881   4629    919 5.03
251.81/251.98	c     6705    945    64955  6205073   95   130068   36170   6710    893 7.50
251.81/251.98	c     9929    945    68179  9129019  133   136516   39788   9934    779 12.73
251.81/251.98	c    14866    945    73116 13608259  186   146390   43767  14871    721 20.59
251.81/251.98	c    22372    945    80622 20415027  253   161402   48144  22377    590 37.89
251.81/251.98	c    33734    945    91984 30718845  333   184126   52959  33739    507 66.41
251.81/251.98	c    50878    945   109128 46270794  424   218414   58255  50883    426 119.31
251.81/251.98	c    76698    945    87501 26660065  304   175036   64081  29256    304 251.82
251.81/251.98	o -35
257.10/257.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
257.10/257.20	c    76698    945    87502 26661010  304   175073   20414  29257    304 251.89
257.10/257.20	c    76798    945    68553  9468844  138   137141   22456  10308    299 256.09
257.10/257.20	c    77048    945    68803  9695345  140   137641   24702  10558    300 256.35
257.10/257.20	c    77524    945    69279 10126655  146   138593   27173  11034    301 257.08
257.10/257.20	o -36
1800.06/1800.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.06/1800.81	c    77525    945    69281 10128509  146   138633   20414  11036    301 257.11
1800.06/1800.81	c    77625    945    69381 10219030  147   138833   22456  11136    301 257.30
1800.06/1800.81	c    77876    945    69632 10446208  150   139335   24702  11387    302 257.60
1800.06/1800.81	c    78351    945    70107 10876586  155   140285   27173  11862    303 258.02
1800.06/1800.81	c    79165    945    70921 11613662  163   141913   29891  12676    305 258.90
1800.06/1800.81	c    80485    945    72241 12808308  177   144553   32881  13996    309 260.22
1800.06/1800.81	c    82566    945    74322 14690061  197   148715   36170  16077    313 262.98
1800.06/1800.81	c    85790    945    77546 17605593  227   155163   39788  19301    321 266.98
1800.06/1800.81	c    90726    945    82482 22073099  267   165035   43767  24237    328 275.88
1800.06/1800.81	c    98232    945    89988 28865222  320   180047   48144  31743    333 294.45
1800.06/1800.81	c   109593    945   101349 39146980  386   202769   52959  43104    337 324.74
1800.06/1800.81	c   126737    945    76229 16394942  215   152494   58255  17984    305 415.03
1800.06/1800.81	c   152556    945   102048 39739171  389   204132   64081  43803    275 553.52
1800.06/1800.81	c   191390    945    87741 26804528  305   175518   70490  29496    275 693.57
1800.06/1800.81	c   249742    945    86699 25871960  298   173434   77540  28454    247 1009.39
1800.06/1800.81	c   337374    945   107892 45066228  417   215820   85295  49647    207 1627.67
1800.06/1800.81	c Caught signal: 15
1800.06/1800.81	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 
1800.06/1800.81	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.81	c   41   373948  37272   422249   125325 60818818  67080    207 1800.07
1800.06/1800.81	c Objective: -36
1800.06/1800.81	s SATISFIABLE
1800.06/1800.81	c Total time: 1800.07 s

Verifier Data 

OK	-36

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878454-1245165971/watcher-1878454-1245165971 -o /tmp/evaluation-result-1878454-1245165971/solver-1878454-1245165971 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878454-1245165971.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 2874
/proc/meminfo: memFree=1921200/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=12076 CPUtime=0
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 265 0 0 0 0 0 0 0 18 0 1 0 184197241 12365824 249 1992294400 134512640 137136520 4294956256 18446744073709551615 134517511 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 3019 250 176 640 0 2035 0

[startup+0.106588 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 2874
/proc/meminfo: memFree=1921200/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=15512 CPUtime=0.09
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 1314 0 0 0 9 0 0 0 18 0 1 0 184197241 15884288 1298 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 3878 1299 376 640 0 2894 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15512

[startup+0.201596 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 2874
/proc/meminfo: memFree=1921200/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=19124 CPUtime=0.19
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 2718 0 0 0 19 0 0 0 18 0 1 0 184197241 19582976 2362 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 4781 2362 188 640 0 4137 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 19124

[startup+0.301604 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 2874
/proc/meminfo: memFree=1921200/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=20988 CPUtime=0.29
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 3192 0 0 0 28 1 0 0 19 0 1 0 184197241 21491712 2836 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 5247 2836 190 640 0 4603 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20988

[startup+0.701643 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 2874
/proc/meminfo: memFree=1921200/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=20988 CPUtime=0.69
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 3192 0 0 0 67 2 0 0 23 0 1 0 184197241 21491712 2836 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 5247 2836 190 640 0 4603 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20988

[startup+1.50272 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2875
/proc/meminfo: memFree=1910504/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=21836 CPUtime=1.49
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 4254 0 0 0 144 5 0 0 25 0 1 0 184197241 22360064 3036 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 5459 3036 196 640 0 4815 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21836

[startup+3.10187 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2875
/proc/meminfo: memFree=1897640/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=47344 CPUtime=3.09
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 10648 0 0 0 302 7 0 0 25 0 1 0 184197241 48480256 9430 1992294400 134512640 137136520 4294956256 18446744073709551615 134573092 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 11836 9430 196 640 0 11192 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47344

[startup+6.30118 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2875
/proc/meminfo: memFree=1852136/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=87392 CPUtime=6.29
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 20662 0 0 0 618 11 0 0 25 0 1 0 184197241 89489408 19444 1992294400 134512640 137136520 4294956256 18446744073709551615 136509131 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 21881 19448 196 640 0 21237 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 87392

[startup+12.7018 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2875
/proc/meminfo: memFree=1799400/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=134512 CPUtime=12.69
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 32442 0 0 0 1253 16 0 0 25 0 1 0 184197241 137740288 31224 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 33628 31224 196 640 0 32984 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 134512

[startup+25.501 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2875
/proc/meminfo: memFree=1701992/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=230352 CPUtime=25.48
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 56392 0 0 0 2521 27 0 0 25 0 1 0 184197241 235880448 55174 1992294400 134512640 137136520 4294956256 18446744073709551615 134616728 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 57588 55174 196 640 0 56944 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 230352

[startup+51.1015 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2875
/proc/meminfo: memFree=1587048/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=347296 CPUtime=51.07
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 85640 0 0 0 5065 42 0 0 25 0 1 0 184197241 355631104 84422 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 86824 84422 196 640 0 86180 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 347296

[startup+102.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2875
/proc/meminfo: memFree=1370408/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=559952 CPUtime=102.26
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 138791 0 0 0 10152 74 0 0 25 0 1 0 184197241 573390848 137573 1992294400 134512640 137136520 4294956256 18446744073709551615 134600751 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 139988 137573 196 640 0 139344 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 559952

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2875
/proc/meminfo: memFree=1222184/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=707640 CPUtime=162.23
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 175763 0 0 0 16127 96 0 0 25 0 1 0 184197241 724623360 174487 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 176910 174487 196 640 0 176266 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 707640

[startup+222.307 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2875
/proc/meminfo: memFree=1222184/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=707640 CPUtime=222.22
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 175763 0 0 0 22123 99 0 0 25 0 1 0 184197241 724623360 174487 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 176910 174487 196 640 0 176266 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 707640

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2875
/proc/meminfo: memFree=1222184/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=707640 CPUtime=282.19
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 175763 0 0 0 28117 102 0 0 25 0 1 0 184197241 724623360 174487 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 176910 174487 196 640 0 176266 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 707640

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2875
/proc/meminfo: memFree=1222184/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=707640 CPUtime=342.17
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 175763 0 0 0 34110 107 0 0 25 0 1 0 184197241 724623360 174487 1992294400 134512640 137136520 4294956256 18446744073709551615 134571594 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 176910 174487 196 640 0 176266 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 707640

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 2875
/proc/meminfo: memFree=1222760/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=706996 CPUtime=402.14
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 175763 0 0 0 40105 109 0 0 25 0 1 0 184197241 723963904 174347 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 176749 174347 196 640 0 176105 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 706996

[startup+462.302 s]
/proc/loadavg: 1.04 0.99 0.99 2/65 2875
/proc/meminfo: memFree=1222696/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=706996 CPUtime=462.13
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 175763 0 0 0 46099 114 0 0 25 0 1 0 184197241 723963904 174347 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 176749 174347 196 640 0 176105 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 706996

[startup+522.302 s]
/proc/loadavg: 1.05 1.00 1.00 2/65 2875
/proc/meminfo: memFree=1222632/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=706996 CPUtime=522.1
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 175763 0 0 0 52092 118 0 0 25 0 1 0 184197241 723963904 174347 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 176749 174347 196 640 0 176105 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 706996

[startup+582.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 2875
/proc/meminfo: memFree=1222632/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=706996 CPUtime=582.07
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 175763 0 0 0 58085 122 0 0 25 0 1 0 184197241 723963904 174347 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 176749 174347 196 640 0 176105 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 706996

[startup+642.301 s]
/proc/loadavg: 1.10 1.04 1.01 2/65 2875
/proc/meminfo: memFree=1156264/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=773320 CPUtime=642.05
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 192383 0 0 0 64069 136 0 0 25 0 1 0 184197241 791879680 190903 1992294400 134512640 137136520 4294956256 18446744073709551615 136502161 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 193330 190903 196 640 0 192686 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 773320

[startup+702.301 s]

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

[startup+882.306 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 2875
/proc/meminfo: memFree=1127016/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=802648 CPUtime=881.95
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 199716 0 0 0 88042 153 0 0 25 0 1 0 184197241 821911552 198236 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 200662 198236 196 640 0 200018 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 802648

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2875
/proc/meminfo: memFree=1081256/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=848032 CPUtime=941.92
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 211136 0 0 0 94030 162 0 0 25 0 1 0 184197241 868384768 209586 1992294400 134512640 137136520 4294956256 18446744073709551615 136498219 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 212008 209586 196 640 0 211364 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 848032

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2875
/proc/meminfo: memFree=1081192/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=848032 CPUtime=1001.89
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 211136 0 0 0 100024 165 0 0 25 0 1 0 184197241 868384768 209586 1992294400 134512640 137136520 4294956256 18446744073709551615 134543945 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 212008 209586 196 640 0 211364 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 848032

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2875
/proc/meminfo: memFree=1081192/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=848032 CPUtime=1061.87
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 211136 0 0 0 106018 169 0 0 25 0 1 0 184197241 868384768 209586 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 212008 209586 196 640 0 211364 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 848032

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2875
/proc/meminfo: memFree=1081192/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=848032 CPUtime=1121.84
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 211136 0 0 0 112011 173 0 0 25 0 1 0 184197241 868384768 209586 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 212008 209586 196 640 0 211364 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 848032

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2875
/proc/meminfo: memFree=1081128/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=848032 CPUtime=1181.82
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 211136 0 0 0 118007 175 0 0 25 0 1 0 184197241 868384768 209586 1992294400 134512640 137136520 4294956256 18446744073709551615 134544127 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 212008 209586 196 640 0 211364 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 848032

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2875
/proc/meminfo: memFree=1080936/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=848032 CPUtime=1241.8
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 211136 0 0 0 124003 177 0 0 25 0 1 0 184197241 868384768 209586 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 212008 209586 196 640 0 211364 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 848032

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2875
/proc/meminfo: memFree=1065064/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=865520 CPUtime=1301.77
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 215519 0 0 0 129996 181 0 0 25 0 1 0 184197241 886292480 213969 1992294400 134512640 137136520 4294956256 18446744073709551615 134543974 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 216380 213969 196 640 0 215736 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 865520

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2875
/proc/meminfo: memFree=998760/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=930076 CPUtime=1361.75
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 231723 0 0 0 135985 190 0 0 25 0 1 0 184197241 952397824 230096 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 232519 230096 196 640 0 231875 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 930076

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2875
/proc/meminfo: memFree=998696/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=930076 CPUtime=1421.74
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 231723 0 0 0 141981 193 0 0 25 0 1 0 184197241 952397824 230096 1992294400 134512640 137136520 4294956256 18446744073709551615 135982529 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 232519 230096 196 640 0 231875 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 930076

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2875
/proc/meminfo: memFree=998632/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=930076 CPUtime=1481.69
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 231723 0 0 0 147973 196 0 0 25 0 1 0 184197241 952397824 230096 1992294400 134512640 137136520 4294956256 18446744073709551615 134544157 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 232519 230096 196 640 0 231875 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 930076

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2877
/proc/meminfo: memFree=998568/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=930076 CPUtime=1541.67
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 231723 0 0 0 153968 199 0 0 25 0 1 0 184197241 952397824 230096 1992294400 134512640 137136520 4294956256 18446744073709551615 134544122 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 232519 230096 196 640 0 231875 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 930076

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2877
/proc/meminfo: memFree=998632/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=930076 CPUtime=1601.64
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 231723 0 0 0 159963 201 0 0 25 0 1 0 184197241 952397824 230096 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 232519 230096 196 640 0 231875 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 930076

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2877
/proc/meminfo: memFree=998632/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=930076 CPUtime=1661.61
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 231723 0 0 0 165956 205 0 0 25 0 1 0 184197241 952397824 230096 1992294400 134512640 137136520 4294956256 18446744073709551615 134544604 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 232519 230096 196 640 0 231875 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 930076

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2877
/proc/meminfo: memFree=998632/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=930076 CPUtime=1721.59
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 231723 0 0 0 171950 209 0 0 25 0 1 0 184197241 952397824 230096 1992294400 134512640 137136520 4294956256 18446744073709551615 134544393 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 232519 230096 196 640 0 231875 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 930076

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2877
/proc/meminfo: memFree=908712/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=1019596 CPUtime=1781.56
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 254197 0 0 0 177934 222 0 0 25 0 1 0 184197241 1044066304 252485 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 254899 252485 196 640 0 254255 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 1019596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2877
/proc/meminfo: memFree=908776/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=1019596 CPUtime=1800.06
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194304 254197 0 0 0 179784 222 0 0 25 0 1 0 184197241 1044066304 252485 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 254899 252485 196 640 0 254255 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1019596

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2877
/proc/meminfo: memFree=908776/2055920 swapFree=4181652/4192956
[pid=2874] ppid=2872 vsize=0 CPUtime=1800.16
/proc/2874/stat : 2874 (bsolo) R 2872 2874 2588 0 -1 4194308 254199 0 0 0 179784 232 0 0 25 0 1 0 184197241 0 0 1992294400 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 0 0 0
/proc/2874/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.96
CPU time (s): 1800.22
CPU user time (s): 1797.85
CPU system time (s): 2.37464
CPU usage (%): 99.9592
Max. virtual memory (cumulated for all children) (KiB): 1019596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.85
system time used= 2.37464
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254199
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= 2
involuntary context switches= 6958

runsolver used 1.58976 second user time and 4.97024 second system time

The end

Launcher Data 

Begin job on node18 at 2009-06-16 17:26:11
IDJOB=1878454
IDBENCH=2250
IDSOLVER=700
FILE ID=node18/1878454-1245165971
PBS_JOBID= 9363849
Free space on /tmp= 66172 MiB

SOLVER NAME= bsolo 3.1 cl
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878454-1245165971/watcher-1878454-1245165971 -o /tmp/evaluation-result-1878454-1245165971/solver-1878454-1245165971 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1878454-1245165971.opb

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

MD5SUM BENCH= 49f1950e042362832bbb830f499dd3e3
RANDOM SEED=383566475

node18.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.236
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1921680 kB
Buffers:         29368 kB
Cached:          60632 kB
SwapCached:       5540 kB
Active:          49456 kB
Inactive:        48460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1921680 kB
SwapTotal:     4192956 kB
SwapFree:      4181652 kB
Dirty:            5296 kB
Writeback:           0 kB
Mapped:          12940 kB
Slab:            22384 kB
Committed_AS:   149628 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878454-1245165971.opb

Free space on /tmp at the end= 66168 MiB
End job on node18 at 2009-06-16 17:56:14