Trace number 3491572

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 NameAnswerCPU timeWall clock time
MinisatID 2.5.2 (fixed)? (TO) 1800.07 1800.01

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-p6b.opb
MD5SUMf076140978d89a37e97e041a8b1e6b8f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-63
Best CPU time to get the best result obtained on this benchmark1797.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables462
Total number of constraints5852
Number of constraints which are clauses5852
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 462
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 462
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 462
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	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
1800.05/1800.00	>>> Terminate signal received
1800.05/1800.00	o 0
1800.05/1800.00	o -1
1800.05/1800.00	o -2
1800.05/1800.00	o -3
1800.05/1800.00	o -4
1800.05/1800.00	o -5
1800.05/1800.00	o -6
1800.05/1800.00	o -7
1800.05/1800.00	o -8
1800.05/1800.00	o -9
1800.05/1800.00	o -10
1800.05/1800.00	o -11
1800.05/1800.00	o -12
1800.05/1800.00	o -13
1800.05/1800.00	o -14
1800.05/1800.00	o -15
1800.05/1800.00	o -16
1800.05/1800.00	o -17
1800.05/1800.00	o -18
1800.05/1800.00	o -19
1800.05/1800.00	o -20
1800.05/1800.00	o -21
1800.05/1800.00	o -22
1800.05/1800.00	o -23
1800.05/1800.00	o -24
1800.05/1800.00	o -25
1800.05/1800.00	o -26
1800.05/1800.00	o -27
1800.05/1800.00	o -28
1800.05/1800.00	o -29
1800.05/1800.00	o -30
1800.05/1800.00	o -31
1800.05/1800.00	o -32
1800.05/1800.00	o -33
1800.05/1800.00	o -34
1800.05/1800.00	o -35
1800.05/1800.00	o -36
1800.05/1800.00	o -37
1800.05/1800.00	o -38
1800.05/1800.00	o -39
1800.05/1800.00	o -40
1800.05/1800.00	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

Verifier Data 

OK	-40

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3491572-1307792405/watcher-3491572-1307792405 -o /tmp/evaluation-result-3491572-1307792405/solver-3491572-1307792405 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491572-1307792405.opb --verbosity=0 --format=opb --randomseed=2135763885 

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.97 2/177 23593
/proc/meminfo: memFree=31537796/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=7700 CPUtime=0 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 429 0 0 0 0 0 0 0 25 0 1 0 890840958 7884800 382 33554432000 4194304 6720400 140733966714752 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 1925 383 231 617 0 1299 0

[startup+0.0422111 s]
/proc/loadavg: 1.92 1.98 1.97 2/177 23593
/proc/meminfo: memFree=31537796/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=12336 CPUtime=0.04 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 1607 0 0 0 4 0 0 0 25 0 1 0 890840958 12632064 1560 33554432000 4194304 6720400 140733966714752 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 3084 1561 245 617 0 2458 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12336

[startup+0.10023 s]
/proc/loadavg: 1.92 1.98 1.97 2/177 23593
/proc/meminfo: memFree=31537796/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=15376 CPUtime=0.09 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 2557 0 0 0 9 0 0 0 25 0 1 0 890840958 15745024 2508 33554432000 4194304 6720400 140733966714752 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 3844 2509 265 617 0 3218 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15376

[startup+0.30019 s]
/proc/loadavg: 1.92 1.98 1.97 2/177 23593
/proc/meminfo: memFree=31537796/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=18584 CPUtime=0.29 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 3790 0 0 0 29 0 0 0 25 0 1 0 890840958 19030016 3736 33554432000 4194304 6720400 140733966714752 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 4646 3737 265 617 0 4020 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18584

[startup+0.701128 s]
/proc/loadavg: 1.92 1.98 1.97 2/177 23593
/proc/meminfo: memFree=31537796/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=19128 CPUtime=0.69 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 8396 0 0 0 69 0 0 0 25 0 1 0 890840958 19587072 3850 33554432000 4194304 6720400 140733966714752 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 4782 3850 265 617 0 4156 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19128

[startup+1.50097 s]
/proc/loadavg: 1.92 1.98 1.97 3/178 23594
/proc/meminfo: memFree=31500488/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=49452 CPUtime=1.49 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 17829 0 0 0 147 2 0 0 25 0 1 0 890840958 50638848 9766 33554432000 4194304 6720400 140733966714752 18446744073709551615 4805705 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 12363 9766 265 617 0 11737 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49452

[startup+3.10068 s]
/proc/loadavg: 1.92 1.98 1.97 3/178 23594
/proc/meminfo: memFree=31497268/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=49452 CPUtime=3.09 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 19242 0 0 0 307 2 0 0 25 0 1 0 890840958 50638848 11170 33554432000 4194304 6720400 140733966714752 18446744073709551615 5729262 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 12363 11170 265 617 0 11737 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49452

[startup+6.30111 s]
/proc/loadavg: 1.93 1.98 1.97 3/178 23594
/proc/meminfo: memFree=31471424/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=68824 CPUtime=6.3 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 29662 0 0 0 626 4 0 0 25 0 1 0 890840958 70475776 16607 33554432000 4194304 6720400 140733966714752 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 17206 16607 265 617 0 16580 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 68824

[startup+12.7009 s]
/proc/loadavg: 1.93 1.98 1.97 3/178 23594
/proc/meminfo: memFree=31462152/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=99176 CPUtime=12.69 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 32509 0 0 0 1265 4 0 0 25 0 1 0 890840958 101556224 19450 33554432000 4194304 6720400 140733966714752 18446744073709551615 4805683 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 24794 19450 265 617 0 24168 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 99176

[startup+25.5006 s]
/proc/loadavg: 1.95 1.98 1.97 3/178 23594
/proc/meminfo: memFree=31440912/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=99176 CPUtime=25.49 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 37186 0 0 0 2545 4 0 0 25 0 1 0 890840958 101556224 24121 33554432000 4194304 6720400 140733966714752 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 24794 24121 265 617 0 24168 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 99176

[startup+51.1009 s]
/proc/loadavg: 1.96 1.98 1.97 3/178 23595
/proc/meminfo: memFree=31439276/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=99176 CPUtime=51.09 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 170859 0 0 0 5090 19 0 0 25 0 1 0 890840958 101556224 24361 33554432000 4194304 6720400 140733966714752 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 24794 24361 265 617 0 24168 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 99176

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.97 3/178 23596
/proc/meminfo: memFree=31426712/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=112744 CPUtime=102.3 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 546945 0 0 0 10168 62 0 0 25 0 1 0 890840958 115449856 27753 33554432000 4194304 6720400 140733966714752 18446744073709551615 4813206 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 28186 27753 265 617 0 27560 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 112744

[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.97 3/178 23598
/proc/meminfo: memFree=31385608/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=162064 CPUtime=162.3 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 1112938 0 0 0 16103 127 0 0 25 0 1 0 890840958 165953536 35765 33554432000 4194304 6720400 140733966714752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 40516 35765 265 617 0 39890 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 162064

[startup+222.301 s]
/proc/loadavg: 2.03 2.00 1.98 3/178 23600
/proc/meminfo: memFree=31426604/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=162064 CPUtime=222.3 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 1689075 0 0 0 22034 196 0 0 25 0 1 0 890840958 165953536 35821 33554432000 4194304 6720400 140733966714752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 40516 35821 265 617 0 39890 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 162064

[startup+282.301 s]
/proc/loadavg: 2.01 2.00 1.98 3/178 23601
/proc/meminfo: memFree=31407836/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=180740 CPUtime=282.3 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 2122688 0 0 0 27985 245 0 0 25 0 1 0 890840958 185077760 40126 33554432000 4194304 6720400 140733966714752 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 45185 40126 265 617 0 44559 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 180740

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23603
/proc/meminfo: memFree=31407916/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=180740 CPUtime=342.31 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 2538594 0 0 0 33940 291 0 0 25 0 1 0 890840958 185077760 41146 33554432000 4194304 6720400 140733966714752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 45185 41146 265 617 0 44559 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 180740

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23604
/proc/meminfo: memFree=31373892/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=180740 CPUtime=402.3 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 3114110 0 0 0 39871 359 0 0 25 0 1 0 890840958 185077760 38432 33554432000 4194304 6720400 140733966714752 18446744073709551615 5806741 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 45185 38454 265 617 0 44559 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 180740

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23606
/proc/meminfo: memFree=31368512/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=180740 CPUtime=462.31 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 3718982 0 0 0 45798 433 0 0 25 0 1 0 890840958 185077760 44725 33554432000 4194304 6720400 140733966714752 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 45185 44725 265 617 0 44559 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 180740

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23608
/proc/meminfo: memFree=31362756/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=180740 CPUtime=522.3 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 4272541 0 0 0 51729 501 0 0 25 0 1 0 890840958 185077760 40426 33554432000 4194304 6720400 140733966714752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 45185 40427 265 617 0 44559 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 180740

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23609
/proc/meminfo: memFree=31407976/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=180740 CPUtime=582.31 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 4839431 0 0 0 57658 573 0 0 25 0 1 0 890840958 185077760 42351 33554432000 4194304 6720400 140733966714752 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 45185 42351 265 617 0 44559 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 180740

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23616
/proc/meminfo: memFree=31337992/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=189396 CPUtime=822.31 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 7162613 0 0 0 81364 867 0 0 25 0 1 0 890840958 193941504 44308 33554432000 4194304 6720400 140733966714752 18446744073709551615 4714360 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 47349 44309 265 617 0 46723 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 189396

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23617
/proc/meminfo: memFree=31356304/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=189396 CPUtime=882.32 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 7698790 0 0 0 87294 938 0 0 25 0 1 0 890840958 193941504 46405 33554432000 4194304 6720400 140733966714752 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 47349 46405 265 617 0 46723 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 189396

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23619
/proc/meminfo: memFree=31359724/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=220216 CPUtime=942.32 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 8234506 0 0 0 93221 1011 0 0 25 0 1 0 890840958 225501184 48699 33554432000 4194304 6720400 140733966714752 18446744073709551615 4805687 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 55054 48700 265 617 0 54428 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 220216

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23620
/proc/meminfo: memFree=31343440/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=220216 CPUtime=1002.32 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 8749813 0 0 0 99149 1083 0 0 25 0 1 0 890840958 225501184 50555 33554432000 4194304 6720400 140733966714752 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 55054 50555 265 617 0 54428 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 220216

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/178 23622
/proc/meminfo: memFree=31336948/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=189396 CPUtime=1062.33 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 9420597 0 0 0 105061 1172 0 0 25 0 1 0 890840958 193941504 45881 33554432000 4194304 6720400 140733966714752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 47349 45881 265 617 0 46723 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 189396

[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 1.99 3/178 23624
/proc/meminfo: memFree=31327720/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=220216 CPUtime=1122.33 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 10050083 0 0 0 110977 1256 0 0 25 0 1 0 890840958 225501184 54432 33554432000 4194304 6720400 140733966714752 18446744073709551615 4608988 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 55054 54432 265 617 0 54428 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 220216

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/178 23625
/proc/meminfo: memFree=31341936/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=189396 CPUtime=1182.32 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 10587585 0 0 0 116904 1328 0 0 25 0 1 0 890840958 193941504 43688 33554432000 4194304 6720400 140733966714752 18446744073709551615 4805670 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 47349 43688 265 617 0 46723 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 189396

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 23627
/proc/meminfo: memFree=31318832/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=240264 CPUtime=1242.33 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 11129181 0 0 0 122832 1401 0 0 25 0 1 0 890840958 246030336 57496 33554432000 4194304 6720400 140733966714752 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 60066 57496 265 617 0 59440 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 240264

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 23637
/proc/meminfo: memFree=31331824/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=240692 CPUtime=1302.33 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 11709654 0 0 0 128756 1477 0 0 25 0 1 0 890840958 246468608 51051 33554432000 4194304 6720400 140733966714752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 60173 51051 265 617 0 59547 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 240692

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 23639
/proc/meminfo: memFree=31341072/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=241828 CPUtime=1362.33 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 12237848 0 0 0 134683 1550 0 0 25 0 1 0 890840958 247631872 52681 33554432000 4194304 6720400 140733966714752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 60457 52681 265 617 0 59831 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 241828

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 23641
/proc/meminfo: memFree=31338180/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=212288 CPUtime=1422.34 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 12760846 0 0 0 140610 1624 0 0 25 0 1 0 890840958 217382912 50067 33554432000 4194304 6720400 140733966714752 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 53072 50067 265 617 0 52446 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 212288

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 23645
/proc/meminfo: memFree=31305880/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=214564 CPUtime=1482.33 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 13338652 0 0 0 146530 1703 0 0 25 0 1 0 890840958 219713536 49223 33554432000 4194304 6720400 140733966714752 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 53641 49223 265 617 0 53015 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 214564

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 23647
/proc/meminfo: memFree=31297024/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=295900 CPUtime=1542.34 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 13842736 0 0 0 152467 1767 0 0 25 0 1 0 890840958 303001600 61021 33554432000 4194304 6720400 140733966714752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 73975 61021 265 617 0 73349 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 295900

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 23648
/proc/meminfo: memFree=31310624/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=250220 CPUtime=1602.34 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 14355856 0 0 0 158395 1839 0 0 25 0 1 0 890840958 256225280 59372 33554432000 4194304 6720400 140733966714752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 62555 59372 265 617 0 61929 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 250220

[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 1.99 3/178 23650
/proc/meminfo: memFree=31288136/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=221392 CPUtime=1662.35 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 14862039 0 0 0 164325 1910 0 0 25 0 1 0 890840958 226705408 50517 33554432000 4194304 6720400 140733966714752 18446744073709551615 4617051 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 55348 50517 265 617 0 54722 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 221392

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/178 23652
/proc/meminfo: memFree=31288096/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=254348 CPUtime=1722.35 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 15425333 0 0 0 170249 1986 0 0 25 0 1 0 890840958 260452352 54305 33554432000 4194304 6720400 140733966714752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 63587 54305 265 617 0 62961 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 254348

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/178 23692
/proc/meminfo: memFree=31453580/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=225232 CPUtime=1782.35 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 15959010 0 0 0 176178 2057 0 0 25 0 1 0 890840958 230637568 51568 33554432000 4194304 6720400 140733966714752 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 56308 51568 265 617 0 55682 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 225232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.08 2.02 2.00 3/178 23693
/proc/meminfo: memFree=31440924/32951124 swapFree=67052968/67111528
[pid=23593] ppid=23591 vsize=256052 CPUtime=1800.05 cores=0,2,4,6
/proc/23593/stat : 23593 (minisatid) R 23591 23593 22776 0 -1 4202496 16095215 0 0 0 177928 2077 0 0 25 0 1 0 890840958 262197248 53496 33554432000 4194304 6720400 140733966714752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/23593/statm: 64013 53496 265 617 0 63387 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 256052

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.07
CPU user time (s): 1779.29
CPU system time (s): 20.7798
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 355460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.29
system time used= 20.7798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16095222
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= 4
involuntary context switches= 1626

runsolver used 2.77558 second user time and 5.44417 second system time

The end

Launcher Data 

Begin job on node104 at 2011-06-11 13:40:05
IDJOB=3491572
IDBENCH=89841
IDSOLVER=1980
FILE ID=node104/3491572-1307792405
RUNJOBID= node104-1307783311-22794
PBS_JOBID= 13550891
Free space on /tmp= 74120 MiB

SOLVER NAME= MinisatID 2.5.2 (fixed)
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-p6b.opb
COMMAND LINE= HOME/minisatid BENCHNAME --verbosity=0 --format=opb --randomseed=RANDOMSEED
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3491572-1307792405/watcher-3491572-1307792405 -o /tmp/evaluation-result-3491572-1307792405/solver-3491572-1307792405 -C 1800 -W 1900 -M 15500  HOME/minisatid HOME/instance-3491572-1307792405.opb --verbosity=0 --format=opb --randomseed=2135763885

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

MD5SUM BENCH= f076140978d89a37e97e041a8b1e6b8f
RANDOM SEED=2135763885

node104.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5293.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31537976 kB
Buffers:        137088 kB
Cached:         688640 kB
SwapCached:      11068 kB
Active:         687924 kB
Inactive:       571680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31537976 kB
SwapTotal:    67111528 kB
SwapFree:     67052968 kB
Dirty:            3156 kB
Writeback:           0 kB
AnonPages:      430792 kB
Mapped:          10280 kB
Slab:            89284 kB
PageTables:       5492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   635348 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74076 MiB
End job on node104 at 2011-06-11 14:10:07