Trace number 1774980

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.09 10000.7

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_12_UNSAT.cnf
MD5SUMecc4810d82e30597ea8451526243ec09
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 variables2522
Number of clauses243459
Sum of the clauses size726523
Maximum clause length13
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 24164
Number of clauses of size 3239264
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data 

27.47/27.58	c SATzilla is building models for class 3
27.47/27.58	c run presolver mxc-sr08 for 10 seconds ... 
27.47/27.58	c Bin: Executing mxc-sr08
27.47/27.58	c spawning binary file with 10 seconds ...
27.47/27.58	c child exit by a signal
27.47/27.58	c mxc-sr08 returned code 137.
27.47/27.58	c run presolver picosat846 for 5 seconds ... 
27.47/27.58	c Bin: Executing picosat846
27.47/27.58	c spawning binary file with 5 seconds ...
27.47/27.58	c child exit by a signal
27.47/27.58	c picosat846 returned code 137.
27.47/27.58	c Orignal number of varibales is 2522, number of clauses is 243459 
27.47/27.58	c predicted feature computation time is 2.001291 
27.47/27.58	c Bin: Executing satelite
27.47/27.58	c spawning binary file with 240 seconds ...
27.47/27.58	c child exited successfully
27.47/27.58	c satzilla computing base features
27.47/27.58	c Number of variabe is: 1581, Number of clause is : 242248 
27.47/27.58	c Initializing...
27.47/27.58	c satzilla doing clause learning
27.47/27.58	c start clause learning features ...
27.47/27.58	c Bin: Executing zchaff07
27.47/27.58	c spawning binary file with 2 seconds ...
27.47/27.58	c child exit by a signal
27.47/27.58	c satzilla doing survey propogation probe
27.47/27.58	c do survay propogation for 2 second ...
27.47/27.58	c satzilla doing local search probe
27.47/27.58	c features are:2522 243459 1581 242248 0.595193 0.00499901 0.00652637 0.459099 0.567727 0.634607 0.00278417 1.22079 0.00126502 0.0227704 0.431433 0.0160538 0.923661 0.00278417 1.15462 3.3024e-05 0.0103654 4.15271 0.268037 0.294503 0 0.933434 2.32324 0.00174252 0.905774 2.4768e-05 0.00522192 4.21355 0.923661 0.00115582 0.997207 2.8896e-05 0.00368218 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.528287 0.532599 6.25629e-05 0.980644 0.964612 0.0982555 0.716099 0.366483 0.531689 0.00772883 2.61732 -1.249e-16 0.177005 0.032033 0 0.00197552 2.22466e-12 7.53167e-06 309 0.732279 295 1.41421 295 0 0 46.9377 0.607335 1.00975 0.0163687 
27.47/27.58	c satzilla's ranking:
27.47/27.58	c 1) mxc-sr08: 3.509539
27.47/27.58	c 2) picosat846: 3.108925
27.47/27.58	c 3) zchaff_rand: 2.478619
27.47/27.58	c 4) minisat20SAT07: 2.006415
27.47/27.58	c 5) march_dl2004: 0.213982
27.47/27.58	c 6) SATenstein: -10000.000000
27.47/27.58	c 7) gnovelty+: -10000.000000
27.47/27.58	c 8) adaptg2wsat+: -10000.000000
27.47/27.58	c 9) adaptg2wsat0: -10000.000000
27.47/27.58	c 10) tts-4-0: -10000.000000
27.47/27.58	c 11) vallst: -10000.000000
27.47/27.58	c 12) minisat20: -10000.000000
27.47/27.58	c 13) kcnfs04SAT07: -10000.000000
27.47/27.58	c satzilla running mxc-sr08 ... 
9997.99/10000.66	c Bin: Executing mxc-sr08
9997.99/10000.66	c spawning binary file with 9972 seconds ...
9997.99/10000.66	c child exit by a signal
9997.99/10000.66	c mxc-sr08 returned code 137.
9997.99/10000.66	c satzilla running picosat846 ... 
9997.99/10000.66	c Bin: Executing picosat846
9997.99/10000.66	c picosat846 returned code 1.
9997.99/10000.66	c satzilla running zchaff_rand ... 
9997.99/10000.66	c Bin: Executing zchaff_rand
9997.99/10000.66	c zchaff_rand returned code 1.
9997.99/10000.66	c satzilla running minisat20SAT07 ... 
9997.99/10000.66	c Bin: Executing minisat20SAT07
9997.99/10000.66	c minisat20SAT07 returned code 1.
9997.99/10000.66	c satzilla running march_dl2004 ... 
9997.99/10000.66	c Bin: Executing march_dl2004
9997.99/10000.66	c march_dl2004 returned code 1.
9997.99/10000.66	c satzilla running SATenstein ... 
9997.99/10000.66	c Bin: Executing SATenstein
9997.99/10000.66	c SATenstein returned code 1.
9997.99/10000.66	c satzilla running gnovelty+ ... 
9997.99/10000.66	c Bin: Executing gnovelty+
9997.99/10000.66	c gnovelty+ returned code 1.
9997.99/10000.66	c satzilla running adaptg2wsat+ ... 
9997.99/10000.66	c Bin: Executing adaptg2wsat+
9997.99/10000.66	c adaptg2wsat+ returned code 1.
9997.99/10000.66	c satzilla running adaptg2wsat0 ... 
9997.99/10000.66	c Bin: Executing adaptg2wsat0
9997.99/10000.66	c adaptg2wsat0 returned code 1.
9997.99/10000.66	c satzilla running tts-4-0 ... 
9997.99/10000.66	c Bin: Executing tts-4-0
9997.99/10000.66	c tts-4-0 returned code 1.
9997.99/10000.66	c satzilla running vallst ... 
9997.99/10000.66	c Bin: Executing vallst
9997.99/10000.66	c vallst returned code 1.
9997.99/10000.66	c satzilla running minisat20 ... 
9997.99/10000.66	c Bin: Executing minisat20
9997.99/10000.66	c minisat20 returned code 1.
9997.99/10000.66	c satzilla running kcnfs04SAT07 ... 
9997.99/10000.66	c Bin: Executing kcnfs04SAT07
9997.99/10000.66	c kcnfs04SAT07 returned code 1.
9997.99/10000.66	c ERROR: All Failed! 
9997.99/10000.66	c SATZILLA_TIME=9999.580000

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-1774980-1241356598/watcher-1774980-1241356598 -o /tmp/evaluation-result-1774980-1241356598/solver-1774980-1241356598 -C 10000 -W 12000 -M 1800 HOME/SATzilla2009_I HOME/instance-1774980-1241356598.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.94 0.98 0.99 3/64 30847
/proc/meminfo: memFree=1490952/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=2056 CPUtime=0
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163692725 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/30847/statm: 514 112 96 399 0 111 0
[pid=30848] ppid=30847 vsize=4700 CPUtime=0
/proc/30848/stat : 30848 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 859 0 0 0 0 0 0 0 18 0 1 0 163692725 4812800 856 1992294400 134512640 135078026 4294956192 18446744073709551615 4294960144 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30848/statm: 1175 862 44 138 0 1034 0

[startup+0.0204941 s]
/proc/loadavg: 0.94 0.98 0.99 3/64 30847
/proc/meminfo: memFree=1490952/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=2056 CPUtime=0
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163692725 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/30847/statm: 514 112 96 399 0 111 0
[pid=30848] ppid=30847 vsize=6084 CPUtime=0
/proc/30848/stat : 30848 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 1385 0 0 0 0 0 0 0 18 0 1 0 163692725 6230016 1381 1992294400 134512640 135078026 4294956192 18446744073709551615 134565915 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30848/statm: 1521 1381 54 138 0 1380 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8140

[startup+0.101501 s]
/proc/loadavg: 0.94 0.98 0.99 3/64 30847
/proc/meminfo: memFree=1490952/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=2056 CPUtime=0
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163692725 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/30847/statm: 514 112 96 399 0 111 0
[pid=30848] ppid=30847 vsize=12228 CPUtime=0.09
/proc/30848/stat : 30848 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 2899 0 0 0 8 1 0 0 18 0 1 0 163692725 12521472 2895 1992294400 134512640 135078026 4294956192 18446744073709551615 134722807 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30848/statm: 3057 2895 54 138 0 2916 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14284

[startup+0.301521 s]
/proc/loadavg: 0.94 0.98 0.99 3/64 30847
/proc/meminfo: memFree=1490952/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=2056 CPUtime=0
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163692725 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/30847/statm: 514 112 96 399 0 111 0
[pid=30848] ppid=30847 vsize=15156 CPUtime=0.29
/proc/30848/stat : 30848 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 4544 0 0 0 27 2 0 0 19 0 1 0 163692725 15519744 3548 1992294400 134512640 135078026 4294956192 18446744073709551615 134560893 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30848/statm: 3789 3548 55 138 0 3648 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17212

[startup+0.701561 s]
/proc/loadavg: 0.94 0.98 0.99 3/64 30847
/proc/meminfo: memFree=1490952/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=2056 CPUtime=0
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163692725 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/30847/statm: 514 112 96 399 0 111 0
[pid=30848] ppid=30847 vsize=15156 CPUtime=0.69
/proc/30848/stat : 30848 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 4544 0 0 0 67 2 0 0 23 0 1 0 163692725 15519744 3548 1992294400 134512640 135078026 4294956192 18446744073709551615 134561110 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30848/statm: 3789 3548 55 138 0 3648 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17212

[startup+1.50164 s]
/proc/loadavg: 0.94 0.98 0.99 2/66 30849
/proc/meminfo: memFree=1476600/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=2056 CPUtime=0
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163692725 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/30847/statm: 514 112 96 399 0 111 0
[pid=30848] ppid=30847 vsize=15156 CPUtime=1.49
/proc/30848/stat : 30848 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 4544 0 0 0 147 2 0 0 25 0 1 0 163692725 15519744 3548 1992294400 134512640 135078026 4294956192 18446744073709551615 134561104 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30848/statm: 3789 3548 55 138 0 3648 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17212

[startup+3.11282 s]
/proc/loadavg: 0.94 0.98 0.99 2/66 30849
/proc/meminfo: memFree=1476472/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=2056 CPUtime=0
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163692725 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/30847/statm: 514 112 96 399 0 111 0
[pid=30848] ppid=30847 vsize=19816 CPUtime=3.1
/proc/30848/stat : 30848 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 5743 0 0 0 308 2 0 0 25 0 1 0 163692725 20291584 4747 1992294400 134512640 135078026 4294956192 18446744073709551615 134560831 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30848/statm: 4954 4747 55 138 0 4813 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 21872

[startup+6.30113 s]
/proc/loadavg: 0.94 0.98 0.99 2/66 30849
/proc/meminfo: memFree=1469496/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=2056 CPUtime=0
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 163692725 2105344 112 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/30847/statm: 514 112 96 399 0 111 0
[pid=30848] ppid=30847 vsize=23100 CPUtime=6.28
/proc/30848/stat : 30848 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 6420 0 0 0 626 2 0 0 25 0 1 0 163692725 23654400 5424 1992294400 134512640 135078026 4294956192 18446744073709551615 134560764 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30848/statm: 5775 5424 55 138 0 5634 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 25156

[startup+12.7018 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 30850
/proc/meminfo: memFree=1480312/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=2056 CPUtime=9.99
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 152 7965 0 0 0 0 995 4 16 0 1 0 163692725 2105344 121 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/30847/statm: 514 121 104 399 0 111 0
[pid=30850] ppid=30847 vsize=13356 CPUtime=2.68
/proc/30850/stat : 30850 (picosat846) R 30847 30847 30781 0 -1 4194304 3054 0 0 0 267 1 0 0 25 0 1 0 163693726 13676544 3043 1992294400 134512640 134570484 4294956192 18446744073709551615 134552971 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30850/statm: 3339 3043 85 14 0 3005 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 15412

[startup+25.5011 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 30852
/proc/meminfo: memFree=1454144/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=33848 CPUtime=25.45
/proc/30847/stat : 30847 (SATzilla2009_I) R 30845 30847 30781 0 -1 4194304 11366 23492 0 0 442 5 2081 17 25 0 1 0 163692725 34660352 8190 1992294400 134512640 136149169 4294956224 18446744073709551615 135546670 0 0 4096 3 0 0 0 17 1 0 0
/proc/30847/statm: 8462 8190 196 399 0 8059 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 33848

[startup+51.1017 s]
/proc/loadavg: 0.97 0.98 0.99 2/66 30853
/proc/meminfo: memFree=1425720/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=33764 CPUtime=27.55
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 11632 23492 0 0 651 6 2081 17 25 0 1 0 163692725 34574336 8210 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/30847/statm: 8441 8210 217 399 0 8038 0
[pid=30853] ppid=30847 vsize=29452 CPUtime=23.49
/proc/30853/stat : 30853 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 8669 0 0 0 2344 5 0 0 25 0 1 0 163695484 30158848 7167 1992294400 134512640 135078026 4294956192 18446744073709551615 134534294 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30853/statm: 7363 7167 71 138 0 7222 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 63216

[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 30853
/proc/meminfo: memFree=1421304/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=33764 CPUtime=27.55
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 11632 23492 0 0 651 6 2081 17 25 0 1 0 163692725 34574336 8210 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/30847/statm: 8441 8210 217 399 0 8038 0
[pid=30853] ppid=30847 vsize=34320 CPUtime=74.69
/proc/30853/stat : 30853 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 9794 0 0 0 7462 7 0 0 25 0 1 0 163695484 35143680 8292 1992294400 134512640 135078026 4294956192 18446744073709551615 134534533 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30853/statm: 8580 8292 71 138 0 8439 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 68084

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 30853
/proc/meminfo: memFree=1417016/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=33764 CPUtime=27.55
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 11632 23492 0 0 651 6 2081 17 25 0 1 0 163692725 34574336 8210 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/30847/statm: 8441 8210 217 399 0 8038 0
[pid=30853] ppid=30847 vsize=39456 CPUtime=134.66
/proc/30853/stat : 30853 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 10865 0 0 0 13458 8 0 0 25 0 1 0 163695484 40402944 9363 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30853/statm: 9864 9363 71 138 0 9723 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 73220

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 30853
/proc/meminfo: memFree=1411768/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=33764 CPUtime=27.55
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 11632 23492 0 0 651 6 2081 17 25 0 1 0 163692725 34574336 8210 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/30847/statm: 8441 8210 217 399 0 8038 0
[pid=30853] ppid=30847 vsize=44956 CPUtime=194.65
/proc/30853/stat : 30853 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 12166 0 0 0 19455 10 0 0 25 0 1 0 163695484 46034944 10664 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30853/statm: 11239 10664 71 138 0 11098 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 78720

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 30853
/proc/meminfo: memFree=1408952/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=33764 CPUtime=27.55
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 11632 23492 0 0 651 6 2081 17 25 0 1 0 163692725 34574336 8210 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/30847/statm: 8441 8210 217 399 0 8038 0
[pid=30853] ppid=30847 vsize=48420 CPUtime=254.63
/proc/30853/stat : 30853 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 12877 0 0 0 25452 11 0 0 25 0 1 0 163695484 49582080 11375 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30853/statm: 12105 11375 71 138 0 11964 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 82184

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 30853
/proc/meminfo: memFree=1405368/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=33764 CPUtime=27.55
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 11632 23492 0 0 651 6 2081 17 25 0 1 0 163692725 34574336 8210 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/30847/statm: 8441 8210 217 399 0 8038 0
[pid=30853] ppid=30847 vsize=52152 CPUtime=314.61
/proc/30853/stat : 30853 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 13773 0 0 0 31449 12 0 0 25 0 1 0 163695484 53403648 12271 1992294400 134512640 135078026 4294956192 18446744073709551615 134522580 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30853/statm: 13038 12271 71 138 0 12897 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 85916

[startup+402.301 s]

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


[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30871
/proc/meminfo: memFree=1314360/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=33764 CPUtime=27.55
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 11632 23492 0 0 651 6 2081 17 25 0 1 0 163692725 34574336 8210 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/30847/statm: 8441 8210 217 399 0 8038 0
[pid=30853] ppid=30847 vsize=160256 CPUtime=9672.22
/proc/30853/stat : 30853 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 36395 0 0 0 967178 44 0 0 25 0 1 0 163695484 164102144 34869 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30853/statm: 40064 34869 71 138 0 39923 0
Current children cumulated CPU time (s) 9699.77
Current children cumulated vsize (KiB) 194020

[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30871
/proc/meminfo: memFree=1314232/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=33764 CPUtime=27.55
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 11632 23492 0 0 651 6 2081 17 25 0 1 0 163692725 34574336 8210 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/30847/statm: 8441 8210 217 399 0 8038 0
[pid=30853] ppid=30847 vsize=160516 CPUtime=9732.21
/proc/30853/stat : 30853 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 36428 0 0 0 973177 44 0 0 25 0 1 0 163695484 164368384 34902 1992294400 134512640 135078026 4294956192 18446744073709551615 134534579 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30853/statm: 40129 34902 71 138 0 39988 0
Current children cumulated CPU time (s) 9759.76
Current children cumulated vsize (KiB) 194280

[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30871
/proc/meminfo: memFree=1313720/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=33764 CPUtime=27.55
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 11632 23492 0 0 651 6 2081 17 25 0 1 0 163692725 34574336 8210 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/30847/statm: 8441 8210 217 399 0 8038 0
[pid=30853] ppid=30847 vsize=161164 CPUtime=9792.19
/proc/30853/stat : 30853 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 36554 0 0 0 979175 44 0 0 25 0 1 0 163695484 165031936 35028 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30853/statm: 40291 35028 71 138 0 40150 0
Current children cumulated CPU time (s) 9819.74
Current children cumulated vsize (KiB) 194928

[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30877
/proc/meminfo: memFree=1313272/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=33764 CPUtime=27.55
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 11632 23492 0 0 651 6 2081 17 25 0 1 0 163692725 34574336 8210 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/30847/statm: 8441 8210 217 399 0 8038 0
[pid=30853] ppid=30847 vsize=162008 CPUtime=9852.17
/proc/30853/stat : 30853 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 36676 0 0 0 985173 44 0 0 25 0 1 0 163695484 165896192 35134 1992294400 134512640 135078026 4294956192 18446744073709551615 134534226 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30853/statm: 40502 35134 71 138 0 40361 0
Current children cumulated CPU time (s) 9879.72
Current children cumulated vsize (KiB) 195772

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30877
/proc/meminfo: memFree=1313208/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=33764 CPUtime=27.55
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 11632 23492 0 0 651 6 2081 17 25 0 1 0 163692725 34574336 8210 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/30847/statm: 8441 8210 217 399 0 8038 0
[pid=30853] ppid=30847 vsize=162008 CPUtime=9912.16
/proc/30853/stat : 30853 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 36694 0 0 0 991171 45 0 0 25 0 1 0 163695484 165896192 35152 1992294400 134512640 135078026 4294956192 18446744073709551615 134534834 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30853/statm: 40502 35152 71 138 0 40361 0
Current children cumulated CPU time (s) 9939.71
Current children cumulated vsize (KiB) 195772

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

[startup+9958.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30877
/proc/meminfo: memFree=1313016/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=33764 CPUtime=27.55
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 11632 23492 0 0 651 6 2081 17 25 0 1 0 163692725 34574336 8210 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/30847/statm: 8441 8210 217 399 0 8038 0
[pid=30853] ppid=30847 vsize=162268 CPUtime=9928.16
/proc/30853/stat : 30853 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 36739 0 0 0 992771 45 0 0 25 0 1 0 163695484 166162432 35197 1992294400 134512640 135078026 4294956192 18446744073709551615 134534318 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30853/statm: 40567 35197 71 138 0 40426 0
Current children cumulated CPU time (s) 9955.71
Current children cumulated vsize (KiB) 196032

[startup+9983.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30877
/proc/meminfo: memFree=1312952/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=33764 CPUtime=27.55
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 11632 23492 0 0 651 6 2081 17 25 0 1 0 163692725 34574336 8210 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/30847/statm: 8441 8210 217 399 0 8038 0
[pid=30853] ppid=30847 vsize=162396 CPUtime=9953.74
/proc/30853/stat : 30853 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 36754 0 0 0 995329 45 0 0 25 0 1 0 163695484 166293504 35212 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30853/statm: 40599 35212 71 138 0 40458 0
Current children cumulated CPU time (s) 9981.29
Current children cumulated vsize (KiB) 196160

[startup+9990.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30877
/proc/meminfo: memFree=1312952/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=33764 CPUtime=27.55
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 11632 23492 0 0 651 6 2081 17 25 0 1 0 163692725 34574336 8210 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/30847/statm: 8441 8210 217 399 0 8038 0
[pid=30853] ppid=30847 vsize=162396 CPUtime=9960.14
/proc/30853/stat : 30853 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 36754 0 0 0 995969 45 0 0 25 0 1 0 163695484 166293504 35212 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30853/statm: 40599 35212 71 138 0 40458 0
Current children cumulated CPU time (s) 9987.69
Current children cumulated vsize (KiB) 196160

[startup+9996.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30877
/proc/meminfo: memFree=1312952/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=33764 CPUtime=27.55
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 11632 23492 0 0 651 6 2081 17 25 0 1 0 163692725 34574336 8210 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/30847/statm: 8441 8210 217 399 0 8038 0
[pid=30853] ppid=30847 vsize=162396 CPUtime=9966.54
/proc/30853/stat : 30853 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 36755 0 0 0 996609 45 0 0 25 0 1 0 163695484 166293504 35213 1992294400 134512640 135078026 4294956192 18446744073709551615 134534640 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30853/statm: 40599 35213 71 138 0 40458 0
Current children cumulated CPU time (s) 9994.09
Current children cumulated vsize (KiB) 196160

[startup+9998.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30877
/proc/meminfo: memFree=1312952/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=33764 CPUtime=27.55
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 11632 23492 0 0 651 6 2081 17 25 0 1 0 163692725 34574336 8210 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/30847/statm: 8441 8210 217 399 0 8038 0
[pid=30853] ppid=30847 vsize=162396 CPUtime=9968.14
/proc/30853/stat : 30853 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 36755 0 0 0 996769 45 0 0 25 0 1 0 163695484 166293504 35213 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30853/statm: 40599 35213 71 138 0 40458 0
Current children cumulated CPU time (s) 9995.69
Current children cumulated vsize (KiB) 196160

[startup+9999.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30877
/proc/meminfo: memFree=1312952/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=33764 CPUtime=27.55
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 11632 23492 0 0 651 6 2081 17 25 0 1 0 163692725 34574336 8210 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/30847/statm: 8441 8210 217 399 0 8038 0
[pid=30853] ppid=30847 vsize=162396 CPUtime=9969.74
/proc/30853/stat : 30853 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 36755 0 0 0 996929 45 0 0 25 0 1 0 163695484 166293504 35213 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30853/statm: 40599 35213 71 138 0 40458 0
Current children cumulated CPU time (s) 9997.29
Current children cumulated vsize (KiB) 196160

[startup+10000.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30877
/proc/meminfo: memFree=1312952/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=33764 CPUtime=27.55
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 11632 23492 0 0 651 6 2081 17 25 0 1 0 163692725 34574336 8210 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/30847/statm: 8441 8210 217 399 0 8038 0
[pid=30853] ppid=30847 vsize=162396 CPUtime=9970.14
/proc/30853/stat : 30853 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 36755 0 0 0 996969 45 0 0 25 0 1 0 163695484 166293504 35213 1992294400 134512640 135078026 4294956192 18446744073709551615 134534499 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30853/statm: 40599 35213 71 138 0 40458 0
Current children cumulated CPU time (s) 9997.69
Current children cumulated vsize (KiB) 196160

[startup+10000.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30877
/proc/meminfo: memFree=1312952/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=33764 CPUtime=27.55
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 11632 23492 0 0 651 6 2081 17 25 0 1 0 163692725 34574336 8210 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/30847/statm: 8441 8210 217 399 0 8038 0
[pid=30853] ppid=30847 vsize=162396 CPUtime=9970.34
/proc/30853/stat : 30853 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 36755 0 0 0 996989 45 0 0 25 0 1 0 163695484 166293504 35213 1992294400 134512640 135078026 4294956192 18446744073709551615 134523786 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30853/statm: 40599 35213 71 138 0 40458 0
Current children cumulated CPU time (s) 9997.89
Current children cumulated vsize (KiB) 196160

[startup+10000.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 30877
/proc/meminfo: memFree=1312952/2055920 swapFree=4180900/4192956
[pid=30847] ppid=30845 vsize=33764 CPUtime=27.55
/proc/30847/stat : 30847 (SATzilla2009_I) S 30845 30847 30781 0 -1 4194304 11632 23492 0 0 651 6 2081 17 25 0 1 0 163692725 34574336 8210 1992294400 134512640 136149169 4294956224 18446744073709551615 135542605 0 0 4096 3 18446744071563356171 0 0 17 1 0 0
/proc/30847/statm: 8441 8210 217 399 0 8038 0
[pid=30853] ppid=30847 vsize=162396 CPUtime=9970.44
/proc/30853/stat : 30853 (mxc-sr08) R 30847 30847 30781 0 -1 4194304 36755 0 0 0 996999 45 0 0 25 0 1 0 163695484 166293504 35213 1992294400 134512640 135078026 4294956192 18446744073709551615 134534209 0 0 8392704 0 0 0 0 17 1 0 0
/proc/30853/statm: 40599 35213 71 138 0 40458 0
Current children cumulated CPU time (s) 9997.99
Current children cumulated vsize (KiB) 196160

Child status: 17
Real time (s): 10000.7
CPU time (s): 9998.09
CPU user time (s): 9997.36
CPU system time (s): 0.732888
CPU usage (%): 99.9742
Max. virtual memory (cumulated for all children) (KiB): 196160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9997.36
system time used= 0.732888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71898
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= 18
involuntary context switches= 14376

runsolver used 8.32673 second user time and 28.0437 second system time

The end

Launcher Data 

Begin job on node27 at 2009-05-03 15:16:38
IDJOB=1774980
IDBENCH=71068
IDSOLVER=616
FILE ID=node27/1774980-1241356598
PBS_JOBID= 9225607
Free space on /tmp= 66296 MiB

SOLVER NAME= SATzilla2009_I 2009-03-22
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_12_UNSAT.cnf
COMMAND LINE= HOME/SATzilla2009_I BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1774980-1241356598/watcher-1774980-1241356598 -o /tmp/evaluation-result-1774980-1241356598/solver-1774980-1241356598 -C 10000 -W 12000 -M 1800  HOME/SATzilla2009_I HOME/instance-1774980-1241356598.cnf

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

MD5SUM BENCH= ecc4810d82e30597ea8451526243ec09
RANDOM SEED=333281822

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 2800.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5521.40
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 2800.234
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:       1491496 kB
Buffers:         76328 kB
Cached:         395824 kB
SwapCached:       5072 kB
Active:          55580 kB
Inactive:       424628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1491496 kB
SwapTotal:     4192956 kB
SwapFree:      4180900 kB
Dirty:           35868 kB
Writeback:           0 kB
Mapped:          14124 kB
Slab:            70156 kB
Committed_AS:   684488 kB
PageTables:       1372 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264948 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66264 MiB
End job on node27 at 2009-05-03 18:03:19