Trace number 1720022

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.48 1200.16

General information on the benchmark

Nameschup-l2s-motst-2-k315.cnf
MD5SUMae1df1f35073d9127e72d2baa74b497d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark26.61
Satisfiable
(Un)Satisfiability was proved
Number of variables507145
Number of clauses1601920
Sum of the clauses size4100982
Maximum clause length316
Minimum clause length1
Number of clauses of size 1158
Number of clauses of size 2769140
Number of clauses of size 3810244
Number of clauses of size 414181
Number of clauses of size 55044
Number of clauses of size over 53153

Solver Data 

86.53/86.63	c SATzilla is building models for class 2
86.53/86.63	c run presolver march_dl2004 for 5 seconds ... 
86.53/86.63	c Bin: Executing march_dl2004
86.53/86.63	c spawning binary file with 5 seconds ...
86.53/86.63	c child exit by a signal
86.53/86.63	c march_dl2004 returned code 137.
86.53/86.63	c run presolver mxc-sr08 for 5 seconds ... 
86.53/86.63	c Bin: Executing mxc-sr08
86.53/86.63	c spawning binary file with 5 seconds ...
86.53/86.63	c child exit by a signal
86.53/86.63	c mxc-sr08 returned code 137.
86.53/86.63	c Orignal number of varibales is 507145, number of clauses is 1601920 
86.53/86.63	c predicted feature computation time is 32.562820 
86.53/86.63	c Bin: Executing satelite
86.53/86.63	c spawning binary file with 240 seconds ...
86.53/86.63	c child exited successfully
86.53/86.63	c satzilla computing base features
86.53/86.63	c Number of variabe is: 114582, Number of clause is : 620341 
86.53/86.63	c Initializing...
86.53/86.63	c satzilla compute diameter ...
86.53/86.63	c start diameter features ...
86.53/86.63	c satzilla doing clause learning
86.53/86.63	c start clause learning features ...
86.53/86.63	c Bin: Executing zchaff07
86.53/86.63	c spawning binary file with 2 seconds ...
86.53/86.63	c child exit by a signal
86.53/86.63	c satzilla doing survey propogation probe
86.53/86.63	c do survay propogation for 2 second ...
86.53/86.63	c satzilla doing local search probe
86.53/86.63	c satzilla doing lobjois search-space size estimate
86.53/86.63	c features are:507145 1.60192e+06 114582 620341 3.42604 1.58232 0.184708 0.410336 0.736474 1.30622 2.91139e-05 1.18622 1.74547e-05 0.00226912 1.12282 0.192414 0.841273 2.91139e-05 1.24419 9.6721e-06 0.000481993 2.91938 0.177064 0.17948 0 0.895833 2.54016 1.39299e-05 1.2849 1.61202e-06 0.000241802 2.45998 0.560772 5.29277e-05 1.20426 8.06008e-06 0.000578714 8 0 8 8 -0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.296464 0.90946 0.000270736 1 0.748895 0.0320806 0.460533 0.100642 0.173253 0.101319 0.92101 -2.22045e-16 0.316696 0.251995 0.0054035 0.18342 0.0333398 0.0545052 13162 0 31287 0 31287 31287 31287 2.02668 0 0.977204 0 0.10069 0.904573 
86.53/86.63	c satzilla's ranking:
86.53/86.63	c 1) zchaff_rand: 16.867076
86.53/86.63	c 2) minisat20SAT07: 3.375390
86.53/86.63	c 3) minisat20: 2.990720
86.53/86.63	c 4) march_dl2004: 1.441345
86.53/86.63	c 5) tts-4-0: -0.091902
86.53/86.63	c 6) mxc-sr08: -0.194836
86.53/86.63	c 7) vallst: -2.136699
86.53/86.63	c 8) SATenstein: -10000.000000
86.53/86.63	c 9) gnovelty+: -10000.000000
86.53/86.63	c 10) adaptg2wsat+: -10000.000000
86.53/86.63	c 11) adaptg2wsat0: -10000.000000
86.53/86.63	c 12) picosat846: -10000.000000
86.53/86.63	c 13) kcnfs04SAT07: -10000.000000
86.53/86.63	c satzilla running zchaff_rand ... 
1199.39/1200.14	c Bin: Executing zchaff_rand
1199.39/1200.14	c spawning binary file with 1113 seconds ...
1199.39/1200.14	c child exit by a signal
1199.39/1200.14	c zchaff_rand returned code 137.
1199.39/1200.14	c satzilla running minisat20SAT07 ... 
1199.39/1200.14	c Bin: Executing minisat20SAT07
1199.39/1200.14	c minisat20SAT07 returned code 1.
1199.39/1200.14	c satzilla running minisat20 ... 
1199.39/1200.14	c Bin: Executing minisat20
1199.39/1200.14	c minisat20 returned code 1.
1199.39/1200.14	c satzilla running march_dl2004 ... 
1199.39/1200.14	c Bin: Executing march_dl2004
1199.39/1200.14	c march_dl2004 returned code 1.
1199.39/1200.14	c satzilla running tts-4-0 ... 
1199.39/1200.14	c Bin: Executing tts-4-0
1199.39/1200.14	c tts-4-0 returned code 1.
1199.39/1200.14	c satzilla running mxc-sr08 ... 
1199.39/1200.14	c Bin: Executing mxc-sr08
1199.39/1200.14	c mxc-sr08 returned code 1.
1199.39/1200.14	c satzilla running vallst ... 
1199.39/1200.14	c Bin: Executing vallst
1199.39/1200.14	c vallst returned code 1.
1199.39/1200.14	c satzilla running SATenstein ... 
1199.39/1200.14	c Bin: Executing SATenstein
1199.39/1200.14	c SATenstein returned code 1.
1199.39/1200.14	c satzilla running gnovelty+ ... 
1199.39/1200.14	c Bin: Executing gnovelty+
1199.39/1200.14	c gnovelty+ returned code 1.
1199.39/1200.14	c satzilla running adaptg2wsat+ ... 
1199.39/1200.14	c Bin: Executing adaptg2wsat+
1199.39/1200.14	c adaptg2wsat+ returned code 1.
1199.39/1200.14	c satzilla running adaptg2wsat0 ... 
1199.39/1200.14	c Bin: Executing adaptg2wsat0
1199.39/1200.14	c adaptg2wsat0 returned code 1.
1199.39/1200.14	c satzilla running picosat846 ... 
1199.39/1200.14	c Bin: Executing picosat846
1199.39/1200.14	c picosat846 returned code 1.
1199.39/1200.14	c satzilla running kcnfs04SAT07 ... 
1199.39/1200.14	c Bin: Executing kcnfs04SAT07
1199.39/1200.14	c kcnfs04SAT07 returned code 1.
1199.39/1200.14	c ERROR: All Failed! 
1199.39/1200.14	c SATZILLA_TIME=1199.630000

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-1720022-1240651869/watcher-1720022-1240651869 -o /tmp/evaluation-result-1720022-1240651869/solver-1720022-1240651869 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/SATzilla2009_C HOME/instance-1720022-1240651869.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.02 1.16 3/65 17490
/proc/meminfo: memFree=1671408/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=2056 CPUtime=0
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 93217538 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 514 112 96 399 0 111 0
[pid=17491] ppid=17490 vsize=8880 CPUtime=0
/proc/17491/stat : 17491 (march_dl2004) R 17490 17490 17294 0 -1 4194304 876 0 0 0 0 0 0 0 19 0 1 0 93217538 9093120 871 1992294400 134512640 134996440 4294956176 18446744073709551615 134549441 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17491/statm: 2220 878 49 118 0 2099 0

[startup+0.0989099 s]
/proc/loadavg: 1.00 1.02 1.16 3/65 17490
/proc/meminfo: memFree=1671408/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=2056 CPUtime=0
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 93217538 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 514 112 96 399 0 111 0
[pid=17491] ppid=17490 vsize=44856 CPUtime=0.08
/proc/17491/stat : 17491 (march_dl2004) R 17490 17490 17294 0 -1 4194304 9098 0 0 0 5 3 0 0 19 0 1 0 93217538 45932544 9093 1992294400 134512640 134996440 4294956176 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17491/statm: 11214 9093 50 118 0 11093 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 46912

[startup+0.101909 s]
/proc/loadavg: 1.00 1.02 1.16 3/65 17490
/proc/meminfo: memFree=1671408/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=2056 CPUtime=0
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 93217538 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 514 112 96 399 0 111 0
[pid=17491] ppid=17490 vsize=44988 CPUtime=0.09
/proc/17491/stat : 17491 (march_dl2004) R 17490 17490 17294 0 -1 4194304 9110 0 0 0 6 3 0 0 19 0 1 0 93217538 46067712 9105 1992294400 134512640 134996440 4294956176 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17491/statm: 11247 9105 50 118 0 11126 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47044

[startup+0.301948 s]
/proc/loadavg: 1.00 1.02 1.16 3/65 17490
/proc/meminfo: memFree=1671408/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=2056 CPUtime=0
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 93217538 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 514 112 96 399 0 111 0
[pid=17491] ppid=17490 vsize=47364 CPUtime=0.29
/proc/17491/stat : 17491 (march_dl2004) R 17490 17490 17294 0 -1 4194304 9874 0 0 0 25 4 0 0 21 0 1 0 93217538 48500736 9869 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17491/statm: 11841 9869 50 118 0 11720 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49420

[startup+0.702025 s]
/proc/loadavg: 1.00 1.02 1.16 3/65 17490
/proc/meminfo: memFree=1671408/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=2056 CPUtime=0
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 93217538 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 514 112 96 399 0 111 0
[pid=17491] ppid=17490 vsize=52116 CPUtime=0.69
/proc/17491/stat : 17491 (march_dl2004) R 17490 17490 17294 0 -1 4194304 11353 0 0 0 65 4 0 0 25 0 1 0 93217538 53366784 11348 1992294400 134512640 134996440 4294956176 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17491/statm: 13029 11349 50 118 0 12908 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 54172

[startup+1.50118 s]
/proc/loadavg: 1.00 1.02 1.16 2/67 17492
/proc/meminfo: memFree=1621536/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=2056 CPUtime=0
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 93217538 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 514 112 96 399 0 111 0
[pid=17491] ppid=17490 vsize=61488 CPUtime=1.49
/proc/17491/stat : 17491 (march_dl2004) R 17490 17490 17294 0 -1 4194304 14255 0 0 0 143 6 0 0 25 0 1 0 93217538 62963712 14250 1992294400 134512640 134996440 4294956176 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17491/statm: 15372 14250 50 118 0 15251 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63544

[startup+3.1015 s]
/proc/loadavg: 1.00 1.02 1.16 2/67 17492
/proc/meminfo: memFree=1603232/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=2056 CPUtime=0
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 93217538 2105344 112 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 514 112 96 399 0 111 0
[pid=17491] ppid=17490 vsize=146444 CPUtime=3.09
/proc/17491/stat : 17491 (march_dl2004) R 17490 17490 17294 0 -1 4194304 32827 0 0 0 295 14 0 0 25 0 1 0 93217538 149958656 29173 1992294400 134512640 134996440 4294956176 18446744073709551615 134617604 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17491/statm: 36611 29173 53 118 0 36490 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 148500

[startup+6.30114 s]
/proc/loadavg: 1.16 1.05 1.17 2/67 17493
/proc/meminfo: memFree=1546592/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=2056 CPUtime=5.02
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 152 46207 0 0 0 0 480 22 16 0 1 0 93217538 2105344 121 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 514 121 104 399 0 111 0
[pid=17493] ppid=17490 vsize=209960 CPUtime=1.26
/proc/17493/stat : 17493 (mxc-sr08) R 17490 17490 17294 0 -1 4194304 46129 0 0 0 104 22 0 0 25 0 1 0 93218041 214999040 45981 1992294400 134512640 135078026 4294956176 18446744073709551615 134728585 0 0 8392704 0 0 0 0 17 1 0 0
/proc/17493/statm: 52490 45981 54 138 0 52349 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 212016

[startup+12.7024 s]
/proc/loadavg: 1.39 1.10 1.18 2/67 17494
/proc/meminfo: memFree=1467040/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=2056 CPUtime=10.04
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 179 115642 0 0 0 0 946 58 19 0 1 0 93217538 2105344 138 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 514 138 120 399 0 111 0
[pid=17494] ppid=17490 vsize=220396 CPUtime=2.62
/proc/17494/stat : 17494 (satelite) R 17490 17490 17294 0 -1 4194304 57276 0 0 0 228 34 0 0 25 0 1 0 93218545 225685504 52874 1992294400 134512640 135037501 4294956160 18446744073709551615 134538152 0 0 8392704 3 0 0 0 17 0 0 0
/proc/17494/statm: 55099 52874 67 128 0 54968 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 222452

[startup+25.5019 s]
/proc/loadavg: 1.59 1.16 1.20 2/66 17494
/proc/meminfo: memFree=1594216/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=64780 CPUtime=25.47
/proc/17490/stat : 17490 (SATzilla2009_C) R 17488 17490 17294 0 -1 4194304 15218 192612 0 0 198 7 2217 125 25 0 1 0 93217538 66334720 15169 1992294400 134512640 136149437 4294956208 18446744073709551615 134535671 0 0 4096 0 0 0 0 17 0 0 0
/proc/17490/statm: 16195 15169 135 399 0 15792 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 64780

[startup+51.1019 s]
/proc/loadavg: 1.80 1.24 1.22 2/66 17494
/proc/meminfo: memFree=1593640/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=64780 CPUtime=51.05
/proc/17490/stat : 17490 (SATzilla2009_C) R 17488 17490 17294 0 -1 4194304 15521 192612 0 0 2756 7 2217 125 25 0 1 0 93217538 66334720 15472 1992294400 134512640 136149437 4294956208 18446744073709551615 134535653 0 0 4096 0 0 0 0 17 0 0 0
/proc/17490/statm: 16195 15472 135 399 0 15792 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 64780

[startup+102.306 s]
/proc/loadavg: 1.63 1.29 1.24 2/67 17496
/proc/meminfo: memFree=1404064/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=82024 CPUtime=86.56
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 36792 209954 0 0 6094 20 2409 133 25 0 1 0 93217538 83992576 20062 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 20506 20062 219 399 0 20103 0
[pid=17496] ppid=17490 vsize=1556424 CPUtime=15.65
/proc/17496/stat : 17496 (zchaff_rand) R 17490 17490 17294 0 -1 4194304 62283 0 0 0 1536 29 0 0 25 0 1 0 93226201 1593778176 43454 1992294400 134512640 135365884 4294956160 18446744073709551615 134542751 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17496/statm: 389106 43454 112 208 0 388878 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 1638448

[startup+162.302 s]
/proc/loadavg: 1.23 1.23 1.22 2/67 17496
/proc/meminfo: memFree=1380064/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=82024 CPUtime=86.56
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 36792 209954 0 0 6094 20 2409 133 25 0 1 0 93217538 83992576 20062 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 20506 20062 219 399 0 20103 0
[pid=17496] ppid=17490 vsize=1590788 CPUtime=75.62
/proc/17496/stat : 17496 (zchaff_rand) R 17490 17490 17294 0 -1 4194304 86993 0 0 0 7517 45 0 0 25 0 1 0 93226201 1628966912 49501 1992294400 134512640 135365884 4294956160 18446744073709551615 134535790 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17496/statm: 397697 49501 112 208 0 397469 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 1672812

[startup+222.301 s]
/proc/loadavg: 1.08 1.19 1.21 2/67 17496
/proc/meminfo: memFree=1362464/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=82024 CPUtime=86.56
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 36792 209954 0 0 6094 20 2409 133 25 0 1 0 93217538 83992576 20062 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 20506 20062 219 399 0 20103 0
[pid=17496] ppid=17490 vsize=1613612 CPUtime=135.58
/proc/17496/stat : 17496 (zchaff_rand) R 17490 17490 17294 0 -1 4194304 110640 0 0 0 13501 57 0 0 25 0 1 0 93226201 1652338688 53874 1992294400 134512640 135365884 4294956160 18446744073709551615 134577061 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17496/statm: 403403 53874 112 208 0 403175 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 1695636

[startup+282.301 s]
/proc/loadavg: 1.03 1.15 1.19 2/67 17496
/proc/meminfo: memFree=1350752/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=82024 CPUtime=86.56
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 36792 209954 0 0 6094 20 2409 133 25 0 1 0 93217538 83992576 20062 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 20506 20062 219 399 0 20103 0
[pid=17496] ppid=17490 vsize=1628852 CPUtime=195.55
/proc/17496/stat : 17496 (zchaff_rand) R 17490 17490 17294 0 -1 4194304 130717 0 0 0 19485 70 0 0 25 0 1 0 93226201 1667944448 56754 1992294400 134512640 135365884 4294956160 18446744073709551615 134542837 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17496/statm: 407213 56754 112 208 0 406985 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 1710876

[startup+342.302 s]
/proc/loadavg: 1.01 1.12 1.18 2/67 17496
/proc/meminfo: memFree=1342880/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=82024 CPUtime=86.56
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 36792 209954 0 0 6094 20 2409 133 25 0 1 0 93217538 83992576 20062 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 20506 20062 219 399 0 20103 0
[pid=17496] ppid=17490 vsize=1638648 CPUtime=255.52
/proc/17496/stat : 17496 (zchaff_rand) R 17490 17490 17294 0 -1 4194304 147021 0 0 0 25472 80 0 0 25 0 1 0 93226201 1677975552 58679 1992294400 134512640 135365884 4294956160 18446744073709551615 134543553 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17496/statm: 409662 58679 112 208 0 409434 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 1720672

[startup+402.302 s]
/proc/loadavg: 1.00 1.10 1.16 2/67 17496
/proc/meminfo: memFree=1337760/2055920 swapFree=4181424/4192956

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


[startup+762.305 s]
/proc/loadavg: 1.00 1.02 1.09 2/67 17498
/proc/meminfo: memFree=1317792/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=82024 CPUtime=86.56
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 36792 209954 0 0 6094 20 2409 133 25 0 1 0 93217538 83992576 20062 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 20506 20062 219 399 0 20103 0
[pid=17496] ppid=17490 vsize=1669708 CPUtime=675.27
/proc/17496/stat : 17496 (zchaff_rand) R 17490 17490 17294 0 -1 4194304 232066 0 0 0 67385 142 0 0 25 0 1 0 93226201 1709780992 64924 1992294400 134512640 135365884 4294956160 18446744073709551615 134543553 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17496/statm: 417427 64924 112 208 0 417199 0
Current children cumulated CPU time (s) 761.83
Current children cumulated vsize (KiB) 1751732

[startup+822.301 s]
/proc/loadavg: 1.00 1.01 1.09 2/67 17498
/proc/meminfo: memFree=1314720/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=82024 CPUtime=86.56
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 36792 209954 0 0 6094 20 2409 133 25 0 1 0 93217538 83992576 20062 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 20506 20062 219 399 0 20103 0
[pid=17496] ppid=17490 vsize=1672152 CPUtime=735.24
/proc/17496/stat : 17496 (zchaff_rand) R 17490 17490 17294 0 -1 4194304 245685 0 0 0 73373 151 0 0 25 0 1 0 93226201 1712283648 65685 1992294400 134512640 135365884 4294956160 18446744073709551615 134536567 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17496/statm: 418038 65685 112 208 0 417810 0
Current children cumulated CPU time (s) 821.8
Current children cumulated vsize (KiB) 1754176

[startup+882.302 s]
/proc/loadavg: 1.00 1.01 1.08 2/67 17498
/proc/meminfo: memFree=1313504/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=82024 CPUtime=86.56
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 36792 209954 0 0 6094 20 2409 133 25 0 1 0 93217538 83992576 20062 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 20506 20062 219 399 0 20103 0
[pid=17496] ppid=17490 vsize=1672996 CPUtime=795.2
/proc/17496/stat : 17496 (zchaff_rand) R 17490 17490 17294 0 -1 4194304 258355 0 0 0 79360 160 0 0 25 0 1 0 93226201 1713147904 65929 1992294400 134512640 135365884 4294956160 18446744073709551615 134538941 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17496/statm: 418249 65929 112 208 0 418021 0
Current children cumulated CPU time (s) 881.76
Current children cumulated vsize (KiB) 1755020

[startup+942.303 s]
/proc/loadavg: 1.00 1.00 1.07 2/67 17498
/proc/meminfo: memFree=1310752/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=82024 CPUtime=86.56
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 36792 209954 0 0 6094 20 2409 133 25 0 1 0 93217538 83992576 20062 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 20506 20062 219 399 0 20103 0
[pid=17496] ppid=17490 vsize=1676620 CPUtime=855.17
/proc/17496/stat : 17496 (zchaff_rand) R 17490 17490 17294 0 -1 4194304 270125 0 0 0 85349 168 0 0 25 0 1 0 93226201 1716858880 66692 1992294400 134512640 135365884 4294956160 18446744073709551615 134538574 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17496/statm: 419155 66692 112 208 0 418927 0
Current children cumulated CPU time (s) 941.73
Current children cumulated vsize (KiB) 1758644

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.07 2/67 17498
/proc/meminfo: memFree=1307488/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=82024 CPUtime=86.56
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 36792 209954 0 0 6094 20 2409 133 25 0 1 0 93217538 83992576 20062 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 20506 20062 219 399 0 20103 0
[pid=17496] ppid=17490 vsize=1681232 CPUtime=915.14
/proc/17496/stat : 17496 (zchaff_rand) R 17490 17490 17294 0 -1 4194304 285750 0 0 0 91335 179 0 0 25 0 1 0 93226201 1721581568 67473 1992294400 134512640 135365884 4294956160 18446744073709551615 134543503 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17496/statm: 420308 67473 112 208 0 420080 0
Current children cumulated CPU time (s) 1001.7
Current children cumulated vsize (KiB) 1763256

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/67 17498
/proc/meminfo: memFree=1302880/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=82024 CPUtime=86.56
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 36792 209954 0 0 6094 20 2409 133 25 0 1 0 93217538 83992576 20062 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 20506 20062 219 399 0 20103 0
[pid=17496] ppid=17490 vsize=1687212 CPUtime=975.1
/proc/17496/stat : 17496 (zchaff_rand) R 17490 17490 17294 0 -1 4194304 300832 0 0 0 97321 189 0 0 25 0 1 0 93226201 1727705088 68657 1992294400 134512640 135365884 4294956160 18446744073709551615 134536567 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17496/statm: 421803 68657 112 208 0 421575 0
Current children cumulated CPU time (s) 1061.66
Current children cumulated vsize (KiB) 1769236

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.06 2/67 17498
/proc/meminfo: memFree=1295648/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=82024 CPUtime=86.56
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 36792 209954 0 0 6094 20 2409 133 25 0 1 0 93217538 83992576 20062 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 20506 20062 219 399 0 20103 0
[pid=17496] ppid=17490 vsize=1722512 CPUtime=1035.08
/proc/17496/stat : 17496 (zchaff_rand) R 17490 17490 17294 0 -1 4194304 314964 0 0 0 103310 198 0 0 25 0 1 0 93226201 1763852288 69412 1992294400 134512640 135365884 4294956160 18446744073709551615 134542837 0 0 8392704 0 0 0 0 17 1 0 0
/proc/17496/statm: 430628 69412 112 208 0 430400 0
Current children cumulated CPU time (s) 1121.64
Current children cumulated vsize (KiB) 1804536

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/67 17498
/proc/meminfo: memFree=1295648/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=82024 CPUtime=86.56
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 36792 209954 0 0 6094 20 2409 133 25 0 1 0 93217538 83992576 20062 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 20506 20062 219 399 0 20103 0
[pid=17496] ppid=17490 vsize=1723684 CPUtime=1095.03
/proc/17496/stat : 17496 (zchaff_rand) R 17490 17490 17294 0 -1 4194304 328171 0 0 0 109296 207 0 0 25 0 1 0 93226201 1765052416 70398 1992294400 134512640 135365884 4294956160 18446744073709551615 134546393 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17496/statm: 430921 70398 112 208 0 430693 0
Current children cumulated CPU time (s) 1181.59
Current children cumulated vsize (KiB) 1805708

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

[startup+1190.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/67 17498
/proc/meminfo: memFree=1295520/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=82024 CPUtime=86.56
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 36792 209954 0 0 6094 20 2409 133 25 0 1 0 93217538 83992576 20062 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 20506 20062 219 399 0 20103 0
[pid=17496] ppid=17490 vsize=1723684 CPUtime=1103.02
/proc/17496/stat : 17496 (zchaff_rand) R 17490 17490 17294 0 -1 4194304 328722 0 0 0 110094 208 0 0 25 0 1 0 93226201 1765052416 70405 1992294400 134512640 135365884 4294956160 18446744073709551615 134543988 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17496/statm: 430921 70405 112 208 0 430693 0
Current children cumulated CPU time (s) 1189.58
Current children cumulated vsize (KiB) 1805708

[startup+1196.7 s]
/proc/loadavg: 1.00 1.00 1.05 2/67 17498
/proc/meminfo: memFree=1295520/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=82024 CPUtime=86.56
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 36792 209954 0 0 6094 20 2409 133 25 0 1 0 93217538 83992576 20062 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 20506 20062 219 399 0 20103 0
[pid=17496] ppid=17490 vsize=1723684 CPUtime=1109.43
/proc/17496/stat : 17496 (zchaff_rand) R 17490 17490 17294 0 -1 4194304 330006 0 0 0 110734 209 0 0 25 0 1 0 93226201 1765052416 70413 1992294400 134512640 135365884 4294956160 18446744073709551615 134542837 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17496/statm: 430921 70413 112 208 0 430693 0
Current children cumulated CPU time (s) 1195.99
Current children cumulated vsize (KiB) 1805708

[startup+1198.3 s]
/proc/loadavg: 1.00 1.00 1.05 2/67 17498
/proc/meminfo: memFree=1295520/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=82024 CPUtime=86.56
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 36792 209954 0 0 6094 20 2409 133 25 0 1 0 93217538 83992576 20062 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 20506 20062 219 399 0 20103 0
[pid=17496] ppid=17490 vsize=1723684 CPUtime=1111.02
/proc/17496/stat : 17496 (zchaff_rand) R 17490 17490 17294 0 -1 4194304 330008 0 0 0 110893 209 0 0 25 0 1 0 93226201 1765052416 70415 1992294400 134512640 135365884 4294956160 18446744073709551615 134542837 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17496/statm: 430921 70415 112 208 0 430693 0
Current children cumulated CPU time (s) 1197.58
Current children cumulated vsize (KiB) 1805708

[startup+1199.1 s]
/proc/loadavg: 1.00 1.00 1.05 2/67 17498
/proc/meminfo: memFree=1295520/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=82024 CPUtime=86.56
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 36792 209954 0 0 6094 20 2409 133 25 0 1 0 93217538 83992576 20062 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 20506 20062 219 399 0 20103 0
[pid=17496] ppid=17490 vsize=1723684 CPUtime=1111.82
/proc/17496/stat : 17496 (zchaff_rand) R 17490 17490 17294 0 -1 4194304 330040 0 0 0 110973 209 0 0 25 0 1 0 93226201 1765052416 70447 1992294400 134512640 135365884 4294956160 18446744073709551615 134577099 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17496/statm: 430921 70447 112 208 0 430693 0
Current children cumulated CPU time (s) 1198.38
Current children cumulated vsize (KiB) 1805708

[startup+1199.9 s]
/proc/loadavg: 1.00 1.00 1.05 2/67 17498
/proc/meminfo: memFree=1295520/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=82024 CPUtime=86.56
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 36792 209954 0 0 6094 20 2409 133 25 0 1 0 93217538 83992576 20062 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 20506 20062 219 399 0 20103 0
[pid=17496] ppid=17490 vsize=1723684 CPUtime=1112.63
/proc/17496/stat : 17496 (zchaff_rand) R 17490 17490 17294 0 -1 4194304 331038 0 0 0 111053 210 0 0 25 0 1 0 93226201 1765052416 70454 1992294400 134512640 135365884 4294956160 18446744073709551615 134535790 0 0 8392704 0 0 0 0 17 0 0 0
/proc/17496/statm: 430921 70454 112 208 0 430693 0
Current children cumulated CPU time (s) 1199.19
Current children cumulated vsize (KiB) 1805708

[startup+1200.11 s]
/proc/loadavg: 1.00 1.00 1.05 2/67 17498
/proc/meminfo: memFree=1295328/2055920 swapFree=4181424/4192956
[pid=17490] ppid=17488 vsize=82024 CPUtime=86.56
/proc/17490/stat : 17490 (SATzilla2009_C) S 17488 17490 17294 0 -1 4194304 36792 209954 0 0 6094 20 2409 133 25 0 1 0 93217538 83992576 20062 1992294400 134512640 136149437 4294956208 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/17490/statm: 20506 20062 219 399 0 20103 0
[pid=17496] ppid=17490 vsize=0 CPUtime=1112.83
/proc/17496/stat : 17496 (zchaff_rand) R 17490 17490 17294 0 -1 4195332 331038 0 0 0 111072 211 0 0 25 0 1 0 93226201 0 0 1992294400 0 0 0 0 0 256 0 8392704 0 0 0 0 17 0 0 0
/proc/17496/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1199.39
Current children cumulated vsize (KiB) 82024

Child status: 17
Real time (s): 1200.16
CPU time (s): 1199.48
CPU user time (s): 1195.77
CPU system time (s): 3.70944
CPU usage (%): 99.9432
Max. virtual memory (cumulated for all children) (KiB): 1809672

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

runsolver used 1.12383 second user time and 3.24651 second system time

The end

Launcher Data 

Begin job on node77 at 2009-04-25 11:31:11
IDJOB=1720022
IDBENCH=69587
IDSOLVER=527
FILE ID=node77/1720022-1240651869
PBS_JOBID= 9186481
Free space on /tmp= 66180 MiB

SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT_RACE08/cnf/schup-l2s-motst-2-k315.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1720022-1240651869/watcher-1720022-1240651869 -o /tmp/evaluation-result-1720022-1240651869/solver-1720022-1240651869 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/SATzilla2009_C HOME/instance-1720022-1240651869.cnf

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

MD5SUM BENCH= ae1df1f35073d9127e72d2baa74b497d
RANDOM SEED=885517794

node77.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.270
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.270
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1671888 kB
Buffers:         14152 kB
Cached:         297860 kB
SwapCached:       5412 kB
Active:         115196 kB
Inactive:       204700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1671888 kB
SwapTotal:     4192956 kB
SwapFree:      4181424 kB
Dirty:           63476 kB
Writeback:           0 kB
Mapped:          13488 kB
Slab:            50172 kB
Committed_AS:   394060 kB
PageTables:       1372 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= 66148 MiB
End job on node77 at 2009-04-25 11:51:12