Trace number 3737542

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
PB09: bsolo 3.1Signal 1156.77 1289.88

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_1.opb
MD5SUM02054528a722e9af7937139e87d0b5ac
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-134
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -169
Optimality of the best value was proved NO
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)63280
Sum of products size (including duplicates)126560
Number of different products31640
Sum of products size63280

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3737542-1338735349.opb
0.00/0.00	c File size is 2907531 bytes.
0.19/0.23	c Highest Coefficient sum: 2000
0.19/0.23	c Parsing was ok!!
0.19/0.23	c Total parsing time: 0.236 s
0.19/0.26	c Var: 33640 Constr: 66282 32640/2002/31640 Lit: 259120 Watch. Lit: 225482
0.19/0.26	c Obj. Vars: 1000 (2.97265 % of total variables)
29.08/29.12	c Pre-processing Time: 29.118 s
29.08/29.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.08/29.12	c        0  33640    66282   259120    3   225482  866763      0      0 29.12
29.08/29.12	c Switching off lower bounding mode.
29.08/29.17	o -1
29.18/29.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.18/29.26	c        0  33640    66283   260120    3   225485  867430      1      0 29.17
29.18/29.26	o -2
29.28/29.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.28/29.37	c        1  33640    66286   263120    3   225494  867763      4      0 29.27
29.28/29.37	o -3
29.38/29.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.38/29.49	c        2  33640    66289   266122    4   225505  867763      7      0 29.38
29.38/29.49	o -4
29.48/29.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.48/29.59	c        3  33640    66292   269125    4   225518  867763     10      0 29.49
29.48/29.59	o -5
29.59/29.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.59/29.69	c        4  33640    66295   272129    4   225533  867763     13      0 29.59
29.59/29.69	o -6
29.78/29.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.78/29.80	c        5  33640    66298   275134    4   225550  867763     16      0 29.70
29.78/29.80	o -7
29.88/29.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.88/29.90	c        6  33640    66301   278181    4   225569  867763     19      0 29.81
29.88/29.90	o -8
29.99/30.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.99/30.01	c        7  33640    66304   281262    4   225590  867763     22      0 29.91
29.99/30.01	o -9
30.09/30.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.09/30.11	c        8  33640    66307   284367    4   225613  867763     25      0 30.02
30.09/30.11	o -10
30.19/30.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.19/30.21	c       11  33640    66312   287507    4   225642  867763     30      0 30.12
30.19/30.21	o -11
30.28/30.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.28/30.31	c       12  33640    66315   290643    4   225669  867763     33      0 30.22
30.28/30.31	o -12
30.38/30.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.38/30.41	c       13  33640    66318   293812    4   225698  867763     36      0 30.32
30.38/30.41	o -13
30.48/30.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.48/30.51	c       14  33640    66321   297009    4   225729  867763     39      0 30.42
30.48/30.51	o -14
30.58/30.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.58/30.61	c       15  33640    66324   300206    4   225762  867763     42      0 30.51
30.58/30.61	o -15
30.69/30.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.69/30.71	c       18  33640    66329   305377    4   225801  867763     47      0 30.62
30.69/30.71	o -16
30.79/30.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.79/30.81	c       21  33640    66334   310603    4   225842  867763     52      0 30.72
30.79/30.81	o -17
30.89/30.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.89/30.91	c       25  33640    66340   316830    4   225887  867763     58      0 30.82
30.89/30.91	o -18
30.99/31.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.99/31.01	c       30  33640    66347   324038    4   225936  867763     65      0 30.92
30.99/31.01	o -19
31.09/31.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.09/31.10	c       36  33640    66355   332239    5   225989  867763     73      1 31.02
31.09/31.10	o -20
31.19/31.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.19/31.20	c       43  33640    66364   341441    5   226046  867763     82      1 31.11
31.19/31.20	o -21
31.29/31.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.29/31.30	c       51  33640    66374   351618    5   226107  867763     92      1 31.21
31.29/31.30	o -22
31.39/31.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.39/31.40	c       60  33640    66385   362768    5   226172  867763    103      1 31.31
31.39/31.40	o -23
31.49/31.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.49/31.50	c       68  33640    66395   372932    5   226237  867763    113      2 31.41
31.49/31.50	o -24
31.59/31.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.59/31.60	c       76  33640    66405   383118    5   226304  867763    123      2 31.51
31.59/31.60	o -25
31.59/31.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.59/31.69	c       85  33640    66416   394272    5   226375  867763    134      2 31.61
31.59/31.69	o -26
31.69/31.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.69/31.79	c       95  33640    66428   405444    6   226450  867763    146      2 31.70
31.69/31.79	o -27
31.79/31.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.79/31.89	c      106  33640    66441   418584    6   226529  867763    159      3 31.80
31.79/31.89	o -28
31.89/31.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.89/31.99	c      118  33640    66455   430766    6   226612  867763    173      3 31.90
31.89/31.99	o -29
31.99/32.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.99/32.08	c      137  33640    66476   444930    6   226711  867763    194      4 32.00
31.99/32.08	o -30
32.08/32.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.08/32.16	c      148  33640    66489   453275    6   226796  867763    207      4 32.09
32.08/32.16	o -31
32.18/32.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.18/32.25	c      160  33640    66503   456778    6   226885  867763    221      4 32.17
32.18/32.25	o -32
32.28/32.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.28/32.33	c      179  33640    66524   460302    6   226990  867763    242      5 32.26
32.28/32.33	o -33
32.38/32.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.38/32.42	c      183  33640    66530   463755    6   227067  867763    248      5 32.34
32.38/32.42	o -34
32.48/32.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.48/32.50	c      186  33640    66535   467218    7   227144  867763    253      5 32.43
32.48/32.50	o -35
32.48/32.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.48/32.58	c      187  33640    66538   470675    7   227219  867763    256      5 32.51
32.48/32.58	o -36
32.59/32.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.59/32.66	c      193  33640    66546   474148    7   227306  867763    264      5 32.59
32.59/32.66	o -37
32.69/32.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.69/32.75	c      200  33640    66555   481499    7   227397  867763    273      6 32.67
32.69/32.75	o -38
32.79/32.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.79/32.83	c      211  33640    66568   494617    7   227498  867763    286      6 32.75
32.79/32.83	o -39
32.89/32.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.89/32.91	c      223  33640    66582   498170    7   227603  867763    300      6 32.84
32.89/32.91	o -40
32.89/32.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.89/32.99	c      228  33640    66589   501716    7   227696  867763    307      6 32.92
32.89/32.99	o -41
32.99/33.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
32.99/33.07	c      235  33640    66598   505269    7   227795  867763    316      7 33.00
32.99/33.07	o -42
33.09/33.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.09/33.14	c      242  33640    66607   508843    7   227896  867763    325      7 33.07
33.09/33.14	o -43
33.19/33.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.19/33.22	c      248  33640    66615   512409    7   227997  867763    333      7 33.15
33.19/33.22	o -44
33.29/33.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.29/33.32	c      254  33640    66623   515987    7   228100  867763    341      7 33.23
33.29/33.32	o -45
33.39/33.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.39/33.40	c      277  33640    66648   529165    7   228239  867763    366      8 33.32
33.39/33.40	o -46
33.39/33.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.39/33.47	c      293  33640    66666   532821    7   228366  867763    384      8 33.41
33.39/33.47	o -47
33.49/33.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.49/33.54	c      295  33640    66670   536472    8   228467  867763    388      8 33.48
33.49/33.54	o -48
33.59/33.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.59/33.60	c      297  33640    66674   540123    8   228570  867763    392      8 33.54
33.59/33.60	o -49
33.59/33.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.59/33.67	c      298  33640    66677   543771    8   228673  867763    395      8 33.61
33.59/33.67	o -50
33.69/33.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.69/33.77	c      304  33640    66685   547441    8   228788  867763    403      9 33.68
33.69/33.77	o -51
33.88/33.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.88/33.91	c      326  33640    66709   551159    8   228937  867763    427      9 33.78
33.88/33.91	o -52
33.88/33.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.88/33.97	c      372  33640    66757   591888    8   229136  867763    475     10 33.91
33.88/33.97	o -53
33.99/34.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
33.99/34.04	c      379  33640    66766   595604    8   229259  867763    484     11 33.98
33.99/34.04	o -54
34.09/34.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.09/34.12	c      385  33640    66774   599328    8   229382  867763    492     11 34.05
34.09/34.12	o -55
34.18/34.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.18/34.20	c      394  33640    66785   603067    9   229513  867763    503     11 34.12
34.18/34.20	o -56
34.18/34.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.18/34.27	c      407  33640    66800   606828    9   229654  867763    518     11 34.20
34.18/34.27	o -57
34.28/34.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.28/34.34	c      416  33640    66811   610579    9   229789  867763    529     12 34.27
34.28/34.34	o -58
34.38/34.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.38/34.41	c      424  33640    66821   614340    9   229924  867763    539     12 34.35
34.38/34.41	o -59
34.48/34.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.48/34.51	c      433  33640    66832   618110    9   230063  867763    550     12 34.42
34.48/34.51	o -60
34.79/34.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.79/34.84	c      466  33640    66867   621921    9   230252  867763    585     13 34.52
34.79/34.84	c      566  33640    66967   711308   10   230452  954540    685     16 34.70
34.79/34.84	o -61
34.88/34.91	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.88/34.91	c      634  33640    67037   747088   11   230713  867763    755     18 34.84
34.88/34.91	o -62
34.88/34.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.88/34.97	c      644  33640    67049   752706   11   230860  867763    767     18 34.91
34.88/34.97	o -63
34.98/35.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
34.98/35.05	c      647  33640    67054   756433   11   230995  867763    772     18 34.98
34.98/35.05	o -64
35.09/35.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
35.09/35.11	c      661  33640    67070   760199   11   231154  867763    788     18 35.05
35.09/35.11	o -65
35.09/35.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
35.09/35.18	c      665  33640    67076   763948   11   231295  867763    794     18 35.11
35.09/35.18	o -66
35.19/35.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
35.19/35.26	c      674  33640    67087   767725   11   231448  867763    805     19 35.18
35.19/35.26	o -67
35.48/35.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
35.48/35.56	c      691  33640    67106   771542   11   231619  867763    824     19 35.27
35.48/35.56	c      793  33640    67209   832329   12   231892  954540    927     22 35.47
35.48/35.56	o -68
35.58/35.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
35.58/35.63	c      846  33640    67263   865108   12   232068  867763    981     23 35.57
35.58/35.63	o -69
35.58/35.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
35.58/35.68	c      857  33640    67276   868916   12   232231  867763    994     24 35.63
35.58/35.68	o -70
35.68/35.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
35.68/35.74	c      861  33640    67282   872709   12   232382  867763   1000     24 35.69
35.68/35.74	o -71
35.78/35.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
35.78/35.81	c      863  33640    67286   876498   13   232531  867763   1004     24 35.75
35.78/35.81	o -72
35.78/35.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
35.78/35.89	c      874  33640    67299   880317   13   232700  867763   1017     24 35.81
35.78/35.89	o -73
35.88/35.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
35.88/35.97	c      891  33640    67318   884157   13   232883  867763   1036     24 35.90
35.88/35.97	o -74
36.29/36.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.29/36.35	c      911  33640    67340   888018   13   233074  867763   1058     25 35.98
36.29/36.35	c     1011  33640    67440   964086   14   233274  954540   1158     27 36.16
36.29/36.35	o -75
36.38/36.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.38/36.42	c     1107  33640    67538  1018036   15   233619  867763   1256     30 36.36
36.38/36.42	o -76
36.48/36.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.48/36.50	c     1119  33640    67552  1021855   15   233798  867763   1270     30 36.43
36.48/36.50	o -77
36.48/36.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.48/36.56	c     1132  33640    67567  1025681   15   233981  867763   1285     31 36.50
36.48/36.56	o -78
36.58/36.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.58/36.69	c     1138  33640    67575  1029496   15   234152  867763   1293     31 36.56
36.58/36.69	o -79
36.99/37.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
36.99/37.07	c     1189  33640    67628  1033454   15   234415  867763   1346     32 36.70
36.99/37.07	c     1289  33640    67728  1121045   16   234615  954540   1446     34 36.89
36.99/37.07	o -80
37.18/37.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.18/37.24	c     1364  33640    67805  1129655   16   234928  867763   1523     36 37.08
37.18/37.24	o -81
37.29/37.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.29/37.34	c     1441  33640    67884  1174027   17   235247  867763   1602     38 37.25
37.29/37.34	o -82
37.39/37.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.39/37.41	c     1462  33640    67907  1179701   17   235456  867763   1625     39 37.35
37.39/37.41	o -83
37.39/37.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.39/37.48	c     1473  33640    67920  1183523   17   235647  867763   1638     39 37.41
37.39/37.48	o -84
37.48/37.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.48/37.56	c     1482  33640    67931  1187339   17   235836  867763   1649     39 37.48
37.48/37.56	o -85
37.69/37.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.69/37.72	c     1495  33640    67946  1191177   17   236035  867763   1664     39 37.56
37.69/37.72	o -86
37.69/37.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.69/37.79	c     1574  33640    68027  1249081   18   236368  867763   1745     41 37.73
37.69/37.79	o -87
37.79/37.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.79/37.84	c     1587  33640    68042  1257501   18   236571  867763   1760     41 37.80
37.79/37.84	o -88
37.89/37.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.89/37.93	c     1589  33640    68046  1261330   18   236754  867763   1764     41 37.85
37.89/37.93	o -89
37.99/38.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.99/38.02	c     1605  33640    68064  1265204   18   236967  867763   1782     42 37.94
37.99/38.02	o -90
37.99/38.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
37.99/38.09	c     1624  33640    68085  1269095   18   237188  867763   1803     42 38.03
37.99/38.09	o -91
38.28/38.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.28/38.30	c     1635  33640    68098  1272963   18   237395  867763   1816     42 38.10
38.28/38.30	c     1735  33640    68198  1361235   19   237595  954540   1916     45 38.24
38.28/38.30	o -92
38.28/38.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.28/38.35	c     1748  33640    68213  1366018   20   237808  867763   1931     45 38.30
38.28/38.35	o -93
38.39/38.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.39/38.41	c     1751  33640    68218  1369866   20   238003  867763   1936     45 38.36
38.39/38.41	o -94
38.39/38.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.39/38.47	c     1756  33640    68225  1373726   20   238204  867763   1943     45 38.41
38.39/38.47	o -95
38.49/38.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.49/38.58	c     1767  33640    68238  1377607   20   238419  867763   1956     45 38.48
38.49/38.58	o -96
38.59/38.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.59/38.69	c     1797  33640    68270  1381548   20   238674  867763   1988     46 38.59
38.59/38.69	o -97
39.38/39.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
39.38/39.48	c     1835  33640    68310  1385509   20   238947  867763   2028     47 38.70
39.38/39.48	c     1935  33640    68410  1468699   21   239147  954540   2128     49 38.90
39.38/39.48	c     2185  33640    68661  1601083   23   239746  500000   2379     55 39.33
39.38/39.48	o -98
39.60/39.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
39.60/39.60	c     2244  33640    68721  1613960   23   239964  867763   2439     56 39.49
39.60/39.60	o -99
40.59/40.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.59/40.63	c     2285  33640    68764  1617931   23   240247  867763   2482     57 39.61
40.59/40.63	c     2385  33640    68864  1702732   24   240447  954540   2582     59 39.87
40.59/40.63	c     2635  33640    69115  1826731   26   241048  500000   2833     65 40.28
40.59/40.63	o -100
40.69/40.79	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
40.69/40.79	c     2841  33640    69322  1915455   27   241562  867763   3040     69 40.64
40.69/40.79	o -101
41.68/41.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.68/41.71	c     2921  33640    69404  1919560   27   241927  867763   3122     71 40.80
41.68/41.71	c     3021  33640    69504  2005075   28   242127  954540   3222     73 41.04
41.68/41.71	c     3273  33640    69757  2131599   30   242734  500000   3475     78 41.46
41.68/41.71	o -102
96.87/96.97	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
96.87/96.97	c     3406  33640    69891  2132998   30   243104  867763   3609     81 41.72
96.87/96.97	c     3508  33640    69993  2160178   30   243308  954540   3711     81 43.15
96.87/96.97	c     3758  33640    70243  2261493   32   243808  500000   3961     81 46.32
96.87/96.97	c     4233  33640    70718  2630416   37   244758  550001   4436     81 51.78
96.87/96.97	c     5046  33640    71531  3430018   47   246384  605002   5249     82 61.49
96.87/96.97	c     6367  33640    72852  4736066   65   249026  665503   6570     82 77.14
96.87/96.97	c     8448  33640    74934  6754542   90   253292  732054   8652     88 95.91
96.87/96.97	o -103
97.06/97.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
97.06/97.18	c     8719  33640    75206  6976997   92   253939  867763   8924     89 96.96
97.06/97.18	o -104
97.96/98.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
97.96/98.06	c     8787  33640    75276  6981024   92   254286  867763   8994     90 97.17
97.96/98.06	c     8887  33640    75376  7064447   93   254486  954540   9094     91 97.51
97.96/98.06	c     9137  33640    75627  7166290   94   255092  500000   9345     93 97.94
97.96/98.06	o -105
98.07/98.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
98.07/98.12	c     9167  33640    75658  7168273   94   255259  867763   9376     93 98.05
98.07/98.12	o -106
98.07/98.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
98.07/98.18	c     9172  33640    75665  7172161   94   255484  867763   9383     93 98.11
98.07/98.18	o -107
98.17/98.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
98.17/98.29	c     9184  33640    75679  7176072   94   255725  867763   9397     93 98.17
98.17/98.29	o -108
98.87/98.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
98.87/98.93	c     9208  33640    75705  7180021   94   255992  867763   9423     93 98.28
98.87/98.93	c     9308  33640    75805  7255080   95   256192  954540   9523     94 98.49
98.87/98.93	o -109
1154.07/1154.75	terminate called after throwing an instance of 'std::bad_alloc'
1154.07/1154.75	  what():  St9bad_alloc
1154.07/1154.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1154.07/1154.75	c     9533  33640    76033  7329060   96   256865  867763   9751     96 98.92
1154.07/1154.75	c     9633  33640    76133  7412923   97   257065  954540   9851     97 99.20
1154.07/1154.75	c     9883  33640    76384  7518744   98   257676  500000  10102     99 99.71
1154.07/1154.75	c    10359  33640    76861  7933073  103   258630  550001  10579    103 100.52
1154.07/1154.75	c    11172  33640    77674  8109813  104   260256  605002  11392    109 101.69
1154.07/1154.75	c    12492  33640    78994  9427807  119   262896  665503  12712    120 103.30
1154.07/1154.75	c    14573  33640    81077 11505818  141   267062  732054  14795    137 105.86
1154.07/1154.75	c    17796  33640    84302 14720844  174   273512  805260  18020    161 109.89
1154.07/1154.75	c    22732  33640    89239 19644880  220   283386  885787  22957    195 116.26
1154.07/1154.75	c    30238  33640    96747 27132936  280   298402  974366  30465    239 126.40
1154.07/1154.75	c    41599  33640   108110 38462005  355   321128  500000  41828    292 142.28
1154.07/1154.75	c    58743  33640   125256 55552106  443   355420  550001  58974    347 169.27
1154.07/1154.75	c    84562  33640   151084 81297292  538   407076  605002  84802    395 213.69
1154.07/1154.75	c   123394  33640   189926 120033573  632   484760  665503 123644    432 285.18
1154.07/1154.75	c   181746  33640   248298 178201128  717   601504  732054 182016    437 415.39
1154.07/1154.75	c   269379  33640   335945 260430985  775   776798  805260 269663    259 1038.69

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3737542-1338735349/watcher-3737542-1338735349 -o /tmp/evaluation-result-3737542-1338735349/solver-3737542-1338735349 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3737542-1338735349.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.04 2.02 2.00 3/176 1336
/proc/meminfo: memFree=31488088/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=13916 CPUtime=0 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 339663580 14249984 309 33554432000 134512640 137136520 4292836592 4292835120 134517592 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 3479 309 181 641 0 2125 0

[startup+0.01079 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 1336
/proc/meminfo: memFree=31488088/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=14492 CPUtime=0 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 339663580 14839808 495 33554432000 134512640 137136520 4292836592 4292835184 134531237 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 3623 495 199 641 0 2269 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14492

[startup+0.100254 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 1336
/proc/meminfo: memFree=31488088/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=18424 CPUtime=0.09 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 1804 0 0 0 9 0 0 0 20 0 1 0 339663580 18866176 1717 33554432000 134512640 137136520 4292836592 4292835104 136575102 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 4606 1717 458 641 0 3252 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18424

[startup+0.300253 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 1336
/proc/meminfo: memFree=31488088/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=29676 CPUtime=0.29 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 5679 0 0 0 29 0 0 0 20 0 1 0 339663580 30388224 4882 33554432000 134512640 137136520 4292836592 4292431612 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 7419 4882 189 641 0 6775 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29676

[startup+0.700279 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 1336
/proc/meminfo: memFree=31488088/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=29676 CPUtime=0.69 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 5682 0 0 0 69 0 0 0 20 0 1 0 339663580 30388224 4885 33554432000 134512640 137136520 4292836592 4292431612 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 7419 4885 189 641 0 6775 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29676

[startup+1.50027 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 1337
/proc/meminfo: memFree=31468016/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=29676 CPUtime=1.49 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 5682 0 0 0 149 0 0 0 20 0 1 0 339663580 30388224 4885 33554432000 134512640 137136520 4292836592 4292431612 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 7419 4885 189 641 0 6775 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29676

[startup+3.10027 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 1337
/proc/meminfo: memFree=31466760/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=29808 CPUtime=3.09 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 5686 0 0 0 309 0 0 0 20 0 1 0 339663580 30523392 4889 33554432000 134512640 137136520 4292836592 4292431612 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 7452 4889 189 641 0 6808 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 29808

[startup+6.30028 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 1337
/proc/meminfo: memFree=31462908/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=29808 CPUtime=6.29 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 5686 0 0 0 628 1 0 0 20 0 1 0 339663580 30523392 4889 33554432000 134512640 137136520 4292836592 4292431612 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 7452 4889 189 641 0 6808 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29808

[startup+12.7003 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 1337
/proc/meminfo: memFree=31459708/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=29808 CPUtime=12.69 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 5686 0 0 0 1268 1 0 0 20 0 1 0 339663580 30523392 4889 33554432000 134512640 137136520 4292836592 4292431612 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 7452 4889 189 641 0 6808 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 29808

[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1337
/proc/meminfo: memFree=31459924/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=29808 CPUtime=25.48 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 5686 0 0 0 2546 2 0 0 20 0 1 0 339663580 30523392 4889 33554432000 134512640 137136520 4292836592 4292431612 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 7452 4889 189 641 0 6808 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29808

[startup+51.1003 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 1337
/proc/meminfo: memFree=31429636/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=60772 CPUtime=51.08 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 14768 0 0 0 5085 23 0 0 20 0 1 0 339663580 62230528 12664 33554432000 134512640 137136520 4292836592 4292835272 136502192 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 15193 12668 197 641 0 14549 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 60772

[startup+102.306 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 1337
/proc/meminfo: memFree=31343072/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=138140 CPUtime=102.27 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 36636 0 0 0 10193 34 0 0 20 0 1 0 339663580 141455360 31983 33554432000 134512640 137136520 4292836592 4292835224 136502448 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 34535 31983 197 641 0 33891 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 138140

[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 1337
/proc/meminfo: memFree=30795392/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=685060 CPUtime=162.22 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 173420 0 0 0 16158 64 0 0 20 0 1 0 339663580 701501440 168739 33554432000 134512640 137136520 4292836592 4292835708 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 171265 168739 197 641 0 170621 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 685060

[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 1337
/proc/meminfo: memFree=30340712/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=1131360 CPUtime=222.18 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 285007 0 0 0 22127 91 0 0 20 0 1 0 339663580 1158512640 280300 33554432000 134512640 137136520 4292836592 4292835120 134600223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 282840 280300 197 641 0 282196 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 1131360

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 1340
/proc/meminfo: memFree=29928680/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=1545784 CPUtime=282.15 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 388645 0 0 0 28097 118 0 0 20 0 1 0 339663580 1582882816 383913 33554432000 134512640 137136520 4292836592 4292835708 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 386446 383913 197 641 0 385802 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 1545784

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 1367
/proc/meminfo: memFree=29544680/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=1925764 CPUtime=342.11 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 483662 0 0 0 34068 143 0 0 20 0 1 0 339663580 1971982336 478913 33554432000 134512640 137136520 4292836592 4292835708 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 481441 478913 197 641 0 480797 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 1925764

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 1367
/proc/meminfo: memFree=29229384/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=2243768 CPUtime=402.07 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 563181 0 0 0 40042 165 0 0 20 0 1 0 339663580 2297618432 558412 33554432000 134512640 137136520 4292836592 4292835708 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 560942 558412 197 641 0 560298 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 2243768

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1367
/proc/meminfo: memFree=28957976/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=2511744 CPUtime=462.04 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 630178 0 0 0 46017 187 0 0 20 0 1 0 339663580 2572025856 625387 33554432000 134512640 137136520 4292836592 4292835708 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 627936 625387 197 641 0 627292 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 2511744

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1367
/proc/meminfo: memFree=28719180/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=2751752 CPUtime=522.02 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 690198 0 0 0 51995 207 0 0 20 0 1 0 339663580 2817794048 685392 33554432000 134512640 137136520 4292836592 4292835120 134600223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 687938 685392 197 641 0 687294 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 2751752

[startup+582.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 1367
/proc/meminfo: memFree=28507912/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=2959552 CPUtime=581.98 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 742161 0 0 0 57973 225 0 0 20 0 1 0 339663580 3030581248 737340 33554432000 134512640 137136520 4292836592 4292835520 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 739888 737340 197 641 0 739244 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 2959552

[startup+642.3 s]

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

[pid=1336] ppid=1334 vsize=3042656 CPUtime=641.96 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 762979 0 0 0 63963 233 0 0 20 0 1 0 339663580 3115679744 758120 33554432000 134512640 137136520 4292836592 4292835520 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 760664 758120 197 641 0 760020 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 3042656

[startup+702.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 1368
/proc/meminfo: memFree=28353588/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=3113276 CPUtime=701.93 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 780643 0 0 0 69954 239 0 0 20 0 1 0 339663580 3187994624 775767 33554432000 134512640 137136520 4292836592 4292835708 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 778319 775767 197 641 0 777675 0
Current children cumulated CPU time (s) 701.93
Current children cumulated vsize (KiB) 3113276

[startup+762.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 1368
/proc/meminfo: memFree=28286160/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=3174912 CPUtime=761.9 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 796077 0 0 0 75944 246 0 0 20 0 1 0 339663580 3251109888 791182 33554432000 134512640 137136520 4292836592 4292835520 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 793728 791182 197 641 0 793084 0
Current children cumulated CPU time (s) 761.9
Current children cumulated vsize (KiB) 3174912

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1368
/proc/meminfo: memFree=28245640/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=3215760 CPUtime=821.87 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 806307 0 0 0 81936 251 0 0 20 0 1 0 339663580 3292938240 801390 33554432000 134512640 137136520 4292836592 4292835520 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 803940 801390 197 641 0 803296 0
Current children cumulated CPU time (s) 821.87
Current children cumulated vsize (KiB) 3215760

[startup+882.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 1371
/proc/meminfo: memFree=28203128/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=3257920 CPUtime=881.83 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 816889 0 0 0 87928 255 0 0 20 0 1 0 339663580 3336110080 811948 33554432000 134512640 137136520 4292836592 4292835520 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 814480 811948 197 641 0 813836 0
Current children cumulated CPU time (s) 881.83
Current children cumulated vsize (KiB) 3257920

[startup+942.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 1372
/proc/meminfo: memFree=28160508/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=3301080 CPUtime=941.8 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 827686 0 0 0 93919 261 0 0 20 0 1 0 339663580 3380305920 822718 33554432000 134512640 137136520 4292836592 4292835520 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 825270 822718 197 641 0 824626 0
Current children cumulated CPU time (s) 941.8
Current children cumulated vsize (KiB) 3301080

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1372
/proc/meminfo: memFree=28095188/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=3346020 CPUtime=1001.77 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 838943 0 0 0 99911 266 0 0 20 0 1 0 339663580 3426324480 833953 33554432000 134512640 137136520 4292836592 4292835520 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 836505 833953 197 641 0 835861 0
Current children cumulated CPU time (s) 1001.77
Current children cumulated vsize (KiB) 3346020

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1372
/proc/meminfo: memFree=27893964/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=3548124 CPUtime=1061.75 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 889487 0 0 0 105897 278 0 0 20 0 1 0 339663580 3633278976 884489 33554432000 134512640 137136520 4292836592 4292835708 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 887031 884489 197 641 0 886387 0
Current children cumulated CPU time (s) 1061.75
Current children cumulated vsize (KiB) 3548124

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 1372
/proc/meminfo: memFree=27465696/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=3971984 CPUtime=1121.69 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4202496 995359 0 0 0 111865 304 0 0 20 0 1 0 339663580 4067311616 990350 33554432000 134512640 137136520 4292836592 4292835120 134600223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 992996 990350 197 641 0 992352 0
Current children cumulated CPU time (s) 1121.69
Current children cumulated vsize (KiB) 3971984

[startup+1182.3 s]
/proc/loadavg: 2.78 2.18 2.06 2/178 1373
/proc/meminfo: memFree=21777960/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=4191188 CPUtime=1155.76 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) S 1334 1336 30350 0 -1 4204032 1050349 0 0 0 115097 479 0 0 20 0 1 0 339663580 4291776512 1045327 33554432000 134512640 137136520 4292836592 4292834588 136615104 0 0 4096 16384 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/1336/statm: 1047797 1045327 248 641 0 1047153 0
Current children cumulated CPU time (s) 1155.76
Current children cumulated vsize (KiB) 4191188

[startup+1242.3 s]
/proc/loadavg: 4.17 2.69 2.24 2/178 1374
/proc/meminfo: memFree=18431804/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=4191188 CPUtime=1156.6 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) S 1334 1336 30350 0 -1 4204032 1050349 0 0 0 115097 563 0 0 20 0 1 0 339663580 4291776512 1045327 33554432000 134512640 137136520 4292836592 4292834588 136615104 0 0 4096 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 1047797 1045327 248 641 0 1047153 0
Current children cumulated CPU time (s) 1156.6
Current children cumulated vsize (KiB) 4191188

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

[startup+1255.2 s]
/proc/loadavg: 4.35 2.80 2.28 2/178 1374
/proc/meminfo: memFree=18432284/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=4191188 CPUtime=1156.6 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) S 1334 1336 30350 0 -1 4204032 1050349 0 0 0 115097 563 0 0 20 0 1 0 339663580 4291776512 1045327 33554432000 134512640 137136520 4292836592 4292834588 136615104 0 0 4096 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 1047797 1045327 248 641 0 1047153 0
Current children cumulated CPU time (s) 1156.6
Current children cumulated vsize (KiB) 4191188

[startup+1268 s]
/proc/loadavg: 4.45 2.87 2.31 2/178 1374
/proc/meminfo: memFree=18515828/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=4191188 CPUtime=1156.6 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) S 1334 1336 30350 0 -1 4204032 1050349 0 0 0 115097 563 0 0 20 0 1 0 339663580 4291776512 1045327 33554432000 134512640 137136520 4292836592 4292834588 136615104 0 0 4096 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 1047797 1045327 248 641 0 1047153 0
Current children cumulated CPU time (s) 1156.6
Current children cumulated vsize (KiB) 4191188

[startup+1280.8 s]
/proc/loadavg: 4.57 2.97 2.35 2/178 1374
/proc/meminfo: memFree=18515068/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=4191188 CPUtime=1156.6 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) S 1334 1336 30350 0 -1 4204032 1050349 0 0 0 115097 563 0 0 20 0 1 0 339663580 4291776512 1045327 33554432000 134512640 137136520 4292836592 4292834588 136615104 0 0 4096 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 1047797 1045327 248 641 0 1047153 0
Current children cumulated CPU time (s) 1156.6
Current children cumulated vsize (KiB) 4191188

[startup+1284 s]
/proc/loadavg: 4.57 2.97 2.35 2/178 1374
/proc/meminfo: memFree=18515812/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=4191188 CPUtime=1156.6 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) S 1334 1336 30350 0 -1 4204032 1050349 0 0 0 115097 563 0 0 20 0 1 0 339663580 4291776512 1045327 33554432000 134512640 137136520 4292836592 4292834588 136615104 0 0 4096 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 1047797 1045327 248 641 0 1047153 0
Current children cumulated CPU time (s) 1156.6
Current children cumulated vsize (KiB) 4191188

[startup+1287.2 s]
/proc/loadavg: 4.61 3.01 2.37 2/178 1374
/proc/meminfo: memFree=18515548/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=4191188 CPUtime=1156.6 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) S 1334 1336 30350 0 -1 4204032 1050349 0 0 0 115097 563 0 0 20 0 1 0 339663580 4291776512 1045327 33554432000 134512640 137136520 4292836592 4292834588 136615104 0 0 4096 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 1047797 1045327 248 641 0 1047153 0
Current children cumulated CPU time (s) 1156.6
Current children cumulated vsize (KiB) 4191188

[startup+1288.8 s]
/proc/loadavg: 4.61 3.01 2.37 2/178 1374
/proc/meminfo: memFree=18515548/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=4191188 CPUtime=1156.6 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) S 1334 1336 30350 0 -1 4204032 1050349 0 0 0 115097 563 0 0 20 0 1 0 339663580 4291776512 1045327 33554432000 134512640 137136520 4292836592 4292834588 136615104 0 0 4096 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 1047797 1045327 248 641 0 1047153 0
Current children cumulated CPU time (s) 1156.6
Current children cumulated vsize (KiB) 4191188

[startup+1289.6 s]
/proc/loadavg: 4.64 3.04 2.38 2/178 1374
/proc/meminfo: memFree=18516044/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=4191188 CPUtime=1156.6 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) S 1334 1336 30350 0 -1 4204032 1050349 0 0 0 115097 563 0 0 20 0 1 0 339663580 4291776512 1045327 33554432000 134512640 137136520 4292836592 4292834588 136615104 0 0 4096 16384 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1336/statm: 1047797 1045327 248 641 0 1047153 0
Current children cumulated CPU time (s) 1156.6
Current children cumulated vsize (KiB) 4191188

[startup+1289.8 s]
/proc/loadavg: 4.64 3.04 2.38 2/178 1374
/proc/meminfo: memFree=18516044/32873844 swapFree=7116/7116
[pid=1336] ppid=1334 vsize=0 CPUtime=1156.68 cores=0,2,4,6
/proc/1336/stat : 1336 (bsolo) R 1334 1336 30350 0 -1 4204036 1050349 0 0 0 115097 571 0 0 20 0 1 0 339663580 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1336/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1156.68
Current children cumulated vsize (KiB) 0

Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1289.88
CPU time (s): 1156.77
CPU user time (s): 1150.97
CPU system time (s): 5.79612
CPU usage (%): 89.6802
Max. virtual memory (cumulated for all children) (KiB): 4191188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1150.97
system time used= 5.79612
maximum resident set size= 4181308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1050349
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= 1023778
involuntary context switches= 1176

runsolver used 2.05869 second user time and 6.38403 second system time

The end

Launcher Data 

Begin job on node103 at 2012-06-03 16:55:49
IDJOB=3737542
IDBENCH=48255
IDSOLVER=2320
FILE ID=node103/3737542-1338735349
RUNJOBID= node103-1338713869-30366
PBS_JOBID= 14636745
Free space on /tmp= 71120 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_25_1.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3737542-1338735349/watcher-3737542-1338735349 -o /tmp/evaluation-result-3737542-1338735349/solver-3737542-1338735349 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3737542-1338735349.opb

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

MD5SUM BENCH= 02054528a722e9af7937139e87d0b5ac
RANDOM SEED=42388873

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31491476 kB
Buffers:          174208 kB
Cached:           332496 kB
SwapCached:         5648 kB
Active:           254536 kB
Inactive:         366760 kB
Active(anon):     112264 kB
Inactive(anon):     4740 kB
Active(file):     142272 kB
Inactive(file):   362020 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67096352 kB
Dirty:              4516 kB
Writeback:             4 kB
AnonPages:        117072 kB
Mapped:             9668 kB
Shmem:                 0 kB
Slab:             623696 kB
SReclaimable:      64392 kB
SUnreclaim:       559304 kB
KernelStack:        1456 kB
PageTables:         4244 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     239720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3737542-1338735349.opb

Free space on /tmp at the end= 67032 MiB
End job on node103 at 2012-06-03 17:17:20