Trace number 3737672

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
PB07: bsolo 3.0.17SAT (TO)-19 1800.11 1800.72

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_1.opb
MD5SUM74165f17686851db36d48a05683565a5
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-58
Best CPU time to get the best result obtained on this benchmark1796.83
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -58
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)4964
Sum of products size (including duplicates)9928
Number of different products2482
Sum of products size4964

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.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3737672-1338725437.opb
0.00/0.00	c File size is 74259 bytes.
0.00/0.02	c Highest Coefficient sum: 400
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.016 s
0.00/0.02	c Var: 5364 Constr: 10530 5164/402/4964 Lit: 35948 Watch. Lit: 30586
0.00/0.02	c Obj. Vars: 200 (3.72856 % of total variables)
1.00/1.03	c Pre-processing Time: 1.028 s
1.00/1.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.03	c        0   5364    10530    35948    3    30586   53045      0      0 1.03
1.00/1.03	c Switching off LPR mode.
1.00/1.03	o -1	1.03
1.00/1.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.03	c        0   5364    10531    36148    3    30589   53178      1      0 1.03
1.00/1.03	o -2	1.032
1.00/1.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.03	c        0   5364    10532    36348    3    30593   53378      2      0 1.03
1.00/1.03	o -3	1.034
1.00/1.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.04	c        0   5364    10533    36548    3    30598   53645      3      0 1.03
1.00/1.04	o -4	1.035
1.00/1.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.04	c        0   5364    10534    36748    3    30604   53978      4      0 1.04
1.00/1.04	o -5	1.037
1.00/1.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.04	c        0   5364    10535    36948    3    30611   54378      5      0 1.04
1.00/1.04	o -6	1.039
1.00/1.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.04	c        0   5364    10536    37148    3    30619   54845      6      0 1.04
1.00/1.04	o -7	1.041
1.00/1.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.04	c        0   5364    10537    37348    3    30628   55378      7      0 1.04
1.00/1.04	o -8	1.043
1.00/1.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.05	c        0   5364    10538    37548    3    30638   55978      8      0 1.04
1.00/1.05	o -9	1.045
1.00/1.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.05	c        0   5364    10539    37748    3    30649   56645      9      0 1.05
1.00/1.05	o -10	1.047
1.00/1.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.05	c        0   5364    10540    37948    3    30661   57378     10      0 1.05
1.00/1.05	o -11	1.051
1.28/1.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.28/1.34	c        2   5364    10543    38650    3    30678   57445     13      1 1.05
1.28/1.34	c      102   5364    10643    63263    5    30878   63190    113     92 1.10
1.28/1.34	c      352   5364    10893   128414   11    31378   69510    363    292 1.21
1.28/1.34	o -12	1.338
720.34/720.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
720.34/720.89	c      815   5364    11357   252357   22    32318   57511    827    608 1.34
720.34/720.89	c      915   5364    11457   278886   24    32518   63263    927    632 1.45
720.34/720.89	c     1165   5364    11707   348468   29    33018   69590   1177    721 1.61
720.34/720.89	c     1640   5364    12182   481087   39    33968   76550   1652    836 1.96
720.34/720.89	c     2453   5364    12995   708248   54    35594   84206   2465    953 2.57
720.34/720.89	c     3773   5364    14315  1047638   73    38234   92627   3785   1142 3.30
720.34/720.89	c     5854   5364    16396  1632106   99    42396  101890   5866   1277 4.58
720.34/720.89	c     9077   5364    19619  2566368  130    48842  112080   9089   1370 6.62
720.34/720.89	c    14013   5364    24555  4009697  163    58714  123289  14025   1566 8.94
720.34/720.89	c    21519   5364    32061  5807381  181    73726  135618  21531   1625 13.24
720.34/720.89	c    32880   5364    43422  8865771  204    96448  149180  32892   1652 19.90
720.34/720.89	c    50024   5364    60566 12454094  205   130736  164099  50036   1727 28.96
720.34/720.89	c    75843   5364    86385 18686890  216   182374  180509  75855   1423 53.27
720.34/720.89	c   114675   5364   125217 29555230  236   260038  198560 114687   1133 101.12
720.34/720.89	c   173027   5364   183569 45005231  245   376742  218417 173039    988 174.98
720.34/720.89	c   260659   5364    60854 12884578  211   131246  240259  50324    505 516.02
720.34/720.89	c   392211   5364   192406 49266102  256   394350  264285 181876    590 664.56
720.34/720.89	o -13	720.449
824.93/825.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
824.93/825.48	c   418118   5364   218314 56609886  259   446179   53978 207784    580 720.45
824.93/825.48	c   418218   5364    23720  3739441  157    56979   59376  13190    538 777.31
824.93/825.48	c   418468   5364    23970  3798427  158    57479   65314  13440    538 777.49
824.93/825.48	c   418943   5364    24445  3896720  159    58429   71846  13915    538 777.70
824.93/825.48	c   419756   5364    25258  4111767  162    60055   79031  14728    539 778.34
824.93/825.48	c   421076   5364    26578  4441247  167    62695   86935  16048    540 779.25
824.93/825.48	c   423157   5364    28659  4966146  173    66857   95629  18129    542 780.44
824.93/825.48	c   426380   5364    31882  5831453  182    73303  105192  21352    545 782.33
824.93/825.48	c   431316   5364    36818  7318890  198    83175  115712  26288    549 785.02
824.93/825.48	c   438822   5364    44324  8838526  199    98187  127284  33794    557 786.90
824.93/825.48	c   450183   5364    55685 11160383  200   120909  140013  45155    569 789.86
824.93/825.48	c   467327   5364    72829 15209752  208   155197  154015  62299    584 799.58
824.93/825.48	c   493146   5364    98648 21080075  213   206835  169417  88118    605 814.84
824.93/825.48	o -14	825.026
856.72/857.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
856.72/857.23	c   502795   5364   108298 23905474  220   226149   54045  97768    609 825.03
856.72/857.23	c   502895   5364    22917  3541689  154    55374   59450  12387    599 838.30
856.72/857.23	c   503145   5364    23167  3609052  155    55874   65396  12637    600 838.48
856.72/857.23	c   503620   5364    23642  3733328  157    56824   71936  13112    600 838.80
856.72/857.23	c   504433   5364    24455  3953178  161    58450   79130  13925    600 839.35
856.72/857.23	c   505753   5364    25775  4301709  166    61090   87044  15245    601 840.25
856.72/857.23	c   507834   5364    27856  4845150  173    65252   95749  17326    603 841.45
856.72/857.23	c   511057   5364    31079  5733501  184    71698  105324  20549    606 843.32
856.72/857.23	c   515993   5364    36015  7109064  197    81570  115857  25485    610 845.66
856.72/857.23	c   523499   5364    43521  8805834  202    96582  127443  32991    615 850.06
856.72/857.23	o -15	856.764
891.21/891.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
891.21/891.71	c   532887   5364    52910 11481046  216   115375   54045  42380    621 856.77
891.21/891.71	c   532987   5364    53010 11504530  217   115575   59450  42480    622 856.89
891.21/891.71	c   533237   5364    53260 11561583  217   116075   65396  42730    622 857.04
891.21/891.71	c   533712   5364    53735 11683876  217   117025   71936  43205    622 857.49
891.21/891.71	c   534525   5364    54548 11899213  218   118651   79130  44018    622 858.20
891.21/891.71	c   535845   5364    55868 12247979  219   121291   87044  45338    623 859.27
891.21/891.71	c   537926   5364    57949 12753767  220   125453   95749  47419    625 860.66
891.21/891.71	c   541149   5364    61172 13615721  222   131899  105324  50642    627 862.93
891.21/891.71	c   546085   5364    66108 14902358  225   141771  115857  55578    630 865.82
891.21/891.71	c   553591   5364    73614 16406357  222   156783  127443  63084    636 869.17
891.21/891.71	c   564952   5364    84975 19200408  225   179505  140188  74445    643 877.76
891.21/891.71	o -16	891.243
1004.11/1004.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1004.11/1004.64	c   580277   5364   100301 23465942  233   210173   54045  89771    651 891.25
1004.11/1004.64	c   580377   5364    22830  3405733  149    55202   59450  12300    636 911.62
1004.11/1004.64	c   580627   5364    23080  3473431  150    55702   65396  12550    636 911.79
1004.11/1004.64	c   581102   5364    23555  3595969  152    56652   71936  13025    637 912.08
1004.11/1004.64	c   581915   5364    24368  3798926  155    58278   79130  13838    637 912.51
1004.11/1004.64	c   583235   5364    25688  4117587  160    60918   87044  15158    638 913.09
1004.11/1004.64	c   585316   5364    27769  4661657  167    65080   95749  17239    640 914.11
1004.11/1004.64	c   588539   5364    30992  5574283  179    71526  105324  20462    642 915.56
1004.11/1004.64	c   593475   5364    35928  6920503  192    81398  115857  25398    646 918.22
1004.11/1004.64	c   600981   5364    43434  8921287  205    96410  127443  32904    651 922.23
1004.11/1004.64	c   612342   5364    54795 11660390  212   119132  140188  44265    658 929.75
1004.11/1004.64	c   629486   5364    71939 16190111  225   153420  154207  61409    666 943.78
1004.11/1004.64	c   655305   5364    97758 22799400  233   205058  169628  87228    679 963.80
1004.11/1004.64	c   694137   5364   136590 31870108  233   282722  186591 126060    696 996.09
1004.11/1004.64	o -17	1004.16
1138.48/1139.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1138.48/1139.07	c   700830   5364   143284 33735913  235   296127   54045 132754    697 1004.16
1138.48/1139.07	c   700930   5364    23371  3224252  137    56285   59450  12841    690 1015.22
1138.48/1139.07	c   701180   5364    23621  3286021  139    56785   65396  13091    690 1015.39
1138.48/1139.07	c   701655   5364    24096  3393128  140    57735   71936  13566    690 1015.63
1138.48/1139.07	c   702468   5364    24909  3590662  144    59361   79130  14379    691 1016.17
1138.48/1139.07	c   703788   5364    26229  3911195  149    62001   87044  15699    692 1016.94
1138.48/1139.07	c   705869   5364    28310  4413536  155    66163   95749  17780    693 1017.99
1138.48/1139.07	c   709092   5364    31533  5202708  164    72609  105324  21003    695 1019.46
1138.48/1139.07	c   714028   5364    36469  6431224  176    82481  115857  25939    698 1022.03
1138.48/1139.07	c   721534   5364    43975  8360431  190    97493  127443  33445    703 1026.19
1138.48/1139.07	c   732895   5364    55336 11260669  203   120215  140188  44806    709 1033.63
1138.48/1139.07	c   750039   5364    72480 15483280  213   154503  154207  61950    715 1048.21
1138.48/1139.07	c   775858   5364    98299 22046142  224   206141  169628  87769    722 1073.90
1138.48/1139.07	c   814690   5364   137131 31474710  229   283805  186591 126601    733 1110.98
1138.48/1139.07	o -18	1138.57
1178.78/1179.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1178.78/1179.36	c   845396   5364   167838 38422778  228   345237   54045 157308    742 1138.57
1178.78/1179.36	c   845496   5364    23459  2887554  123    56462   59450  12929    721 1172.08
1178.78/1179.36	c   845746   5364    23709  2943463  124    56962   65396  13179    721 1172.20
1178.78/1179.36	c   846221   5364    24184  3049521  126    57912   71936  13654    721 1172.40
1178.78/1179.36	c   847034   5364    24997  3241345  129    59538   79130  14467    722 1172.81
1178.78/1179.36	c   848354   5364    26317  3563957  135    62178   87044  15787    722 1173.40
1178.78/1179.36	c   850435   5364    28398  4093517  144    66340   95749  17868    724 1174.29
1178.78/1179.36	c   853658   5364    31621  4951369  156    72786  105324  21091    725 1175.91
1178.78/1179.36	c   858594   5364    36557  6144406  168    82658  115857  26027    728 1178.20
1178.78/1179.36	o -19	1178.85
1800.09/1800.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.09/1800.71	c   860107   5364    38071  6541063  171    85705   54045  27541    729 1178.85
1800.09/1800.71	c   860207   5364    38171  6561063  171    85905   59450  27641    729 1178.89
1800.09/1800.71	c   860457   5364    38421  6619034  172    86405   65396  27891    729 1179.04
1800.09/1800.71	c   860932   5364    38896  6735186  173    87355   71936  28366    730 1179.32
1800.09/1800.71	c   861745   5364    39709  6943476  174    88981   79130  29179    730 1179.84
1800.09/1800.71	c   863065   5364    41029  7268388  177    91621   87044  30499    731 1180.50
1800.09/1800.71	c   865146   5364    43110  7787513  180    95783   95749  32580    732 1181.51
1800.09/1800.71	c   868369   5364    46333  8570970  184   102229  105324  35803    734 1182.68
1800.09/1800.71	c   873305   5364    51269  9559394  186   112101  115857  40739    737 1183.82
1800.09/1800.71	c   880811   5364    58775 11242950  191   127113  127443  48245    741 1187.44
1800.09/1800.71	c   892172   5364    70136 13750178  196   149835  140188  59606    748 1191.21
1800.09/1800.71	c   909316   5364    87280 17191380  196   184123  154207  76750    759 1197.30
1800.09/1800.71	c   935135   5364   113099 23300525  206   235761  169628 102569    769 1214.83
1800.09/1800.71	c   973967   5364   151931 32400114  213   313425  186591 141401    782 1244.58
1800.09/1800.71	c  1032319   5364    31647  5237678  165    72839  205251  21117    731 1411.76
1800.09/1800.71	c  1119951   5364   119279 27766876  232   248103  225777 108749    757 1478.06
1800.09/1800.71	c  1251503   5364    33036  6632088  200    75617  248355  22506    742 1686.25
1800.09/1800.71	c Caught signal: 15
1800.09/1800.71	v x1 -x2 x3 x4 x5 -x6 x7 -x8 x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 -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 -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 -x384 -x287 -x378 -x316 -x394 -x336 -x387 -x293 x250 -x222 -x229 -x304 -x333 -x201 -x363 x228 -x291 x260 -x364 -x327 x341 -x227 -x373 -x337 -x211 -x202 -x212 -x369 -x368 -x230 -x383 -x331 -x263 -x324 -x268 -x204 -x243 -x251 -x273 -x396 -x203 -x330 -x223 -x259 -x270 -x257 -x209 -x309 -x399 -x374 -x320 -x385 -x338 -x325 -x371 -x221 -x225 -x240 -x274 -x296 -x311 x393 -x205 -x214 -x292 -x381 -x357 x397 -x282 -x226 -x242 -x258 -x265 -x278 -x279 -x288 -x398 -x206 -x306 -x326 -x285 -x328 x247 -x314 -x235 -x264 -x301 -x207 -x346 -x215 -x365 -x244 -x351 -x219 x266 -x276 -x208 -x277 -x379 -x389 -x252 -x355 x400 -x261 -x245 -x340 -x213 x295 -x234 -x210 -x298 -x303 -x318 -x253 -x302 -x262 -x375 x281 x290 -x220 -x241 -x236 -x315 -x362 -x232 -x372 -x310 -x275 -x334 -x354 -x366 -x307 -x284 -x308 -x329 x272 -x271 x249 x347 -x350 -x246 -x312 -x319 -x339 -x216 -x322 -x356 -x380 -x289 -x217 -x388 -x344 -x269 -x283 -x218 -x233 -x352 -x238 -x267 -x299 -x367 -x361 -x395 -x377 -x317 -x305 -x335 -x349 -x370 -x300 x237 -x239 x391 -x256 -x353 -x224 -x343 -x359 -x321 -x323 -x255 -x332 -x382 -x360 x280 x294 -x231 -x376 -x345 -x286 -x386 -x254 -x348 -x297 -x358 -x390 -x392 -x248 -x342 -x313 
1800.09/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.71	c  118  1377639    207  1450312   159172 39380905 148642    765 1800.10
1800.09/1800.71	c Objective: -19
1800.09/1800.71	s SATISFIABLE
1800.09/1800.71	c Total time: 1800.1 s

Verifier Data 

OK	-19

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737672-1338725437/watcher-3737672-1338725437 -o /tmp/evaluation-result-3737672-1338725437/solver-3737672-1338725437 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3737672-1338725437.opb 

running on 4 cores: 0,2,4,6

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24003
/proc/meminfo: memFree=28017560/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=4900 CPUtime=0 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 501 0 0 0 0 0 0 0 20 0 1 0 338672214 5017600 437 33554432000 134512640 135840783 4292222544 4292221216 1582375 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24003/statm: 1226 438 333 325 0 143 0

[startup+0.049296 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24003
/proc/meminfo: memFree=28017560/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=7332 CPUtime=0.04 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 1157 0 0 0 4 0 0 0 20 0 1 0 338672214 7507968 1074 33554432000 134512640 135840783 4292222544 4292157152 134551200 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24003/statm: 1833 1074 345 325 0 769 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7332

[startup+0.100221 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24003
/proc/meminfo: memFree=28017560/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=7332 CPUtime=0.09 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 1158 0 0 0 9 0 0 0 20 0 1 0 338672214 7507968 1075 33554432000 134512640 135840783 4292222544 4292157152 134550863 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24003/statm: 1833 1075 345 325 0 769 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7332

[startup+0.300182 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24003
/proc/meminfo: memFree=28017560/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=7332 CPUtime=0.29 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 1160 0 0 0 29 0 0 0 20 0 1 0 338672214 7507968 1077 33554432000 134512640 135840783 4292222544 4292157072 1584782 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24003/statm: 1833 1077 345 325 0 769 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7332

[startup+0.70018 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24003
/proc/meminfo: memFree=28017560/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=7332 CPUtime=0.69 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 1160 0 0 0 69 0 0 0 20 0 1 0 338672214 7507968 1077 33554432000 134512640 135840783 4292222544 4292157148 5661184 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24003/statm: 1833 1077 345 325 0 769 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7332

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24004
/proc/meminfo: memFree=28013700/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=10832 CPUtime=1.48 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 2308 0 0 0 148 0 0 0 20 0 1 0 338672214 11091968 1996 33554432000 134512640 135840783 4292222544 4292218720 134586558 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24003/statm: 2708 1996 351 325 0 1644 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10832

[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24004
/proc/meminfo: memFree=28005012/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=19308 CPUtime=3.09 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 4406 0 0 0 308 1 0 0 20 0 1 0 338672214 19771392 4094 33554432000 134512640 135840783 4292222544 4292221840 134572679 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24003/statm: 4827 4094 351 325 0 3763 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19308

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24004
/proc/meminfo: memFree=27969780/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=38240 CPUtime=6.28 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 9135 0 0 0 626 2 0 0 20 0 1 0 338672214 39157760 8823 33554432000 134512640 135840783 4292222544 4292221856 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24003/statm: 9560 8823 351 325 0 8496 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 38240

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24004
/proc/meminfo: memFree=27922584/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=80576 CPUtime=12.68 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 19741 0 0 0 1264 4 0 0 20 0 1 0 338672214 82509824 19429 33554432000 134512640 135840783 4292222544 4292219040 1579733 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24003/statm: 20144 19429 351 325 0 19080 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 80576

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24004
/proc/meminfo: memFree=27835404/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=151340 CPUtime=25.48 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 37426 0 0 0 2539 9 0 0 20 0 1 0 338672214 154972160 37114 33554432000 134512640 135840783 4292222544 4292221904 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24003/statm: 37835 37114 351 325 0 36771 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 151340

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24004
/proc/meminfo: memFree=27715588/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=246172 CPUtime=51.08 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 61121 0 0 0 5092 16 0 0 20 0 1 0 338672214 252080128 60809 33554432000 134512640 135840783 4292222544 4292218976 1582375 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 61543 60809 351 325 0 60479 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 246172

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24004
/proc/meminfo: memFree=27490944/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=400404 CPUtime=102.23 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 99711 0 0 0 10197 26 0 0 20 0 1 0 338672214 410013696 99366 33554432000 134512640 135840783 4292222544 4292218976 1582375 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 100101 99366 351 325 0 99037 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 400404

[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 24005
/proc/meminfo: memFree=27279056/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=565600 CPUtime=162.17 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 141048 0 0 0 16178 39 0 0 20 0 1 0 338672214 579174400 140658 33554432000 134512640 135840783 4292222544 4292218976 1582375 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 141400 140658 351 325 0 140336 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 565600

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24005
/proc/meminfo: memFree=26965612/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=785588 CPUtime=222.11 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 196313 0 0 0 22157 54 0 0 20 0 1 0 338672214 804442112 195665 33554432000 134512640 135840783 4292222544 4292221968 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 196397 195665 351 325 0 195333 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 785588

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24005
/proc/meminfo: memFree=26898556/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=785588 CPUtime=282.05 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 196361 0 0 0 28151 54 0 0 20 0 1 0 338672214 804442112 195665 33554432000 134512640 135840783 4292222544 4292221968 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 196397 195665 351 325 0 195333 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 785588

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24005
/proc/meminfo: memFree=26819100/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=785588 CPUtime=342 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 196409 0 0 0 34146 54 0 0 20 0 1 0 338672214 804442112 195665 33554432000 134512640 135840783 4292222544 4292221968 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 196397 195665 351 325 0 195333 0
Current children cumulated CPU time (s) 342
Current children cumulated vsize (KiB) 785588

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24005
/proc/meminfo: memFree=26764816/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=785588 CPUtime=401.94 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 196457 0 0 0 40140 54 0 0 20 0 1 0 338672214 804442112 195665 33554432000 134512640 135840783 4292222544 4292221968 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 196397 195665 351 325 0 195333 0
Current children cumulated CPU time (s) 401.94
Current children cumulated vsize (KiB) 785588

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24006
/proc/meminfo: memFree=26704084/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=785588 CPUtime=461.91 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 196479 0 0 0 46137 54 0 0 20 0 1 0 338672214 804442112 195665 33554432000 134512640 135840783 4292222544 4292221968 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 196397 195665 351 325 0 195333 0
Current children cumulated CPU time (s) 461.91
Current children cumulated vsize (KiB) 785588

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24006
/proc/meminfo: memFree=26626364/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=785588 CPUtime=521.88 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 196500 0 0 0 52134 54 0 0 20 0 1 0 338672214 804442112 195665 33554432000 134512640 135840783 4292222544 4292221904 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 196397 195665 351 325 0 195333 0
Current children cumulated CPU time (s) 521.88
Current children cumulated vsize (KiB) 785588

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24009
/proc/meminfo: memFree=26558892/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=785588 CPUtime=581.86 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 196504 0 0 0 58132 54 0 0 20 0 1 0 338672214 804442112 195665 33554432000 134512640 135840783 4292222544 4292218196 1577022 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 196397 195665 351 325 0 195333 0
Current children cumulated CPU time (s) 581.86
Current children cumulated vsize (KiB) 785588

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24011
/proc/meminfo: memFree=26222364/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=785416 CPUtime=881.82 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 196504 0 0 0 88128 54 0 0 20 0 1 0 338672214 804265984 195642 33554432000 134512640 135840783 4292222544 4292221852 1584704 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 196354 195642 351 325 0 195290 0
Current children cumulated CPU time (s) 881.82
Current children cumulated vsize (KiB) 785416

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24011
/proc/meminfo: memFree=26126264/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=785412 CPUtime=941.82 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 196504 0 0 0 94127 55 0 0 20 0 1 0 338672214 804261888 195641 33554432000 134512640 135840783 4292222544 4292221904 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 196353 195641 351 325 0 195289 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 785412

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24011
/proc/meminfo: memFree=26064868/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=785412 CPUtime=1001.81 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 196504 0 0 0 100126 55 0 0 20 0 1 0 338672214 804261888 195641 33554432000 134512640 135840783 4292222544 4292221780 1577122 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 196353 195641 351 325 0 195289 0
Current children cumulated CPU time (s) 1001.81
Current children cumulated vsize (KiB) 785412

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24012
/proc/meminfo: memFree=26001036/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=785412 CPUtime=1061.8 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 196504 0 0 0 106125 55 0 0 20 0 1 0 338672214 804261888 195641 33554432000 134512640 135840783 4292222544 4292221840 134572677 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 196353 195641 351 325 0 195289 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 785412

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24051
/proc/meminfo: memFree=27922596/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=785412 CPUtime=1121.79 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 196504 0 0 0 112124 55 0 0 20 0 1 0 338672214 804261888 195641 33554432000 134512640 135840783 4292222544 4292221856 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 196353 195641 351 325 0 195289 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 785412

[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 24054
/proc/meminfo: memFree=27886380/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=785400 CPUtime=1181.78 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 196504 0 0 0 118123 55 0 0 20 0 1 0 338672214 804249600 195638 33554432000 134512640 135840783 4292222544 4292221904 134550910 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 196350 195638 351 325 0 195286 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 785400

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24054
/proc/meminfo: memFree=27863696/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=785400 CPUtime=1241.77 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 196504 0 0 0 124122 55 0 0 20 0 1 0 338672214 804249600 195638 33554432000 134512640 135840783 4292222544 4292221904 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 196350 195638 351 325 0 195286 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 785400

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24054
/proc/meminfo: memFree=27842988/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=785400 CPUtime=1301.77 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 196504 0 0 0 130122 55 0 0 20 0 1 0 338672214 804249600 195638 33554432000 134512640 135840783 4292222544 4292221968 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 196350 195638 351 325 0 195286 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 785400

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24055
/proc/meminfo: memFree=27830960/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=785400 CPUtime=1361.75 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 196504 0 0 0 136120 55 0 0 20 0 1 0 338672214 804249600 195638 33554432000 134512640 135840783 4292222544 4292221968 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 196350 195638 351 325 0 195286 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 785400

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24055
/proc/meminfo: memFree=27816700/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=785392 CPUtime=1421.75 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 196504 0 0 0 142120 55 0 0 20 0 1 0 338672214 804241408 195636 33554432000 134512640 135840783 4292222544 4292218176 1584736 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 196348 195636 351 325 0 195284 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 785392

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24056
/proc/meminfo: memFree=27809128/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=785392 CPUtime=1481.73 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 196504 0 0 0 148118 55 0 0 20 0 1 0 338672214 804241408 195636 33554432000 134512640 135840783 4292222544 4292221856 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 196348 195636 351 325 0 195284 0
Current children cumulated CPU time (s) 1481.73
Current children cumulated vsize (KiB) 785392

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24056
/proc/meminfo: memFree=27798472/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=785392 CPUtime=1541.72 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 196504 0 0 0 154117 55 0 0 20 0 1 0 338672214 804241408 195636 33554432000 134512640 135840783 4292222544 4292221856 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 196348 195636 351 325 0 195284 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 785392

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24056
/proc/meminfo: memFree=27781568/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=785392 CPUtime=1601.71 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 196504 0 0 0 160116 55 0 0 20 0 1 0 338672214 804241408 195636 33554432000 134512640 135840783 4292222544 4292221856 134551324 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 196348 195636 351 325 0 195284 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 785392

[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 24057
/proc/meminfo: memFree=27755680/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=790576 CPUtime=1661.7 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 198023 0 0 0 166115 55 0 0 20 0 1 0 338672214 809549824 196929 33554432000 134512640 135840783 4292222544 4292221968 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 197644 196929 351 325 0 196580 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 790576

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24057
/proc/meminfo: memFree=27747492/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=790576 CPUtime=1721.69 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 198023 0 0 0 172114 55 0 0 20 0 1 0 338672214 809549824 196929 33554432000 134512640 135840783 4292222544 4292221856 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 197644 196929 351 325 0 196580 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 790576

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 24060
/proc/meminfo: memFree=27738308/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=790576 CPUtime=1781.68 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 198023 0 0 0 178113 55 0 0 20 0 1 0 338672214 809549824 196929 33554432000 134512640 135840783 4292222544 4292221856 134551116 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 197644 196929 351 325 0 196580 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 790576



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24060
/proc/meminfo: memFree=27734960/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=790576 CPUtime=1800.09 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 198023 0 0 0 179954 55 0 0 20 0 1 0 338672214 809549824 196929 33554432000 134512640 135840783 4292222544 4292221904 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 197644 196929 351 325 0 196580 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 790576

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

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

[startup+1800.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24060
/proc/meminfo: memFree=27734960/32873844 swapFree=6872/6872
[pid=24003] ppid=24001 vsize=790576 CPUtime=1800.09 cores=0,2,4,6
/proc/24003/stat : 24003 (bsolo3.0.17) R 24001 24003 23291 0 -1 4202496 198023 0 0 0 179954 55 0 0 20 0 1 0 338672214 809549824 196929 33554432000 134512640 135840783 4292222544 4292221904 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24003/statm: 197644 196929 351 325 0 196580 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 790576

Child status: 15
Real time (s): 1800.72
CPU time (s): 1800.11
CPU user time (s): 1799.55
CPU system time (s): 0.560914
CPU usage (%): 99.9661
Max. virtual memory (cumulated for all children) (KiB): 791480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.560914
maximum resident set size= 788620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 198026
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= 334
involuntary context switches= 2104

runsolver used 3.35149 second user time and 9.16261 second system time

The end

Launcher Data 

Begin job on node106 at 2012-06-03 14:10:37
IDJOB=3737672
IDBENCH=48283
IDSOLVER=2318
FILE ID=node106/3737672-1338725437
RUNJOBID= node106-1338714620-23307
PBS_JOBID= 14636759
Free space on /tmp= 70852 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_1.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737672-1338725437/watcher-3737672-1338725437 -o /tmp/evaluation-result-3737672-1338725437/solver-3737672-1338725437 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3737672-1338725437.opb            

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 74165f17686851db36d48a05683565a5
RANDOM SEED=810743265

node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28018164 kB
Buffers:          308596 kB
Cached:          2959176 kB
SwapCached:         2004 kB
Active:          1753092 kB
Inactive:        2249048 kB
Active(anon):     731744 kB
Inactive(anon):     4984 kB
Active(file):    1021348 kB
Inactive(file):  2244064 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100580 kB
Dirty:              6624 kB
Writeback:             0 kB
AnonPages:        739560 kB
Mapped:            10316 kB
Shmem:                 0 kB
Slab:             712656 kB
SReclaimable:     154904 kB
SUnreclaim:       557752 kB
KernelStack:        1464 kB
PageTables:         5428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     855656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    686080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70848 MiB
End job on node106 at 2012-06-03 14:40:40