Trace number 2656573

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 CardSAT223 1798.62 1799.35

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
MD5SUM90154dd1b8a90675a35ad37cbef52f77
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark194
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 189
Optimality of the best value was proved NO
Number of variables481
Total number of constraints481
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 constraints481
Minimum length of a constraint3
Maximum length of a constraint19
Number of terms in the objective function 481
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 481
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 481
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.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-2656573-1276363878.opb
0.00/0.00	c File size is 43841 bytes.
0.00/0.00	c Highest Coefficient sum: 481
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.008 s
0.00/0.01	c Var: 481 Constr: 481 0/0/481 Lit: 4331 Watch. Lit: 1563
0.00/0.01	c Obj. Vars: 481 (100 % of total variables)
0.00/0.01	c Pre-processing Time: 0.012 s
0.59/0.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.59/0.68	c        0    481      481     4331    9     2030    8662      0      0 0.01
0.59/0.68	c Initial Lower Bound: 147
0.59/0.68	c Initial Path Cost: 0
0.59/0.69	o 237
7.39/7.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.39/7.47	c        0    481      482     4812    9     2489    9662      1      0 0.69
7.39/7.47	o 236
15.09/15.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.09/15.11	c       10    481      493     7729   15     2759    9662     12      1 7.46
15.09/15.11	o 230
31.37/31.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.37/31.45	c       10    481      494     8210   16     3078    9662     13      0 15.11
31.37/31.45	c      111    481      796    88447  111     3762   10629    315      4 23.64
31.37/31.45	o 229
46.68/46.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
46.68/46.72	c      112    481      798    89162  111     3925    9662    317      3 31.44
46.68/46.72	c      213    481     1091   163770  150     4547   10629    610      5 39.62
46.68/46.72	o 227
53.97/54.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
53.97/54.06	c      213    481     1092   164251  150     4784    9662    611      4 46.70
53.97/54.06	o 226
101.55/101.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
101.55/101.63	c      248    481     1153   179425  155     5166    9662    672      4 54.04
101.55/101.63	c      348    481     1444   265584  183     5746   10629    963      5 62.97
101.55/101.63	c      598    481     2153   451608  209     7173   11692   1672      8 72.31
101.55/101.63	c     1074    481     3341   754232  225     9567   12862   2860     13 82.38
101.55/101.63	c     1888    481     5348  1251320  233    13777   14149   4867     20 94.31
101.55/101.63	o 225
1040.87/1041.39	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1040.87/1041.39	c     2017    481     5702  1338010  234    14745    9662   5221     19 101.59
1040.87/1041.39	c     2117    481     5982  1410969  235    15340   10629   5501     19 110.14
1040.87/1041.39	c     2368    481     6708  1611133  240    16798   11692   6227     19 119.52
1040.87/1041.39	c     2843    481     8013  1957039  244    19378   12862   7532     22 129.00
1040.87/1041.39	c     3657    481    10385  2651487  255    24131   14149   9904     25 140.85
1040.87/1041.39	c     4977    481    14045  3657048  260    31465   15564  13564     31 155.55
1040.87/1041.39	c     7058    481    11929  3210573  269    25500   17121  11448     40 176.08
1040.87/1041.39	c    10281    481    11824  3119060  263    25282   18834  11343     50 205.57
1040.87/1041.39	c    15217    481    16513  4481891  271    34629   20718  16032     62 243.77
1040.87/1041.39	c    22724    481    16787  4649580  276    35188   22790  16306     75 301.27
1040.87/1041.39	c    34086    481    14126  4033324  285    29901   25070  13645     86 392.42
1040.87/1041.39	c    51230    481    24098  6404514  265    49823   27578  23617     96 529.82
1040.87/1041.39	c    77049    481    26351  7209655  273    54341   30336  25870    105 726.92
1040.87/1041.39	c   115881    481    16601  4262932  256    34836   33370  16120    112 1033.88
1040.87/1041.39	o 224
1103.25/1103.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1103.25/1103.77	c   115906    481    16667  4279919  256    35204    9662  16186    111 1040.98
1103.25/1103.77	c   116007    481     5615  1373442  244    12856   10629   5134    110 1049.79
1103.25/1103.77	c   116257    481     6346  1597776  251    14330   11692   5865    109 1058.37
1103.25/1103.77	c   116732    481     7746  2012388  259    17136   12862   7265    109 1069.19
1103.25/1103.77	c   117546    481    10098  2606115  258    21812   14149   9617    108 1080.78
1103.25/1103.77	c   118866    481    13995  3644876  260    29632   15564  13514    108 1095.98
1103.25/1103.77	o 223
1798.56/1799.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.56/1799.32	c   118866    481    13996  3645357  260    29835    9662  13515    107 1103.32
1798.56/1799.32	c   118967    481     5599  1374410  245    12835   10629   5118    107 1110.72
1798.56/1799.32	c   119218    481     6336  1582569  249    14305   11692   5855    106 1121.01
1798.56/1799.32	c   119693    481     7740  1984933  256    17108   12862   7259    105 1131.76
1798.56/1799.32	c   120506    481    10052  2666876  265    21740   14149   9571    105 1144.47
1798.56/1799.32	c   121826    481    13949  3812461  273    29517   15564  13468    104 1160.80
1798.56/1799.32	c   123907    481    11727  3067057  261    25059   17121  11246    104 1180.96
1798.56/1799.32	c   127132    481    12046  3271986  271    25697   18834  11565    105 1210.16
1798.56/1799.32	c   132068    481    16372  4432739  270    34406   20718  15891    105 1248.71
1798.56/1799.32	c   139575    481    16399  4511280  275    34432   22790  15918    106 1305.68
1798.56/1799.32	c   150937    481    13960  3680644  263    29529   25070  13479    108 1389.63
1798.56/1799.32	c   168082    481    25158  6820474  271    51916   27578  24677    111 1509.33
1798.56/1799.32	c   193902    481    14271  3923068  274    30170   30336  13790    113 1708.20
1798.56/1799.32	c Resources Exceeded
1798.56/1799.32	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 x479 x480 -x481 
1798.56/1799.32	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.56/1799.32	c   45   205390  38557   284209    15650  4210487  15169    114 1798.59
1798.56/1799.32	c Objective: 223
1798.56/1799.32	s SATISFIABLE
1798.56/1799.32	c Total time: 1798.59 s

Verifier Data 

OK	223

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656573-1276363878/watcher-2656573-1276363878 -o /tmp/evaluation-result-2656573-1276363878/solver-2656573-1276363878 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656573-1276363878.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 13540
/proc/meminfo: memFree=1580108/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=10836 CPUtime=0
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 11989468 11096064 237 1992294400 134512640 137138936 4288341552 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 2709 237 174 642 0 2054 0

[startup+0.0418371 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13540
/proc/meminfo: memFree=1580108/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=12100 CPUtime=0.03
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 591 0 0 0 3 0 0 0 20 0 1 0 11989468 12390400 499 1992294400 134512640 137138936 4288341552 18446744073709551615 135340221 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 3025 499 275 642 0 2381 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12100

[startup+0.100849 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13540
/proc/meminfo: memFree=1580108/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=12336 CPUtime=0.09
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 697 0 0 0 9 0 0 0 20 0 1 0 11989468 12632064 597 1992294400 134512640 137138936 4288341552 18446744073709551615 135466081 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 3084 597 278 642 0 2440 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12336

[startup+0.300892 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13540
/proc/meminfo: memFree=1580108/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=12928 CPUtime=0.29
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 958 0 0 0 29 0 0 0 20 0 1 0 11989468 13238272 693 1992294400 134512640 137138936 4288341552 18446744073709551615 135463915 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 3232 693 278 642 0 2588 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12928

[startup+0.700977 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 13540
/proc/meminfo: memFree=1580108/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=13224 CPUtime=0.69
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 1649 0 0 0 69 0 0 0 20 0 1 0 11989468 13541376 583 1992294400 134512640 137138936 4288341552 18446744073709551615 135251372 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 3306 583 283 642 0 2662 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13224

[startup+1.50115 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13541
/proc/meminfo: memFree=1578612/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=13336 CPUtime=1.48
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 4868 0 0 0 147 1 0 0 23 0 1 0 11989468 13656064 719 1992294400 134512640 137138936 4288341552 18446744073709551615 134734506 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 3334 719 283 642 0 2690 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13336

[startup+3.10149 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13541
/proc/meminfo: memFree=1578240/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=13292 CPUtime=3.09
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 9024 0 0 0 306 3 0 0 25 0 1 0 11989468 13611008 636 1992294400 134512640 137138936 4288341552 18446744073709551615 135463917 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 3323 637 283 642 0 2679 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13292

[startup+6.30117 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13541
/proc/meminfo: memFree=1578116/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=13720 CPUtime=6.29
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 21143 0 0 0 622 7 0 0 25 0 1 0 11989468 14049280 582 1992294400 134512640 137138936 4288341552 18446744073709551615 135466079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 3430 582 283 642 0 2786 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13720

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13541
/proc/meminfo: memFree=1577744/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=14124 CPUtime=12.69
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 49248 0 0 0 1252 17 0 0 25 0 1 0 11989468 14462976 598 1992294400 134512640 137138936 4288341552 18446744073709551615 135446766 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 3531 598 288 642 0 2887 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14124

[startup+25.5003 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13541
/proc/meminfo: memFree=1576752/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=15428 CPUtime=25.48
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 112329 0 0 0 2511 37 0 0 25 0 1 0 11989468 15798272 948 1992294400 134512640 137138936 4288341552 18446744073709551615 135446772 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 3857 948 292 642 0 3213 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15428

[startup+51.1007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13543
/proc/meminfo: memFree=1576008/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=16512 CPUtime=51.07
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 224501 0 0 0 5034 73 0 0 25 0 1 0 11989468 16908288 1199 1992294400 134512640 137138936 4288341552 18446744073709551615 135457386 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 4128 1199 292 642 0 3484 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 16512

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13543
/proc/meminfo: memFree=1559640/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=32380 CPUtime=102.25
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 686457 0 0 0 10016 209 0 0 25 0 1 0 11989468 33157120 5256 1992294400 134512640 137138936 4288341552 18446744073709551615 135438619 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 8095 5256 292 642 0 7451 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 32380

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13545
/proc/meminfo: memFree=1530128/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=62332 CPUtime=162.23
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 1294618 0 0 0 15831 392 0 0 25 0 1 0 11989468 63827968 12611 1992294400 134512640 137138936 4288341552 18446744073709551615 135470042 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 15583 12613 292 642 0 14939 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 62332

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13547
/proc/meminfo: memFree=1514008/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=75140 CPUtime=222.2
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 1815608 0 0 0 21604 616 0 0 25 0 1 0 11989468 76943360 16461 1992294400 134512640 137138936 4288341552 18446744073709551615 134828798 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 18785 16461 292 642 0 18141 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 75140

[startup+282.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 13549
/proc/meminfo: memFree=1497640/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=94036 CPUtime=282.18
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 2294239 0 0 0 27370 848 0 0 25 0 1 0 11989468 96292864 20643 1992294400 134512640 137138936 4288341552 18446744073709551615 134732336 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 23509 20643 292 642 0 22865 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 94036

[startup+342.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 13551
/proc/meminfo: memFree=1490820/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=98728 CPUtime=342.15
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 2678256 0 0 0 33158 1057 0 0 25 0 1 0 11989468 101097472 22358 1992294400 134512640 137138936 4288341552 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 24682 22358 292 642 0 24038 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 98728

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13551
/proc/meminfo: memFree=1481024/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=110180 CPUtime=402.13
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 3062534 0 0 0 38968 1245 0 0 25 0 1 0 11989468 112824320 24690 1992294400 134512640 137138936 4288341552 18446744073709551615 135445326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 27545 24691 292 642 0 26901 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 110180

[startup+462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13553
/proc/meminfo: memFree=1480776/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=110900 CPUtime=462.1
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 3436540 0 0 0 44747 1463 0 0 25 0 1 0 11989468 113561600 24851 1992294400 134512640 137138936 4288341552 18446744073709551615 134732370 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 27725 24851 292 642 0 27081 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 110900

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13555
/proc/meminfo: memFree=1480652/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=108660 CPUtime=522.08
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 3763018 0 0 0 50544 1664 0 0 25 0 1 0 11989468 111267840 24841 1992294400 134512640 137138936 4288341552 18446744073709551615 136504393 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 27165 24841 292 642 0 26521 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 108660

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13557
/proc/meminfo: memFree=1466888/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=122460 CPUtime=582.06
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 4209202 0 0 0 56319 1887 0 0 25 0 1 0 11989468 125399040 28291 1992294400 134512640 137138936 4288341552 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 30615 28291 292 642 0 29971 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 122460

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13559
/proc/meminfo: memFree=1466392/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=125068 CPUtime=642.04
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 4546941 0 0 0 62111 2093 0 0 25 0 1 0 11989468 128069632 28404 1992294400 134512640 137138936 4288341552 18446744073709551615 134730668 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 31267 28404 292 642 0 30623 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 125068

[startup+702.301 s]

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

/proc/meminfo: memFree=1463168/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=128232 CPUtime=1061.87
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 6876559 0 0 0 102720 3467 0 0 25 0 1 0 11989468 131309568 29152 1992294400 134512640 137138936 4288341552 18446744073709551615 135463577 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 32058 29152 292 642 0 31414 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 128232

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13571
/proc/meminfo: memFree=1463664/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=128320 CPUtime=1121.84
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 7147348 0 0 0 108592 3592 0 0 25 0 1 0 11989468 131399680 29024 1992294400 134512640 137138936 4288341552 18446744073709551615 134768875 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 32080 29024 292 642 0 31436 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 128320

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13573
/proc/meminfo: memFree=1463664/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=128156 CPUtime=1181.82
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 7395979 0 0 0 114454 3728 0 0 25 0 1 0 11989468 131231744 29060 1992294400 134512640 137138936 4288341552 18446744073709551615 135456285 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 32039 29060 292 642 0 31395 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 128156

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13575
/proc/meminfo: memFree=1463540/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=124996 CPUtime=1241.79
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 7652884 0 0 0 120282 3897 0 0 25 0 1 0 11989468 127995904 28925 1992294400 134512640 137138936 4288341552 18446744073709551615 136504083 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 31249 28925 292 642 0 30605 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 124996

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13575
/proc/meminfo: memFree=1463416/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=125296 CPUtime=1301.77
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 7790751 0 0 0 126172 4005 0 0 25 0 1 0 11989468 128303104 28929 1992294400 134512640 137138936 4288341552 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 31324 28929 292 642 0 30680 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 125296

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13577
/proc/meminfo: memFree=1463416/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=124992 CPUtime=1361.75
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 7870554 0 0 0 132093 4082 0 0 25 0 1 0 11989468 127991808 28924 1992294400 134512640 137138936 4288341552 18446744073709551615 136504265 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 31248 28924 292 642 0 30604 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 124992

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13579
/proc/meminfo: memFree=1463540/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=125372 CPUtime=1421.73
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 7946892 0 0 0 138014 4159 0 0 25 0 1 0 11989468 128380928 28928 1992294400 134512640 137138936 4288341552 18446744073709551615 134556069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 31343 28928 292 642 0 30699 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 125372

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13581
/proc/meminfo: memFree=1463416/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=125372 CPUtime=1481.7
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8019340 0 0 0 143927 4243 0 0 25 0 1 0 11989468 128380928 28928 1992294400 134512640 137138936 4288341552 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 31343 28928 292 642 0 30699 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 125372

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13583
/proc/meminfo: memFree=1463416/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=125376 CPUtime=1541.68
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8090634 0 0 0 149853 4315 0 0 25 0 1 0 11989468 128385024 28929 1992294400 134512640 137138936 4288341552 18446744073709551615 135783051 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 31344 28929 292 642 0 30700 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 125376

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13583
/proc/meminfo: memFree=1463416/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=125376 CPUtime=1601.65
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8157410 0 0 0 155767 4398 0 0 25 0 1 0 11989468 128385024 28929 1992294400 134512640 137138936 4288341552 18446744073709551615 136574033 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 31496 28931 292 642 0 30852 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 125376

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13585
/proc/meminfo: memFree=1463416/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=125376 CPUtime=1661.62
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8222050 0 0 0 161681 4481 0 0 25 0 1 0 11989468 128385024 28929 1992294400 134512640 137138936 4288341552 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 31344 28929 292 642 0 30700 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 125376

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 13587
/proc/meminfo: memFree=1463416/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=125996 CPUtime=1721.6
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8287258 0 0 0 167605 4555 0 0 25 0 1 0 11989468 129019904 28931 1992294400 134512640 137138936 4288341552 18446744073709551615 134730585 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 31499 28931 292 642 0 30855 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 125996

[startup+1782.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 13589
/proc/meminfo: memFree=1462548/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=127664 CPUtime=1781.58
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8486009 0 0 0 173459 4699 0 0 25 0 1 0 11989468 130727936 29175 1992294400 134512640 137138936 4288341552 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 31916 29176 292 642 0 31272 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 127664

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

[startup+1791.91 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 13598
/proc/meminfo: memFree=1461928/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=127656 CPUtime=1791.17
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8536847 0 0 0 174384 4733 0 0 25 0 1 0 11989468 130719744 29176 1992294400 134512640 137138936 4288341552 18446744073709551615 134733524 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 31914 29176 292 642 0 31270 0
Current children cumulated CPU time (s) 1791.17
Current children cumulated vsize (KiB) 127656

[startup+1795.1 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 13598
/proc/meminfo: memFree=1461928/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=125976 CPUtime=1794.37
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8553891 0 0 0 174692 4745 0 0 25 0 1 0 11989468 128999424 29170 1992294400 134512640 137138936 4288341552 18446744073709551615 136511151 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 31494 29170 292 642 0 30850 0
Current children cumulated CPU time (s) 1794.37
Current children cumulated vsize (KiB) 125976

[startup+1796.7 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 13598
/proc/meminfo: memFree=1461928/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=125976 CPUtime=1795.96
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8560934 0 0 0 174846 4750 0 0 25 0 1 0 11989468 128999424 29170 1992294400 134512640 137138936 4288341552 18446744073709551615 134712236 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 31494 29170 292 642 0 30850 0
Current children cumulated CPU time (s) 1795.96
Current children cumulated vsize (KiB) 125976

[startup+1798.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 13598
/proc/meminfo: memFree=1461928/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=125976 CPUtime=1797.56
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8566734 0 0 0 175002 4754 0 0 25 0 1 0 11989468 128999424 29170 1992294400 134512640 137138936 4288341552 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 31494 29170 292 642 0 30850 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 125976

[startup+1799.1 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 13598
/proc/meminfo: memFree=1461928/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=125976 CPUtime=1798.36
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8566734 0 0 0 175082 4754 0 0 25 0 1 0 11989468 128999424 29170 1992294400 134512640 137138936 4288341552 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 31494 29170 292 642 0 30850 0
Current children cumulated CPU time (s) 1798.36
Current children cumulated vsize (KiB) 125976

[startup+1799.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 13598
/proc/meminfo: memFree=1461928/2059040 swapFree=4192956/4192956
[pid=13540] ppid=13538 vsize=125976 CPUtime=1798.56
/proc/13540/stat : 13540 (bsolo_pb10) R 13538 13540 12744 0 -1 4202496 8566734 0 0 0 175102 4754 0 0 25 0 1 0 11989468 128999424 29170 1992294400 134512640 137138936 4288341552 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13540/statm: 31494 29170 292 642 0 30850 0
Current children cumulated CPU time (s) 1798.56
Current children cumulated vsize (KiB) 125976

Child status: 0
Real time (s): 1799.35
CPU time (s): 1798.62
CPU user time (s): 1751.06
CPU system time (s): 47.5588
CPU usage (%): 99.9595
Max. virtual memory (cumulated for all children) (KiB): 128748

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

runsolver used 3.2655 second user time and 8.19375 second system time

The end

Launcher Data 

Begin job on node010 at 2010-06-12 19:31:18
IDJOB=2656573
IDBENCH=1949
IDSOLVER=1162
FILE ID=node010/2656573-1276363878
PBS_JOBID= 11173203
Free space on /tmp= 62500 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656573-1276363878/watcher-2656573-1276363878 -o /tmp/evaluation-result-2656573-1276363878/solver-2656573-1276363878 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656573-1276363878.opb

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

MD5SUM BENCH= 90154dd1b8a90675a35ad37cbef52f77
RANDOM SEED=428467203

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.267
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1580512 kB
Buffers:        127156 kB
Cached:         221080 kB
SwapCached:          0 kB
Active:         156256 kB
Inactive:       251276 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1580512 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3996 kB
Writeback:          56 kB
AnonPages:       59212 kB
Mapped:          15408 kB
Slab:            49244 kB
PageTables:       4012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181396 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= 62496 MiB
End job on node010 at 2010-06-12 20:01:18