Trace number 310495

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, and are wall clock time (not CPU 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
MXC 2007-02-08SAT 225.165 225.239

General information on the benchmark

Namerandom/2+p/p0.9/v630/
unif2p-p0.9-v630-c2280-S2099846342-04-SAT.cnf
MD5SUM23ea53255de4a3778ef34ac8baaa8ebc
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.056991
Satisfiable
(Un)Satisfiability was proved
Number of variables630
Number of clauses2280
Sum of the clauses size6612
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2228
Number of clauses of size 32052
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

225.11/225.23	c MXC attempting /tmp/evaluation/310495-1172560117/instance-310495-1172560117.cnf
225.11/225.23	c 0 assignments made, starting to guess now
225.11/225.23	c ===================================[MXC]=====================================
225.11/225.23	c | Conflicts |     ORIGINAL     |             LEARNT              | Progress |
225.11/225.23	c |           | Clauses Literals |  Limit Clauses Literals  Lit/Cl |          |
225.11/225.23	c =============================================================================
225.11/225.23	c |         0 |    2052     6156 |    1000       0       0     nan |  0.000 % |
225.11/225.23	c |       100 |    2052     6156 |    1100     100    2007    20.1 |  0.000 % |
225.11/225.23	c |       250 |    2052     6156 |    1210     250    5082    20.3 |  0.000 % |
225.11/225.23	c |       476 |    2052     6156 |    1331     476    9404    19.8 |  0.000 % |
225.11/225.23	c |       814 |    2052     6156 |    1464     814   15020    18.5 |  0.000 % |
225.11/225.23	c |      1320 |    2052     6156 |    1610    1319   23676    17.9 |  0.000 % |
225.11/225.23	c |      2079 |    2052     6156 |    1771    1270   22193    17.5 |  0.000 % |
225.11/225.23	c |      3219 |    2052     6156 |    1948    1521   25967    17.1 |  0.000 % |
225.11/225.23	c |      4927 |    2052     6156 |    2143    1280   23814    18.6 |  0.000 % |
225.11/225.23	c |      7490 |    2052     6156 |    2357    1696   26073    15.4 |  0.000 % |
225.11/225.23	c |     11334 |    2052     6156 |    2593    2002   32670    16.3 |  0.000 % |
225.11/225.23	c |     17101 |    2052     6156 |    2853    2583   41633    16.1 |  0.000 % |
225.11/225.23	c |     25750 |    2052     6156 |    3138    2678   42253    15.8 |  0.000 % |
225.11/225.23	c |     38724 |    2052     6156 |    3452    3109   47683    15.3 |  0.000 % |
225.11/225.23	c |     58186 |    2052     6156 |    3797    1869   33938    18.2 |  0.000 % |
225.11/225.23	c |     87378 |    2052     6156 |    4177    2614   42593    16.3 |  0.000 % |
225.11/225.23	c |    131167 |    2052     6156 |    4594    2564   44436    17.3 |  0.000 % |
225.11/225.23	c |    196851 |    2052     6156 |    5054    3993   78837    19.7 |  0.000 % |
225.11/225.23	c |    295378 |    2052     6156 |    5559    4042   65489    16.2 |  0.000 % |
225.11/225.23	c |    443167 |    2052     6156 |    6115    4609   78490    17.0 |  0.000 % |
225.11/225.23	c |    664850 |    2052     6156 |    6727    3292   60438    18.4 |  0.000 % |
225.11/225.23	c |    997376 |    2052     6156 |    7400    6453  116569    18.1 |  0.000 % |
225.11/225.23	c |   1496165 |    2052     6156 |    8140    6093  120953    19.9 |  0.000 % |
225.11/225.23	c |   2244347 |    2052     6156 |    8954    5983  111337    18.6 |  0.000 % |
225.11/225.23	c 225.190s elapsed
225.11/225.23	c restarts: 23
225.11/225.23	c decisions: 3018284
225.11/225.23	c propagations: 235494103
225.11/225.23	c conflicts: 2522681
225.11/225.23	s SATISFIABLE
225.11/225.23	v -171 -414 -113 -406 -393 470 -527 -334 -225 -472 133 -336 599 525 535 441 143 -487 -213 -296 -11 316 95 -127 -82 80 602 163 -379 -507 -199 -227 103 374 505 38 -620 -283 -563 -423 256 537 -328 492 -559 117 329 211 98 341 7 420 -164 589 -22 584 456 -399 402 -466 561 -102 162 -253 -345 -318 59 434 -416 -350 -177 613 -388 254 -479 155 174 -353 400 -93 -536 491 478 -110 12 -179 -132 -184 -511 -114 194 -35 -440 502 -293 -624 140 389 -124 517 -413 618 -257 123 -583 513 327 280 482 -28 -119 141 -214 348 -522 217 58 475 -54 501 -367 45 264 285 368 483 -51 26 519 -18 166 -590 49 -480 234 -190 21 160 168 -223 -401 -208 218 -270 526 193 -72 -128 175 -355 31 569 409 180 540 500 572 34 490 -358 361 -426 -461 370 397 -568 118 -508 524 281 442 -181 -452 302 332 305 244 63 392 -571 -404 -493 407 -444 -354 -290 -268 -148 50 -187 -582 -425 -415 83 -533 66 191 195 -428 250 303 -48 -424 -6 -226 -266 380 142 62 -337 -551 -152 -239 601 -591 369 -156 122 282 -547 443 417 -429 528 -186 96 -245 221 -608 453 -134 -629 -87 185 -77 206 196 -37 484 -575 -317 481 -198 -325 391 -274 -616 258 -273 115 -228 -506 237 23 233 595 -243 149 -2 -249 -276 91 -576 263 489 286 344 -230 20 -411 176 -247 -486 -288 383 -238 550 39 -271 -403 -617 41 304 331 -73 -61 421 -275 -364 -530 -85 144 -261 -231 -17 -99 -104 307 410 549 299 170 -362 -349 147 -312 -310 -81 265 -464 586 606 539 207 371 -92 521 -357 -86 -448 469 -323 498 -529 603 19 -474 313 488 390 -129 130 76 -531 -97 564 -560 -580 -116 -523 29 241 321 -204 463 311 562 320 -504 546 105 579 -566 565 -455 -433 499 88 -47 -619 -70 235 74 -9 -71 -446 375 205 -67 -552 496 -445 -457 298 -14 366 5 542 520 -295 -1 107 -224 108 -333 592 44 451 338 -462 621 -377 -418 587 -339 -100 32 219 158 373 -267 -447 437 627 -567 -512 -79 -468 -381 578 -201 -408 622 -111 -473 68 -556 -161 -27 430 53 343 623 78 189 365 -600 -55 315 555 151 -532 614 16 -252 121 363 -558 215 625 -89 -412 125 40 534 255 -232 -272 3 -376 432 279 -210 398 209 -419 -126 -137 609 553 -384 -449 -262 541 -106 297 84 -476 -385 -554 -69 -183 -202 -330 450 405 485 -515 -538 360 -172 604 -610 510 -260 -628 65 -8 454 -543 -396 -43 15 431 494 64 -574 -459 324 -94 287 182 -259 -278 -518 -236 300 -30 212 -516 -438 216 4 -203 -577 200 269 -289 467 -251 -240 -188 477 -607 -109 -335 229 33 -242 -301 -435 -306 42 -46 -386 291 -277 -165 178 -351 626 -427 378 -139 -309 630 -548 -509 -319 -581 -120 -169 -56 -136 101 -197 -154 222 -36 -465 352 -145 -322 -326 -593 -356 308 -615 57 -248 -292 -594 138 220 -598 -596 -340 -284 -246 -159 -131 -314 -585 -359 -13 -395 -135 -611 -112 -52 -394 545 -150 -347 -495 342 439 -544 -24 -153 -471 -573 -146 -387 605 -167 -60 -503 -514 458 -372 -90 -157 -192 -382 -612 -436 -294 -597 -173 -557 -570 -10 -422 -346 -497 -460 -75 -25 -588 0

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node5/watcher-310495-1172560117 -o ROOT/results/node5/solver-310495-1172560117 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/310495-1172560117/mxc /tmp/evaluation/310495-1172560117/instance-310495-1172560117.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 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.95 0.98 0.99 3/77 18637
/proc/meminfo: memFree=1663648/2055920 swapFree=4192812/4192956
[pid=18637] ppid=18635 vsize=1064 CPUtime=0
/proc/18637/stat : 18637 (mxc) R 18635 18637 18196 0 -1 4194304 135 0 0 0 0 0 0 0 18 0 1 0 275966550 1089536 119 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134528104 0 0 4096 0 0 0 0 17 1 0 0
/proc/18637/statm: 266 119 57 122 0 140 0

[startup+0.107793 s]
/proc/loadavg: 0.95 0.98 0.99 3/77 18637
/proc/meminfo: memFree=1663648/2055920 swapFree=4192812/4192956
[pid=18637] ppid=18635 vsize=1204 CPUtime=0.1
/proc/18637/stat : 18637 (mxc) R 18635 18637 18196 0 -1 4194304 190 0 0 0 10 0 0 0 18 0 1 0 275966550 1232896 172 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134531015 0 0 4096 0 0 0 0 17 1 0 0
/proc/18637/statm: 301 172 67 122 0 175 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1204

[startup+0.51584 s]
/proc/loadavg: 0.95 0.98 0.99 3/77 18637
/proc/meminfo: memFree=1663648/2055920 swapFree=4192812/4192956
[pid=18637] ppid=18635 vsize=1468 CPUtime=0.51
/proc/18637/stat : 18637 (mxc) R 18635 18637 18196 0 -1 4194304 230 0 0 0 51 0 0 0 21 0 1 0 275966550 1503232 212 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/18637/statm: 367 212 67 122 0 241 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 1468

[startup+1.33893 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 18638
/proc/meminfo: memFree=1662872/2055920 swapFree=4192812/4192956
[pid=18637] ppid=18635 vsize=1468 CPUtime=1.33
/proc/18637/stat : 18637 (mxc) R 18635 18637 18196 0 -1 4194304 259 0 0 0 133 0 0 0 25 0 1 0 275966550 1503232 241 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/18637/statm: 367 241 67 122 0 241 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 1468

[startup+2.97712 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 18638
/proc/meminfo: memFree=1662616/2055920 swapFree=4192812/4192956
[pid=18637] ppid=18635 vsize=1732 CPUtime=2.97
/proc/18637/stat : 18637 (mxc) R 18635 18637 18196 0 -1 4194304 302 0 0 0 297 0 0 0 25 0 1 0 275966550 1773568 284 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519314 0 0 4096 0 0 0 0 17 1 0 0
/proc/18637/statm: 433 284 67 122 0 307 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 1732

[startup+6.25349 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 18638
/proc/meminfo: memFree=1662360/2055920 swapFree=4192812/4192956
[pid=18637] ppid=18635 vsize=1848 CPUtime=6.24
/proc/18637/stat : 18637 (mxc) R 18635 18637 18196 0 -1 4194304 348 0 0 0 624 0 0 0 25 0 1 0 275966550 1892352 330 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519284 0 0 4096 0 0 0 0 17 1 0 0
/proc/18637/statm: 462 330 67 122 0 336 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 1848

[startup+12.7092 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 18638
/proc/meminfo: memFree=1662040/2055920 swapFree=4192812/4192956
[pid=18637] ppid=18635 vsize=2096 CPUtime=12.7
/proc/18637/stat : 18637 (mxc) R 18635 18637 18196 0 -1 4194304 409 0 0 0 1270 0 0 0 25 0 1 0 275966550 2146304 391 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519194 0 0 4096 0 0 0 0 17 1 0 0
/proc/18637/statm: 524 391 67 122 0 398 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 2096

[startup+25.5107 s]
/proc/loadavg: 0.97 0.98 0.99 2/78 18638
/proc/meminfo: memFree=1661720/2055920 swapFree=4192812/4192956
[pid=18637] ppid=18635 vsize=2460 CPUtime=25.49
/proc/18637/stat : 18637 (mxc) R 18635 18637 18196 0 -1 4194304 482 0 0 0 2549 0 0 0 25 0 1 0 275966550 2519040 464 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519215 0 0 4096 0 0 0 0 17 1 0 0
/proc/18637/statm: 615 464 67 122 0 489 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2460

[startup+51.1236 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 18638
/proc/meminfo: memFree=1661400/2055920 swapFree=4192812/4192956
[pid=18637] ppid=18635 vsize=2684 CPUtime=51.1
/proc/18637/stat : 18637 (mxc) R 18635 18637 18196 0 -1 4194304 557 0 0 0 5110 0 0 0 25 0 1 0 275966550 2748416 539 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519243 0 0 4096 0 0 0 0 17 1 0 0
/proc/18637/statm: 671 539 67 122 0 545 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 2684

[startup+102.346 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18638
/proc/meminfo: memFree=1661016/2055920 swapFree=4192812/4192956
[pid=18637] ppid=18635 vsize=3124 CPUtime=102.31
/proc/18637/stat : 18637 (mxc) R 18635 18637 18196 0 -1 4194304 672 0 0 0 10230 1 0 0 25 0 1 0 275966550 3198976 654 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519605 0 0 4096 0 0 0 0 17 1 0 0
/proc/18637/statm: 781 654 67 122 0 655 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 3124

[startup+162.378 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18638
/proc/meminfo: memFree=1660568/2055920 swapFree=4192812/4192956
[pid=18637] ppid=18635 vsize=3564 CPUtime=162.32
/proc/18637/stat : 18637 (mxc) R 18635 18637 18196 0 -1 4194304 763 0 0 0 16231 1 0 0 25 0 1 0 275966550 3649536 745 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519962 0 0 4096 0 0 0 0 17 1 0 0
/proc/18637/statm: 891 745 67 122 0 765 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 3564

[startup+222.404 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18638
/proc/meminfo: memFree=1660248/2055920 swapFree=4192812/4192956
[pid=18637] ppid=18635 vsize=3860 CPUtime=222.34
/proc/18637/stat : 18637 (mxc) R 18635 18637 18196 0 -1 4194304 846 0 0 0 22232 2 0 0 25 0 1 0 275966550 3952640 828 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134529751 0 0 4096 0 0 0 0 17 1 0 0
/proc/18637/statm: 965 828 67 122 0 839 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 3860

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

[startup+222.915 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18638
/proc/meminfo: memFree=1660248/2055920 swapFree=4192812/4192956
[pid=18637] ppid=18635 vsize=3860 CPUtime=222.85
/proc/18637/stat : 18637 (mxc) R 18635 18637 18196 0 -1 4194304 846 0 0 0 22283 2 0 0 25 0 1 0 275966550 3952640 828 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519261 0 0 4096 0 0 0 0 17 1 0 0
/proc/18637/statm: 965 828 67 122 0 839 0
Current children cumulated CPU time (s) 222.85
Current children cumulated vsize (KiB) 3860

[startup+224.56 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18638
/proc/meminfo: memFree=1660248/2055920 swapFree=4192812/4192956
[pid=18637] ppid=18635 vsize=3860 CPUtime=224.49
/proc/18637/stat : 18637 (mxc) R 18635 18637 18196 0 -1 4194304 846 0 0 0 22447 2 0 0 25 0 1 0 275966550 3952640 828 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134529425 0 0 4096 0 0 0 0 17 1 0 0
/proc/18637/statm: 965 828 67 122 0 839 0
Current children cumulated CPU time (s) 224.49
Current children cumulated vsize (KiB) 3860

[startup+224.968 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18638
/proc/meminfo: memFree=1660248/2055920 swapFree=4192812/4192956
[pid=18637] ppid=18635 vsize=3860 CPUtime=224.9
/proc/18637/stat : 18637 (mxc) R 18635 18637 18196 0 -1 4194304 846 0 0 0 22488 2 0 0 25 0 1 0 275966550 3952640 828 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519200 0 0 4096 0 0 0 0 17 1 0 0
/proc/18637/statm: 965 828 67 122 0 839 0
Current children cumulated CPU time (s) 224.9
Current children cumulated vsize (KiB) 3860

[startup+225.172 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 18638
/proc/meminfo: memFree=1660248/2055920 swapFree=4192812/4192956
[pid=18637] ppid=18635 vsize=3860 CPUtime=225.11
/proc/18637/stat : 18637 (mxc) R 18635 18637 18196 0 -1 4194304 846 0 0 0 22509 2 0 0 25 0 1 0 275966550 3952640 828 18446744073709551615 134512640 135013041 4294956720 18446744073709551615 134519232 0 0 4096 0 0 0 0 17 1 0 0
/proc/18637/statm: 965 828 67 122 0 839 0
Current children cumulated CPU time (s) 225.11
Current children cumulated vsize (KiB) 3860

Child status: 10
Real time (s): 225.239
CPU time (s): 225.165
CPU user time (s): 225.143
CPU system time (s): 0.021996
CPU usage (%): 99.967
Max. virtual memory (cumulated for all children) (KiB): 3860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 225.143
system time used= 0.021996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 848
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= 10
involuntary context switches= 295

runsolver used 0.238963 second user time and 0.507922 second system time

The end

Launcher Data (download as text)

Begin job on node5 on Tue Feb 27 07:08:37 UTC 2007

IDJOB= 310495
IDBENCH= 20289
IDSOLVER= 107
FILE ID= node5/310495-1172560117

PBS_JOBID= 3971668

Free space on /tmp= 66556 MiB

SOLVER NAME= MXC 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.9/v630/unif2p-p0.9-v630-c2280-S2099846342-04-SAT.cnf
COMMAND LINE= /tmp/evaluation/310495-1172560117/mxc /tmp/evaluation/310495-1172560117/instance-310495-1172560117.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node5/watcher-310495-1172560117 -o ROOT/results/node5/solver-310495-1172560117 -C 1200 -M 1800 --output-limit 1,15  /tmp/evaluation/310495-1172560117/mxc /tmp/evaluation/310495-1172560117/instance-310495-1172560117.cnf            

META MD5SUM SOLVER= fd459248d3e92e664505cc2f0f683bf4
MD5SUM BENCH=  23ea53255de4a3778ef34ac8baaa8ebc

RANDOM SEED= 681117480

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node5.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.224
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.224
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:       1663992 kB
Buffers:         50624 kB
Cached:         226272 kB
SwapCached:          0 kB
Active:         231540 kB
Inactive:        89368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1663992 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             640 kB
Writeback:           0 kB
Mapped:          62908 kB
Slab:            56604 kB
Committed_AS:   902152 kB
PageTables:       1692 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= 66556 MiB

End job on node5 on Tue Feb 27 07:12:23 UTC 2007