Trace number 1825892

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.92 5001.08

General information on the benchmark

NameCRAFTED/sgen/unsat/
sgen1-unsat-139-100.cnf
MD5SUM80608540c01a8d414386c5ef53d181de
Bench CategoryCRAFTED (crafted 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 variables141
Number of clauses292
Sum of the clauses size876
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3292
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

15.55/15.64	c SATzilla is building models for class 2
15.55/15.64	c run presolver march_dl2004 for 5 seconds ... 
15.55/15.64	c Bin: Executing march_dl2004
15.55/15.64	c spawning binary file with 5 seconds ...
15.55/15.64	c child exit by a signal
15.55/15.64	c march_dl2004 returned code 137.
15.55/15.64	c run presolver mxc-sr08 for 5 seconds ... 
15.55/15.64	c Bin: Executing mxc-sr08
15.55/15.64	c spawning binary file with 5 seconds ...
15.55/15.64	c child exit by a signal
15.55/15.64	c mxc-sr08 returned code 137.
15.55/15.64	c Orignal number of varibales is 141, number of clauses is 292 
15.55/15.64	c predicted feature computation time is 6.879462 
15.55/15.64	c Bin: Executing satelite
15.55/15.64	c spawning binary file with 240 seconds ...
15.55/15.64	c child exited successfully
15.55/15.64	c satzilla computing base features
15.55/15.64	c Number of variabe is: 141, Number of clause is : 292 
15.55/15.64	c Initializing...
15.55/15.64	c satzilla compute diameter ...
15.55/15.64	c start diameter features ...
15.55/15.64	c satzilla doing clause learning
15.55/15.64	c start clause learning features ...
15.55/15.64	c Bin: Executing zchaff07
15.55/15.64	c spawning binary file with 2 seconds ...
15.55/15.64	c child exit by a signal
15.55/15.64	c satzilla doing survey propogation probe
15.55/15.64	c do survay propogation for 2 second ...
15.55/15.64	c satzilla doing local search probe
15.55/15.64	c satzilla doing lobjois search-space size estimate
15.55/15.64	c features are:141 292 141 292 0 0 0.482877 1 0 -0 0.0212766 0 0.0212766 0.0212766 -0 0 1 0.0212766 0.123952 0.0205479 0.0308219 0.256017 0.0236407 0.0855648 0 0.333333 0.256017 0.0106383 0.178608 0.010274 0.0205479 0.15324 0.5 0.0207908 0.0422826 0.0205479 0.0239726 6 0 6 6 -0 4051.67 0.0689022 3790 4561 4561 3790 4273 3838 4003 20.0464 0.0810283 18.6186 22.5999 22.5999 18.6186 22.011 18.665 19.3401 0.0327239 1.65014 0.000102821 0.214594 0.0740129 0.000972973 0.056988 0.00273349 0.0114751 0.317532 0.0468866 0.264592 0.32526 0.325003 0.313983 0.324371 0.316327 0.32256 3.0194 0.521358 20.3157 0.15631 20 16 24 0.79036 0.29936 0.847689 0.0782768 0.804249 0.960394 
15.55/15.64	c satzilla's ranking:
15.55/15.64	c 1) tts-4-0: 2.605196
15.55/15.64	c 2) mxc-sr08: 2.230037
15.55/15.64	c 3) minisat20SAT07: 1.737278
15.55/15.64	c 4) minisat20: 1.060188
15.55/15.64	c 5) march_dl2004: 0.267495
15.55/15.64	c 6) vallst: -0.127805
15.55/15.64	c 7) zchaff_rand: -0.142883
15.55/15.64	c 8) SATenstein: -10000.000000
15.55/15.64	c 9) gnovelty+: -10000.000000
15.55/15.64	c 10) adaptg2wsat+: -10000.000000
15.55/15.64	c 11) adaptg2wsat0: -10000.000000
15.55/15.64	c 12) picosat846: -10000.000000
15.55/15.64	c 13) kcnfs04SAT07: -10000.000000
15.55/15.64	c satzilla running tts-4-0 ... 
4998.81/5001.08	c Bin: Executing tts-4-0
4998.81/5001.08	c spawning binary file with 4984 seconds ...
4998.81/5001.08	c child exit by a signal
4998.81/5001.08	c tts-4-0 returned code 137.
4998.81/5001.08	c satzilla running mxc-sr08 ... 
4998.81/5001.08	c Bin: Executing mxc-sr08
4998.81/5001.08	c mxc-sr08 returned code 1.
4998.81/5001.08	c satzilla running minisat20SAT07 ... 
4998.81/5001.08	c Bin: Executing minisat20SAT07
4998.81/5001.08	c minisat20SAT07 returned code 1.
4998.81/5001.08	c satzilla running minisat20 ... 
4998.81/5001.08	c Bin: Executing minisat20
4998.81/5001.08	c minisat20 returned code 1.
4998.81/5001.08	c satzilla running march_dl2004 ... 
4998.81/5001.08	c Bin: Executing march_dl2004
4998.81/5001.08	c march_dl2004 returned code 1.
4998.81/5001.08	c satzilla running vallst ... 
4998.81/5001.08	c Bin: Executing vallst
4998.81/5001.08	c vallst returned code 1.
4998.81/5001.08	c satzilla running zchaff_rand ... 
4998.81/5001.08	c Bin: Executing zchaff_rand
4998.81/5001.08	c zchaff_rand returned code 1.
4998.81/5001.08	c satzilla running SATenstein ... 
4998.81/5001.08	c Bin: Executing SATenstein
4998.81/5001.08	c SATenstein returned code 1.
4998.81/5001.08	c satzilla running gnovelty+ ... 
4998.81/5001.08	c Bin: Executing gnovelty+
4998.81/5001.08	c gnovelty+ returned code 1.
4998.81/5001.08	c satzilla running adaptg2wsat+ ... 
4998.81/5001.08	c Bin: Executing adaptg2wsat+
4998.81/5001.08	c adaptg2wsat+ returned code 1.
4998.81/5001.08	c satzilla running adaptg2wsat0 ... 
4998.81/5001.08	c Bin: Executing adaptg2wsat0
4998.81/5001.08	c adaptg2wsat0 returned code 1.
4998.81/5001.08	c satzilla running picosat846 ... 
4998.81/5001.08	c Bin: Executing picosat846
4998.81/5001.08	c picosat846 returned code 1.
4998.81/5001.08	c satzilla running kcnfs04SAT07 ... 
4998.81/5001.08	c Bin: Executing kcnfs04SAT07
4998.81/5001.08	c kcnfs04SAT07 returned code 1.
4998.81/5001.08	c ERROR: All Failed! 
4998.81/5001.08	c SATZILLA_TIME=4999.660000

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-1825892-1242518600/watcher-1825892-1242518600 -o /tmp/evaluation-result-1825892-1242518600/solver-1825892-1242518600 -C 5000 -W 6000 -M 1800 HOME/SATzilla2009_C HOME/instance-1825892-1242518600.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: 1.00 1.00 1.00 3/64 1142
/proc/meminfo: memFree=1767544/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=2056 CPUtime=0
/proc/1142/stat : 1142 (SATzilla2009_C) R 1140 1142 1052 0 -1 4194304 128 0 0 0 0 0 0 0 18 0 1 0 279887805 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135543087 0 0 4096 0 0 0 0 17 0 0 0
/proc/1142/statm: 514 112 96 399 0 111 0
[pid=1143] ppid=1142 vsize=752 CPUtime=0
/proc/1143/stat : 1143 (march_dl2004) R 1142 1142 1052 0 -1 4194304 125 0 0 0 0 0 0 0 18 0 1 0 279887805 770048 117 1992294400 134512640 134996440 4294956192 18446744073709551615 134587855 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1143/statm: 188 117 74 118 0 67 0

[startup+0.0651649 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1142
/proc/meminfo: memFree=1767544/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=2056 CPUtime=0
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279887805 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/1142/statm: 514 112 96 399 0 111 0
[pid=1143] ppid=1142 vsize=752 CPUtime=0.06
/proc/1143/stat : 1143 (march_dl2004) R 1142 1142 1052 0 -1 4194304 131 0 0 0 6 0 0 0 19 0 1 0 279887805 770048 123 1992294400 134512640 134996440 4294956192 18446744073709551615 134533060 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1143/statm: 188 123 74 118 0 67 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2808

[startup+0.101166 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1142
/proc/meminfo: memFree=1767544/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=2056 CPUtime=0
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279887805 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/1142/statm: 514 112 96 399 0 111 0
[pid=1143] ppid=1142 vsize=752 CPUtime=0.09
/proc/1143/stat : 1143 (march_dl2004) R 1142 1142 1052 0 -1 4194304 132 0 0 0 9 0 0 0 19 0 1 0 279887805 770048 124 1992294400 134512640 134996440 4294956192 18446744073709551615 134617596 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1143/statm: 188 124 74 118 0 67 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2808

[startup+0.301185 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1142
/proc/meminfo: memFree=1767544/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=2056 CPUtime=0
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279887805 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/1142/statm: 514 112 96 399 0 111 0
[pid=1143] ppid=1142 vsize=752 CPUtime=0.29
/proc/1143/stat : 1143 (march_dl2004) R 1142 1142 1052 0 -1 4194304 134 0 0 0 29 0 0 0 21 0 1 0 279887805 770048 126 1992294400 134512640 134996440 4294956192 18446744073709551615 134537701 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1143/statm: 188 126 74 118 0 67 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2808

[startup+0.701222 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1142
/proc/meminfo: memFree=1767544/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=2056 CPUtime=0
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279887805 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/1142/statm: 514 112 96 399 0 111 0
[pid=1143] ppid=1142 vsize=752 CPUtime=0.69
/proc/1143/stat : 1143 (march_dl2004) R 1142 1142 1052 0 -1 4194304 135 0 0 0 69 0 0 0 25 0 1 0 279887805 770048 127 1992294400 134512640 134996440 4294956192 18446744073709551615 134564387 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1143/statm: 188 127 74 118 0 67 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2808

[startup+1.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1144
/proc/meminfo: memFree=1767144/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=2056 CPUtime=0
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279887805 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/1142/statm: 514 112 96 399 0 111 0
[pid=1143] ppid=1142 vsize=752 CPUtime=1.49
/proc/1143/stat : 1143 (march_dl2004) R 1142 1142 1052 0 -1 4194304 136 0 0 0 149 0 0 0 25 0 1 0 279887805 770048 128 1992294400 134512640 134996440 4294956192 18446744073709551615 134571418 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1143/statm: 188 128 74 118 0 67 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2808

[startup+3.10245 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1144
/proc/meminfo: memFree=1765864/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=2056 CPUtime=0
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 279887805 2105344 112 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 1 0 0
/proc/1142/statm: 514 112 96 399 0 111 0
[pid=1143] ppid=1142 vsize=752 CPUtime=3.09
/proc/1143/stat : 1143 (march_dl2004) R 1142 1142 1052 0 -1 4194304 136 0 0 0 308 1 0 0 25 0 1 0 279887805 770048 128 1992294400 134512640 134996440 4294956192 18446744073709551615 134567209 0 0 8392704 0 0 0 0 17 1 0 0
/proc/1143/statm: 188 128 74 118 0 67 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 2808

[startup+6.30175 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1145
/proc/meminfo: memFree=1766824/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=2056 CPUtime=4.99
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 156 137 0 0 0 0 498 1 16 0 1 0 279887805 2105344 125 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 0 18446744071563356171 0 0 17 0 0 0
/proc/1142/statm: 514 125 107 399 0 111 0
[pid=1145] ppid=1142 vsize=1524 CPUtime=1.28
/proc/1145/stat : 1145 (mxc-sr08) R 1142 1142 1052 0 -1 4194304 301 0 0 0 128 0 0 0 25 0 1 0 279888306 1560576 297 1992294400 134512640 135078026 4294956192 18446744073709551615 134533727 0 0 8392704 0 0 0 0 17 1 0 0
/proc/1145/statm: 381 297 71 138 0 240 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 3580

[startup+12.7023 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1147
/proc/meminfo: memFree=1764008/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=7180 CPUtime=12.66
/proc/1142/stat : 1142 (SATzilla2009_C) R 1140 1142 1052 0 -1 4194304 380 1877 0 0 56 11 1196 3 24 0 1 0 279887805 7352320 309 1992294400 134512640 136149437 4294956224 18446744073709551615 135542670 0 0 4096 3 0 0 0 17 0 0 0
/proc/1142/statm: 1795 309 207 399 0 1392 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 7180

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1148
/proc/meminfo: memFree=1761704/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=3080 CPUtime=15.61
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 438 1877 0 0 332 30 1196 3 25 0 1 0 279887805 3153920 317 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1142/statm: 770 317 219 399 0 367 0
[pid=1148] ppid=1142 vsize=6616 CPUtime=9.83
/proc/1148/stat : 1148 (tts-4-0) R 1142 1142 1052 0 -1 4194304 1580 0 0 0 983 0 0 0 25 0 1 0 279889370 6774784 1575 1992294400 134512640 134965848 4294956208 18446744073709551615 134534021 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1148/statm: 1654 1575 68 110 0 1541 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 9696

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1148
/proc/meminfo: memFree=1750184/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=3080 CPUtime=15.61
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 438 1877 0 0 332 30 1196 3 25 0 1 0 279887805 3153920 317 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1142/statm: 770 317 219 399 0 367 0
[pid=1148] ppid=1142 vsize=18104 CPUtime=35.41
/proc/1148/stat : 1148 (tts-4-0) R 1142 1142 1052 0 -1 4194304 4449 0 0 0 3539 2 0 0 25 0 1 0 279889370 18538496 4444 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1148/statm: 4526 4444 68 110 0 4413 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 21184

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1148
/proc/meminfo: memFree=1732712/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=3080 CPUtime=15.61
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 438 1877 0 0 332 30 1196 3 25 0 1 0 279887805 3153920 317 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1142/statm: 770 317 219 399 0 367 0
[pid=1148] ppid=1142 vsize=35448 CPUtime=86.59
/proc/1148/stat : 1148 (tts-4-0) R 1142 1142 1052 0 -1 4194304 8796 0 0 0 8655 4 0 0 25 0 1 0 279889370 36298752 8791 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1148/statm: 8862 8791 68 110 0 8749 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 38528

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1148
/proc/meminfo: memFree=1710248/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=3080 CPUtime=15.61
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 438 1877 0 0 332 30 1196 3 25 0 1 0 279887805 3153920 317 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1142/statm: 770 317 219 399 0 367 0
[pid=1148] ppid=1142 vsize=58184 CPUtime=146.56
/proc/1148/stat : 1148 (tts-4-0) R 1142 1142 1052 0 -1 4194304 14485 0 0 0 14649 7 0 0 25 0 1 0 279889370 59580416 14480 1992294400 134512640 134965848 4294956208 18446744073709551615 134535103 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1148/statm: 14546 14480 68 110 0 14433 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 61264

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1148
/proc/meminfo: memFree=1694696/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=3080 CPUtime=15.61
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 438 1877 0 0 332 30 1196 3 25 0 1 0 279887805 3153920 317 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1142/statm: 770 317 219 399 0 367 0
[pid=1148] ppid=1142 vsize=73420 CPUtime=206.53
/proc/1148/stat : 1148 (tts-4-0) R 1142 1142 1052 0 -1 4194304 18276 0 0 0 20644 9 0 0 25 0 1 0 279889370 75182080 18271 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1148/statm: 18355 18271 68 110 0 18242 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 76500

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1148
/proc/meminfo: memFree=1682856/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=3080 CPUtime=15.61
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 438 1877 0 0 332 30 1196 3 25 0 1 0 279887805 3153920 317 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1142/statm: 770 317 219 399 0 367 0
[pid=1148] ppid=1142 vsize=85140 CPUtime=266.51
/proc/1148/stat : 1148 (tts-4-0) R 1142 1142 1052 0 -1 4194304 21233 0 0 0 26640 11 0 0 25 0 1 0 279889370 87183360 21228 1992294400 134512640 134965848 4294956208 18446744073709551615 134534017 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1148/statm: 21285 21228 68 110 0 21172 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 88220

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1148
/proc/meminfo: memFree=1677992/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=3080 CPUtime=15.61
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 438 1877 0 0 332 30 1196 3 25 0 1 0 279887805 3153920 317 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1142/statm: 770 317 219 399 0 367 0
[pid=1148] ppid=1142 vsize=90064 CPUtime=326.49
/proc/1148/stat : 1148 (tts-4-0) R 1142 1142 1052 0 -1 4194304 22429 0 0 0 32637 12 0 0 25 0 1 0 279889370 92225536 22424 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1148/statm: 22516 22424 68 110 0 22403 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 93144

[startup+402.302 s]

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


[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1156
/proc/meminfo: memFree=1432296/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=3080 CPUtime=15.61
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 438 1877 0 0 332 30 1196 3 25 0 1 0 279887805 3153920 317 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1142/statm: 770 317 219 399 0 367 0
[pid=1148] ppid=1142 vsize=333596 CPUtime=4704.6
/proc/1148/stat : 1148 (tts-4-0) R 1142 1142 1052 0 -1 4194304 83316 0 0 0 470391 69 0 0 25 0 1 0 279889370 341602304 83311 1992294400 134512640 134965848 4294956208 18446744073709551615 134534065 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1148/statm: 83399 83311 68 110 0 83286 0
Current children cumulated CPU time (s) 4720.21
Current children cumulated vsize (KiB) 336676

[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1156
/proc/meminfo: memFree=1429160/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=3080 CPUtime=15.61
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 438 1877 0 0 332 30 1196 3 25 0 1 0 279887805 3153920 317 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1142/statm: 770 317 219 399 0 367 0
[pid=1148] ppid=1142 vsize=336880 CPUtime=4764.58
/proc/1148/stat : 1148 (tts-4-0) R 1142 1142 1052 0 -1 4194304 84127 0 0 0 476388 70 0 0 25 0 1 0 279889370 344965120 84122 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1148/statm: 84220 84122 68 110 0 84107 0
Current children cumulated CPU time (s) 4780.19
Current children cumulated vsize (KiB) 339960

[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1156
/proc/meminfo: memFree=1426856/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=3080 CPUtime=15.61
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 438 1877 0 0 332 30 1196 3 25 0 1 0 279887805 3153920 317 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1142/statm: 770 317 219 399 0 367 0
[pid=1148] ppid=1142 vsize=339224 CPUtime=4824.55
/proc/1148/stat : 1148 (tts-4-0) R 1142 1142 1052 0 -1 4194304 84700 0 0 0 482385 70 0 0 25 0 1 0 279889370 347365376 84695 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1148/statm: 84806 84695 68 110 0 84693 0
Current children cumulated CPU time (s) 4840.16
Current children cumulated vsize (KiB) 342304

[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1156
/proc/meminfo: memFree=1423080/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=3080 CPUtime=15.61
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 438 1877 0 0 332 30 1196 3 25 0 1 0 279887805 3153920 317 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1142/statm: 770 317 219 399 0 367 0
[pid=1148] ppid=1142 vsize=342972 CPUtime=4884.53
/proc/1148/stat : 1148 (tts-4-0) R 1142 1142 1052 0 -1 4194304 85636 0 0 0 488382 71 0 0 25 0 1 0 279889370 351203328 85631 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1148/statm: 85743 85631 68 110 0 85630 0
Current children cumulated CPU time (s) 4900.14
Current children cumulated vsize (KiB) 346052

[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1156
/proc/meminfo: memFree=1420456/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=3080 CPUtime=15.61
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 438 1877 0 0 332 30 1196 3 25 0 1 0 279887805 3153920 317 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1142/statm: 770 317 219 399 0 367 0
[pid=1148] ppid=1142 vsize=345552 CPUtime=4944.52
/proc/1148/stat : 1148 (tts-4-0) R 1142 1142 1052 0 -1 4194304 86298 0 0 0 494380 72 0 0 25 0 1 0 279889370 353845248 86293 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1148/statm: 86388 86293 68 110 0 86275 0
Current children cumulated CPU time (s) 4960.13
Current children cumulated vsize (KiB) 348632

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 1156
/proc/meminfo: memFree=1420264/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=3080 CPUtime=15.61
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 438 1877 0 0 332 30 1196 3 25 0 1 0 279887805 3153920 317 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1142/statm: 770 317 219 399 0 367 0
[pid=1148] ppid=1142 vsize=345784 CPUtime=4948.52
/proc/1148/stat : 1148 (tts-4-0) R 1142 1142 1052 0 -1 4194304 86337 0 0 0 494780 72 0 0 25 0 1 0 279889370 354082816 86332 1992294400 134512640 134965848 4294956208 18446744073709551615 134534120 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1148/statm: 86446 86332 68 110 0 86333 0
Current children cumulated CPU time (s) 4964.13
Current children cumulated vsize (KiB) 348864

[startup+4979.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1156
/proc/meminfo: memFree=1419944/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=3080 CPUtime=15.61
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 438 1877 0 0 332 30 1196 3 25 0 1 0 279887805 3153920 317 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1142/statm: 770 317 219 399 0 367 0
[pid=1148] ppid=1142 vsize=346020 CPUtime=4961.31
/proc/1148/stat : 1148 (tts-4-0) R 1142 1142 1052 0 -1 4194304 86412 0 0 0 496059 72 0 0 25 0 1 0 279889370 354324480 86407 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1148/statm: 86505 86407 68 110 0 86392 0
Current children cumulated CPU time (s) 4976.92
Current children cumulated vsize (KiB) 349100

[startup+4991.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1156
/proc/meminfo: memFree=1419816/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=3080 CPUtime=15.61
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 438 1877 0 0 332 30 1196 3 25 0 1 0 279887805 3153920 317 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1142/statm: 770 317 219 399 0 367 0
[pid=1148] ppid=1142 vsize=346020 CPUtime=4974.11
/proc/1148/stat : 1148 (tts-4-0) R 1142 1142 1052 0 -1 4194304 86452 0 0 0 497339 72 0 0 25 0 1 0 279889370 354324480 86447 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1148/statm: 86505 86447 68 110 0 86392 0
Current children cumulated CPU time (s) 4989.72
Current children cumulated vsize (KiB) 349100

[startup+4995.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1156
/proc/meminfo: memFree=1419752/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=3080 CPUtime=15.61
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 438 1877 0 0 332 30 1196 3 25 0 1 0 279887805 3153920 317 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1142/statm: 770 317 219 399 0 367 0
[pid=1148] ppid=1142 vsize=346256 CPUtime=4977.31
/proc/1148/stat : 1148 (tts-4-0) R 1142 1142 1052 0 -1 4194304 86462 0 0 0 497659 72 0 0 25 0 1 0 279889370 354566144 86457 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1148/statm: 86564 86457 68 110 0 86451 0
Current children cumulated CPU time (s) 4992.92
Current children cumulated vsize (KiB) 349336

[startup+4998.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1156
/proc/meminfo: memFree=1419752/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=3080 CPUtime=15.61
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 438 1877 0 0 332 30 1196 3 25 0 1 0 279887805 3153920 317 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1142/statm: 770 317 219 399 0 367 0
[pid=1148] ppid=1142 vsize=346256 CPUtime=4980.51
/proc/1148/stat : 1148 (tts-4-0) R 1142 1142 1052 0 -1 4194304 86471 0 0 0 497979 72 0 0 25 0 1 0 279889370 354566144 86466 1992294400 134512640 134965848 4294956208 18446744073709551615 134534126 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1148/statm: 86564 86466 68 110 0 86451 0
Current children cumulated CPU time (s) 4996.12
Current children cumulated vsize (KiB) 349336

[startup+4999.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1156
/proc/meminfo: memFree=1419752/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=3080 CPUtime=15.61
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 438 1877 0 0 332 30 1196 3 25 0 1 0 279887805 3153920 317 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1142/statm: 770 317 219 399 0 367 0
[pid=1148] ppid=1142 vsize=346256 CPUtime=4982.1
/proc/1148/stat : 1148 (tts-4-0) R 1142 1142 1052 0 -1 4194304 86475 0 0 0 498138 72 0 0 25 0 1 0 279889370 354566144 86470 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1148/statm: 86564 86470 68 110 0 86451 0
Current children cumulated CPU time (s) 4997.71
Current children cumulated vsize (KiB) 349336

[startup+5000.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1156
/proc/meminfo: memFree=1419688/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=3080 CPUtime=15.61
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 438 1877 0 0 332 30 1196 3 25 0 1 0 279887805 3153920 317 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1142/statm: 770 317 219 399 0 367 0
[pid=1148] ppid=1142 vsize=346256 CPUtime=4982.9
/proc/1148/stat : 1148 (tts-4-0) R 1142 1142 1052 0 -1 4194304 86477 0 0 0 498218 72 0 0 25 0 1 0 279889370 354566144 86472 1992294400 134512640 134965848 4294956208 18446744073709551615 134534047 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1148/statm: 86564 86472 68 110 0 86451 0
Current children cumulated CPU time (s) 4998.51
Current children cumulated vsize (KiB) 349336

[startup+5000.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1156
/proc/meminfo: memFree=1419688/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=3080 CPUtime=15.61
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 438 1877 0 0 332 30 1196 3 25 0 1 0 279887805 3153920 317 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1142/statm: 770 317 219 399 0 367 0
[pid=1148] ppid=1142 vsize=346256 CPUtime=4983.1
/proc/1148/stat : 1148 (tts-4-0) R 1142 1142 1052 0 -1 4194304 86478 0 0 0 498238 72 0 0 25 0 1 0 279889370 354566144 86473 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1148/statm: 86564 86473 68 110 0 86451 0
Current children cumulated CPU time (s) 4998.71
Current children cumulated vsize (KiB) 349336

[startup+5001 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1156
/proc/meminfo: memFree=1419688/2055920 swapFree=4176228/4192956
[pid=1142] ppid=1140 vsize=3080 CPUtime=15.61
/proc/1142/stat : 1142 (SATzilla2009_C) S 1140 1142 1052 0 -1 4194304 438 1877 0 0 332 30 1196 3 25 0 1 0 279887805 3153920 317 1992294400 134512640 136149437 4294956224 18446744073709551615 135542781 0 0 4096 3 18446744071563356171 0 0 17 0 0 0
/proc/1142/statm: 770 317 219 399 0 367 0
[pid=1148] ppid=1142 vsize=346256 CPUtime=4983.2
/proc/1148/stat : 1148 (tts-4-0) R 1142 1142 1052 0 -1 4194304 86478 0 0 0 498248 72 0 0 25 0 1 0 279889370 354566144 86473 1992294400 134512640 134965848 4294956208 18446744073709551615 134534071 0 0 8392704 0 0 0 0 17 0 0 0
/proc/1148/statm: 86564 86473 68 110 0 86451 0
Current children cumulated CPU time (s) 4998.81
Current children cumulated vsize (KiB) 349336

Child status: 17
Real time (s): 5001.08
CPU time (s): 4998.92
CPU user time (s): 4997.8
CPU system time (s): 1.11483
CPU usage (%): 99.9567
Max. virtual memory (cumulated for all children) (KiB): 349336

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

runsolver used 3.84841 second user time and 14.3438 second system time

The end

Launcher Data 

Begin job on node48 at 2009-05-17 02:03:20
IDJOB=1825892
IDBENCH=71790
IDSOLVER=668
FILE ID=node48/1825892-1242518600
PBS_JOBID= 9307042
Free space on /tmp= 66292 MiB

SOLVER NAME= SATzilla2009_C 2009-03-22
BENCH NAME= SAT09/CRAFTED/sgen/unsat/sgen1-unsat-139-100.cnf
COMMAND LINE= HOME/SATzilla2009_C BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1825892-1242518600/watcher-1825892-1242518600 -o /tmp/evaluation-result-1825892-1242518600/solver-1825892-1242518600 -C 5000 -W 6000 -M 1800  HOME/SATzilla2009_C HOME/instance-1825892-1242518600.cnf

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

MD5SUM BENCH= 80608540c01a8d414386c5ef53d181de
RANDOM SEED=1621559608

node48.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.209
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.209
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:       1768032 kB
Buffers:         48308 kB
Cached:         184944 kB
SwapCached:      11480 kB
Active:          97012 kB
Inactive:       149344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1768032 kB
SwapTotal:     4192956 kB
SwapFree:      4176228 kB
Dirty:           31476 kB
Writeback:           0 kB
Mapped:          14068 kB
Slab:            27552 kB
Committed_AS:  1067160 kB
PageTables:       1368 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= 66260 MiB
End job on node48 at 2009-05-17 03:26:42