Trace number 455325

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.16SAT (TO)-19 1800.21 1800.78

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

[startup+0.071626 s]
/proc/loadavg: 0.99 1.04 1.10 3/77 30733
/proc/meminfo: memFree=1717792/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=7812 CPUtime=0.06
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 1315 0 0 0 6 0 0 0 18 0 1 0 280157583 7999488 1284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 1953 1284 329 324 0 974 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 7812

[startup+0.101628 s]
/proc/loadavg: 0.99 1.04 1.10 3/77 30733
/proc/meminfo: memFree=1717792/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=10832 CPUtime=0.09
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 2116 0 0 0 9 0 0 0 18 0 1 0 280157583 11091968 2037 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2971259 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 2708 2039 302 324 0 1777 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10832

[startup+0.301646 s]
/proc/loadavg: 0.99 1.04 1.10 3/77 30733
/proc/meminfo: memFree=1717792/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=11112 CPUtime=0.29
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 2175 0 0 0 29 0 0 0 19 0 1 0 280157583 11378688 2096 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 2778 2096 306 324 0 1847 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11112

[startup+0.701683 s]
/proc/loadavg: 0.99 1.04 1.10 3/77 30733
/proc/meminfo: memFree=1717792/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=11112 CPUtime=0.69
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 2176 0 0 0 68 1 0 0 23 0 1 0 280157583 11378688 2097 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 2778 2097 306 324 0 1847 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11112

[startup+1.50176 s]
/proc/loadavg: 0.99 1.04 1.10 2/78 30734
/proc/meminfo: memFree=1710552/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=11112 CPUtime=1.49
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 2176 0 0 0 148 1 0 0 25 0 1 0 280157583 11378688 2097 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 2778 2097 306 324 0 1847 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11112

[startup+3.1019 s]
/proc/loadavg: 0.99 1.04 1.10 2/78 30734
/proc/meminfo: memFree=1710424/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=11112 CPUtime=3.09
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 2176 0 0 0 308 1 0 0 25 0 1 0 280157583 11378688 2097 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 2778 2097 306 324 0 1847 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11112

[startup+6.30119 s]
/proc/loadavg: 0.99 1.04 1.10 2/78 30734
/proc/meminfo: memFree=1710104/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=11112 CPUtime=6.28
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 2176 0 0 0 626 2 0 0 25 0 1 0 280157583 11378688 2097 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 2778 2097 306 324 0 1847 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11112

[startup+12.7018 s]
/proc/loadavg: 0.99 1.04 1.10 2/78 30734
/proc/meminfo: memFree=1703536/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=19032 CPUtime=12.68
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 4633 0 0 0 1250 18 0 0 25 0 1 0 280157583 19488768 4125 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572825 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 4758 4125 312 324 0 3827 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19032

[startup+25.5019 s]
/proc/loadavg: 0.99 1.04 1.10 2/78 30734
/proc/meminfo: memFree=1677360/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=44092 CPUtime=25.47
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 10894 0 0 0 2525 22 0 0 25 0 1 0 280157583 45150208 10386 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 11023 10386 312 324 0 10092 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 44092

[startup+51.1013 s]
/proc/loadavg: 0.99 1.03 1.09 2/78 30734
/proc/meminfo: memFree=1650928/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=70712 CPUtime=51.06
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 17550 0 0 0 5079 27 0 0 25 0 1 0 280157583 72409088 17042 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 17678 17042 312 324 0 16747 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 70712

[startup+102.306 s]
/proc/loadavg: 0.99 1.03 1.09 2/78 30734
/proc/meminfo: memFree=1599920/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=121372 CPUtime=102.26
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 30213 0 0 0 10190 36 0 0 25 0 1 0 280157583 124284928 29705 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 30343 29705 312 324 0 29412 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 121372

[startup+162.301 s]
/proc/loadavg: 0.99 1.02 1.08 2/78 30734
/proc/meminfo: memFree=1526704/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=196124 CPUtime=162.24
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 48904 0 0 0 16175 49 0 0 25 0 1 0 280157583 200830976 48396 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 49031 48396 312 324 0 48100 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 196124

[startup+222.302 s]
/proc/loadavg: 0.99 1.01 1.08 2/78 30734
/proc/meminfo: memFree=1445232/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=275828 CPUtime=222.23
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 68830 0 0 0 22161 62 0 0 25 0 1 0 280157583 282447872 68322 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 68957 68322 312 324 0 68026 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 275828

[startup+282.301 s]
/proc/loadavg: 0.99 1.01 1.07 2/78 30734
/proc/meminfo: memFree=1373616/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=349936 CPUtime=282.21
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 87343 0 0 0 28148 73 0 0 25 0 1 0 280157583 358334464 86835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 87484 86835 312 324 0 86553 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 349936

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.06 2/78 30734
/proc/meminfo: memFree=1301616/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=419400 CPUtime=342.19
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 104724 0 0 0 34134 85 0 0 25 0 1 0 280157583 429465600 104216 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 104850 104216 312 324 0 103919 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 419400

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.06 2/78 30734
/proc/meminfo: memFree=1218608/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=502452 CPUtime=402.18
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 125473 0 0 0 40120 98 0 0 25 0 1 0 280157583 514510848 124965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 125613 124965 312 324 0 124682 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 502452

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 1.05 2/78 30734
/proc/meminfo: memFree=1143408/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=577144 CPUtime=462.17
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 144156 0 0 0 46103 114 0 0 25 0 1 0 280157583 590995456 143648 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 144286 143648 312 324 0 143355 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 577144

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.05 2/78 30734
/proc/meminfo: memFree=1062960/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=657908 CPUtime=522.15
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 164353 0 0 0 52086 129 0 0 25 0 1 0 280157583 673697792 163845 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 164477 163845 312 324 0 163546 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 657908

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.04 2/78 30734
/proc/meminfo: memFree=972784/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=747992 CPUtime=582.14
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 186855 0 0 0 58070 144 0 0 25 0 1 0 280157583 765943808 186347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 186998 186347 312 324 0 186067 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 747992

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.03 2/78 30734
/proc/meminfo: memFree=879280/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=840580 CPUtime=642.12
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 210002 0 0 0 64055 157 0 0 25 0 1 0 280157583 860753920 209494 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 210145 209494 312 324 0 209214 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 840580


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

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 1.01 2/78 30734
/proc/meminfo: memFree=490928/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=1228636 CPUtime=882.06
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 307033 0 0 0 87982 224 0 0 25 0 1 0 280157583 1258123264 306525 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 307159 306525 312 324 0 306228 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1228636

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 1.01 2/78 30734
/proc/meminfo: memFree=423664/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=1295584 CPUtime=942.05
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 323774 0 0 0 93963 242 0 0 25 0 1 0 280157583 1326678016 323266 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 323896 323266 312 324 0 322965 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1295584

[startup+1002.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 30734
/proc/meminfo: memFree=354672/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=1364788 CPUtime=1002.03
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 341070 0 0 0 99948 255 0 0 25 0 1 0 280157583 1397542912 340562 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 341197 340562 312 324 0 340266 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1364788

[startup+1062.3 s]
/proc/loadavg: 1.09 1.03 1.00 2/78 30734
/proc/meminfo: memFree=346288/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=1372268 CPUtime=1062.02
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 105944 258 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 343067 342416 312 324 0 342136 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1372268

[startup+1122.3 s]
/proc/loadavg: 1.17 1.05 1.01 2/78 30734
/proc/meminfo: memFree=346352/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=1372268 CPUtime=1122
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 111942 258 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 343067 342416 312 324 0 342136 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1372268

[startup+1182.3 s]
/proc/loadavg: 1.11 1.06 1.01 2/78 30734
/proc/meminfo: memFree=346416/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=1372268 CPUtime=1181.99
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 117941 258 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 343067 342416 312 324 0 342136 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1372268

[startup+1242.3 s]
/proc/loadavg: 1.04 1.04 1.00 2/78 30734
/proc/meminfo: memFree=346416/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=1372268 CPUtime=1241.98
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 123939 259 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134560215 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 343067 342416 312 324 0 342136 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1372268

[startup+1302.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/84 30898
/proc/meminfo: memFree=345064/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=1372268 CPUtime=1301.88
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 129929 259 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 343067 342416 312 324 0 342136 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1372268

[startup+1362.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 30936
/proc/meminfo: memFree=346096/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=1372268 CPUtime=1361.84
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 135922 262 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 343067 342416 312 324 0 342136 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1372268

[startup+1422.31 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 30936
/proc/meminfo: memFree=346096/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=1372268 CPUtime=1421.83
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 141919 264 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 343067 342416 312 324 0 342136 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1372268

[startup+1482.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 30936
/proc/meminfo: memFree=346096/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=1372268 CPUtime=1481.81
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 147914 267 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 343067 342416 312 324 0 342136 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1372268

[startup+1542.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 30936
/proc/meminfo: memFree=346160/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=1372268 CPUtime=1541.79
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 153910 269 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 343067 342416 312 324 0 342136 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1372268

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30936
/proc/meminfo: memFree=346160/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=1372268 CPUtime=1601.78
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 159906 272 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 343067 342416 312 324 0 342136 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1372268

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30936
/proc/meminfo: memFree=346288/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=1372268 CPUtime=1661.76
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 165902 274 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 2965656 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 343067 342416 312 324 0 342136 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1372268

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30936
/proc/meminfo: memFree=346288/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=1372268 CPUtime=1721.75
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 171899 276 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 343067 342416 312 324 0 342136 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1372268

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30936
/proc/meminfo: memFree=346288/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=1372268 CPUtime=1781.73
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194304 343072 0 0 0 177894 279 0 0 25 0 1 0 280157583 1405202432 342416 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 343067 342416 312 324 0 342136 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1372268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30936
/proc/meminfo: memFree=600560/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=0 CPUtime=1800.04
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194308 343073 0 0 0 179719 285 0 0 17 0 1 0 280157583 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 0

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30936
/proc/meminfo: memFree=600560/2055920 swapFree=4157100/4192956
[pid=30733] ppid=30731 vsize=0 CPUtime=1800.14
/proc/30733/stat : 30733 (bsolo3.0.16) R 30731 30733 10012 0 -1 4194308 343073 0 0 0 179719 295 0 0 18 0 1 0 280157583 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30733/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.21
CPU user time (s): 1797.2
CPU system time (s): 3.01454
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 1372860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.2
system time used= 3.01454
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= 14
involuntary context switches= 38327

runsolver used 1.37079 second user time and 4.02939 second system time

The end

Launcher Data (download as text)

Begin job on node72 on Tue May  1 17:39:51 UTC 2007

IDJOB= 455325
IDBENCH= 48256
IDSOLVER= 163
FILE ID= node72/455325-1178041191

PBS_JOBID= 4728446

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  fc8bff78845ab9a14b2d06ab749e4dc4

RANDOM SEED= 304624837

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node72.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.222
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	: 5931.00
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.222
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:       1718200 kB
Buffers:        107628 kB
Cached:         137252 kB
SwapCached:      17124 kB
Active:         151976 kB
Inactive:       120416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1718200 kB
SwapTotal:     4192956 kB
SwapFree:      4157100 kB
Dirty:            6952 kB
Writeback:           0 kB
Mapped:          33676 kB
Slab:            50836 kB
Committed_AS:  6383300 kB
PageTables:       1804 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 node72 on Tue May  1 18:09:54 UTC 2007