Trace number 1554004

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
SATzilla2009_C 2009-03-22? (exit code) 1199.63 1200.26

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitsrotate/
countbitsrotate128.cnf
MD5SUMf21954c654ab1cfd9e2c1aa6fdf49c58
Bench CategoryAPPLICATION (applications instances)
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 variables138559
Number of clauses415292
Sum of the clauses size969012
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2276860
Number of clauses of size 3138430
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

47.67/47.87	c SATzilla is building models for class 2
47.67/47.87	c run presolver march_dl2004 for 5 seconds ... 
47.67/47.87	c Bin: Executing march_dl2004
47.67/47.87	c spawning binary file with 5 seconds ...
47.67/47.87	c child exit by a signal
47.67/47.87	c march_dl2004 returned code 137.
47.67/47.87	c run presolver mxc-sr08 for 5 seconds ... 
47.67/47.87	c Bin: Executing mxc-sr08
47.67/47.87	c spawning binary file with 5 seconds ...
47.67/47.87	c child exit by a signal
47.67/47.87	c mxc-sr08 returned code 137.
47.67/47.87	c Orignal number of varibales is 138559, number of clauses is 415292 
47.67/47.87	c predicted feature computation time is 32.708273 
47.67/47.87	c Bin: Executing satelite
47.67/47.87	c spawning binary file with 240 seconds ...
47.67/47.87	c child exited successfully
47.67/47.87	c satzilla computing base features
47.67/47.87	c Number of variabe is: 76931, Number of clause is : 316116 
47.67/47.87	c Initializing...
47.67/47.87	c satzilla compute diameter ...
47.67/47.87	c start diameter features ...
47.67/47.87	c satzilla doing clause learning
47.67/47.87	c start clause learning features ...
47.67/47.87	c Bin: Executing zchaff07
47.67/47.87	c spawning binary file with 2 seconds ...
47.67/47.87	c child exit by a signal
47.67/47.87	c satzilla doing survey propogation probe
47.67/47.87	c do survay propogation for 2 second ...
47.67/47.87	c satzilla doing local search probe
47.67/47.87	c satzilla doing lobjois search-space size estimate
47.67/47.87	c features are:138559 415292 76931 316116 0.801081 0.313733 0.243363 0.362022 0.798705 1.14329 3.64262e-05 0.248553 2.59973e-05 0.000636934 0.94386 0.319576 0.880076 3.64262e-05 1.81717 2.84706e-05 0.00165129 1.36185 0.0883189 0.0612511 0 0.866667 1.34263 1.53033e-05 2.13809 3.1634e-06 0.000812993 1.21893 0.498782 2.6568e-05 1.87635 1.5817e-05 0.00123689 47 0.00590107 46 48 0.324508 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.134769 0.741422 0 1 0.320379 0.0724537 0.125018 0.0724537 0.0936083 0.0330013 0.49845 0 0.278829 0.0465705 0.010005 0.0465594 0.0210565 0.0255165 40781 0 0 0 0 0 0 5.89015 0 5.13349 0 0.0549603 0.138535 
47.67/47.87	c satzilla's ranking:
47.67/47.87	c 1) zchaff_rand: 8.493031
47.67/47.87	c 2) minisat20SAT07: 2.956855
47.67/47.87	c 3) minisat20: 2.037837
47.67/47.87	c 4) march_dl2004: 0.933106
47.67/47.87	c 5) vallst: -0.357286
47.67/47.87	c 6) mxc-sr08: -6.187509
47.67/47.87	c 7) tts-4-0: -14.874801
47.67/47.87	c 8) SATenstein: -10000.000000
47.67/47.87	c 9) gnovelty+: -10000.000000
47.67/47.87	c 10) adaptg2wsat+: -10000.000000
47.67/47.87	c 11) adaptg2wsat0: -10000.000000
47.67/47.87	c 12) picosat846: -10000.000000
47.67/47.87	c 13) kcnfs04SAT07: -10000.000000
47.67/47.87	c satzilla running zchaff_rand ... 
1199.55/1200.24	c Bin: Executing zchaff_rand
1199.55/1200.24	c spawning binary file with 1152 seconds ...
1199.55/1200.24	c child exit by a signal
1199.55/1200.24	c zchaff_rand returned code 137.
1199.55/1200.24	c satzilla running minisat20SAT07 ... 
1199.55/1200.24	c Bin: Executing minisat20SAT07
1199.55/1200.24	c minisat20SAT07 returned code 1.
1199.55/1200.24	c satzilla running minisat20 ... 
1199.55/1200.24	c Bin: Executing minisat20
1199.55/1200.24	c minisat20 returned code 1.
1199.55/1200.24	c satzilla running march_dl2004 ... 
1199.55/1200.24	c Bin: Executing march_dl2004
1199.55/1200.24	c march_dl2004 returned code 1.
1199.55/1200.24	c satzilla running vallst ... 
1199.55/1200.24	c Bin: Executing vallst
1199.55/1200.24	c vallst returned code 1.
1199.55/1200.24	c satzilla running mxc-sr08 ... 
1199.55/1200.24	c Bin: Executing mxc-sr08
1199.55/1200.24	c mxc-sr08 returned code 1.
1199.55/1200.24	c satzilla running tts-4-0 ... 
1199.55/1200.24	c Bin: Executing tts-4-0
1199.55/1200.24	c tts-4-0 returned code 1.
1199.55/1200.24	c satzilla running SATenstein ... 
1199.55/1200.24	c Bin: Executing SATenstein
1199.55/1200.24	c SATenstein returned code 1.
1199.55/1200.24	c satzilla running gnovelty+ ... 
1199.55/1200.24	c Bin: Executing gnovelty+
1199.55/1200.24	c gnovelty+ returned code 1.
1199.55/1200.24	c satzilla running adaptg2wsat+ ... 
1199.55/1200.24	c Bin: Executing adaptg2wsat+
1199.55/1200.24	c adaptg2wsat+ returned code 1.
1199.55/1200.24	c satzilla running adaptg2wsat0 ... 
1199.55/1200.24	c Bin: Executing adaptg2wsat0
1199.55/1200.24	c adaptg2wsat0 returned code 1.
1199.55/1200.24	c satzilla running picosat846 ... 
1199.55/1200.24	c Bin: Executing picosat846
1199.55/1200.24	c picosat846 returned code 1.
1199.55/1200.24	c satzilla running kcnfs04SAT07 ... 
1199.55/1200.24	c Bin: Executing kcnfs04SAT07
1199.55/1200.24	c kcnfs04SAT07 returned code 1.
1199.55/1200.24	c ERROR: All Failed! 
1199.55/1200.24	c SATZILLA_TIME=1199.800000

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/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-1554004-1238721748/watcher-1554004-1238721748 -o /tmp/evaluation-result-1554004-1238721748/solver-1554004-1238721748 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1554004-1238721748.cnf 

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: 1.00 1.00 1.00 3/64 11164
/proc/meminfo: memFree=1077160/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=2056 CPUtime=0
/proc/11164/stat : 11164 (SATzilla2009_C) R 11162 11164 10429 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 1144840225 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135543087 0 0 4096 0 0 0 0 17 0 0 0
/proc/11164/statm: 514 112 96 399 0 111 0
[pid=11165] ppid=11164 vsize=6860 CPUtime=0
/proc/11165/stat : 11165 (march_dl2004) R 11164 11164 10429 0 -1 4194304 612 0 0 0 0 0 0 0 18 0 1 0 1144840225 7024640 607 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11165/statm: 1715 610 49 118 0 1594 0

[startup+0.0490559 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11164
/proc/meminfo: memFree=1077160/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=2056 CPUtime=0
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1144840225 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/11164/statm: 514 112 96 399 0 111 0
[pid=11165] ppid=11164 vsize=12712 CPUtime=0.04
/proc/11165/stat : 11165 (march_dl2004) R 11164 11164 10429 0 -1 4194304 2586 0 0 0 3 1 0 0 19 0 1 0 1144840225 13017088 2581 1992294400 134512640 134996440 4294956176 18446744073709551615 134724680 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11165/statm: 3178 2581 50 118 0 3057 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14768

[startup+0.102059 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11164
/proc/meminfo: memFree=1077160/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=2056 CPUtime=0
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1144840225 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/11164/statm: 514 112 96 399 0 111 0
[pid=11165] ppid=11164 vsize=13372 CPUtime=0.09
/proc/11165/stat : 11165 (march_dl2004) R 11164 11164 10429 0 -1 4194304 2783 0 0 0 8 1 0 0 19 0 1 0 1144840225 13692928 2778 1992294400 134512640 134996440 4294956176 18446744073709551615 134778272 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11165/statm: 3343 2778 50 118 0 3222 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15428

[startup+0.302086 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11164
/proc/meminfo: memFree=1077160/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=2056 CPUtime=0
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1144840225 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/11164/statm: 514 112 96 399 0 111 0
[pid=11165] ppid=11164 vsize=15748 CPUtime=0.29
/proc/11165/stat : 11165 (march_dl2004) R 11164 11164 10429 0 -1 4194304 3514 0 0 0 28 1 0 0 21 0 1 0 1144840225 16125952 3509 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11165/statm: 3937 3509 50 118 0 3816 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17804

[startup+0.70112 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 11164
/proc/meminfo: memFree=1077160/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=2056 CPUtime=0
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1144840225 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/11164/statm: 514 112 96 399 0 111 0
[pid=11165] ppid=11164 vsize=38944 CPUtime=0.69
/proc/11165/stat : 11165 (march_dl2004) R 11164 11164 10429 0 -1 4194304 8598 0 0 0 65 4 0 0 25 0 1 0 1144840225 39878656 8048 1992294400 134512640 134996440 4294956176 18446744073709551615 134651461 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11165/statm: 9736 8048 52 118 0 9615 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41000

[startup+1.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11166
/proc/meminfo: memFree=1046360/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=2056 CPUtime=0
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1144840225 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/11164/statm: 514 112 96 399 0 111 0
[pid=11165] ppid=11164 vsize=35828 CPUtime=1.49
/proc/11165/stat : 11165 (march_dl2004) R 11164 11164 10429 0 -1 4194304 15303 0 0 0 141 8 0 0 25 0 1 0 1144840225 36687872 7273 1992294400 134512640 134996440 4294956176 18446744073709551615 134544567 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11165/statm: 8957 7273 55 118 0 8836 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37884

[startup+3.10136 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11166
/proc/meminfo: memFree=1044248/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=2056 CPUtime=0
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 1144840225 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/11164/statm: 514 112 96 399 0 111 0
[pid=11165] ppid=11164 vsize=95380 CPUtime=3.09
/proc/11165/stat : 11165 (march_dl2004) R 11164 11164 10429 0 -1 4194304 51352 0 0 0 283 26 0 0 25 0 1 0 1144840225 97669120 20855 1992294400 134512640 134996440 4294956176 18446744073709551615 134551720 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11165/statm: 23845 20856 64 118 0 23724 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 97436

[startup+6.30169 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11167
/proc/meminfo: memFree=1027160/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=2056 CPUtime=5.01
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 152 55917 0 0 0 0 469 32 16 0 1 0 1144840225 2105344 121 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/11164/statm: 514 121 104 399 0 111 0
[pid=11167] ppid=11164 vsize=76808 CPUtime=1.26
/proc/11167/stat : 11167 (mxc-sr08) R 11164 11164 10429 0 -1 4194304 18958 0 0 0 120 6 0 0 25 0 1 0 1144840728 78651392 17171 1992294400 134512640 135078026 4294956176 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11167/statm: 19202 17171 55 138 0 19061 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 78864

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11168
/proc/meminfo: memFree=1003224/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=2056 CPUtime=10.01
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 179 76678 0 0 0 0 961 40 19 0 1 0 1144840225 2105344 138 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/11164/statm: 514 138 120 399 0 111 0
[pid=11168] ppid=11164 vsize=82996 CPUtime=2.64
/proc/11168/stat : 11168 (satelite) R 11164 11164 10429 0 -1 4194304 19157 0 0 0 251 13 0 0 25 0 1 0 1144841229 84987904 17247 1992294400 134512640 135037501 4294956160 18446744073709551615 134774053 0 0 8392704 3 0 0 0 17 1 0 0
/proc/11168/statm: 20749 17247 68 128 0 20618 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 85052

[startup+25.5026 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 11168
/proc/meminfo: memFree=1040096/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=34420 CPUtime=25.4
/proc/11164/stat : 11164 (SATzilla2009_C) R 11162 11164 10429 0 -1 4194304 8037 95836 0 0 1243 3 1237 57 25 0 1 0 1144840225 35246080 7988 1992294400 134512640 136149437 4294956208 18446744073709551615 134535201 0 0 4096 0 0 0 0 17 1 0 0
/proc/11164/statm: 8605 7988 135 399 0 8202 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 34420

[startup+51.1022 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11170
/proc/meminfo: memFree=994712/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=38296 CPUtime=47.75
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 19336 106233 0 0 3270 10 1430 65 25 0 1 0 1144840225 39215104 9205 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11164/statm: 9574 9205 220 399 0 9171 0
[pid=11170] ppid=11164 vsize=416912 CPUtime=3.21
/proc/11170/stat : 11170 (zchaff_rand) R 11164 11164 10429 0 -1 4194304 14433 0 0 0 312 9 0 0 25 0 1 0 1144845012 426917888 10317 1992294400 134512640 135365884 4294956160 18446744073709551615 135132785 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11170/statm: 104228 10317 112 208 0 104000 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 455208

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11170
/proc/meminfo: memFree=959320/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=38296 CPUtime=47.75
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 19336 106233 0 0 3270 10 1430 65 25 0 1 0 1144840225 39215104 9205 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11164/statm: 9574 9205 220 399 0 9171 0
[pid=11170] ppid=11164 vsize=463884 CPUtime=54.39
/proc/11170/stat : 11170 (zchaff_rand) R 11164 11164 10429 0 -1 4194304 48721 0 0 0 5397 42 0 0 25 0 1 0 1144845012 475017216 19088 1992294400 134512640 135365884 4294956160 18446744073709551615 134542756 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11170/statm: 115971 19088 112 208 0 115743 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 502180

[startup+162.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11170
/proc/meminfo: memFree=940888/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=38296 CPUtime=47.75
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 19336 106233 0 0 3270 10 1430 65 25 0 1 0 1144840225 39215104 9205 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11164/statm: 9574 9205 220 399 0 9171 0
[pid=11170] ppid=11164 vsize=491772 CPUtime=114.36
/proc/11170/stat : 11170 (zchaff_rand) R 11164 11164 10429 0 -1 4194304 78932 0 0 0 11365 71 0 0 25 0 1 0 1144845012 503574528 23782 1992294400 134512640 135365884 4294956160 18446744073709551615 134542816 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11170/statm: 122943 23782 112 208 0 122715 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 530068

[startup+222.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11170
/proc/meminfo: memFree=929176/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=38296 CPUtime=47.75
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 19336 106233 0 0 3270 10 1430 65 25 0 1 0 1144840225 39215104 9205 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11164/statm: 9574 9205 220 399 0 9171 0
[pid=11170] ppid=11164 vsize=502424 CPUtime=174.32
/proc/11170/stat : 11170 (zchaff_rand) R 11164 11164 10429 0 -1 4194304 102802 0 0 0 17335 97 0 0 25 0 1 0 1144845012 514482176 26593 1992294400 134512640 135365884 4294956160 18446744073709551615 134556016 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11170/statm: 125606 26593 112 208 0 125378 0
Current children cumulated CPU time (s) 222.07
Current children cumulated vsize (KiB) 540720

[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11170
/proc/meminfo: memFree=919576/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=38296 CPUtime=47.75
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 19336 106233 0 0 3270 10 1430 65 25 0 1 0 1144840225 39215104 9205 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11164/statm: 9574 9205 220 399 0 9171 0
[pid=11170] ppid=11164 vsize=525404 CPUtime=234.3
/proc/11170/stat : 11170 (zchaff_rand) R 11164 11164 10429 0 -1 4194304 123912 0 0 0 23310 120 0 0 25 0 1 0 1144845012 538013696 28955 1992294400 134512640 135365884 4294956160 18446744073709551615 134542837 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11170/statm: 131351 28955 112 208 0 131123 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 563700

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11170
/proc/meminfo: memFree=913880/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=38296 CPUtime=47.75
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 19336 106233 0 0 3270 10 1430 65 25 0 1 0 1144840225 39215104 9205 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11164/statm: 9574 9205 220 399 0 9171 0
[pid=11170] ppid=11164 vsize=530888 CPUtime=294.27
/proc/11170/stat : 11170 (zchaff_rand) R 11164 11164 10429 0 -1 4194304 141124 0 0 0 29287 140 0 0 25 0 1 0 1144845012 543629312 30446 1992294400 134512640 135365884 4294956160 18446744073709551615 134536404 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11170/statm: 132722 30446 112 208 0 132494 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 569184


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


[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11170
/proc/meminfo: memFree=868312/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=38296 CPUtime=47.75
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 19336 106233 0 0 3270 10 1430 65 25 0 1 0 1144840225 39215104 9205 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11164/statm: 9574 9205 220 399 0 9171 0
[pid=11170] ppid=11164 vsize=566252 CPUtime=774.06
/proc/11170/stat : 11170 (zchaff_rand) R 11164 11164 10429 0 -1 4194304 266896 0 0 0 77137 269 0 0 25 0 1 0 1144845012 579842048 41740 1992294400 134512640 135365884 4294956160 18446744073709551615 134556087 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11170/statm: 141563 41740 112 208 0 141335 0
Current children cumulated CPU time (s) 821.81
Current children cumulated vsize (KiB) 604548

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11170
/proc/meminfo: memFree=863384/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=38296 CPUtime=47.75
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 19336 106233 0 0 3270 10 1430 65 25 0 1 0 1144840225 39215104 9205 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11164/statm: 9574 9205 220 399 0 9171 0
[pid=11170] ppid=11164 vsize=602596 CPUtime=834.04
/proc/11170/stat : 11170 (zchaff_rand) R 11164 11164 10429 0 -1 4194304 279818 0 0 0 83120 284 0 0 25 0 1 0 1144845012 617058304 42972 1992294400 134512640 135365884 4294956160 18446744073709551615 134544070 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11170/statm: 150649 42972 112 208 0 150421 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 640892

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11170
/proc/meminfo: memFree=860632/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=38296 CPUtime=47.75
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 19336 106233 0 0 3270 10 1430 65 25 0 1 0 1144840225 39215104 9205 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11164/statm: 9574 9205 220 399 0 9171 0
[pid=11170] ppid=11164 vsize=604608 CPUtime=894.02
/proc/11170/stat : 11170 (zchaff_rand) R 11164 11164 10429 0 -1 4194304 291530 0 0 0 89104 298 0 0 25 0 1 0 1144845012 619118592 43655 1992294400 134512640 135365884 4294956160 18446744073709551615 135090403 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11170/statm: 151152 43655 112 208 0 150924 0
Current children cumulated CPU time (s) 941.77
Current children cumulated vsize (KiB) 642904

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11170
/proc/meminfo: memFree=854680/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=38296 CPUtime=47.75
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 19336 106233 0 0 3270 10 1430 65 25 0 1 0 1144840225 39215104 9205 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11164/statm: 9574 9205 220 399 0 9171 0
[pid=11170] ppid=11164 vsize=608520 CPUtime=953.99
/proc/11170/stat : 11170 (zchaff_rand) R 11164 11164 10429 0 -1 4194304 305110 0 0 0 95087 312 0 0 25 0 1 0 1144845012 623124480 45156 1992294400 134512640 135365884 4294956160 18446744073709551615 134544096 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11170/statm: 152130 45156 112 208 0 151902 0
Current children cumulated CPU time (s) 1001.74
Current children cumulated vsize (KiB) 646816

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11170
/proc/meminfo: memFree=851928/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=38296 CPUtime=47.75
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 19336 106233 0 0 3270 10 1430 65 25 0 1 0 1144840225 39215104 9205 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11164/statm: 9574 9205 220 399 0 9171 0
[pid=11170] ppid=11164 vsize=610208 CPUtime=1013.96
/proc/11170/stat : 11170 (zchaff_rand) R 11164 11164 10429 0 -1 4194304 317183 0 0 0 101071 325 0 0 25 0 1 0 1144845012 624852992 45825 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11170/statm: 152552 45825 112 208 0 152324 0
Current children cumulated CPU time (s) 1061.71
Current children cumulated vsize (KiB) 648504

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11170
/proc/meminfo: memFree=847768/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=38296 CPUtime=47.75
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 19336 106233 0 0 3270 10 1430 65 25 0 1 0 1144840225 39215104 9205 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11164/statm: 9574 9205 220 399 0 9171 0
[pid=11170] ppid=11164 vsize=613548 CPUtime=1073.93
/proc/11170/stat : 11170 (zchaff_rand) R 11164 11164 10429 0 -1 4194304 329225 0 0 0 107056 337 0 0 25 0 1 0 1144845012 628273152 46915 1992294400 134512640 135365884 4294956160 18446744073709551615 134544070 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11170/statm: 153387 46915 112 208 0 153159 0
Current children cumulated CPU time (s) 1121.68
Current children cumulated vsize (KiB) 651844

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11170
/proc/meminfo: memFree=843544/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=38296 CPUtime=47.75
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 19336 106233 0 0 3270 10 1430 65 25 0 1 0 1144840225 39215104 9205 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11164/statm: 9574 9205 220 399 0 9171 0
[pid=11170] ppid=11164 vsize=616844 CPUtime=1133.9
/proc/11170/stat : 11170 (zchaff_rand) R 11164 11164 10429 0 -1 4194304 340963 0 0 0 113040 350 0 0 25 0 1 0 1144845012 631648256 47937 1992294400 134512640 135365884 4294956160 18446744073709551615 134542837 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11170/statm: 154211 47937 112 208 0 153983 0
Current children cumulated CPU time (s) 1181.65
Current children cumulated vsize (KiB) 655140

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

[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11170
/proc/meminfo: memFree=843288/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=38296 CPUtime=47.75
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 19336 106233 0 0 3270 10 1430 65 25 0 1 0 1144840225 39215104 9205 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11164/statm: 9574 9205 220 399 0 9171 0
[pid=11170] ppid=11164 vsize=616988 CPUtime=1141.9
/proc/11170/stat : 11170 (zchaff_rand) R 11164 11164 10429 0 -1 4194304 342438 0 0 0 113838 352 0 0 25 0 1 0 1144845012 631795712 47982 1992294400 134512640 135365884 4294956160 18446744073709551615 134544055 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11170/statm: 154247 47982 112 208 0 154019 0
Current children cumulated CPU time (s) 1189.65
Current children cumulated vsize (KiB) 655284

[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11170
/proc/meminfo: memFree=843096/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=38296 CPUtime=47.75
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 19336 106233 0 0 3270 10 1430 65 25 0 1 0 1144840225 39215104 9205 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11164/statm: 9574 9205 220 399 0 9171 0
[pid=11170] ppid=11164 vsize=617148 CPUtime=1148.31
/proc/11170/stat : 11170 (zchaff_rand) R 11164 11164 10429 0 -1 4194304 343571 0 0 0 114477 354 0 0 25 0 1 0 1144845012 631959552 48044 1992294400 134512640 135365884 4294956160 18446744073709551615 134543558 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11170/statm: 154287 48044 112 208 0 154059 0
Current children cumulated CPU time (s) 1196.06
Current children cumulated vsize (KiB) 655444

[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11170
/proc/meminfo: memFree=842968/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=38296 CPUtime=47.75
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 19336 106233 0 0 3270 10 1430 65 25 0 1 0 1144840225 39215104 9205 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11164/statm: 9574 9205 220 399 0 9171 0
[pid=11170] ppid=11164 vsize=617152 CPUtime=1149.9
/proc/11170/stat : 11170 (zchaff_rand) R 11164 11164 10429 0 -1 4194304 343799 0 0 0 114636 354 0 0 25 0 1 0 1144845012 631963648 48095 1992294400 134512640 135365884 4294956160 18446744073709551615 134542930 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11170/statm: 154288 48095 112 208 0 154060 0
Current children cumulated CPU time (s) 1197.65
Current children cumulated vsize (KiB) 655448

[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11170
/proc/meminfo: memFree=842776/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=38296 CPUtime=47.75
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 19336 106233 0 0 3270 10 1430 65 25 0 1 0 1144840225 39215104 9205 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11164/statm: 9574 9205 220 399 0 9171 0
[pid=11170] ppid=11164 vsize=617176 CPUtime=1150.7
/proc/11170/stat : 11170 (zchaff_rand) R 11164 11164 10429 0 -1 4194304 344001 0 0 0 114716 354 0 0 25 0 1 0 1144845012 631988224 48122 1992294400 134512640 135365884 4294956160 18446744073709551615 134544070 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11170/statm: 154294 48122 112 208 0 154066 0
Current children cumulated CPU time (s) 1198.45
Current children cumulated vsize (KiB) 655472

[startup+1199.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11170
/proc/meminfo: memFree=842776/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=38296 CPUtime=47.75
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 19336 106233 0 0 3270 10 1430 65 25 0 1 0 1144840225 39215104 9205 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11164/statm: 9574 9205 220 399 0 9171 0
[pid=11170] ppid=11164 vsize=617176 CPUtime=1151.5
/proc/11170/stat : 11170 (zchaff_rand) R 11164 11164 10429 0 -1 4194304 344277 0 0 0 114796 354 0 0 25 0 1 0 1144845012 631988224 48127 1992294400 134512640 135365884 4294956160 18446744073709551615 134544055 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11170/statm: 154294 48127 112 208 0 154066 0
Current children cumulated CPU time (s) 1199.25
Current children cumulated vsize (KiB) 655472

[startup+1200.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11170
/proc/meminfo: memFree=842712/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=38296 CPUtime=47.75
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 19336 106233 0 0 3270 10 1430 65 25 0 1 0 1144840225 39215104 9205 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11164/statm: 9574 9205 220 399 0 9171 0
[pid=11170] ppid=11164 vsize=617176 CPUtime=1151.7
/proc/11170/stat : 11170 (zchaff_rand) R 11164 11164 10429 0 -1 4194304 344279 0 0 0 114816 354 0 0 25 0 1 0 1144845012 631988224 48129 1992294400 134512640 135365884 4294956160 18446744073709551615 134543553 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11170/statm: 154294 48129 112 208 0 154066 0
Current children cumulated CPU time (s) 1199.45
Current children cumulated vsize (KiB) 655472

[startup+1200.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11170
/proc/meminfo: memFree=842712/2055920 swapFree=4176444/4192956
[pid=11164] ppid=11162 vsize=38296 CPUtime=47.75
/proc/11164/stat : 11164 (SATzilla2009_C) S 11162 11164 10429 0 -1 4194304 19336 106233 0 0 3270 10 1430 65 25 0 1 0 1144840225 39215104 9205 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/11164/statm: 9574 9205 220 399 0 9171 0
[pid=11170] ppid=11164 vsize=617176 CPUtime=1151.8
/proc/11170/stat : 11170 (zchaff_rand) R 11164 11164 10429 0 -1 4194304 344279 0 0 0 114826 354 0 0 25 0 1 0 1144845012 631988224 48129 1992294400 134512640 135365884 4294956160 18446744073709551615 134542816 0 0 8392704 0 0 0 0 17 0 0 0
/proc/11170/statm: 154294 48129 112 208 0 154066 0
Current children cumulated CPU time (s) 1199.55
Current children cumulated vsize (KiB) 655472

Child status: 17
Real time (s): 1200.26
CPU time (s): 1199.63
CPU user time (s): 1195.29
CPU system time (s): 4.34234
CPU usage (%): 99.948
Max. virtual memory (cumulated for all children) (KiB): 656248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1195.29
system time used= 4.34234
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 469864
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= 16
involuntary context switches= 4286

runsolver used 0.990849 second user time and 3.38448 second system time

The end

Launcher Data 

Begin job on node27 at 2009-04-03 03:22:28
IDJOB=1554004
IDBENCH=70772
IDSOLVER=527
FILE ID=node27/1554004-1238721748
PBS_JOBID= 9085299
Free space on /tmp= 65556 MiB

SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate128.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1554004-1238721748/watcher-1554004-1238721748 -o /tmp/evaluation-result-1554004-1238721748/solver-1554004-1238721748 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/SATzilla2009_C HOME/instance-1554004-1238721748.cnf

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

MD5SUM BENCH= f21954c654ab1cfd9e2c1aa6fdf49c58
RANDOM SEED=1112121313

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:       1077704 kB
Buffers:         99800 kB
Cached:         771716 kB
SwapCached:       9492 kB
Active:         190932 kB
Inactive:       691744 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1077704 kB
SwapTotal:     4192956 kB
SwapFree:      4176444 kB
Dirty:           38496 kB
Writeback:           0 kB
Mapped:          16848 kB
Slab:            81532 kB
Committed_AS:  3129092 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= 65524 MiB
End job on node27 at 2009-04-03 03:42:29