Trace number 1879977

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
bsolo 3.1 pbSAT216 1798.02 1798.64

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
MD5SUM85de1910ead9431952046fc8a55b274b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark195
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 185
Optimality of the best value was proved NO
Number of variables478
Total number of constraints478
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 constraints478
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 478
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 478
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 478
Number of bits of the biggest sum of numbers9
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: Generic Pseudo-Boolean 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-1879977-1245138007.opb
0.00/0.00	c File size is 43685 bytes.
0.00/0.00	c Highest Coefficient sum: 478
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.005 s
0.00/0.00	c Var: 478 Constr: 478 0/0/478 Lit: 4304 Watch. Lit: 1544
0.00/0.00	c Obj. Vars: 478 (100 % of total variables)
0.00/0.01	c Pre-processing Time: 0.01 s
0.69/0.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.72	c        0    478      478     4304    9     1971    8608      0      0 0.01
0.69/0.72	c Initial Lower Bound: 142
0.69/0.72	c Initial Path Cost: 0
0.69/0.72	o 233
7.59/7.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.59/7.63	c        0    478      479     4782    9     2433    9608      1      0 0.72
7.59/7.63	o 232
15.29/15.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.29/15.34	c        3    478      486     7393   15     3417    9608      8      0 7.63
15.29/15.34	o 228
31.68/31.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.68/31.80	c        3    478      487     7871   16     3459    9608      9      0 15.34
31.68/31.80	c      103    478      782    85413  109     4097   10569    304      4 24.04
31.68/31.80	o 227
39.37/39.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
39.37/39.49	c      106    478      789    88032  111     4923    9608    311      3 31.79
39.37/39.49	o 225
47.47/47.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
47.47/47.50	c      106    478      790    88510  112     5153    9608    312      2 39.47
47.47/47.50	o 224
71.26/71.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
71.26/71.36	c      106    478      791    88988  112     5418    9608    313      2 47.48
71.26/71.36	c      207    478     1089   162763  149     6091   10569    611      3 55.66
71.26/71.36	c      458    478     1839   362286  197     7707   11626   1361      7 63.86
71.26/71.36	o 223
109.05/109.18	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
109.05/109.18	c      585    478     2164   445485  205    12507    9608   1686      8 71.33
109.05/109.18	c      685    478     2462   526172  213    11416   10569   1984      8 79.04
109.05/109.18	c      938    478     3216   745135  231    12942   11626   2738     10 88.89
109.05/109.18	c     1413    478     4595  1134691  246    16251   12789   4117     13 101.72
109.05/109.18	o 221
115.84/115.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
115.84/115.92	c     1413    478     4596  1135169  246    15932    9608   4118     12 109.14
115.84/115.92	o 220
342.27/342.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
342.27/342.45	c     1429    478     4629  1146590  247    19829    9608   4151     12 115.88
342.27/342.45	c     1529    478     4929  1235216  250    19269   10569   4451     12 123.85
342.27/342.45	c     1779    478     5673  1460855  257    20321   11626   5195     13 134.42
342.27/342.45	c     2255    478     7090  1856805  261    23658   12789   6612     15 145.57
342.27/342.45	c     3068    478     9505  2531366  266    28553   14068   9027     19 158.46
342.27/342.45	c     4388    478    13400  3603168  268    37197   15475  12922     25 173.45
342.27/342.45	c     6470    478    11357  3066136  269    31142   17023  10879     33 194.84
342.27/342.45	c     9694    478    11575  3090271  266    54663   18726  11097     43 221.76
342.27/342.45	c    14631    478    13203  3652407  276   452499   20599  12725     54 267.29
342.27/342.45	c    22138    478    13747  3524818  256    33836   22659  13269     66 334.75
342.27/342.45	o 219
685.06/685.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
685.06/685.39	c    22142    478    13756  3527572  256    33859    9608  13278     64 342.34
685.06/685.39	c    22242    478     5578  1350634  242    14713   10569   5100     63 351.16
685.06/685.39	c    22493    478     6330  1563991  247    16078   11626   5852     62 359.44
685.06/685.39	c    22969    478     7744  1961451  253    19059   12789   7266     61 370.60
685.06/685.39	c    23782    478    10165  2646873  260    24472   14068   9687     62 382.81
685.06/685.39	c    25102    478    14054  3755200  267    33461   15475  13576     63 397.58
685.06/685.39	c    27183    478    10771  2876659  267   136289   17023  10293     64 418.39
685.06/685.39	c    30406    478    10377  2743457  264   295648   18726   9899     67 448.05
685.06/685.39	c    35343    478    15220  4238172  278   106979   20599  14742     71 494.22
685.06/685.39	c    42849    478    16011  4399133  274    40681   22659  15533     76 557.95
685.06/685.39	c    54210    478    14531  3860606  265    36381   24925  14053     83 647.13
685.06/685.39	o 218
873.10/873.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
873.10/873.46	c    57997    478    21944  6104539  278   569784    9608  21466     84 685.15
873.10/873.46	c    58097    478     5583  1564057  280   175162   10569   5105     82 705.16
873.10/873.46	c    58347    478     6322  1773734  280   199115   11626   5844     81 715.98
873.10/873.46	c    58824    478     7741  2181308  281   161478   12789   7263     80 728.40
873.10/873.46	c    59637    478    10141  2825226  278   155574   14068   9663     80 742.60
873.10/873.46	c    60958    478    14082  3901854  277   169903   15475  13604     80 759.67
873.10/873.46	c    63039    478    12141  3174294  261    49402   17023  11663     80 787.31
873.10/873.46	c    66262    478    12635  3395185  268    36374   18726  12157     81 816.26
873.10/873.46	c    71199    478    17462  4855945  278    48580   20599  16984     83 855.85
873.10/873.46	o 217
1106.31/1106.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1106.31/1106.73	c    72658    478    10965  2916332  265    43112    9608  10487     83 873.16
1106.31/1106.73	c    72759    478     5585  1377689  246    21673   10569   5107     82 881.82
1106.31/1106.73	c    73009    478     6332  1592111  251    22389   11626   5854     81 891.31
1106.31/1106.73	c    73484    478     7738  1976479  255    25038   12789   7260     81 901.98
1106.31/1106.73	c    74297    478    10113  2622097  259    29891   14068   9635     81 914.03
1106.31/1106.73	c    75617    478    14060  3795964  269    38084   15475  13582     81 930.28
1106.31/1106.73	c    77698    478    12145  3247408  267    31683   17023  11667     81 950.99
1106.31/1106.73	c    80922    478    12837  3391680  264    34189   18726  12359     82 978.35
1106.31/1106.73	c    85861    478    17362  4619020  266    40638   20599  16884     84 1016.57
1106.31/1106.73	o 216
1797.97/1798.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.97/1798.62	c    92141    478    19817  6070468  306  1335705    9608  19339     83 1106.35
1797.97/1798.62	c    92241    478     5578  1665663  298   262992   10569   5100     74 1233.09
1797.97/1798.62	c    92492    478     6306  1879136  297   226731   11626   5828     74 1244.87
1797.97/1798.62	c    92967    478     7727  2284880  295   226767   12789   7249     73 1257.47
1797.97/1798.62	c    93781    478    10134  2986349  294   210184   14068   9656     73 1272.31
1797.97/1798.62	c    95101    478    14057  4141436  294   230055   15475  13579     73 1292.19
1797.97/1798.62	c    97183    478    12157  3468173  285    39982   17023  11679     73 1328.15
1797.97/1798.62	c   100406    478    12850  3464972  269    38422   18726  12372     73 1358.55
1797.97/1798.62	c   105343    478    17676  4924901  278    48460   20599  17198     75 1398.32
1797.97/1798.62	c   112849    478    18379  4901482  266    48910   22659  17901     77 1461.44
1797.97/1798.62	c   124211    478    17048  4868712  285    41907   24925  16570     79 1553.68
1797.97/1798.62	c   141355    478    16776  4719829  281    46041   27418  16298     83 1692.04
1797.97/1798.62	c Resources Exceeded
1797.97/1798.62	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 x201 x202 x203 x204 x205 -x206 -x207 -x208 x209 x210 x211 x212 -x213 x214 -x215 -x216 x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 x231 x232 x233 x234 -x235 x236 -x237 -x238 -x239 -x240 x241 x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 x255 -x256 x257 -x258 x259 x260 -x261 -x262 x263 x264 -x265 x266 -x267 x268 x269 -x270 x271 x272 x273 -x274 -x275 x276 -x277 x278 x279 x280 x281 -x282 x283 -x284 -x285 -x286 x287 -x288 x289 x290 x291 x292 -x293 -x294 -x295 x296 x297 -x298 x299 -x300 -x301 -x302 -x303 -x304 x305 -x306 x307 -x308 -x309 x310 x311 -x312 x313 -x314 x315 -x316 -x317 x318 x319 -x320 -x321 x322 -x323 -x324 x325 -x326 x327 x328 x329 x330 x331 x332 -x333 x334 -x335 -x336 -x337 x338 x339 -x340 x341 -x342 -x343 -x344 x345 -x346 -x347 x348 -x349 -x350 x351 x352 -x353 -x354 -x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 x367 -x368 -x369 x370 x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 x380 x381 x382 x383 -x384 -x385 -x386 -x387 x388 x389 -x390 -x391 -x392 x393 x394 -x395 x396 x397 x398 x399 x400 -x401 x402 x403 -x404 -x405 x406 x407 x408 x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 x420 -x421 -x422 x423 -x424 -x425 -x426 -x427 -x428 -x429 x430 -x431 x432 x433 -x434 -x435 x436 x437 x438 x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 x447 x448 x449 -x450 -x451 x452 x453 -x454 -x455 x456 x457 x458 -x459 -x460 x461 x462 -x463 -x464 x465 -x466 x467 x468 -x469 x470 -x471 x472 -x473 x474 x475 -x476 x477 -x478 
1797.97/1798.62	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.62	c   65   155417  31314   224819    15197  3762307  14719     86 1798.00
1797.97/1798.62	c Objective: 216
1797.97/1798.62	s SATISFIABLE
1797.97/1798.62	c Total time: 1798 s

Verifier Data 

OK	216

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1879977-1245138007/watcher-1879977-1245138007 -o /tmp/evaluation-result-1879977-1245138007/solver-1879977-1245138007 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879977-1245138007.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.92 0.98 0.99 3/64 8916
/proc/meminfo: memFree=1857152/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=10756 CPUtime=0
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 243 0 0 0 0 0 0 0 18 0 1 0 181401498 11014144 227 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 2689 227 174 640 0 2034 0

[startup+0.0138801 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8916
/proc/meminfo: memFree=1857152/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=10844 CPUtime=0.01
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 355 0 0 0 1 0 0 0 18 0 1 0 181401498 11104256 328 1992294400 134512640 137136520 4294956256 18446744073709551615 135743366 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 2711 328 224 640 0 2067 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10844

[startup+0.101897 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8916
/proc/meminfo: memFree=1857152/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=12236 CPUtime=0.09
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 650 0 0 0 9 0 0 0 18 0 1 0 181401498 12529664 615 1992294400 134512640 137136520 4294956256 18446744073709551615 135448180 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 3059 615 284 640 0 2415 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12236

[startup+0.301932 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8916
/proc/meminfo: memFree=1857152/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=12732 CPUtime=0.29
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 872 0 0 0 29 0 0 0 19 0 1 0 181401498 13037568 683 1992294400 134512640 137136520 4294956256 18446744073709551615 135443223 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 3183 683 284 640 0 2539 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12732

[startup+0.702006 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8916
/proc/meminfo: memFree=1857152/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=13152 CPUtime=0.69
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 1382 0 0 0 69 0 0 0 22 0 1 0 181401498 13467648 751 1992294400 134512640 137136520 4294956256 18446744073709551615 135448333 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 3288 751 284 640 0 2644 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13152

[startup+1.50115 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 8917
/proc/meminfo: memFree=1855352/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=13244 CPUtime=1.49
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 3799 0 0 0 148 1 0 0 25 0 1 0 181401498 13561856 640 1992294400 134512640 137136520 4294956256 18446744073709551615 135464013 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 3311 640 289 640 0 2667 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13244

[startup+3.10145 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 8917
/proc/meminfo: memFree=1855160/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=13196 CPUtime=3.09
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 6344 0 0 0 307 2 0 0 25 0 1 0 181401498 13512704 655 1992294400 134512640 137136520 4294956256 18446744073709551615 134766815 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 3299 655 289 640 0 2655 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13196

[startup+6.30104 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 8917
/proc/meminfo: memFree=1855736/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=13360 CPUtime=6.29
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 18280 0 0 0 623 6 0 0 25 0 1 0 181401498 13680640 536 1992294400 134512640 137136520 4294956256 18446744073709551615 135448314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 3340 536 289 640 0 2696 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13360

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 8917
/proc/meminfo: memFree=1855608/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=14032 CPUtime=12.69
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 44030 0 0 0 1253 16 0 0 25 0 1 0 181401498 14368768 571 1992294400 134512640 137136520 4294956256 18446744073709551615 135445459 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 3508 571 292 640 0 2864 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14032

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 8917
/proc/meminfo: memFree=1854264/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=15280 CPUtime=25.48
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 108070 0 0 0 2510 38 0 0 25 0 1 0 181401498 15646720 903 1992294400 134512640 137136520 4294956256 18446744073709551615 135444702 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 3820 903 292 640 0 3176 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15280

[startup+51.1013 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 8917
/proc/meminfo: memFree=1854648/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=15264 CPUtime=51.07
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 204041 0 0 0 5032 75 0 0 25 0 1 0 181401498 15630336 980 1992294400 134512640 137136520 4294956256 18446744073709551615 135438859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 3816 980 295 640 0 3172 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 15264

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 8917
/proc/meminfo: memFree=1839992/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=29452 CPUtime=102.25
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 554390 0 0 0 10029 196 0 0 25 0 1 0 181401498 30158848 4626 1992294400 134512640 137136520 4294956256 18446744073709551615 135443850 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 7363 4626 295 640 0 6719 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 29452

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8917
/proc/meminfo: memFree=1822328/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=46636 CPUtime=162.23
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 982320 0 0 0 15877 346 0 0 25 0 1 0 181401498 47755264 8862 1992294400 134512640 137136520 4294956256 18446744073709551615 135432176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 11659 8863 295 640 0 11015 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 46636

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8917
/proc/meminfo: memFree=1791864/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=78484 CPUtime=222.21
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 1623729 0 0 0 21627 594 0 0 25 0 1 0 181401498 80367616 16629 1992294400 134512640 137136520 4294956256 18446744073709551615 135444687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 19621 16629 296 640 0 18977 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 78484

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8917
/proc/meminfo: memFree=1777272/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=91992 CPUtime=282.18
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 2000781 0 0 0 27453 765 0 0 25 0 1 0 181401498 94199808 20152 1992294400 134512640 137136520 4294956256 18446744073709551615 134728602 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 22998 20152 296 640 0 22354 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 91992

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8917
/proc/meminfo: memFree=1768760/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=99904 CPUtime=342.16
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 2355910 0 0 0 33270 946 0 0 25 0 1 0 181401498 102301696 22272 1992294400 134512640 137136520 4294956256 18446744073709551615 134731460 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 24976 22272 296 640 0 24332 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 99904

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8917
/proc/meminfo: memFree=1768568/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=101360 CPUtime=402.15
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 2587589 0 0 0 39165 1050 0 0 25 0 1 0 181401498 103792640 22390 1992294400 134512640 137136520 4294956256 18446744073709551615 135448314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 25340 22390 296 640 0 24696 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 101360

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8917
/proc/meminfo: memFree=1768760/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=99108 CPUtime=462.13
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 2781488 0 0 0 45049 1164 0 0 25 0 1 0 181401498 101486592 22268 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 24777 22268 296 640 0 24133 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 99108

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8917
/proc/meminfo: memFree=1764280/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=102728 CPUtime=522.11
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 2930862 0 0 0 50955 1256 0 0 25 0 1 0 181401498 105193472 23380 1992294400 134512640 137136520 4294956256 18446744073709551615 134616827 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 25682 23380 296 640 0 25038 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 102728

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8917
/proc/meminfo: memFree=1764216/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=104252 CPUtime=582.09
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 3293884 0 0 0 56766 1443 0 0 25 0 1 0 181401498 106754048 23387 1992294400 134512640 137136520 4294956256 18446744073709551615 135402628 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 26063 23387 296 640 0 25419 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 104252

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8917
/proc/meminfo: memFree=1764216/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=104268 CPUtime=642.07
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 3644575 0 0 0 62573 1634 0 0 25 0 1 0 181401498 106770432 23387 1992294400 134512640 137136520 4294956256 18446744073709551615 134731460 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 26137 23388 296 640 0 25493 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 104268

[startup+702.302 s]

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

/proc/meminfo: memFree=1745400/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=121120 CPUtime=1121.91
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 5208400 0 0 0 109707 2484 0 0 25 0 1 0 181401498 124026880 27978 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 30280 27978 296 640 0 29636 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 121120

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8919
/proc/meminfo: memFree=1745400/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=121120 CPUtime=1181.89
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 5208400 0 0 0 115705 2484 0 0 25 0 1 0 181401498 124026880 27978 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 30280 27978 296 640 0 29636 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 121120

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8919
/proc/meminfo: memFree=1745336/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=121132 CPUtime=1241.87
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 5269869 0 0 0 121678 2509 0 0 25 0 1 0 181401498 124039168 27980 1992294400 134512640 137136520 4294956256 18446744073709551615 134544428 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 30283 27980 296 640 0 29639 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 121132

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8925
/proc/meminfo: memFree=1745272/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=121132 CPUtime=1301.85
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 5508604 0 0 0 127561 2624 0 0 25 0 1 0 181401498 124039168 27980 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 30283 27980 296 640 0 29639 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 121132

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8925
/proc/meminfo: memFree=1745208/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=124612 CPUtime=1361.82
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 5736058 0 0 0 133430 2752 0 0 25 0 1 0 181401498 127602688 28072 1992294400 134512640 137136520 4294956256 18446744073709551615 135444687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 31153 28072 296 640 0 30509 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 124612

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8925
/proc/meminfo: memFree=1745208/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=121132 CPUtime=1421.8
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 6020284 0 0 0 139275 2905 0 0 25 0 1 0 181401498 124039168 27980 1992294400 134512640 137136520 4294956256 18446744073709551615 134543957 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 30283 27980 296 640 0 29639 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 121132

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8925
/proc/meminfo: memFree=1745208/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=121132 CPUtime=1481.78
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 6270538 0 0 0 145125 3053 0 0 25 0 1 0 181401498 124039168 27980 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 30283 27980 296 640 0 29639 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 121132

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8925
/proc/meminfo: memFree=1745208/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=121132 CPUtime=1541.76
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 6540380 0 0 0 150969 3207 0 0 25 0 1 0 181401498 124039168 27980 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 30283 27980 296 640 0 29639 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 121132

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8925
/proc/meminfo: memFree=1745144/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=121140 CPUtime=1601.73
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 6770865 0 0 0 156825 3348 0 0 25 0 1 0 181401498 124047360 27982 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 30285 27982 296 640 0 29641 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 121140

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8925
/proc/meminfo: memFree=1745144/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=121140 CPUtime=1661.72
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 6985210 0 0 0 162678 3494 0 0 25 0 1 0 181401498 124047360 27982 1992294400 134512640 137136520 4294956256 18446744073709551615 134617407 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 30285 27982 296 640 0 29641 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 121140

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8925
/proc/meminfo: memFree=1745080/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=122968 CPUtime=1721.7
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 7201732 0 0 0 168536 3634 0 0 25 0 1 0 181401498 125919232 27990 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 30742 27990 296 640 0 30098 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 122968

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8925
/proc/meminfo: memFree=1745080/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=122360 CPUtime=1781.68
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 7430437 0 0 0 174385 3783 0 0 25 0 1 0 181401498 125296640 27987 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 30590 27988 296 640 0 29946 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 122360

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8925
/proc/meminfo: memFree=1745080/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=121148 CPUtime=1791.28
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 7462561 0 0 0 175322 3806 0 0 25 0 1 0 181401498 124055552 27984 1992294400 134512640 137136520 4294956256 18446744073709551615 134605452 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 30287 27984 296 640 0 29643 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 121148

[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8925
/proc/meminfo: memFree=1745080/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=121148 CPUtime=1794.48
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 7469881 0 0 0 175636 3812 0 0 25 0 1 0 181401498 124055552 27984 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 30287 27984 296 640 0 29643 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (KiB) 121148

[startup+1796.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8925
/proc/meminfo: memFree=1745080/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=122344 CPUtime=1796.07
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 7472064 0 0 0 175794 3813 0 0 25 0 1 0 181401498 125280256 27988 1992294400 134512640 137136520 4294956256 18446744073709551615 134731460 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 30661 27988 296 640 0 30017 0
Current children cumulated CPU time (s) 1796.07
Current children cumulated vsize (KiB) 122344

[startup+1797.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8925
/proc/meminfo: memFree=1745080/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=121148 CPUtime=1796.88
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 7475062 0 0 0 175872 3816 0 0 25 0 1 0 181401498 124055552 27984 1992294400 134512640 137136520 4294956256 18446744073709551615 136502553 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 30287 27984 296 640 0 29643 0
Current children cumulated CPU time (s) 1796.88
Current children cumulated vsize (KiB) 121148

[startup+1798.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8925
/proc/meminfo: memFree=1745080/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=121148 CPUtime=1797.67
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 7478123 0 0 0 175950 3817 0 0 25 0 1 0 181401498 124055552 27984 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 30287 27984 296 640 0 29643 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (KiB) 121148

[startup+1798.51 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8925
/proc/meminfo: memFree=1745080/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=122956 CPUtime=1797.88
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 7478895 0 0 0 175970 3818 0 0 25 0 1 0 181401498 125906944 27991 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 30739 27991 296 640 0 30095 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 122956

[startup+1798.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 8925
/proc/meminfo: memFree=1745080/2055920 swapFree=4192812/4192956
[pid=8916] ppid=8914 vsize=121148 CPUtime=1797.97
/proc/8916/stat : 8916 (bsolo) R 8914 8916 8653 0 -1 4194304 7479220 0 0 0 175979 3818 0 0 25 0 1 0 181401498 124055552 27984 1992294400 134512640 137136520 4294956256 18446744073709551615 134552035 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8916/statm: 30287 27984 296 640 0 29643 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 121148

Child status: 0
Real time (s): 1798.64
CPU time (s): 1798.02
CPU user time (s): 1759.81
CPU system time (s): 38.2072
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 124756

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

runsolver used 1.42378 second user time and 3.61545 second system time

The end

Launcher Data 

Begin job on node7 at 2009-06-16 09:40:07
IDJOB=1879977
IDBENCH=1955
IDSOLVER=701
FILE ID=node7/1879977-1245138007
PBS_JOBID= 9363713
Free space on /tmp= 66272 MiB

SOLVER NAME= bsolo 3.1 pb
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_21.opb.PB06.opb
COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879977-1245138007/watcher-1879977-1245138007 -o /tmp/evaluation-result-1879977-1245138007/solver-1879977-1245138007 -C 1800 -W 2000 -M 1800  bsolo -l3 -t1800 -m1800 HOME/instance-1879977-1245138007.opb

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

MD5SUM BENCH= 85de1910ead9431952046fc8a55b274b
RANDOM SEED=198713989

node7.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.274
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.274
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1857568 kB
Buffers:         26968 kB
Cached:         101280 kB
SwapCached:          0 kB
Active:          17032 kB
Inactive:       125144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1857568 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3980 kB
Writeback:           0 kB
Mapped:          23764 kB
Slab:            42056 kB
Committed_AS:   155720 kB
PageTables:       1444 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66268 MiB
End job on node7 at 2009-06-16 10:10:06