Trace number 2068920

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
pcs 0.3.2? (MO) 724.089 730.951

General information on the benchmark

Namecsp/tdsp/
normalized-C3-2-30.xml
MD5SUM580d1f4298858f6e76af46cd173ebb13
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables89
Number of constraints464
Maximum constraint arity6
Maximum domain size61
Number of constraints which are defined in extension0
Number of constraints which are defined in intension464
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c has big domains
0.00/0.02	c big-domain mode
0.17/0.21	c Seed is 1835870042
0.17/0.21	c Constructing HOME/instance-2068920-1247707408.xml  with 11194 constraints
0.17/0.21	c Solving

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: <no 's ' line found>

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2068920-1247707408/watcher-2068920-1247707408 -o /tmp/evaluation-result-2068920-1247707408/solver-2068920-1247707408 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1835870042 HOME/instance-2068920-1247707408.xml 

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


[startup+0 s]
/proc/loadavg: 1.96 1.98 2.01 4/72 16495
/proc/meminfo: memFree=1604256/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=5356 CPUtime=0
/proc/16495/stat : 16495 (pcssolve) R 16493 16495 14685 0 -1 4194304 272 0 0 0 0 0 0 0 20 0 1 0 57803508 5484544 240 996147200 4194304 4889804 548682068800 18446744073709551615 4324041 0 0 4100 65536 0 0 0 17 1 0 0
/proc/16495/statm: 1339 240 200 169 0 50 0

[startup+0.0850479 s]
/proc/loadavg: 1.96 1.98 2.01 4/72 16495
/proc/meminfo: memFree=1604256/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=6576 CPUtime=0.06
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4194304 1331 657 0 0 6 0 0 0 18 0 1 0 57803508 6733824 888 996147200 134512640 135215973 4294956304 18446744073709551615 4159050634 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 1644 888 389 171 0 569 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 6576

[startup+0.102085 s]
/proc/loadavg: 1.96 1.98 2.01 4/72 16495
/proc/meminfo: memFree=1604256/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=7188 CPUtime=0.07
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4194304 1526 657 0 0 7 0 0 0 18 0 1 0 57803508 7360512 1027 996147200 134512640 135215973 4294956304 18446744073709551615 7323202 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 1797 1027 389 171 0 722 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7188

[startup+0.302109 s]
/proc/loadavg: 1.96 1.98 2.01 4/72 16495
/proc/meminfo: memFree=1604256/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=12672 CPUtime=0.28
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4194304 3356 657 0 0 27 1 0 0 19 0 1 0 57803508 12976128 2253 996147200 134512640 135215973 4294956304 18446744073709551615 134590633 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 3168 2253 406 171 0 2093 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12672

[startup+0.702151 s]
/proc/loadavg: 1.96 1.98 2.01 4/72 16495
/proc/meminfo: memFree=1604256/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=15384 CPUtime=0.68
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4194304 4197 657 0 0 67 1 0 0 23 0 1 0 57803508 15753216 2677 996147200 134512640 135215973 4294956304 18446744073709551615 134588292 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 3846 2677 410 171 0 2771 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15384

[startup+1.50223 s]
/proc/loadavg: 1.97 1.98 2.01 3/73 16500
/proc/meminfo: memFree=1594584/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=15576 CPUtime=1.47
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4194304 4245 657 0 0 146 1 0 0 25 0 1 0 57803508 15949824 2725 996147200 134512640 135215973 4294956304 18446744073709551615 134907454 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 3894 2725 410 171 0 2819 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 15576

[startup+3.10136 s]
/proc/loadavg: 1.97 1.98 2.01 3/73 16500
/proc/meminfo: memFree=1593688/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=16476 CPUtime=3.06
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4194304 4479 657 0 0 305 1 0 0 25 0 1 0 57803508 16871424 2959 996147200 134512640 135215973 4294956304 18446744073709551615 4158960010 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 4119 2959 410 171 0 3044 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 16476

[startup+6.30168 s]
/proc/loadavg: 1.97 1.98 2.01 3/73 16500
/proc/meminfo: memFree=1589208/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=19412 CPUtime=6.23
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4194304 5229 657 0 0 621 2 0 0 25 0 1 0 57803508 19877888 3709 996147200 134512640 135215973 4294956304 18446744073709551615 134589840 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 4853 3709 410 171 0 3778 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 19412

[startup+12.7013 s]
/proc/loadavg: 1.97 1.98 2.01 3/73 16500
/proc/meminfo: memFree=1575896/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=27832 CPUtime=12.56
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4194304 7359 657 0 0 1254 2 0 0 25 0 1 0 57803508 28499968 5710 996147200 134512640 135215973 4294956304 18446744073709551615 4159337218 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 6958 5710 410 171 0 5883 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 27832

[startup+25.5017 s]
/proc/loadavg: 1.97 1.98 2.00 3/73 16500
/proc/meminfo: memFree=1545112/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=45808 CPUtime=25.24
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4194304 11935 657 0 0 2519 5 0 0 25 0 1 0 57803508 46907392 10253 996147200 134512640 135215973 4294956304 18446744073709551615 134587146 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 11452 10253 410 171 0 10377 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 45808

[startup+51.1013 s]
/proc/loadavg: 1.98 1.98 2.00 3/73 16500
/proc/meminfo: memFree=1487768/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=81720 CPUtime=50.6
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4194304 21141 657 0 0 5051 9 0 0 25 0 1 0 57803508 83681280 19008 996147200 134512640 135215973 4294956304 18446744073709551615 134532902 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 20430 19008 410 171 0 19355 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 81720

[startup+102.309 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=1412056/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=128320 CPUtime=101.32
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4194304 32955 657 0 0 10117 15 0 0 25 0 1 0 57803508 131399680 30822 996147200 134512640 135215973 4294956304 18446744073709551615 134677382 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 32080 30822 410 171 0 31005 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 128320

[startup+162.302 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=1306072/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=198224 CPUtime=160.76
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4194304 50670 657 0 0 16052 24 0 0 25 0 1 0 57803508 202981376 48024 996147200 134512640 135215973 4294956304 18446744073709551615 134640928 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 49556 48024 410 171 0 48481 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 198224

[startup+222.302 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=1173272/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=273260 CPUtime=220.19
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4194304 69660 657 0 0 21984 35 0 0 25 0 1 0 57803508 279818240 67014 996147200 134512640 135215973 4294956304 18446744073709551615 134648513 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 68315 67014 410 171 0 67240 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 273260

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=1032920/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=350712 CPUtime=279.63
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4194304 89641 657 0 0 27919 44 0 0 25 0 1 0 57803508 359129088 85713 996147200 134512640 135215973 4294956304 18446744073709551615 134902681 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 87678 85713 410 171 0 86603 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 350712

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=909976/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=412156 CPUtime=339.06
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4194304 105470 657 0 0 33853 53 0 0 25 0 1 0 57803508 422047744 101029 996147200 134512640 135215973 4294956304 18446744073709551615 134581297 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 103039 101029 410 171 0 101964 0
Current children cumulated CPU time (s) 339.06
Current children cumulated vsize (KiB) 412156

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=797976/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=478440 CPUtime=398.51
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4194304 122210 657 0 0 39789 62 0 0 25 0 1 0 57803508 489922560 117769 996147200 134512640 135215973 4294956304 18446744073709551615 134902713 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 119610 117769 410 171 0 118535 0
Current children cumulated CPU time (s) 398.51
Current children cumulated vsize (KiB) 478440

[startup+462.302 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=656536/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=585688 CPUtime=457.94
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4194304 149240 657 0 0 45719 75 0 0 25 0 1 0 57803508 599744512 144799 996147200 134512640 135215973 4294956304 18446744073709551615 134612322 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 146422 144799 410 171 0 145347 0
Current children cumulated CPU time (s) 457.94
Current children cumulated vsize (KiB) 585688

[startup+522.302 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=548120/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=664956 CPUtime=517.39
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4194304 169248 657 0 0 51652 87 0 0 25 0 1 0 57803508 680914944 164807 996147200 134512640 135215973 4294956304 18446744073709551615 134616954 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 166239 164807 410 171 0 165164 0
Current children cumulated CPU time (s) 517.39
Current children cumulated vsize (KiB) 664956

[startup+582.302 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=436376/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=749748 CPUtime=576.82
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4194304 190641 657 0 0 57586 96 0 0 25 0 1 0 57803508 767741952 184151 996147200 134512640 135215973 4294956304 18446744073709551615 134591047 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 187437 184151 410 171 0 186362 0
Current children cumulated CPU time (s) 576.82
Current children cumulated vsize (KiB) 749748

[startup+642.301 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=336920/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=817524 CPUtime=636.26
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4194304 207760 657 0 0 63521 105 0 0 25 0 1 0 57803508 837144576 201270 996147200 134512640 135215973 4294956304 18446744073709551615 135094975 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 204381 201270 410 171 0 203306 0
Current children cumulated CPU time (s) 636.26
Current children cumulated vsize (KiB) 817524

[startup+702.302 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=237912/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=887132 CPUtime=695.7
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4194304 225340 657 0 0 69455 115 0 0 25 0 1 0 57803508 908423168 218850 996147200 134512640 135215973 4294956304 18446744073709551615 134648244 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 221783 218850 410 171 0 220708 0
Current children cumulated CPU time (s) 695.7
Current children cumulated vsize (KiB) 887132



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+730.801 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=186264/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=921776 CPUtime=723.93
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4194304 234116 657 0 0 72272 121 0 0 25 0 1 0 57803508 943898624 227626 996147200 134512640 135215973 4294956304 18446744073709551615 134907454 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 230444 227626 410 171 0 229369 0
Current children cumulated CPU time (s) 723.93
Current children cumulated vsize (KiB) 921776

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

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

[startup+730.906 s]
/proc/loadavg: 1.99 1.98 2.00 3/73 16500
/proc/meminfo: memFree=186264/2055920 swapFree=4192812/4192956
[pid=16495] ppid=16493 vsize=0 CPUtime=724.03
/proc/16495/stat : 16495 (pcs.big) R 16493 16495 14685 0 -1 4195332 234116 657 0 0 72272 131 0 0 25 0 1 0 57803508 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/16495/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 724.03
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 730.951
CPU time (s): 724.089
CPU user time (s): 722.725
CPU system time (s): 1.36379
CPU usage (%): 99.0612
Max. virtual memory (cumulated for all children) (KiB): 921776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 722.725
system time used= 1.36379
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234773
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= 19
involuntary context switches= 14194

runsolver used 1.11483 second user time and 2.20466 second system time

The end

Launcher Data 

Begin job on node67 at 2009-07-16 03:23:28
IDJOB=2068920
IDBENCH=54956
IDSOLVER=733
FILE ID=node67/2068920-1247707408
PBS_JOBID= 9521180
Free space on /tmp= 66332 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/tdsp/normalized-C3-2-30.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2068920-1247707408/watcher-2068920-1247707408 -o /tmp/evaluation-result-2068920-1247707408/solver-2068920-1247707408 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1835870042 HOME/instance-2068920-1247707408.xml

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

MD5SUM BENCH= 580d1f4298858f6e76af46cd173ebb13
RANDOM SEED=1835870042

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.239
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.239
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:       1604736 kB
Buffers:         63220 kB
Cached:         255496 kB
SwapCached:          0 kB
Active:          94780 kB
Inactive:       283444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1604736 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1844 kB
Writeback:           0 kB
Mapped:          71072 kB
Slab:            58288 kB
Committed_AS:   518612 kB
PageTables:       1868 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= 66332 MiB
End job on node67 at 2009-07-16 03:35:41