Trace number 1825899

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) 4998.61 5000.82

General information on the benchmark

NameCRAFTED/parity-games/
instance_n9_i9_pp_ci_ce.cnf
MD5SUM17405d60322fbbfc84267e396be14b66
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark524.284
Satisfiable
(Un)Satisfiability was proved
Number of variables33867
Number of clauses457280
Sum of the clauses size1516932
Maximum clause length72
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 272774
Number of clauses of size 3228663
Number of clauses of size 4122769
Number of clauses of size 525920
Number of clauses of size over 57154

Solver Data 

27.14/27.29	c SATzilla is building models for class 2
27.14/27.29	c run presolver march_dl2004 for 5 seconds ... 
27.14/27.29	c Bin: Executing march_dl2004
27.14/27.29	c spawning binary file with 5 seconds ...
27.14/27.29	c child exit by a signal
27.14/27.29	c march_dl2004 returned code 137.
27.14/27.29	c run presolver mxc-sr08 for 5 seconds ... 
27.14/27.29	c Bin: Executing mxc-sr08
27.14/27.29	c spawning binary file with 5 seconds ...
27.14/27.29	c child exit by a signal
27.14/27.29	c mxc-sr08 returned code 137.
27.14/27.29	c Orignal number of varibales is 33867, number of clauses is 457280 
27.14/27.29	c predicted feature computation time is 20.581004 
27.14/27.29	c Bin: Executing satelite
27.14/27.29	c spawning binary file with 240 seconds ...
27.14/27.29	c child exited successfully
27.14/27.29	c satzilla computing base features
27.14/27.29	c Number of variabe is: 23801, Number of clause is : 430817 
27.14/27.29	c Initializing...
27.14/27.29	c satzilla compute diameter ...
27.14/27.29	c start diameter features ...
27.14/27.29	c satzilla doing clause learning
27.14/27.29	c start clause learning features ...
27.14/27.29	c Bin: Executing zchaff07
27.14/27.29	c spawning binary file with 2 seconds ...
27.14/27.29	c child exit by a signal
27.14/27.29	c satzilla doing survey propogation probe
27.14/27.29	c do survay propogation for 2 second ...
27.14/27.29	c satzilla doing local search probe
27.14/27.29	c satzilla doing lobjois search-space size estimate
27.14/27.29	c features are:33867 457280 23801 430817 0.422923 0.0614252 0.0552462 0.54356 0.604 1.54459 0.000141847 0.359283 8.40301e-05 0.00302508 1.24366 0.149852 0.619535 0.000141847 1.93561 1.16059e-05 0.0064575 3.62803 0.317863 0.269752 0 0.952849 3.37785 0.000108744 2.19813 2.32117e-06 0.0032009 3.50522 0.832546 0.000116061 1.49896 1.16059e-05 0.00510426 6.55882 0.0842524 5 7 0.783449 778 0 778 778 778 778 778 778 778 22.3522 0 22.3522 22.3522 22.3522 22.3522 22.3522 22.3522 22.3522 0.596664 0.493723 0 0.976177 0.897743 0.0949724 0.823306 0.375801 0.722269 0.0603554 1.47431 -1.11022e-16 0.357745 0.161211 4.60689e-05 0.060128 0.00333019 0.0439665 1838.67 0.580877 4564.33 0.866441 6724 0 6724 3.11184 1.12411 0.997401 0.0570962 0.0858472 0.301265 
27.14/27.29	c satzilla's ranking:
27.14/27.29	c 1) minisat20SAT07: 3.004331
27.14/27.29	c 2) mxc-sr08: 3.003901
27.14/27.29	c 3) minisat20: 2.889522
27.14/27.29	c 4) march_dl2004: 2.618834
27.14/27.29	c 5) vallst: 1.885880
27.14/27.29	c 6) zchaff_rand: 1.507543
27.14/27.29	c 7) tts-4-0: -0.052411
27.14/27.29	c 8) SATenstein: -10000.000000
27.14/27.29	c 9) gnovelty+: -10000.000000
27.14/27.29	c 10) adaptg2wsat+: -10000.000000
27.14/27.29	c 11) adaptg2wsat0: -10000.000000
27.14/27.29	c 12) picosat846: -10000.000000
27.14/27.29	c 13) kcnfs04SAT07: -10000.000000
27.14/27.29	c satzilla running minisat20SAT07 ... 
4998.57/5000.81	c Bin: Executing minisat20SAT07
4998.57/5000.81	c spawning binary file with 4972 seconds ...
4998.57/5000.81	c child exit by a signal
4998.57/5000.81	c minisat20SAT07 returned code 137.
4998.57/5000.81	c satzilla running mxc-sr08 ... 
4998.57/5000.81	c Bin: Executing mxc-sr08
4998.57/5000.81	c mxc-sr08 returned code 1.
4998.57/5000.81	c satzilla running minisat20 ... 
4998.57/5000.81	c Bin: Executing minisat20
4998.57/5000.81	c minisat20 returned code 1.
4998.57/5000.81	c satzilla running march_dl2004 ... 
4998.57/5000.81	c Bin: Executing march_dl2004
4998.57/5000.81	c march_dl2004 returned code 1.
4998.57/5000.81	c satzilla running vallst ... 
4998.57/5000.81	c Bin: Executing vallst
4998.57/5000.81	c vallst returned code 1.
4998.57/5000.81	c satzilla running zchaff_rand ... 
4998.57/5000.81	c Bin: Executing zchaff_rand
4998.57/5000.81	c zchaff_rand returned code 1.
4998.57/5000.81	c satzilla running tts-4-0 ... 
4998.57/5000.81	c Bin: Executing tts-4-0
4998.57/5000.81	c tts-4-0 returned code 1.
4998.57/5000.81	c satzilla running SATenstein ... 
4998.57/5000.81	c Bin: Executing SATenstein
4998.57/5000.81	c SATenstein returned code 1.
4998.57/5000.81	c satzilla running gnovelty+ ... 
4998.57/5000.81	c Bin: Executing gnovelty+
4998.57/5000.81	c gnovelty+ returned code 1.
4998.57/5000.81	c satzilla running adaptg2wsat+ ... 
4998.57/5000.81	c Bin: Executing adaptg2wsat+
4998.57/5000.81	c adaptg2wsat+ returned code 1.
4998.57/5000.81	c satzilla running adaptg2wsat0 ... 
4998.57/5000.81	c Bin: Executing adaptg2wsat0
4998.57/5000.81	c adaptg2wsat0 returned code 1.
4998.57/5000.81	c satzilla running picosat846 ... 
4998.57/5000.81	c Bin: Executing picosat846
4998.57/5000.81	c picosat846 returned code 1.
4998.57/5000.81	c satzilla running kcnfs04SAT07 ... 
4998.57/5000.81	c Bin: Executing kcnfs04SAT07
4998.57/5000.81	c kcnfs04SAT07 returned code 1.
4998.57/5000.81	c ERROR: All Failed! 
4998.57/5000.81	c SATZILLA_TIME=4999.350000

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-1825899-1242519487/watcher-1825899-1242519487 -o /tmp/evaluation-result-1825899-1242519487/solver-1825899-1242519487 -C 5000 -W 6000 -M 1800 HOME/SATzilla2009_C HOME/instance-1825899-1242519487.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 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.85 0.97 0.99 3/64 31201
/proc/meminfo: memFree=1648488/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=2056 CPUtime=0
/proc/31201/stat : 31201 (SATzilla2009_C) R 31199 31201 31164 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 279976983 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135543087 0 0 4096 0 0 0 0 17 0 0 0
/proc/31201/statm: 514 112 96 399 0 111 0
[pid=31202] ppid=31201 vsize=5280 CPUtime=0
/proc/31202/stat : 31202 (march_dl2004) R 31201 31201 31164 0 -1 4194304 669 0 0 0 0 0 0 0 18 0 1 0 279976983 5406720 664 1992294400 134512640 134996440 4294956192 18446744073709551615 134549599 0 0 8392704 0 0 0 0 17 0 0 0
/proc/31202/statm: 1320 667 49 118 0 1199 0

[startup+0.0325839 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 31201
/proc/meminfo: memFree=1648488/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=2056 CPUtime=0
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279976983 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31201/statm: 514 112 96 399 0 111 0
[pid=31202] ppid=31201 vsize=6608 CPUtime=0.02
/proc/31202/stat : 31202 (march_dl2004) R 31201 31201 31164 0 -1 4194304 1104 0 0 0 2 0 0 0 19 0 1 0 279976983 6766592 1099 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/31202/statm: 1652 1099 50 118 0 1531 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8664

[startup+0.101591 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 31201
/proc/meminfo: memFree=1648488/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=2056 CPUtime=0
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279976983 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31201/statm: 514 112 96 399 0 111 0
[pid=31202] ppid=31201 vsize=7400 CPUtime=0.09
/proc/31202/stat : 31202 (march_dl2004) R 31201 31201 31164 0 -1 4194304 1357 0 0 0 9 0 0 0 19 0 1 0 279976983 7577600 1352 1992294400 134512640 134996440 4294956192 18446744073709551615 134669245 0 0 8392704 0 0 0 0 17 0 0 0
/proc/31202/statm: 1850 1352 50 118 0 1729 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9456

[startup+0.301613 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 31201
/proc/meminfo: memFree=1648488/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=2056 CPUtime=0
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279976983 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31201/statm: 514 112 96 399 0 111 0
[pid=31202] ppid=31201 vsize=9908 CPUtime=0.29
/proc/31202/stat : 31202 (march_dl2004) R 31201 31201 31164 0 -1 4194304 2094 0 0 0 28 1 0 0 21 0 1 0 279976983 10145792 2089 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/31202/statm: 2477 2089 50 118 0 2356 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11964

[startup+0.701657 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 31201
/proc/meminfo: memFree=1648488/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=2056 CPUtime=0
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279976983 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31201/statm: 514 112 96 399 0 111 0
[pid=31202] ppid=31201 vsize=24396 CPUtime=0.69
/proc/31202/stat : 31202 (march_dl2004) R 31201 31201 31164 0 -1 4194304 3744 0 0 0 67 2 0 0 25 0 1 0 279976983 24981504 3737 1992294400 134512640 134996440 4294956192 18446744073709551615 134652876 0 0 8392704 0 0 0 0 17 0 0 0
/proc/31202/statm: 6099 3739 50 118 0 5978 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26452

[startup+1.50175 s]
/proc/loadavg: 0.85 0.97 0.99 2/66 31203
/proc/meminfo: memFree=1628440/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=2056 CPUtime=0
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279976983 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31201/statm: 514 112 96 399 0 111 0
[pid=31202] ppid=31201 vsize=56432 CPUtime=1.49
/proc/31202/stat : 31202 (march_dl2004) R 31201 31201 31164 0 -1 4194304 15044 0 0 0 143 6 0 0 25 0 1 0 279976983 57786368 12271 1992294400 134512640 134996440 4294956192 18446744073709551615 134517862 0 0 8392704 0 0 0 0 17 0 0 0
/proc/31202/statm: 14108 12271 55 118 0 13987 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 58488

[startup+3.10192 s]
/proc/loadavg: 0.86 0.97 0.99 2/66 31203
/proc/meminfo: memFree=1573656/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=2056 CPUtime=0
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279976983 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/31201/statm: 514 112 96 399 0 111 0
[pid=31202] ppid=31201 vsize=79764 CPUtime=3.09
/proc/31202/stat : 31202 (march_dl2004) R 31201 31201 31164 0 -1 4194304 27830 0 0 0 296 13 0 0 25 0 1 0 279976983 81678336 18113 1992294400 134512640 134996440 4294956192 18446744073709551615 134543076 0 0 8392704 0 0 0 0 17 0 0 0
/proc/31202/statm: 19941 18113 55 118 0 19820 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 81820

[startup+6.30127 s]
/proc/loadavg: 0.86 0.97 0.99 2/66 31204
/proc/meminfo: memFree=1608728/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=2056 CPUtime=5
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 152 27830 0 0 0 0 486 14 16 0 1 0 279976983 2105344 121 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/31201/statm: 514 121 104 399 0 111 0
[pid=31204] ppid=31201 vsize=41012 CPUtime=1.27
/proc/31204/stat : 31204 (mxc-sr08) R 31201 31201 31164 0 -1 4194304 11979 0 0 0 120 7 0 0 25 0 1 0 279977484 41996288 9432 1992294400 134512640 135078026 4294956192 18446744073709551615 134725140 0 0 8392704 0 0 0 0 17 0 0 0
/proc/31204/statm: 10253 9432 55 138 0 10112 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 43068

[startup+12.702 s]
/proc/loadavg: 0.88 0.97 0.99 2/65 31205
/proc/meminfo: memFree=1635168/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=39316 CPUtime=12.66
/proc/31201/stat : 31201 (SATzilla2009_C) R 31199 31201 31164 0 -1 4194304 9396 54711 0 0 73 5 1153 35 25 0 1 0 279976983 40259584 9348 1992294400 134512640 136149437 4294956224 18446744073709551615 134535207 0 0 4096 0 0 0 0 17 0 0 0
/proc/31201/statm: 9829 9348 135 399 0 9426 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 39316

[startup+25.5014 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 31206
/proc/meminfo: memFree=1592808/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=30116 CPUtime=25.45
/proc/31201/stat : 31201 (SATzilla2009_C) R 31199 31201 31164 0 -1 4194304 25532 64972 0 0 1136 20 1346 43 25 0 1 0 279976983 30838784 7266 1992294400 134512640 136149437 4294956224 18446744073709551615 134541340 0 0 4096 3 0 0 0 17 0 0 0
/proc/31201/statm: 7529 7266 213 399 0 7126 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 30116

[startup+51.1012 s]
/proc/loadavg: 0.93 0.97 0.99 2/66 31207
/proc/meminfo: memFree=1571744/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=30868 CPUtime=27.25
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 25790 64972 0 0 1315 21 1346 43 25 0 1 0 279976983 31608832 7441 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31201/statm: 7717 7441 220 399 0 7314 0
[pid=31207] ppid=31201 vsize=41192 CPUtime=23.79
/proc/31207/stat : 31207 (minisat20SAT07) R 31201 31201 31164 0 -1 4194304 11006 0 0 0 2373 6 0 0 25 0 1 0 279979712 42180608 9885 1992294400 134512640 135078472 4294956192 18446744073709551615 134550706 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31207/statm: 10298 9885 74 138 0 10157 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 72060

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/66 31207
/proc/meminfo: memFree=1542240/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=30868 CPUtime=27.25
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 25790 64972 0 0 1315 21 1346 43 25 0 1 0 279976983 31608832 7441 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31201/statm: 7717 7441 220 399 0 7314 0
[pid=31207] ppid=31201 vsize=70400 CPUtime=74.97
/proc/31207/stat : 31207 (minisat20SAT07) R 31201 31201 31164 0 -1 4194304 18284 0 0 0 7483 14 0 0 25 0 1 0 279979712 72089600 17163 1992294400 134512640 135078472 4294956192 18446744073709551615 134550849 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31207/statm: 17600 17163 74 138 0 17459 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 101268

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 31207
/proc/meminfo: memFree=1520096/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=30868 CPUtime=27.25
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 25790 64972 0 0 1315 21 1346 43 25 0 1 0 279976983 31608832 7441 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31201/statm: 7717 7441 220 399 0 7314 0
[pid=31207] ppid=31201 vsize=92744 CPUtime=134.94
/proc/31207/stat : 31207 (minisat20SAT07) R 31201 31201 31164 0 -1 4194304 23874 0 0 0 13474 20 0 0 25 0 1 0 279979712 94969856 22753 1992294400 134512640 135078472 4294956192 18446744073709551615 134550746 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31207/statm: 23186 22753 74 138 0 23045 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 123612

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 31207
/proc/meminfo: memFree=1498848/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=30868 CPUtime=27.25
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 25790 64972 0 0 1315 21 1346 43 25 0 1 0 279976983 31608832 7441 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31201/statm: 7717 7441 220 399 0 7314 0
[pid=31207] ppid=31201 vsize=113912 CPUtime=194.91
/proc/31207/stat : 31207 (minisat20SAT07) R 31201 31201 31164 0 -1 4194304 29122 0 0 0 19467 24 0 0 25 0 1 0 279979712 116645888 28001 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31207/statm: 28478 28001 74 138 0 28337 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 144780

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 31207
/proc/meminfo: memFree=1482720/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=30868 CPUtime=27.25
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 25790 64972 0 0 1315 21 1346 43 25 0 1 0 279976983 31608832 7441 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31201/statm: 7717 7441 220 399 0 7314 0
[pid=31207] ppid=31201 vsize=130168 CPUtime=254.89
/proc/31207/stat : 31207 (minisat20SAT07) R 31201 31201 31164 0 -1 4194304 33199 0 0 0 25460 29 0 0 25 0 1 0 279979712 133292032 32078 1992294400 134512640 135078472 4294956192 18446744073709551615 134550587 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31207/statm: 32542 32078 74 138 0 32401 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 161036

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 31207
/proc/meminfo: memFree=1469408/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=30868 CPUtime=27.25
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 25790 64972 0 0 1315 21 1346 43 25 0 1 0 279976983 31608832 7441 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31201/statm: 7717 7441 220 399 0 7314 0
[pid=31207] ppid=31201 vsize=143612 CPUtime=314.86
/proc/31207/stat : 31207 (minisat20SAT07) R 31201 31201 31164 0 -1 4194304 36465 0 0 0 31454 32 0 0 25 0 1 0 279979712 147058688 35344 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31207/statm: 35903 35344 74 138 0 35762 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 174480

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 31207
/proc/meminfo: memFree=1458912/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=30868 CPUtime=27.25

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


[startup+4722.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 31215
/proc/meminfo: memFree=1015200/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=30868 CPUtime=27.25
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 25790 64972 0 0 1315 21 1346 43 25 0 1 0 279976983 31608832 7441 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31201/statm: 7717 7441 220 399 0 7314 0
[pid=31207] ppid=31201 vsize=597716 CPUtime=4692.94
/proc/31207/stat : 31207 (minisat20SAT07) R 31201 31201 31164 0 -1 4194304 149570 0 0 0 469138 156 0 0 25 0 1 0 279979712 612061184 148449 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31207/statm: 149429 148449 74 138 0 149288 0
Current children cumulated CPU time (s) 4720.19
Current children cumulated vsize (KiB) 628584

[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31215
/proc/meminfo: memFree=1007712/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=30868 CPUtime=27.25
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 25790 64972 0 0 1315 21 1346 43 25 0 1 0 279976983 31608832 7441 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31201/statm: 7717 7441 220 399 0 7314 0
[pid=31207] ppid=31201 vsize=605252 CPUtime=4752.91
/proc/31207/stat : 31207 (minisat20SAT07) R 31201 31201 31164 0 -1 4194304 151477 0 0 0 475133 158 0 0 25 0 1 0 279979712 619778048 150356 1992294400 134512640 135078472 4294956192 18446744073709551615 134552035 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31207/statm: 151313 150356 74 138 0 151172 0
Current children cumulated CPU time (s) 4780.16
Current children cumulated vsize (KiB) 636120

[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31215
/proc/meminfo: memFree=999840/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=30868 CPUtime=27.25
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 25790 64972 0 0 1315 21 1346 43 25 0 1 0 279976983 31608832 7441 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31201/statm: 7717 7441 220 399 0 7314 0
[pid=31207] ppid=31201 vsize=613108 CPUtime=4812.88
/proc/31207/stat : 31207 (minisat20SAT07) R 31201 31201 31164 0 -1 4194304 153427 0 0 0 481128 160 0 0 25 0 1 0 279979712 627822592 152306 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31207/statm: 153277 152306 74 138 0 153136 0
Current children cumulated CPU time (s) 4840.13
Current children cumulated vsize (KiB) 643976

[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31215
/proc/meminfo: memFree=991648/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=30868 CPUtime=27.25
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 25790 64972 0 0 1315 21 1346 43 25 0 1 0 279976983 31608832 7441 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31201/statm: 7717 7441 220 399 0 7314 0
[pid=31207] ppid=31201 vsize=621424 CPUtime=4872.86
/proc/31207/stat : 31207 (minisat20SAT07) R 31201 31201 31164 0 -1 4194304 155502 0 0 0 487124 162 0 0 25 0 1 0 279979712 636338176 154381 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31207/statm: 155356 154381 74 138 0 155215 0
Current children cumulated CPU time (s) 4900.11
Current children cumulated vsize (KiB) 652292

[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31215
/proc/meminfo: memFree=983712/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=30868 CPUtime=27.25
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 25790 64972 0 0 1315 21 1346 43 25 0 1 0 279976983 31608832 7441 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31201/statm: 7717 7441 220 399 0 7314 0
[pid=31207] ppid=31201 vsize=629308 CPUtime=4932.83
/proc/31207/stat : 31207 (minisat20SAT07) R 31201 31201 31164 0 -1 4194304 157464 0 0 0 493119 164 0 0 25 0 1 0 279979712 644411392 156343 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31207/statm: 157327 156343 74 138 0 157186 0
Current children cumulated CPU time (s) 4960.08
Current children cumulated vsize (KiB) 660176

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

[startup+4966.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31215
/proc/meminfo: memFree=983200/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=30868 CPUtime=27.25
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 25790 64972 0 0 1315 21 1346 43 25 0 1 0 279976983 31608832 7441 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31201/statm: 7717 7441 220 399 0 7314 0
[pid=31207] ppid=31201 vsize=629856 CPUtime=4936.83
/proc/31207/stat : 31207 (minisat20SAT07) R 31201 31201 31164 0 -1 4194304 157592 0 0 0 493519 164 0 0 25 0 1 0 279979712 644972544 156471 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 1 0 0
/proc/31207/statm: 157464 156471 74 138 0 157323 0
Current children cumulated CPU time (s) 4964.08
Current children cumulated vsize (KiB) 660724

[startup+4979.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31215
/proc/meminfo: memFree=981792/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=30868 CPUtime=27.25
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 25790 64972 0 0 1315 21 1346 43 25 0 1 0 279976983 31608832 7441 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31201/statm: 7717 7441 220 399 0 7314 0
[pid=31207] ppid=31201 vsize=631308 CPUtime=4949.62
/proc/31207/stat : 31207 (minisat20SAT07) R 31201 31201 31164 0 -1 4194304 157951 0 0 0 494798 164 0 0 25 0 1 0 279979712 646459392 156830 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31207/statm: 157827 156830 74 138 0 157686 0
Current children cumulated CPU time (s) 4976.87
Current children cumulated vsize (KiB) 662176

[startup+4991.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31215
/proc/meminfo: memFree=980128/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=30868 CPUtime=27.25
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 25790 64972 0 0 1315 21 1346 43 25 0 1 0 279976983 31608832 7441 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31201/statm: 7717 7441 220 399 0 7314 0
[pid=31207] ppid=31201 vsize=632896 CPUtime=4962.42
/proc/31207/stat : 31207 (minisat20SAT07) R 31201 31201 31164 0 -1 4194304 158349 0 0 0 496077 165 0 0 25 0 1 0 279979712 648085504 157228 1992294400 134512640 135078472 4294956192 18446744073709551615 134550985 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31207/statm: 158224 157228 74 138 0 158083 0
Current children cumulated CPU time (s) 4989.67
Current children cumulated vsize (KiB) 663764

[startup+4995.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31215
/proc/meminfo: memFree=979808/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=30868 CPUtime=27.25
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 25790 64972 0 0 1315 21 1346 43 25 0 1 0 279976983 31608832 7441 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31201/statm: 7717 7441 220 399 0 7314 0
[pid=31207] ppid=31201 vsize=633160 CPUtime=4965.63
/proc/31207/stat : 31207 (minisat20SAT07) R 31201 31201 31164 0 -1 4194304 158437 0 0 0 496398 165 0 0 25 0 1 0 279979712 648355840 157316 1992294400 134512640 135078472 4294956192 18446744073709551615 134550582 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31207/statm: 158290 157316 74 138 0 158149 0
Current children cumulated CPU time (s) 4992.88
Current children cumulated vsize (KiB) 664028

[startup+4998.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31215
/proc/meminfo: memFree=979424/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=30868 CPUtime=27.25
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 25790 64972 0 0 1315 21 1346 43 25 0 1 0 279976983 31608832 7441 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31201/statm: 7717 7441 220 399 0 7314 0
[pid=31207] ppid=31201 vsize=633584 CPUtime=4968.82
/proc/31207/stat : 31207 (minisat20SAT07) R 31201 31201 31164 0 -1 4194304 158530 0 0 0 496717 165 0 0 25 0 1 0 279979712 648790016 157409 1992294400 134512640 135078472 4294956192 18446744073709551615 134550726 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31207/statm: 158396 157409 74 138 0 158255 0
Current children cumulated CPU time (s) 4996.07
Current children cumulated vsize (KiB) 664452

[startup+4999.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31215
/proc/meminfo: memFree=979296/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=30868 CPUtime=27.25
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 25790 64972 0 0 1315 21 1346 43 25 0 1 0 279976983 31608832 7441 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31201/statm: 7717 7441 220 399 0 7314 0
[pid=31207] ppid=31201 vsize=633716 CPUtime=4970.42
/proc/31207/stat : 31207 (minisat20SAT07) R 31201 31201 31164 0 -1 4194304 158567 0 0 0 496877 165 0 0 25 0 1 0 279979712 648925184 157446 1992294400 134512640 135078472 4294956192 18446744073709551615 134550692 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31207/statm: 158429 157446 74 138 0 158288 0
Current children cumulated CPU time (s) 4997.67
Current children cumulated vsize (KiB) 664584

[startup+5000.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31215
/proc/meminfo: memFree=979296/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=30868 CPUtime=27.25
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 25790 64972 0 0 1315 21 1346 43 25 0 1 0 279976983 31608832 7441 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31201/statm: 7717 7441 220 399 0 7314 0
[pid=31207] ppid=31201 vsize=633848 CPUtime=4970.82
/proc/31207/stat : 31207 (minisat20SAT07) R 31201 31201 31164 0 -1 4194304 158581 0 0 0 496917 165 0 0 25 0 1 0 279979712 649060352 157460 1992294400 134512640 135078472 4294956192 18446744073709551615 134550596 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31207/statm: 158462 157460 74 138 0 158321 0
Current children cumulated CPU time (s) 4998.07
Current children cumulated vsize (KiB) 664716

[startup+5000.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31215
/proc/meminfo: memFree=979168/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=30868 CPUtime=27.25
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 25790 64972 0 0 1315 21 1346 43 25 0 1 0 279976983 31608832 7441 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31201/statm: 7717 7441 220 399 0 7314 0
[pid=31207] ppid=31201 vsize=633848 CPUtime=4971.22
/proc/31207/stat : 31207 (minisat20SAT07) R 31201 31201 31164 0 -1 4194304 158592 0 0 0 496957 165 0 0 25 0 1 0 279979712 649060352 157471 1992294400 134512640 135078472 4294956192 18446744073709551615 134556544 0 0 8392704 3 0 0 0 17 0 0 0
/proc/31207/statm: 158462 157471 74 138 0 158321 0
Current children cumulated CPU time (s) 4998.47
Current children cumulated vsize (KiB) 664716

[startup+5000.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31215
/proc/meminfo: memFree=979168/2055920 swapFree=4180860/4192956
[pid=31201] ppid=31199 vsize=30868 CPUtime=27.25
/proc/31201/stat : 31201 (SATzilla2009_C) S 31199 31201 31164 0 -1 4194304 25790 64972 0 0 1315 21 1346 43 25 0 1 0 279976983 31608832 7441 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/31201/statm: 7717 7441 220 399 0 7314 0
[pid=31207] ppid=31201 vsize=0 CPUtime=4971.32
/proc/31207/stat : 31207 (minisat20SAT07) R 31201 31201 31164 0 -1 4195332 158593 0 0 0 496959 173 0 0 25 0 1 0 279979712 0 0 1992294400 0 0 0 0 0 256 0 8392704 3 0 0 0 17 0 0 0
/proc/31207/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4998.57
Current children cumulated vsize (KiB) 30868

Child status: 17
Real time (s): 5000.82
CPU time (s): 4998.61
CPU user time (s): 4996.2
CPU system time (s): 2.40463
CPU usage (%): 99.9557
Max. virtual memory (cumulated for all children) (KiB): 664716

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

runsolver used 4.28335 second user time and 13.9109 second system time

The end

Launcher Data 

Begin job on node42 at 2009-05-17 02:18:08
IDJOB=1825899
IDBENCH=71797
IDSOLVER=668
FILE ID=node42/1825899-1242519487
PBS_JOBID= 9307103
Free space on /tmp= 66188 MiB

SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT09/CRAFTED/parity-games/instance_n9_i9_pp_ci_ce.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1825899-1242519487/watcher-1825899-1242519487 -o /tmp/evaluation-result-1825899-1242519487/solver-1825899-1242519487 -C 5000 -W 6000 -M 1800  HOME/SATzilla2009_C HOME/instance-1825899-1242519487.cnf

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

MD5SUM BENCH= 17405d60322fbbfc84267e396be14b66
RANDOM SEED=733260191

node42.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.232
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.232
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:       1648904 kB
Buffers:         68832 kB
Cached:         257776 kB
SwapCached:       5912 kB
Active:         149040 kB
Inactive:       186412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1648904 kB
SwapTotal:     4192956 kB
SwapFree:      4180860 kB
Dirty:           41812 kB
Writeback:           0 kB
Mapped:          14500 kB
Slab:            57580 kB
Committed_AS:  1088988 kB
PageTables:       1392 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= 66160 MiB
End job on node42 at 2009-05-17 03:41:29