Trace number 3737355

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.1? (TO) 1777.8 1900.13

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_3.opb
MD5SUMe05fbfdce4433b0b2590ec382b530cec
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-69
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -71
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)150588
Sum of products size (including duplicates)301176
Number of different products75294
Sum of products size150588

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-3737355-1338733424.opb
0.00/0.00	c File size is 6868288 bytes.
0.49/0.59	c Highest Coefficient sum: 2000
0.49/0.59	c Parsing was ok!!
0.49/0.59	c Total parsing time: 0.591 s
0.58/0.65	c Var: 77294 Constr: 153590 76294/2002/75294 Lit: 608352 Watch. Lit: 531060
0.58/0.65	c Obj. Vars: 1000 (1.29376 % of total variables)
179.65/179.71	c Pre-processing Time: 179.665 s
179.65/179.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.65/179.71	c        0  77294   153590   608352    3   531060  500000      0      0 179.66
179.65/179.71	c Switching off lower bounding mode.
179.65/179.78	o -1
179.85/179.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.85/179.96	c        0  77294   153591   609352    3   531063  500000      1      0 179.77
179.85/179.96	o -2
180.05/180.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.05/180.14	c        1  77294   153594   612352    3   531072  500000      4      0 179.95
180.05/180.14	o -3
180.25/180.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.25/180.33	c        2  77294   153597   615421    4   531083  500000      7      0 180.13
180.25/180.33	o -4
180.44/180.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.44/180.50	c        3  77294   153600   618490    4   531096  500000     10      0 180.32
180.44/180.50	o -5
180.54/180.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.54/180.68	c        4  77294   153603   621684    4   531111  500000     13      0 180.49
180.54/180.68	o -6
180.64/180.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.64/180.78	c       11  77294   153612   624833    4   531140  500000     22      0 180.67
180.64/180.78	o -7
180.94/181.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.94/181.03	c       11  77294   153613   625833    4   531149  500000     23      0 180.77
180.94/181.03	o -8
181.14/181.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.14/181.20	c       13  77294   153617   628836    4   531172  500000     27      0 181.03
181.14/181.20	o -9
181.24/181.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.24/181.37	c       14  77294   153620   632006    4   531195  500000     30      0 181.19
181.24/181.37	o -10
181.45/181.53	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.45/181.53	c       15  77294   153623   635177    4   531220  500000     33      0 181.36
181.45/181.53	o -11
181.54/181.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.54/181.68	c       16  77294   153626   638474    4   531247  500000     36      0 181.52
181.54/181.68	o -12
181.75/181.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.75/181.84	c       20  77294   153632   644811    4   531282  500000     42      0 181.67
181.75/181.84	o -13
181.95/182.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.95/182.01	c       28  77294   153642   653127    4   531327  500000     52      0 181.84
181.95/182.01	o -14
182.05/182.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.05/182.18	c       37  77294   153653   661442    4   531376  500000     63      0 182.00
182.05/182.18	o -15
182.24/182.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.24/182.34	c       48  77294   153666   672710    4   531431  500000     76      0 182.18
182.24/182.34	o -16
182.34/182.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.34/182.49	c       52  77294   153672   678059    4   531474  500000     82      0 182.33
182.34/182.49	o -17
182.55/182.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.55/182.64	c       55  77294   153677   681487    4   531517  500000     87      0 182.48
182.55/182.64	o -18
182.75/182.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.75/182.82	c       58  77294   153682   684954    4   531562  500000     92      0 182.63
182.75/182.82	o -19
183.04/183.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.04/183.12	c       88  77294   153714   712104    4   531663  500000    124      0 182.81
183.04/183.12	o -20
183.35/183.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.35/183.42	c      147  77294   153775   715903    4   531824  500000    185      0 183.12
183.35/183.42	o -21
183.45/183.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.45/183.59	c      154  77294   153784   721376    4   531883  500000    194      0 183.41
183.45/183.59	o -22
183.65/183.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.65/183.74	c      166  77294   153798   731789    4   531954  500000    208      0 183.58
183.65/183.74	o -23
183.74/183.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.74/183.88	c      173  77294   153807   737341    4   532017  500000    217      0 183.74
183.74/183.88	o -24
183.95/184.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.95/184.03	c      175  77294   153811   740951    4   532072  500000    221      0 183.88
183.95/184.03	o -25
184.25/184.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
184.25/184.30	c      178  77294   153816   744564    4   532131  500000    226      0 184.02
184.25/184.30	o -26
184.44/184.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
184.44/184.54	c      233  77294   153873   766895    4   532296  500000    283      1 184.29
184.44/184.54	o -27
184.54/184.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
184.54/184.69	c      298  77294   153940   821397    5   532483  500000    350      1 184.53
184.54/184.69	o -28
184.75/184.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
184.75/184.84	c      305  77294   153949   826202    5   532556  500000    359      1 184.68
184.75/184.84	o -29
184.85/184.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
184.85/184.99	c      312  77294   153958   830046    5   532631  500000    368      1 184.83
184.85/184.99	o -30
185.04/185.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
185.04/185.12	c      319  77294   153967   833905    5   532708  500000    377      1 184.98
185.04/185.12	o -31
185.24/185.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
185.24/185.32	c      323  77294   153973   837768    5   532781  500000    383      1 185.11
185.24/185.32	o -32
185.54/185.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
185.54/185.65	c      338  77294   153990   841664    5   532878  500000    400      1 185.31
185.54/185.65	o -33
186.85/186.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
186.85/186.92	c      373  77294   154027   845636    5   533017  500000    437      2 185.64
186.85/186.92	c      473  77294   154127   928922    6   533217  550001    537      2 186.72
186.85/186.92	o -34
186.95/187.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
186.95/187.05	c      496  77294   154152   944330    6   533334  500000    562      2 186.91
186.95/187.05	o -35
187.15/187.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
187.15/187.22	c      501  77294   154159   948146    6   533417  500000    569      2 187.04
187.15/187.22	o -36
187.34/187.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
187.34/187.44	c      512  77294   154172   953917    6   533514  500000    582      2 187.21
187.34/187.44	o -37
187.55/187.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
187.55/187.69	c      526  77294   154188   957813    6   533619  500000    598      2 187.43
187.55/187.69	o -38
187.95/188.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
187.95/188.06	c      546  77294   154210   961764    6   533738  500000    620      2 187.68
187.95/188.06	o -39
192.45/192.52	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
192.45/192.52	c      586  77294   154252   965754    6   533899  500000    662      3 188.05
192.45/192.52	c      686  77294   154352  1024829    6   534099  550001    762      3 191.44
192.45/192.52	o -40
192.64/192.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
192.64/192.71	c      776  77294   154444  1091698    7   534362  500000    854      4 192.51
192.64/192.71	o -41
192.74/192.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
192.74/192.86	c      807  77294   154477  1116689    7   534509  500000    887      4 192.70
192.74/192.86	o -42
192.85/192.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
192.85/192.99	c      813  77294   154485  1121507    7   534608  500000    895      4 192.85
192.85/192.99	o -43
193.34/193.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
193.34/193.46	c      817  77294   154491  1125374    7   534705  500000    901      4 192.98
193.34/193.46	o -44
194.55/194.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
194.55/194.62	c      864  77294   154540  1129385    7   534890  500000    950      4 193.45
194.55/194.62	c      964  77294   154640  1223116    7   535090  550001   1050      4 193.90
194.55/194.62	o -45
194.85/194.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
194.85/194.93	c     1137  77294   154815  1316178    8   535529  500000   1225      5 194.61
194.85/194.93	o -46
195.04/195.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
195.04/195.17	c     1162  77294   154842  1320142    8   535674  500000   1252      5 194.92
195.04/195.17	o -47
195.75/195.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
195.75/195.82	c     1185  77294   154867  1324125    8   535817  500000   1277      6 195.16
195.75/195.82	c     1285  77294   154968  1386227    8   536066  550001   1378      6 195.53
195.75/195.82	o -48
196.24/196.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
196.24/196.34	c     1314  77294   154998  1393014    8   536174  500000   1408      6 195.81
196.24/196.34	o -49
197.95/198.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
197.95/198.02	c     1365  77294   155051  1397077    9   536377  500000   1461      6 196.33
197.95/198.02	c     1465  77294   155152  1437299    9   536628  550001   1562      7 197.76
197.95/198.02	o -50
200.45/200.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
200.45/200.50	c     1492  77294   155180  1438380    9   536734  500000   1590      7 198.01
200.45/200.50	c     1592  77294   155280  1526834    9   536934  550001   1690      8 198.70
200.45/200.50	c     1842  77294   155531  1629041   10   537486  605002   1941      9 200.03
200.45/200.50	o -51
200.94/201.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
200.94/201.03	c     1920  77294   155610  1655844   10   537695  500000   2020      9 200.49
200.94/201.03	o -52
204.74/204.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
204.74/204.88	c     1989  77294   155681  1659981   10   537940  500000   2091      9 201.01
204.74/204.88	c     2089  77294   155782  1710417   10   538142  550001   2192     10 203.97
204.74/204.88	o -53
207.04/207.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
207.04/207.12	c     2227  77294   155922  1737416   11   538527  500000   2332     10 204.87
207.04/207.12	c     2327  77294   156022  1819912   11   538727  550001   2432     11 205.49
207.04/207.12	c     2577  77294   156273  1946419   12   539282  605002   2683     12 206.62
207.04/207.12	o -54
351.69/351.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
351.69/351.88	c     2641  77294   156338  1947611   12   539466  500000   2748     12 207.11
351.69/351.88	c     2741  77294   156438  1959861   12   539666  550001   2848     12 213.48
351.69/351.88	c     2991  77294   156688  1972555   12   540166  605002   3098     13 228.75
351.69/351.88	c     3466  77294   157163  2063614   13   541116  665503   3573     13 248.26
351.69/351.88	c     4279  77294   157978  2707673   17   542746  732054   4388     16 263.17
351.69/351.88	c     5599  77294   159299  4017979   25   545388  805260   5709     19 281.65
351.69/351.88	c     7680  77294   161380  6095776   37   549550  885787   7790     24 311.83
351.69/351.88	o -55
352.29/352.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
352.29/352.41	c    10427  77294   164130  8830152   53   555105  500000  10540     29 351.83
352.29/352.41	c    10528  77294   164232  8927449   54   555364  550001  10642     29 352.23
352.29/352.41	o -56
352.59/352.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
352.59/352.77	c    10536  77294   164241  8934125   54   555438  500000  10651     29 352.36
352.59/352.77	o -57
352.90/353.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
352.90/353.03	c    10583  77294   164290  8959709   54   555649  500000  10700     30 352.71
352.90/353.03	o -58
353.20/353.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
353.20/353.34	c    10608  77294   164317  8963601   54   555818  500000  10727     30 352.98
353.20/353.34	o -59
353.89/354.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
353.89/354.09	c    10630  77294   164341  8967499   54   555983  500000  10751     30 353.29
353.89/354.09	o -60
415.37/415.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
415.37/415.50	c    10703  77294   164416  8971637   54   556252  500000  10826     30 354.03
415.37/415.50	c    10803  77294   164516  8974927   54   556452  550001  10926     29 361.61
415.37/415.50	c    11053  77294   164766  9000566   54   556952  605002  11176     29 377.29
415.37/415.50	c    11528  77294   165242  9039825   54   557904  665503  11652     28 400.56
415.37/415.50	c    12341  77294   166063  9707111   58   559606  732054  12473     29 415.08
415.37/415.50	o -61
415.58/415.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
415.58/415.70	c    12385  77294   166108  9743633   58   559757  500000  12518     29 415.43
415.58/415.70	o -62
416.07/416.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
416.07/416.21	c    12415  77294   166140  9767246   58   559944  500000  12550     29 415.63
416.07/416.21	o -63
416.37/416.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
416.37/416.58	c    12460  77294   166187  9774988   58   560163  500000  12597     29 416.13
416.37/416.58	o -64
1773.89/1774.99	terminate called after throwing an instance of 'std::bad_alloc'
1773.89/1774.99	  what():  St9bad_alloc
1773.89/1774.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1773.89/1774.99	c    12499  77294   166228  9778998   58   560372  500000  12638     30 416.51
1773.89/1774.99	c    12599  77294   166328  9863353   59   560572  550001  12738     30 417.31
1773.89/1774.99	c    12849  77294   166578  9952831   59   561072  605002  12988     30 418.64
1773.89/1774.99	c    13324  77294   167053 10346462   61   562022  665503  13463     31 420.42
1773.89/1774.99	c    14137  77294   167867 10561680   62   563714  732054  14277     33 423.56
1773.89/1774.99	c    15457  77294   169187 11301162   66   566354  805260  15597     36 426.35
1773.89/1774.99	c    17538  77294   171269 13378165   78   570518  885787  17679     40 430.17
1773.89/1774.99	c    20761  77294   174492 16592147   95   576964  974366  20902     47 436.03
1773.89/1774.99	c    25697  77294   179428 21517169  119   586836  500000  25838     57 446.98
1773.89/1774.99	c    33203  77294   186934 29005206  155   601848  550001  33344     71 464.45
1773.89/1774.99	c    44564  77294   198295 40337265  203   624570  605002  44705     90 493.06
1773.89/1774.99	c    61708  77294   215444 57438349  266   658868  665503  61854    114 540.53
1773.89/1774.99	c    87527  77294   241273 83182535  344   710526  732054  87683    141 619.25
1773.89/1774.99	c   126359  77294   280122 121910848  435   788224  805260 126532    166 758.10
1773.89/1774.99	c   184711  77294   338500 180087378  532   904980  885787 184910    179 1031.72
1773.89/1774.99	c   272343  77294   426164 267318426  627  1080308  974366 272574    184 1472.62

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-3737355-1338733424/watcher-3737355-1338733424 -o /tmp/evaluation-result-3737355-1338733424/solver-3737355-1338733424 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3737355-1338733424.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.00 2.02 2.00 3/178 16628
/proc/meminfo: memFree=29117944/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=25732 CPUtime=0 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 409 0 0 0 0 0 0 0 20 0 1 0 339467401 26349568 362 33554432000 134512640 137136520 4291361360 4291358488 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 6433 362 186 641 0 4112 0

[startup+0.033507 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 16628
/proc/meminfo: memFree=29117944/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=19984 CPUtime=0.03 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 1049 0 0 0 3 0 0 0 20 0 1 0 339467401 20463616 962 33554432000 134512640 137136520 4291361360 4291358584 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 4996 963 260 641 0 2675 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19984

[startup+0.100224 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 16628
/proc/meminfo: memFree=29117944/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=23268 CPUtime=0.09 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 2109 0 0 0 9 0 0 0 20 0 1 0 339467401 23826432 1894 33554432000 134512640 137136520 4291361360 4291359712 136575102 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 5817 1896 421 641 0 3496 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23268

[startup+0.300235 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 16628
/proc/meminfo: memFree=29117944/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=30252 CPUtime=0.29 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 4468 0 0 0 29 0 0 0 20 0 1 0 339467401 30978048 4253 33554432000 134512640 137136520 4291361360 4291359752 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 7563 4253 989 641 0 5242 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30252

[startup+0.700272 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 16628
/proc/meminfo: memFree=29117944/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=54828 CPUtime=0.69 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 12888 0 0 0 68 1 0 0 20 0 1 0 339467401 56143872 10996 33554432000 134512640 137136520 4291361360 4290432508 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 13707 10996 189 641 0 13063 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54828

[startup+1.50029 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 16629
/proc/meminfo: memFree=29074692/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=55356 CPUtime=1.49 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 13020 0 0 0 148 1 0 0 20 0 1 0 339467401 56684544 11128 33554432000 134512640 137136520 4291361360 4290432244 136509089 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 13839 11128 189 641 0 13195 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55356

[startup+3.10029 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 16629
/proc/meminfo: memFree=29074056/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=55356 CPUtime=3.09 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 13020 0 0 0 308 1 0 0 20 0 1 0 339467401 56684544 11128 33554432000 134512640 137136520 4291361360 4290432320 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 13839 11128 189 641 0 13195 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 55356

[startup+6.30033 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 16629
/proc/meminfo: memFree=29073808/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=55356 CPUtime=6.29 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 13020 0 0 0 628 1 0 0 20 0 1 0 339467401 56684544 11128 33554432000 134512640 137136520 4291361360 4290432372 136500556 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 13839 11128 189 641 0 13195 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 55356

[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 16629
/proc/meminfo: memFree=29073408/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=55356 CPUtime=12.69 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 13027 0 0 0 1268 1 0 0 20 0 1 0 339467401 56684544 11135 33554432000 134512640 137136520 4291361360 4290432544 134563037 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 13839 11135 189 641 0 13195 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55356

[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 16629
/proc/meminfo: memFree=29073528/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=55356 CPUtime=25.49 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 13031 0 0 0 2546 3 0 0 20 0 1 0 339467401 56684544 11138 33554432000 134512640 137136520 4291361360 4290432372 136500536 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 13839 11138 189 641 0 13195 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55356

[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 16629
/proc/meminfo: memFree=29073060/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=55356 CPUtime=51.07 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 13046 0 0 0 5103 4 0 0 20 0 1 0 339467401 56684544 11288 33554432000 134512640 137136520 4291361360 4290432308 136295556 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 13839 11288 189 641 0 13195 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 55356

[startup+102.307 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 16630
/proc/meminfo: memFree=29071572/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=55356 CPUtime=102.26 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 13046 0 0 0 10219 7 0 0 20 0 1 0 339467401 56684544 11288 33554432000 134512640 137136520 4291361360 4290432544 134563024 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 13839 11288 189 641 0 13195 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 55356

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 16630
/proc/meminfo: memFree=29070764/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=55356 CPUtime=162.25 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 13046 0 0 0 16214 11 0 0 20 0 1 0 339467401 56684544 11288 33554432000 134512640 137136520 4291361360 4290432104 136502448 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 13839 11288 189 641 0 13195 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 55356

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 16630
/proc/meminfo: memFree=29051668/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=74432 CPUtime=222.24 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 452400 0 0 0 22123 101 0 0 20 0 1 0 339467401 76218368 16064 33554432000 134512640 137136520 4291361360 4291360476 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 18608 16064 197 641 0 17964 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 74432

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 16630
/proc/meminfo: memFree=29025548/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=101392 CPUtime=282.22 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 876055 0 0 0 28022 200 0 0 20 0 1 0 339467401 103825408 22800 33554432000 134512640 137136520 4291361360 4291360288 134543918 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 25348 22800 197 641 0 24704 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 101392

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16630
/proc/meminfo: memFree=28972428/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=153936 CPUtime=342.2 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 1509206 0 0 0 33887 333 0 0 20 0 1 0 339467401 157630464 35928 33554432000 134512640 137136520 4291361360 4291360072 136502216 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 38484 35928 197 641 0 37840 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 153936

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16634
/proc/meminfo: memFree=28960848/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=165432 CPUtime=402.17 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 1788727 0 0 0 39810 407 0 0 20 0 1 0 339467401 169402368 38803 33554432000 134512640 137136520 4291361360 4291360128 134576684 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 41358 38803 197 641 0 40714 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 165432

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16634
/proc/meminfo: memFree=28719552/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=408828 CPUtime=462.17 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 4962891 0 0 0 45413 804 0 0 20 0 1 0 339467401 418639872 99649 33554432000 134512640 137136520 4291361360 4291359888 134600223 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 102207 99649 197 641 0 101563 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 408828

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16634
/proc/meminfo: memFree=28426372/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=703084 CPUtime=522.13 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 8519724 0 0 0 50967 1246 0 0 20 0 1 0 339467401 719958016 173213 33554432000 134512640 137136520 4291361360 4291360040 136571969 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 175771 173213 197 641 0 175127 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 703084

[startup+582.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 16634
/proc/meminfo: memFree=28166248/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=960716 CPUtime=582.08 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 11629674 0 0 0 56574 1634 0 0 20 0 1 0 339467401 983773184 237637 33554432000 134512640 137136520 4291361360 4291360476 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 240179 237637 197 641 0 239535 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 960716

[startup+642.3 s]

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

/proc/loadavg: 2.00 2.00 2.00 3/179 16685
/proc/meminfo: memFree=26630952/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=2123088 CPUtime=941.82 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 25655281 0 0 0 90573 3609 0 0 20 0 1 0 339467401 2174042112 528220 33554432000 134512640 137136520 4291361360 4291360040 136571969 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 530772 528220 197 641 0 530128 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 2123088

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 16689
/proc/meminfo: memFree=26380740/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=2280740 CPUtime=1001.78 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 27560480 0 0 0 96271 3907 0 0 20 0 1 0 339467401 2335477760 567654 33554432000 134512640 137136520 4291361360 4291360040 136571969 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 570185 567654 197 641 0 569541 0
Current children cumulated CPU time (s) 1001.78
Current children cumulated vsize (KiB) 2280740

[startup+1062.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 16689
/proc/meminfo: memFree=26149020/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=2436212 CPUtime=1061.74 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 29433523 0 0 0 101975 4199 0 0 20 0 1 0 339467401 2494681088 606491 33554432000 134512640 137136520 4291361360 4291359840 136498324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 609053 606491 197 641 0 608409 0
Current children cumulated CPU time (s) 1061.74
Current children cumulated vsize (KiB) 2436212

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16689
/proc/meminfo: memFree=25934652/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=2590364 CPUtime=1121.7 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 31295724 0 0 0 107682 4488 0 0 20 0 1 0 339467401 2652532736 645055 33554432000 134512640 137136520 4291361360 4291360288 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 647591 645055 197 641 0 646947 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 2590364

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16689
/proc/meminfo: memFree=25725616/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=2744056 CPUtime=1181.65 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 33150222 0 0 0 113389 4776 0 0 20 0 1 0 339467401 2809913344 683468 33554432000 134512640 137136520 4291361360 4291360288 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 686014 683468 197 641 0 685370 0
Current children cumulated CPU time (s) 1181.65
Current children cumulated vsize (KiB) 2744056

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16689
/proc/meminfo: memFree=25529600/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=2895328 CPUtime=1241.61 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 34978893 0 0 0 119082 5079 0 0 20 0 1 0 339467401 2964815872 721276 33554432000 134512640 137136520 4291361360 4291360288 134543884 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 723832 721276 197 641 0 723188 0
Current children cumulated CPU time (s) 1241.61
Current children cumulated vsize (KiB) 2895328

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16691
/proc/meminfo: memFree=25347480/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=3037612 CPUtime=1301.58 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 36706271 0 0 0 124800 5358 0 0 20 0 1 0 339467401 3110514688 756841 33554432000 134512640 137136520 4291361360 4291360476 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 759403 756841 197 641 0 758759 0
Current children cumulated CPU time (s) 1301.58
Current children cumulated vsize (KiB) 3037612

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16691
/proc/meminfo: memFree=25155176/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=3189128 CPUtime=1361.53 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 38531873 0 0 0 130499 5654 0 0 20 0 1 0 339467401 3265667072 794746 33554432000 134512640 137136520 4291361360 4291359952 134616484 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 797282 794746 197 641 0 796638 0
Current children cumulated CPU time (s) 1361.53
Current children cumulated vsize (KiB) 3189128

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16691
/proc/meminfo: memFree=24958168/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=3341288 CPUtime=1421.49 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 40372227 0 0 0 136197 5952 0 0 20 0 1 0 339467401 3421478912 832760 33554432000 134512640 137136520 4291361360 4291360128 134571152 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 835322 832760 197 641 0 834678 0
Current children cumulated CPU time (s) 1421.49
Current children cumulated vsize (KiB) 3341288

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16691
/proc/meminfo: memFree=24765004/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=3498500 CPUtime=1481.45 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 42299349 0 0 0 141873 6272 0 0 20 0 1 0 339467401 3582464000 872071 33554432000 134512640 137136520 4291361360 4291360476 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 874625 872071 197 641 0 873981 0
Current children cumulated CPU time (s) 1481.45
Current children cumulated vsize (KiB) 3498500

[startup+1542.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 16691
/proc/meminfo: memFree=24613008/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=3608096 CPUtime=1541.41 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 44059790 0 0 0 147637 6504 0 0 20 0 1 0 339467401 3694690304 899470 33554432000 134512640 137136520 4291361360 4291360128 134571152 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 902024 899470 198 641 0 901380 0
Current children cumulated CPU time (s) 1541.41
Current children cumulated vsize (KiB) 3608096

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 16694
/proc/meminfo: memFree=24424548/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=3751432 CPUtime=1601.38 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 45805875 0 0 0 153417 6721 0 0 20 0 1 0 339467401 3841466368 935317 33554432000 134512640 137136520 4291361360 4291360256 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 937858 935317 198 641 0 937214 0
Current children cumulated CPU time (s) 1601.38
Current children cumulated vsize (KiB) 3751432

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16695
/proc/meminfo: memFree=24245900/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=3886152 CPUtime=1661.34 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 47415092 0 0 0 159202 6932 0 0 20 0 1 0 339467401 3979419648 968995 33554432000 134512640 137136520 4291361360 4291359952 134616691 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 971538 968995 198 641 0 970894 0
Current children cumulated CPU time (s) 1661.34
Current children cumulated vsize (KiB) 3886152

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 16695
/proc/meminfo: memFree=24057820/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=4045340 CPUtime=1721.31 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4202496 47843487 0 0 0 165143 6988 0 0 20 0 1 0 339467401 4142428160 1008701 33554432000 134512640 137136520 4291361360 4291360288 134543927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 1011335 1008701 198 641 0 1010691 0
Current children cumulated CPU time (s) 1721.31
Current children cumulated vsize (KiB) 4045340

[startup+1782.3 s]
/proc/loadavg: 2.16 2.03 2.01 2/180 16696
/proc/meminfo: memFree=19997336/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=4179104 CPUtime=1775.44 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) S 16626 16628 13121 0 -1 4204032 48053768 0 0 0 170378 7166 0 0 20 0 1 0 339467401 4279402496 1042298 33554432000 134512640 137136520 4291361360 4291359356 136615104 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 1044776 1042298 249 641 0 1044132 0
Current children cumulated CPU time (s) 1775.44
Current children cumulated vsize (KiB) 4179104

[startup+1842.3 s]
/proc/loadavg: 4.02 2.57 2.20 2/180 16696
/proc/meminfo: memFree=15143868/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=4179104 CPUtime=1777.66 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) S 16626 16628 13121 0 -1 4204032 48053768 0 0 0 170378 7388 0 0 20 0 1 0 339467401 4279402496 1042298 33554432000 134512640 137136520 4291361360 4291359356 136615104 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 1044776 1042298 249 641 0 1044132 0
Current children cumulated CPU time (s) 1777.66
Current children cumulated vsize (KiB) 4179104



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1900 s]
/proc/loadavg: 5.00 3.09 2.39 2/180 16696
/proc/meminfo: memFree=15144780/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=4179104 CPUtime=1777.66 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) S 16626 16628 13121 0 -1 4204032 48053768 0 0 0 170378 7388 0 0 20 0 1 0 339467401 4279402496 1042298 33554432000 134512640 137136520 4291361360 4291359356 136615104 0 0 4096 16384 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 1044776 1042298 249 641 0 1044132 0
Current children cumulated CPU time (s) 1777.66
Current children cumulated vsize (KiB) 4179104

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

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

[startup+1900.11 s]
/proc/loadavg: 5.00 3.09 2.39 2/180 16696
/proc/meminfo: memFree=15144780/32873844 swapFree=7620/7620
[pid=16628] ppid=16626 vsize=0 CPUtime=1777.76 cores=1,3,5,7
/proc/16628/stat : 16628 (bsolo) R 16626 16628 13121 0 -1 4204036 48053768 0 0 0 170378 7398 0 0 20 0 1 0 339467401 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16628/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1777.76
Current children cumulated vsize (KiB) 0

Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1900.13
CPU time (s): 1777.8
CPU user time (s): 1703.79
CPU system time (s): 74.0138
CPU usage (%): 93.5622
Max. virtual memory (cumulated for all children) (KiB): 4179104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1703.79
system time used= 74.0137
maximum resident set size= 4169192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48053768
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= 1018892
involuntary context switches= 1796

runsolver used 3.9524 second user time and 10.1935 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-03 16:23:45
IDJOB=3737355
IDBENCH=48225
IDSOLVER=2320
FILE ID=node135/3737355-1338733424
RUNJOBID= node135-1338712994-13138
PBS_JOBID= 14636721
Free space on /tmp= 70976 MiB

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

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

MD5SUM BENCH= e05fbfdce4433b0b2590ec382b530cec
RANDOM SEED=490581260

node135.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.820
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	: 5333.64
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.820
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	: 5332.57
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.820
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	: 5332.55
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.820
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	: 5332.55
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.820
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	: 5332.54
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.820
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	: 5332.55
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.820
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	: 5238.35
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.820
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29123208 kB
Buffers:          365380 kB
Cached:          2504344 kB
SwapCached:         1672 kB
Active:          1199532 kB
Inactive:        1708028 kB
Active(anon):      27996 kB
Inactive(anon):    12036 kB
Active(file):    1171536 kB
Inactive(file):  1695992 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:              5840 kB
Writeback:             0 kB
AnonPages:        123196 kB
Mapped:            11236 kB
Shmem:               132 kB
Slab:             701804 kB
SReclaimable:     143820 kB
SUnreclaim:       557984 kB
KernelStack:        1488 kB
PageTables:         3844 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     158612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    104448 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-3737355-1338733424.opb

Free space on /tmp at the end= 66896 MiB
End job on node135 at 2012-06-03 16:55:28