Trace number 2657204

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 CardOPT1 207.504 207.562

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_2.opb
MD5SUM031b0f629913e7cd5c934f00ec1a1885
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 benchmark113.9
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 808
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2934
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-2657204-1276613735.opb
0.00/0.00	c File size is 3562 bytes.
0.00/0.00	c Highest Coefficient sum: 2934
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: 362 Watch. Lit: 102
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      362   45      108     724      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
0.00/0.00	o 863
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      426   47      299     852      1      0 0.00
0.00/0.00	o 851
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        5     94       17      802   47      370     852      9   2500 0.00
0.00/0.00	o 183
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       12     94       32     1390   43      478     852     24   4000 0.00
0.00/0.00	o 138
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       23     94       46     1666   36      540     852     38   4600 0.01
0.00/0.00	o 132
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       26     94       50     1807   36      604     852     42   5200 0.01
0.00/0.00	o 130
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c       28     94       53     1946   36      663     852     45   4666 0.01
0.00/0.00	o 123
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       34     94       64     2361   36      770     852     56   4857 0.01
0.00/0.01	o 121
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       43     93       75     2665   35      854     850     67   4777 0.01
0.00/0.01	o 120
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c       57     92       91     3086   33      945     848     83   5181 0.01
0.00/0.01	o 118
0.00/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.03	c       76     92      111     3652   32     1045     848    103   5428 0.01
0.00/0.03	o 107
0.03/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.03	c      174     90      211     5652   26     1301     844    203   5437 0.03
0.03/0.03	o 91
0.03/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.03	c      177     90      215     5864   27     1368     844    207   5363 0.03
0.03/0.03	o 79
0.03/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.03	c      179     90      218     5971   27     1426     844    210   5264 0.03
0.03/0.03	o 75
0.03/0.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.03	c      182     90      223     6196   27     1500     844    215   5200 0.04
0.03/0.03	o 73
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c      192     90      234     6596   28     1584     844    226   5189 0.04
0.09/0.17	c      292     90      337     8360   24     1793     929    329   5725 0.05
0.09/0.17	c      542     90      597    12922   21     2311    1022    589   6089 0.09
0.09/0.17	o 70
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c     1004     90      554     9850   17     1450     844    546   5976 0.17
0.09/0.17	o 68
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c     1005     90      556     9958   17     1512     844    548   5982 0.17
0.09/0.17	o 66
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c     1011     90      566    10394   18     1604     844    558   5947 0.17
0.39/0.43	c     1111     90      672    12437   18     1820     929    664   5973 0.19
0.39/0.43	c     1361     89      931    17257   18     2338    1022    923   6022 0.23
0.39/0.43	c     1836     88      904    16924   18     2086    1125    896   6000 0.31
0.39/0.43	o 61
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c     2555     88     1059    19782   18     2458     840   1051   5969 0.43
0.39/0.43	o 53
0.39/0.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.43	c     2583     84      466     9114   19     1273     832    458   5951 0.43
0.39/0.43	o 51
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c     2584     84      468     9213   19     1329     832    460   5953 0.43
0.39/0.44	o 38
0.39/0.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.44	c     2654     83      540    10650   19     1523     830    532   5950 0.45
0.39/0.44	o 32
0.39/0.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.45	c     2655     83      542    10731   19     1578     830    534   5939 0.45
0.39/0.45	o 24
0.39/0.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.39/0.45	c     2658     83      546    10905   19     1637     830    538   5933 0.45
0.39/0.45	o 22
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c     2677     81      567    11555   20     1731     826    559   5935 0.45
0.49/0.56	c     2779     75      670    13583   20     1928     909    662   5912 0.47
0.49/0.56	c     3030     72      921    18646   20     2428    1000    913   5860 0.52
0.49/0.56	o 18
0.69/0.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.72	c     3257     71      638    12653   19     1582     806    630   5816 0.56
0.69/0.72	c     3357     71      738    14766   20     1780     887    730   5818 0.58
0.69/0.72	c     3608     71      525    10520   20     1298     976    517   5800 0.62
0.69/0.72	c     4083     70     1001    20445   20     2251    1074    993   5832 0.70
0.69/0.72	o 17
0.69/0.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.72	c     4214     70      583    11605   19     1450     804    575   5820 0.72
0.69/0.72	o 15
0.69/0.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.72	c     4215     70      585    11690   19     1493     804    577   5821 0.72
0.69/0.72	o 13
0.79/0.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.85	c     4217     69      588    11774   20     1534     802    580   5816 0.72
0.79/0.85	c     4317     62      688    13833   20     1723     883    680   5810 0.74
0.79/0.85	c     4568     62      483     9735   20     1195     972    475   5774 0.79
0.79/0.85	o 12
1.00/1.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.09	c     4949     62      867    18249   21     1997     788    859   5781 0.86
1.00/1.09	c     5051     62      538    11341   21     1299     867    530   5779 0.87
1.00/1.09	c     5301     62      788    16570   21     1801     954    780   5799 0.91
1.00/1.09	c     5776     62      773    15885   20     1773    1050    765   5799 1.00
1.00/1.09	o 8
1.39/1.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.39/1.46	c     6315     62      773    16119   20     1802     788    765   5798 1.09
1.39/1.46	c     6417     57      468     9538   20     1149     867    460   5796 1.11
1.39/1.46	c     6668     55      719    14784   20     1650     954    711   5798 1.15
1.39/1.46	c     7145     55      703    13849   19     1620    1050    695   5790 1.23
1.39/1.46	c     7961     54      983    19408   19     2179    1156    975   5764 1.38
1.39/1.46	o 7
6.89/6.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.89/6.94	c     8420     54      853    16860   19     1939     772    845   5743 1.47
6.89/6.94	c     8520     54      535    10453   19     1277     850    527   5741 1.48
6.89/6.94	c     8770     54      785    15721   20     1776     936    777   5739 1.53
6.89/6.94	c     9245     54      781    15478   19     1765    1030    773   5731 1.61
6.89/6.94	c    10058     54     1066    21213   19     2338    1134   1058   5714 1.76
6.89/6.94	c    11378     54      653    13256   20     1507    1248    645   5708 1.99
6.89/6.94	c    13460     54      828    16909   20     1858    1373    820   5676 2.37
6.89/6.94	c    16684     54     1260    25806   20     2724    1511   1252   5621 2.97
6.89/6.94	c    21620     54      814    16376   20     1831    1663    806   5545 3.90
6.89/6.94	c    29126     54     1544    32137   20     3291    1830   1536   5443 5.35
6.89/6.94	o 4
11.49/11.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.49/11.50	c    37158     54     1196    25058   20     2617     772   1188   5350 6.95
11.49/11.50	c    37260     52      537    10773   20     1275     850    529   5350 6.96
11.49/11.50	c    37511     50      788    15886   20     1771     936    780   5354 7.00
11.49/11.50	c    37986     50      786    15197   19     1767    1030    778   5360 7.09
11.49/11.50	c    38800     49     1068    21259   19     2330    1134   1060   5363 7.23
11.49/11.50	c    40120     48      646    12619   19     1484    1248    638   5369 7.47
11.49/11.50	c    42201     47      824    16476   19     1837    1373    816   5377 7.85
11.49/11.50	c    45424     46     1256    25463   20     2701    1511   1248   5375 8.45
11.49/11.50	c    50361     46      813    16432   20     1814    1663    805   5368 9.38
11.49/11.50	c    57868     46     1543    30818   19     3273    1830   1535   5344 10.83
11.49/11.50	o 1
207.43/207.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
207.43/207.56	c    61216     46     1162    23869   20     2529     756   1154   5323 11.50
207.43/207.56	c    61316     46      535    10499   19     1255     832    527   5323 11.52
207.43/207.56	c    61567     30      787    15630   19     1749     916    779   5326 11.56
207.43/207.56	c    62044     30      781    15348   19     1740    1008    773   5329 11.64
207.43/207.56	c    62857     30     1062    20933   19     2302    1109   1054   5334 11.78
207.43/207.56	c    64178     30      646    12441   19     1467    1220    638   5338 12.02
207.43/207.56	c    66259     30      820    15652   19     1818    1343    812   5344 12.40
207.43/207.56	c    69482     30     1252    25090   20     2682    1478   1244   5348 12.99
207.43/207.56	c    74420     30      811    15582   19     1798    1626    803   5329 13.96
207.43/207.56	c    81928     30     1579    32083   20     3334    1789   1571   5298 15.46
207.43/207.56	c    93291     30     1848    37860   20     3873    1968   1840   5242 17.80
207.43/207.56	c   110435     30     1747    35452   20     3673    2165   1739   5163 21.39
207.43/207.56	c   136256     30     1996    39711   19     4170    2382   1988   5018 27.15
207.43/207.56	c   175089     30     1740    34714   19     3660    2621   1732   4852 36.09
207.43/207.56	c   233441     30     2485    50541   20     5148    2884   2477   4717 49.48
207.43/207.56	c   321073     30     1765    33866   19     3707    3173   1757   4511 71.17
207.43/207.56	c   452625     30     2425    49244   20     5026    3491   2417   4292 105.44
207.43/207.56	c   650058     29     2962    57469   19     6102    3841   2954   4062 160.01
207.43/207.56	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 -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 x69 
207.43/207.56	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
207.43/207.56	c   88   815855   1963   820043     3266    49394   3258   3931 207.50
207.43/207.56	c Objective: 1
207.43/207.56	s OPTIMUM FOUND
207.43/207.56	c Total time: 207.503 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-2657204-1276613735/watcher-2657204-1276613735 -o /tmp/evaluation-result-2657204-1276613735/solver-2657204-1276613735 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2657204-1276613735.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/106 5047
/proc/meminfo: memFree=1784600/2059040 swapFree=4135932/4192956
[pid=5047] ppid=5045 vsize=26412 CPUtime=0
/proc/5047/stat : 5047 (bsolo_pb10) R 5045 5047 4434 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 36974824 27045888 244 1992294400 134512640 137138936 4288011216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5047/statm: 6603 244 192 642 0 5959 0

[startup+0.0348679 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 5047
/proc/meminfo: memFree=1784600/2059040 swapFree=4135932/4192956
[pid=5047] ppid=5045 vsize=18600 CPUtime=0.03
/proc/5047/stat : 5047 (bsolo_pb10) R 5045 5047 4434 0 -1 4202496 345 0 0 0 3 0 0 0 20 0 1 0 36974824 19046400 262 1992294400 134512640 137138936 4288011216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5047/statm: 4650 262 192 642 0 4006 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18600

[startup+0.100872 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 5047
/proc/meminfo: memFree=1784600/2059040 swapFree=4135932/4192956
[pid=5047] ppid=5045 vsize=18728 CPUtime=0.09
/proc/5047/stat : 5047 (bsolo_pb10) R 5045 5047 4434 0 -1 4202496 387 0 0 0 9 0 0 0 20 0 1 0 36974824 19177472 304 1992294400 134512640 137138936 4288011216 18446744073709551615 134575844 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5047/statm: 4682 304 192 642 0 4038 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18728

[startup+0.30089 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 5047
/proc/meminfo: memFree=1784600/2059040 swapFree=4135932/4192956
[pid=5047] ppid=5045 vsize=18988 CPUtime=0.29
/proc/5047/stat : 5047 (bsolo_pb10) R 5045 5047 4434 0 -1 4202496 422 0 0 0 29 0 0 0 20 0 1 0 36974824 19443712 339 1992294400 134512640 137138936 4288011216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5047/statm: 4747 339 192 642 0 4103 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18988

[startup+0.700927 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 5047
/proc/meminfo: memFree=1784600/2059040 swapFree=4135932/4192956
[pid=5047] ppid=5045 vsize=18988 CPUtime=0.69
/proc/5047/stat : 5047 (bsolo_pb10) R 5045 5047 4434 0 -1 4202496 422 0 0 0 68 1 0 0 21 0 1 0 36974824 19443712 339 1992294400 134512640 137138936 4288011216 18446744073709551615 134603266 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5047/statm: 4747 339 192 642 0 4103 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18988

[startup+1.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5048
/proc/meminfo: memFree=1783848/2059040 swapFree=4135932/4192956
[pid=5047] ppid=5045 vsize=18988 CPUtime=1.49
/proc/5047/stat : 5047 (bsolo_pb10) R 5045 5047 4434 0 -1 4202496 431 0 0 0 148 1 0 0 23 0 1 0 36974824 19443712 348 1992294400 134512640 137138936 4288011216 18446744073709551615 136504021 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5047/statm: 4747 348 192 642 0 4103 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18988

[startup+3.10115 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5048
/proc/meminfo: memFree=1783600/2059040 swapFree=4135932/4192956
[pid=5047] ppid=5045 vsize=19116 CPUtime=3.09
/proc/5047/stat : 5047 (bsolo_pb10) R 5045 5047 4434 0 -1 4202496 468 0 0 0 307 2 0 0 25 0 1 0 36974824 19574784 385 1992294400 134512640 137138936 4288011216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5047/statm: 4779 385 192 642 0 4135 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19116

[startup+6.30044 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5048
/proc/meminfo: memFree=1783228/2059040 swapFree=4135932/4192956
[pid=5047] ppid=5045 vsize=19240 CPUtime=6.29
/proc/5047/stat : 5047 (bsolo_pb10) R 5045 5047 4434 0 -1 4202496 504 0 0 0 624 5 0 0 25 0 1 0 36974824 19701760 421 1992294400 134512640 137138936 4288011216 18446744073709551615 134606636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5047/statm: 4810 421 192 642 0 4166 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19240

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5048
/proc/meminfo: memFree=1782980/2059040 swapFree=4135932/4192956
[pid=5047] ppid=5045 vsize=19240 CPUtime=12.69
/proc/5047/stat : 5047 (bsolo_pb10) R 5045 5047 4434 0 -1 4202496 504 0 0 0 1259 10 0 0 25 0 1 0 36974824 19701760 421 1992294400 134512640 137138936 4288011216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5047/statm: 4810 421 192 642 0 4166 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19240

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5048
/proc/meminfo: memFree=1782980/2059040 swapFree=4135932/4192956
[pid=5047] ppid=5045 vsize=19372 CPUtime=25.49
/proc/5047/stat : 5047 (bsolo_pb10) R 5045 5047 4434 0 -1 4202496 532 0 0 0 2532 17 0 0 25 0 1 0 36974824 19836928 449 1992294400 134512640 137138936 4288011216 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5047/statm: 4843 449 192 642 0 4199 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19372

[startup+51.1005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5048
/proc/meminfo: memFree=1782856/2059040 swapFree=4135932/4192956
[pid=5047] ppid=5045 vsize=19620 CPUtime=51.08
/proc/5047/stat : 5047 (bsolo_pb10) R 5045 5047 4434 0 -1 4202496 599 0 0 0 5077 31 0 0 25 0 1 0 36974824 20090880 516 1992294400 134512640 137138936 4288011216 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5047/statm: 4905 516 192 642 0 4261 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19620

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5050
/proc/meminfo: memFree=1782484/2059040 swapFree=4135932/4192956
[pid=5047] ppid=5045 vsize=19752 CPUtime=102.27
/proc/5047/stat : 5047 (bsolo_pb10) R 5045 5047 4434 0 -1 4202496 632 0 0 0 10172 55 0 0 25 0 1 0 36974824 20226048 549 1992294400 134512640 137138936 4288011216 18446744073709551615 134618325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5047/statm: 4938 549 192 642 0 4294 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 19752

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5052
/proc/meminfo: memFree=1782236/2059040 swapFree=4135932/4192956
[pid=5047] ppid=5045 vsize=20008 CPUtime=162.25
/proc/5047/stat : 5047 (bsolo_pb10) R 5045 5047 4434 0 -1 4202496 681 0 0 0 16143 82 0 0 25 0 1 0 36974824 20488192 598 1992294400 134512640 137138936 4288011216 18446744073709551615 134602731 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5047/statm: 5002 598 192 642 0 4358 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 20008

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

[startup+179.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5052
/proc/meminfo: memFree=1782112/2059040 swapFree=4135932/4192956
[pid=5047] ppid=5045 vsize=20008 CPUtime=179.04
/proc/5047/stat : 5047 (bsolo_pb10) R 5045 5047 4434 0 -1 4202496 682 0 0 0 17816 88 0 0 25 0 1 0 36974824 20488192 599 1992294400 134512640 137138936 4288011216 18446744073709551615 136296996 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5047/statm: 5002 599 192 642 0 4358 0
Current children cumulated CPU time (s) 179.04
Current children cumulated vsize (KiB) 20008

[startup+191.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5052
/proc/meminfo: memFree=1782112/2059040 swapFree=4135932/4192956
[pid=5047] ppid=5045 vsize=20008 CPUtime=191.84
/proc/5047/stat : 5047 (bsolo_pb10) R 5045 5047 4434 0 -1 4202496 682 0 0 0 19090 94 0 0 25 0 1 0 36974824 20488192 599 1992294400 134512640 137138936 4288011216 18446744073709551615 136505588 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5047/statm: 5002 599 192 642 0 4358 0
Current children cumulated CPU time (s) 191.84
Current children cumulated vsize (KiB) 20008

[startup+198.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5052
/proc/meminfo: memFree=1782112/2059040 swapFree=4135932/4192956
[pid=5047] ppid=5045 vsize=20008 CPUtime=198.23
/proc/5047/stat : 5047 (bsolo_pb10) R 5045 5047 4434 0 -1 4202496 682 0 0 0 19727 96 0 0 25 0 1 0 36974824 20488192 599 1992294400 134512640 137138936 4288011216 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5047/statm: 5002 599 192 642 0 4358 0
Current children cumulated CPU time (s) 198.23
Current children cumulated vsize (KiB) 20008

[startup+201.501 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 5052
/proc/meminfo: memFree=1782112/2059040 swapFree=4135932/4192956
[pid=5047] ppid=5045 vsize=20008 CPUtime=201.44
/proc/5047/stat : 5047 (bsolo_pb10) R 5045 5047 4434 0 -1 4202496 682 0 0 0 20046 98 0 0 25 0 1 0 36974824 20488192 599 1992294400 134512640 137138936 4288011216 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5047/statm: 5002 599 192 642 0 4358 0
Current children cumulated CPU time (s) 201.44
Current children cumulated vsize (KiB) 20008

[startup+204.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5052
/proc/meminfo: memFree=1782112/2059040 swapFree=4135932/4192956
[pid=5047] ppid=5045 vsize=20008 CPUtime=204.64
/proc/5047/stat : 5047 (bsolo_pb10) R 5045 5047 4434 0 -1 4202496 682 0 0 0 20364 100 0 0 25 0 1 0 36974824 20488192 599 1992294400 134512640 137138936 4288011216 18446744073709551615 136502073 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5047/statm: 5002 599 192 642 0 4358 0
Current children cumulated CPU time (s) 204.64
Current children cumulated vsize (KiB) 20008

[startup+206.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5052
/proc/meminfo: memFree=1782112/2059040 swapFree=4135932/4192956
[pid=5047] ppid=5045 vsize=20008 CPUtime=206.23
/proc/5047/stat : 5047 (bsolo_pb10) R 5045 5047 4434 0 -1 4202496 682 0 0 0 20523 100 0 0 25 0 1 0 36974824 20488192 599 1992294400 134512640 137138936 4288011216 18446744073709551615 136521023 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5047/statm: 5002 599 192 642 0 4358 0
Current children cumulated CPU time (s) 206.23
Current children cumulated vsize (KiB) 20008

[startup+207.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5052
/proc/meminfo: memFree=1782112/2059040 swapFree=4135932/4192956
[pid=5047] ppid=5045 vsize=20008 CPUtime=207.03
/proc/5047/stat : 5047 (bsolo_pb10) R 5045 5047 4434 0 -1 4202496 682 0 0 0 20603 100 0 0 25 0 1 0 36974824 20488192 599 1992294400 134512640 137138936 4288011216 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5047/statm: 5002 599 192 642 0 4358 0
Current children cumulated CPU time (s) 207.03
Current children cumulated vsize (KiB) 20008

[startup+207.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 5052
/proc/meminfo: memFree=1782112/2059040 swapFree=4135932/4192956
[pid=5047] ppid=5045 vsize=20008 CPUtime=207.43
/proc/5047/stat : 5047 (bsolo_pb10) R 5045 5047 4434 0 -1 4202496 682 0 0 0 20643 100 0 0 25 0 1 0 36974824 20488192 599 1992294400 134512640 137138936 4288011216 18446744073709551615 134607253 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/5047/statm: 5002 599 192 642 0 4358 0
Current children cumulated CPU time (s) 207.43
Current children cumulated vsize (KiB) 20008

Child status: 0
Real time (s): 207.562
CPU time (s): 207.504
CPU user time (s): 206.495
CPU system time (s): 1.00985
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 20008

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

runsolver used 0.345947 second user time and 0.98485 second system time

The end

Launcher Data 

Begin job on node015 at 2010-06-15 16:55:35
IDJOB=2657204
IDBENCH=2916
IDSOLVER=1162
FILE ID=node015/2657204-1276613735
PBS_JOBID= 11172248
Free space on /tmp= 62584 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_2.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657204-1276613735/watcher-2657204-1276613735 -o /tmp/evaluation-result-2657204-1276613735/solver-2657204-1276613735 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2657204-1276613735.opb

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

MD5SUM BENCH= 031b0f629913e7cd5c934f00ec1a1885
RANDOM SEED=254969009

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1785128 kB
Buffers:         76184 kB
Cached:         118068 kB
SwapCached:      11032 kB
Active:          96140 kB
Inactive:       112456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1785128 kB
SwapTotal:     4192956 kB
SwapFree:      4135932 kB
Dirty:            4024 kB
Writeback:           0 kB
AnonPages:       12588 kB
Mapped:           9364 kB
Slab:            43476 kB
PageTables:       4000 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182376 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= 62580 MiB
End job on node015 at 2010-06-15 16:59:03