Trace number 1877204

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.1OPT1 298.954 299.043

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_4.opb
MD5SUM1757d8d914b8f8f6b2c05049538ae81a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark22.0466
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
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 constraint44
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 869
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3118
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.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 1800 MB
0.00/0.00	c Instance file HOME/instance-1877204-1245178011.opb
0.00/0.00	c File size is 3578 bytes.
0.00/0.00	c Highest Coefficient sum: 3118
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 94 Constr: 8 0/0/8 Lit: 364 Watch. Lit: 106
0.00/0.00	c Obj. Vars: 64 (68.0851 % of total variables)
0.00/0.00	c Pre-processing Time: 0 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      364   45      110     728      0 -2147483648 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 844
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0     94        9      428   47      301     856      1 -2147483648 0.00
0.00/0.00	o 790
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        2     94       12      552   46      364     856      4   2000 0.00
0.00/0.00	o 329
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        3     94       14      652   46      401     856      6   3000 0.00
0.00/0.00	o 328
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       13     94       25      966   38      471     856     17   6500 0.00
0.00/0.00	o 207
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       15     94       28     1098   39      506     856     20   5000 0.00
0.00/0.00	o 205
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       16     94       30     1178   39      558     856     22   5333 0.00
0.00/0.00	o 201
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       16     94       31     1242   40      617     856     23   5333 0.00
0.00/0.00	o 178
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       23     94       40     1596   39      697     856     32   5750 0.00
0.00/0.01	o 170
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       80     94       98     2765   28      863     856     90   7272 0.01
0.00/0.01	o 166
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c       85     94      104     3026   29      927     856     96   7083 0.01
0.00/0.02	o 150
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      122     94      145     4142   28     1089     856    137   6777 0.02
0.00/0.02	o 148
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      127     94      151     4385   29     1146     856    143   6684 0.02
0.00/0.02	o 146
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      128     94      153     4502   29     1212     856    145   6736 0.02
0.00/0.02	o 132
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      130     94      156     4661   29     1280     856    148   6500 0.02
0.00/0.02	o 130
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      132     94      159     4780   30     1346     856    151   6285 0.02
0.00/0.02	o 119
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      148     94      176     5201   29     1423     856    168   6166 0.02
0.00/0.02	o 109
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c      156     94      185     5601   30     1504     856    177   6000 0.03
0.00/0.02	o 107
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c      164     93      194     5871   30     1584     854    186   6074 0.03
0.00/0.03	o 105
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      173     93      204     6297   30     1664     854    196   5965 0.03
0.00/0.05	c      273     92      304     8766   28     1860     940    296   5808 0.05
0.00/0.05	o 103
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      296     91      328     9358   28     1962     850    320   5803 0.05
0.00/0.05	o 92
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c      304     91      338     9595   28     2025     850    330   5735 0.05
0.00/0.05	o 90
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c      314     91      350     9901   28     2105     850    342   5709 0.06
0.00/0.07	o 86
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c      397     90      435    11617   26     2319     848    427   5671 0.07
0.00/0.07	o 82
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c      405     90      444    11883   26     2387     848    436   5704 0.07
0.00/0.07	o 74
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c      408     90      448    12017   26     2455     848    440   5666 0.07
0.00/0.07	o 72
0.00/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.07	c      408     90      449    12077   26     2500     848    441   5589 0.07
0.00/0.07	o 68
0.00/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.08	c      411     90      453    12293   27     2563     848    445   5554 0.07
0.00/0.08	o 66
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c      483     88      527    13821   26     2780     844    519   5616 0.09
0.09/0.15	c      584     88      629    15720   24     3021     929    621   5669 0.10
0.09/0.15	c      837     88      882    20299   23     3522    1022    874   5732 0.15
0.09/0.15	o 59
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c      866     87      912    20970   22     3590     842    904   5735 0.15
0.09/0.16	o 45
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c      910     83      483     9837   20     1298     834    475   5723 0.16
0.09/0.16	o 41
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c      911     83      485     9918   20     1353     834    477   5729 0.16
0.09/0.16	o 39
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c      913     83      488    10052   20     1410     834    480   5706 0.16
0.09/0.16	o 34
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c      931     82      507    10549   20     1496     832    499   5711 0.16
0.09/0.16	o 32
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c      938     82      515    10791   20     1562     832    507   5719 0.16
0.09/0.19	c     1039     78      617    13260   21     1762     916    609   5804 0.18
0.09/0.19	o 29
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c     1126     77      705    15259   21     1994     822    697   5834 0.19
0.19/0.23	c     1226     75      805    17619   21     2184     905    797   5866 0.21
0.19/0.23	o 16
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c     1372     72      484    11020   22     1222     812    476   5838 0.23
0.19/0.24	o 12
0.49/0.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.59	c     1444     65      559    12604   22     1393     798    551   5893 0.24
0.49/0.59	c     1544     64      660    14754   22     1589     878    652   6007 0.26
0.49/0.59	c     1794     63      910    20378   22     2084     966    902   6164 0.29
0.49/0.59	c     2269     63      884    19591   22     1997    1063    876   6373 0.36
0.49/0.59	c     3082     62      607    13239   21     1441    1170    599   6502 0.47
0.49/0.59	o 11
0.59/0.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.69	c     3940     62      872    18815   21     1997     792    864   6610 0.60
0.59/0.69	c     4040     62      537    11447   21     1300     872    529   6622 0.61
0.59/0.69	c     4290     62      787    16654   21     1802     960    779   6661 0.64
0.59/0.69	o 10
0.79/0.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.88	c     4647     62      652    13230   20     1559     792    644   6686 0.69
0.79/0.88	c     4747     62      752    15400   20     1762     872    744   6695 0.71
0.79/0.88	c     4997     62      557    11377   20     1339     960    549   6698 0.75
0.79/0.88	c     5473     62      546    11047   20     1318    1057    538   6715 0.81
0.79/0.88	o 9
0.89/0.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.93	c     5909     62      983    20130   20     2222     792    975   6730 0.88
0.89/0.93	c     6010     62      538    10758   19     1305     872    530   6737 0.89
0.89/0.93	c     6262     62      790    16257   20     1805     960    782   6762 0.93
0.89/0.93	o 7
0.89/0.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.94	c     6324     62      853    17596   20     1960     792    845   6763 0.94
0.89/0.94	o 5
2.78/2.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.78/2.89	c     6344     59      458     9359   20     1162     786    450   6756 0.94
2.78/2.89	c     6444     56      559    11328   20     1361     865    551   6768 0.95
2.78/2.89	c     6695     55      810    16456   20     1864     952    802   6762 0.99
2.78/2.89	c     7170     55      800    16105   20     1807    1048    792   6783 1.06
2.78/2.89	c     7983     54     1078    22384   20     2364    1153   1070   6805 1.17
2.78/2.89	c     9303     54      638    13064   20     1481    1269    630   6805 1.37
2.78/2.89	c    11384     54      781    16191   20     1769    1396    773   6744 1.69
2.78/2.89	c    14607     54     1162    24274   20     2534    1536   1154   6679 2.19
2.78/2.89	o 3
17.39/17.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.39/17.49	c    18955     54      817    17097   20     1835     776    809   6554 2.89
17.39/17.49	c    19056     51      519    10623   20     1233     854    511   6557 2.91
17.39/17.49	c    19307     51      770    16025   20     1732     940    762   6569 2.94
17.39/17.49	c    19783     51      762    15444   20     1719    1035    754   6581 3.01
17.39/17.49	c    20596     51     1044    21293   20     2281    1139   1036   6601 3.12
17.39/17.49	c    21917     51      622    12227   19     1440    1253    614   6615 3.31
17.39/17.49	c    24000     49      787    16070   20     1766    1379    779   6639 3.62
17.39/17.49	c    27223     48     1209    24309   20     2607    1517   1201   6623 4.11
17.39/17.49	c    32159     46     1500    31096   20     3186    1669   1492   6607 4.87
17.39/17.49	c    39665     46     1359    27708   20     2902    1836   1351   6547 6.06
17.39/17.49	c    51026     46     1515    29798   19     3218    2020   1507   6504 7.84
17.39/17.49	c    68170     46     1236    25614   20     2703    2223   1228   6357 10.72
17.39/17.49	c    93990     46     2254    48745   21     4697    2446   2246   6195 15.17
17.39/17.49	o 2
22.18/22.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.18/22.22	c   106922     46     1586    33515   21     3398     760   1578   6113 17.49
22.18/22.22	c   107022     44      537    10635   19     1250     837    529   6113 17.51
22.18/22.22	c   107272     44      787    16016   20     1749     921    779   6117 17.54
22.18/22.22	c   107748     43      791    16001   20     1757    1014    783   6122 17.60
22.18/22.22	c   108561     43      567    11366   20     1308    1116    559   6131 17.71
22.18/22.22	c   109881     43      741    14943   20     1654    1228    733   6145 17.88
22.18/22.22	c   111962     42      946    18967   20     2066    1351    938   6165 18.16
22.18/22.22	c   115186     42      737    15047   20     1648    1487    729   6193 18.60
22.18/22.22	c   120123     42     1130    23119   20     2432    1636   1122   6220 19.31
22.18/22.22	c   127629     42     1133    23309   20     2439    1800   1125   6254 20.41
22.18/22.22	c   138990     41     1477    30603   20     3127    1981   1469   6289 22.10
22.18/22.22	o 1
298.90/299.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
298.90/299.04	c   139721     41     1197    24704   20     2573     750   1189   6290 22.21
298.90/299.04	c   139821     30      538    10519   19     1238     826    530   6290 22.23
298.90/299.04	c   140071     30      788    15625   19     1740     909    780   6293 22.26
298.90/299.04	c   140547     30      792    15518   19     1749    1000    784   6296 22.32
298.90/299.04	c   141360     30      564    10965   19     1286    1101    556   6303 22.42
298.90/299.04	c   142680     30      742    14915   20     1645    1212    734   6316 22.59
298.90/299.04	c   144764     30      943    19259   20     2050    1334    935   6331 22.86
298.90/299.04	c   147987     30      731    15011   20     1628    1468    723   6345 23.32
298.90/299.04	c   152926     30     1127    23017   20     2413    1615   1119   6366 24.02
298.90/299.04	c   160435     30     1152    23822   20     2459    1777   1144   6391 25.10
298.90/299.04	c   171799     30     1546    31811   20     3251    1955   1538   6423 26.75
298.90/299.04	c   188943     30     1658    35419   21     3479    2151   1650   6456 29.27
298.90/299.04	c   214762     30     2128    44225   20     4418    2367   2120   6510 32.98
298.90/299.04	c   253594     30     2276    47038   20     4715    2604   2268   6477 39.15
298.90/299.04	c   311947     30     2203    44339   20     4564    2865   2195   6316 49.38
298.90/299.04	c   399582     30     2436    49193   20     5032    3152   2428   6086 65.65
298.90/299.04	c   531135     30     2694    54284   20     5547    3468   2686   5852 90.75
298.90/299.04	c   728567     30     3057    64891   21     6270    3815   3049   5547 131.34
298.90/299.04	c  1024819     30     3645    74126   20     7452    4197   3637   5390 190.10
298.90/299.04	c  1469304     27     2516    44722   17     5183    4617   2508   5125 286.67
298.90/299.04	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 -x76 x77 x78 x79 x80 x81 -x82 x83 x84 -x85 -x86 -x87 -x88 -x89 x90 -x91 x92 x93 -x75 x94 
298.90/299.04	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
298.90/299.04	c  109  1525867   2640  1531258     3197    48214   3189   5104 298.95
298.90/299.04	c Objective: 1
298.90/299.04	s OPTIMUM FOUND
298.90/299.04	c Total time: 298.951 s

Verifier Data 

OK	1

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877204-1245178011/watcher-1877204-1245178011 -o /tmp/evaluation-result-1877204-1245178011/solver-1877204-1245178011 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877204-1245178011.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: 0.99 0.98 0.99 3/64 32071
/proc/meminfo: memFree=1619280/2055920 swapFree=4181640/4192956
[pid=32071] ppid=32069 vsize=26200 CPUtime=0
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31991 0 -1 4194304 259 0 0 0 0 0 0 0 20 0 1 0 185395362 26828800 242 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 6550 242 196 640 0 5906 0

[startup+0.012794 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 32071
/proc/meminfo: memFree=1619280/2055920 swapFree=4181640/4192956
[pid=32071] ppid=32069 vsize=26328 CPUtime=0
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31991 0 -1 4194304 266 0 0 0 0 0 0 0 20 0 1 0 185395362 26959872 249 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 6582 249 196 640 0 5938 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26328

[startup+0.101805 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 32071
/proc/meminfo: memFree=1619280/2055920 swapFree=4181640/4192956
[pid=32071] ppid=32069 vsize=18764 CPUtime=0.09
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31991 0 -1 4194304 330 0 0 0 9 0 0 0 20 0 1 0 185395362 19214336 313 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 4691 313 197 640 0 4047 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18764

[startup+0.301827 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 32071
/proc/meminfo: memFree=1619280/2055920 swapFree=4181640/4192956
[pid=32071] ppid=32069 vsize=18892 CPUtime=0.29
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31991 0 -1 4194304 357 0 0 0 29 0 0 0 22 0 1 0 185395362 19345408 340 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 4723 340 197 640 0 4079 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18892

[startup+0.701873 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 32071
/proc/meminfo: memFree=1619280/2055920 swapFree=4181640/4192956
[pid=32071] ppid=32069 vsize=18896 CPUtime=0.69
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31991 0 -1 4194304 376 0 0 0 69 0 0 0 25 0 1 0 185395362 19349504 359 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 4724 359 197 640 0 4080 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18896

[startup+1.50196 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32072
/proc/meminfo: memFree=1618632/2055920 swapFree=4181640/4192956
[pid=32071] ppid=32069 vsize=18896 CPUtime=1.49
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31991 0 -1 4194304 384 0 0 0 148 1 0 0 25 0 1 0 185395362 19349504 367 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 4724 367 197 640 0 4080 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18896

[startup+3.10115 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32072
/proc/meminfo: memFree=1618440/2055920 swapFree=4181640/4192956
[pid=32071] ppid=32069 vsize=19024 CPUtime=3.09
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31991 0 -1 4194304 411 0 0 0 307 2 0 0 25 0 1 0 185395362 19480576 394 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 4756 394 197 640 0 4112 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19024

[startup+6.30151 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32072
/proc/meminfo: memFree=1618120/2055920 swapFree=4181640/4192956
[pid=32071] ppid=32069 vsize=19152 CPUtime=6.29
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31991 0 -1 4194304 434 0 0 0 626 3 0 0 25 0 1 0 185395362 19611648 417 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 4788 417 197 640 0 4144 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19152

[startup+12.7012 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32072
/proc/meminfo: memFree=1617864/2055920 swapFree=4181640/4192956
[pid=32071] ppid=32069 vsize=19284 CPUtime=12.68
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31991 0 -1 4194304 480 0 0 0 1262 6 0 0 25 0 1 0 185395362 19746816 463 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 4821 463 197 640 0 4177 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19284

[startup+25.5017 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32072
/proc/meminfo: memFree=1617736/2055920 swapFree=4181640/4192956
[pid=32071] ppid=32069 vsize=19408 CPUtime=25.48
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31991 0 -1 4194304 504 0 0 0 2536 12 0 0 25 0 1 0 185395362 19873792 487 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 4852 487 197 640 0 4208 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19408

[startup+51.1016 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32072
/proc/meminfo: memFree=1617672/2055920 swapFree=4181640/4192956
[pid=32071] ppid=32069 vsize=19524 CPUtime=51.07
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31991 0 -1 4194304 534 0 0 0 5082 25 0 0 25 0 1 0 185395362 19992576 517 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 4881 517 197 640 0 4237 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19524

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32072
/proc/meminfo: memFree=1617352/2055920 swapFree=4181640/4192956
[pid=32071] ppid=32069 vsize=19788 CPUtime=102.26
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31991 0 -1 4194304 604 0 0 0 10182 44 0 0 25 0 1 0 185395362 20262912 587 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 4947 587 197 640 0 4303 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 19788

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32072
/proc/meminfo: memFree=1617160/2055920 swapFree=4181640/4192956
[pid=32071] ppid=32069 vsize=20020 CPUtime=162.24
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31991 0 -1 4194304 643 0 0 0 16155 69 0 0 25 0 1 0 185395362 20500480 626 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 5005 626 197 640 0 4361 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 20020

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32072
/proc/meminfo: memFree=1617032/2055920 swapFree=4181640/4192956
[pid=32071] ppid=32069 vsize=20020 CPUtime=222.22
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31991 0 -1 4194304 668 0 0 0 22128 94 0 0 25 0 1 0 185395362 20500480 651 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 5005 651 197 640 0 4361 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 20020

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32072
/proc/meminfo: memFree=1616904/2055920 swapFree=4181640/4192956
[pid=32071] ppid=32069 vsize=20136 CPUtime=282.2
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31991 0 -1 4194304 678 0 0 0 28106 114 0 0 25 0 1 0 185395362 20619264 661 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 5034 661 197 640 0 4390 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 20136

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

[startup+287.902 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32072
/proc/meminfo: memFree=1616904/2055920 swapFree=4181640/4192956
[pid=32071] ppid=32069 vsize=20136 CPUtime=287.8
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31991 0 -1 4194304 678 0 0 0 28664 116 0 0 25 0 1 0 185395362 20619264 661 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 5034 661 197 640 0 4390 0
Current children cumulated CPU time (s) 287.8
Current children cumulated vsize (KiB) 20136

[startup+294.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32072
/proc/meminfo: memFree=1616904/2055920 swapFree=4181640/4192956
[pid=32071] ppid=32069 vsize=20136 CPUtime=294.2
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31991 0 -1 4194304 678 0 0 0 29302 118 0 0 25 0 1 0 185395362 20619264 661 1992294400 134512640 137136520 4294956256 18446744073709551615 136518854 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 5034 661 197 640 0 4390 0
Current children cumulated CPU time (s) 294.2
Current children cumulated vsize (KiB) 20136

[startup+297.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32072
/proc/meminfo: memFree=1616904/2055920 swapFree=4181640/4192956
[pid=32071] ppid=32069 vsize=20136 CPUtime=297.4
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31991 0 -1 4194304 678 0 0 0 29621 119 0 0 25 0 1 0 185395362 20619264 661 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 5034 661 197 640 0 4390 0
Current children cumulated CPU time (s) 297.4
Current children cumulated vsize (KiB) 20136

[startup+298.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32072
/proc/meminfo: memFree=1616904/2055920 swapFree=4181640/4192956
[pid=32071] ppid=32069 vsize=20136 CPUtime=298.2
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31991 0 -1 4194304 678 0 0 0 29700 120 0 0 25 0 1 0 185395362 20619264 661 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 5034 661 197 640 0 4390 0
Current children cumulated CPU time (s) 298.2
Current children cumulated vsize (KiB) 20136

[startup+298.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32072
/proc/meminfo: memFree=1616904/2055920 swapFree=4181640/4192956
[pid=32071] ppid=32069 vsize=20136 CPUtime=298.6
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31991 0 -1 4194304 678 0 0 0 29740 120 0 0 25 0 1 0 185395362 20619264 661 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 5034 661 197 640 0 4390 0
Current children cumulated CPU time (s) 298.6
Current children cumulated vsize (KiB) 20136

[startup+298.902 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32072
/proc/meminfo: memFree=1616904/2055920 swapFree=4181640/4192956
[pid=32071] ppid=32069 vsize=20136 CPUtime=298.8
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31991 0 -1 4194304 678 0 0 0 29760 120 0 0 25 0 1 0 185395362 20619264 661 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 5034 661 197 640 0 4390 0
Current children cumulated CPU time (s) 298.8
Current children cumulated vsize (KiB) 20136

[startup+299.002 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 32072
/proc/meminfo: memFree=1616904/2055920 swapFree=4181640/4192956
[pid=32071] ppid=32069 vsize=20136 CPUtime=298.9
/proc/32071/stat : 32071 (bsolo) R 32069 32071 31991 0 -1 4194304 678 0 0 0 29770 120 0 0 25 0 1 0 185395362 20619264 661 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32071/statm: 5034 661 197 640 0 4390 0
Current children cumulated CPU time (s) 298.9
Current children cumulated vsize (KiB) 20136

Child status: 0
Real time (s): 299.043
CPU time (s): 298.954
CPU user time (s): 297.747
CPU system time (s): 1.20682
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 26328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 297.747
system time used= 1.20682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 680
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= 359

runsolver used 0.237963 second user time and 0.680896 second system time

The end

Launcher Data 

Begin job on node63 at 2009-06-16 20:46:51
IDJOB=1877204
IDBENCH=2928
IDSOLVER=699
FILE ID=node63/1877204-1245178011
PBS_JOBID= 9368269
Free space on /tmp= 66468 MiB

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

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

MD5SUM BENCH= 1757d8d914b8f8f6b2c05049538ae81a
RANDOM SEED=25359870

node63.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.240
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.240
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1619760 kB
Buffers:         47860 kB
Cached:         307324 kB
SwapCached:       5692 kB
Active:          25136 kB
Inactive:       338952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1619760 kB
SwapTotal:     4192956 kB
SwapFree:      4181640 kB
Dirty:            3936 kB
Writeback:           0 kB
Mapped:          13644 kB
Slab:            57888 kB
Committed_AS:    83508 kB
PageTables:       1452 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877204-1245178011.opb

Free space on /tmp at the end= 66464 MiB
End job on node63 at 2009-06-16 20:51:50