Trace number 1878284

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-10 1798.1 1798.74

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_4.opb
MD5SUMfeead174159765db2806c13d35bd6cbe
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-14
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6140
Sum of products size (including duplicates)12280
Number of different products3070
Sum of products size6140

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-1878284-1245210344.opb
0.00/0.00	c File size is 257506 bytes.
0.00/0.03	c Highest Coefficient sum: 200
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.036 s
0.00/0.04	c Var: 3270 Constr: 6442 3170/202/3070 Lit: 25160 Watch. Lit: 21892
0.00/0.04	c Obj. Vars: 100 (3.0581 % of total variables)
3.69/3.71	c Pre-processing Time: 3.715 s
3.69/3.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.71	c        0   3270     6442    25160    3    21892   83339      0      0 3.71
3.69/3.71	c Switching off lower bounding mode.
3.69/3.72	o -1
3.69/3.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.72	c        0   3270     6443    25260    3    21895   83406      1      0 3.72
3.69/3.72	o -2
3.99/4.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.00	c        5   3270     6449    25850    4    21909   83439      7      1 3.73
3.99/4.00	c      105   3270     6549    40696    6    22109   91783    107     27 3.77
3.99/4.00	c      355   3270     6799    82017   12    22609  100962    357     92 3.86
3.99/4.00	o -3
4.09/4.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.09/4.17	c      738   3270     7183   138790   19    23380   83472    741    184 4.00
4.09/4.17	c      838   3270     7283   153743   21    23580   91820    841    206 4.05
4.09/4.17	c     1088   3270     7533   186258   24    24080  101003   1091    262 4.15
4.09/4.17	o -4
4.19/4.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.19/4.26	c     1153   3270     7599   197891   26    24216   83506   1157    276 4.17
4.19/4.26	c     1253   3270     7699   211867   27    24416   91857   1257    297 4.21
4.19/4.26	o -5
17.59/17.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.59/17.61	c     1463   3270     7910   237332   30    24843   83539   1468    343 4.26
17.59/17.61	c     1563   3270     8010   253607   31    25043   91893   1568    363 4.30
17.59/17.61	c     1813   3270     8260   294039   35    25543  101083   1818    412 4.40
17.59/17.61	c     2288   3270     8735   372777   42    26493  111192   2293    500 4.57
17.59/17.61	c     3101   3270     9548   514392   53    28119  122312   3106    638 4.86
17.59/17.61	c     4421   3270    10868   746949   68    30759  134544   4426    833 5.30
17.59/17.61	c     6502   3270    12949  1064222   82    34921  147999   6507   1032 6.30
17.59/17.61	c     9725   3270    16172  1590645   98    41367  162799   9730   1243 7.82
17.59/17.61	c    14661   3270    21108  2397849  113    51239  179079  14666   1371 10.69
17.59/17.61	c    22167   3270    28614  3665143  128    66251  196987  22172   1306 16.96
17.59/17.61	o -8
17.78/17.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.78/17.86	c    22504   3270    28952  3682454  127    66935   83639  22510   1277 17.61
17.78/17.86	c    22604   3270    29052  3693147  127    67135   92003  22610   1275 17.72
17.78/17.86	o -9
561.49/561.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
561.49/561.73	c    22739   3270    29188  3705924  126    67416   83672  22746   1272 17.86
561.49/561.73	c    22839   3270    29288  3721842  127    67616   92040  22846   1273 17.94
561.49/561.73	c    23089   3270    29538  3755286  127    68116  101245  23096   1275 18.11
561.49/561.73	c    23564   3270    30013  3820334  127    69066  111370  23571   1280 18.40
561.49/561.73	c    24377   3270    30826  3923492  127    70692  122508  24384   1268 19.22
561.49/561.73	c    25697   3270    32146  4113051  127    73332  134759  25704   1255 20.46
561.49/561.73	c    27778   3270    34227  4436440  129    77494  148235  27785   1271 21.84
561.49/561.73	c    31001   3270    37450  4916200  131    83940  163059  31008   1254 24.71
561.49/561.73	c    35937   3270    42386  5607918  132    93812  179365  35944   1201 29.91
561.49/561.73	c    43443   3270    49892  6613392  132   108824  197302  43450   1219 35.64
561.49/561.73	c    54804   3270    61253  7807858  127   131546  217033  54811   1203 45.53
561.49/561.73	c    71948   3270    78397 10051777  128   165834  238737  71955    984 73.07
561.49/561.73	c    97767   3270   104216 12764331  122   217472  262611  97774    844 115.79
561.49/561.73	c   136599   3270   143048 18304372  127   295136  288873 136606    539 253.33
561.49/561.73	c   194951   3270   201400 26768155  132   411840  317761 194958    420 464.00
561.49/561.73	o -10
1797.95/1798.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1798.64	c   208597   3270   215047 28789755  133   439144   83706 208605    371 561.54
1797.95/1798.64	c   208697   3270    19543  1962148  100    48104   92077  13101    281 740.57
1797.95/1798.64	c   208947   3270    19793  1996084  100    48604  101285  13351    282 740.79
1797.95/1798.64	c   209422   3270    20268  2062256  101    49554  111414  13826    282 741.07
1797.95/1798.64	c   210235   3270    21081  2188392  103    51180  122556  14639    283 741.48
1797.95/1798.64	c   211555   3270    22401  2328774  103    53820  134812  15959    285 742.10
1797.95/1798.64	c   213636   3270    24482  2539209  103    57982  148294  18040    287 742.99
1797.95/1798.64	c   216859   3270    27705  2874361  103    64428  163124  21263    291 744.58
1797.95/1798.64	c   221795   3270    32641  3594788  110    74300  179437  26199    296 748.42
1797.95/1798.64	c   229301   3270    40147  4755246  118    89312  197381  33705    303 754.55
1797.95/1798.64	c   240662   3270    51508  6637613  128   112034  217120  45066    313 766.90
1797.95/1798.64	c   257806   3270    68652  9428373  137   146322  238833  62210    323 795.73
1797.95/1798.64	c   283625   3270    94471 13460957  142   197960  262717  88029    326 867.38
1797.95/1798.64	c   322457   3270   133303 19403165  145   275624  288989 126861    322 998.65
1797.95/1798.64	c   380809   3270   191655 27428870  143   392328  317888 185213    312 1218.89
1797.95/1798.64	c   468441   3270   279287 39315193  140   567592  349677 272845    285 1642.46
1797.95/1798.64	c Resources Exceeded
1797.95/1798.64	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 x21 x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 x174 -x175 x176 x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 
1797.95/1798.64	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.64	c   52   496767    272   505245   307613 43039641 301171    276 1798.00
1797.95/1798.64	c Objective: -10
1797.95/1798.64	s SATISFIABLE
1797.95/1798.64	c Total time: 1798 s

Verifier Data 

OK	-10

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878284-1245210344/watcher-1878284-1245210344 -o /tmp/evaluation-result-1878284-1245210344/solver-1878284-1245210344 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878284-1245210344.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: 1.00 1.00 1.00 3/64 2414
/proc/meminfo: memFree=1810724/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=18784 CPUtime=0
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 188631595 19234816 246 1992294400 134512640 137136520 4294956256 18446744073709551615 134534714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 4696 246 174 640 0 3989 0

[startup+0.061857 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2414
/proc/meminfo: memFree=1810724/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=12524 CPUtime=0.05
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 770 0 0 0 5 0 0 0 18 0 1 0 188631595 12824576 691 1992294400 134512640 137136520 4294956256 18446744073709551615 134544256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 3131 691 189 640 0 2487 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12524

[startup+0.101863 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2414
/proc/meminfo: memFree=1810724/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=12524 CPUtime=0.09
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 770 0 0 0 9 0 0 0 18 0 1 0 188631595 12824576 691 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 3131 691 189 640 0 2487 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12524

[startup+0.301898 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2414
/proc/meminfo: memFree=1810724/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=12524 CPUtime=0.29
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 771 0 0 0 29 0 0 0 19 0 1 0 188631595 12824576 692 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 3131 692 189 640 0 2487 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12524

[startup+0.701965 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 2414
/proc/meminfo: memFree=1810724/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=12524 CPUtime=0.69
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 771 0 0 0 69 0 0 0 22 0 1 0 188631595 12824576 692 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 3131 692 189 640 0 2487 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12524

[startup+1.5011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2415
/proc/meminfo: memFree=1808668/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=12524 CPUtime=1.49
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 771 0 0 0 149 0 0 0 25 0 1 0 188631595 12824576 692 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 3131 692 189 640 0 2487 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12524

[startup+3.10137 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2415
/proc/meminfo: memFree=1808540/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=12524 CPUtime=3.09
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 771 0 0 0 309 0 0 0 25 0 1 0 188631595 12824576 692 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 3131 692 189 640 0 2487 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12524

[startup+6.30192 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2415
/proc/meminfo: memFree=1797860/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=26524 CPUtime=6.29
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 4342 0 0 0 625 4 0 0 25 0 1 0 188631595 27160576 4198 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 6631 4198 197 640 0 5987 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26524

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2415
/proc/meminfo: memFree=1771876/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=50868 CPUtime=12.69
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 10453 0 0 0 1261 8 0 0 25 0 1 0 188631595 52088832 10309 1992294400 134512640 137136520 4294956256 18446744073709551615 134544489 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 12717 10309 197 640 0 12073 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50868

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2415
/proc/meminfo: memFree=1741668/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=79556 CPUtime=25.48
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 17614 0 0 0 2533 15 0 0 25 0 1 0 188631595 81465344 17470 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 19889 17470 197 640 0 19245 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 79556

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2415
/proc/meminfo: memFree=1695908/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=125632 CPUtime=51.06
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 29141 0 0 0 5079 27 0 0 25 0 1 0 188631595 128647168 28997 1992294400 134512640 137136520 4294956256 18446744073709551615 134543834 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 31408 28997 197 640 0 30764 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 125632

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2415
/proc/meminfo: memFree=1644964/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=175848 CPUtime=102.26
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 41678 0 0 0 10182 44 0 0 25 0 1 0 188631595 180068352 41534 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 43962 41534 197 640 0 43318 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 175848

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2415
/proc/meminfo: memFree=1602788/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=218084 CPUtime=162.23
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 52240 0 0 0 16168 55 0 0 25 0 1 0 188631595 223318016 52096 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 54521 52096 197 640 0 53877 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 218084

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2415
/proc/meminfo: memFree=1577316/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=243332 CPUtime=222.21
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 58555 0 0 0 22159 62 0 0 25 0 1 0 188631595 249171968 58411 1992294400 134512640 137136520 4294956256 18446744073709551615 135982525 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 60833 58411 197 640 0 60189 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 243332

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2415
/proc/meminfo: memFree=1536228/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=284920 CPUtime=282.18
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 68941 0 0 0 28142 76 0 0 25 0 1 0 188631595 291758080 68797 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 71230 68797 197 640 0 70586 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 284920

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2415
/proc/meminfo: memFree=1502820/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=317492 CPUtime=342.16
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 77105 0 0 0 34129 87 0 0 25 0 1 0 188631595 325111808 76961 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 79373 76961 197 640 0 78729 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 317492

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2417
/proc/meminfo: memFree=1473700/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=346880 CPUtime=402.14
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 84430 0 0 0 40116 98 0 0 25 0 1 0 188631595 355205120 84286 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 86720 84286 197 640 0 86076 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 346880

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2417
/proc/meminfo: memFree=1446628/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=373596 CPUtime=462.13
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 91135 0 0 0 46104 109 0 0 25 0 1 0 188631595 382562304 90991 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 93399 90991 197 640 0 92755 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 373596

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2417
/proc/meminfo: memFree=1427492/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=392800 CPUtime=522.1
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 95932 0 0 0 52094 116 0 0 25 0 1 0 188631595 402227200 95788 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 98200 95788 197 640 0 97556 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 392800

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2417
/proc/meminfo: memFree=1417828/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=401928 CPUtime=582.08
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 98419 0 0 0 58088 120 0 0 25 0 1 0 188631595 411574272 98071 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 100482 98071 197 640 0 99838 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 401928

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2417
/proc/meminfo: memFree=1417892/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=401928 CPUtime=642.06
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 98419 0 0 0 64086 120 0 0 25 0 1 0 188631595 411574272 98071 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 100482 98071 197 640 0 99838 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 401928

[startup+702.301 s]

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

/proc/meminfo: memFree=1417956/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=401928 CPUtime=1061.9
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 98419 0 0 0 106038 152 0 0 25 0 1 0 188631595 411574272 98071 1992294400 134512640 137136520 4294956256 18446744073709551615 134544402 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 100482 98071 197 640 0 99838 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 401928

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2423
/proc/meminfo: memFree=1417956/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=401928 CPUtime=1121.89
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 98419 0 0 0 112032 157 0 0 25 0 1 0 188631595 411574272 98071 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 100482 98071 197 640 0 99838 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 401928

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2423
/proc/meminfo: memFree=1417892/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=401928 CPUtime=1181.86
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 98419 0 0 0 118026 160 0 0 25 0 1 0 188631595 411574272 98071 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 100482 98071 197 640 0 99838 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 401928

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2423
/proc/meminfo: memFree=1417956/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=401928 CPUtime=1241.84
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 98419 0 0 0 124020 164 0 0 25 0 1 0 188631595 411574272 98071 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 100482 98071 197 640 0 99838 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 401928

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2423
/proc/meminfo: memFree=1402980/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=416860 CPUtime=1301.82
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 102144 0 0 0 130012 170 0 0 25 0 1 0 188631595 426864640 101796 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 104215 101796 197 640 0 103571 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 416860

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2423
/proc/meminfo: memFree=1372068/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=447964 CPUtime=1361.8
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 109914 0 0 0 136000 180 0 0 25 0 1 0 188631595 458715136 109566 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 111991 109566 197 640 0 111347 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 447964

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2423
/proc/meminfo: memFree=1349220/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=470556 CPUtime=1421.78
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 115560 0 0 0 141989 189 0 0 25 0 1 0 188631595 481849344 115212 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 117639 115212 197 640 0 116995 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 470556

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2423
/proc/meminfo: memFree=1331556/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=488232 CPUtime=1481.76
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 119982 0 0 0 147979 197 0 0 25 0 1 0 188631595 499949568 119634 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 122058 119634 197 640 0 121414 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 488232

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2423
/proc/meminfo: memFree=1312996/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=506628 CPUtime=1541.73
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 124589 0 0 0 153967 206 0 0 25 0 1 0 188631595 518787072 124241 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 126657 124241 197 640 0 126013 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 506628

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2423
/proc/meminfo: memFree=1294244/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=525688 CPUtime=1601.72
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 129346 0 0 0 159959 213 0 0 25 0 1 0 188631595 538304512 128998 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 131422 128998 197 640 0 130778 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 525688

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2423
/proc/meminfo: memFree=1268196/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=551372 CPUtime=1661.7
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 135783 0 0 0 165947 223 0 0 25 0 1 0 188631595 564604928 135435 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 137843 135435 197 640 0 137199 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 551372

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2423
/proc/meminfo: memFree=1241956/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=577808 CPUtime=1721.67
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 142373 0 0 0 171935 232 0 0 25 0 1 0 188631595 591675392 142025 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 144452 142025 197 640 0 143808 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 577808

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2423
/proc/meminfo: memFree=1229348/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=590304 CPUtime=1781.65
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 145490 0 0 0 177928 237 0 0 25 0 1 0 188631595 604471296 145142 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 147576 145142 197 640 0 146932 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 590304

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2423
/proc/meminfo: memFree=1227428/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=592000 CPUtime=1791.26
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 145924 0 0 0 178888 238 0 0 25 0 1 0 188631595 606208000 145576 1992294400 134512640 137136520 4294956256 18446744073709551615 134544145 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 148000 145576 197 640 0 147356 0
Current children cumulated CPU time (s) 1791.26
Current children cumulated vsize (KiB) 592000

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2423
/proc/meminfo: memFree=1226788/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=592636 CPUtime=1794.46
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 146080 0 0 0 179208 238 0 0 25 0 1 0 188631595 606859264 145732 1992294400 134512640 137136520 4294956256 18446744073709551615 136504213 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 148159 145732 197 640 0 147515 0
Current children cumulated CPU time (s) 1794.46
Current children cumulated vsize (KiB) 592636

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2423
/proc/meminfo: memFree=1226468/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=593088 CPUtime=1796.05
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 146195 0 0 0 179367 238 0 0 25 0 1 0 188631595 607322112 145847 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 148272 145847 197 640 0 147628 0
Current children cumulated CPU time (s) 1796.05
Current children cumulated vsize (KiB) 593088

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2423
/proc/meminfo: memFree=1226148/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=593328 CPUtime=1796.85
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 146255 0 0 0 179447 238 0 0 25 0 1 0 188631595 607567872 145907 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 148332 145907 197 640 0 147688 0
Current children cumulated CPU time (s) 1796.85
Current children cumulated vsize (KiB) 593328

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2423
/proc/meminfo: memFree=1226148/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=593540 CPUtime=1797.65
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194304 146310 0 0 0 179527 238 0 0 25 0 1 0 188631595 607784960 145962 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 148385 145962 197 640 0 147741 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (KiB) 593540

[startup+1798.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2423
/proc/meminfo: memFree=1225892/2055920 swapFree=4181368/4192956
[pid=2414] ppid=2412 vsize=0 CPUtime=1798.05
/proc/2414/stat : 2414 (bsolo) R 2412 2414 2258 0 -1 4194308 146331 0 0 0 179561 244 0 0 25 0 1 0 188631595 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/2414/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.05
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.74
CPU time (s): 1798.1
CPU user time (s): 1795.62
CPU system time (s): 2.47962
CPU usage (%): 99.9644
Max. virtual memory (cumulated for all children) (KiB): 593660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.62
system time used= 2.47962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146331
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= 3868

runsolver used 1.14783 second user time and 3.88741 second system time

The end

Launcher Data 

Begin job on node43 at 2009-06-17 05:45:44
IDJOB=1878284
IDBENCH=48264
IDSOLVER=700
FILE ID=node43/1878284-1245210344
PBS_JOBID= 9368381
Free space on /tmp= 66192 MiB

SOLVER NAME= bsolo 3.1 cl
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_100_25_4.opb
COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878284-1245210344/watcher-1878284-1245210344 -o /tmp/evaluation-result-1878284-1245210344/solver-1878284-1245210344 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1878284-1245210344.opb

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

MD5SUM BENCH= feead174159765db2806c13d35bd6cbe
RANDOM SEED=228890694

node43.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.281
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.281
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:       1811396 kB
Buffers:         58540 kB
Cached:         124672 kB
SwapCached:       5352 kB
Active:          76256 kB
Inactive:       114840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1811396 kB
SwapTotal:     4192956 kB
SwapFree:      4181368 kB
Dirty:            4020 kB
Writeback:           0 kB
Mapped:          13588 kB
Slab:            39436 kB
Committed_AS:   181212 kB
PageTables:       1452 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-1878284-1245210344.opb

Free space on /tmp at the end= 66188 MiB
End job on node43 at 2009-06-17 06:15:43