Trace number 2656626

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 CardOPT2 1215.19 1215.61

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_3.opb
MD5SUMd26b3b10be20d9248aac462b86b1f040
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark269.719
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
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 constraints8
Minimum length of a constraint45
Maximum length of a constraint46
Number of terms in the objective function 64
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 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 940
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3331
Number of bits of the biggest sum of numbers12
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.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2656626-1276599134.opb
0.00/0.00	c File size is 3596 bytes.
0.00/0.00	c Highest Coefficient sum: 3331
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.001 s
0.00/0.00	c Var: 94 Constr: 8 0/0/8 Lit: 366 Watch. Lit: 108
0.00/0.00	c Obj. Vars: 64 (68.0851 % of total variables)
0.00/0.00	c Pre-processing Time: 0.001 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     94        8      366   45      112     732      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 780
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0     94        9      430   47      302     860      1      0 0.00
0.00/0.01	o 550
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       48     94       94     3597   38      730     860     86   5333 0.01
0.00/0.01	o 394
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       49     94       96     3681   38      785     860     88   4900 0.01
0.00/0.01	o 390
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       61     94      115     4326   37      904     860    107   5083 0.01
0.00/0.01	o 382
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       68     94      124     4572   36      966     860    116   5230 0.01
0.00/0.01	o 380
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       68     94      125     4636   37     1022     860    117   5230 0.01
0.00/0.01	o 372
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       69     94      127     4754   37     1081     860    119   4928 0.01
0.00/0.02	o 325
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c       98     94      160     5692   35     1183     860    152   4900 0.02
0.00/0.03	o 302
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      156     94      223     7446   33     1377     860    215   5032 0.03
0.00/0.03	o 281
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      164     94      236     7902   33     1493     860    228   5125 0.03
0.00/0.03	o 275
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      173     94      249     8297   33     1568     860    241   5088 0.03
0.00/0.04	o 126
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      210     94      294     9701   32     1691     860    286   5000 0.04
0.00/0.04	o 124
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      211     94      296     9817   33     1748     860    288   5023 0.04
0.00/0.04	o 115
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c      211     94      297     9881   33     1763     860    289   5023 0.04
0.00/0.04	o 103
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      213     94      300    10037   33     1819     860    292   4953 0.04
0.00/0.05	o 101
0.05/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.08	c      250     92      342    11015   32     1904     856    334   5000 0.05
0.05/0.08	c      351     90      458    13951   30     2186     942    450   5238 0.07
0.05/0.08	o 99
0.05/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.08	c      424     89      533    15461   29     2356     850    525   5300 0.08
0.05/0.08	o 69
0.05/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.05/0.09	c      463     89      574    16424   28     2456     850    566   5321 0.09
0.05/0.09	o 65
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      493     89      608    17847   29     2549     850    600   5301 0.09
0.09/0.10	o 46
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      557     89      673    18964   28     2852     850    665   5355 0.10
0.09/0.10	o 44
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c      558     89      676    19110   28     2921     850    668   5314 0.10
0.09/0.10	o 42
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c      570     86      690    19467   28     2974     844    682   5327 0.11
0.19/0.22	c      670     81      792    21497   27     3154     929    784   5234 0.13
0.19/0.22	c      920     80      562    12195   21     1396    1022    554   5348 0.17
0.19/0.22	o 37
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c     1230     78      873    18592   21     2059     828    865   5590 0.22
0.19/0.22	o 35
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c     1246     78      457     9673   21     1220     828    449   5562 0.22
0.19/0.24	c     1346     78      557    11780   21     1413     911    549   5608 0.24
0.19/0.24	o 31
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c     1392     78      606    12942   21     1570     828    598   5635 0.25
0.19/0.25	o 27
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c     1402     77      618    13326   21     1650     826    610   5630 0.25
0.19/0.27	c     1503     70      719    15522   21     1842     909    711   5629 0.27
0.19/0.27	o 25
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c     1560     70      777    16876   21     1993     812    769   5611 0.28
0.29/0.33	c     1660     70      454     9792   21     1151     894    446   5589 0.30
0.29/0.33	o 24
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c     1892     70      687    15134   22     1652     812    679   5614 0.34
0.29/0.35	c     1992     70      787    17371   22     1857     894    779   5627 0.35
0.29/0.35	o 19
0.29/0.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.35	c     1998     70      794    17554   22     1907     812    786   5628 0.35
0.29/0.35	o 17
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c     2002     70      799    17697   22     1954     812    791   5623 0.36
0.29/0.36	o 15
0.29/0.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.36	c     2023     70      822    18287   22     2046     812    814   5619 0.36
0.29/0.36	o 13
0.69/0.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.70	c     2030     69      831    18536   22     2105     810    823   5623 0.36
0.69/0.70	c     2130     64      514    11176   21     1262     892    506   5590 0.38
0.69/0.70	c     2380     63      764    16877   22     1757     982    756   5626 0.42
0.69/0.70	c     2856     62      737    15959   21     1703    1081    729   5644 0.51
0.69/0.70	c     3670     62     1000    21927   21     2230    1190    992   5663 0.65
0.69/0.70	o 10
2.09/2.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.09/2.20	c     3961     62      686    15117   22     1633     796    678   5658 0.70
2.09/2.20	c     4062     62      787    17303   21     1835     876    779   5665 0.72
2.09/2.20	c     4312     62      588    12824   21     1403     964    580   5666 0.76
2.09/2.20	c     4787     62      569    12069   21     1356    1061    561   5671 0.84
2.09/2.20	c     5600     62      840    18275   21     1901    1168    832   5708 0.98
2.09/2.20	c     6920     62      969    21485   22     2156    1285    961   5714 1.21
2.09/2.20	c     9001     62     1081    24065   22     2386    1414   1073   5668 1.59
2.09/2.20	c    12224     62     1402    31644   22     3026    1556   1394   5604 2.18
2.09/2.20	o 9
2.79/2.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.79/2.80	c    12324     62     1503    33914   22     3258     796   1495   5599 2.20
2.79/2.80	c    12424     62      539    11920   22     1306     876    531   5591 2.22
2.79/2.80	c    12674     62      789    17481   22     1799     964    781   5598 2.26
2.79/2.80	c    13150     62      774    16729   21     1773    1061    766   5602 2.35
2.79/2.80	c    13964     62     1047    23413   22     2317    1168   1039   5619 2.48
2.79/2.80	c    15285     62     1183    26488   22     2585    1285   1175   5636 2.71
2.79/2.80	o 8
3.99/4.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.99/4.08	c    15816     62     1062    24195   22     2376     796   1054   5640 2.80
3.99/4.08	c    15916     59      540    11895   22     1295     876    532   5639 2.82
3.99/4.08	c    16166     58      791    17440   22     1793     964    783   5648 2.86
3.99/4.08	c    16641     57      772    16706   21     1758    1061    764   5650 2.94
3.99/4.08	c    17454     57     1044    22767   21     2304    1168   1036   5655 3.09
3.99/4.08	c    18774     56     1175    26062   22     2563    1285   1167   5659 3.32
3.99/4.08	c    20858     55     1294    28236   21     2802    1414   1286   5641 3.70
3.99/4.08	o 6
8.80/8.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.80/8.84	c    22948     54     1224    26008   21     2677     780   1216   5624 4.08
8.80/8.84	c    23048     54      539    10916   20     1273     859    531   5622 4.10
8.80/8.84	c    23298     54      789    16450   20     1778     945    781   5626 4.14
8.80/8.84	c    23773     54      777    16781   21     1753    1040    769   5637 4.22
8.80/8.84	c    24587     54     1053    22906   21     2308    1145   1045   5636 4.36
8.80/8.84	c    25907     54      622    13462   21     1445    1260    614   5625 4.61
8.80/8.84	c    27988     54      788    17316   21     1776    1387    780   5622 4.98
8.80/8.84	c    31211     54     1175    26042   22     2552    1526   1167   5607 5.57
8.80/8.84	c    36147     54     1427    31626   22     3049    1679   1419   5545 6.52
8.80/8.84	c    43654     54     1226    27429   22     2656    1847   1218   5451 8.01
8.80/8.84	o 4
10.59/10.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.59/10.61	c    47910     54     1722    38626   22     3667     780   1714   5419 8.84
10.59/10.61	c    48010     52      539    11541   21     1275     859    531   5416 8.86
10.59/10.61	c    48260     52      789    17038   21     1777     945    781   5417 8.91
10.59/10.61	c    48736     52      782    16548   21     1763    1040    774   5418 8.99
10.59/10.61	c    49549     52     1063    23075   21     2324    1145   1055   5421 9.14
10.59/10.61	c    50869     51      625    13355   21     1446    1260    617   5423 9.38
10.59/10.61	c    52952     51      783    16651   21     1761    1387    775   5425 9.76
10.59/10.61	c    56177     49     1179    25515   21     2550    1526   1171   5418 10.37
10.59/10.61	o 3
89.15/89.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
89.15/89.20	c    57397     49      834    18046   21     1876     770    826   5411 10.61
89.15/89.20	c    57497     49      539    11385   21     1261     848    531   5410 10.63
89.15/89.20	c    57748     49      790    17053   21     1766     933    782   5413 10.67
89.15/89.20	c    58224     49      786    16837   21     1758    1027    778   5416 10.75
89.15/89.20	c    59037     49     1074    22900   21     2336    1130   1066   5417 10.90
89.15/89.20	c    60358     49      668    14038   21     1521    1244    660   5421 11.13
89.15/89.20	c    62439     49      848    17644   20     1884    1369    840   5423 11.51
89.15/89.20	c    65662     49     1282    27555   21     2749    1506   1274   5416 12.12
89.15/89.20	c    70599     48      822    17904   21     1830    1657    814   5403 13.06
89.15/89.20	c    78105     48     1568    34538   22     3315    1823   1560   5380 14.52
89.15/89.20	c    89467     47     1773    37676   21     3730    2006   1765   5312 16.84
89.15/89.20	c   106611     47     1581    34875   22     3344    2207   1573   5224 20.41
89.15/89.20	c   132430     47     1613    35029   21     3409    2428   1605   5103 25.95
89.15/89.20	c   171262     46     2220    49303   22     4622    2671   2212   4983 34.37
89.15/89.20	c   229615     46     2429    52458   21     5041    2939   2421   4812 47.71
89.15/89.20	c   317248     46     2324    52257   22     4829    3233   2316   4659 68.09
89.15/89.20	o 2
1215.17/1215.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1215.17/1215.61	c   401730     46     1830    40364   22     3859     764   1822   4505 89.17
1215.17/1215.61	c   401830     46      539    11234   20     1252     841    531   4505 89.19
1215.17/1215.61	c   402081     46      790    16754   21     1760     926    782   4506 89.23
1215.17/1215.61	c   402556     44      792    16580   20     1760    1019    784   4507 89.32
1215.17/1215.61	c   403371     44      569    11883   20     1309    1121    561   4508 89.46
1215.17/1215.61	c   404693     44      751    15312   20     1678    1234    743   4511 89.70
1215.17/1215.61	c   406774     44      935    19962   21     2039    1358    927   4515 90.08
1215.17/1215.61	c   409997     44     1400    30243   21     2970    1494   1392   4520 90.70
1215.17/1215.61	c   414933     43      991    21185   21     2154    1644    983   4527 91.65
1215.17/1215.61	c   422439     43      957    20168   21     2084    1809    949   4534 93.17
1215.17/1215.61	c   433801     43     1273    27472   21     2720    1990   1265   4542 95.50
1215.17/1215.61	c   450947     43     1208    26059   21     2586    2190   1200   4552 99.06
1215.17/1215.61	c   476767     42     1437    30720   21     3046    2410   1429   4562 104.49
1215.17/1215.61	c   515599     42     2362    51910   21     4890    2652   2354   4563 112.97
1215.17/1215.61	c   573952     41     1574    34466   21     3317    2918   1566   4548 126.18
1215.17/1215.61	c   661585     41     2100    46485   22     4366    3210   2092   4497 147.09
1215.17/1215.61	c   793138     41     2205    46739   21     4579    3532   2197   4411 179.78
1215.17/1215.61	c   990570     39     3330    74033   22     6821    3886   3322   4326 228.98
1215.17/1215.61	c  1286822     39     3551    78069   21     7264    4275   3543   4192 306.96
1215.17/1215.61	c  1731304     39     4222    95147   22     8605    4703   4214   4050 427.46
1215.17/1215.61	c  2398131     39     3125    69803   22     6417    5174   3117   3872 619.22
1215.17/1215.61	c  3398477     38     3530    73365   20     7222    5692   3522   3676 924.47
1215.17/1215.61	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 
1215.17/1215.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1215.17/1215.61	c  120  4303673  13268  4319794     4721    70959   4713   3541 1215.19
1215.17/1215.61	c Objective: 2
1215.17/1215.61	s OPTIMUM FOUND
1215.17/1215.61	c Total time: 1215.19 s

Verifier Data 

OK	2

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656626-1276599134/watcher-2656626-1276599134 -o /tmp/evaluation-result-2656626-1276599134/solver-2656626-1276599134 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656626-1276599134.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.02 1.12 1.07 3/106 9184
/proc/meminfo: memFree=1539904/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=26412 CPUtime=0
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 330 0 0 0 0 0 0 0 24 0 1 0 1205730 27045888 247 1992294400 134512640 137138936 4289495024 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 6603 247 192 642 0 5959 0

[startup+0.0592649 s]
/proc/loadavg: 1.02 1.12 1.07 3/106 9184
/proc/meminfo: memFree=1539904/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=18728 CPUtime=0.05
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 374 0 0 0 5 0 0 0 24 0 1 0 1205730 19177472 291 1992294400 134512640 137138936 4289495024 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 4682 291 192 642 0 4038 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18728

[startup+0.101272 s]
/proc/loadavg: 1.02 1.12 1.07 3/106 9184
/proc/meminfo: memFree=1539904/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=18856 CPUtime=0.09
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 401 0 0 0 9 0 0 0 24 0 1 0 1205730 19308544 318 1992294400 134512640 137138936 4289495024 18446744073709551615 134542811 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 4714 318 192 642 0 4070 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18856

[startup+0.301309 s]
/proc/loadavg: 1.02 1.12 1.07 3/106 9184
/proc/meminfo: memFree=1539904/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=18980 CPUtime=0.29
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 433 0 0 0 29 0 0 0 25 0 1 0 1205730 19435520 350 1992294400 134512640 137138936 4289495024 18446744073709551615 136511215 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 4745 350 192 642 0 4101 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18980

[startup+0.701379 s]
/proc/loadavg: 1.02 1.12 1.07 3/106 9184
/proc/meminfo: memFree=1539904/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=18984 CPUtime=0.69
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 443 0 0 0 69 0 0 0 25 0 1 0 1205730 19439616 360 1992294400 134512640 137138936 4289495024 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 4746 360 192 642 0 4102 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18984

[startup+1.50152 s]
/proc/loadavg: 1.02 1.12 1.07 2/107 9185
/proc/meminfo: memFree=1539028/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=19112 CPUtime=1.49
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 454 0 0 0 148 1 0 0 25 0 1 0 1205730 19570688 371 1992294400 134512640 137138936 4289495024 18446744073709551615 134576551 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 4778 371 192 642 0 4134 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19112

[startup+3.10081 s]
/proc/loadavg: 1.02 1.12 1.07 2/107 9185
/proc/meminfo: memFree=1538780/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=19112 CPUtime=3.09
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 471 0 0 0 307 2 0 0 25 0 1 0 1205730 19570688 388 1992294400 134512640 137138936 4289495024 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 4778 388 192 642 0 4134 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19112

[startup+6.30138 s]
/proc/loadavg: 1.02 1.11 1.07 2/107 9185
/proc/meminfo: memFree=1538656/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=19112 CPUtime=6.29
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 481 0 0 0 626 3 0 0 25 0 1 0 1205730 19570688 398 1992294400 134512640 137138936 4289495024 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 4778 398 192 642 0 4134 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19112

[startup+12.7005 s]
/proc/loadavg: 1.01 1.11 1.07 2/107 9185
/proc/meminfo: memFree=1538284/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=19240 CPUtime=12.69
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 512 0 0 0 1261 8 0 0 25 0 1 0 1205730 19701760 429 1992294400 134512640 137138936 4289495024 18446744073709551615 136521011 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 4810 429 192 642 0 4166 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19240

[startup+25.5008 s]
/proc/loadavg: 1.01 1.11 1.06 2/107 9185
/proc/meminfo: memFree=1538160/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=19492 CPUtime=25.49
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 550 0 0 0 2534 15 0 0 25 0 1 0 1205730 19959808 467 1992294400 134512640 137138936 4289495024 18446744073709551615 134607601 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 4873 467 192 642 0 4229 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19492

[startup+51.1014 s]
/proc/loadavg: 1.01 1.10 1.06 2/107 9185
/proc/meminfo: memFree=1537788/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=19752 CPUtime=51.07
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 625 0 0 0 5079 28 0 0 25 0 1 0 1205730 20226048 542 1992294400 134512640 137138936 4289495024 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 4938 542 192 642 0 4294 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19752

[startup+102.309 s]
/proc/loadavg: 1.00 1.08 1.06 2/107 9187
/proc/meminfo: memFree=1537664/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=19880 CPUtime=102.26
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 656 0 0 0 10170 56 0 0 25 0 1 0 1205730 20357120 573 1992294400 134512640 137138936 4289495024 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 4970 573 192 642 0 4326 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 19880

[startup+162.301 s]
/proc/loadavg: 1.00 1.06 1.05 2/107 9189
/proc/meminfo: memFree=1537664/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=19880 CPUtime=162.23
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 656 0 0 0 16134 89 0 0 25 0 1 0 1205730 20357120 573 1992294400 134512640 137138936 4289495024 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 4970 573 192 642 0 4326 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 19880

[startup+222.301 s]
/proc/loadavg: 1.00 1.05 1.05 2/107 9191
/proc/meminfo: memFree=1537540/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20004 CPUtime=222.21
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 686 0 0 0 22100 121 0 0 25 0 1 0 1205730 20484096 603 1992294400 134512640 137138936 4289495024 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5001 603 192 642 0 4357 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 20004

[startup+282.301 s]
/proc/loadavg: 1.00 1.04 1.04 2/107 9193
/proc/meminfo: memFree=1537416/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20132 CPUtime=282.19
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 720 0 0 0 28071 148 0 0 25 0 1 0 1205730 20615168 637 1992294400 134512640 137138936 4289495024 18446744073709551615 136500432 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5033 637 192 642 0 4389 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 20132

[startup+342.301 s]
/proc/loadavg: 1.00 1.03 1.03 2/107 9193
/proc/meminfo: memFree=1537168/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20264 CPUtime=342.17
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 762 0 0 0 34041 176 0 0 25 0 1 0 1205730 20750336 679 1992294400 134512640 137138936 4289495024 18446744073709551615 134542805 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5066 679 192 642 0 4422 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 20264

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.03 2/107 9195
/proc/meminfo: memFree=1537044/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20264 CPUtime=402.16
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 762 0 0 0 40010 206 0 0 25 0 1 0 1205730 20750336 679 1992294400 134512640 137138936 4289495024 18446744073709551615 134542799 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5066 679 192 642 0 4422 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 20264

[startup+462.301 s]
/proc/loadavg: 1.00 1.02 1.02 2/107 9197
/proc/meminfo: memFree=1536796/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20508 CPUtime=462.14
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 809 0 0 0 45981 233 0 0 25 0 1 0 1205730 21000192 726 1992294400 134512640 137138936 4289495024 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5127 726 192 642 0 4483 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 20508

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.02 2/107 9199
/proc/meminfo: memFree=1536796/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20508 CPUtime=522.12
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 809 0 0 0 51953 259 0 0 25 0 1 0 1205730 21000192 726 1992294400 134512640 137138936 4289495024 18446744073709551615 136504426 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5127 726 192 642 0 4483 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 20508

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.01 2/107 9210
/proc/meminfo: memFree=1535556/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20508 CPUtime=582.08
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 809 0 0 0 57922 286 0 0 25 0 1 0 1205730 21000192 726 1992294400 134512640 137138936 4289495024 18446744073709551615 136511183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5127 726 192 642 0 4483 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 20508

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9210
/proc/meminfo: memFree=1535556/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20640 CPUtime=642.06
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 853 0 0 0 63893 313 0 0 25 0 1 0 1205730 21135360 770 1992294400 134512640 137138936 4289495024 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5160 770 192 642 0 4516 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 20640

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9212
/proc/meminfo: memFree=1535556/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20640 CPUtime=702.04
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 854 0 0 0 69862 342 0 0 25 0 1 0 1205730 21135360 771 1992294400 134512640 137138936 4289495024 18446744073709551615 134602724 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5160 771 192 642 0 4516 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 20640

[startup+762.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9214
/proc/meminfo: memFree=1535556/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20640 CPUtime=762.03
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 856 0 0 0 75836 367 0 0 25 0 1 0 1205730 21135360 773 1992294400 134512640 137138936 4289495024 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5160 773 192 642 0 4516 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 20640

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9216
/proc/meminfo: memFree=1535556/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20640 CPUtime=822
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 856 0 0 0 81809 391 0 0 25 0 1 0 1205730 21135360 773 1992294400 134512640 137138936 4289495024 18446744073709551615 135984545 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5160 773 192 642 0 4516 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 20640

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9218
/proc/meminfo: memFree=1535556/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20640 CPUtime=881.98
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 856 0 0 0 87783 415 0 0 25 0 1 0 1205730 21135360 773 1992294400 134512640 137138936 4289495024 18446744073709551615 134618164 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5160 773 192 642 0 4516 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 20640

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9218
/proc/meminfo: memFree=1535556/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20768 CPUtime=941.95
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 887 0 0 0 93754 441 0 0 25 0 1 0 1205730 21266432 804 1992294400 134512640 137138936 4289495024 18446744073709551615 134551170 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5192 804 192 642 0 4548 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 20768

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9220
/proc/meminfo: memFree=1535556/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20768 CPUtime=1001.94
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 890 0 0 0 99728 466 0 0 25 0 1 0 1205730 21266432 807 1992294400 134512640 137138936 4289495024 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5192 807 192 642 0 4548 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 20768

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9222
/proc/meminfo: memFree=1535556/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20768 CPUtime=1061.92
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 892 0 0 0 105703 489 0 0 25 0 1 0 1205730 21266432 809 1992294400 134512640 137138936 4289495024 18446744073709551615 134617982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5192 809 192 642 0 4548 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 20768

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9224
/proc/meminfo: memFree=1535556/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20768 CPUtime=1121.9
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 892 0 0 0 111676 514 0 0 25 0 1 0 1205730 21266432 809 1992294400 134512640 137138936 4289495024 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5192 809 192 642 0 4548 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 20768

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9226
/proc/meminfo: memFree=1535556/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20768 CPUtime=1181.88
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 892 0 0 0 117648 540 0 0 25 0 1 0 1205730 21266432 809 1992294400 134512640 137138936 4289495024 18446744073709551615 134542532 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5192 809 192 642 0 4548 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 20768

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

[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9226
/proc/meminfo: memFree=1535556/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20768 CPUtime=1189.88
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 892 0 0 0 118445 543 0 0 25 0 1 0 1205730 21266432 809 1992294400 134512640 137138936 4289495024 18446744073709551615 135984577 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5192 809 192 642 0 4548 0
Current children cumulated CPU time (s) 1189.88
Current children cumulated vsize (KiB) 20768

[startup+1203.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9226
/proc/meminfo: memFree=1535556/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20768 CPUtime=1202.67
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 892 0 0 0 119720 547 0 0 25 0 1 0 1205730 21266432 809 1992294400 134512640 137138936 4289495024 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5192 809 192 642 0 4548 0
Current children cumulated CPU time (s) 1202.67
Current children cumulated vsize (KiB) 20768

[startup+1209.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9226
/proc/meminfo: memFree=1535556/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20768 CPUtime=1209.07
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 892 0 0 0 120357 550 0 0 25 0 1 0 1205730 21266432 809 1992294400 134512640 137138936 4289495024 18446744073709551615 134618533 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5192 809 192 642 0 4548 0
Current children cumulated CPU time (s) 1209.07
Current children cumulated vsize (KiB) 20768

[startup+1212.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9226
/proc/meminfo: memFree=1535556/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20768 CPUtime=1212.27
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 892 0 0 0 120677 550 0 0 25 0 1 0 1205730 21266432 809 1992294400 134512640 137138936 4289495024 18446744073709551615 134618140 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5192 809 192 642 0 4548 0
Current children cumulated CPU time (s) 1212.27
Current children cumulated vsize (KiB) 20768

[startup+1214.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9226
/proc/meminfo: memFree=1535556/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20768 CPUtime=1213.88
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 892 0 0 0 120837 551 0 0 25 0 1 0 1205730 21266432 809 1992294400 134512640 137138936 4289495024 18446744073709551615 136502088 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5192 809 192 642 0 4548 0
Current children cumulated CPU time (s) 1213.88
Current children cumulated vsize (KiB) 20768

[startup+1215.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9226
/proc/meminfo: memFree=1535556/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20768 CPUtime=1214.67
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 892 0 0 0 120916 551 0 0 25 0 1 0 1205730 21266432 809 1992294400 134512640 137138936 4289495024 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5192 809 192 642 0 4548 0
Current children cumulated CPU time (s) 1214.67
Current children cumulated vsize (KiB) 20768

[startup+1215.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9226
/proc/meminfo: memFree=1535556/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20768 CPUtime=1215.07
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 892 0 0 0 120956 551 0 0 25 0 1 0 1205730 21266432 809 1992294400 134512640 137138936 4289495024 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5192 809 192 642 0 4548 0
Current children cumulated CPU time (s) 1215.07
Current children cumulated vsize (KiB) 20768

[startup+1215.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 9226
/proc/meminfo: memFree=1535556/2059040 swapFree=4192956/4192956
[pid=9184] ppid=9182 vsize=20768 CPUtime=1215.17
/proc/9184/stat : 9184 (bsolo_pb10) R 9182 9184 2337 0 -1 4202496 892 0 0 0 120966 551 0 0 25 0 1 0 1205730 21266432 809 1992294400 134512640 137138936 4289495024 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/9184/statm: 5192 809 192 642 0 4548 0
Current children cumulated CPU time (s) 1215.17
Current children cumulated vsize (KiB) 20768

Child status: 0
Real time (s): 1215.61
CPU time (s): 1215.19
CPU user time (s): 1209.67
CPU system time (s): 5.51816
CPU usage (%): 99.9652
Max. virtual memory (cumulated for all children) (KiB): 20768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1209.67
system time used= 5.51816
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 893
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= 1
involuntary context switches= 4764

runsolver used 2.09668 second user time and 5.65114 second system time

The end

Launcher Data 

Begin job on node044 at 2010-06-15 12:52:14
IDJOB=2656626
IDBENCH=2896
IDSOLVER=1162
FILE ID=node044/2656626-1276599134
PBS_JOBID= 11173567
Free space on /tmp= 62588 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_3.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656626-1276599134/watcher-2656626-1276599134 -o /tmp/evaluation-result-2656626-1276599134/solver-2656626-1276599134 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656626-1276599134.opb

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

MD5SUM BENCH= d26b3b10be20d9248aac462b86b1f040
RANDOM SEED=508748853

node044.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.266
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.53
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.266
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1540432 kB
Buffers:         48560 kB
Cached:         344164 kB
SwapCached:          0 kB
Active:         186716 kB
Inactive:       265404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1540432 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3972 kB
Writeback:          24 kB
AnonPages:       59416 kB
Mapped:          15376 kB
Slab:            44712 kB
PageTables:       4000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180332 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62584 MiB
End job on node044 at 2010-06-15 13:12:30