Trace number 2656558

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 CardSAT218 1798.02 1798.67

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 benchmark189
Best CPU time to get the best result obtained on this benchmark1789.6
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.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-2656558-1276368553.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.008 s
0.00/0.01	c Var: 478 Constr: 478 0/0/478 Lit: 4304 Watch. Lit: 1544
0.00/0.01	c Obj. Vars: 478 (100 % of total variables)
0.00/0.01	c Pre-processing Time: 0.012 s
0.69/0.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.71	c        0    478      478     4304    9     1971    8608      0      0 0.01
0.69/0.71	c Initial Lower Bound: 142
0.69/0.71	c Initial Path Cost: 0
0.69/0.71	o 233
7.49/7.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.49/7.57	c        0    478      479     4782    9     2433    9608      1      0 0.71
7.49/7.57	o 232
15.08/15.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
15.08/15.15	c        4    478      484     6207   12     2693    9608      6      0 7.57
15.08/15.15	o 224
75.26/75.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
75.26/75.36	c        4    478      485     6685   13     3008    9608      7      0 15.15
75.26/75.36	c      105    478      770    83482  108     3622   10569    292      4 22.56
75.26/75.36	c      355    478     1113   165954  149     4253   11626    635     11 31.47
75.26/75.36	c      830    478     2468   554116  224     6966   12789   1990     19 41.57
75.26/75.36	c     1644    478     4620  1083766  234    11275   14068   4142     29 54.80
75.26/75.36	c     2964    478     6112  1432873  234    14539   15475   5634     43 67.87
75.26/75.36	o 222
90.76/90.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
90.76/90.83	c     2964    478     6113  1433351  234    14714    9608   5635     39 75.34
90.76/90.83	c     3065    478     6411  1510006  235    15354   10569   5933     36 83.30
90.76/90.83	o 221
97.96/98.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
97.96/98.09	c     3067    478     6418  1511862  235    15611    9608   5940     33 90.81
97.96/98.09	o 220
555.99/556.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
555.99/556.28	c     3067    478     6419  1512340  235    15909    9608   5941     31 98.06
555.99/556.28	c     3167    478     6715  1588640  236    16534   10569   6237     30 105.57
555.99/556.28	c     3417    478     7417  1776386  239    17854   11626   6939     29 114.39
555.99/556.28	c     3893    478     8813  2178855  247    20655   12789   8335     31 124.16
555.99/556.28	c     4706    478    11135  2806284  252    25372   14068  10657     34 136.90
555.99/556.28	c     6026    478     7513  1867054  248    16675   15475   7035     39 151.50
555.99/556.28	c     8109    478    13391  3481777  260    28421   17023  12913     47 171.18
555.99/556.28	c    11333    478    12030  2949581  245    25585   18726  11552     58 195.26
555.99/556.28	c    16269    478    15812  4073935  257    33200   20599  15334     69 234.44
555.99/556.28	c    23775    478    15956  4151815  260    33454   22659  15478     81 291.70
555.99/556.28	c    35137    478    13610  3659077  268    28741   24925  13132     93 374.66
555.99/556.28	c    52281    478    25269  6813797  269    52104   27418  24791    105 496.90
555.99/556.28	o 219
603.88/604.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
603.88/604.15	c    59552    478    16587  4036001  243    34974    9608  16109    107 556.09
603.88/604.15	c    59652    478     5581  1278540  229    12687   10569   5103    105 564.63
603.88/604.15	c    59902    478     6311  1490427  236    14208   11626   5833    104 574.97
603.88/604.15	c    60377    478     7686  1852199  240    16917   12789   7208    103 584.90
603.88/604.15	c    61190    478    10044  2498557  248    21621   14068   9566    102 597.01
603.88/604.15	o 218
1797.94/1798.65	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.94/1798.65	c    61191    478    10046  2499268  248    21885    9608   9568    101 603.94
1797.94/1798.65	c    61291    478     5283  1284513  243    12165   10569   4805    100 612.85
1797.94/1798.65	c    61541    478     5980  1479239  247    13535   11626   5502     99 621.45
1797.94/1798.65	c    62016    478     7373  1862724  252    16292   12789   6895     98 631.76
1797.94/1798.65	c    62830    478     9796  2550677  260    21139   14068   9318     97 644.80
1797.94/1798.65	c    64151    478    13406  3476822  259    28483   15475  12928     97 659.40
1797.94/1798.65	c    66232    478    11455  3107766  271    24605   17023  10977     97 680.40
1797.94/1798.65	c    69456    478    11641  3073392  264    24907   18726  11163     98 706.80
1797.94/1798.65	c    74392    478    16498  4555130  276    34548   20599  16020     99 746.59
1797.94/1798.65	c    81898    478    16908  4333455  256    35348   22659  16430    102 798.69
1797.94/1798.65	c    93261    478    15315  4299438  280    32158   24925  14837    106 879.79
1797.94/1798.65	c   110406    478    25050  6317088  252    51650   27418  24572    108 1019.39
1797.94/1798.65	c   136227    478    16153  4491894  278    33888   30160  15675    111 1225.93
1797.94/1798.65	c   175059    478    21117  5155603  244    43752   33177  20639    111 1567.98
1797.94/1798.65	c Resources Exceeded
1797.94/1798.65	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.94/1798.65	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.94/1798.65	c   42   202528  46035   302847    33309  9333282  32831    112 1798.00
1797.94/1798.65	c Objective: 218
1797.94/1798.65	s SATISFIABLE
1797.94/1798.65	c Total time: 1798 s

Verifier Data 

OK	218

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656558-1276368553/watcher-2656558-1276368553 -o /tmp/evaluation-result-2656558-1276368553/solver-2656558-1276368553 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656558-1276368553.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 2/106 16144
/proc/meminfo: memFree=1840912/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=10836 CPUtime=0
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 317 0 0 0 0 0 0 0 17 0 1 0 12456848 11096064 236 1992294400 134512640 137138936 4287576864 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 2709 237 174 642 0 2054 0

[startup+0.080519 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16144
/proc/meminfo: memFree=1840912/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=12316 CPUtime=0.07
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 684 0 0 0 7 0 0 0 17 0 1 0 12456848 12611584 584 1992294400 134512640 137138936 4287576864 18446744073709551615 134734487 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 3079 584 278 642 0 2435 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 12316

[startup+0.101523 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16144
/proc/meminfo: memFree=1840912/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=12316 CPUtime=0.09
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 711 0 0 0 9 0 0 0 17 0 1 0 12456848 12611584 611 1992294400 134512640 137138936 4287576864 18446744073709551615 135445041 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 3079 611 278 642 0 2435 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12316

[startup+0.301562 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16144
/proc/meminfo: memFree=1840912/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=12812 CPUtime=0.29
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 937 0 0 0 29 0 0 0 17 0 1 0 12456848 13119488 683 1992294400 134512640 137138936 4287576864 18446744073709551615 135080640 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 3203 684 278 642 0 2559 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12812

[startup+0.70164 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 16144
/proc/meminfo: memFree=1840912/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=13232 CPUtime=0.69
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 1448 0 0 0 69 0 0 0 17 0 1 0 12456848 13549568 752 1992294400 134512640 137138936 4287576864 18446744073709551615 135466190 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 3308 752 279 642 0 2664 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13232

[startup+1.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16145
/proc/meminfo: memFree=1839168/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=13324 CPUtime=1.49
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 3870 0 0 0 147 2 0 0 18 0 1 0 12456848 13643776 646 1992294400 134512640 137138936 4287576864 18446744073709551615 135457631 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 3331 646 283 642 0 2687 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13324

[startup+3.10111 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16145
/proc/meminfo: memFree=1838796/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=13276 CPUtime=3.09
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 6436 0 0 0 306 3 0 0 21 0 1 0 12456848 13594624 682 1992294400 134512640 137138936 4287576864 18446744073709551615 135466265 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 3319 682 283 642 0 2675 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13276

[startup+6.30173 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16145
/proc/meminfo: memFree=1839168/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=13440 CPUtime=6.29
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 18601 0 0 0 622 7 0 0 25 0 1 0 12456848 13762560 570 1992294400 134512640 137138936 4287576864 18446744073709551615 135466265 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 3360 570 283 642 0 2716 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13440

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16145
/proc/meminfo: memFree=1839044/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=13840 CPUtime=12.69
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 43872 0 0 0 1255 14 0 0 25 0 1 0 12456848 14172160 607 1992294400 134512640 137138936 4287576864 18446744073709551615 135070933 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 3460 607 288 642 0 2816 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13840

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16145
/proc/meminfo: memFree=1838052/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=15300 CPUtime=25.48
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 104581 0 0 0 2515 33 0 0 25 0 1 0 12456848 15667200 1112 1992294400 134512640 137138936 4287576864 18446744073709551615 135439898 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 3825 1112 288 642 0 3181 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15300

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16145
/proc/meminfo: memFree=1831852/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=19524 CPUtime=51.08
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 300294 0 0 0 5017 91 0 0 25 0 1 0 12456848 19992576 2557 1992294400 134512640 137138936 4287576864 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 4881 2557 292 642 0 4237 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 19524

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16147
/proc/meminfo: memFree=1819080/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=34260 CPUtime=102.26
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 760647 0 0 0 10002 224 0 0 25 0 1 0 12456848 35082240 5603 1992294400 134512640 137138936 4287576864 18446744073709551615 135456389 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 8565 5603 292 642 0 7921 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 34260

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16149
/proc/meminfo: memFree=1788824/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=63140 CPUtime=162.24
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 1387165 0 0 0 15806 418 0 0 25 0 1 0 12456848 64655360 12971 1992294400 134512640 137138936 4287576864 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 15900 12974 292 642 0 15256 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 63140

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16149
/proc/meminfo: memFree=1771340/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=79016 CPUtime=222.21
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 1927146 0 0 0 21568 653 0 0 25 0 1 0 12456848 80912384 17430 1992294400 134512640 137138936 4287576864 18446744073709551615 135744686 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 19754 17430 292 642 0 19110 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 79016

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16151
/proc/meminfo: memFree=1761420/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=91276 CPUtime=282.19
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 2365217 0 0 0 27343 876 0 0 25 0 1 0 12456848 93466624 19902 1992294400 134512640 137138936 4287576864 18446744073709551615 135251101 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 22819 19902 292 642 0 22175 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 91276

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16153
/proc/meminfo: memFree=1753236/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=98316 CPUtime=342.17
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 2773319 0 0 0 33132 1085 0 0 25 0 1 0 12456848 100675584 21952 1992294400 134512640 137138936 4287576864 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 24693 21955 292 642 0 24049 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 98316

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16155
/proc/meminfo: memFree=1751624/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=98220 CPUtime=402.15
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 3137444 0 0 0 38921 1294 0 0 25 0 1 0 12456848 100577280 22231 1992294400 134512640 137138936 4287576864 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 24555 22231 292 642 0 23911 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 98220

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16157
/proc/meminfo: memFree=1746540/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=106128 CPUtime=462.13
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 3552500 0 0 0 44684 1529 0 0 25 0 1 0 12456848 108675072 23612 1992294400 134512640 137138936 4287576864 18446744073709551615 135470676 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 26532 23612 292 642 0 25888 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 106128

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16157
/proc/meminfo: memFree=1738356/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=111772 CPUtime=522.11
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 3929215 0 0 0 50478 1733 0 0 25 0 1 0 12456848 114454528 25619 1992294400 134512640 137138936 4287576864 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 27943 25619 292 642 0 27299 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 111772

[startup+582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16159
/proc/meminfo: memFree=1737984/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=114048 CPUtime=582.08
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 4212508 0 0 0 56320 1888 0 0 25 0 1 0 12456848 116785152 25624 1992294400 134512640 137138936 4287576864 18446744073709551615 134730576 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 28512 25624 292 642 0 27868 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 114048

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16161
/proc/meminfo: memFree=1737860/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=111756 CPUtime=642.07
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 4450158 0 0 0 62213 1994 0 0 25 0 1 0 12456848 114438144 25615 1992294400 134512640 137138936 4287576864 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 27939 25615 292 642 0 27295 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 111756

[startup+702.302 s]

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

/proc/meminfo: memFree=1725088/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=126212 CPUtime=1121.89
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 6587333 0 0 0 108957 3232 0 0 25 0 1 0 12456848 129241088 28809 1992294400 134512640 137138936 4287576864 18446744073709551615 135410945 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 31708 28811 292 642 0 31064 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 126212

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16184
/proc/meminfo: memFree=1725088/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=124508 CPUtime=1181.86
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 6919916 0 0 0 114752 3434 0 0 25 0 1 0 12456848 127496192 28803 1992294400 134512640 137138936 4287576864 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 31127 28803 292 642 0 30483 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 124508

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16186
/proc/meminfo: memFree=1724468/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=124504 CPUtime=1241.83
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 7247233 0 0 0 120552 3631 0 0 25 0 1 0 12456848 127492096 28802 1992294400 134512640 137138936 4287576864 18446744073709551615 134750050 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 31126 28802 292 642 0 30482 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 124504

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16188
/proc/meminfo: memFree=1724468/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=126888 CPUtime=1301.83
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 7579158 0 0 0 126341 3842 0 0 25 0 1 0 12456848 129933312 28809 1992294400 134512640 137138936 4287576864 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 31722 28809 292 642 0 31078 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 126888

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16190
/proc/meminfo: memFree=1724468/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=124496 CPUtime=1361.79
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 7874768 0 0 0 132149 4030 0 0 25 0 1 0 12456848 127483904 28800 1992294400 134512640 137138936 4287576864 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 31124 28800 292 642 0 30480 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 124496

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16190
/proc/meminfo: memFree=1724468/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=124492 CPUtime=1421.78
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 8132553 0 0 0 137979 4199 0 0 25 0 1 0 12456848 127479808 28799 1992294400 134512640 137138936 4287576864 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 31123 28799 292 642 0 30479 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 124492

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16192
/proc/meminfo: memFree=1724468/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=124488 CPUtime=1481.76
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 8434958 0 0 0 143780 4396 0 0 25 0 1 0 12456848 127475712 28798 1992294400 134512640 137138936 4287576864 18446744073709551615 134737607 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 31122 28798 292 642 0 30478 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 124488

[startup+1542.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 16197
/proc/meminfo: memFree=1723848/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=126116 CPUtime=1541.73
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 8718007 0 0 0 149595 4578 0 0 25 0 1 0 12456848 129142784 28804 1992294400 134512640 137138936 4287576864 18446744073709551615 134733524 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 31529 28804 292 642 0 30885 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 126116

[startup+1602.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/107 16199
/proc/meminfo: memFree=1722484/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=129848 CPUtime=1601.71
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 9053596 0 0 0 155400 4771 0 0 25 0 1 0 12456848 132964352 29509 1992294400 134512640 137138936 4287576864 18446744073709551615 134730634 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 32462 29509 292 642 0 31818 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 129848

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16201
/proc/meminfo: memFree=1693592/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=157668 CPUtime=1661.69
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 9538558 0 0 0 161175 4994 0 0 25 0 1 0 12456848 161452032 36480 1992294400 134512640 137138936 4287576864 18446744073709551615 135440667 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 39417 36480 292 642 0 38773 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 157668

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16201
/proc/meminfo: memFree=1693220/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=155484 CPUtime=1721.67
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 9854008 0 0 0 166978 5189 0 0 25 0 1 0 12456848 159215616 36547 1992294400 134512640 137138936 4287576864 18446744073709551615 136511183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 38871 36547 292 642 0 38227 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 155484

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16203
/proc/meminfo: memFree=1693220/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=157908 CPUtime=1781.65
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 10158476 0 0 0 172785 5380 0 0 25 0 1 0 12456848 161697792 36556 1992294400 134512640 137138936 4287576864 18446744073709551615 134868968 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 38871 36547 292 642 0 38227 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 157908

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16203
/proc/meminfo: memFree=1693220/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=155484 CPUtime=1791.25
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 10202807 0 0 0 173717 5408 0 0 25 0 1 0 12456848 159215616 36547 1992294400 134512640 137138936 4287576864 18446744073709551615 134832040 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 38871 36547 292 642 0 38227 0
Current children cumulated CPU time (s) 1791.25
Current children cumulated vsize (KiB) 155484

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16203
/proc/meminfo: memFree=1693220/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=155484 CPUtime=1794.45
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 10216385 0 0 0 174028 5417 0 0 25 0 1 0 12456848 159215616 36547 1992294400 134512640 137138936 4287576864 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 38871 36547 292 642 0 38227 0
Current children cumulated CPU time (s) 1794.45
Current children cumulated vsize (KiB) 155484

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16203
/proc/meminfo: memFree=1693220/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=157928 CPUtime=1796.04
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 10224078 0 0 0 174182 5422 0 0 25 0 1 0 12456848 161718272 36556 1992294400 134512640 137138936 4287576864 18446744073709551615 135447608 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 39482 36556 292 642 0 38838 0
Current children cumulated CPU time (s) 1796.04
Current children cumulated vsize (KiB) 157928

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16203
/proc/meminfo: memFree=1693220/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=155484 CPUtime=1796.84
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 10227619 0 0 0 174260 5424 0 0 25 0 1 0 12456848 159215616 36547 1992294400 134512640 137138936 4287576864 18446744073709551615 134573202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 38871 36547 292 642 0 38227 0
Current children cumulated CPU time (s) 1796.84
Current children cumulated vsize (KiB) 155484

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16203
/proc/meminfo: memFree=1693220/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=155484 CPUtime=1797.64
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 10230633 0 0 0 174338 5426 0 0 25 0 1 0 12456848 159215616 36547 1992294400 134512640 137138936 4287576864 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 38871 36547 292 642 0 38227 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (KiB) 155484

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16205
/proc/meminfo: memFree=1693220/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=155484 CPUtime=1797.85
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 10231539 0 0 0 174358 5427 0 0 25 0 1 0 12456848 159215616 36547 1992294400 134512640 137138936 4287576864 18446744073709551615 134542493 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 38871 36547 292 642 0 38227 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 155484

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 16205
/proc/meminfo: memFree=1693220/2059040 swapFree=4136164/4192956
[pid=16144] ppid=16142 vsize=157936 CPUtime=1797.94
/proc/16144/stat : 16144 (bsolo_pb10) R 16142 16144 15674 0 -1 4202496 10231950 0 0 0 174367 5427 0 0 25 0 1 0 12456848 161726464 36558 1992294400 134512640 137138936 4287576864 18446744073709551615 135445326 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/16144/statm: 39484 36558 292 642 0 38840 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 157936

Child status: 0
Real time (s): 1798.67
CPU time (s): 1798.02
CPU user time (s): 1743.72
CPU system time (s): 54.2987
CPU usage (%): 99.9639
Max. virtual memory (cumulated for all children) (KiB): 158000

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

runsolver used 2.83057 second user time and 8.62669 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-12 20:49:13
IDJOB=2656558
IDBENCH=1955
IDSOLVER=1162
FILE ID=node011/2656558-1276368553
PBS_JOBID= 11173213
Free space on /tmp= 62264 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_21.opb.PB06.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656558-1276368553/watcher-2656558-1276368553 -o /tmp/evaluation-result-2656558-1276368553/solver-2656558-1276368553 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2656558-1276368553.opb

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

MD5SUM BENCH= 85de1910ead9431952046fc8a55b274b
RANDOM SEED=2012281173

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1841440 kB
Buffers:         45528 kB
Cached:         109956 kB
SwapCached:      11036 kB
Active:          93900 kB
Inactive:        75416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1841440 kB
SwapTotal:     4192956 kB
SwapFree:      4136164 kB
Dirty:            4024 kB
Writeback:           0 kB
AnonPages:       11020 kB
Mapped:           9140 kB
Slab:            26328 kB
PageTables:       4024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181316 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= 62260 MiB
End job on node011 at 2010-06-12 21:19:12