Trace number 3462856

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-56 1798.07 1798.03

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_25_4.opb
MD5SUMde244e44f140b74baa9d32bfcc24f10d
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-82
Best CPU time to get the best result obtained on this benchmark1797.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -84
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)31508
Sum of products size (including duplicates)63016
Number of different products15754
Sum of products size31508

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-3462856-1307184313.opb
0.00/0.00	c File size is 433321 bytes.
0.00/0.07	c Highest Coefficient sum: 1000
0.00/0.07	c Parsing was ok!!
0.00/0.07	c Total parsing time: 0.075 s
0.09/0.09	c Var: 32508 Constr: 64518 32008/1002/31508 Lit: 223556 Watch. Lit: 191050
0.09/0.09	c Obj. Vars: 500 (1.53808 % of total variables)
60.41/60.43	c Pre-processing Time: 60.43 s
60.41/60.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.41/60.43	c        0  32508    64518   223556    3   191050  531301      0      0 60.43
60.41/60.43	c Switching off lower bounding mode.
60.41/60.46	o -1
60.51/60.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.51/60.53	c        0  32508    64519   224056    3   191053  531634      1      0 60.47
60.51/60.53	o -2
60.51/60.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.51/60.59	c        1  32508    64522   225556    3   191062  531801      4      0 60.54
60.51/60.59	o -3
60.59/60.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.59/60.66	c        2  32508    64525   227120    3   191073  531968      7      0 60.61
60.59/60.66	o -4
60.69/60.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.69/60.73	c        4  32508    64529   228655    3   191088  532134     11      0 60.67
60.69/60.73	o -5
60.69/60.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.69/60.80	c       13  32508    64540   234158    3   191119  532301     22      0 60.74
60.69/60.80	o -6
60.79/60.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.79/60.86	c       20  32508    64549   238662    3   191148  532301     31      0 60.81
60.79/60.86	o -7
60.90/60.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.90/60.92	c       28  32508    64559   243698    3   191181  532301     41      0 60.87
60.90/60.92	o -8
60.90/60.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.90/60.99	c       37  32508    64570   249221    3   191218  532301     52      0 60.94
60.90/60.99	o -9
60.99/61.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.99/61.05	c       47  32508    64582   255229    3   191259  532301     64      0 61.00
60.99/61.05	o -10
61.09/61.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.09/61.12	c       56  32508    64593   260769    4   191300  532301     75      0 61.07
61.09/61.12	o -11
61.09/61.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.09/61.19	c       69  32508    64608   266818    4   191351  532301     90      1 61.13
61.09/61.19	o -12
61.19/61.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.19/61.26	c       86  32508    64627   274357    4   191412  532301    109      1 61.20
61.19/61.26	o -13
61.29/61.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.29/61.32	c      103  32508    64646   277542    4   191475  532301    128      1 61.27
61.29/61.32	o -14
61.29/61.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.29/61.39	c      113  32508    64658   279316    4   191526  532301    140      1 61.33
61.29/61.39	o -15
61.39/61.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.39/61.45	c      133  32508    64680   281085    4   191599  532301    162      2 61.40
61.39/61.45	o -16
61.61/61.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.61/61.62	c      139  32508    64688   282699    4   191646  532301    170      2 61.46
61.61/61.62	c      240  32508    64789   331197    5   191848  585532    271      3 61.58
61.61/61.62	o -17
61.61/61.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.61/61.67	c      242  32508    64793   332905    5   191889  532301    275      3 61.63
61.61/61.67	o -18
61.69/61.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.69/61.72	c      243  32508    64796   334611    5   191930  532301    278      3 61.68
61.69/61.72	o -19
61.69/61.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.69/61.77	c      245  32508    64800   336332    5   191975  532301    282      3 61.73
61.69/61.77	o -20
61.79/61.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.79/61.83	c      248  32508    64805   338071    5   192024  532301    287      4 61.79
61.79/61.83	o -21
61.79/61.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.79/61.89	c      251  32508    64810   339821    5   192075  532301    292      4 61.84
61.79/61.89	o -22
61.89/61.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.89/61.94	c      259  32508    64820   341599    5   192138  532301    302      4 61.90
61.89/61.94	o -23
61.99/62.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.99/62.00	c      262  32508    64825   343396    5   192193  532301    307      4 61.95
61.99/62.00	o -24
61.99/62.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
61.99/62.06	c      275  32508    64840   345224    5   192270  532301    322      4 62.01
61.99/62.06	o -25
62.09/62.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.09/62.11	c      284  32508    64851   347070    5   192341  532301    333      4 62.07
62.09/62.11	o -26
62.09/62.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.09/62.16	c      292  32508    64861   348923    5   192412  532301    343      4 62.12
62.09/62.16	o -27
62.29/62.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.29/62.34	c      303  32508    64874   350799    5   192491  532301    356      4 62.17
62.29/62.34	c      403  32508    64975   390534    6   192720  585532    457      6 62.32
62.29/62.34	o -28
62.39/62.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.39/62.42	c      421  32508    64994   398608    6   192786  532301    476      6 62.35
62.39/62.42	o -29
62.39/62.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.39/62.46	c      451  32508    65026   406601    6   192907  532301    508      7 62.43
62.39/62.46	o -30
62.49/62.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.49/62.56	c      453  32508    65030   408420    6   192974  532301    512      7 62.47
62.49/62.56	o -31
62.61/62.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.61/62.62	c      483  32508    65062   410370    6   193099  532301    544      7 62.58
62.61/62.62	o -32
62.71/62.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.71/62.77	c      502  32508    65083   412293    6   193204  532301    565      8 62.63
62.71/62.77	o -33
62.79/62.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.79/62.86	c      591  32508    65174   447979    6   193451  532301    656      9 62.78
62.79/62.86	o -34
62.89/62.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.89/62.90	c      650  32508    65235   472339    7   193640  532301    717     10 62.87
62.89/62.90	o -35
62.89/62.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.89/62.94	c      651  32508    65238   474229    7   193715  532301    720     10 62.91
62.89/62.94	o -36
62.89/62.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.89/62.99	c      654  32508    65243   476135    7   193796  532301    725     10 62.95
62.89/62.99	o -37
62.99/63.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
62.99/63.07	c      658  32508    65249   478056    7   193881  532301    731     10 63.00
62.99/63.07	o -38
63.09/63.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.09/63.13	c      678  32508    65271   480029    7   194000  532301    753     10 63.08
63.09/63.13	o -39
63.19/63.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.19/63.23	c      692  32508    65287   481982    7   194109  532301    769     10 63.14
63.19/63.23	o -40
63.59/63.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.59/63.63	c      727  32508    65324   484004    7   194262  532301    806     11 63.24
63.59/63.63	c      827  32508    65424   525976    8   194462  585532    906     13 63.46
63.59/63.63	o -41
63.59/63.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.59/63.67	c      916  32508    65515   547396    8   194725  532301    997     14 63.64
63.59/63.67	o -42
63.59/63.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.59/63.71	c      920  32508    65521   549339    8   194820  532301   1003     14 63.68
63.59/63.71	o -43
63.71/63.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.71/63.76	c      923  32508    65526   551285    8   194915  532301   1008     14 63.73
63.71/63.76	o -44
63.81/63.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
63.81/63.84	c      932  32508    65537   553251    8   195024  532301   1019     14 63.78
63.81/63.84	o -45
64.09/64.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
64.09/64.16	c      954  32508    65561   555256    8   195161  532301   1043     14 63.85
64.09/64.16	c     1055  32508    65662   600393    9   195363  585532   1144     16 64.00
64.09/64.16	o -46
211.80/211.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
211.80/211.85	c     1131  32508    65740   613434    9   195610  532301   1222     17 64.17
211.80/211.85	c     1231  32508    65841   615625    9   195858  585532   1323     19 64.34
211.80/211.85	c     1481  32508    66092   740626   11   196360  644086   1574     22 64.55
211.80/211.85	c     1956  32508    66569   977134   14   197314  708495   2051     30 64.93
211.80/211.85	c     2769  32508    67383  1381150   20   198942  779345   2865     42 65.58
211.80/211.85	c     4089  32508    68704  2037173   29   201584  857280   4186     61 66.69
211.80/211.85	c     6170  32508    70786  3073201   43   205748  943009   6268     90 68.52
211.80/211.85	c     9393  32508    74013  4675262   63   212202  500000   9495    131 71.51
211.80/211.85	c    14329  32508    78956  7129353   90   222088  550001  14438    187 76.40
211.80/211.85	c    21835  32508    86477 10861488  125   237130  605002  21959    240 90.89
211.80/211.85	c    33196  32508    97846 16504178  168   259868  665503  33328    286 115.93
211.80/211.85	c    50340  32508   115004 25005929  217   294184  732054  50486    323 155.85
211.80/211.85	o -47
212.21/212.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
212.21/212.27	c    63837  32508   128509 31550474  245   321241  532301  63991    301 211.87
212.21/212.27	c    63937  32508   128610 31576006  245   321490  585532  64092    301 212.09
212.21/212.27	o -48
212.40/212.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
212.40/212.47	c    64003  32508   128677 31578954  245   321672  532301  64159    301 212.29
212.40/212.47	o -49
254.40/254.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
254.40/254.45	c    64069  32508   128745 31581045  245   321905  532301  64227    301 212.49
254.40/254.45	c    64169  32508   128845 31585306  245   322105  585532  64327    299 214.14
254.40/254.45	c    64419  32508   129095 31608343  244   322605  644086  64577    296 217.01
254.40/254.45	c    64895  32508   129576 31800125  245   323567  708495  65058    294 220.21
254.40/254.45	c    65708  32508   130391 32201101  246   325197  779345  65873    292 224.26
254.40/254.45	c    67029  32508   131714 32859149  249   327843  857280  67196    290 230.96
254.40/254.45	c    69110  32508   133796 33897463  253   332007  943009  69278    287 240.41
254.40/254.45	c    72333  32508   137019 35490909  259   338453  500000  72501    284 253.85
254.40/254.45	o -50
254.50/254.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
254.50/254.51	c    72497  32508   137185 35570739  259   338884  532301  72667    284 254.47
254.50/254.51	o -51
254.50/254.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
254.50/254.58	c    72503  32508   137193 35573981  259   339001  532301  72675    284 254.53
254.50/254.58	o -52
254.60/254.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
254.60/254.69	c    72509  32508   137201 35576335  259   339120  532301  72683    284 254.60
254.60/254.69	o -53
254.69/254.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
254.69/254.75	c    72524  32508   137218 35578285  259   339259  532301  72700    284 254.71
254.69/254.75	o -54
254.79/254.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
254.79/254.88	c    72527  32508   137223 35580205  259   339376  532301  72705    284 254.77
254.79/254.88	o -55
254.99/255.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
254.99/255.03	c    72546  32508   137244 35582184  259   339527  532301  72726    284 254.90
254.99/255.03	o -56
1797.93/1797.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1797.97	c    72587  32508   137287 35584241  259   339724  532301  72769    284 255.05
1797.93/1797.97	c    72687  32508   137387 35619017  259   339924  585532  72869    284 255.34
1797.93/1797.97	c    72937  32508   137638 35634013  258   340482  644086  73120    285 255.84
1797.93/1797.97	c    73412  32508   138134 35803435  259   341474  708495  73616    284 257.69
1797.93/1797.97	c    74225  32508   138952 36194032  260   343110  779345  74434    285 259.60
1797.93/1797.97	c    75545  32508   140280 36827690  262   345766  857280  75762    287 262.89
1797.93/1797.97	c    77626  32508   142369 37712886  264   349944  943009  77851    287 270.37
1797.93/1797.97	c    80849  32508   145597 39316429  270   356400  500000  81079    294 274.87
1797.93/1797.97	c    85785  32508   150538 41774982  277   366282  550001  86020    304 281.77
1797.93/1797.97	c    93291  32508   158047 45505101  287   381300  605002  93529    317 294.26
1797.93/1797.97	c   104652  32508   169416 51137295  301   404038  665503 104898    324 322.88
1797.93/1797.97	c   121796  32508   186663 58735583  314   439204  732054 122145    307 395.83
1797.93/1797.97	c   147615  32508   213082 72101878  338   494849  805260 148564    284 519.40
1797.93/1797.97	c Reducing formula size due to memory constraints
1797.93/1797.97	c Memory Limit: 1000.00 MB  Used: 1003.46 MB
1797.93/1797.97	c   186447  32508   106852 21832760  204   288519   96509  42334    273 680.77
1797.93/1797.97	c   244799  32508    80432  7929496   98   227374  106160  15914    261 934.48
1797.93/1797.97	c   332431  32508   169769 55494986  326   415087  116777 105251    261 1273.51
1797.93/1797.97	c Resources Exceeded
1797.93/1797.97	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 -x802 -x584 -x775 -x827 -x864 -x538 -x526 -x529 -x886 -x545 -x955 -x715 -x965 -x904 -x915 -x903 -x942 -x902 x650 x718 -x605 x969 -x780 -x574 -x719 -x504 -x516 -x521 -x603 -x642 -x656 -x756 -x783 -x811 -x855 -x897 -x899 -x956 -x973 x975 -x501 -x823 -x883 -x721 -x821 -x631 -x874 -x905 -x757 -x700 -x620 x795 -x725 -x984 -x962 x880 -x777 -x676 -x845 -x532 -x943 -x599 -x844 -x748 -x690 -x508 -x536 -x553 -x583 -x591 -x623 -x638 -x663 -x664 -x674 -x710 -x716 -x760 -x763 -x782 -x784 x788 -x798 -x842 -x868 -x958 -x502 -x948 -x568 x822 -x873 -x787 -x996 -x755 -x507 -x817 -x738 -x732 -x573 -x994 -x932 -x692 x640 x527 -x970 -x907 -x997 -x974 -x549 -x567 -x613 -x660 -x670 -x703 -x834 -x860 x979 x503 -x939 -x701 x947 -x634 x800 -x988 -x933 -x661 -x806 -x506 -x657 x912 -x825 -x595 -x749 -x847 -x878 -x940 -x986 -x967 -x707 x535 -x541 -x601 -x672 -x679 -x724 -x729 -x839 x850 -x950 -x964 -x742 -x879 -x513 -x627 -x678 -x853 x865 -x717 -x980 -x765 -x697 -x981 -x712 -x945 -x589 -x885 -x523 -x570 -x653 -x662 -x684 -x685 -x693 -x862 -x929 -x972 -x505 -x826 -x963 x884 x927 -x556 -x771 -x983 -x635 -x910 x987 -x557 -x852 -x537 -x810 x869 x921 x548 -x645 -x655 -x686 -x793 -x849 -x578 -x639 -x560 -x577 -x682 -x519 -x770 -x803 -x590 -x587 -x528 -x546 -x554 -x694 -x702 x741 -x762 -x773 -x843 -x916 x944 -x999 -x896 -x730 -x547 -x866 -x819 -x614 -x848 -x758 -x530 -x563 -x794 -x711 -x922 -x517 -x586 -x594 -x669 -x680 -x689 -x723 -x804 -x960 -x977 -x813 -x543 -x985 -x781 -x539 -x815 -x768 -x769 -x559 -x596 -x566 -x641 -x510 -x511 -x571 -x622 -x643 -x978 -x982 -x991 -x509 -x555 x976 -x696 -x888 -x871 -x890 -x959 -x579 -x681 -x602 -x739 -x966 -x540 -x561 -x564 -x720 -x767 -x790 -x859 -x875 x889 -x941 -x841 -x668 -x928 -x585 -x531 -x892 -x949 x989 -x779 -x699 -x525 -x604 -x632 -x736 -x774 -x824 x858 -x924 -x934 -x887 x542 -x606 -x836 -x593 x600 -x636 -x671 -x713 -x766 -x832 -x894 -x898 -x1000 -x512 -x953 -x518 x833 -x968 -x704 -x809 -x816 -x957 -x569 x612 -x629 -x665 -x687 x797 -x851 x840 -x792 -x747 -x786 -x637 -x534 -x581 -x900 -x630 -x572 -x611 -x733 -x785 -x807 -x998 -x514 -x592 -x935 -x750 -x544 -x918 -x675 -x919 -x515 -x856 -x610 x837 -x877 -x673 -x551 -x616 -x552 -x808 x990 -x550 -x575 -x863 -x754 -x820 -x652 -x876 -x909 -x727 x751 -x872 -x625 -x805 -x621 -x618 -x580 -x759 -x812 -x624 -x911 -x954 -x796 -x644 -x649 -x651 -x683 -x737 x846 -x870 -x908 -x952 -x936 -x882 -x734 -x522 -x533 -x647 -x677 -x607 -x633 -x646 -x789 -x520 x582 x891 -x709 -x698 -x728 -x799 -x831 -x814 x838 -x628 -x666 -x931 x658 -x598 x829 -x565 -x722 -x626 -x740 -x951 x735 -x854 -x524 -x895 -x925 -x648 -x667 -x835 -x861 -x920 -x576 -x752 -x731 -x654 -x562 -x743 -x745 -x705 x995 -x881 -x828 -x609 -x597 -x558 -x761 -x926 x857 -x938 -x830 -x937 -x588 x992 -x961 -x619 -x708 -x726 x764 -x615 -x776 -x753 -x688 x659 -x744 -x913 -x893 -x901 -x993 -x746 -x691 -x791 -x906 -x706 -x695 -x772 x946 x917 x923 -x608 -x818 -x778 -x914 -x801 -x617 -x714 x971 -x930 x867 
1797.93/1797.97	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1797.97	c   94   456803 151971  1522115   165940 56247660 101422    254 1798.02
1797.93/1797.97	c Objective: -56
1797.93/1797.97	s SATISFIABLE
1797.93/1797.97	c Total time: 1798.02 s

Verifier Data 

OK	-56

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-3462856-1307184313/watcher-3462856-1307184313 -o /tmp/evaluation-result-3462856-1307184313/solver-3462856-1307184313 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462856-1307184313.opb 

running on 4 cores: 1,3,5,7

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.20 2.06 2.01 2/477 30530
/proc/meminfo: memFree=21372052/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=13416 CPUtime=0.01 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 839 0 0 0 1 0 0 0 25 0 1 0 810846617 13737984 793 33554432000 134512640 137138936 4287831536 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 3354 794 194 642 0 2604 0

[startup+0.094521 s]
/proc/loadavg: 2.20 2.06 2.01 2/477 30530
/proc/meminfo: memFree=21372052/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=26924 CPUtime=0.09 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 4399 0 0 0 9 0 0 0 25 0 1 0 810846617 27570176 4207 33554432000 134512640 137138936 4287831536 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 6731 4210 183 642 0 6087 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26924

[startup+0.10052 s]
/proc/loadavg: 2.20 2.06 2.01 2/477 30530
/proc/meminfo: memFree=21372052/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=28160 CPUtime=0.09 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 4663 0 0 0 9 0 0 0 25 0 1 0 810846617 28835840 4471 33554432000 134512640 137138936 4287831536 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 7040 4471 185 642 0 6396 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28160

[startup+0.300486 s]
/proc/loadavg: 2.20 2.06 2.01 2/477 30530
/proc/meminfo: memFree=21372052/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=28292 CPUtime=0.29 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 4703 0 0 0 29 0 0 0 25 0 1 0 810846617 28971008 4511 33554432000 134512640 137138936 4287831536 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 7073 4511 185 642 0 6429 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28292

[startup+0.700416 s]
/proc/loadavg: 2.20 2.06 2.01 2/477 30530
/proc/meminfo: memFree=21372052/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=28292 CPUtime=0.69 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 4705 0 0 0 69 0 0 0 25 0 1 0 810846617 28971008 4513 33554432000 134512640 137138936 4287831536 18446744073709551615 134566282 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 7073 4513 185 642 0 6429 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28292

[startup+1.50027 s]
/proc/loadavg: 2.20 2.06 2.01 3/478 30531
/proc/meminfo: memFree=21353692/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=28292 CPUtime=1.49 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 4706 0 0 0 149 0 0 0 25 0 1 0 810846617 28971008 4514 33554432000 134512640 137138936 4287831536 18446744073709551615 134566242 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 7073 4514 185 642 0 6429 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28292

[startup+3.10099 s]
/proc/loadavg: 2.18 2.06 2.01 3/478 30531
/proc/meminfo: memFree=21352700/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=28292 CPUtime=3.09 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 4707 0 0 0 309 0 0 0 25 0 1 0 810846617 28971008 4515 33554432000 134512640 137138936 4287831536 18446744073709551615 134543230 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 7073 4515 185 642 0 6429 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28292

[startup+6.30043 s]
/proc/loadavg: 2.18 2.06 2.01 3/478 30531
/proc/meminfo: memFree=21352500/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=28292 CPUtime=6.3 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 4707 0 0 0 629 1 0 0 25 0 1 0 810846617 28971008 4515 33554432000 134512640 137138936 4287831536 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 7073 4515 185 642 0 6429 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 28292

[startup+12.7003 s]
/proc/loadavg: 2.15 2.06 2.01 3/478 30531
/proc/meminfo: memFree=21351732/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=28292 CPUtime=12.69 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 4707 0 0 0 1268 1 0 0 25 0 1 0 810846617 28971008 4515 33554432000 134512640 137138936 4287831536 18446744073709551615 134566244 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 7073 4515 185 642 0 6429 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28292

[startup+25.501 s]
/proc/loadavg: 2.13 2.06 2.01 3/478 30532
/proc/meminfo: memFree=21352236/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=28292 CPUtime=25.49 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 4708 0 0 0 2547 2 0 0 25 0 1 0 810846617 28971008 4516 33554432000 134512640 137138936 4287831536 18446744073709551615 136504452 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 7073 4516 185 642 0 6429 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28292

[startup+51.1005 s]
/proc/loadavg: 2.08 2.05 2.01 3/478 30532
/proc/meminfo: memFree=21352212/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=28292 CPUtime=51.09 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 4708 0 0 0 5106 3 0 0 25 0 1 0 810846617 28971008 4516 33554432000 134512640 137138936 4287831536 18446744073709551615 134543012 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 7073 4516 185 642 0 6429 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 28292

[startup+102.318 s]
/proc/loadavg: 2.07 2.06 2.01 3/478 30534
/proc/meminfo: memFree=21179656/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=201064 CPUtime=102.31 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 49108 0 0 0 10201 30 0 0 25 0 1 0 810846617 205889536 47779 33554432000 134512640 137138936 4287831536 18446744073709551615 136521046 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 50266 47779 192 642 0 49622 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 201064

[startup+162.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/478 30562
/proc/meminfo: memFree=21030680/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=367164 CPUtime=162.3 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 90626 0 0 0 16184 46 0 0 25 0 1 0 810846617 375975936 89297 33554432000 134512640 137138936 4287831536 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 91791 89297 192 642 0 91147 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 367164

[startup+222.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/478 30564
/proc/meminfo: memFree=20918852/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=440244 CPUtime=222.3 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 108912 0 0 0 22166 64 0 0 25 0 1 0 810846617 450809856 107583 33554432000 134512640 137138936 4287831536 18446744073709551615 134575213 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 110061 107583 192 642 0 109417 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 440244

[startup+282.301 s]
/proc/loadavg: 2.11 2.07 2.01 3/478 30566
/proc/meminfo: memFree=20777920/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=569072 CPUtime=282.3 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 141118 0 0 0 28147 83 0 0 25 0 1 0 810846617 582729728 139789 33554432000 134512640 137138936 4287831536 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 142268 139789 192 642 0 141624 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 569072

[startup+342.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/478 30621
/proc/meminfo: memFree=20655768/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=727460 CPUtime=342.3 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 180716 0 0 0 34132 98 0 0 25 0 1 0 810846617 744919040 179387 33554432000 134512640 137138936 4287831536 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 181865 179387 192 642 0 181221 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 727460

[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/478 30623
/proc/meminfo: memFree=20562648/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=794076 CPUtime=402.3 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 197371 0 0 0 40124 106 0 0 25 0 1 0 810846617 813133824 196042 33554432000 134512640 137138936 4287831536 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 198519 196042 192 642 0 197875 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 794076

[startup+462.301 s]
/proc/loadavg: 2.12 2.06 2.01 3/478 30624
/proc/meminfo: memFree=20467004/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=875352 CPUtime=462.3 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 217673 0 0 0 46116 114 0 0 25 0 1 0 810846617 896360448 216344 33554432000 134512640 137138936 4287831536 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 218838 216344 192 642 0 218194 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 875352

[startup+522.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/478 30626
/proc/meminfo: memFree=20369260/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=963092 CPUtime=522.3 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 239608 0 0 0 52109 121 0 0 25 0 1 0 810846617 986206208 238279 33554432000 134512640 137138936 4287831536 18446744073709551615 136504025 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 240773 238279 192 642 0 240129 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 963092

[startup+582.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/478 30628
/proc/meminfo: memFree=20278560/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=1043316 CPUtime=582.31 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 259822 0 0 0 58100 131 0 0 25 0 1 0 810846617 1068355584 258335 33554432000 134512640 137138936 4287831536 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 260829 258335 192 642 0 260185 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1043316

[startup+642.301 s]

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

/proc/meminfo: memFree=20287824/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=1043316 CPUtime=1122.31 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 259822 0 0 0 112064 167 0 0 25 0 1 0 810846617 1068355584 258335 33554432000 134512640 137138936 4287831536 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 260829 258335 192 642 0 260185 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 1043316

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 30734
/proc/meminfo: memFree=20287916/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=1043316 CPUtime=1182.32 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 259822 0 0 0 118060 172 0 0 25 0 1 0 810846617 1068355584 258335 33554432000 134512640 137138936 4287831536 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 260829 258335 192 642 0 260185 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1043316

[startup+1242.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/478 30735
/proc/meminfo: memFree=20286624/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=1043316 CPUtime=1242.32 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 259822 0 0 0 124057 175 0 0 25 0 1 0 810846617 1068355584 258335 33554432000 134512640 137138936 4287831536 18446744073709551615 134606610 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 260829 258335 192 642 0 260185 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1043316

[startup+1302.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/478 30737
/proc/meminfo: memFree=20281144/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=1043316 CPUtime=1302.34 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 259822 0 0 0 130055 179 0 0 25 0 1 0 810846617 1068355584 258335 33554432000 134512640 137138936 4287831536 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 260829 258335 192 642 0 260185 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1043316

[startup+1362.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/478 30738
/proc/meminfo: memFree=20281120/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=1043316 CPUtime=1362.32 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 259822 0 0 0 136050 182 0 0 25 0 1 0 810846617 1068355584 258335 33554432000 134512640 137138936 4287831536 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 260829 258335 192 642 0 260185 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 1043316

[startup+1422.32 s]
/proc/loadavg: 2.06 2.04 2.00 3/478 30740
/proc/meminfo: memFree=20280952/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=1043316 CPUtime=1422.35 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 259822 0 0 0 142049 186 0 0 25 0 1 0 810846617 1068355584 258335 33554432000 134512640 137138936 4287831536 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 260829 258335 192 642 0 260185 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1043316

[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/478 30742
/proc/meminfo: memFree=20281176/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=1043316 CPUtime=1482.33 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 259822 0 0 0 148045 188 0 0 25 0 1 0 810846617 1068355584 258335 33554432000 134512640 137138936 4287831536 18446744073709551615 135984570 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 260829 258335 192 642 0 260185 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1043316

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 30743
/proc/meminfo: memFree=20281012/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=1043316 CPUtime=1542.33 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 259822 0 0 0 154043 190 0 0 25 0 1 0 810846617 1068355584 258335 33554432000 134512640 137138936 4287831536 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 260829 258335 192 642 0 260185 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 1043316

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 30745
/proc/meminfo: memFree=20281116/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=1043316 CPUtime=1602.33 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 259822 0 0 0 160038 195 0 0 25 0 1 0 810846617 1068355584 258335 33554432000 134512640 137138936 4287831536 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 260829 258335 192 642 0 260185 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1043316

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 30746
/proc/meminfo: memFree=20273880/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=1043316 CPUtime=1662.33 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 259822 0 0 0 166035 198 0 0 25 0 1 0 810846617 1068355584 258335 33554432000 134512640 137138936 4287831536 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 260829 258335 192 642 0 260185 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1043316

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 30748
/proc/meminfo: memFree=20273976/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=1043316 CPUtime=1722.34 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 259822 0 0 0 172033 201 0 0 25 0 1 0 810846617 1068355584 258335 33554432000 134512640 137138936 4287831536 18446744073709551615 134603188 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 260829 258335 192 642 0 260185 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1043316

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 30750
/proc/meminfo: memFree=20273552/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=1043316 CPUtime=1782.33 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 259822 0 0 0 178031 202 0 0 25 0 1 0 810846617 1068355584 258335 33554432000 134512640 137138936 4287831536 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 260829 258335 192 642 0 260185 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 1043316

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 30750
/proc/meminfo: memFree=20273672/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=1043316 CPUtime=1785.53 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 259822 0 0 0 178351 202 0 0 25 0 1 0 810846617 1068355584 258335 33554432000 134512640 137138936 4287831536 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 260829 258335 192 642 0 260185 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 1043316

[startup+1791.92 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 30750
/proc/meminfo: memFree=20274660/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=1043316 CPUtime=1791.95 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 259822 0 0 0 178992 203 0 0 25 0 1 0 810846617 1068355584 258335 33554432000 134512640 137138936 4287831536 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 260829 258335 192 642 0 260185 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 1043316

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 30750
/proc/meminfo: memFree=20274660/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=1043316 CPUtime=1795.15 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 259822 0 0 0 179312 203 0 0 25 0 1 0 810846617 1068355584 258335 33554432000 134512640 137138936 4287831536 18446744073709551615 136502600 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 260829 258335 192 642 0 260185 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 1043316

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 30750
/proc/meminfo: memFree=20274660/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=1043316 CPUtime=1796.73 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 259822 0 0 0 179470 203 0 0 25 0 1 0 810846617 1068355584 258335 33554432000 134512640 137138936 4287831536 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 260829 258335 192 642 0 260185 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 1043316

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 30750
/proc/meminfo: memFree=20274288/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=1043316 CPUtime=1797.53 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 259822 0 0 0 179550 203 0 0 25 0 1 0 810846617 1068355584 258335 33554432000 134512640 137138936 4287831536 18446744073709551615 136521046 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 260829 258335 192 642 0 260185 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 1043316

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 30750
/proc/meminfo: memFree=20274288/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=1043316 CPUtime=1797.93 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202496 259822 0 0 0 179590 203 0 0 25 0 1 0 810846617 1068355584 258335 33554432000 134512640 137138936 4287831536 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30530/statm: 260829 258335 192 642 0 260185 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 1043316

[startup+1798 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 30750
/proc/meminfo: memFree=20274288/32951124 swapFree=67057928/67111528
[pid=30530] ppid=30528 vsize=0 CPUtime=1798.04 cores=1,3,5,7
/proc/30530/stat : 30530 (bsolo) R 30528 30530 28116 0 -1 4202500 259823 0 0 0 179598 206 0 0 25 0 1 0 810846617 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/30530/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.03
CPU time (s): 1798.07
CPU user time (s): 1795.98
CPU system time (s): 2.08568
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1043948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.98
system time used= 2.08568
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259823
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= 5
involuntary context switches= 2181

runsolver used 8.07677 second user time and 19.718 second system time

The end

Launcher Data 

Begin job on node140 at 2011-06-04 12:45:13
IDJOB=3462856
IDBENCH=48272
IDSOLVER=1955
FILE ID=node140/3462856-1307184313
RUNJOBID= node140-1307175312-29221
PBS_JOBID= 13508839
Free space on /tmp= 73644 MiB

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

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

MD5SUM BENCH= de244e44f140b74baa9d32bfcc24f10d
RANDOM SEED=402302255

node140.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.833
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.66
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.833
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	: 5226.14
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.833
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.75
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.833
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.77
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.833
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.75
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.833
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.74
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.833
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.75
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.833
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:      21372332 kB
Buffers:        314160 kB
Cached:        3987280 kB
SwapCached:       6932 kB
Active:        7440464 kB
Inactive:      3802188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21372332 kB
SwapTotal:    67111528 kB
SwapFree:     67057928 kB
Dirty:            4284 kB
Writeback:           0 kB
AnonPages:     6939184 kB
Mapped:          38776 kB
Slab:           214928 kB
PageTables:      52048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 141434944 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= 73640 MiB
End job on node140 at 2011-06-04 13:15:11