Trace number 1877006

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.1SAT215 1798.02 1798.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb
MD5SUM1e2b8f542cc5dec610d6e9b4663a878b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark192
Best CPU time to get the best result obtained on this benchmark1800.29
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 183
Optimality of the best value was proved NO
Number of variables473
Total number of constraints472
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 constraints472
Minimum length of a constraint3
Maximum length of a constraint17
Number of terms in the objective function 473
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 473
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 473
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: Cardinality Constraint 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-1877006-1245139367.opb
0.00/0.00	c File size is 43236 bytes.
0.00/0.00	c Highest Coefficient sum: 473
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: 473 Constr: 472 1/0/471 Lit: 4267 Watch. Lit: 1511
0.00/0.00	c Obj. Vars: 473 (100 % of total variables)
0.00/0.01	c Pre-processing Time: 0.01 s
0.79/0.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.81	c        0    473      472     4267    9     1964    8526      0      0 0.01
0.79/0.81	c Initial Lower Bound: 140
0.79/0.81	c Initial Path Cost: 0
0.79/0.81	o 226
24.19/24.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
24.19/24.20	c        0    473      473     4740   10     2425    9526      1      0 0.82
24.19/24.20	c      101    473      586    31381   53     2659   10479    114     13 7.71
24.19/24.20	c      352    473     1246   202179  162     4032   11527    774     21 16.19
24.19/24.20	o 223
31.28/31.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
31.28/31.36	c      352    473     1247   202652  162     4282    9526    775     14 24.20
31.28/31.36	o 222
39.07/39.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
39.07/39.14	c      352    473     1248   203125  162     4544    9526    776     11 31.36
39.07/39.14	o 221
144.64/144.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
144.64/144.77	c      368    473     1274   209411  164     4852    9526    802      9 39.13
144.64/144.77	c      469    473     1546   277987  179     5410   10479   1074      9 47.41
144.64/144.77	c      719    473     2172   446416  205     6701   11527   1700     12 57.06
144.64/144.77	c     1195    473     3530   813036  230     9380   12680   3058     18 66.13
144.64/144.77	c     2008    473     5694  1407652  247    13697   13949   5222     25 77.74
144.64/144.77	c     3329    473     9195  2358244  256    20702   15344   8723     36 92.06
144.64/144.77	c     5410    473    14478  3705356  255    31278   16879  14006     48 110.78
144.64/144.77	c     8634    473    14308  3648395  254    30154   18567  13836     63 136.62
144.64/144.77	o 220
223.61/223.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
223.61/223.72	c     8668    473    14392  3668609  254    30629    9526  13920     59 144.72
223.61/223.72	c     8768    473     5481  1326115  241    12527   10479   5009     57 153.03
223.61/223.72	c     9019    473     6156  1509692  245    13917   11527   5684     55 161.71
223.61/223.72	c     9494    473     7506  1891265  251    16561   12680   7034     55 171.44
223.61/223.72	c    10309    473     9630  2499595  259    20821   13949   9158     56 184.01
223.61/223.72	c    11629    473    12954  3313919  255    27486   15344  12482     58 198.51
223.61/223.72	c    13711    473     8145  1961946  240    17808   16879   7673     63 215.57
223.61/223.72	o 219
502.11/502.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
502.11/502.34	c    13716    473     8151  1963556  240    18098    9526   7679     61 223.64
502.11/502.34	c    13816    473     8438  2037569  241    18716   10479   7966     59 231.59
502.11/502.34	c    14066    473     9067  2198867  242    19978   11527   8595     58 240.69
502.11/502.34	c    14541    473    10358  2581147  249    22520   12680   9886     58 250.51
502.11/502.34	c    15356    473    12581  3213385  255    26981   13949  12109     58 263.60
502.11/502.34	c    16676    473     8531  2067083  242    18604   15344   8059     59 278.51
502.11/502.34	c    18757    473    14208  3667340  258    29992   16879  13736     62 297.76
502.11/502.34	c    21980    473    14417  3647235  252    30375   18567  13945     67 324.58
502.11/502.34	c    26917    473    17956  4589198  255    37484   20424  17484     74 361.60
502.11/502.34	c    34424    473    10793  2457911  227    23408   22467  10321     84 408.76
502.11/502.34	c    45785    473    12531  2931871  233    26960   24714  12059     93 488.69
502.11/502.34	o 218
538.51/538.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
538.51/538.72	c    46788    473    14537  3401575  233    31252    9526  14065     93 502.17
538.51/538.72	c    46889    473     5414  1187423  219    12461   10479   4942     91 510.25
538.51/538.72	c    47140    473     6013  1337854  222    13679   11527   5541     90 519.49
538.51/538.72	c    47615    473     7293  1661323  227    16241   12680   6821     89 530.66
538.51/538.72	o 217
546.71/546.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
546.71/546.96	c    47615    473     7294  1661796  227    16477    9526   6822     88 538.54
546.71/546.96	o 215
1797.98/1798.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.98/1798.60	c    47627    473     7307  1664956  227    16780    9526   6835     87 546.78
1797.98/1798.60	c    47727    473     7587  1745667  230    17415   10479   7115     85 555.51
1797.98/1798.60	c    47978    473     8251  1926365  233    18668   11527   7779     85 563.93
1797.98/1798.60	c    48453    473     9581  2305575  240    21346   12680   9109     84 574.82
1797.98/1798.60	c    49267    473    11667  2858122  244    25555   13949  11195     83 587.40
1797.98/1798.60	c    50589    470     7789  1964422  252    17184   15344   7317     82 610.46
1797.98/1798.60	c    52672    470    13375  3478514  260    28410   16879  12903     83 630.14
1797.98/1798.60	c    55895    470    12931  3319772  256    27408   18567  12459     85 656.41
1797.98/1798.60	c    60832    470    16564  4290144  259    34761   20424  16092     87 694.03
1797.98/1798.60	c    68338    470    14523  3684161  253    30666   22467  14051     91 749.27
1797.98/1798.60	c    79699    470    22218  6044942  272    46040   24714  21746     96 829.79
1797.98/1798.60	c    96844    470    17284  4672449  270    36152   27186  16812    101 957.30
1797.98/1798.60	c   122663    470    15970  4290761  268    33539   29905  15498    107 1138.51
1797.98/1798.60	c   161496    470    26605  7174231  269    54759   32896  26133    114 1413.23
1797.98/1798.60	c Resources Exceeded
1797.98/1798.60	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 
1797.98/1798.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.98/1798.60	c   50   213286  41523   298054    32197  8261718  31725    118 1798.00
1797.98/1798.60	c Objective: 215
1797.98/1798.60	s SATISFIABLE
1797.98/1798.60	c Total time: 1798 s

Verifier Data 

OK	215

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877006-1245139367/watcher-1877006-1245139367 -o /tmp/evaluation-result-1877006-1245139367/solver-1877006-1245139367 -C 1800 -W 2000 -M 1800 bsolo -l2 -t1800 -m1800 HOME/instance-1877006-1245139367.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 3193
/proc/meminfo: memFree=1682224/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=10752 CPUtime=0
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 243 0 0 0 0 0 0 0 18 0 1 0 181533362 11010048 227 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 2688 227 174 640 0 2033 0

[startup+0.0318721 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3193
/proc/meminfo: memFree=1682224/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=12008 CPUtime=0.02
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 515 0 0 0 2 0 0 0 18 0 1 0 181533362 12296192 488 1992294400 134512640 137136520 4294956256 18446744073709551615 135461513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 3002 488 281 640 0 2358 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12008

[startup+0.101884 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3193
/proc/meminfo: memFree=1682224/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=12444 CPUtime=0.09
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 644 0 0 0 9 0 0 0 18 0 1 0 181533362 12742656 590 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 3111 590 284 640 0 2467 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12444

[startup+0.30192 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3193
/proc/meminfo: memFree=1682224/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=12824 CPUtime=0.29
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 880 0 0 0 29 0 0 0 19 0 1 0 181533362 13131776 688 1992294400 134512640 137136520 4294956256 18446744073709551615 135438859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 3206 688 284 640 0 2562 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12824

[startup+0.701994 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3193
/proc/meminfo: memFree=1682224/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=13204 CPUtime=0.69
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 1258 0 0 0 69 0 0 0 23 0 1 0 181533362 13520896 826 1992294400 134512640 137136520 4294956256 18446744073709551615 135445335 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 3301 826 284 640 0 2657 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13204

[startup+1.50114 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1680744/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=13440 CPUtime=1.49
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 2980 0 0 0 148 1 0 0 25 0 1 0 181533362 13762560 635 1992294400 134512640 137136520 4294956256 18446744073709551615 135454238 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 3360 635 289 640 0 2716 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13440

[startup+3.10143 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1680616/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=12852 CPUtime=3.09
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 7673 0 0 0 306 3 0 0 25 0 1 0 181533362 13160448 614 1992294400 134512640 137136520 4294956256 18446744073709551615 135430343 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 3213 614 289 640 0 2569 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12852

[startup+6.30202 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1680616/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=12504 CPUtime=6.29
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 20113 0 0 0 621 8 0 0 25 0 1 0 181533362 12804096 483 1992294400 134512640 137136520 4294956256 18446744073709551615 135364455 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 3126 484 289 640 0 2482 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12504

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1680112/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=13868 CPUtime=12.69
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 52692 0 0 0 1249 20 0 0 25 0 1 0 181533362 14200832 688 1992294400 134512640 137136520 4294956256 18446744073709551615 135455632 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 3467 688 296 640 0 2823 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13868

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1676912/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=16504 CPUtime=25.48
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 128148 0 0 0 2503 45 0 0 25 0 1 0 181533362 16900096 1348 1992294400 134512640 137136520 4294956256 18446744073709551615 135462563 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 4126 1348 296 640 0 3482 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16504

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1677168/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=17872 CPUtime=51.07
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 238055 0 0 0 5024 83 0 0 25 0 1 0 181533362 18300928 1696 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 4468 1696 296 640 0 3824 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 17872

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1645424/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=48860 CPUtime=102.25
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 827212 0 0 0 9948 277 0 0 25 0 1 0 181533362 50032640 9411 1992294400 134512640 137136520 4294956256 18446744073709551615 134710999 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 12215 9412 296 640 0 11571 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 48860

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1620592/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=73392 CPUtime=162.23
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 1397694 0 0 0 15731 492 0 0 25 0 1 0 181533362 75153408 15601 1992294400 134512640 137136520 4294956256 18446744073709551615 135434605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 18348 15601 296 640 0 17704 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 73392

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1620336/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=73868 CPUtime=222.22
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 1668241 0 0 0 21609 613 0 0 25 0 1 0 181533362 75640832 15577 1992294400 134512640 137136520 4294956256 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 18467 15578 296 640 0 17823 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 73868

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1620336/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=74076 CPUtime=282.2
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 1896860 0 0 0 27500 720 0 0 25 0 1 0 181533362 75853824 15616 1992294400 134512640 137136520 4294956256 18446744073709551615 135443216 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 18519 15616 296 640 0 17875 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 74076

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1614896/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=77384 CPUtime=342.18
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 2253862 0 0 0 33308 910 0 0 25 0 1 0 181533362 79241216 17044 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 19346 17044 296 640 0 18702 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 77384

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1607088/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=84740 CPUtime=402.15
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 2673244 0 0 0 39098 1117 0 0 25 0 1 0 181533362 86773760 18883 1992294400 134512640 137136520 4294956256 18446744073709551615 134616694 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 21185 18883 296 640 0 20541 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 84740

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1603120/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=88696 CPUtime=462.13
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 3085860 0 0 0 44893 1320 0 0 25 0 1 0 181533362 90824704 19872 1992294400 134512640 137136520 4294956256 18446744073709551615 136518900 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 22174 19872 296 640 0 21530 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 88696

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 3194
/proc/meminfo: memFree=1602480/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=92212 CPUtime=522.11
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 3404886 0 0 0 50728 1483 0 0 25 0 1 0 181533362 94425088 20052 1992294400 134512640 137136520 4294956256 18446744073709551615 135447703 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 23053 20052 296 640 0 22409 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 92212

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1602672/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=91892 CPUtime=582.09
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 3642603 0 0 0 56622 1587 0 0 25 0 1 0 181533362 94097408 20022 1992294400 134512640 137136520 4294956256 18446744073709551615 135442568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 22973 20022 296 640 0 22329 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 91892

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1602672/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=91296 CPUtime=642.08
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 3944384 0 0 0 62469 1739 0 0 25 0 1 0 181533362 93487104 19971 1992294400 134512640 137136520 4294956256 18446744073709551615 135443262 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 22824 19972 296 640 0 22180 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 91296

[startup+702.301 s]

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

/proc/meminfo: memFree=1577456/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=116448 CPUtime=1121.91
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 6874670 0 0 0 108894 3297 0 0 25 0 1 0 181533362 119242752 26213 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 29112 26213 296 640 0 28468 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 116448

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1567856/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=124028 CPUtime=1181.89
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 7310948 0 0 0 114685 3504 0 0 25 0 1 0 181533362 127004672 28705 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 31007 28705 296 640 0 30363 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 124028

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1567344/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=124028 CPUtime=1241.87
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 7689311 0 0 0 120479 3708 0 0 25 0 1 0 181533362 127004672 28705 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 31007 28705 296 640 0 30363 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 124028

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1567344/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=124020 CPUtime=1301.86
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 8043182 0 0 0 126287 3899 0 0 25 0 1 0 181533362 126996480 28703 1992294400 134512640 137136520 4294956256 18446744073709551615 136502210 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 31005 28703 296 640 0 30361 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 124020

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1566128/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=125196 CPUtime=1361.83
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 8421272 0 0 0 132091 4092 0 0 25 0 1 0 181533362 128200704 28997 1992294400 134512640 137136520 4294956256 18446744073709551615 134826515 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 31299 28997 296 640 0 30655 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 125196

[startup+1422.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1566192/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=127616 CPUtime=1421.81
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 8787430 0 0 0 137893 4288 0 0 25 0 1 0 181533362 130678784 29007 1992294400 134512640 137136520 4294956256 18446744073709551615 134728582 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 31904 29007 296 640 0 31260 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 127616

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1558192/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=135592 CPUtime=1481.79
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 9233966 0 0 0 143672 4507 0 0 25 0 1 0 181533362 138846208 30995 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 33898 30995 298 640 0 33254 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 135592

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1558192/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=135584 CPUtime=1541.77
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 9570618 0 0 0 149481 4696 0 0 25 0 1 0 181533362 138838016 30993 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 33896 30995 296 640 0 33252 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 135584

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1558128/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=135632 CPUtime=1601.75
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 9935692 0 0 0 155278 4897 0 0 25 0 1 0 181533362 138887168 31000 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 33908 31000 296 640 0 33264 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 135632

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1557872/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=133396 CPUtime=1661.73
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 10265136 0 0 0 161090 5083 0 0 25 0 1 0 181533362 136597504 31046 1992294400 134512640 137136520 4294956256 18446744073709551615 136502553 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 33349 31046 296 640 0 32705 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 133396

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1557872/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=133392 CPUtime=1721.71
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 10610241 0 0 0 166891 5280 0 0 25 0 1 0 181533362 136593408 31045 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 33348 31045 296 640 0 32704 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 133392

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1557872/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=135828 CPUtime=1781.69
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 10927673 0 0 0 172710 5459 0 0 25 0 1 0 181533362 139087872 31058 1992294400 134512640 137136520 4294956256 18446744073709551615 135448314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 33957 31058 296 640 0 33313 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 135828

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 3194
/proc/meminfo: memFree=1557872/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=135832 CPUtime=1791.29
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 10981187 0 0 0 173640 5489 0 0 25 0 1 0 181533362 139091968 31055 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 33958 31055 296 640 0 33314 0
Current children cumulated CPU time (s) 1791.29
Current children cumulated vsize (KiB) 135832

[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1557872/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=135788 CPUtime=1794.48
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 11000535 0 0 0 173950 5498 0 0 25 0 1 0 181533362 139046912 31054 1992294400 134512640 137136520 4294956256 18446744073709551615 134728512 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 33947 31054 296 640 0 33303 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (KiB) 135788

[startup+1796.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1557872/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=133392 CPUtime=1796.08
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 11010417 0 0 0 174104 5504 0 0 25 0 1 0 181533362 136593408 31045 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 33348 31045 296 640 0 32704 0
Current children cumulated CPU time (s) 1796.08
Current children cumulated vsize (KiB) 133392

[startup+1797.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1557872/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=135800 CPUtime=1796.88
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 11015399 0 0 0 174181 5507 0 0 25 0 1 0 181533362 139059200 31054 1992294400 134512640 137136520 4294956256 18446744073709551615 136504572 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 33950 31054 296 640 0 33306 0
Current children cumulated CPU time (s) 1796.88
Current children cumulated vsize (KiB) 135800

[startup+1798.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1557872/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=135800 CPUtime=1797.69
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 11020495 0 0 0 174258 5511 0 0 25 0 1 0 181533362 139059200 31054 1992294400 134512640 137136520 4294956256 18446744073709551615 134728617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 33950 31054 296 640 0 33306 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 135800

[startup+1798.51 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1557872/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=133392 CPUtime=1797.89
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 11021802 0 0 0 174278 5511 0 0 25 0 1 0 181533362 136593408 31045 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 33348 31045 296 640 0 32704 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 133392

[startup+1798.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 3194
/proc/meminfo: memFree=1557872/2055920 swapFree=4191900/4192956
[pid=3193] ppid=3191 vsize=133392 CPUtime=1797.98
/proc/3193/stat : 3193 (bsolo) R 3191 3193 2823 0 -1 4194304 11022366 0 0 0 174287 5511 0 0 25 0 1 0 181533362 136593408 31045 1992294400 134512640 137136520 4294956256 18446744073709551615 136698750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3193/statm: 33348 31045 296 640 0 32704 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 133392

Child status: 0
Real time (s): 1798.63
CPU time (s): 1798.02
CPU user time (s): 1742.88
CPU system time (s): 55.1406
CPU usage (%): 99.9662
Max. virtual memory (cumulated for all children) (KiB): 135980

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

runsolver used 1.3438 second user time and 3.62445 second system time

The end

Launcher Data 

Begin job on node44 at 2009-06-16 10:02:47
IDJOB=1877006
IDBENCH=1962
IDSOLVER=699
FILE ID=node44/1877006-1245139367
PBS_JOBID= 9363718
Free space on /tmp= 65924 MiB

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

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

MD5SUM BENCH= 1e2b8f542cc5dec610d6e9b4663a878b
RANDOM SEED=1136438075

node44.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.263
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.263
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:       1682640 kB
Buffers:         48252 kB
Cached:         243140 kB
SwapCached:        260 kB
Active:          46092 kB
Inactive:       258580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1682640 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            3988 kB
Writeback:           0 kB
Mapped:          21804 kB
Slab:            54552 kB
Committed_AS:   159928 kB
PageTables:       1384 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= 65920 MiB
End job on node44 at 2009-06-16 10:32:45