Trace number 3462852

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.2SAT (TO)-107 1800.12 1800.06

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_5.opb
MD5SUM9b75ee50c2c62e6be495e8bd0a94fa2c
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-146
Best CPU time to get the best result obtained on this benchmark1797.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -131
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12540
Sum of products size (including duplicates)25080
Number of different products6270
Sum of products size12540

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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462852-1307184174.opb
0.00/0.00	c File size is 191690 bytes.
0.00/0.03	c Highest Coefficient sum: 1000
0.00/0.03	c Parsing was ok!!
0.00/0.03	c Total parsing time: 0.029 s
0.00/0.03	c Var: 13540 Constr: 26582 13040/1002/12540 Lit: 90780 Watch. Lit: 77242
0.00/0.03	c Obj. Vars: 500 (3.69276 % of total variables)
3.49/3.51	c Pre-processing Time: 3.511 s
3.49/3.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.49/3.51	c        0  13540    26582    90780    3    77242  131637      0      0 3.51
3.49/3.51	c Switching off lower bounding mode.
3.49/3.52	o -1
3.49/3.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.49/3.57	c        0  13540    26583    91280    3    77245  131970      1      0 3.53
3.49/3.57	o -2
3.60/3.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.60/3.61	c        1  13540    26586    92780    3    77254  132137      4      0 3.57
3.60/3.61	o -3
3.60/3.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.60/3.65	c        2  13540    26589    94298    3    77265  132304      7      0 3.61
3.60/3.65	o -4
3.60/3.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.60/3.69	c        4  13540    26593    95822    3    77280  132470     11      1 3.66
3.60/3.69	o -5
3.70/3.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.70/3.74	c        8  13540    26599    98843    3    77301  132637     17      2 3.70
3.70/3.74	o -6
3.70/3.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.70/3.78	c       11  13540    26604   101365    3    77322  132637     22      2 3.74
3.70/3.78	o -7
3.80/3.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.80/3.82	c       15  13540    26610   104380    3    77347  132637     28      3 3.78
3.80/3.82	o -8
3.80/3.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.80/3.86	c       20  13540    26617   107886    4    77376  132637     35      5 3.82
3.80/3.86	o -9
3.90/3.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.90/3.91	c       26  13540    26625   111881    4    77409  132637     43      6 3.87
3.90/3.91	o -10
3.90/3.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.90/3.95	c       33  13540    26634   116363    4    77446  132637     52      8 3.91
3.90/3.95	o -11
3.90/3.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.90/3.99	c       41  13540    26644   121344    4    77487  132637     62     10 3.95
3.90/3.99	o -12
4.00/4.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.00/4.03	c       50  13540    26655   126808    4    77532  132637     73     12 4.00
4.00/4.03	o -13
4.00/4.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.00/4.08	c       60  13540    26667   132766    4    77581  132637     85     14 4.04
4.00/4.08	o -14
4.10/4.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.10/4.12	c       68  13540    26677   137742    5    77628  132637     95     16 4.08
4.10/4.12	o -15
4.10/4.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.10/4.16	c       77  13540    26688   143206    5    77679  132637    106     18 4.12
4.10/4.16	o -16
4.19/4.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.19/4.20	c       86  13540    26699   148672    5    77732  132637    117     20 4.17
4.19/4.20	o -17
4.19/4.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.19/4.25	c       97  13540    26712   154137    5    77791  132637    130     23 4.21
4.19/4.25	o -18
4.19/4.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.19/4.29	c      113  13540    26730   162493    6    77862  132637    148     26 4.25
4.19/4.29	o -19
4.31/4.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.31/4.32	c      117  13540    26736   164578    6    77911  132637    154     27 4.29
4.31/4.32	o -20
4.31/4.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.31/4.36	c      118  13540    26739   166196    6    77956  132637    157     27 4.33
4.31/4.36	o -21
4.31/4.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.31/4.40	c      121  13540    26744   167827    6    78007  132637    162     27 4.37
4.31/4.40	o -22
4.41/4.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.41/4.43	c      128  13540    26753   169479    6    78068  132637    171     29 4.41
4.41/4.43	o -23
4.41/4.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.41/4.47	c      129  13540    26756   171114    6    78119  132637    174     29 4.44
4.41/4.47	o -24
4.49/4.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.49/4.50	c      130  13540    26759   172766    6    78172  132637    177     29 4.47
4.49/4.50	o -25
4.49/4.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.49/4.54	c      132  13540    26763   174420    6    78229  132637    181     29 4.51
4.49/4.54	o -26
4.49/4.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.49/4.57	c      135  13540    26768   176086    6    78290  132637    186     29 4.54
4.49/4.57	o -27
4.59/4.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.59/4.61	c      141  13540    26776   177767    6    78359  132637    194     30 4.58
4.59/4.61	o -28
4.59/4.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.59/4.64	c      142  13540    26779   179428    6    78420  132637    197     30 4.61
4.59/4.64	o -29
4.59/4.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.59/4.68	c      145  13540    26784   181112    6    78487  132637    202     31 4.64
4.59/4.68	o -30
4.69/4.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.69/4.71	c      152  13540    26793   182807    6    78564  132637    211     32 4.68
4.69/4.71	o -31
4.69/4.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.69/4.74	c      155  13540    26798   184497    6    78635  132637    216     32 4.71
4.69/4.74	o -32
4.69/4.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.69/4.77	c      156  13540    26801   186182    6    78704  132637    219     32 4.75
4.69/4.77	o -33
4.79/4.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.79/4.80	c      158  13540    26805   187871    7    78777  132637    223     33 4.78
4.79/4.80	o -34
4.79/4.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.79/4.84	c      160  13540    26809   189570    7    78852  132637    227     33 4.81
4.79/4.84	o -35
4.79/4.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.79/4.87	c      162  13540    26813   191273    7    78929  132637    231     33 4.84
4.79/4.87	o -36
4.79/4.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.79/4.90	c      164  13540    26817   192983    7    79008  132637    235     33 4.87
4.79/4.90	o -37
4.89/4.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.89/4.93	c      165  13540    26820   194696    7    79087  132637    238     33 4.90
4.89/4.93	o -38
4.89/4.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.89/4.95	c      167  13540    26824   196419    7    79170  132637    242     33 4.93
4.89/4.95	o -39
4.89/4.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.89/4.98	c      171  13540    26830   198159    7    79259  132637    248     34 4.96
4.89/4.98	o -40
4.99/5.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.99/5.01	c      175  13540    26836   199904    7    79350  132637    254     35 4.99
4.99/5.01	o -41
4.99/5.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.99/5.04	c      176  13540    26839   201636    7    79437  132637    257     35 5.02
4.99/5.04	o -42
5.09/5.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.09/5.15	c      179  13540    26844   203378    7    79530  132637    262     35 5.04
5.09/5.15	c      279  13540    26944   246536    9    79730  145901    362     54 5.11
5.09/5.15	o -43
5.09/5.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.09/5.18	c      298  13540    26965   253332    9    79857  132637    383     57 5.15
5.09/5.18	o -44
5.20/5.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.20/5.21	c      304  13540    26973   255089    9    79960  132637    391     58 5.18
5.20/5.21	o -45
5.20/5.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.20/5.24	c      314  13540    26985   256869    9    80073  132637    403     60 5.22
5.20/5.24	o -46
5.20/5.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.20/5.26	c      316  13540    26989   258653    9    80172  132637    407     60 5.24
5.20/5.26	o -47
5.20/5.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.20/5.29	c      317  13540    26992   260439    9    80271  132637    410     60 5.27
5.20/5.29	o -48
5.29/5.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.29/5.31	c      323  13540    27000   262245    9    80382  132637    418     61 5.29
5.29/5.31	o -49
5.29/5.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.29/5.34	c      328  13540    27007   264048    9    80493  132637    425     61 5.32
5.29/5.34	o -50
5.29/5.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.29/5.36	c      332  13540    27013   265854    9    80604  132637    431     62 5.34
5.29/5.36	o -51
5.29/5.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.29/5.39	c      336  13540    27019   267664    9    80717  132637    437     62 5.37
5.29/5.39	o -52
5.41/5.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.41/5.42	c      341  13540    27026   269479    9    80834  132637    444     63 5.40
5.41/5.42	o -53
5.41/5.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.41/5.44	c      349  13540    27036   271307   10    80959  132637    454     64 5.42
5.41/5.44	o -54
5.51/5.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.51/5.55	c      357  13540    27046   273149   10    81086  132637    464     65 5.45
5.51/5.55	c      457  13540    27146   314296   11    81286  145901    564     82 5.51
5.51/5.55	o -55
5.51/5.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.51/5.58	c      477  13540    27168   322805   11    81439  132637    586     85 5.55
5.51/5.58	o -56
5.59/5.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.59/5.60	c      488  13540    27181   324640   11    81576  132637    599     87 5.58
5.59/5.60	o -57
5.59/5.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.59/5.63	c      497  13540    27192   326492   12    81711  132637    610     88 5.61
5.59/5.63	o -58
5.59/5.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.59/5.65	c      499  13540    27196   328331   12    81834  132637    614     88 5.63
5.59/5.65	o -59
5.59/5.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.59/5.67	c      501  13540    27200   330170   12    81959  132637    618     88 5.65
5.59/5.67	o -60
5.69/5.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.70	c      508  13540    27209   332029   12    82096  132637    627     89 5.68
5.69/5.70	o -61
5.69/5.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.72	c      518  13540    27221   333893   12    82241  132637    639     90 5.70
5.69/5.72	o -62
5.69/5.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.74	c      531  13540    27236   335766   12    82394  132637    654     92 5.73
5.69/5.74	o -63
5.69/5.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.79	c      534  13540    27241   337610   12    82529  132637    659     92 5.75
5.69/5.79	o -64
5.79/5.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.79/5.82	c      581  13540    27290   355224   13    82754  132637    708    100 5.80
5.79/5.82	o -65
5.79/5.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.79/5.85	c      598  13540    27309   363608   13    82921  132637    727    102 5.83
5.79/5.85	o -66
5.79/5.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.79/5.88	c      621  13540    27334   372426   13    83102  132637    752    105 5.86
5.79/5.88	o -67
5.89/5.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.89/5.90	c      629  13540    27344   376877   13    83255  132637    762    106 5.88
5.89/5.90	o -68
5.89/5.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.89/5.92	c      633  13540    27350   378729   13    83402  132637    768    107 5.90
5.89/5.92	o -69
5.89/5.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.89/5.94	c      635  13540    27354   380575   13    83547  132637    772    107 5.92
5.89/5.94	o -70
5.89/5.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.89/5.96	c      636  13540    27357   382422   13    83692  132637    775    107 5.94
5.89/5.96	o -71
5.89/5.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.89/5.99	c      646  13540    27369   384302   14    83857  132637    787    108 5.97
5.89/5.99	o -72
5.99/6.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.99/6.01	c      661  13540    27386   386197   14    84034  132637    804    110 6.00
5.99/6.01	o -73
5.99/6.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.99/6.04	c      670  13540    27397   388086   14    84201  132637    815    111 6.02
5.99/6.04	o -74
5.99/6.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.99/6.07	c      682  13540    27411   389975   14    84376  132637    829    112 6.04
5.99/6.07	o -75
6.09/6.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.09/6.20	c      697  13540    27428   391874   14    84559  132637    846    114 6.07
6.09/6.20	c      797  13540    27528   426860   15    84759  145901    946    129 6.14
6.09/6.20	o -76
6.19/6.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.19/6.21	c      845  13540    27578   441545   16    85010  132637    996    136 6.20
6.19/6.21	o -77
6.19/6.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.19/6.23	c      848  13540    27583   443409   16    85173  132637   1001    136 6.22
6.19/6.23	o -78
6.19/6.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.19/6.25	c      851  13540    27588   445279   16    85338  132637   1006    136 6.24
6.19/6.25	o -79
6.19/6.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.19/6.27	c      860  13540    27599   447170   16    85517  132637   1017    137 6.26
6.19/6.27	o -80
6.29/6.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.29/6.30	c      865  13540    27606   449049   16    85690  132637   1024    137 6.28
6.29/6.30	o -81
6.29/6.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.29/6.32	c      877  13540    27620   450960   16    85879  132637   1038    139 6.30
6.29/6.32	o -82
6.29/6.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.29/6.34	c      884  13540    27629   452861   16    86060  132637   1047    139 6.33
6.29/6.34	o -83
6.39/6.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.39/6.40	c      895  13540    27642   454781   16    86251  132637   1060    140 6.35
6.39/6.40	o -84
6.39/6.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.39/6.42	c      957  13540    27706   473443   17    86546  132637   1124    149 6.41
6.39/6.42	o -85
6.39/6.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.39/6.43	c      961  13540    27712   475338   17    86727  132637   1130    149 6.42
6.39/6.43	o -86
6.39/6.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.39/6.45	c      962  13540    27715   477224   17    86904  132637   1133    149 6.44
6.39/6.45	o -87
6.39/6.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.39/6.48	c      976  13540    27731   479152   17    87109  132637   1149    151 6.46
6.39/6.48	o -88
6.39/6.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.39/6.50	c      990  13540    27747   481078   17    87316  132637   1165    152 6.48
6.39/6.50	o -89
6.51/6.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.51/6.51	c      996  13540    27755   482988   17    87509  132637   1173    153 6.50
6.51/6.51	o -90
6.51/6.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.51/6.54	c     1001  13540    27762   484891   17    87702  132637   1180    153 6.52
6.51/6.54	o -91
6.61/6.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.61/6.63	c     1012  13540    27775   486811   17    87909  132637   1193    154 6.54
6.61/6.63	c     1113  13540    27876   526593   18    88111  145901   1294    168 6.61
6.61/6.63	o -92
6.61/6.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.61/6.65	c     1130  13540    27895   529754   18    88332  132637   1313    170 6.64
6.61/6.65	o -93
6.61/6.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.61/6.66	c     1131  13540    27898   531650   19    88523  132637   1316    169 6.65
6.61/6.66	o -94
6.61/6.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.61/6.67	c     1132  13540    27901   533547   19    88716  132637   1319    169 6.67
6.61/6.67	o -95
6.61/6.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.61/6.69	c     1134  13540    27905   535448   19    88913  132637   1323    169 6.68
6.61/6.69	o -96
6.69/6.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.69/6.71	c     1139  13540    27912   537358   19    89118  132637   1330    170 6.70
6.69/6.71	o -97
38.41/38.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.41/38.46	c     1151  13540    27926   539291   19    89339  132637   1344    171 6.71
38.41/38.46	c     1251  13540    28027   555850   19    89638  145901   1445    184 6.79
38.41/38.46	c     1501  13540    28277   680353   24    90138  160492   1695    214 6.98
38.41/38.46	c     1976  13540    28754   916364   31    91092  176542   2172    269 7.34
38.41/38.46	c     2789  13540    29569  1319884   44    92722  194197   2987    349 7.99
38.41/38.46	c     4109  13540    30890  1972430   63    95364  213617   4308    449 9.14
38.41/38.46	c     6190  13540    32974  3002490   91    99532  234979   6392    549 11.28
38.41/38.46	c     9413  13540    36202  4603047  127   105988  258477   9620    625 15.04
38.41/38.46	c    14349  13540    41142  7051114  171   115868  284325  14560    685 20.93
38.41/38.46	c    21855  13540    48653 10770051  221   130890  312758  22071    719 30.39
38.41/38.46	o -98
38.41/38.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.41/38.49	c    25080  13540    51886 12274797  236   137454  132637  25304    651 38.47
38.41/38.49	o -99
38.51/38.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.51/38.52	c    25094  13540    51903 12278304  236   137685  132637  25321    651 38.50
38.51/38.52	o -100
38.51/38.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.51/38.56	c    25100  13540    51911 12280185  236   137900  132637  25329    651 38.52
38.51/38.56	o -101
38.51/38.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.51/38.59	c    25115  13540    51928 12282099  236   138135  132637  25346    651 38.57
38.51/38.59	o -102
38.59/38.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.59/38.61	c    25120  13540    51935 12283986  236   138352  132637  25353    650 38.59
38.59/38.61	o -103
38.59/38.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.59/38.64	c    25129  13540    51946 12285889  236   138579  132637  25364    650 38.62
38.59/38.64	o -104
38.89/38.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.89/38.99	c    25139  13540    51958 12287797  236   138810  132637  25376    650 38.65
38.89/38.99	c    25239  13540    52058 12322765  236   139010  145901  25476    651 38.74
38.89/38.99	o -105
39.00/39.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
39.00/39.01	c    25469  13540    52290 12423529  237   139683  132637  25708    653 39.00
39.00/39.01	o -106
39.00/39.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
39.00/39.04	c    25473  13540    52296 12425426  237   139906  132637  25714    652 39.02
39.00/39.04	o -107
1800.06/1800.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.06/1800.01	c    25478  13540    52303 12427327  237   140133  132637  25721    652 39.05
1800.06/1800.01	c    25578  13540    52404 12431267  237   140442  145901  25822    653 39.13
1800.06/1800.01	c    25828  13540    52655 12556266  238   140944  160492  26073    656 39.37
1800.06/1800.01	c    26303  13540    53133 12791781  240   141900  176542  26551    661 39.77
1800.06/1800.01	c    27116  13540    53948 13195798  244   143530  194197  27366    670 40.45
1800.06/1800.01	c    28436  13540    55271 13850334  250   146176  213617  28689    683 41.58
1800.06/1800.01	c    30517  13540    57353 14882883  259   150340  234979  30771    702 43.45
1800.06/1800.01	c    33740  13540    60577 16483923  272   156788  258477  33995    722 46.69
1800.06/1800.01	c    38676  13540    65515 18933414  288   166664  284325  38933    741 52.18
1800.06/1800.01	c    46182  13540    73028 22635735  309   181690  312758  46446    749 61.65
1800.06/1800.01	c    57543  13540    84451 27488447  325   206185  344034  57869    588 97.75
1800.06/1800.01	c    74687  13540   101831 34867057  342   242080  378438  75249    482 154.87
1800.06/1800.01	c   100506  13540   128247 47275269  368   296462  416282 101665    399 251.48
1800.06/1800.01	c   139338  13540   167706 65243478  389   378565  457911 141124    338 411.93
1800.06/1800.01	c Reducing formula size due to memory constraints
1800.06/1800.01	c Memory Limit: 1000.00 MB  Used: 1002.35 MB
1800.06/1800.01	c   197690  13540    69842 20399124  292   167252   50427  43260    293 672.68
1800.06/1800.01	c   285323  13540    62458 15729816  251   151121   55470  35876    291 980.35
1800.06/1800.01	c Caught signal: 15
1800.06/1800.01	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 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 -x676 -x766 x611 -x573 -x777 -x633 -x921 -x650 -x574 -x882 -x546 -x706 -x741 -x787 -x801 -x501 -x527 x849 -x861 -x699 -x911 -x521 -x727 -x829 -x987 x915 -x510 -x595 -x634 -x692 -x723 -x785 -x790 -x878 -x881 x922 x968 -x502 -x506 -x680 -x874 -x832 -x961 x884 -x553 x847 -x728 -x540 -x554 -x561 -x690 -x503 -x585 x809 x800 -x862 x941 -x572 -x511 -x866 -x954 -x538 -x512 -x526 -x586 -x603 -x612 -x644 -x669 x786 -x825 x933 -x504 -x714 -x666 x736 -x624 -x608 -x702 -x594 x616 -x705 -x763 -x850 x505 -x774 -x989 -x724 x928 -x990 -x543 x535 -x578 -x582 -x663 -x811 -x717 -x628 -x934 -x869 -x940 -x851 -x591 -x541 -x648 -x859 x913 -x507 -x745 x888 -x804 -x762 x975 -x779 -x799 x980 -x664 -x597 -x681 x837 x957 -x508 -x528 -x887 -x653 -x935 -x792 -x590 -x659 x719 -x579 -x524 -x641 -x761 x824 x977 -x509 -x844 -x647 -x515 x520 -x807 x871 -x721 x988 -x592 -x551 -x610 -x747 -x813 -x937 -x525 -x963 x870 -x518 -x580 x661 -x994 -x979 -x897 -x598 -x901 -x533 -x581 -x657 -x698 -x782 -x904 -x931 -x568 -x715 -x627 -x646 -x552 -x947 -x513 -x868 -x996 -x938 -x978 -x742 -x602 -x619 -x564 x618 -x655 x756 -x789 -x846 -x872 -x895 -x514 -x635 -x622 -x542 x758 x636 -x956 -x549 -x566 -x654 -x686 -x773 x853 x925 -x626 -x998 -x545 -x944 -x765 -x570 -x815 -x639 -x651 -x693 -x927 -x516 x716 -x867 x764 -x820 -x529 x783 -x517 -x751 -x899 -x822 -x886 -x652 x519 -x621 -x836 -x852 x908 -x569 x991 x926 -x709 -x558 -x550 x772 x992 x857 -x677 x563 -x614 x671 x808 x912 -x746 -x688 -x919 -x704 -x744 -x839 -x695 -x577 -x649 -x672 -x923 -x556 -x534 -x596 -x818 -x855 x953 -x522 -x806 -x835 -x718 -x981 -x936 -x791 -x523 -x725 -x920 -x959 x946 -x571 -x703 -x827 -x842 x914 -x609 -x970 -x607 x917 -x778 -x883 x604 x623 x860 x740 -x615 -x696 x760 -x969 -x589 -x958 -x854 -x768 -x949 -x536 -x891 -x960 -x984 -x864 -x733 -x734 -x560 -x584 -x805 -x720 -x555 -x840 x967 -x530 -x599 -x665 -x713 -x679 -x753 -x531 -x965 -x802 -x638 -x838 -x532 -x803 -x682 -x876 -x982 -x731 -x797 -x932 -x939 -x826 -x537 x771 -x865 -x983 -x637 -x903 -x955 x759 x694 -x810 x966 -x640 -x687 x985 -x729 -x642 -x833 -x738 x708 -x962 x748 x660 -x539 -x798 -x769 x924 -x889 -x562 -x675 -x722 -x668 x707 x875 -x701 -x821 x948 -x700 -x795 -x600 -x620 -x645 -x749 -x863 x739 x750 -x737 -x544 x834 x930 x843 -x976 -x547 -x588 -x950 -x951 -x796 x999 -x856 -x916 -x732 -x576 x776 -x548 x877 -x613 -x900 x605 x662 -x683 -x784 -x794 -x823 -x712 -x767 x775 -x910 x710 -x735 -x780 -x845 x880 -x942 -x557 -x670 -x689 -x743 -x995 -x583 -x559 x754 -x656 -x907 -x896 -x964 -x678 -x697 -x788 -x575 -x905 -x643 -x565 -x667 x630 x601 -x632 -x567 -x892 x830 -x879 -x890 -x909 x673 -x730 x831 x674 x755 -x593 -x971 -x711 -x629 -x691 x1000 -x587 -x929 -x841 -x781 -x918 x943 x858 -x617 x973 -x894 -x814 -x625 -x757 -x817 -x685 -x752 -x816 x885 -x893 -x945 x997 x848 -x793 -x658 -x812 -x972 x993 -x606 x828 -x898 x902 -x770 -x631 -x952 -x873 x974 -x986 -x684 -x819 x906 x726 
1800.06/1800.01	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.01	c  136   398382 130158  1135843    75590 33459425  49008    221 1800.07
1800.06/1800.01	c Objective: -107
1800.06/1800.01	s SATISFIABLE
1800.06/1800.01	c Total time: 1800.07 s

Verifier Data 

OK	-107

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3462852-1307184174/watcher-3462852-1307184174 -o /tmp/evaluation-result-3462852-1307184174/solver-3462852-1307184174 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462852-1307184174.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.00 2.00 2.00 2/455 26851
/proc/meminfo: memFree=24123336/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=12632 CPUtime=0.01 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 719 0 0 0 1 0 0 0 25 0 1 0 810833300 12935168 673 33554432000 134512640 137138936 4293574192 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 3158 674 190 642 0 2467 0

[startup+0.0946769 s]
/proc/loadavg: 2.00 2.00 2.00 2/455 26851
/proc/meminfo: memFree=24123336/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=17820 CPUtime=0.09 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 2065 0 0 0 9 0 0 0 25 0 1 0 810833300 18247680 1972 33554432000 134512640 137138936 4293574192 18446744073709551615 134542164 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 4455 1972 185 642 0 3811 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17820

[startup+0.100641 s]
/proc/loadavg: 2.00 2.00 2.00 2/455 26851
/proc/meminfo: memFree=24123336/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=17820 CPUtime=0.09 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 2065 0 0 0 9 0 0 0 25 0 1 0 810833300 18247680 1972 33554432000 134512640 137138936 4293574192 18446744073709551615 134542547 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 4455 1972 185 642 0 3811 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17820

[startup+0.300637 s]
/proc/loadavg: 2.00 2.00 2.00 2/455 26851
/proc/meminfo: memFree=24123336/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=17820 CPUtime=0.29 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 2065 0 0 0 29 0 0 0 25 0 1 0 810833300 18247680 1972 33554432000 134512640 137138936 4293574192 18446744073709551615 134543450 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 4455 1972 185 642 0 3811 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17820

[startup+0.700564 s]
/proc/loadavg: 2.00 2.00 2.00 2/455 26851
/proc/meminfo: memFree=24123336/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=17820 CPUtime=0.69 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 2065 0 0 0 69 0 0 0 25 0 1 0 810833300 18247680 1972 33554432000 134512640 137138936 4293574192 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 4455 1972 185 642 0 3811 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17820

[startup+1.50041 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 26852
/proc/meminfo: memFree=24115764/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=17820 CPUtime=1.49 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 2066 0 0 0 149 0 0 0 25 0 1 0 810833300 18247680 1973 33554432000 134512640 137138936 4293574192 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 4455 1973 185 642 0 3811 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17820

[startup+3.10111 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 26852
/proc/meminfo: memFree=24114772/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=17820 CPUtime=3.09 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 2066 0 0 0 309 0 0 0 25 0 1 0 810833300 18247680 1973 33554432000 134512640 137138936 4293574192 18446744073709551615 134543189 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 4455 1973 185 642 0 3811 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17820

[startup+6.30051 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 26852
/proc/meminfo: memFree=24111672/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=23128 CPUtime=6.29 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 3865 0 0 0 624 5 0 0 25 0 1 0 810833300 23683072 3346 33554432000 134512640 137138936 4293574192 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 5782 3346 192 642 0 5138 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23128

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 26852
/proc/meminfo: memFree=24071836/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=63768 CPUtime=12.69 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 14027 0 0 0 1261 8 0 0 25 0 1 0 810833300 65298432 13508 33554432000 134512640 137138936 4293574192 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 15942 13508 192 642 0 15298 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63768

[startup+25.501 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 26852
/proc/meminfo: memFree=24001516/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=132148 CPUtime=25.49 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 31122 0 0 0 2537 12 0 0 25 0 1 0 810833300 135319552 30603 33554432000 134512640 137138936 4293574192 18446744073709551615 134551282 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 33037 30603 192 642 0 32393 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 132148

[startup+51.1002 s]
/proc/loadavg: 2.18 2.05 2.01 3/456 26853
/proc/meminfo: memFree=23879068/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=256208 CPUtime=51.1 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 62110 0 0 0 5089 21 0 0 25 0 1 0 810833300 262356992 61591 33554432000 134512640 137138936 4293574192 18446744073709551615 134575629 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 64052 61591 192 642 0 63408 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 256208

[startup+102.317 s]
/proc/loadavg: 2.13 2.05 2.01 3/456 26854
/proc/meminfo: memFree=23747724/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=385272 CPUtime=102.31 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 94387 0 0 0 10200 31 0 0 25 0 1 0 810833300 394518528 93868 33554432000 134512640 137138936 4293574192 18446744073709551615 134552086 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 96318 93868 192 642 0 95674 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 385272

[startup+162.301 s]
/proc/loadavg: 2.05 2.04 2.01 3/456 26856
/proc/meminfo: memFree=23651840/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=480428 CPUtime=162.3 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 118192 0 0 0 16191 39 0 0 25 0 1 0 810833300 491958272 117673 33554432000 134512640 137138936 4293574192 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 120107 117673 192 642 0 119463 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 480428

[startup+222.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/456 26858
/proc/meminfo: memFree=23553224/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=578036 CPUtime=222.3 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 142597 0 0 0 22185 45 0 0 25 0 1 0 810833300 591908864 142078 33554432000 134512640 137138936 4293574192 18446744073709551615 134552432 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 144509 142078 192 642 0 143865 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 578036

[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 26913
/proc/meminfo: memFree=23730528/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=683388 CPUtime=282.3 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 168919 0 0 0 28177 53 0 0 25 0 1 0 810833300 699789312 168400 33554432000 134512640 137138936 4293574192 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 170847 168400 192 642 0 170203 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 683388

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 26915
/proc/meminfo: memFree=23556396/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=766700 CPUtime=342.3 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 189751 0 0 0 34171 59 0 0 25 0 1 0 810833300 785100800 189232 33554432000 134512640 137138936 4293574192 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 191675 189232 192 642 0 191031 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 766700

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 26916
/proc/meminfo: memFree=23395672/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=848368 CPUtime=402.3 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 210169 0 0 0 40163 67 0 0 25 0 1 0 810833300 868728832 209650 33554432000 134512640 137138936 4293574192 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 212092 209650 192 642 0 211448 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 848368

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 26918
/proc/meminfo: memFree=23244624/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=928136 CPUtime=462.31 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 230102 0 0 0 46157 74 0 0 25 0 1 0 810833300 950411264 229583 33554432000 134512640 137138936 4293574192 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 232034 229583 192 642 0 231390 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 928136

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 26920
/proc/meminfo: memFree=23107208/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=1002008 CPUtime=522.3 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 248575 0 0 0 52151 79 0 0 25 0 1 0 810833300 1026056192 248056 33554432000 134512640 137138936 4293574192 18446744073709551615 136504143 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 250502 248056 192 642 0 249858 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1002008

[startup+582.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/456 26921
/proc/meminfo: memFree=23036508/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=1038960 CPUtime=582.31 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 257974 0 0 0 58148 83 0 0 25 0 1 0 810833300 1063895040 257286 33554432000 134512640 137138936 4293574192 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 259740 257286 192 642 0 259096 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1038960

[startup+642.3 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 26928
/proc/meminfo: memFree=23036512/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=1038960 CPUtime=822.32 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 257974 0 0 0 82138 94 0 0 25 0 1 0 810833300 1063895040 257286 33554432000 134512640 137138936 4293574192 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 259740 257286 192 642 0 259096 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 1038960

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 26929
/proc/meminfo: memFree=23013056/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=1038960 CPUtime=882.32 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 257974 0 0 0 88135 97 0 0 25 0 1 0 810833300 1063895040 257286 33554432000 134512640 137138936 4293574192 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 259740 257286 192 642 0 259096 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 1038960

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 26931
/proc/meminfo: memFree=22956228/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=1038960 CPUtime=942.32 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 257974 0 0 0 94132 100 0 0 25 0 1 0 810833300 1063895040 257286 33554432000 134512640 137138936 4293574192 18446744073709551615 134600416 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 259740 257286 192 642 0 259096 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 1038960

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 26932
/proc/meminfo: memFree=22956196/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=1038960 CPUtime=1002.32 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 257974 0 0 0 100130 102 0 0 25 0 1 0 810833300 1063895040 257286 33554432000 134512640 137138936 4293574192 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 259740 257286 192 642 0 259096 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1038960

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 26934
/proc/meminfo: memFree=22956292/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=1038960 CPUtime=1062.32 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 257974 0 0 0 106128 104 0 0 25 0 1 0 810833300 1063895040 257286 33554432000 134512640 137138936 4293574192 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 259740 257286 192 642 0 259096 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 1038960

[startup+1122.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/456 26945
/proc/meminfo: memFree=22955552/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=1038960 CPUtime=1122.33 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 257974 0 0 0 112126 107 0 0 25 0 1 0 810833300 1063895040 257286 33554432000 134512640 137138936 4293574192 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 259740 257286 192 642 0 259096 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1038960

[startup+1182.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/456 26946
/proc/meminfo: memFree=22955752/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=1038960 CPUtime=1182.33 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 257974 0 0 0 118123 110 0 0 25 0 1 0 810833300 1063895040 257286 33554432000 134512640 137138936 4293574192 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 259740 257286 192 642 0 259096 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1038960

[startup+1242.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/456 26948
/proc/meminfo: memFree=22955476/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=1038960 CPUtime=1242.33 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 257974 0 0 0 124121 112 0 0 25 0 1 0 810833300 1063895040 257286 33554432000 134512640 137138936 4293574192 18446744073709551615 134606670 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 259740 257286 192 642 0 259096 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 1038960

[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/456 26949
/proc/meminfo: memFree=22954200/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=1038960 CPUtime=1302.35 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 257974 0 0 0 130122 113 0 0 25 0 1 0 810833300 1063895040 257286 33554432000 134512640 137138936 4293574192 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 259740 257286 192 642 0 259096 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 1038960

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/456 26951
/proc/meminfo: memFree=22894296/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=1038960 CPUtime=1362.34 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 257974 0 0 0 136120 114 0 0 25 0 1 0 810833300 1063895040 257286 33554432000 134512640 137138936 4293574192 18446744073709551615 136504280 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 259740 257286 192 642 0 259096 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1038960

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/456 26953
/proc/meminfo: memFree=22843172/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=1038960 CPUtime=1422.35 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 257974 0 0 0 142121 114 0 0 25 0 1 0 810833300 1063895040 257286 33554432000 134512640 137138936 4293574192 18446744073709551615 136504093 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 259740 257286 192 642 0 259096 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1038960

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 26954
/proc/meminfo: memFree=22837568/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=1038960 CPUtime=1482.33 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 257974 0 0 0 148119 114 0 0 25 0 1 0 810833300 1063895040 257286 33554432000 134512640 137138936 4293574192 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 259740 257286 192 642 0 259096 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1038960

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/456 26956
/proc/meminfo: memFree=22837412/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=1038960 CPUtime=1542.34 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 257974 0 0 0 154119 115 0 0 25 0 1 0 810833300 1063895040 257286 33554432000 134512640 137138936 4293574192 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 259740 257286 192 642 0 259096 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1038960

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/456 26957
/proc/meminfo: memFree=22837636/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=1038960 CPUtime=1602.34 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 257974 0 0 0 160119 115 0 0 25 0 1 0 810833300 1063895040 257286 33554432000 134512640 137138936 4293574192 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 259740 257286 192 642 0 259096 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1038960

[startup+1662.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/456 26959
/proc/meminfo: memFree=22838600/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=1038960 CPUtime=1662.34 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 257974 0 0 0 166118 116 0 0 25 0 1 0 810833300 1063895040 257286 33554432000 134512640 137138936 4293574192 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 259740 257286 192 642 0 259096 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1038960

[startup+1722.3 s]
/proc/loadavg: 2.19 2.06 2.02 3/456 26961
/proc/meminfo: memFree=22838452/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=1038960 CPUtime=1722.34 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 257974 0 0 0 172118 116 0 0 25 0 1 0 810833300 1063895040 257286 33554432000 134512640 137138936 4293574192 18446744073709551615 134575629 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 259740 257286 192 642 0 259096 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1038960

[startup+1782.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/456 26962
/proc/meminfo: memFree=22837316/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=1038960 CPUtime=1782.34 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 257974 0 0 0 178117 117 0 0 25 0 1 0 810833300 1063895040 257286 33554432000 134512640 137138936 4293574192 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 259740 257286 192 642 0 259096 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1038960



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.09 2.06 2.01 3/456 26963
/proc/meminfo: memFree=22838056/32951124 swapFree=60476376/67111528
[pid=26851] ppid=26849 vsize=1038960 CPUtime=1800.06 cores=0,2,4,6
/proc/26851/stat : 26851 (bsolo) R 26849 26851 23562 0 -1 4202496 257974 0 0 0 179889 117 0 0 25 0 1 0 810833300 1063895040 257286 33554432000 134512640 137138936 4293574192 18446744073709551615 134540740 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/26851/statm: 259740 257286 192 642 0 259096 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1038960

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

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

Child status: 15
Real time (s): 1800.06
CPU time (s): 1800.12
CPU user time (s): 1798.9
CPU system time (s): 1.22381
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1039636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.9
system time used= 1.22381
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257975
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= 6
involuntary context switches= 3959

runsolver used 8.33473 second user time and 17.8803 second system time

The end

Launcher Data 

Begin job on node147 at 2011-06-04 12:42:54
IDJOB=3462852
IDBENCH=48268
IDSOLVER=1955
FILE ID=node147/3462852-1307184174
RUNJOBID= node147-1307174222-25611
PBS_JOBID= 13508849
Free space on /tmp= 73692 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_5.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462852-1307184174/watcher-3462852-1307184174 -o /tmp/evaluation-result-3462852-1307184174/solver-3462852-1307184174 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462852-1307184174.opb

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

MD5SUM BENCH= 9b75ee50c2c62e6be495e8bd0a94fa2c
RANDOM SEED=1251130998

node147.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24123616 kB
Buffers:        323408 kB
Cached:        1493284 kB
SwapCached:      11188 kB
Active:        7206624 kB
Inactive:      1359732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24123616 kB
SwapTotal:    67111528 kB
SwapFree:     60476376 kB
Dirty:            3904 kB
Writeback:           0 kB
AnonPages:     6747032 kB
Mapped:          23420 kB
Slab:           133476 kB
PageTables:      59524 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 121214748 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73688 MiB
End job on node147 at 2011-06-04 13:12:56