Trace number 1774140

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_I 2009-03-22? (exit code) 9998.06 10003

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-24-s100.cnf
MD5SUM107f2922072d64498e09af3270c7b9c3
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 variables31821
Number of clauses95735
Sum of the clauses size225739
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 261338
Number of clauses of size 334333
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

23.46/23.59	c SATzilla is building models for class 3
23.46/23.59	c run presolver mxc-sr08 for 10 seconds ... 
23.46/23.59	c Bin: Executing mxc-sr08
23.46/23.59	c spawning binary file with 10 seconds ...
23.46/23.59	c child exit by a signal
23.46/23.59	c mxc-sr08 returned code 137.
23.46/23.59	c run presolver picosat846 for 5 seconds ... 
23.46/23.59	c Bin: Executing picosat846
23.46/23.59	c spawning binary file with 5 seconds ...
23.46/23.59	c child exit by a signal
23.46/23.59	c picosat846 returned code 137.
23.46/23.59	c Orignal number of varibales is 31821, number of clauses is 95735 
23.46/23.59	c predicted feature computation time is 1.866871 
23.46/23.59	c Bin: Executing satelite
23.46/23.59	c spawning binary file with 240 seconds ...
23.46/23.59	c child exited successfully
23.46/23.59	c satzilla computing base features
23.46/23.59	c Number of variabe is: 14170, Number of clause is : 58933 
23.46/23.59	c Initializing...
23.46/23.59	c satzilla doing clause learning
23.46/23.59	c start clause learning features ...
23.46/23.59	c Bin: Executing zchaff07
23.46/23.59	c spawning binary file with 2 seconds ...
23.46/23.59	c child exit by a signal
23.46/23.59	c satzilla doing survey propogation probe
23.46/23.59	c do survay propogation for 2 second ...
23.46/23.59	c satzilla doing local search probe
23.46/23.59	c features are:31821 95735 14170 58933 1.24566 0.624472 0.240443 0.193187 1.53386 1.14349 0.000210917 1.08312 0.000141143 0.00232886 0.990637 0.656423 0.939049 0.000210917 0.80108 0.000118779 0.00188349 2.47298 0.183517 0.153735 0 0.777778 2.37247 0.000143403 0.93576 5.09053e-05 0.00147625 1.8746 0.889739 0.000390204 0.759608 6.78737e-05 0.00205318 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.751299 0.341506 1.10793e-05 0.971479 0.925285 0.239914 0.900852 0.747308 0.852241 0.0329684 0.565054 1.55644e-10 0.172213 0.0560017 0.0134772 0.0425251 0.0214552 0.0309594 1097.24 0.429487 3953.53 0.257942 4199 4142 4262 0.92509 0.595225 0.962152 0.0972688 
23.46/23.59	c satzilla's ranking:
23.46/23.59	c 1) mxc-sr08: 3.564438
23.46/23.59	c 2) picosat846: 2.814627
23.46/23.59	c 3) minisat20SAT07: 2.067334
23.46/23.59	c 4) zchaff_rand: 2.030310
23.46/23.59	c 5) march_dl2004: 0.237606
23.46/23.59	c 6) SATenstein: -10000.000000
23.46/23.59	c 7) gnovelty+: -10000.000000
23.46/23.59	c 8) adaptg2wsat+: -10000.000000
23.46/23.59	c 9) adaptg2wsat0: -10000.000000
23.46/23.59	c 10) tts-4-0: -10000.000000
23.46/23.59	c 11) vallst: -10000.000000
23.46/23.59	c 12) minisat20: -10000.000000
23.46/23.59	c 13) kcnfs04SAT07: -10000.000000
23.46/23.59	c satzilla running mxc-sr08 ... 
9997.94/10002.98	c Bin: Executing mxc-sr08
9997.94/10002.98	c spawning binary file with 9976 seconds ...
9997.94/10002.98	c child exit by a signal
9997.94/10002.98	c mxc-sr08 returned code 137.
9997.94/10002.98	c satzilla running picosat846 ... 
9997.94/10002.98	c Bin: Executing picosat846
9997.94/10002.98	c picosat846 returned code 1.
9997.94/10002.98	c satzilla running minisat20SAT07 ... 
9997.94/10002.98	c Bin: Executing minisat20SAT07
9997.94/10002.98	c minisat20SAT07 returned code 1.
9997.94/10002.98	c satzilla running zchaff_rand ... 
9997.94/10002.98	c Bin: Executing zchaff_rand
9997.94/10002.98	c zchaff_rand returned code 1.
9997.94/10002.98	c satzilla running march_dl2004 ... 
9997.94/10002.98	c Bin: Executing march_dl2004
9997.94/10002.98	c march_dl2004 returned code 1.
9997.94/10002.98	c satzilla running SATenstein ... 
9997.94/10002.98	c Bin: Executing SATenstein
9997.94/10002.98	c SATenstein returned code 1.
9997.94/10002.98	c satzilla running gnovelty+ ... 
9997.94/10002.98	c Bin: Executing gnovelty+
9997.94/10002.98	c gnovelty+ returned code 1.
9997.94/10002.98	c satzilla running adaptg2wsat+ ... 
9997.94/10002.98	c Bin: Executing adaptg2wsat+
9997.94/10002.98	c adaptg2wsat+ returned code 1.
9997.94/10002.98	c satzilla running adaptg2wsat0 ... 
9997.94/10002.98	c Bin: Executing adaptg2wsat0
9997.94/10002.98	c adaptg2wsat0 returned code 1.
9997.94/10002.98	c satzilla running tts-4-0 ... 
9997.94/10002.98	c Bin: Executing tts-4-0
9997.94/10002.98	c tts-4-0 returned code 1.
9997.94/10002.98	c satzilla running vallst ... 
9997.94/10002.98	c Bin: Executing vallst
9997.94/10002.98	c vallst returned code 1.
9997.94/10002.98	c satzilla running minisat20 ... 
9997.94/10002.99	c Bin: Executing minisat20
9997.94/10002.99	c minisat20 returned code 1.
9997.94/10002.99	c satzilla running kcnfs04SAT07 ... 
9997.94/10002.99	c Bin: Executing kcnfs04SAT07
9997.94/10002.99	c kcnfs04SAT07 returned code 1.
9997.94/10002.99	c ERROR: All Failed! 
9997.94/10002.99	c SATZILLA_TIME=9999.560000

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-1774140-1241352841/watcher-1774140-1241352841 -o /tmp/evaluation-result-1774140-1241352841/solver-1774140-1241352841 -C 10000 -W 12000 -M 1800 HOME/SATzilla2009_I HOME/instance-1774140-1241352841.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.99 0.99 3/64 3418
/proc/meminfo: memFree=1282512/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=2056 CPUtime=0
/proc/3418/stat : 3418 (SATzilla2009_I) R 3416 3418 3343 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 163317993 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542911 0 0 4096 0 0 0 0 17 0 0 0
/proc/3418/statm: 514 112 96 399 0 111 0
[pid=3419] ppid=3418 vsize=3748 CPUtime=0
/proc/3419/stat : 3419 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 770 0 0 0 0 0 0 0 18 0 1 0 163317993 3837952 766 1992294400 134512640 135078026 4294956192 18446744073709551615 134734635 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3419/statm: 937 774 50 138 0 796 0

[startup+0.0509809 s]
/proc/loadavg: 0.99 0.99 0.99 3/64 3418
/proc/meminfo: memFree=1282512/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=2056 CPUtime=0
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163317993 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/3418/statm: 514 112 96 399 0 111 0
[pid=3419] ppid=3418 vsize=11716 CPUtime=0.04
/proc/3419/stat : 3419 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 2371 0 0 0 3 1 0 0 19 0 1 0 163317993 11997184 2366 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3419/statm: 2929 2367 54 138 0 2788 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13772

[startup+0.101988 s]
/proc/loadavg: 0.99 0.99 0.99 3/64 3418
/proc/meminfo: memFree=1282512/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=2056 CPUtime=0
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163317993 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/3418/statm: 514 112 96 399 0 111 0
[pid=3419] ppid=3418 vsize=13168 CPUtime=0.09
/proc/3419/stat : 3419 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 3088 0 0 0 8 1 0 0 19 0 1 0 163317993 13484032 2702 1992294400 134512640 135078026 4294956192 18446744073709551615 134561546 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3419/statm: 3292 2702 55 138 0 3151 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15224

[startup+0.302024 s]
/proc/loadavg: 0.99 0.99 0.99 3/64 3418
/proc/meminfo: memFree=1282512/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=2056 CPUtime=0
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163317993 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/3418/statm: 514 112 96 399 0 111 0
[pid=3419] ppid=3418 vsize=18720 CPUtime=0.29
/proc/3419/stat : 3419 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 4425 0 0 0 27 2 0 0 21 0 1 0 163317993 19169280 4039 1992294400 134512640 135078026 4294956192 18446744073709551615 134722554 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3419/statm: 4680 4039 55 138 0 4539 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20776

[startup+0.701097 s]
/proc/loadavg: 0.99 0.99 0.99 3/64 3418
/proc/meminfo: memFree=1282512/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=2056 CPUtime=0
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163317993 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/3418/statm: 514 112 96 399 0 111 0
[pid=3419] ppid=3418 vsize=18712 CPUtime=0.69
/proc/3419/stat : 3419 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 5114 0 0 0 67 2 0 0 25 0 1 0 163317993 19161088 4266 1992294400 134512640 135078026 4294956192 18446744073709551615 134533843 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3419/statm: 4678 4266 71 138 0 4537 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20768

[startup+1.50125 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 3420
/proc/meminfo: memFree=1265408/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=2056 CPUtime=0
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163317993 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/3418/statm: 514 112 96 399 0 111 0
[pid=3419] ppid=3418 vsize=18712 CPUtime=1.49
/proc/3419/stat : 3419 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 5115 0 0 0 147 2 0 0 25 0 1 0 163317993 19161088 4267 1992294400 134512640 135078026 4294956192 18446744073709551615 134522156 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3419/statm: 4678 4267 71 138 0 4537 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20768

[startup+3.10154 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 3420
/proc/meminfo: memFree=1265280/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=2056 CPUtime=0
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163317993 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/3418/statm: 514 112 96 399 0 111 0
[pid=3419] ppid=3418 vsize=18712 CPUtime=3.09
/proc/3419/stat : 3419 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 5115 0 0 0 307 2 0 0 25 0 1 0 163317993 19161088 4267 1992294400 134512640 135078026 4294956192 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3419/statm: 4678 4267 71 138 0 4537 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20768

[startup+6.30113 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 3420
/proc/meminfo: memFree=1265480/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=2056 CPUtime=0
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163317993 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/3418/statm: 514 112 96 399 0 111 0
[pid=3419] ppid=3418 vsize=18712 CPUtime=6.29
/proc/3419/stat : 3419 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 5116 0 0 0 624 5 0 0 25 0 1 0 163317993 19161088 4268 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3419/statm: 4678 4268 71 138 0 4537 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20768

[startup+12.7013 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 3421
/proc/meminfo: memFree=1276872/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=2056 CPUtime=9.99
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 152 5119 0 0 0 0 994 5 16 0 1 0 163317993 2105344 121 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/3418/statm: 514 121 104 399 0 111 0
[pid=3421] ppid=3418 vsize=7508 CPUtime=2.68
/proc/3421/stat : 3421 (picosat846) R 3418 3418 3343 0 -1 4194304 1552 0 0 0 268 0 0 0 25 0 1 0 163318994 7688192 1530 1992294400 134512640 134570484 4294956192 18446744073709551615 134551378 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3421/statm: 1877 1530 85 14 0 1543 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 9564

[startup+25.5017 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 3424
/proc/meminfo: memFree=1256712/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=9848 CPUtime=23.55
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 4366 13007 0 0 503 12 1828 12 25 0 1 0 163317993 10084352 2226 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3418/statm: 2462 2226 217 399 0 2059 0
[pid=3424] ppid=3418 vsize=18712 CPUtime=1.89
/proc/3424/stat : 3424 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 5115 0 0 0 187 2 0 0 25 0 1 0 163320353 19161088 4267 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3424/statm: 4678 4267 71 138 0 4537 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 28560

[startup+51.1014 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 3424
/proc/meminfo: memFree=1256520/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=9848 CPUtime=23.55
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 4366 13007 0 0 503 12 1828 12 25 0 1 0 163317993 10084352 2226 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3418/statm: 2462 2226 217 399 0 2059 0
[pid=3424] ppid=3418 vsize=18712 CPUtime=27.47
/proc/3424/stat : 3424 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 5122 0 0 0 2745 2 0 0 25 0 1 0 163320353 19161088 4274 1992294400 134512640 135078026 4294956192 18446744073709551615 134534499 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3424/statm: 4678 4274 71 138 0 4537 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 28560

[startup+102.306 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 3424
/proc/meminfo: memFree=1256648/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=9848 CPUtime=23.55
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 4366 13007 0 0 503 12 1828 12 25 0 1 0 163317993 10084352 2226 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3418/statm: 2462 2226 217 399 0 2059 0
[pid=3424] ppid=3418 vsize=18844 CPUtime=78.65
/proc/3424/stat : 3424 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 5148 0 0 0 7863 2 0 0 25 0 1 0 163320353 19296256 4300 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3424/statm: 4711 4300 71 138 0 4570 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 28692

[startup+162.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 3424
/proc/meminfo: memFree=1256456/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=9848 CPUtime=23.55
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 4366 13007 0 0 503 12 1828 12 25 0 1 0 163317993 10084352 2226 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3418/statm: 2462 2226 217 399 0 2059 0
[pid=3424] ppid=3418 vsize=19108 CPUtime=138.62
/proc/3424/stat : 3424 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 5208 0 0 0 13860 2 0 0 25 0 1 0 163320353 19566592 4360 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3424/statm: 4777 4360 71 138 0 4636 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 28956

[startup+222.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 3424
/proc/meminfo: memFree=1256072/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=9848 CPUtime=23.55
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 4366 13007 0 0 503 12 1828 12 25 0 1 0 163317993 10084352 2226 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3418/statm: 2462 2226 217 399 0 2059 0
[pid=3424] ppid=3418 vsize=19700 CPUtime=198.6
/proc/3424/stat : 3424 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 5307 0 0 0 19857 3 0 0 25 0 1 0 163320353 20172800 4459 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3424/statm: 4925 4459 71 138 0 4784 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 29548

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 3424
/proc/meminfo: memFree=1255496/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=9848 CPUtime=23.55
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 4366 13007 0 0 503 12 1828 12 25 0 1 0 163317993 10084352 2226 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3418/statm: 2462 2226 217 399 0 2059 0
[pid=3424] ppid=3418 vsize=20264 CPUtime=258.56
/proc/3424/stat : 3424 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 5451 0 0 0 25853 3 0 0 25 0 1 0 163320353 20750336 4603 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3424/statm: 5066 4603 71 138 0 4925 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 30112

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/66 3424
/proc/meminfo: memFree=1254728/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=9848 CPUtime=23.55
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 4366 13007 0 0 503 12 1828 12 25 0 1 0 163317993 10084352 2226 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3418/statm: 2462 2226 217 399 0 2059 0
[pid=3424] ppid=3418 vsize=20992 CPUtime=318.53
/proc/3424/stat : 3424 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 5638 0 0 0 31850 3 0 0 25 0 1 0 163320353 21495808 4790 1992294400 134512640 135078026 4294956192 18446744073709551615 134522526 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3424/statm: 5248 4790 71 138 0 5107 0
Current children cumulated CPU time (s) 342.08

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


[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3442
/proc/meminfo: memFree=1229192/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=9848 CPUtime=23.55
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 4366 13007 0 0 503 12 1828 12 25 0 1 0 163317993 10084352 2226 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3418/statm: 2462 2226 217 399 0 2059 0
[pid=3424] ppid=3418 vsize=49884 CPUtime=9314.15
/proc/3424/stat : 3424 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 11958 0 0 0 931397 18 0 0 25 0 1 0 163320353 51081216 11110 1992294400 134512640 135078026 4294956192 18446744073709551615 134534329 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3424/statm: 12471 11110 71 138 0 12330 0
Current children cumulated CPU time (s) 9337.7
Current children cumulated vsize (KiB) 59732

[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3442
/proc/meminfo: memFree=1229128/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=9848 CPUtime=23.55
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 4366 13007 0 0 503 12 1828 12 25 0 1 0 163317993 10084352 2226 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3418/statm: 2462 2226 217 399 0 2059 0
[pid=3424] ppid=3418 vsize=49884 CPUtime=9374.12
/proc/3424/stat : 3424 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 11966 0 0 0 937394 18 0 0 25 0 1 0 163320353 51081216 11118 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3424/statm: 12471 11118 71 138 0 12330 0
Current children cumulated CPU time (s) 9397.67
Current children cumulated vsize (KiB) 59732

[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3442
/proc/meminfo: memFree=1229128/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=9848 CPUtime=23.55
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 4366 13007 0 0 503 12 1828 12 25 0 1 0 163317993 10084352 2226 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3418/statm: 2462 2226 217 399 0 2059 0
[pid=3424] ppid=3418 vsize=49884 CPUtime=9434.09
/proc/3424/stat : 3424 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 11974 0 0 0 943391 18 0 0 25 0 1 0 163320353 51081216 11126 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3424/statm: 12471 11126 71 138 0 12330 0
Current children cumulated CPU time (s) 9457.64
Current children cumulated vsize (KiB) 59732

[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3442
/proc/meminfo: memFree=1229064/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=9848 CPUtime=23.55
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 4366 13007 0 0 503 12 1828 12 25 0 1 0 163317993 10084352 2226 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3418/statm: 2462 2226 217 399 0 2059 0
[pid=3424] ppid=3418 vsize=49884 CPUtime=9494.06
/proc/3424/stat : 3424 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 11979 0 0 0 949388 18 0 0 25 0 1 0 163320353 51081216 11131 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3424/statm: 12471 11131 71 138 0 12330 0
Current children cumulated CPU time (s) 9517.61
Current children cumulated vsize (KiB) 59732

[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3442
/proc/meminfo: memFree=1229064/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=9848 CPUtime=23.55
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 4366 13007 0 0 503 12 1828 12 25 0 1 0 163317993 10084352 2226 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3418/statm: 2462 2226 217 399 0 2059 0
[pid=3424] ppid=3418 vsize=49884 CPUtime=9554.02
/proc/3424/stat : 3424 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 11984 0 0 0 955384 18 0 0 25 0 1 0 163320353 51081216 11136 1992294400 134512640 135078026 4294956192 18446744073709551615 134534305 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3424/statm: 12471 11136 71 138 0 12330 0
Current children cumulated CPU time (s) 9577.57
Current children cumulated vsize (KiB) 59732

[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3442
/proc/meminfo: memFree=1229064/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=9848 CPUtime=23.55
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 4366 13007 0 0 503 12 1828 12 25 0 1 0 163317993 10084352 2226 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3418/statm: 2462 2226 217 399 0 2059 0
[pid=3424] ppid=3418 vsize=49884 CPUtime=9613.99
/proc/3424/stat : 3424 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 11984 0 0 0 961381 18 0 0 25 0 1 0 163320353 51081216 11136 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3424/statm: 12471 11136 71 138 0 12330 0
Current children cumulated CPU time (s) 9637.54
Current children cumulated vsize (KiB) 59732

[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3442
/proc/meminfo: memFree=1229000/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=9848 CPUtime=23.55
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 4366 13007 0 0 503 12 1828 12 25 0 1 0 163317993 10084352 2226 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3418/statm: 2462 2226 217 399 0 2059 0
[pid=3424] ppid=3418 vsize=49884 CPUtime=9673.96
/proc/3424/stat : 3424 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 11984 0 0 0 967378 18 0 0 25 0 1 0 163320353 51081216 11136 1992294400 134512640 135078026 4294956192 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3424/statm: 12471 11136 71 138 0 12330 0
Current children cumulated CPU time (s) 9697.51
Current children cumulated vsize (KiB) 59732

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3442
/proc/meminfo: memFree=1229000/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=9848 CPUtime=23.55
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 4366 13007 0 0 503 12 1828 12 25 0 1 0 163317993 10084352 2226 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3418/statm: 2462 2226 217 399 0 2059 0
[pid=3424] ppid=3418 vsize=49884 CPUtime=9733.94
/proc/3424/stat : 3424 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 11984 0 0 0 973376 18 0 0 25 0 1 0 163320353 51081216 11136 1992294400 134512640 135078026 4294956192 18446744073709551615 134533727 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3424/statm: 12471 11136 71 138 0 12330 0
Current children cumulated CPU time (s) 9757.49
Current children cumulated vsize (KiB) 59732

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3442
/proc/meminfo: memFree=1228936/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=9848 CPUtime=23.55
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 4366 13007 0 0 503 12 1828 12 25 0 1 0 163317993 10084352 2226 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3418/statm: 2462 2226 217 399 0 2059 0
[pid=3424] ppid=3418 vsize=50016 CPUtime=9793.88
/proc/3424/stat : 3424 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 12011 0 0 0 979370 18 0 0 25 0 1 0 163320353 51216384 11163 1992294400 134512640 135078026 4294956192 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3424/statm: 12504 11163 71 138 0 12363 0
Current children cumulated CPU time (s) 9817.43
Current children cumulated vsize (KiB) 59864

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3442
/proc/meminfo: memFree=1228936/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=9848 CPUtime=23.55
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 4366 13007 0 0 503 12 1828 12 25 0 1 0 163317993 10084352 2226 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3418/statm: 2462 2226 217 399 0 2059 0
[pid=3424] ppid=3418 vsize=50016 CPUtime=9853.86
/proc/3424/stat : 3424 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 12012 0 0 0 985368 18 0 0 25 0 1 0 163320353 51216384 11164 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3424/statm: 12504 11164 71 138 0 12363 0
Current children cumulated CPU time (s) 9877.41
Current children cumulated vsize (KiB) 59864

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3442
/proc/meminfo: memFree=1228936/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=9848 CPUtime=23.55
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 4366 13007 0 0 503 12 1828 12 25 0 1 0 163317993 10084352 2226 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3418/statm: 2462 2226 217 399 0 2059 0
[pid=3424] ppid=3418 vsize=50016 CPUtime=9913.83
/proc/3424/stat : 3424 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 12012 0 0 0 991365 18 0 0 25 0 1 0 163320353 51216384 11164 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3424/statm: 12504 11164 71 138 0 12363 0
Current children cumulated CPU time (s) 9937.38
Current children cumulated vsize (KiB) 59864

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3442
/proc/meminfo: memFree=1228936/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=9848 CPUtime=23.55
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 4366 13007 0 0 503 12 1828 12 25 0 1 0 163317993 10084352 2226 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3418/statm: 2462 2226 217 399 0 2059 0
[pid=3424] ppid=3418 vsize=50016 CPUtime=9973.8
/proc/3424/stat : 3424 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 12012 0 0 0 997362 18 0 0 25 0 1 0 163320353 51216384 11164 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3424/statm: 12504 11164 71 138 0 12363 0
Current children cumulated CPU time (s) 9997.35
Current children cumulated vsize (KiB) 59864

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

[startup+10002.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3442
/proc/meminfo: memFree=1228936/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=9848 CPUtime=23.55
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 4366 13007 0 0 503 12 1828 12 25 0 1 0 163317993 10084352 2226 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3418/statm: 2462 2226 217 399 0 2059 0
[pid=3424] ppid=3418 vsize=50016 CPUtime=9974.19
/proc/3424/stat : 3424 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 12012 0 0 0 997401 18 0 0 25 0 1 0 163320353 51216384 11164 1992294400 134512640 135078026 4294956192 18446744073709551615 134533771 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3424/statm: 12504 11164 71 138 0 12363 0
Current children cumulated CPU time (s) 9997.74
Current children cumulated vsize (KiB) 59864

[startup+10002.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3442
/proc/meminfo: memFree=1228936/2055920 swapFree=4180196/4192956
[pid=3418] ppid=3416 vsize=9848 CPUtime=23.55
/proc/3418/stat : 3418 (SATzilla2009_I) S 3416 3418 3343 0 -1 4194304 4366 13007 0 0 503 12 1828 12 25 0 1 0 163317993 10084352 2226 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/3418/statm: 2462 2226 217 399 0 2059 0
[pid=3424] ppid=3418 vsize=50016 CPUtime=9974.39
/proc/3424/stat : 3424 (mxc-sr08) R 3418 3418 3343 0 -1 4194304 12012 0 0 0 997421 18 0 0 25 0 1 0 163320353 51216384 11164 1992294400 134512640 135078026 4294956192 18446744073709551615 134533981 0 0 8392704 0 0 0 0 17 0 0 0
/proc/3424/statm: 12504 11164 71 138 0 12363 0
Current children cumulated CPU time (s) 9997.94
Current children cumulated vsize (KiB) 59864

Child status: 17
Real time (s): 10003
CPU time (s): 9998.06
CPU user time (s): 9997.62
CPU system time (s): 0.444932
CPU usage (%): 99.9507
Max. virtual memory (cumulated for all children) (KiB): 59864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9997.62
system time used= 0.444932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29403
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= 27488

runsolver used 8.02178 second user time and 28.3577 second system time

The end

Launcher Data 

Begin job on node7 at 2009-05-03 14:14:01
IDJOB=1774140
IDBENCH=70874
IDSOLVER=616
FILE ID=node7/1774140-1241352841
PBS_JOBID= 9225562
Free space on /tmp= 66560 MiB

SOLVER NAME= SATzilla2009_I 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-24-s100.cnf
COMMAND LINE= HOME/SATzilla2009_I BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1774140-1241352841/watcher-1774140-1241352841 -o /tmp/evaluation-result-1774140-1241352841/solver-1774140-1241352841 -C 10000 -W 12000 -M 1800  HOME/SATzilla2009_I HOME/instance-1774140-1241352841.cnf

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

MD5SUM BENCH= 107f2922072d64498e09af3270c7b9c3
RANDOM SEED=366670978

node7.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.256
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.256
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:       1282992 kB
Buffers:         88372 kB
Cached:         581784 kB
SwapCached:       7192 kB
Active:         203288 kB
Inactive:       475388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1282992 kB
SwapTotal:     4192956 kB
SwapFree:      4180196 kB
Dirty:           32972 kB
Writeback:           0 kB
Mapped:          13516 kB
Slab:            80236 kB
Committed_AS:  1035904 kB
PageTables:       1444 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= 66528 MiB
End job on node7 at 2009-05-03 17:00:44