Trace number 2671096

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 ClSAT-10 1798.06 1798.52

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 benchmark1789.5
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.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2671096-1276718510.opb
0.00/0.00	c File size is 257506 bytes.
0.00/0.04	c Highest Coefficient sum: 200
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.043 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.77	c Pre-processing Time: 3.775 s
3.69/3.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.77	c        0   3270     6442    25160    3    21892   83339      0      0 3.77
3.69/3.77	c Switching off lower bounding mode.
3.69/3.78	o -1
3.69/3.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.69/3.78	c        0   3270     6443    25260    3    21895   83406      1      0 3.78
3.69/3.78	o -2
3.99/4.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.06	c        5   3270     6449    25850    4    21909   83439      7      1 3.79
3.99/4.06	c      105   3270     6549    40696    6    22109   91783    107     27 3.83
3.99/4.06	c      355   3270     6799    82017   12    22609  100962    357     90 3.92
3.99/4.06	o -3
4.19/4.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.19/4.23	c      738   3270     7183   138790   19    23380   83472    741    181 4.07
4.19/4.23	c      838   3270     7283   153743   21    23580   91820    841    203 4.12
4.19/4.23	c     1088   3270     7533   186258   24    24080  101003   1091    258 4.21
4.19/4.23	o -4
4.29/4.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.29/4.32	c     1153   3270     7599   197891   26    24216   83506   1157    272 4.23
4.29/4.32	c     1253   3270     7699   211867   27    24416   91857   1257    293 4.27
4.29/4.32	o -5
17.59/17.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.59/17.64	c     1463   3270     7910   237332   30    24843   83539   1468    338 4.33
17.59/17.64	c     1563   3270     8010   253607   31    25043   91893   1568    358 4.36
17.59/17.64	c     1813   3270     8260   294039   35    25543  101083   1818    406 4.46
17.59/17.64	c     2288   3270     8735   372777   42    26493  111192   2293    493 4.63
17.59/17.64	c     3101   3270     9548   514392   53    28119  122312   3106    630 4.92
17.59/17.64	c     4421   3270    10868   746949   68    30759  134544   4426    823 5.37
17.59/17.64	c     6502   3270    12949  1064222   82    34921  147999   6507   1021 6.36
17.59/17.64	c     9725   3270    16172  1590645   98    41367  162799   9730   1233 7.88
17.59/17.64	c    14661   3270    21108  2397849  113    51239  179079  14666   1366 10.73
17.59/17.64	c    22167   3270    28614  3665143  128    66251  196987  22172   1304 17.00
17.59/17.64	o -8
17.88/17.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.88/17.90	c    22504   3270    28952  3682454  127    66935   83639  22510   1275 17.64
17.88/17.90	c    22604   3270    29052  3693147  127    67135   92003  22610   1273 17.75
17.88/17.90	o -9
558.25/558.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
558.25/558.47	c    22739   3270    29188  3705924  126    67416   83672  22746   1270 17.90
558.25/558.47	c    22839   3270    29288  3721842  127    67616   92040  22846   1270 17.98
558.25/558.47	c    23089   3270    29538  3755286  127    68116  101245  23096   1272 18.14
558.25/558.47	c    23564   3270    30013  3820334  127    69066  111370  23571   1277 18.45
558.25/558.47	c    24377   3270    30826  3923492  127    70692  122508  24384   1265 19.27
558.25/558.47	c    25697   3270    32146  4113051  127    73332  134759  25704   1252 20.52
558.25/558.47	c    27778   3270    34227  4436440  129    77494  148235  27785   1267 21.91
558.25/558.47	c    31001   3270    37450  4916200  131    83940  163059  31008   1251 24.78
558.25/558.47	c    35937   3270    42386  5607918  132    93812  179365  35944   1199 29.95
558.25/558.47	c    43443   3270    49892  6613392  132   108824  197302  43450   1217 35.68
558.25/558.47	c    54804   3270    61253  7807858  127   131546  217033  54811   1202 45.58
558.25/558.47	c    71948   3270    78397 10051777  128   165834  238737  71955    986 72.96
558.25/558.47	c    97767   3270   104216 12764331  122   217472  262611  97774    847 115.41
558.25/558.47	c   136599   3270   143048 18304372  127   295136  288873 136606    541 252.14
558.25/558.47	c   194951   3270   201400 26768155  132   411840  317761 194958    422 461.54
558.25/558.47	o -10
1797.94/1798.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1798.45	c   208597   3270   215047 28789755  133   439144   83706 208605    373 558.33
1797.94/1798.45	c   208697   3270    19543  1962148  100    48104   92077  13101    283 735.35
1797.94/1798.45	c   208947   3270    19793  1996084  100    48604  101285  13351    284 735.57
1797.94/1798.45	c   209422   3270    20268  2062256  101    49554  111414  13826    284 735.85
1797.94/1798.45	c   210235   3270    21081  2188392  103    51180  122556  14639    285 736.26
1797.94/1798.45	c   211555   3270    22401  2328774  103    53820  134812  15959    287 736.88
1797.94/1798.45	c   213636   3270    24482  2539209  103    57982  148294  18040    289 737.77
1797.94/1798.45	c   216859   3270    27705  2874361  103    64428  163124  21263    293 739.36
1797.94/1798.45	c   221795   3270    32641  3594788  110    74300  179437  26199    298 743.17
1797.94/1798.45	c   229301   3270    40147  4755246  118    89312  197381  33705    306 749.23
1797.94/1798.45	c   240662   3270    51508  6637613  128   112034  217120  45066    316 761.52
1797.94/1798.45	c   257806   3270    68652  9428373  137   146322  238833  62210    326 790.12
1797.94/1798.45	c   283625   3270    94471 13460957  142   197960  262717  88029    329 861.28
1797.94/1798.45	c   322457   3270   133303 19403165  145   275624  288989 126861    325 991.64
1797.94/1798.45	c   380809   3270   191655 27428870  143   392328  317888 185213    314 1210.51
1797.94/1798.45	c   468441   3270   279287 39315193  140   567592  349677 272845    287 1631.58
1797.94/1798.45	c Resources Exceeded
1797.94/1798.45	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.94/1798.45	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1798.45	c   52   497499    272   505977   308345 43139689 301903    276 1798.00
1797.94/1798.45	c Objective: -10
1797.94/1798.45	s SATISFIABLE
1797.94/1798.45	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-2671096-1276718510/watcher-2671096-1276718510 -o /tmp/evaluation-result-2671096-1276718510/solver-2671096-1276718510 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2671096-1276718510.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/106 20062
/proc/meminfo: memFree=1693100/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=11188 CPUtime=0
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 346 0 0 0 0 0 0 0 18 0 1 0 13143889 11456512 265 1992294400 134512640 137138936 4294259248 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 2797 265 174 642 0 2090 0

[startup+0.088493 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 20062
/proc/meminfo: memFree=1693100/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=12572 CPUtime=0.08
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 832 0 0 0 8 0 0 0 20 0 1 0 13143889 12873728 688 1992294400 134512640 137138936 4294259248 18446744073709551615 134542984 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 3143 688 184 642 0 2499 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12572

[startup+0.100494 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 20062
/proc/meminfo: memFree=1693100/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=12572 CPUtime=0.09
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 832 0 0 0 9 0 0 0 20 0 1 0 13143889 12873728 688 1992294400 134512640 137138936 4294259248 18446744073709551615 136500302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 3143 688 184 642 0 2499 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12572

[startup+0.300514 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 20062
/proc/meminfo: memFree=1693100/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=12572 CPUtime=0.29
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 833 0 0 0 29 0 0 0 20 0 1 0 13143889 12873728 689 1992294400 134512640 137138936 4294259248 18446744073709551615 134541999 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 3143 689 184 642 0 2499 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12572

[startup+0.700553 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 20062
/proc/meminfo: memFree=1693100/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=12572 CPUtime=0.69
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 833 0 0 0 69 0 0 0 20 0 1 0 13143889 12873728 689 1992294400 134512640 137138936 4294259248 18446744073709551615 134542755 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 3143 689 184 642 0 2499 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12572

[startup+1.50063 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20063
/proc/meminfo: memFree=1691232/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=12572 CPUtime=1.49
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 833 0 0 0 149 0 0 0 23 0 1 0 13143889 12873728 689 1992294400 134512640 137138936 4294259248 18446744073709551615 136502633 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 3143 689 184 642 0 2499 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12572

[startup+3.10079 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20063
/proc/meminfo: memFree=1690984/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=12572 CPUtime=3.09
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 833 0 0 0 309 0 0 0 25 0 1 0 13143889 12873728 689 1992294400 134512640 137138936 4294259248 18446744073709551615 136511090 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 3143 689 184 642 0 2499 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12572

[startup+6.3011 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20063
/proc/meminfo: memFree=1680816/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=26260 CPUtime=6.29
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 4331 0 0 0 625 4 0 0 25 0 1 0 13143889 26890240 4122 1992294400 134512640 137138936 4294259248 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 6565 4122 191 642 0 5921 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26260

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20063
/proc/meminfo: memFree=1654528/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=50916 CPUtime=12.69
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 10498 0 0 0 1259 10 0 0 25 0 1 0 13143889 52137984 10289 1992294400 134512640 137138936 4294259248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 12729 10289 191 642 0 12085 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50916

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20063
/proc/meminfo: memFree=1624272/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=79496 CPUtime=25.49
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 17644 0 0 0 2531 18 0 0 25 0 1 0 13143889 81403904 17435 1992294400 134512640 137138936 4294259248 18446744073709551615 134617976 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 19874 17436 191 642 0 19230 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 79496

[startup+51.1005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20063
/proc/meminfo: memFree=1578268/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=125680 CPUtime=51.08
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 29203 0 0 0 5076 32 0 0 25 0 1 0 13143889 128696320 28994 1992294400 134512640 137138936 4294259248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 31420 28994 191 642 0 30776 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 125680

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20065
/proc/meminfo: memFree=1526684/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=176320 CPUtime=102.28
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 41841 0 0 0 10176 52 0 0 25 0 1 0 13143889 180551680 41632 1992294400 134512640 137138936 4294259248 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 44080 41632 191 642 0 43436 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 176320

[startup+162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20067
/proc/meminfo: memFree=1484648/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=218464 CPUtime=162.25
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 52394 0 0 0 16155 70 0 0 25 0 1 0 13143889 223707136 52185 1992294400 134512640 137138936 4294259248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 54616 52185 191 642 0 53972 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 218464

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20069
/proc/meminfo: memFree=1458856/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=243904 CPUtime=222.24
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 58746 0 0 0 22144 80 0 0 25 0 1 0 13143889 249757696 58537 1992294400 134512640 137138936 4294259248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 60976 58537 191 642 0 60332 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 243904

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20069
/proc/meminfo: memFree=1417440/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=285836 CPUtime=282.22
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 69228 0 0 0 28125 97 0 0 25 0 1 0 13143889 292696064 69019 1992294400 134512640 137138936 4294259248 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 71459 69019 191 642 0 70815 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 285836

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20071
/proc/meminfo: memFree=1384208/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=318500 CPUtime=342.2
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 77403 0 0 0 34109 111 0 0 25 0 1 0 13143889 326144000 77194 1992294400 134512640 137138936 4294259248 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 79625 77194 191 642 0 78981 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 318500

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20073
/proc/meminfo: memFree=1354944/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=347696 CPUtime=402.19
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 84708 0 0 0 40093 126 0 0 25 0 1 0 13143889 356040704 84499 1992294400 134512640 137138936 4294259248 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 86924 84499 191 642 0 86280 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 347696

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20075
/proc/meminfo: memFree=1327416/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=375332 CPUtime=462.18
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 91605 0 0 0 46076 142 0 0 25 0 1 0 13143889 384339968 91396 1992294400 134512640 137138936 4294259248 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 93833 91396 191 642 0 93189 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 375332

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20077
/proc/meminfo: memFree=1308816/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=393572 CPUtime=522.16
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 96176 0 0 0 52066 150 0 0 25 0 1 0 13143889 403017728 95967 1992294400 134512640 137138936 4294259248 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 98393 95967 191 642 0 97749 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 393572

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20077
/proc/meminfo: memFree=1299516/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=401976 CPUtime=582.14
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 98480 0 0 0 58060 154 0 0 25 0 1 0 13143889 411623424 98067 1992294400 134512640 137138936 4294259248 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 100494 98067 191 642 0 99850 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 401976

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20079
/proc/meminfo: memFree=1299516/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=401976 CPUtime=642.13
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 98480 0 0 0 64059 154 0 0 25 0 1 0 13143889 411623424 98067 1992294400 134512640 137138936 4294259248 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 100494 98067 191 642 0 99850 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 401976

[startup+702.301 s]

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

/proc/meminfo: memFree=1299144/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=401976 CPUtime=1062.02
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 98480 0 0 0 106000 202 0 0 25 0 1 0 13143889 411623424 98067 1992294400 134512640 137138936 4294259248 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 100494 98067 191 642 0 99850 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 401976

[startup+1122.3 s]
/proc/loadavg: 1.13 1.06 1.01 2/107 20093
/proc/meminfo: memFree=1299144/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=401976 CPUtime=1122.01
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 98480 0 0 0 111992 209 0 0 25 0 1 0 13143889 411623424 98067 1992294400 134512640 137138936 4294259248 18446744073709551615 136504035 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 100494 98067 191 642 0 99850 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 401976

[startup+1182.3 s]
/proc/loadavg: 1.20 1.08 1.01 2/107 20093
/proc/meminfo: memFree=1299020/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=401976 CPUtime=1181.99
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 98480 0 0 0 117982 217 0 0 25 0 1 0 13143889 411623424 98067 1992294400 134512640 137138936 4294259248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 100494 98067 191 642 0 99850 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 401976

[startup+1242.3 s]
/proc/loadavg: 1.07 1.06 1.00 2/107 20095
/proc/meminfo: memFree=1298896/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=401976 CPUtime=1241.97
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 98480 0 0 0 123973 224 0 0 25 0 1 0 13143889 411623424 98067 1992294400 134512640 137138936 4294259248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 100494 98067 191 642 0 99850 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 401976

[startup+1302.3 s]
/proc/loadavg: 1.02 1.05 1.00 2/107 20097
/proc/meminfo: memFree=1282032/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=419484 CPUtime=1301.96
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 102841 0 0 0 129964 232 0 0 25 0 1 0 13143889 429551616 102428 1992294400 134512640 137138936 4294259248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 104871 102428 191 642 0 104227 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 419484

[startup+1362.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/107 20099
/proc/meminfo: memFree=1249048/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=452724 CPUtime=1361.95
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 111147 0 0 0 135946 249 0 0 25 0 1 0 13143889 463589376 110734 1992294400 134512640 137138936 4294259248 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 113181 110734 191 642 0 112537 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 452724

[startup+1422.31 s]
/proc/loadavg: 1.00 1.03 1.00 2/107 20101
/proc/meminfo: memFree=1226108/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=475312 CPUtime=1421.94
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 116816 0 0 0 141936 258 0 0 25 0 1 0 13143889 486719488 116403 1992294400 134512640 137138936 4294259248 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 118828 116403 191 642 0 118184 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 475312

[startup+1482.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 20101
/proc/meminfo: memFree=1208996/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=492316 CPUtime=1481.91
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 121066 0 0 0 147924 267 0 0 25 0 1 0 13143889 504131584 120653 1992294400 134512640 137138936 4294259248 18446744073709551615 134542802 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 123079 120653 191 642 0 122435 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 492316

[startup+1542.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 20103
/proc/meminfo: memFree=1192132/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=509016 CPUtime=1541.91
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 125240 0 0 0 153916 275 0 0 25 0 1 0 13143889 521232384 124827 1992294400 134512640 137138936 4294259248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 127254 124827 191 642 0 126610 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 509016

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 20105
/proc/meminfo: memFree=1171424/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=530088 CPUtime=1601.89
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 130493 0 0 0 159906 283 0 0 25 0 1 0 13143889 542810112 130080 1992294400 134512640 137138936 4294259248 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 132522 130080 191 642 0 131878 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 530088

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20107
/proc/meminfo: memFree=1144020/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=557220 CPUtime=1661.87
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 137279 0 0 0 165889 298 0 0 25 0 1 0 13143889 570593280 136866 1992294400 134512640 137138936 4294259248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 139305 136866 191 642 0 138661 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 557220

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20109
/proc/meminfo: memFree=1119096/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=582060 CPUtime=1721.85
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 143481 0 0 0 171875 310 0 0 25 0 1 0 13143889 596029440 143068 1992294400 134512640 137138936 4294259248 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 145515 143068 191 642 0 144871 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 582060

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20109
/proc/meminfo: memFree=1108308/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=592472 CPUtime=1781.84
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 146106 0 0 0 177867 317 0 0 25 0 1 0 13143889 606691328 145693 1992294400 134512640 137138936 4294259248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 148118 145693 191 642 0 147474 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 592472

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20111
/proc/meminfo: memFree=1106448/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=594248 CPUtime=1791.45
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 146548 0 0 0 178827 318 0 0 25 0 1 0 13143889 608509952 146135 1992294400 134512640 137138936 4294259248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 148562 146135 191 642 0 147918 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 594248

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20111
/proc/meminfo: memFree=1106200/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=594572 CPUtime=1794.64
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 146632 0 0 0 179146 318 0 0 25 0 1 0 13143889 608841728 146219 1992294400 134512640 137138936 4294259248 18446744073709551615 134542280 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 148643 146219 191 642 0 147999 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 594572

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20111
/proc/meminfo: memFree=1106076/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=594784 CPUtime=1796.24
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 146681 0 0 0 179306 318 0 0 25 0 1 0 13143889 609058816 146268 1992294400 134512640 137138936 4294259248 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 148696 146268 191 642 0 148052 0
Current children cumulated CPU time (s) 1796.24
Current children cumulated vsize (KiB) 594784

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20111
/proc/meminfo: memFree=1105952/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=594892 CPUtime=1797.04
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 146705 0 0 0 179386 318 0 0 25 0 1 0 13143889 609169408 146292 1992294400 134512640 137138936 4294259248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 148723 146292 191 642 0 148079 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 594892

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20111
/proc/meminfo: memFree=1105952/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=594992 CPUtime=1797.84
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202496 146727 0 0 0 179466 318 0 0 25 0 1 0 13143889 609271808 146314 1992294400 134512640 137138936 4294259248 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/20062/statm: 148748 146314 191 642 0 148104 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 594992

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 20111
/proc/meminfo: memFree=1105828/2059040 swapFree=4192952/4192956
[pid=20062] ppid=20060 vsize=0 CPUtime=1798.04
/proc/20062/stat : 20062 (bsolo_pb10) R 20060 20062 19511 0 -1 4202500 146731 0 0 0 179481 323 0 0 25 0 1 0 13143889 0 0 1992294400 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/20062/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.52
CPU time (s): 1798.06
CPU user time (s): 1794.82
CPU system time (s): 3.24451
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 594992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.82
system time used= 3.24451
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146731
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= 1
involuntary context switches= 2083

runsolver used 2.90356 second user time and 8.5547 second system time

The end

Launcher Data 

Begin job on node036 at 2010-06-16 22:01:50
IDJOB=2671096
IDBENCH=48264
IDSOLVER=1163
FILE ID=node036/2671096-1276718510
PBS_JOBID= 11174145
Free space on /tmp= 62524 MiB

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

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

MD5SUM BENCH= feead174159765db2806c13d35bd6cbe
RANDOM SEED=1358370889

node036.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.251
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.50
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.251
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1694000 kB
Buffers:         86088 kB
Cached:         137220 kB
SwapCached:          4 kB
Active:         134944 kB
Inactive:       147772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1694000 kB
SwapTotal:     4192956 kB
SwapFree:      4192952 kB
Dirty:            4036 kB
Writeback:           0 kB
AnonPages:       59452 kB
Mapped:          15484 kB
Slab:            60476 kB
PageTables:       3980 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181588 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2671096-1276718510.opb

Free space on /tmp at the end= 62520 MiB
End job on node036 at 2010-06-16 22:31:48