Trace number 3462781

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.2SAT-29 1798 1797.96

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_2.opb
MD5SUM4a1dc018d8373d1119ec5a7a226f506e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-30
Best CPU time to get the best result obtained on this benchmark1797.53
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -29
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint25
Maximum length of a constraint44
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6220
Sum of products size (including duplicates)12440
Number of different products3110
Sum of products size6220

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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462781-1307182825.opb
0.00/0.00	c File size is 76199 bytes.
0.00/0.01	c Highest Coefficient sum: 200
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.013 s
0.00/0.01	c Var: 6420 Constr: 12840 6420/200/6220 Lit: 49760 Watch. Lit: 37320
0.00/0.01	c Obj. Vars: 200 (3.11526 % of total variables)
0.03/0.06	c Pre-processing Time: 0.061 s
0.03/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.06	c        0    200     3110     9330    3     6220    1036      0      0 0.06
0.03/0.06	c Switching off lower bounding mode.
0.03/0.06	o -21
0.03/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.07	c        0    200     3111     9530    3     6243    2036      1      0 0.06
0.03/0.07	o -22
0.03/0.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.03/0.07	c       36    200     3148    16052    5     6339    2036     38    521 0.07
0.03/0.07	o -23
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c       36    200     3149    16252    5     6364    2036     39    514 0.07
0.19/0.24	c      136    200     3249    33633   10     6564    2240    139   1478 0.09
0.19/0.24	c      387    200     3500    77160   22     7066    2465    390   2529 0.15
0.19/0.24	o -24
1.00/1.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.00/1.10	c      737    200     3852   138158   35     7815    2036    742   3032 0.24
1.00/1.10	c      837    200     3952   155410   39     8015    2240    842   3146 0.27
1.00/1.10	c     1088    200     4203   198695   47     8517    2465   1093   3306 0.33
1.00/1.10	c     1564    200     4683   281455   60     9477    2712   1573   3475 0.45
1.00/1.10	c     2378    200     5499   422014   76    11109    2984   2389   3570 0.67
1.00/1.10	c     3698    200     6823   649717   95    13779    3283   3713   3352 1.10
1.00/1.10	o -25
2.80/2.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.80/2.83	c     3699    200     6825   650088   95    13808    2036   3715   3347 1.10
2.80/2.83	c     3800    200     6926   667407   96    14010    2240   3816   3350 1.13
2.80/2.83	c     4051    200     7177   710388   98    14512    2465   4067   3367 1.20
2.80/2.83	c     4527    200     7653   791797  103    15464    2712   4543   3343 1.35
2.80/2.83	c     5340    200     8469   931287  109    17096    2984   5359   3218 1.66
2.80/2.83	c     6660    200     9795  1158146  118    19748    3283   6685   3197 2.08
2.80/2.83	o -26
38.19/38.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
38.19/38.29	c     8249    200    11390  1430833  125    22964    2036   8280   2914 2.83
38.19/38.29	c     8350    200     4230   200327   47     8486    2240   1120   2873 2.91
38.19/38.29	c     8600    200     4480   242864   54     8986    2465   1370   2904 2.96
38.19/38.29	c     9075    200     4955   323614   65     9936    2712   1845   2941 3.08
38.19/38.29	c     9888    200     5770   462101   80    11566    2984   2660   2973 3.33
38.19/38.29	c    11208    200     7092   686878   96    14210    3283   3982   2993 3.74
38.19/38.29	c    13290    200     9176  1038445  113    18401    3612   6066   2981 4.46
38.19/38.29	c    16513    200    12407  1589277  128    24863    3974   9297   2809 5.88
38.19/38.29	c    21450    200     8973  1004453  111    17972    4372   5863   2663 8.05
38.19/38.29	c    28956    200     7927   823945  103    15925    4810   4817   2592 11.17
38.19/38.29	c    40318    200    10530  1266749  120    21086    5292   7420   2524 15.97
38.19/38.29	c    57463    200     9624  1111996  115    19298    5822   6514   2202 26.09
38.19/38.29	o -27
661.02/661.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
661.02/661.08	c    76927    200    10551  1272483  120    21155    2036   7441   2008 38.30
661.02/661.08	c    77027    200    10651  1289399  121    21355    2240   7541   2009 38.33
661.02/661.08	c    77277    200    10901  1331578  122    21855    2465   7791   2009 38.46
661.02/661.08	c    77752    200    11378  1412280  124    22809    2712   8268   2010 38.67
661.02/661.08	c    78565    200     4467   238681   53     8961    2984   1357   2009 39.09
661.02/661.08	c    79886    200     5791   462811   79    11609    3283   2681   2025 39.44
661.02/661.08	c    81967    200     7877   814933  103    15781    3612   4767   2045 40.08
661.02/661.08	c    85190    200    11111  1361543  122    22249    3974   8001   2069 41.17
661.02/661.08	c    90127    200     7693   781466  101    15413    4372   4583   2082 43.29
661.02/661.08	c    97633    200     6647   602196   90    13321    4810   3537   2103 46.41
661.02/661.08	c   108994    200     9238  1045118  113    18503    5292   6128   2097 51.97
661.02/661.08	c   126139    200     8357   893943  106    16741    5822   5247   2093 60.26
661.02/661.08	c   151960    200     6324   550828   87    12675    6405   3214   2096 72.48
661.02/661.08	c   190792    200     6876   633567   92    13794    7046   3766   1911 99.79
661.02/661.08	c   249144    200    15824  2150471  135    31697    7751  12714   1822 136.68
661.02/661.08	c   336779    200    11397  1400502  122    22821    8527   8287   1755 191.90
661.02/661.08	c   468331    200    15515  2093580  134    31081    9380  12405   1667 280.85
661.02/661.08	c   665764    200    14273  1889395  132    28670   10319  11163   1513 439.86
661.02/661.08	c   962017    200    11282  1372887  121    22612   11351   8172   1463 657.15
661.02/661.08	o -28
1614.23/1614.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1614.23/1614.27	c   969781    200    19072  2683534  140    38268    2036  15962   1466 661.10
1614.23/1614.27	c   969881    200     4229   197203   46     8486    2240   1119   1466 661.39
1614.23/1614.27	c   970131    200     4479   239260   53     8986    2465   1369   1466 661.45
1614.23/1614.27	c   970606    200     4954   319047   64     9936    2712   1844   1467 661.56
1614.23/1614.27	c   971419    200     5767   455781   79    11562    2984   2657   1467 661.75
1614.23/1614.27	c   972739    200     7088   677783   95    14204    3283   3978   1469 662.18
1614.23/1614.27	c   974820    200     9177  1028663  112    18382    3612   6067   1470 662.92
1614.23/1614.27	c   978044    200    12408  1571805  126    24844    3974   9298   1472 664.17
1614.23/1614.27	c   982981    200     8981   994180  110    17990    4372   5871   1475 666.30
1614.23/1614.27	c   990487    200     7930   811906  102    15937    4810   4820   1478 670.01
1614.23/1614.27	c  1001848    200    10514  1249971  118    21082    5292   7404   1484 675.09
1614.23/1614.27	c  1018993    200     9627  1100830  114    19308    5822   6517   1486 685.32
1614.23/1614.27	c  1044812    200     7615   760827   99    15258    6405   4505   1489 701.31
1614.23/1614.27	c  1083644    200     8230   859127  104    16512    7046   5120   1494 725.32
1614.23/1614.27	c  1141996    200     7293   704101   96    14614    7751   4183   1490 766.20
1614.23/1614.27	c  1229629    200    12998  1664123  128    26050    8527   9888   1494 822.57
1614.23/1614.27	c  1361181    200    17068  2339658  137    34215    9380  13958   1452 937.43
1614.23/1614.27	c  1558613    200    15679  2113621  134    31412   10319  12569   1431 1088.88
1614.23/1614.27	c  1854865    200    12614  1581188  125    25256   11351   9504   1412 1313.21
1614.23/1614.27	o -29
1797.93/1797.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1797.95	c  2237836    200    10866  1283432  118    21846    2036   7756   1386 1614.31
1797.93/1797.95	c  2237936    200    10966  1300081  118    22046    2240   7856   1386 1614.36
1797.93/1797.95	c  2238186    200    11216  1341847  119    22546    2465   8106   1386 1614.44
1797.93/1797.95	c  2238661    200    11691  1421022  121    23496    2712   8581   1386 1614.59
1797.93/1797.95	c  2239474    200     4748   282691   59     9525    2984   1638   1386 1615.05
1797.93/1797.95	c  2240795    200     6070   502018   82    12196    3283   2960   1387 1615.39
1797.93/1797.95	c  2242877    200     8152   849940  104    16360    3612   5042   1387 1615.97
1797.93/1797.95	c  2246101    200    11384  1387286  121    22824    3974   8274   1388 1617.25
1797.93/1797.95	c  2251037    200     7952   817574  102    15933    4372   4842   1390 1619.41
1797.93/1797.95	c  2258543    200     6894   639495   92    13817    4810   3784   1391 1622.65
1797.93/1797.95	c  2269904    200     9516  1076676  113    19061    5292   6406   1394 1628.24
1797.93/1797.95	c  2287048    200     8630   929783  107    17289    5822   5520   1396 1638.00
1797.93/1797.95	c  2312867    200     6592   587992   89    13240    6405   3482   1400 1651.87
1797.93/1797.95	c  2351700    200     7228   693764   95    14485    7046   4118   1399 1680.26
1797.93/1797.95	c  2410052    200    16144  2182213  135    32317    7751  13034   1408 1711.67
1797.93/1797.95	c  2497684    200    11585  1419817  122    23226    8527   8475   1416 1763.60
1797.93/1797.95	c Resources Exceeded
1797.93/1797.95	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 x135 -x136 -x137 -x138 x139 -x140 x141 -x142 x143 -x144 -x145 x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 x158 -x159 x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 x170 x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 x189 x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 x198 -x199 x200 
1797.93/1797.95	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1797.95	c   83  2554796 143769  2722875    15618  2093827  12508   1420 1798.00
1797.93/1797.95	c Objective: -29
1797.93/1797.95	s SATISFIABLE
1797.93/1797.95	c Total time: 1798 s

Verifier Data 

OK	-29

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3462781-1307182825/watcher-3462781-1307182825 -o /tmp/evaluation-result-3462781-1307182825/solver-3462781-1307182825 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462781-1307182825.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 2/400 9954
/proc/meminfo: memFree=29997336/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=11964 CPUtime=0 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 556 0 0 0 0 0 0 0 25 0 1 0 829882252 12251136 510 33554432000 134512640 137138936 4291304848 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 2991 510 182 642 0 2328 0

[startup+0.0411251 s]
/proc/loadavg: 2.00 2.02 2.00 2/400 9954
/proc/meminfo: memFree=29997336/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=14088 CPUtime=0.03 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 1146 0 0 0 3 0 0 0 25 0 1 0 829882252 14426112 1081 33554432000 134512640 137138936 4291304848 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 3522 1081 185 642 0 2878 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14088

[startup+0.101126 s]
/proc/loadavg: 2.00 2.02 2.00 2/400 9954
/proc/meminfo: memFree=29997336/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=14196 CPUtime=0.09 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 1205 0 0 0 9 0 0 0 25 0 1 0 829882252 14536704 1120 33554432000 134512640 137138936 4291304848 18446744073709551615 134542448 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 3549 1120 192 642 0 2905 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14196

[startup+0.300982 s]
/proc/loadavg: 2.00 2.02 2.00 2/400 9954
/proc/meminfo: memFree=29997336/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=15800 CPUtime=0.29 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 1605 0 0 0 29 0 0 0 25 0 1 0 829882252 16179200 1520 33554432000 134512640 137138936 4291304848 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 3950 1520 192 642 0 3306 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15800

[startup+0.70103 s]
/proc/loadavg: 2.00 2.02 2.00 2/400 9954
/proc/meminfo: memFree=29997336/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=18900 CPUtime=0.69 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 2380 0 0 0 69 0 0 0 25 0 1 0 829882252 19353600 2295 33554432000 134512640 137138936 4291304848 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 4725 2295 192 642 0 4081 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18900

[startup+1.50077 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 9955
/proc/meminfo: memFree=29986416/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=23976 CPUtime=1.49 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 3634 0 0 0 149 0 0 0 25 0 1 0 829882252 24551424 3549 33554432000 134512640 137138936 4291304848 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 5994 3549 192 642 0 5350 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23976

[startup+3.10061 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 9955
/proc/meminfo: memFree=29978716/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=31296 CPUtime=3.1 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 5470 0 0 0 309 1 0 0 25 0 1 0 829882252 32047104 5385 33554432000 134512640 137138936 4291304848 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 7824 5385 192 642 0 7180 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 31296

[startup+6.30099 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 9955
/proc/meminfo: memFree=29974996/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=35848 CPUtime=6.29 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 6601 0 0 0 627 2 0 0 25 0 1 0 829882252 36708352 6516 33554432000 134512640 137138936 4291304848 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 8962 6516 192 642 0 8318 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35848

[startup+12.7009 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 9955
/proc/meminfo: memFree=29968896/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=36768 CPUtime=12.69 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 6833 0 0 0 1266 3 0 0 25 0 1 0 829882252 37650432 6748 33554432000 134512640 137138936 4291304848 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 9192 6748 192 642 0 8548 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36768

[startup+25.5006 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 9955
/proc/meminfo: memFree=29966772/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=38836 CPUtime=25.5 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 7346 0 0 0 2545 5 0 0 25 0 1 0 829882252 39768064 7261 33554432000 134512640 137138936 4291304848 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 9709 7261 192 642 0 9065 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 38836

[startup+51.101 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 9956
/proc/meminfo: memFree=29965436/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=40028 CPUtime=51.09 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 7646 0 0 0 5101 8 0 0 25 0 1 0 829882252 40988672 7561 33554432000 134512640 137138936 4291304848 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 10007 7561 192 642 0 9363 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 40028

[startup+102.315 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9958
/proc/meminfo: memFree=29963436/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=41012 CPUtime=102.3 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 7936 0 0 0 10213 17 0 0 25 0 1 0 829882252 41996288 7824 33554432000 134512640 137138936 4291304848 18446744073709551615 136297647 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 10253 7824 192 642 0 9609 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 41012

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 9959
/proc/meminfo: memFree=29960444/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=44100 CPUtime=162.3 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 8702 0 0 0 16203 27 0 0 25 0 1 0 829882252 45158400 8590 33554432000 134512640 137138936 4291304848 18446744073709551615 136520918 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 11025 8590 192 642 0 10381 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 44100

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 9961
/proc/meminfo: memFree=29959568/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=45880 CPUtime=222.3 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 9156 0 0 0 22196 34 0 0 25 0 1 0 829882252 46981120 9035 33554432000 134512640 137138936 4291304848 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 11470 9035 192 642 0 10826 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 45880

[startup+282.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/401 9962
/proc/meminfo: memFree=29959788/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=47368 CPUtime=282.29 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 9558 0 0 0 28187 42 0 0 25 0 1 0 829882252 48504832 9405 33554432000 134512640 137138936 4291304848 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 11842 9405 192 642 0 11198 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 47368

[startup+342.301 s]
/proc/loadavg: 2.10 2.04 2.01 3/401 9991
/proc/meminfo: memFree=29771052/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=47804 CPUtime=342.3 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 9678 0 0 0 34183 47 0 0 25 0 1 0 829882252 48951296 9522 33554432000 134512640 137138936 4291304848 18446744073709551615 136500296 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 11951 9522 192 642 0 11307 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 47804

[startup+402.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/401 9992
/proc/meminfo: memFree=29526720/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=47764 CPUtime=402.3 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 9678 0 0 0 40178 52 0 0 25 0 1 0 829882252 48910336 9512 33554432000 134512640 137138936 4291304848 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 11941 9512 192 642 0 11297 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 47764

[startup+462.301 s]
/proc/loadavg: 2.03 2.03 2.00 3/401 9994
/proc/meminfo: memFree=29294680/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=49992 CPUtime=462.3 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 10226 0 0 0 46172 58 0 0 25 0 1 0 829882252 51191808 10060 33554432000 134512640 137138936 4291304848 18446744073709551615 136504423 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 12498 10060 192 642 0 11854 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 49992

[startup+522.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 9996
/proc/meminfo: memFree=29127132/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=49928 CPUtime=522.31 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 10226 0 0 0 52165 66 0 0 25 0 1 0 829882252 51126272 10053 33554432000 134512640 137138936 4291304848 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 12482 10053 192 642 0 11838 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 49928

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/401 9997
/proc/meminfo: memFree=28964044/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=49920 CPUtime=582.31 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 10226 0 0 0 58159 72 0 0 25 0 1 0 829882252 51118080 10051 33554432000 134512640 137138936 4291304848 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 12480 10051 192 642 0 11836 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 49920

[startup+642.301 s]

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

/proc/meminfo: memFree=29059240/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=48488 CPUtime=1062.32 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 10253 0 0 0 106116 116 0 0 25 0 1 0 829882252 49651712 9693 33554432000 134512640 137138936 4291304848 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 12122 9693 192 642 0 11478 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 48488

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 10012
/proc/meminfo: memFree=28957532/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=49792 CPUtime=1122.32 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 10573 0 0 0 112109 123 0 0 25 0 1 0 829882252 50987008 10004 33554432000 134512640 137138936 4291304848 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 12448 10004 192 642 0 11804 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 49792

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10013
/proc/meminfo: memFree=28956996/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=49748 CPUtime=1182.32 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 10573 0 0 0 118104 128 0 0 25 0 1 0 829882252 50941952 10004 33554432000 134512640 137138936 4291304848 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 12437 10004 192 642 0 11793 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 49748

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10015
/proc/meminfo: memFree=28957328/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=49740 CPUtime=1242.32 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 10592 0 0 0 124099 133 0 0 25 0 1 0 829882252 50933760 9999 33554432000 134512640 137138936 4291304848 18446744073709551615 136504259 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 12435 9999 192 642 0 11791 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 49740

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10017
/proc/meminfo: memFree=28956540/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=49544 CPUtime=1302.33 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 10599 0 0 0 130093 140 0 0 25 0 1 0 829882252 50733056 9957 33554432000 134512640 137138936 4291304848 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 12386 9957 192 642 0 11742 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 49544

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10018
/proc/meminfo: memFree=28954520/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=51780 CPUtime=1362.33 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 11162 0 0 0 136087 146 0 0 25 0 1 0 829882252 53022720 10510 33554432000 134512640 137138936 4291304848 18446744073709551615 134552089 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 12945 10510 192 642 0 12301 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 51780

[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10020
/proc/meminfo: memFree=28954368/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=52084 CPUtime=1422.35 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 11234 0 0 0 142083 152 0 0 25 0 1 0 829882252 53334016 10582 33554432000 134512640 137138936 4291304848 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 13021 10582 192 642 0 12377 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 52084

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/401 10021
/proc/meminfo: memFree=29033208/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=52020 CPUtime=1482.33 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 11234 0 0 0 148075 158 0 0 25 0 1 0 829882252 53268480 10576 33554432000 134512640 137138936 4291304848 18446744073709551615 134542444 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 13005 10576 192 642 0 12361 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 52020

[startup+1542.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/401 10023
/proc/meminfo: memFree=29033300/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=52072 CPUtime=1542.33 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 11244 0 0 0 154069 164 0 0 25 0 1 0 829882252 53321728 10581 33554432000 134512640 137138936 4291304848 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 13018 10581 192 642 0 12374 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 52072

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/401 10024
/proc/meminfo: memFree=29032528/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=52028 CPUtime=1602.34 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 11244 0 0 0 160064 170 0 0 25 0 1 0 829882252 53276672 10578 33554432000 134512640 137138936 4291304848 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 13007 10578 192 642 0 12363 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 52028

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 10026
/proc/meminfo: memFree=29033848/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=50000 CPUtime=1662.34 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 11244 0 0 0 166057 177 0 0 25 0 1 0 829882252 51200000 10071 33554432000 134512640 137138936 4291304848 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 12500 10071 192 642 0 11856 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 50000

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 10028
/proc/meminfo: memFree=29034076/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=49700 CPUtime=1722.33 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 11244 0 0 0 172050 183 0 0 25 0 1 0 829882252 50892800 9996 33554432000 134512640 137138936 4291304848 18446744073709551615 134542955 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 12425 9996 192 642 0 11781 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 49700

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10029
/proc/meminfo: memFree=29034040/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=49580 CPUtime=1782.34 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 11244 0 0 0 178043 191 0 0 25 0 1 0 829882252 50769920 9966 33554432000 134512640 137138936 4291304848 18446744073709551615 135984569 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 12395 9966 192 642 0 11751 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 49580

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10029
/proc/meminfo: memFree=29034160/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=49580 CPUtime=1785.54 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 11244 0 0 0 178363 191 0 0 25 0 1 0 829882252 50769920 9966 33554432000 134512640 137138936 4291304848 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 12395 9966 192 642 0 11751 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 49580

[startup+1791.92 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10030
/proc/meminfo: memFree=29034036/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=49580 CPUtime=1791.95 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 11244 0 0 0 179003 192 0 0 25 0 1 0 829882252 50769920 9966 33554432000 134512640 137138936 4291304848 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 12395 9966 192 642 0 11751 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 49580

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10030
/proc/meminfo: memFree=29034160/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=49496 CPUtime=1795.15 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 11244 0 0 0 179323 192 0 0 25 0 1 0 829882252 50683904 9945 33554432000 134512640 137138936 4291304848 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 12374 9945 192 642 0 11730 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 49496

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10030
/proc/meminfo: memFree=29034036/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=49496 CPUtime=1796.74 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 11244 0 0 0 179482 192 0 0 25 0 1 0 829882252 50683904 9945 33554432000 134512640 137138936 4291304848 18446744073709551615 136504080 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 12374 9945 192 642 0 11730 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 49496

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10030
/proc/meminfo: memFree=29034284/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=49328 CPUtime=1797.54 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 11244 0 0 0 179562 192 0 0 25 0 1 0 829882252 50511872 9903 33554432000 134512640 137138936 4291304848 18446744073709551615 136505205 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 12332 9903 192 642 0 11688 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 49328

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/401 10030
/proc/meminfo: memFree=29034284/32950904 swapFree=56615552/67111528
[pid=9954] ppid=9952 vsize=49328 CPUtime=1797.93 cores=0,2,4,6
/proc/9954/stat : 9954 (bsolo) R 9952 9954 8078 0 -1 4202496 11244 0 0 0 179601 192 0 0 25 0 1 0 829882252 50511872 9903 33554432000 134512640 137138936 4291304848 18446744073709551615 134551121 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9954/statm: 12332 9903 192 642 0 11688 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 49328

Child status: 0
Real time (s): 1797.96
CPU time (s): 1798
CPU user time (s): 1796.07
CPU system time (s): 1.93071
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 52104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.07
system time used= 1.93071
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11245
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= 5
involuntary context switches= 2697

runsolver used 7.12992 second user time and 15.7496 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-04 12:20:25
IDJOB=3462781
IDBENCH=48197
IDSOLVER=1955
FILE ID=node121/3462781-1307182825
RUNJOBID= node121-1307174965-9241
PBS_JOBID= 13508819
Free space on /tmp= 73956 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_25_2.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462781-1307182825/watcher-3462781-1307182825 -o /tmp/evaluation-result-3462781-1307182825/solver-3462781-1307182825 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462781-1307182825.opb

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

MD5SUM BENCH= 4a1dc018d8373d1119ec5a7a226f506e
RANDOM SEED=569788240

node121.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      29997616 kB
Buffers:        324840 kB
Cached:         467500 kB
SwapCached:       9896 kB
Active:        2278048 kB
Inactive:       414572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      29997616 kB
SwapTotal:    67111528 kB
SwapFree:     56615552 kB
Dirty:            3916 kB
Writeback:           0 kB
AnonPages:     1897912 kB
Mapped:          13884 kB
Slab:           141632 kB
PageTables:      51724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 83587868 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73948 MiB
End job on node121 at 2011-06-04 12:50:23