Trace number 455331

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, and are wall clock time (not CPU 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.0.17SAT (TO)-19 1800.26 1801.02

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_2.opb
MD5SUMfc8bff78845ab9a14b2d06ab749e4dc4
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-137
Best CPU time to get the best result obtained on this benchmark1800.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -137
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
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)12656
Sum of products size (including duplicates)25312
Number of different products6328
Sum of products size12656

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/455331-1178041388/instance-455331-1178041388.opb
0.00/0.00	c File size is 193104 bytes.
0.07/0.08	c Highest Coefficient sum: 1000
0.07/0.08	c Parsing was ok!!
0.07/0.08	c Total parsing time: 0.079 s
0.09/0.10	c Var: 13656 Constr: 26814 13156/1002/12656 Lit: 91592 Watch. Lit: 77938
0.09/0.10	c Obj. Vars: 500 (3.66139 % of total variables)
6.99/7.00	c Pre-processing Time: 7.001 s
6.99/7.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.99/7.00	c        0  13656    26814    91592    3    77938  133325      0      0 7.00
6.99/7.00	c Switching off LPR mode.
6.99/7.02	o -1	7.022
6.99/7.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.99/7.04	c        0  13656    26815    92092    3    77941  133658      1      0 7.03
6.99/7.04	o -2	7.042
6.99/7.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.99/7.06	c        0  13656    26816    92592    3    77945  134158      2      0 7.05
6.99/7.06	o -3	7.063
6.99/7.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.99/7.09	c        0  13656    26817    93092    3    77950  134825      3      0 7.07
6.99/7.09	o -4	7.083
7.09/7.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.11	c        0  13656    26818    93592    3    77956  135658      4      0 7.09
7.09/7.11	o -5	7.104
7.09/7.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.13	c        0  13656    26819    94092    3    77963  136658      5      0 7.11
7.09/7.13	o -6	7.125
7.09/7.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.15	c        0  13656    26820    94592    3    77971  137658      6      0 7.13
7.09/7.15	o -7	7.145
7.09/7.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.17	c        0  13656    26821    95092    3    77980  138658      7      0 7.15
7.09/7.17	o -8	7.166
7.09/7.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.09/7.19	c        0  13656    26822    95592    3    77990  139658      8      0 7.17
7.09/7.19	o -9	7.187
7.19/7.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.19/7.21	c        0  13656    26823    96092    3    78001  140658      9      0 7.19
7.19/7.21	o -10	7.208
7.19/7.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.19/7.23	c        0  13656    26824    96592    3    78013  141658     10      0 7.21
7.19/7.23	o -11	7.229
7.19/7.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.19/7.25	c        0  13656    26825    97092    3    78026  142658     11      0 7.24
7.19/7.25	o -12	7.25
7.19/7.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.19/7.27	c        0  13656    26826    97592    3    78040  143658     12      0 7.26
7.19/7.27	o -13	7.271
7.19/7.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.19/7.29	c        0  13656    26827    98092    3    78055  144658     13      0 7.28
7.19/7.29	o -14	7.292
7.29/7.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.29/7.32	c        0  13656    26828    98592    3    78071  145658     14      0 7.30
7.29/7.32	o -15	7.313
7.29/7.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.29/7.34	c        0  13656    26829    99092    3    78088  146658     15      0 7.32
7.29/7.34	o -16	7.335
7.29/7.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.29/7.38	c        0  13656    26830    99592    3    78106  147658     16      0 7.34
7.29/7.38	o -17	7.38
15.88/15.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.88/15.92	c        3  13656    26834   101711    3    78131  147658     20      0 7.39
15.88/15.92	c      103  13656    26934   157425    5    78331  162424    120     12 8.18
15.88/15.92	c      353  13656    27184   302167   11    78831  178667    370     35 9.94
15.88/15.92	c      828  13656    27659   599872   21    79781  196534    845     68 12.11
15.88/15.92	c     1641  13656    28472  1204699   42    81407  216188   1658    108 15.17
15.88/15.92	o -18	15.917
1009.96/1010.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1009.96/1010.39	c     2207  13656    29039  1688330   58    82559  147658   2225    138 15.93
1009.96/1010.39	c     2307  13656    29139  1742003   59    82759  162424   2325    133 17.25
1009.96/1010.39	c     2557  13656    29389  1918335   65    83259  178667   2575    132 19.35
1009.96/1010.39	c     3032  13656    29864  2205936   73    84209  196534   3050    147 20.57
1009.96/1010.39	c     3845  13656    30677  2735134   89    85835  216188   3863    139 27.65
1009.96/1010.39	c     5165  13656    31997  3676896  114    88475  237807   5183    135 38.17
1009.96/1010.39	c     7246  13656    34078  5148491  151    92637  261588   7264    126 57.17
1009.96/1010.39	c    10469  13656    37301  7444203  199    99083  287747  10487    120 86.95
1009.96/1010.39	c    15405  13656    42237 10901289  258   108955  316522  15423    119 128.58
1009.96/1010.39	c    22911  13656    49743 16441365  330   123967  348175  22929    125 181.94
1009.96/1010.39	c    34272  13656    61104 24572451  402   146689  382993  34290    130 262.18
1009.96/1010.39	c    51416  13656    78248 37294527  476   180977  421293  51434    130 392.57
1009.96/1010.39	c    77235  13656   104067 57158009  549   232615  463423  77253    133 578.63
1009.96/1010.39	c   116067  13656   142899 88082756  616   310279  509766 116085    144 803.46
1009.96/1010.39	o -19	1010.06
1800.04/1800.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.04/1800.70	c   151360  13656   178193 105930186  594   380886  147658 151379    149 1010.07
1800.04/1800.70	c   151460  13656    39788  6781756  170   103905  162424  12974    114 1318.07
1800.04/1800.70	c   151710  13656    40038  6956409  173   104405  178667  13224    114 1319.88
1800.04/1800.70	c   152185  13656    40513  7295519  180   105355  196534  13699    115 1323.11
1800.04/1800.70	c   152998  13656    41326  7869109  190   106981  216188  14512    115 1328.76
1800.04/1800.70	c   154318  13656    42646  8714656  204   109621  237807  15832    115 1335.19
1800.04/1800.70	c   156399  13656    44727 10184131  227   113783  261588  17913    115 1349.87
1800.04/1800.70	c   159622  13656    47950 12385821  258   120229  287747  21136    116 1368.98
1800.04/1800.70	c   164558  13656    52886 15838123  299   130101  316522  26072    117 1401.05
1800.04/1800.70	c   172064  13656    60392 21161000  350   145113  348175  33578    118 1454.05
1800.04/1800.70	c   183425  13656    71753 29420286  410   167835  382993  44939    119 1534.84
1800.04/1800.70	c   200569  13656    88897 42102432  473   202123  421293  62083    121 1655.47
1800.04/1800.71	c Caught signal: 15
1800.04/1800.71	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
1800.04/1800.71	v -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
1800.04/1800.71	v -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
1800.04/1800.71	v -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108
1800.04/1800.71	v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129
1800.04/1800.71	v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
1800.04/1800.71	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171
1800.04/1800.71	v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192
1800.04/1800.71	v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213
1800.04/1800.71	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234
1800.04/1800.71	v -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255
1800.04/1800.71	v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276
1800.04/1800.71	v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297
1800.04/1800.71	v -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318
1800.04/1800.71	v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339
1800.04/1800.71	v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
1800.04/1800.71	v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381
1800.04/1800.71	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402
1800.04/1800.71	v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423
1800.04/1800.71	v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444
1800.04/1800.71	v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465
1800.04/1800.71	v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486
1800.04/1800.71	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x791 -x720 -x789 -x576 -x562 -x999 -x865
1800.04/1800.71	v -x778 -x746 -x628 -x548 -x724 -x808 -x830 -x846 -x910 -x927 -x501 x843 x680 x650 x594 x538 x550 x655 x774 x868 x731 x529 x603
1800.04/1800.71	v x611 -x625 x667 -x670 x712 -x716 -x761 -x929 -x502 -x573 -x570 -x816 -x768 -x892 -x711 -x631 -x797 -x564 -x514 -x566 -x657
1800.04/1800.71	v -x762 -x899 -x503 -x587 -x783 -x803 -x662 -x697 -x653 -x878 -x974 -x898 -x858 -x639 -x812 -x932 -x504 -x668 -x507 -x966 -x557
1800.04/1800.71	v -x915 -x591 -x776 -x645 -x552 -x584 -x605 -x705 -x787 -x935 -x993 -x505 -x946 -x700 -x567 -x967 -x810 -x824 -x949 -x606 -x887
1800.04/1800.71	v -x513 -x531 -x624 -x826 -x902 -x506 -x963 -x544 -x522 -x617 -x718 -x769 -x691 -x604 -x630 -x717 -x726 -x518 -x644 x971 -x763
1800.04/1800.71	v -x558 -x738 -x660 -x689 -x709 -x714 -x922 -x508 -x686 -x734 -x885 -x800 -x704 -x961 -x938 -x652 -x526 -x845 -x509 -x918 -x582
1800.04/1800.71	v -x870 -x766 -x702 -x656 -x515 -x516 -x536 -x608 -x864 -x917 -x986 -x510 -x809 -x719 -x799 -x519 -x989 -x710 -x578 -x533 -x590
1800.04/1800.71	v -x703 -x728 -x739 -x968 -x511 -x983 -x747 -x984 -x598 -x924 -x535 -x690 -x520 -x781 -x881 -x965 -x512 -x693 x907 -x589 -x875
1800.04/1800.71	v -x673 -x642 -x882 -x874 -x833 -x861 -x532 -x851 -x876 -x831 -x698 -x988 -x638 -x580 -x823 -x973 -x542 -x921 -x817 -x545 -x663
1800.04/1800.71	v -x755 -x872 -x886 -x807 -x699 -x517 -x706 -x867 -x646 -x741 -x596 -x615 -x721 -x745 -x871 -x622 -x632 -x982 -x727 -x835 -x521
1800.04/1800.71	v -x556 -x524 -x732 -x579 -x792 -x571 -x568 -x723 -x893 -x540 -x588 -x729 -x811 -x665 -x785 -x972 -x600 -x840 -x537 -x547 -x575
1800.04/1800.71	v -x802 -x752 -x914 -x941 -x725 -x897 -x939 -x527 -x563 -x572 -x585 -x618 -x640 -x654 -x744 -x730 -x754 -x748 -x620 -x569 -x733
1800.04/1800.71	v -x804 -x909 -x601 -x736 -x666 -x742 -x687 -x735 -x834 -x758 -x677 -x708 -x911 -x857 -x634 -x523 -x586 x658 -x649 -x749 -x869
1800.04/1800.71	v -x841 -x955 -x772 -x827 -x904 -x674 -x525 -x844 -x923 -x561 -x599 -x672 -x713 -x767 -x619 -x960 -x788 -x694 -x764 -x643 -x942
1800.04/1800.71	v -x950 -x775 -x661 -x701 -x756 -x528 -x565 -x863 -x990 -x890 -x786 -x994 -x560 -x676 -x947 -x952 -x853 -x985 -x978 -x796 -x765
1800.04/1800.71	v -x592 -x530 -x722 -x856 x581 -x610 -x825 -x937 -x679 -x651 -x626 -x896 -x777 -x597 -x818 -x888 -x976 -x934 -x675 -x849 -x784
1800.04/1800.71	v -x842 -x534 -x981 -x555 -x682 -x773 -x595 -x692 -x850 -x613 -x743 -x815 -x836 -x987 -x793 -x852 -x647 -x847 -x633 -x681 -x980
1800.04/1800.71	v -x903 -x737 -x641 -x664 -x822 -x905 -x948 -x636 -x671 -x688 -x889 -x900 -x539 -x669 -x616 -x759 -x806 -x957 -x979 -x627 -x543
1800.04/1800.71	v -x873 -x574 -x541 -x609 -x607 -x637 -x970 -x956 -x780 -x593 -x602 -x848 -x919 -x621 -x683 -x553 -x944 -x931 -x958 -x996 -x577
1800.04/1800.71	v -x877 -x546 -x814 -x954 -x962 -x795 -x771 -x798 -x549 -x936 -x862 -x953 -x855 -x883 -x551 -x866 -x695 -x659 -x612 -x554 -x975
1800.04/1800.71	v -x998 -x901 -x753 -x648 -x794 -x779 -x913 -x995 -x760 -x819 -x614 -x678 -x805 -x943 -x559 -x751 -x908 -x860 -x740 -x991 -x837
1800.04/1800.71	v -x629 -x684 -x838 -x977 -x839 -x933 -x813 -x820 -x930 -x801 -x916 -x828 -x770 -x854 -x859 -x928 -x832 -x945 -x879 -x894 -x1000
1800.04/1800.71	v -x925 -x696 -x891 -x821 -x685 -x969 -x829 -x583 -x707 -x790 -x906 -x926 -x782 -x940 -x895 -x992 -x715 -x757 -x884 -x623 -x750
1800.04/1800.71	v -x920 -x997 -x959 -x635 -x964 -x951 -x880 -x912
1800.04/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.04/1800.71	c   47   222746    447   449226   111074 58927877  84260    123 1800.04
1800.04/1800.71	c Objective: -19
1800.04/1800.71	s SATISFIABLE
1800.04/1800.71	c Total time: 1800.04 s

Verifier Data (download as text)

OK	-19

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node71/watcher-455331-1178041388 -o ROOT/results/node71/solver-455331-1178041388 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455331-1178041388/instance-455331-1178041388.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23732
/proc/meminfo: memFree=1736944/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=11928 CPUtime=0
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 280128176 12214272 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 2982 333 279 324 0 2004 0

[startup+0.0805749 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23732
/proc/meminfo: memFree=1736944/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=8088 CPUtime=0.07
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 1407 0 0 0 7 0 0 0 18 0 1 0 280128176 8282112 1377 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 2022 1378 332 324 0 1044 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8088

[startup+0.101577 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23732
/proc/meminfo: memFree=1736944/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=10436 CPUtime=0.09
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 2043 0 0 0 9 0 0 0 18 0 1 0 280128176 10686464 1965 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 2609 1966 300 324 0 1679 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10436

[startup+0.301604 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23732
/proc/meminfo: memFree=1736944/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=11112 CPUtime=0.29
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 2172 0 0 0 28 1 0 0 19 0 1 0 280128176 11378688 2094 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 2778 2094 304 324 0 1848 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11112

[startup+0.701659 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 23732
/proc/meminfo: memFree=1736944/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=11112 CPUtime=0.69
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 2173 0 0 0 68 1 0 0 23 0 1 0 280128176 11378688 2095 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 2778 2095 304 324 0 1848 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11112

[startup+1.50177 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 23733
/proc/meminfo: memFree=1729832/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=11112 CPUtime=1.49
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 2173 0 0 0 148 1 0 0 25 0 1 0 280128176 11378688 2095 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 2778 2095 304 324 0 1848 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11112

[startup+3.10199 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 23733
/proc/meminfo: memFree=1729704/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=11112 CPUtime=3.09
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 2173 0 0 0 308 1 0 0 25 0 1 0 280128176 11378688 2095 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 2778 2095 304 324 0 1848 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11112

[startup+6.30142 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 23733
/proc/meminfo: memFree=1729448/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=11112 CPUtime=6.29
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 2173 0 0 0 628 1 0 0 25 0 1 0 280128176 11378688 2095 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 2778 2095 304 324 0 1848 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11112

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 23733
/proc/meminfo: memFree=1722800/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=19156 CPUtime=12.69
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 4655 0 0 0 1262 7 0 0 25 0 1 0 280128176 19615744 4148 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 4789 4148 310 324 0 3859 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19156

[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 23733
/proc/meminfo: memFree=1696560/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=44092 CPUtime=25.49
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 10896 0 0 0 2540 9 0 0 25 0 1 0 280128176 45150208 10389 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 11023 10389 310 324 0 10093 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 44092

[startup+51.1025 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 23733
/proc/meminfo: memFree=1670064/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=70712 CPUtime=51.07
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 17553 0 0 0 5095 12 0 0 25 0 1 0 280128176 72409088 17046 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 17678 17046 310 324 0 16748 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 70712

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 23735
/proc/meminfo: memFree=1619056/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=121372 CPUtime=102.25
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 30210 0 0 0 10206 19 0 0 25 0 1 0 280128176 124284928 29703 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 30343 29703 310 324 0 29413 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 121372

[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23735
/proc/meminfo: memFree=1545712/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=196124 CPUtime=162.23
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 48908 0 0 0 16193 30 0 0 25 0 1 0 280128176 200830976 48401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 49031 48401 310 324 0 48101 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 196124

[startup+222.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23735
/proc/meminfo: memFree=1464240/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=275952 CPUtime=222.22
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 68865 0 0 0 22178 44 0 0 25 0 1 0 280128176 282574848 68358 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 68988 68358 310 324 0 68058 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 275952

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23735
/proc/meminfo: memFree=1391344/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=350964 CPUtime=282.2
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 87616 0 0 0 28164 56 0 0 25 0 1 0 280128176 359387136 87109 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 87741 87109 310 324 0 86811 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 350964

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23735
/proc/meminfo: memFree=1319984/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=420644 CPUtime=342.18
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 105015 0 0 0 34154 64 0 0 25 0 1 0 280128176 430739456 104508 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 105161 104508 310 324 0 104231 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 420644

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23735
/proc/meminfo: memFree=1237424/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=502828 CPUtime=402.16
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 125583 0 0 0 40140 76 0 0 25 0 1 0 280128176 514895872 125076 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572603 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 125707 125076 310 324 0 124777 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 502828

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23735
/proc/meminfo: memFree=1162032/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=577768 CPUtime=462.14
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 144300 0 0 0 46125 89 0 0 25 0 1 0 280128176 591634432 143793 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 144442 143793 310 324 0 143512 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 577768

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23735
/proc/meminfo: memFree=1081392/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=659304 CPUtime=522.12
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 164695 0 0 0 52112 100 0 0 25 0 1 0 280128176 675127296 164188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7646849 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 164826 164188 310 324 0 163896 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 659304

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23735
/proc/meminfo: memFree=989744/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=749628 CPUtime=582.1
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 187284 0 0 0 58096 114 0 0 25 0 1 0 280128176 767619072 186777 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 187407 186777 310 324 0 186477 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 749628

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23735
/proc/meminfo: memFree=896624/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=842328 CPUtime=642.09
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 210434 0 0 0 64079 130 0 0 25 0 1 0 280128176 862543872 209927 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572673 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 210582 209927 310 324 0 209652 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 842328


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23735
/proc/meminfo: memFree=508272/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=1230044 CPUtime=882
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 307365 0 0 0 88013 187 0 0 25 0 1 0 280128176 1259565056 306858 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551377 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 307511 306858 310 324 0 306581 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 1230044

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23735
/proc/meminfo: memFree=440112/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=1298648 CPUtime=941.99
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 324527 0 0 0 94001 198 0 0 25 0 1 0 280128176 1329815552 324020 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 324662 324020 310 324 0 323732 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 1298648

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23735
/proc/meminfo: memFree=372400/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=1365428 CPUtime=1001.97
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 341232 0 0 0 99987 210 0 0 25 0 1 0 280128176 1398198272 340725 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 341357 340725 310 324 0 340427 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 1365428

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23735
/proc/meminfo: memFree=365424/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=1372268 CPUtime=1061.95
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 105985 210 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 343067 342414 310 324 0 342137 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 1372268

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 23911
/proc/meminfo: memFree=364280/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=1372268 CPUtime=1121.86
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 111973 213 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 343067 342414 310 324 0 342137 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 1372268

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23933
/proc/meminfo: memFree=365360/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=1372268 CPUtime=1181.82
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 117969 213 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 343067 342414 310 324 0 342137 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 1372268

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23933
/proc/meminfo: memFree=365360/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=1372268 CPUtime=1241.8
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 123967 213 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 343067 342414 310 324 0 342137 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 1372268

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23933
/proc/meminfo: memFree=365360/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=1372268 CPUtime=1301.79
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 129966 213 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 343067 342414 310 324 0 342137 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1372268

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23933
/proc/meminfo: memFree=365424/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=1372268 CPUtime=1361.76
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 135963 213 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 343067 342414 310 324 0 342137 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 1372268

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23933
/proc/meminfo: memFree=365360/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=1372268 CPUtime=1421.75
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 141962 213 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 343067 342414 310 324 0 342137 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 1372268

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23933
/proc/meminfo: memFree=365424/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=1372268 CPUtime=1481.72
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 147959 213 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572615 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 343067 342414 310 324 0 342137 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 1372268

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23933
/proc/meminfo: memFree=365360/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=1372268 CPUtime=1541.7
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 153957 213 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 343067 342414 310 324 0 342137 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 1372268

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23933
/proc/meminfo: memFree=365360/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=1372268 CPUtime=1601.68
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 159955 213 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 343067 342414 310 324 0 342137 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 1372268

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23933
/proc/meminfo: memFree=365360/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=1372268 CPUtime=1661.68
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 165954 214 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 343067 342414 310 324 0 342137 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 1372268

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23933
/proc/meminfo: memFree=365424/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=1372268 CPUtime=1721.66
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 171952 214 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572600 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 343067 342414 310 324 0 342137 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 1372268

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23933
/proc/meminfo: memFree=365552/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=1372268 CPUtime=1781.64
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 177950 214 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572583 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 343067 342414 310 324 0 342137 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 1372268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23933
/proc/meminfo: memFree=365488/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=1372268 CPUtime=1800.04
/proc/23732/stat : 23732 (bsolo3.0.17) R 23730 23732 22905 0 -1 4194304 343069 0 0 0 179790 214 0 0 25 0 1 0 280128176 1405202432 342414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23732/statm: 343067 342414 310 324 0 342137 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1372268

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

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

[startup+1801 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 23933
/proc/meminfo: memFree=365488/2055920 swapFree=4184188/4192956
[pid=23732] ppid=23730 vsize=0 CPUtime=1800.25
/proc/23732/stat : 23732 (bsolo3.0.17) D 23730 23732 22905 0 -1 4194308 343073 0 0 0 179790 235 0 0 25 0 1 0 280128176 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 18446744072100051646 0 0 17 1 0 0
/proc/23732/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1801.02
CPU time (s): 1800.26
CPU user time (s): 1797.9
CPU system time (s): 2.35264
CPU usage (%): 99.9577
Max. virtual memory (cumulated for all children) (KiB): 1372860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.9
system time used= 2.35264
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 343073
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= 12
involuntary context switches= 3304

runsolver used 1.45878 second user time and 3.51647 second system time

The end

Launcher Data (download as text)

Begin job on node71 on Tue May  1 17:43:09 UTC 2007

IDJOB= 455331
IDBENCH= 48256
IDSOLVER= 199
FILE ID= node71/455331-1178041388

PBS_JOBID= 4728414

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_2.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455331-1178041388/instance-455331-1178041388.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node71/watcher-455331-1178041388 -o ROOT/results/node71/solver-455331-1178041388 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/455331-1178041388/instance-455331-1178041388.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  fc8bff78845ab9a14b2d06ab749e4dc4

RANDOM SEED= 999813160

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/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.234
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.234
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:       1737480 kB
Buffers:         87160 kB
Cached:         153044 kB
SwapCached:       2692 kB
Active:         138420 kB
Inactive:       113348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1737480 kB
SwapTotal:     4192956 kB
SwapFree:      4184188 kB
Dirty:            6776 kB
Writeback:           0 kB
Mapped:          15872 kB
Slab:            52664 kB
Committed_AS:  6259028 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node71 on Tue May  1 18:13:11 UTC 2007