Trace number 1543876

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
satake 2009-03-22SAT 632.027 350.872

General information on the benchmark

NameRANDOM/MEDIUM/3SAT/SATISFIABLE/480/
unif-k3-r4.25-v480-c2040-S1002348653-090.cnf
MD5SUMc369517cece9ac5de13f6444259c5dd0
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.011998
Satisfiable
(Un)Satisfiability was proved
Number of variables480
Number of clauses2040
Sum of the clauses size6120
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32040
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

631.94/350.86	c Benchmark name    : HOME/instance-1543876-1238590207.cnf
631.94/350.86	c Thread Num        :            3
631.94/350.86	c restarts          :           23
631.94/350.86	c conflicts         :      1738478
631.94/350.86	c decisions         :      2082017           (     5941 / sec      )
631.94/350.86	c propagations      :    121339426           (   346254 / sec      )
631.94/350.86	c inspects          :    666578483           (  1902149 / sec      )
631.94/350.86	c conflict literals :     42314871           (    20.58 % deleted  )
631.94/350.86	c cpu time          :       350.43           
631.94/350.86	s SATISFIABLE
631.94/350.86	v -1 -2 -3 4 5 -6 -7 -8 9 10 11 12 13 14 -15 16 -17 -18 19 20 21 -22 -23 24 25 -26 -27 -28 29 -30 31 32 -33 -34 -35 -36 -37 38 39 -40 -41 42 43 -44 -45 46 -47 -48 -49 -50 51 52 -53 -54 55 -56 57 -58 -59 60 -61 -62 63 64 -65 -66 -67 -68 69 70 71 -72 73 -74 -75 76 -77 78 -79 80 81 -82 83 -84 85 -86 -87 88 -89 -90 91 -92 93 94 -95 -96 97 -98 99 100 101 -102 103 104 105 -106 -107 108 -109 -110 111 112 -113 -114 -115 116 117 118 -119 120 121 -122 -123 124 -125 -126 -127 128 129 -130 -131 132 -133 -134 -135 136 -137 -138 -139 -140 -141 -142 143 144 -145 -146 147 148 149 150 -151 -152 -153 -154 -155 -156 -157 -158 -159 160 -161 -162 -163 -164 165 -166 167 -168 -169 -170 -171 172 -173 174 -175 176 177 -178 -179 -180 181 182 183 -184 -185 186 -187 -188 189 -190 191 192 193 -194 -195 -196 197 -198 199 200 -201 -202 -203 -204 -205 -206 -207 208 -209 210 -211 212 -213 -214 215 216 -217 -218 -219 -220 -221 -222 223 -224 -225 226 227 -228 229 -230 231 -232 -233 234 235 -236 237 238 239 -240 241 242 -243 244 245 -246 247 -248 -249 250 -251 252 -253 254 255 -256 257 -258 -259 260 261 262 263 -264 265 -266 267 268 -269 -270 271 -272 -273 -274 -275 276 -277 -278 279 -280 -281 282 -283 -284 -285 286 -287 -288 289 290 291 -292 293 294 -295 -296 -297 -298 299 -300 -301 -302 303 -304 -305 -306 307 -308 -309 -310 311 -312 -313 -314 -315 -316 317 -318 319 320 321 -322 323 -324 -325 -326 327 -328 329 -330 -331 -332 -333 334 -335 -336 -337 -338 -339 340 -341 -342 -343 344 345 -346 347 -348 -349 -350 -351 352 353 -354 -355 -356 357 -358 -359 -360 361 -362 -363 364 -365 -366 -367 368 -369 -370 371 -372 373 -374 -375 376 -377 -378 379 380 381 382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 393 394 -395 -396 -397 -398 399 400 -401 -402 -403 -404 405 406 407 -408 409 -410 -411 -412 413 -414 -415 416 417 -418 -419 420 -421 -422 423 -424 425 426 427 428 429 -430 -431 -432 433 434 -435 436 -437 -438 -439 440 -441 442 443 -444 445 -446 -447 448 -449 -450 451 452 -453 454 -455 456 -457 458 459 460 -461 462 -463 464 -465 466 467 468 469 470 -471 472 -473 474 -475 476 477 -478 -479 -480 0

Verifier Data 

OK

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1543876-1238590207/watcher-1543876-1238590207 -o /tmp/evaluation-result-1543876-1238590207/solver-1543876-1238590207 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543876-1238590207.cnf 3 1200 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.99 1.15 2/64 761
/proc/meminfo: memFree=1031432/2055920 swapFree=4176444/4192956
[pid=761] ppid=759 vsize=1152 CPUtime=0
/proc/761/stat : 761 (satake) S 759 761 640 0 -1 4194304 124 0 0 0 0 0 0 0 20 0 4 0 1131686100 1179648 109 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/761/statm: 288 110 65 163 0 123 0
[pid=761/tid=762] ppid=759 vsize=1152 CPUtime=0
/proc/761/task/762/stat : 762 (satake) S 759 761 640 0 -1 4194368 7 0 0 0 0 0 0 0 22 0 4 0 1131686101 1179648 110 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=761/tid=763] ppid=759 vsize=1152 CPUtime=0
/proc/761/task/763/stat : 763 (satake) R 759 761 640 0 -1 4194368 36 0 0 0 0 0 0 0 22 0 4 0 1131686101 1179648 111 1992294400 134512640 135180984 4294956208 18446744073709551615 134675846 0 0 4096 0 0 0 0 -1 1 0 0
[pid=761/tid=764] ppid=759 vsize=1152 CPUtime=0
/proc/761/task/764/stat : 764 (satake) R 759 761 640 0 -1 4194368 0 0 0 0 0 0 0 0 22 0 4 0 1131686101 1179648 111 1992294400 134512640 135180984 4294956208 18446744073709551615 134705812 0 0 4096 0 0 0 0 -1 1 0 0

[startup+0.101309 s]
/proc/loadavg: 0.92 0.99 1.15 2/64 761
/proc/meminfo: memFree=1031432/2055920 swapFree=4176444/4192956
[pid=761] ppid=759 vsize=2436 CPUtime=0.14
/proc/761/stat : 761 (satake) S 759 761 640 0 -1 4194304 245 0 0 0 8 6 0 0 20 0 4 0 1131686100 2494464 230 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/761/statm: 609 230 70 163 0 444 0
[pid=761/tid=762] ppid=759 vsize=2436 CPUtime=0.03
/proc/761/task/762/stat : 762 (satake) R 759 761 640 0 -1 4194368 18 0 0 0 0 3 0 0 17 0 4 0 1131686101 2494464 230 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=761/tid=763] ppid=759 vsize=2436 CPUtime=0.04
/proc/761/task/763/stat : 763 (satake) R 759 761 640 0 -1 4194368 72 0 0 0 3 1 0 0 16 0 4 0 1131686101 2494464 230 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=761/tid=764] ppid=759 vsize=2436 CPUtime=0.05
/proc/761/task/764/stat : 764 (satake) R 759 761 640 0 -1 4194368 72 0 0 0 4 1 0 0 16 0 4 0 1131686101 2494464 230 1992294400 134512640 135180984 4294956208 18446744073709551615 134528562 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 2436

[startup+0.202322 s]
/proc/loadavg: 0.92 0.99 1.15 2/64 761
/proc/meminfo: memFree=1031432/2055920 swapFree=4176444/4192956
[pid=761] ppid=759 vsize=2436 CPUtime=0.31
/proc/761/stat : 761 (satake) S 759 761 640 0 -1 4194304 280 0 0 0 18 13 0 0 20 0 4 0 1131686100 2494464 265 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/761/statm: 609 265 70 163 0 444 0
[pid=761/tid=762] ppid=759 vsize=2436 CPUtime=0.07
/proc/761/task/762/stat : 762 (satake) R 759 761 640 0 -1 4194368 28 0 0 0 1 6 0 0 17 0 4 0 1131686101 2494464 265 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=761/tid=763] ppid=759 vsize=2436 CPUtime=0.1
/proc/761/task/763/stat : 763 (satake) R 759 761 640 0 -1 4194368 85 0 0 0 7 3 0 0 16 0 4 0 1131686101 2494464 265 1992294400 134512640 135180984 4294956208 18446744073709551615 134529658 0 0 4096 0 0 0 0 -1 1 0 0
[pid=761/tid=764] ppid=759 vsize=2436 CPUtime=0.1
/proc/761/task/764/stat : 764 (satake) S 759 761 640 0 -1 4194368 84 0 0 0 8 2 0 0 16 0 4 0 1131686101 2494464 265 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 2436

[startup+0.30233 s]
/proc/loadavg: 0.92 0.99 1.15 2/64 761
/proc/meminfo: memFree=1031432/2055920 swapFree=4176444/4192956
[pid=761] ppid=759 vsize=2568 CPUtime=0.47
/proc/761/stat : 761 (satake) S 759 761 640 0 -1 4194304 297 0 0 0 29 18 0 0 20 0 4 0 1131686100 2629632 282 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/761/statm: 642 282 70 163 0 477 0
[pid=761/tid=762] ppid=759 vsize=2568 CPUtime=0.1
/proc/761/task/762/stat : 762 (satake) R 759 761 640 0 -1 4194368 33 0 0 0 2 8 0 0 17 0 4 0 1131686101 2629632 282 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 1 0 0
[pid=761/tid=763] ppid=759 vsize=2568 CPUtime=0.18
/proc/761/task/763/stat : 763 (satake) S 759 761 640 0 -1 4194368 91 0 0 0 13 5 0 0 17 0 4 0 1131686101 2629632 282 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=761/tid=764] ppid=759 vsize=2568 CPUtime=0.17
/proc/761/task/764/stat : 764 (satake) R 759 761 640 0 -1 4194368 90 0 0 0 13 4 0 0 16 0 4 0 1131686101 2629632 282 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 2568

[startup+0.70237 s]
/proc/loadavg: 0.92 0.99 1.15 2/64 761
/proc/meminfo: memFree=1031432/2055920 swapFree=4176444/4192956
[pid=761] ppid=759 vsize=2836 CPUtime=1.13
/proc/761/stat : 761 (satake) S 759 761 640 0 -1 4194304 383 0 0 0 68 45 0 0 20 0 4 0 1131686100 2904064 368 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/761/statm: 709 368 70 163 0 544 0
[pid=761/tid=762] ppid=759 vsize=2836 CPUtime=0.26
/proc/761/task/762/stat : 762 (satake) R 759 761 640 0 -1 4194368 70 0 0 0 4 22 0 0 18 0 4 0 1131686101 2904064 368 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=761/tid=763] ppid=759 vsize=2836 CPUtime=0.42
/proc/761/task/763/stat : 763 (satake) S 759 761 640 0 -1 4194368 122 0 0 0 31 11 0 0 17 0 4 0 1131686101 2904064 368 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=761/tid=764] ppid=759 vsize=2836 CPUtime=0.42
/proc/761/task/764/stat : 764 (satake) R 759 761 640 0 -1 4194368 108 0 0 0 31 11 0 0 16 0 4 0 1131686101 2904064 368 1992294400 134512640 135180984 4294956208 18446744073709551615 134519104 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 2836

[startup+1.50345 s]
/proc/loadavg: 0.93 0.99 1.15 4/68 765
/proc/meminfo: memFree=1029864/2055920 swapFree=4176444/4192956
[pid=761] ppid=759 vsize=3232 CPUtime=2.48
/proc/761/stat : 761 (satake) S 759 761 640 0 -1 4194304 535 0 0 0 152 96 0 0 20 0 4 0 1131686100 3309568 520 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/761/statm: 808 520 70 163 0 643 0
[pid=761/tid=762] ppid=759 vsize=3232 CPUtime=0.58
/proc/761/task/762/stat : 762 (satake) R 759 761 640 0 -1 4194368 146 0 0 0 11 47 0 0 16 0 4 0 1131686101 3309568 520 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=761/tid=763] ppid=759 vsize=3232 CPUtime=0.94
/proc/761/task/763/stat : 763 (satake) R 759 761 640 0 -1 4194368 166 0 0 0 70 24 0 0 15 0 4 0 1131686101 3309568 520 1992294400 134512640 135180984 4294956208 18446744073709551615 134519912 0 0 4096 0 0 0 0 -1 0 0 0
[pid=761/tid=764] ppid=759 vsize=3232 CPUtime=0.93
/proc/761/task/764/stat : 764 (satake) S 759 761 640 0 -1 4194368 140 0 0 0 69 24 0 0 16 0 4 0 1131686101 3309568 520 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 3232

[startup+3.10062 s]
/proc/loadavg: 0.93 0.99 1.15 2/68 765
/proc/meminfo: memFree=1028968/2055920 swapFree=4176444/4192956
[pid=761] ppid=759 vsize=4028 CPUtime=5.13
/proc/761/stat : 761 (satake) S 759 761 640 0 -1 4194304 797 0 0 0 319 194 0 0 20 0 4 0 1131686100 4124672 782 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/761/statm: 1007 782 70 163 0 842 0
[pid=761/tid=762] ppid=759 vsize=4028 CPUtime=1.26
/proc/761/task/762/stat : 762 (satake) R 759 761 640 0 -1 4194368 299 0 0 0 25 101 0 0 18 0 4 0 1131686101 4124672 782 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=761/tid=763] ppid=759 vsize=4028 CPUtime=1.94
/proc/761/task/763/stat : 763 (satake) R 759 761 640 0 -1 4194368 233 0 0 0 147 47 0 0 15 0 4 0 1131686101 4124672 782 1992294400 134512640 135180984 4294956208 18446744073709551615 134520896 0 0 4096 0 0 0 0 -1 1 0 0
[pid=761/tid=764] ppid=759 vsize=4028 CPUtime=1.91
/proc/761/task/764/stat : 764 (satake) S 759 761 640 0 -1 4194368 182 0 0 0 147 44 0 0 15 0 4 0 1131686101 4124672 782 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.13
Current children cumulated vsize (KiB) 4028

[startup+6.30194 s]
/proc/loadavg: 1.01 1.01 1.15 3/68 765
/proc/meminfo: memFree=1026856/2055920 swapFree=4176444/4192956
[pid=761] ppid=759 vsize=6832 CPUtime=10.62
/proc/761/stat : 761 (satake) S 759 761 640 0 -1 4194304 1285 0 0 0 673 389 0 0 20 0 4 0 1131686100 6995968 1270 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/761/statm: 1708 1270 70 163 0 1543 0
[pid=761/tid=762] ppid=759 vsize=6832 CPUtime=2.45
/proc/761/task/762/stat : 762 (satake) R 759 761 640 0 -1 4194368 643 0 0 0 48 197 0 0 15 0 4 0 1131686101 6995968 1270 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=761/tid=763] ppid=759 vsize=6832 CPUtime=4.09
/proc/761/task/763/stat : 763 (satake) S 759 761 640 0 -1 4194368 318 0 0 0 314 95 0 0 15 0 4 0 1131686101 6995968 1270 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=761/tid=764] ppid=759 vsize=6832 CPUtime=4.06
/proc/761/task/764/stat : 764 (satake) R 759 761 640 0 -1 4194368 241 0 0 0 310 96 0 0 15 0 4 0 1131686101 6995968 1270 1992294400 134512640 135180984 4294956208 18446744073709551615 134519935 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.62
Current children cumulated vsize (KiB) 6832

[startup+12.7016 s]
/proc/loadavg: 1.17 1.04 1.16 3/68 765
/proc/meminfo: memFree=1022968/2055920 swapFree=4176444/4192956
[pid=761] ppid=759 vsize=10224 CPUtime=21.74
/proc/761/stat : 761 (satake) S 759 761 640 0 -1 4194304 2233 0 0 0 1404 770 0 0 20 0 4 0 1131686100 10469376 2218 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/761/statm: 2556 2218 70 163 0 2391 0
[pid=761/tid=762] ppid=759 vsize=10224 CPUtime=4.81
/proc/761/task/762/stat : 762 (satake) R 759 761 640 0 -1 4194368 1339 0 0 0 96 385 0 0 16 0 4 0 1131686101 10469376 2218 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=761/tid=763] ppid=759 vsize=10224 CPUtime=8.49
/proc/761/task/763/stat : 763 (satake) S 759 761 640 0 -1 4194368 473 0 0 0 659 190 0 0 15 0 4 0 1131686101 10469376 2218 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=761/tid=764] ppid=759 vsize=10224 CPUtime=8.43
/proc/761/task/764/stat : 764 (satake) S 759 761 640 0 -1 4194368 338 0 0 0 649 194 0 0 16 0 4 0 1131686101 10469376 2218 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.74
Current children cumulated vsize (KiB) 10224

[startup+25.502 s]
/proc/loadavg: 1.27 1.07 1.17 3/68 765
/proc/meminfo: memFree=1015608/2055920 swapFree=4176444/4192956
[pid=761] ppid=759 vsize=18788 CPUtime=44.13
/proc/761/stat : 761 (satake) S 759 761 640 0 -1 4194304 4037 0 0 0 2837 1576 0 0 20 0 4 0 1131686100 19238912 4022 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/761/statm: 4697 4022 70 163 0 4532 0
[pid=761/tid=762] ppid=759 vsize=18788 CPUtime=9.81
/proc/761/task/762/stat : 762 (satake) R 759 761 640 0 -1 4194368 2751 0 0 0 198 783 0 0 16 0 4 0 1131686101 19238912 4022 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=761/tid=763] ppid=759 vsize=18788 CPUtime=17.21
/proc/761/task/763/stat : 763 (satake) R 759 761 640 0 -1 4194368 747 0 0 0 1325 396 0 0 15 0 4 0 1131686101 19238912 4022 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=761/tid=764] ppid=759 vsize=18788 CPUtime=17.1
/proc/761/task/764/stat : 764 (satake) R 759 761 640 0 -1 4194368 456 0 0 0 1314 396 0 0 16 0 4 0 1131686101 19238912 4022 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 44.13
Current children cumulated vsize (KiB) 18788

[startup+51.1052 s]
/proc/loadavg: 1.86 1.22 1.22 3/68 765
/proc/meminfo: memFree=1002360/2055920 swapFree=4176444/4192956
[pid=761] ppid=759 vsize=33992 CPUtime=89.43
/proc/761/stat : 761 (satake) S 759 761 640 0 -1 4194304 7356 0 0 0 5816 3127 0 0 20 0 4 0 1131686100 34807808 7341 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/761/statm: 8498 7341 70 163 0 8333 0
[pid=761/tid=762] ppid=759 vsize=33992 CPUtime=19.49
/proc/761/task/762/stat : 762 (satake) R 759 761 640 0 -1 4194368 5427 0 0 0 405 1544 0 0 15 0 4 0 1131686101 34807808 7341 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=761/tid=763] ppid=759 vsize=33992 CPUtime=35.03
/proc/761/task/763/stat : 763 (satake) S 759 761 640 0 -1 4194368 1150 0 0 0 2713 790 0 0 15 0 4 0 1131686101 34807808 7341 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=761/tid=764] ppid=759 vsize=33992 CPUtime=34.89
/proc/761/task/764/stat : 764 (satake) R 759 761 640 0 -1 4194368 696 0 0 0 2697 792 0 0 16 0 4 0 1131686101 34807808 7341 1992294400 134512640 135180984 4294956208 18446744073709551615 134520912 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 89.43
Current children cumulated vsize (KiB) 33992

[startup+102.305 s]
/proc/loadavg: 2.12 1.39 1.27 4/68 765
/proc/meminfo: memFree=976696/2055920 swapFree=4176444/4192956
[pid=761] ppid=759 vsize=63332 CPUtime=180.86
/proc/761/stat : 761 (satake) S 759 761 640 0 -1 4194304 13679 0 0 0 11928 6158 0 0 20 0 4 0 1131686100 64851968 13664 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/761/statm: 15833 13664 70 163 0 15668 0
[pid=761/tid=762] ppid=759 vsize=63332 CPUtime=38.22
/proc/761/task/762/stat : 762 (satake) S 759 761 640 0 -1 4194368 10284 0 0 0 793 3029 0 0 15 0 4 0 1131686101 64851968 13664 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=761/tid=763] ppid=759 vsize=63332 CPUtime=71.44
/proc/761/task/763/stat : 763 (satake) R 759 761 640 0 -1 4194368 1949 0 0 0 5581 1563 0 0 15 0 4 0 1131686101 64851968 13664 1992294400 134512640 135180984 4294956208 18446744073709551615 134528631 0 0 4096 0 0 0 0 -1 0 0 0
[pid=761/tid=764] ppid=759 vsize=63332 CPUtime=71.17
/proc/761/task/764/stat : 764 (satake) R 759 761 640 0 -1 4194368 1363 0 0 0 5553 1564 0 0 16 0 4 0 1131686101 64851968 13664 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 180.86
Current children cumulated vsize (KiB) 63332

[startup+162.302 s]
/proc/loadavg: 2.28 1.57 1.34 3/68 765
/proc/meminfo: memFree=948536/2055920 swapFree=4176444/4192956
[pid=761] ppid=759 vsize=97200 CPUtime=289.42
/proc/761/stat : 761 (satake) S 759 761 640 0 -1 4194304 20769 0 0 0 19340 9602 0 0 20 0 4 0 1131686100 99532800 20754 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/761/statm: 24300 20754 70 163 0 24135 0
[pid=761/tid=762] ppid=759 vsize=97200 CPUtime=59.51
/proc/761/task/762/stat : 762 (satake) R 759 761 640 0 -1 4194368 15704 0 0 0 1233 4718 0 0 16 0 4 0 1131686101 99532800 20754 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=761/tid=763] ppid=759 vsize=97200 CPUtime=115.24
/proc/761/task/763/stat : 763 (satake) S 759 761 640 0 -1 4194368 2934 0 0 0 9080 2444 0 0 15 0 4 0 1131686101 99532800 20754 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=761/tid=764] ppid=759 vsize=97200 CPUtime=114.66
/proc/761/task/764/stat : 764 (satake) R 759 761 640 0 -1 4194368 2048 0 0 0 9027 2439 0 0 16 0 4 0 1131686101 99532800 20754 1992294400 134512640 135180984 4294956208 18446744073709551615 134519923 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 289.42
Current children cumulated vsize (KiB) 97200

[startup+222.307 s]
/proc/loadavg: 2.47 1.74 1.41 4/68 765
/proc/meminfo: memFree=920184/2055920 swapFree=4176444/4192956
[pid=761] ppid=759 vsize=130456 CPUtime=398.12
/proc/761/stat : 761 (satake) S 759 761 640 0 -1 4194304 27808 0 0 0 26749 13063 0 0 20 0 4 0 1131686100 133586944 27793 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/761/statm: 32614 27793 70 163 0 32449 0
[pid=761/tid=762] ppid=759 vsize=130456 CPUtime=81.12
/proc/761/task/762/stat : 762 (satake) R 759 761 640 0 -1 4194368 20863 0 0 0 1706 6406 0 0 16 0 4 0 1131686101 133586944 27793 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=761/tid=763] ppid=759 vsize=130456 CPUtime=158.9
/proc/761/task/763/stat : 763 (satake) R 759 761 640 0 -1 4194368 4349 0 0 0 12553 3337 0 0 16 0 4 0 1131686101 133586944 27793 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=761/tid=764] ppid=759 vsize=130456 CPUtime=158.07
/proc/761/task/764/stat : 764 (satake) R 759 761 640 0 -1 4194368 2513 0 0 0 12489 3318 0 0 16 0 4 0 1131686101 133586944 27793 1992294400 134512640 135180984 4294956208 18446744073709551615 134528760 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.12
Current children cumulated vsize (KiB) 130456

[startup+282.302 s]
/proc/loadavg: 2.53 1.89 1.48 4/68 765
/proc/meminfo: memFree=891704/2055920 swapFree=4176444/4192956
[pid=761] ppid=759 vsize=162540 CPUtime=506.79
/proc/761/stat : 761 (satake) S 759 761 640 0 -1 4194304 34981 0 0 0 34036 16643 0 0 20 0 4 0 1131686100 166440960 34966 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/761/statm: 40635 34966 70 163 0 40470 0
[pid=761/tid=762] ppid=759 vsize=162540 CPUtime=103.48
/proc/761/task/762/stat : 762 (satake) R 759 761 640 0 -1 4194368 25903 0 0 0 2185 8163 0 0 16 0 4 0 1131686101 166440960 34966 1992294400 134512640 135180984 4294956208 18446744073709551615 134580588 0 0 4096 0 0 0 0 -1 0 0 0
[pid=761/tid=763] ppid=759 vsize=162540 CPUtime=202.11
/proc/761/task/763/stat : 763 (satake) R 759 761 640 0 -1 4194368 5750 0 0 0 15965 4246 0 0 16 0 4 0 1131686101 166440960 34966 1992294400 134512640 135180984 4294956208 18446744073709551615 134528688 0 0 4096 0 0 0 0 -1 1 0 0
[pid=761/tid=764] ppid=759 vsize=162540 CPUtime=201.16
/proc/761/task/764/stat : 764 (satake) S 759 761 640 0 -1 4194368 3245 0 0 0 15884 4232 0 0 15 0 4 0 1131686101 166440960 34966 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 506.79
Current children cumulated vsize (KiB) 162540

[startup+342.302 s]
/proc/loadavg: 2.54 2.00 1.54 4/68 765
/proc/meminfo: memFree=864248/2055920 swapFree=4176444/4192956
[pid=761] ppid=759 vsize=195576 CPUtime=616.66
/proc/761/stat : 761 (satake) S 759 761 640 0 -1 4194304 41771 0 0 0 41716 19950 0 0 20 0 4 0 1131686100 200269824 41756 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/761/statm: 48894 41756 70 163 0 48729 0
[pid=761/tid=762] ppid=759 vsize=195576 CPUtime=124.07
/proc/761/task/762/stat : 762 (satake) S 759 761 640 0 -1 4194368 30584 0 0 0 2630 9777 0 0 15 0 4 0 1131686101 200269824 41756 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 1 0 0
[pid=761/tid=763] ppid=759 vsize=195576 CPUtime=246.67
/proc/761/task/763/stat : 763 (satake) R 759 761 640 0 -1 4194368 7343 0 0 0 19578 5089 0 0 16 0 4 0 1131686101 200269824 41756 1992294400 134512640 135180984 4294956208 18446744073709551615 134528211 0 0 4096 0 0 0 0 -1 0 0 0
[pid=761/tid=764] ppid=759 vsize=195576 CPUtime=245.9
/proc/761/task/764/stat : 764 (satake) R 759 761 640 0 -1 4194368 3761 0 0 0 19507 5083 0 0 17 0 4 0 1131686101 200269824 41756 1992294400 134512640 135180984 4294956208 18446744073709551615 134528433 0 0 4096 0 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 616.66
Current children cumulated vsize (KiB) 195576

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

[startup+345.602 s]
/proc/loadavg: 2.58 2.02 1.55 3/68 765
/proc/meminfo: memFree=863160/2055920 swapFree=4176444/4192956
[pid=761] ppid=759 vsize=198244 CPUtime=622.7
/proc/761/stat : 761 (satake) S 759 761 640 0 -1 4194304 42038 0 0 0 42128 20142 0 0 20 0 4 0 1131686100 203001856 42023 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/761/statm: 49561 42023 70 163 0 49396 0
[pid=761/tid=762] ppid=759 vsize=198244 CPUtime=125.23
/proc/761/task/762/stat : 762 (satake) R 759 761 640 0 -1 4194368 30800 0 0 0 2653 9870 0 0 15 0 4 0 1131686101 203001856 42023 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 1 0 0
[pid=761/tid=763] ppid=759 vsize=198244 CPUtime=249.12
/proc/761/task/763/stat : 763 (satake) S 759 761 640 0 -1 4194368 7372 0 0 0 19773 5139 0 0 15 0 4 0 1131686101 203001856 42023 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=761/tid=764] ppid=759 vsize=198244 CPUtime=248.33
/proc/761/task/764/stat : 764 (satake) S 759 761 640 0 -1 4194368 3783 0 0 0 19701 5132 0 0 15 0 4 0 1131686101 203001856 42023 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 622.7
Current children cumulated vsize (KiB) 198244

[startup+348.812 s]
/proc/loadavg: 2.58 2.02 1.55 3/68 765
/proc/meminfo: memFree=861560/2055920 swapFree=4176444/4192956
[pid=761] ppid=759 vsize=200644 CPUtime=628.57
/proc/761/stat : 761 (satake) S 759 761 640 0 -1 4194304 42435 0 0 0 42524 20333 0 0 20 0 4 0 1131686100 205459456 42420 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/761/statm: 50161 42420 70 163 0 49996 0
[pid=761/tid=762] ppid=759 vsize=200644 CPUtime=126.41
/proc/761/task/762/stat : 762 (satake) R 759 761 640 0 -1 4194368 31103 0 0 0 2677 9964 0 0 16 0 4 0 1131686101 205459456 42420 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=761/tid=763] ppid=759 vsize=200644 CPUtime=251.46
/proc/761/task/763/stat : 763 (satake) R 759 761 640 0 -1 4194368 7460 0 0 0 19958 5188 0 0 16 0 4 0 1131686101 205459456 42420 1992294400 134512640 135180984 4294956208 18446744073709551615 134528704 0 0 4096 0 0 0 0 -1 1 0 0
[pid=761/tid=764] ppid=759 vsize=200644 CPUtime=250.68
/proc/761/task/764/stat : 764 (satake) S 759 761 640 0 -1 4194368 3789 0 0 0 19888 5180 0 0 15 0 4 0 1131686101 205459456 42420 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 628.57
Current children cumulated vsize (KiB) 200644

[startup+349.602 s]
/proc/loadavg: 2.58 2.02 1.55 3/68 765
/proc/meminfo: memFree=861560/2055920 swapFree=4176444/4192956
[pid=761] ppid=759 vsize=200644 CPUtime=630.03
/proc/761/stat : 761 (satake) S 759 761 640 0 -1 4194304 42465 0 0 0 42631 20372 0 0 20 0 4 0 1131686100 205459456 42450 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/761/statm: 50161 42450 70 163 0 49996 0
[pid=761/tid=762] ppid=759 vsize=200644 CPUtime=126.64
/proc/761/task/762/stat : 762 (satake) R 759 761 640 0 -1 4194368 31133 0 0 0 2682 9982 0 0 16 0 4 0 1131686101 205459456 42450 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 0 0 0 -1 0 0 0
[pid=761/tid=763] ppid=759 vsize=200644 CPUtime=252.07
/proc/761/task/763/stat : 763 (satake) R 759 761 640 0 -1 4194368 7460 0 0 0 20008 5199 0 0 16 0 4 0 1131686101 205459456 42450 1992294400 134512640 135180984 4294956208 18446744073709551615 134522762 0 0 4096 0 0 0 0 -1 1 0 0
[pid=761/tid=764] ppid=759 vsize=200644 CPUtime=251.28
/proc/761/task/764/stat : 764 (satake) S 759 761 640 0 -1 4194368 3789 0 0 0 19939 5189 0 0 16 0 4 0 1131686101 205459456 42450 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
Current children cumulated CPU time (s) 630.03
Current children cumulated vsize (KiB) 200644

[startup+350.402 s]
/proc/loadavg: 2.58 2.02 1.55 2/68 765
/proc/meminfo: memFree=861112/2055920 swapFree=4176444/4192956
[pid=761] ppid=759 vsize=200972 CPUtime=631.5
/proc/761/stat : 761 (satake) S 759 761 640 0 -1 4194304 42577 0 0 0 42740 20410 0 0 20 0 4 0 1131686100 205795328 42562 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/761/statm: 50243 42562 70 163 0 50078 0
[pid=761/tid=762] ppid=759 vsize=200972 CPUtime=126.9
/proc/761/task/762/stat : 762 (satake) S 759 761 640 0 -1 4194368 31219 0 0 0 2689 10001 0 0 16 0 4 0 1131686101 205795328 42562 1992294400 134512640 135180984 4294956208 18446744073709551615 134580407 0 0 4096 0 18446744071563914367 0 0 -1 0 0 0
[pid=761/tid=763] ppid=759 vsize=200972 CPUtime=252.68
/proc/761/task/763/stat : 763 (satake) R 759 761 640 0 -1 4194368 7486 0 0 0 20059 5209 0 0 15 0 4 0 1131686101 205795328 42562 1992294400 134512640 135180984 4294956208 18446744073709551615 134521150 0 0 4096 0 0 0 0 -1 1 0 0
[pid=761/tid=764] ppid=759 vsize=200972 CPUtime=251.91
/proc/761/task/764/stat : 764 (satake) R 759 761 640 0 -1 4194368 3789 0 0 0 19992 5199 0 0 16 0 4 0 1131686101 205795328 42562 1992294400 134512640 135180984 4294956208 18446744073709551615 134706407 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 631.5
Current children cumulated vsize (KiB) 200972

[startup+350.802 s]
/proc/loadavg: 2.58 2.02 1.55 2/68 765
/proc/meminfo: memFree=861112/2055920 swapFree=4176444/4192956
[pid=761] ppid=759 vsize=195848 CPUtime=631.94
/proc/761/stat : 761 (satake) S 759 761 640 0 -1 4194304 42589 0 0 0 42782 20412 0 0 20 0 2 0 1131686100 200548352 41380 1992294400 134512640 135180984 4294956208 18446744073709551615 134573496 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/761/statm: 48962 41380 79 163 0 48797 0
[pid=761/tid=762] ppid=759 vsize=195848 CPUtime=127.28
/proc/761/task/762/stat : 762 (satake) R 759 761 640 0 -1 4194368 31222 0 0 0 2725 10003 0 0 17 0 2 0 1131686101 200548352 41380 1992294400 134512640 135180984 4294956208 18446744073709551615 134666440 0 0 4096 0 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 631.94
Current children cumulated vsize (KiB) 195848

Child status: 3
Real time (s): 350.872
CPU time (s): 632.027
CPU user time (s): 427.867
CPU system time (s): 204.16
CPU usage (%): 180.13
Max. virtual memory (cumulated for all children) (KiB): 200972


getrusage(RUSAGE_CHILDREN,...) data:
user time used= 427.867
system time used= 204.16
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42589
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= 8526956
involuntary context switches= 8010609

runsolver used 0.367944 second user time and 1.09083 second system time

The end

Launcher Data 

Begin job on node27 at 2009-04-01 14:50:07
IDJOB=1543876
IDBENCH=70717
IDSOLVER=553
FILE ID=node27/1543876-1238590207
PBS_JOBID= 9068317
Free space on /tmp= 65720 MiB

SOLVER NAME= satake 2009-03-22
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/SATISFIABLE/480/unif-k3-r4.25-v480-c2040-S1002348653-090.cnf
COMMAND LINE= HOME/satake BENCHNAME MAXNBTHREAD TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1543876-1238590207/watcher-1543876-1238590207 -o /tmp/evaluation-result-1543876-1238590207/solver-1543876-1238590207 -C 1200 -W 1800 -M 1800 --output-limit 1,15 --cleanup-all-ipc-queues HOME/satake HOME/instance-1543876-1238590207.cnf 3 1200

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 3

MD5SUM BENCH= c369517cece9ac5de13f6444259c5dd0
RANDOM SEED=550599365

node27.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		: 2800.196
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	: 5521.40
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		: 2800.196
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:       1031912 kB
Buffers:         95976 kB
Cached:         823752 kB
SwapCached:       9492 kB
Active:         203284 kB
Inactive:       727524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1031912 kB
SwapTotal:     4192956 kB
SwapFree:      4176444 kB
Dirty:             920 kB
Writeback:           0 kB
Mapped:          16740 kB
Slab:            79032 kB
Committed_AS:  2997544 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264948 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 65716 MiB
End job on node27 at 2009-04-01 14:55:58