Trace number 1878624

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 NameAnswerobjCPU timeWall clock time
bsolo 3.1 clSAT82 1798 1798.45

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_2.opb
MD5SUMa70b0edfadf87ffd0bc1b32400cae43b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark1802.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint74
Maximum length of a constraint76
Number of terms in the objective function 112
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1648
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5454
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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: Clause Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1878624-1245177598.opb
0.00/0.00	c File size is 10354 bytes.
0.00/0.00	c Highest Coefficient sum: 5454
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 172 Constr: 14 0/0/14 Lit: 1058 Watch. Lit: 312
0.00/0.00	c Obj. Vars: 112 (65.1163 % of total variables)
0.00/0.00	c Pre-processing Time: 0.002 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    172       14     1058   75      322    2116      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 643
0.03/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.06	c        0    172       15     1170   78      728    2340      1      0 0.00
0.03/0.06	c      100    172      115     7371   64      935    2575    101   6666 0.01
0.03/0.06	c      352    172      367    23498   64     1437    2833    353   7822 0.04
0.03/0.06	o 641
0.03/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.07	c      491    172      507    32346   63     1823    2340    493   7439 0.07
0.03/0.07	o 639
0.03/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.07	c      517    172      534    33731   63     1981    2340    520   7385 0.07
0.03/0.07	o 608
0.03/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.08	c      534    172      552    34952   63     2084    2340    538   7315 0.07
0.03/0.08	o 428
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c      566    172      585    36508   62     2233    2340    571   7164 0.08
0.19/0.21	c      666    172      685    41386   60     2434    2575    671   7085 0.09
0.19/0.21	c      916    172      935    54656   58     2918    2833    921   6939 0.13
0.19/0.21	c     1391    172     1410    79633   56     3832    3117   1396   6785 0.20
0.19/0.21	o 418
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c     1424    172     1444    81059   56     3948    2340   1430   6716 0.21
0.19/0.21	o 416
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c     1436    172     1457    82025   56     4060    2340   1443   6710 0.21
0.19/0.26	c     1536    172     1557    88537   56     4267    2575   1543   6592 0.23
0.19/0.26	o 414
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c     1689    172     1711    96666   56     4684    2340   1697   6325 0.27
0.19/0.29	c     1791    172     1813   102467   56     4929    2575   1799   6197 0.29
0.19/0.29	o 391
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c     1806    172     1829   103464   56     5022    2340   1815   6163 0.29
0.29/0.36	c     1906    172     1929   107423   55     5310    2575   1915   6089 0.31
0.29/0.36	o 390
0.29/0.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.37	c     2104    172     2128   118007   55     5720    2340   2114   5877 0.36
0.29/0.37	o 388
0.29/0.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.38	c     2188    172     2213   121963   55     5985    2340   2199   5803 0.38
0.29/0.38	o 387
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c     2224    172     2250   124995   55     6185    2340   2236   5746 0.39
0.59/0.60	c     2325    172     2351   129119   54     6423    2575   2337   5670 0.41
0.59/0.60	c     2575    172     1303    67861   52     3318    2833   1289   5409 0.48
0.59/0.60	c     3051    172     1779    95570   53     4269    3117   1765   5419 0.56
0.59/0.60	o 356
0.59/0.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.60	c     3279    172     2008   108810   54     4832    2340   1994   5446 0.60
0.59/0.60	o 342
0.59/0.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.62	c     3286    172     2016   109229   54     4944    2340   2002   5431 0.60
0.59/0.62	o 340
0.59/0.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.65	c     3371    172     2102   115498   54     5218    2340   2088   5428 0.62
0.59/0.65	c     3471    172     2202   119920   54     5430    2575   2188   5423 0.64
0.59/0.65	o 336
0.59/0.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.66	c     3519    172     2251   123332   54     5632    2340   2237   5413 0.65
0.59/0.66	o 258
0.59/0.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.66	c     3572    172     2305   125473   54     5817    2340   2291   5395 0.66
0.59/0.66	o 254
0.59/0.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.68	c     3582    172     2316   126310   54     5938    2340   2302   5394 0.66
0.59/0.68	o 252
0.59/0.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.69	c     3657    172     1185    68271   57     3078    2340   1171   5338 0.69
0.59/0.69	o 185
0.59/0.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.69	c     3685    172     1214    69304   57     3224    2340   1200   5340 0.69
0.59/0.69	o 183
0.59/0.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.69	c     3686    172     1216    69514   57     3338    2340   1202   5334 0.69
0.59/0.69	o 181
0.69/0.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.77	c     3695    172     1226    70347   57     3465    2340   1212   5331 0.69
0.69/0.77	c     3796    172     1327    77685   58     3674    2575   1313   5346 0.71
0.69/0.77	c     4046    172     1577    86761   55     4187    2833   1563   5416 0.75
0.69/0.77	o 180
0.79/0.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.86	c     4180    172     1712    93155   54     4550    2340   1698   5414 0.77
0.79/0.86	c     4280    172     1812    96539   53     4779    2575   1798   5438 0.79
0.79/0.86	c     4531    172     2063   107222   51     5270    2833   2049   5439 0.83
0.79/0.86	o 177
10.19/10.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.19/10.29	c     4693    172     2226   118307   53     5715    2340   2212   5425 0.86
10.19/10.29	c     4793    172     2326   121455   52     5902    2575   2312   5452 0.88
10.19/10.29	c     5043    172     2576   131567   51     6409    2833   2562   5457 0.92
10.19/10.29	c     5518    172     1587    70352   44     3888    3117   1573   5485 1.01
10.19/10.29	c     6331    172     2400   105544   43     5519    3429   2386   5534 1.14
10.19/10.29	c     7652    172     1945    82911   42     4608    3772   1931   5485 1.40
10.19/10.29	c     9733    172     2093    82020   39     4884    4150   2079   5440 1.79
10.19/10.29	c    12956    172     3207   122291   38     7104    4566   3193   5466 2.37
10.19/10.29	c    17893    172     3496   151779   43     7703    5023   3482   5071 3.53
10.19/10.29	c    25399    172     3320   151029   45     7357    5526   3306   4676 5.43
10.19/10.29	c    36760    172     3439   172629   50     7603    6079   3425   4309 8.53
10.19/10.29	o 176
10.29/10.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.29/10.35	c    43600    172     4099   197617   48     9036    2340   4085   4236 10.29
10.29/10.35	c    43700    172     1285    60490   47     3289    2575   1271   4224 10.34
10.29/10.35	o 174
29.18/29.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.18/29.27	c    43727    172     1313    61914   47     3464    2340   1299   4224 10.35
29.18/29.27	c    43827    172     1413    66740   47     3642    2575   1399   4227 10.37
29.18/29.27	c    44077    172     1663    78448   47     4161    2833   1649   4233 10.41
29.18/29.27	c    44552    172     2138    98739   46     5087    3117   2124   4242 10.50
29.18/29.27	c    45365    172     2951   135962   46     6720    3429   2937   4252 10.67
29.18/29.27	c    46685    172     2481   113878   45     5786    3772   2467   4265 10.95
29.18/29.27	c    48766    172     2628   105215   40     6079    4150   2614   4303 11.33
29.18/29.27	c    51990    172     3729   161653   43     8172    4566   3715   4341 11.98
29.18/29.27	c    56927    172     4014   173711   43     8731    5023   4000   4348 13.09
29.18/29.27	c    64434    172     3807   168731   44     8334    5526   3793   4325 14.90
29.18/29.27	c    75795    172     3886   178737   45     8493    6079   3872   4253 17.82
29.18/29.27	c    92939    172     5548   231721   41    11813    6687   5534   4226 21.99
29.18/29.27	c   118758    172     4154   192911   46     9020    7356   4140   4064 29.22
29.18/29.27	o 155
29.59/29.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.59/29.62	c   118963    172     4360   201109   46     9543    2340   4346   4064 29.27
29.59/29.62	c   119063    172     1285    56755   44     3247    2575   1271   4056 29.35
29.59/29.62	c   119313    172     1535    68001   44     3783    2833   1521   4058 29.40
29.59/29.62	c   119788    172     2010    88679   44     4738    3117   1996   4062 29.49
29.59/29.62	o 148
29.59/29.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.59/29.63	c   120456    172     2679   116929   43     6184    2340   2665   4067 29.62
29.59/29.63	o 146
29.59/29.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.59/29.63	c   120459    172     1189    51311   43     3204    2340   1175   4065 29.63
29.59/29.63	o 144
29.59/29.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.59/29.63	c   120460    172     1191    51505   43     3318    2340   1177   4065 29.63
29.59/29.63	o 140
29.59/29.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.59/29.68	c   120475    172     1207    52317   43     3460    2340   1193   4065 29.63
29.59/29.68	c   120576    172     1308    59213   45     3665    2575   1294   4066 29.65
29.59/29.68	o 132
29.79/29.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
29.79/29.84	c   120727    172     1460    64759   44     4074    2340   1446   4068 29.67
29.79/29.84	c   120827    172     1560    71275   45     4278    2575   1546   4069 29.69
29.79/29.84	c   121078    172     1811    86860   47     4778    2833   1797   4069 29.75
29.79/29.84	o 127
30.08/30.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.08/30.12	c   121507    172     2241   107092   47     5748    2340   2227   4072 29.83
30.08/30.12	c   121607    167     2341   110346   47     5949    2575   2327   4073 29.86
30.08/30.12	c   121858    165     2592   119867   46     6449    2833   2578   4074 29.90
30.08/30.12	c   122333    165     1585    71708   45     3881    3117   1571   4077 30.00
30.08/30.12	o 96
30.08/30.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.08/30.13	c   123031    165     2284    98117   42     5386    2326   2270   4084 30.12
30.08/30.13	o 92
30.08/30.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.08/30.13	c   123049    165     2303    98792   42     5523    2326   2289   4084 30.12
30.08/30.13	o 88
30.08/30.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.08/30.14	c   123056    165     2311    99166   42     5642    2326   2297   4084 30.13
30.08/30.14	o 86
30.08/30.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.08/30.15	c   123125    164     1185    46389   39     3072    2324   1171   4084 30.14
30.08/30.15	o 84
30.08/30.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.08/30.16	c   123160    164     1221    49080   40     3246    2324   1207   4084 30.15
30.08/30.16	o 82
1797.95/1798.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.95/1798.44	c   123178    164     1240    50684   40     3386    2324   1226   4084 30.15
1797.95/1798.44	c   123278    164     1340    54201   40     3583    2557   1326   4086 30.17
1797.95/1798.44	c   123528    162     1590    63702   40     4081    2813   1576   4089 30.21
1797.95/1798.44	c   124003    162     2065    80722   39     5026    3095   2051   4093 30.29
1797.95/1798.44	c   124816    162     2878   111316   38     6658    3405   2864   4099 30.45
1797.95/1798.44	c   126138    160     2447    92142   37     5594    3746   2433   4106 30.72
1797.95/1798.44	c   128219    160     2615    98217   37     5929    4121   2601   4121 31.11
1797.95/1798.44	c   131442    160     3739   141879   37     8182    4534   3725   4138 31.76
1797.95/1798.44	c   136378    160     4041   155453   38     8780    4988   4027   4157 32.80
1797.95/1798.44	c   143884    160     3934   152292   38     8572    5487   3920   4183 34.39
1797.95/1798.44	c   155245    160     4137   149319   36     8976    6036   4123   4231 36.69
1797.95/1798.44	c   172389    160     5971   217336   36    12629    6640   5957   4279 40.28
1797.95/1798.44	c   198208    160     4884   194258   39    10455    7305   4870   4284 46.27
1797.95/1798.44	c   237040    160     6760   258421   38    14212    8036   6746   4269 55.52
1797.95/1798.44	c   295392    160     4195   176059   41     9088    8840   4181   4106 71.93
1797.95/1798.44	c   383024    160     7083   285270   40    14854    9725   7069   3775 101.45
1797.95/1798.44	c   514576    160     6271   237912   37    13236   10698   6257   3457 148.81
1797.95/1798.44	c   712008    160     9755   351005   35    20186   11768   9741   3241 219.62
1797.95/1798.44	c  1008260    159     9875   390990   39    20442   12945   9861   2960 340.62
1797.95/1798.44	c  1452742    159    11601   439488   37    23893   14240  11587   2639 550.34
1797.95/1798.44	c  2119569    159    12637   533202   42    25963   15665  12623   2462 860.72
1797.95/1798.44	c  3119915    159    13353   523066   39    27389   17232  13339   2276 1370.71
1797.95/1798.44	c Resources Exceeded
1797.95/1798.44	v x1 -x2 x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 x82 x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 x116 -x117 x118 x119 -x120 x121 -x122 x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 x131 -x132 x133 x134 x135 x136 -x137 -x138 -x139 x140 x141 x142 -x143 x144 x145 -x146 -x147 x148 -x149 -x150 x151 x152 x153 x154 x155 x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 -x167 x168 x169 -x170 -x171 -x172 
1797.95/1798.44	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.44	c  108  3899593  88494  4001107    14041   588894  14027   2168 1798.00
1797.95/1798.44	c Objective: 82
1797.95/1798.44	s SATISFIABLE
1797.95/1798.44	c Total time: 1798 s

Verifier Data 

OK	82

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878624-1245177598/watcher-1878624-1245177598 -o /tmp/evaluation-result-1878624-1245177598/solver-1878624-1245177598 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878624-1245177598.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6632
/proc/meminfo: memFree=1908912/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=18520 CPUtime=0
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 185360237 18964480 241 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 4630 241 191 640 0 3986 0

[startup+0.038725 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6632
/proc/meminfo: memFree=1908912/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=10964 CPUtime=0.03
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 328 0 0 0 3 0 0 0 18 0 1 0 185360237 11227136 309 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 2741 309 196 640 0 2097 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10964

[startup+0.101729 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6632
/proc/meminfo: memFree=1908912/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=11220 CPUtime=0.09
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 420 0 0 0 9 0 0 0 18 0 1 0 185360237 11489280 401 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 2805 401 196 640 0 2161 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11220

[startup+0.301742 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6632
/proc/meminfo: memFree=1908912/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=12248 CPUtime=0.29
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 652 0 0 0 29 0 0 0 19 0 1 0 185360237 12541952 633 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 3062 633 196 640 0 2418 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12248

[startup+0.701768 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 6632
/proc/meminfo: memFree=1908912/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=12764 CPUtime=0.69
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 792 0 0 0 69 0 0 0 22 0 1 0 185360237 13070336 773 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 3191 773 196 640 0 2547 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12764

[startup+1.50182 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6633
/proc/meminfo: memFree=1906408/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=13024 CPUtime=1.49
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 847 0 0 0 148 1 0 0 25 0 1 0 185360237 13336576 828 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 3256 828 196 640 0 2612 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13024

[startup+3.10192 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6633
/proc/meminfo: memFree=1906024/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=13540 CPUtime=3.09
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 998 0 0 0 307 2 0 0 25 0 1 0 185360237 13864960 979 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 3385 979 196 640 0 2741 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13540

[startup+6.30113 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6633
/proc/meminfo: memFree=1904744/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=14568 CPUtime=6.29
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 1242 0 0 0 625 4 0 0 25 0 1 0 185360237 14917632 1223 1992294400 134512640 137136520 4294956256 18446744073709551615 134574475 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 3642 1223 196 640 0 2998 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14568

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6633
/proc/meminfo: memFree=1903848/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=15080 CPUtime=12.68
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 1372 0 0 0 1262 6 0 0 25 0 1 0 185360237 15441920 1353 1992294400 134512640 137136520 4294956256 18446744073709551615 134540852 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 3770 1353 196 640 0 3126 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15080

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6633
/proc/meminfo: memFree=1903656/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=15204 CPUtime=25.48
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 1414 0 0 0 2537 11 0 0 25 0 1 0 185360237 15568896 1395 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 3801 1395 196 640 0 3157 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15204

[startup+51.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6633
/proc/meminfo: memFree=1903400/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=15464 CPUtime=51.08
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 1477 0 0 0 5087 21 0 0 25 0 1 0 185360237 15835136 1458 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 3866 1458 196 640 0 3222 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 15464

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6633
/proc/meminfo: memFree=1902440/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=16564 CPUtime=102.27
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 1744 0 0 0 10194 33 0 0 25 0 1 0 185360237 16961536 1725 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 4141 1725 196 640 0 3497 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 16564

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6633
/proc/meminfo: memFree=1901416/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=17440 CPUtime=162.26
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 1974 0 0 0 16176 50 0 0 25 0 1 0 185360237 17858560 1955 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 4360 1955 196 640 0 3716 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 17440

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6633
/proc/meminfo: memFree=1900904/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=17948 CPUtime=222.24
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 2087 0 0 0 22158 66 0 0 25 0 1 0 185360237 18378752 2068 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 4487 2068 196 640 0 3843 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 17948

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6633
/proc/meminfo: memFree=1900328/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=18444 CPUtime=282.22
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 2214 0 0 0 28138 84 0 0 25 0 1 0 185360237 18886656 2195 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 4611 2195 196 640 0 3967 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 18444

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6633
/proc/meminfo: memFree=1899944/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=18804 CPUtime=342.21
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 2301 0 0 0 34122 99 0 0 25 0 1 0 185360237 19255296 2282 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 4701 2282 196 640 0 4057 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 18804

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6633
/proc/meminfo: memFree=1899432/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=19316 CPUtime=402.2
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 2432 0 0 0 40107 113 0 0 25 0 1 0 185360237 19779584 2413 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 4829 2413 196 640 0 4185 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 19316

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6633
/proc/meminfo: memFree=1899368/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=19316 CPUtime=462.18
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 2432 0 0 0 46091 127 0 0 25 0 1 0 185360237 19779584 2413 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 4829 2413 196 640 0 4185 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 19316

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6633
/proc/meminfo: memFree=1899112/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=19652 CPUtime=522.17
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 2512 0 0 0 52077 140 0 0 25 0 1 0 185360237 20123648 2493 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 4913 2493 196 640 0 4269 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 19652

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6633
/proc/meminfo: memFree=1898920/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=19852 CPUtime=582.15
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 2561 0 0 0 58062 153 0 0 25 0 1 0 185360237 20328448 2542 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 4963 2542 196 640 0 4319 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 19852

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6633
/proc/meminfo: memFree=1898856/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=19848 CPUtime=642.14
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 2561 0 0 0 64044 170 0 0 25 0 1 0 185360237 20324352 2542 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 4962 2542 196 640 0 4318 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 19848

[startup+702.302 s]

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

/proc/meminfo: memFree=1897640/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=20780 CPUtime=1122.02
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 2824 0 0 0 111935 267 0 0 25 0 1 0 185360237 21278720 2782 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 5195 2782 196 640 0 4551 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 20780

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6635
/proc/meminfo: memFree=1897576/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=20780 CPUtime=1182.01
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 2824 0 0 0 117922 279 0 0 25 0 1 0 185360237 21278720 2782 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 5195 2782 196 640 0 4551 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 20780

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6635
/proc/meminfo: memFree=1897512/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=20776 CPUtime=1241.99
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 2824 0 0 0 123909 290 0 0 25 0 1 0 185360237 21274624 2782 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 5194 2782 196 640 0 4550 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 20776

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6641
/proc/meminfo: memFree=1897384/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=20876 CPUtime=1301.97
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 2845 0 0 0 129897 300 0 0 25 0 1 0 185360237 21377024 2803 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 5219 2803 196 640 0 4575 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 20876

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6641
/proc/meminfo: memFree=1897256/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=20876 CPUtime=1361.96
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 2855 0 0 0 135884 312 0 0 25 0 1 0 185360237 21377024 2813 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 5219 2813 196 640 0 4575 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 20876

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6641
/proc/meminfo: memFree=1896616/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=21584 CPUtime=1421.95
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 3022 0 0 0 141870 325 0 0 25 0 1 0 185360237 22102016 2980 1992294400 134512640 137136520 4294956256 18446744073709551615 134540860 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 5396 2980 196 640 0 4752 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 21584

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6641
/proc/meminfo: memFree=1896488/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=21692 CPUtime=1481.93
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 3049 0 0 0 147855 338 0 0 25 0 1 0 185360237 22212608 3007 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 5423 3007 196 640 0 4779 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 21692

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6641
/proc/meminfo: memFree=1895848/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=22204 CPUtime=1541.91
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 3188 0 0 0 153840 351 0 0 25 0 1 0 185360237 22736896 3146 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 5551 3146 196 640 0 4907 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 22204

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6641
/proc/meminfo: memFree=1895912/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=22204 CPUtime=1601.89
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 3188 0 0 0 159829 360 0 0 25 0 1 0 185360237 22736896 3146 1992294400 134512640 137136520 4294956256 18446744073709551615 134600302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 5551 3146 196 640 0 4907 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 22204

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6641
/proc/meminfo: memFree=1895848/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=22204 CPUtime=1661.88
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 3188 0 0 0 165817 371 0 0 25 0 1 0 185360237 22736896 3146 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 5551 3146 196 640 0 4907 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 22204

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6641
/proc/meminfo: memFree=1895528/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=22460 CPUtime=1721.86
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 3246 0 0 0 171804 382 0 0 25 0 1 0 185360237 22999040 3204 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 5615 3204 196 640 0 4971 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 22460

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6641
/proc/meminfo: memFree=1895592/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=22460 CPUtime=1781.85
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 3246 0 0 0 177791 394 0 0 25 0 1 0 185360237 22999040 3204 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 5615 3204 196 640 0 4971 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 22460

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6641
/proc/meminfo: memFree=1895592/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=22460 CPUtime=1791.45
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 3246 0 0 0 178749 396 0 0 25 0 1 0 185360237 22999040 3204 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 5615 3204 196 640 0 4971 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 22460

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6641
/proc/meminfo: memFree=1895592/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=22460 CPUtime=1794.66
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 3246 0 0 0 179069 397 0 0 25 0 1 0 185360237 22999040 3204 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 5615 3204 196 640 0 4971 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 22460

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6641
/proc/meminfo: memFree=1895592/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=22460 CPUtime=1796.25
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 3246 0 0 0 179228 397 0 0 25 0 1 0 185360237 22999040 3204 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 5615 3204 196 640 0 4971 0
Current children cumulated CPU time (s) 1796.25
Current children cumulated vsize (KiB) 22460

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6641
/proc/meminfo: memFree=1895592/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=22460 CPUtime=1797.05
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 3246 0 0 0 179308 397 0 0 25 0 1 0 185360237 22999040 3204 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 5615 3204 196 640 0 4971 0
Current children cumulated CPU time (s) 1797.05
Current children cumulated vsize (KiB) 22460

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6641
/proc/meminfo: memFree=1895592/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=22460 CPUtime=1797.45
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 3246 0 0 0 179348 397 0 0 25 0 1 0 185360237 22999040 3204 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 5615 3204 196 640 0 4971 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (KiB) 22460

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6641
/proc/meminfo: memFree=1895592/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=22460 CPUtime=1797.85
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 3246 0 0 0 179388 397 0 0 25 0 1 0 185360237 22999040 3204 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 5615 3204 196 640 0 4971 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 22460

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 6641
/proc/meminfo: memFree=1895592/2055920 swapFree=4181748/4192956
[pid=6632] ppid=6630 vsize=22460 CPUtime=1797.95
/proc/6632/stat : 6632 (bsolo) R 6630 6632 6382 0 -1 4194304 3246 0 0 0 179398 397 0 0 25 0 1 0 185360237 22999040 3204 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6632/statm: 5615 3204 196 640 0 4971 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 22460

Child status: 0
Real time (s): 1798.45
CPU time (s): 1798
CPU user time (s): 1794.02
CPU system time (s): 3.9784
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 22460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.02
system time used= 3.97839
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3248
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= 2
involuntary context switches= 2770

runsolver used 1.47278 second user time and 3.52346 second system time

The end

Launcher Data 

Begin job on node22 at 2009-06-16 20:39:58
IDJOB=1878624
IDBENCH=2924
IDSOLVER=700
FILE ID=node22/1878624-1245177598
PBS_JOBID= 9363893
Free space on /tmp= 66156 MiB

SOLVER NAME= bsolo 3.1 cl
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_7_60_2.opb
COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878624-1245177598/watcher-1878624-1245177598 -o /tmp/evaluation-result-1878624-1245177598/solver-1878624-1245177598 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1878624-1245177598.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= a70b0edfadf87ffd0bc1b32400cae43b
RANDOM SEED=1427405256

node22.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.231
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1909272 kB
Buffers:         36716 kB
Cached:          61004 kB
SwapCached:       5504 kB
Active:          52792 kB
Inactive:        52812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1909272 kB
SwapTotal:     4192956 kB
SwapFree:      4181748 kB
Dirty:            3948 kB
Writeback:           0 kB
Mapped:          12908 kB
Slab:            27088 kB
Committed_AS:   160364 kB
PageTables:       1372 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878624-1245177598.opb

Free space on /tmp at the end= 66152 MiB
End job on node22 at 2009-06-16 21:09:57