Trace number 3369435

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
CryptoMiniSat Strange-Night-1-mt (fixed)UNSAT 48.5426 12.2734

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf
MD5SUMa2c0a22b1392549d2fca6c4b89170828
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2.11468
Satisfiable
(Un)Satisfiability was proved
Number of variables156721
Number of clauses469046
Sum of the clauses size1094438
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2312696
Number of clauses of size 3156348
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369435-1305394253.cnf'
0.00/0.01	c -- header says num vars:         156721
0.00/0.01	c -- header says num clauses:      469046
2.59/0.68	c -- clauses added:            0 learnts,       469046 normals,            0 xors
2.59/0.68	c -- vars added     156721
2.59/0.68	c Parsing time:  0.78 s
2.59/0.68	c  N st     0         0    156721    156348    312696         0   1094436         0   no data   no data  --
2.59/0.68	c asymm  cl-useful: 0/3783/156347 lits-rem:0 time: 1.42
39.26/9.94	c Flit:   242 Blit:  11103 bXBeca:    0 bXProp: 4927 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 36.86
39.26/9.97	c Cleaning up after failed var search:     0.08 s 
39.66/10.01	c Replacing     4928 vars Replaced    94779 lits Time:     0.14 s 
39.66/10.07	c bin-w-bin subsume rem          291 bins  time:  0.10 s
40.05/10.13	c subs with bin:        1  lits-rem:         1  v-fix:    0  time:  0.22 s
44.45/11.26	c Subs w/ non-existent bins:   2188 l-rem:   1987 v-fix:   201 done: 109576 time:  4.51 s
44.86/11.37	c Removed useless bin:     546  fixed:     0  props:  20.00M  time:  0.44 s
47.23/11.94	c lits-rem:         0  cl-subs:    13415  v-elim:  45704  v-fix:    0  time:  2.16 s
47.23/11.96	c Finding binary XORs  T:     0.11 s  found:    6580
47.63/12.00	c Replacing     6580 vars Replaced   104244 lits Time:     0.15 s 
47.63/12.09	c Finding non-binary XORs:     0.24 s (found:      15, avg size: 3.0)
47.63/12.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
48.02/12.11	c Calc default polars -  time:   0.06 s pos:    2461 undec:   72304 neg:   81956
48.02/12.11	c =========================================================================================
48.02/12.11	c types(t): F = full restart, N = normal restart
48.02/12.11	c types(t): S = simplification begin/end, E = solution found
48.02/12.11	c restart types(rt): st = static, dy = dynamic
48.02/12.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
48.02/12.11	c  B st     0         0     84627    139791    162994         0    879451         0   no data   no data  --
48.39/12.25	c Following stats are for *FIRST FINISHED THREAD ONLY*
48.39/12.25	c num threads              : 4          
48.39/12.25	c restarts                 : 64         
48.39/12.25	c dynamic restarts         : 64         
48.39/12.25	c static restarts          : 0          
48.39/12.25	c full restarts            : 0          
48.39/12.25	c total simplify time      : 0.35       
48.39/12.25	c learnts DL2              : 0          
48.39/12.25	c learnts size 2           : 318736     
48.39/12.25	c learnts size 1           : 14781       (9.43      % of vars)
48.39/12.25	c filedLit time            : 0.00        (0.00      % time)
48.39/12.25	c v-elim SatELite          : 0           (0.00      % vars)
48.39/12.25	c SatELite time            : 0.00        (0.00      % time)
48.39/12.25	c v-elim xor               : 0           (0.00      % vars)
48.39/12.25	c xor elim time            : 0.00        (0.00      % time)
48.39/12.25	c num binary xor trees     : 0          
48.39/12.25	c binxor trees' crown      : 0           (nan       leafs/tree)
48.39/12.25	c bin xor find time        : 0.15       
48.39/12.25	c OTF clause improved      : 124         (0.01      clauses/conflict)
48.39/12.25	c OTF impr. size diff      : 135         (1.09       lits/clause)
48.39/12.25	c OTF cl watch-shrink      : 2398        (0.24      clauses/conflict)
48.39/12.25	c OTF cl watch-sh-lit      : 5811        (2.42       lits/clause)
48.39/12.25	c tried to recurMin cls    : 5271        (51.90      % of conflicts)
48.39/12.25	c updated cache            : 6964        (1.32       lits/tried recurMin)
48.39/12.25	c unit cls received        : 0           (0.00      % of units)
48.39/12.25	c unit cls sent            : 5641        (38.16     % of units)
48.39/12.25	c bin cls received         : 0          
48.39/12.25	c bin cls sent             : 5854       
48.39/12.25	c clauses over max glue    : 0           (0.00      % of all clauses)
48.39/12.25	c conflicts                : 10157       (211.11    / sec)
48.39/12.25	c decisions                : 28633       (1.70      % random)
48.39/12.25	c bogo-props               : 150000000   (3117745.72 / sec)
48.39/12.25	c conflict literals        : 188420      (43.39     % deleted)
48.39/12.25	c Memory used              : 705.00      MB
48.39/12.25	c single-thread CPU time   : 48.11       s
48.39/12.25	c all-threads sum CPU time : 48.11       s
48.39/12.25	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369435-1305394253/watcher-3369435-1305394253 -o /tmp/evaluation-result-3369435-1305394253/solver-3369435-1305394253 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369435-1305394253.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.11 8.00 7.61 3/342 11903
/proc/meminfo: memFree=18061652/32951124 swapFree=67082152/67111528
[pid=11903] ppid=11901 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11903/stat : 11903 (strangenight1-m) R 11901 11903 11396 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 4 0 651023290 52465664 352 33554432000 4194304 4650419 140735317814000 18446744073709551615 47159046449074 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11903/statm: 12809 352 303 112 0 7774 0
[pid=11903/tid=11904] ppid=11901 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11903/task/11904/stat : 11904 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651023290 52465664 352 33554432000 4194304 4650419 140735317814000 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11903/tid=11905] ppid=11901 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11903/task/11905/stat : 11905 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651023290 52465664 352 33554432000 4194304 4650419 140735317814000 18446744073709551615 47159046449068 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11903/tid=11906] ppid=11901 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/11903/task/11906/stat : 11906 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651023290 52465664 352 33554432000 4194304 4650419 140735317814000 18446744073709551615 47159046449074 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.080178 s]
/proc/loadavg: 8.11 8.00 7.61 3/342 11903
/proc/meminfo: memFree=18061652/32951124 swapFree=67082152/67111528
[pid=11903] ppid=11901 vsize=320548 CPUtime=0.24 cores=0,2,4,6
/proc/11903/stat : 11903 (strangenight1-m) S 11901 11903 11396 0 -1 4202496 18448 0 0 0 20 4 0 0 18 0 4 0 651023290 328241152 14277 33554432000 4194304 4650419 140735317814000 18446744073709551615 228244453870 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11903/statm: 80137 14389 344 112 0 75102 0
[pid=11903/tid=11904] ppid=11901 vsize=320548 CPUtime=0.05 cores=0,2,4,6
/proc/11903/task/11904/stat : 11904 (strangenight1-m) S 11901 11903 11396 0 -1 4202560 4466 0 0 0 4 1 0 0 17 0 4 0 651023290 328241152 14526 33554432000 4194304 4650419 140735317814000 18446744073709551615 228244453870 0 0 4096 2 18446604450813551552 0 0 -1 6 0 0 0
[pid=11903/tid=11905] ppid=11901 vsize=320548 CPUtime=0.06 cores=0,2,4,6
/proc/11903/task/11905/stat : 11905 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 4528 0 0 0 5 1 0 0 18 0 4 0 651023290 328241152 14593 33554432000 4194304 4650419 140735317814000 18446744073709551615 228244453919 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11903/tid=11906] ppid=11901 vsize=386084 CPUtime=0.06 cores=0,2,4,6
/proc/11903/task/11906/stat : 11906 (strangenight1-m) S 11901 11903 11396 0 -1 4202560 4653 0 0 0 6 0 0 0 18 0 4 0 651023290 395350016 14685 33554432000 4194304 4650419 140735317814000 18446744073709551615 228244453870 0 0 4096 2 18446604450813551552 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 320548

[startup+0.108208 s]
/proc/loadavg: 8.11 8.00 7.61 3/342 11903
/proc/meminfo: memFree=18061652/32951124 swapFree=67082152/67111528
[pid=11903] ppid=11901 vsize=394844 CPUtime=0.34 cores=0,2,4,6
/proc/11903/stat : 11903 (strangenight1-m) R 11901 11903 11396 0 -1 4202496 23850 0 0 0 27 7 0 0 18 0 4 0 651023290 404320256 19622 33554432000 4194304 4650419 140735317814000 18446744073709551615 228244453919 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11903/statm: 98711 19763 344 112 0 93676 0
[pid=11903/tid=11904] ppid=11901 vsize=394844 CPUtime=0.07 cores=0,2,4,6
/proc/11903/task/11904/stat : 11904 (strangenight1-m) S 11901 11903 11396 0 -1 4202560 5594 0 0 0 6 1 0 0 17 0 4 0 651023290 404320256 19868 33554432000 4194304 4650419 140735317814000 18446744073709551615 228244453870 0 0 4096 2 18446604450813551552 0 0 -1 6 0 0 0
[pid=11903/tid=11905] ppid=11901 vsize=394844 CPUtime=0.08 cores=0,2,4,6
/proc/11903/task/11905/stat : 11905 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 6045 0 0 0 6 2 0 0 18 0 4 0 651023290 404320256 19906 33554432000 4194304 4650419 140735317814000 18446744073709551615 228244453870 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11903/tid=11906] ppid=11901 vsize=394844 CPUtime=0.08 cores=0,2,4,6
/proc/11903/task/11906/stat : 11906 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 6087 0 0 0 7 1 0 0 18 0 4 0 651023290 404320256 20160 33554432000 4194304 4650419 140735317814000 18446744073709551615 228244392119 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 394844

[startup+0.307397 s]
/proc/loadavg: 8.11 8.00 7.61 3/342 11903
/proc/meminfo: memFree=18061652/32951124 swapFree=67082152/67111528
[pid=11903] ppid=11901 vsize=496276 CPUtime=1.01 cores=0,2,4,6
/proc/11903/stat : 11903 (strangenight1-m) R 11901 11903 11396 0 -1 4202496 75689 0 0 0 76 25 0 0 17 0 4 0 651023290 508186624 58601 33554432000 4194304 4650419 140735317814000 18446744073709551615 4372210 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11903/statm: 124069 58773 344 112 0 119034 0
[pid=11903/tid=11904] ppid=11901 vsize=496276 CPUtime=0.23 cores=0,2,4,6
/proc/11903/task/11904/stat : 11904 (strangenight1-m) S 11901 11903 11396 0 -1 4202560 17526 0 0 0 17 6 0 0 17 0 4 0 651023290 508186624 58901 33554432000 4194304 4650419 140735317814000 18446744073709551615 228244453870 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11903/tid=11905] ppid=11901 vsize=496276 CPUtime=0.25 cores=0,2,4,6
/proc/11903/task/11905/stat : 11905 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 20087 0 0 0 18 7 0 0 17 0 4 0 651023290 508186624 59079 33554432000 4194304 4650419 140735317814000 18446744073709551615 4547078 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11903/tid=11906] ppid=11901 vsize=496276 CPUtime=0.26 cores=0,2,4,6
/proc/11903/task/11906/stat : 11906 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 19218 0 0 0 21 5 0 0 17 0 4 0 651023290 508186624 59265 33554432000 4194304 4650419 140735317814000 18446744073709551615 4308011 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 496276

[startup+0.905941 s]
/proc/loadavg: 8.11 8.00 7.61 3/342 11903
/proc/meminfo: memFree=18061652/32951124 swapFree=67082152/67111528
[pid=11903] ppid=11901 vsize=532528 CPUtime=3.39 cores=0,2,4,6
/proc/11903/stat : 11903 (strangenight1-m) R 11901 11903 11396 0 -1 4202496 85205 0 0 0 311 28 0 0 18 0 4 0 651023290 545308672 65331 33554432000 4194304 4650419 140735317814000 18446744073709551615 228244007154 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11903/statm: 133132 65331 373 112 0 128097 0
[pid=11903/tid=11904] ppid=11901 vsize=532528 CPUtime=0.82 cores=0,2,4,6
/proc/11903/task/11904/stat : 11904 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 20247 0 0 0 75 7 0 0 18 0 4 0 651023290 545308672 65331 33554432000 4194304 4650419 140735317814000 18446744073709551615 228244453870 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11903/tid=11905] ppid=11901 vsize=532528 CPUtime=0.84 cores=0,2,4,6
/proc/11903/task/11905/stat : 11905 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 22886 0 0 0 77 7 0 0 18 0 4 0 651023290 545308672 65331 33554432000 4194304 4650419 140735317814000 18446744073709551615 4243552 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11903/tid=11906] ppid=11901 vsize=532528 CPUtime=0.84 cores=0,2,4,6
/proc/11903/task/11906/stat : 11906 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 20551 0 0 0 79 5 0 0 18 0 4 0 651023290 545308672 65331 33554432000 4194304 4650419 140735317814000 18446744073709551615 4364944 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 532528

[startup+1.51288 s]
/proc/loadavg: 8.11 8.00 7.61 9/346 11907
/proc/meminfo: memFree=17777400/32951124 swapFree=67082152/67111528
[pid=11903] ppid=11901 vsize=532528 CPUtime=5.8 cores=0,2,4,6
/proc/11903/stat : 11903 (strangenight1-m) R 11901 11903 11396 0 -1 4202496 85315 0 0 0 552 28 0 0 19 0 4 0 651023290 545308672 65441 33554432000 4194304 4650419 140735317814000 18446744073709551615 4369075 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11903/statm: 133132 65441 373 112 0 128097 0
[pid=11903/tid=11904] ppid=11901 vsize=532528 CPUtime=1.42 cores=0,2,4,6
/proc/11903/task/11904/stat : 11904 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 20314 0 0 0 135 7 0 0 19 0 4 0 651023290 545308672 65441 33554432000 4194304 4650419 140735317814000 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11903/tid=11905] ppid=11901 vsize=532528 CPUtime=1.44 cores=0,2,4,6
/proc/11903/task/11905/stat : 11905 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 22888 0 0 0 137 7 0 0 19 0 4 0 651023290 545308672 65441 33554432000 4194304 4650419 140735317814000 18446744073709551615 4369856 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11903/tid=11906] ppid=11901 vsize=532528 CPUtime=1.45 cores=0,2,4,6
/proc/11903/task/11906/stat : 11906 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 20592 0 0 0 140 5 0 0 19 0 4 0 651023290 545308672 65441 33554432000 4194304 4650419 140735317814000 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.8
Current children cumulated vsize (KiB) 532528

[startup+3.1006 s]
/proc/loadavg: 8.10 8.00 7.61 9/346 11907
/proc/meminfo: memFree=17775664/32951124 swapFree=67082152/67111528
[pid=11903] ppid=11901 vsize=532528 CPUtime=12.14 cores=0,2,4,6
/proc/11903/stat : 11903 (strangenight1-m) R 11901 11903 11396 0 -1 4202496 85404 0 0 0 1186 28 0 0 23 0 4 0 651023290 545308672 65530 33554432000 4194304 4650419 140735317814000 18446744073709551615 4369954 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11903/statm: 133132 65530 373 112 0 128097 0
[pid=11903/tid=11904] ppid=11901 vsize=532528 CPUtime=2.99 cores=0,2,4,6
/proc/11903/task/11904/stat : 11904 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 20319 0 0 0 292 7 0 0 23 0 4 0 651023290 545308672 65530 33554432000 4194304 4650419 140735317814000 18446744073709551615 4245055 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11903/tid=11905] ppid=11901 vsize=532528 CPUtime=3.03 cores=0,2,4,6
/proc/11903/task/11905/stat : 11905 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 22889 0 0 0 296 7 0 0 23 0 4 0 651023290 545308672 65530 33554432000 4194304 4650419 140735317814000 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11903/tid=11906] ppid=11901 vsize=532528 CPUtime=3.04 cores=0,2,4,6
/proc/11903/task/11906/stat : 11906 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 20674 0 0 0 299 5 0 0 23 0 4 0 651023290 545308672 65530 33554432000 4194304 4650419 140735317814000 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.14
Current children cumulated vsize (KiB) 532528

[startup+6.30103 s]
/proc/loadavg: 8.10 8.00 7.61 10/346 11907
/proc/meminfo: memFree=17662020/32951124 swapFree=67082152/67111528
[pid=11903] ppid=11901 vsize=539876 CPUtime=24.89 cores=0,2,4,6
/proc/11903/stat : 11903 (strangenight1-m) R 11901 11903 11396 0 -1 4202496 87478 0 0 0 2461 28 0 0 25 0 4 0 651023290 552833024 67604 33554432000 4194304 4650419 140735317814000 18446744073709551615 4369240 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11903/statm: 134969 67604 374 112 0 129934 0
[pid=11903/tid=11904] ppid=11901 vsize=539876 CPUtime=6.16 cores=0,2,4,6
/proc/11903/task/11904/stat : 11904 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 20324 0 0 0 608 8 0 0 25 0 4 0 651023290 552833024 67604 33554432000 4194304 4650419 140735317814000 18446744073709551615 4302838 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11903/tid=11905] ppid=11901 vsize=539876 CPUtime=6.23 cores=0,2,4,6
/proc/11903/task/11905/stat : 11905 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 22893 0 0 0 616 7 0 0 25 0 4 0 651023290 552833024 67604 33554432000 4194304 4650419 140735317814000 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11903/tid=11906] ppid=11901 vsize=539876 CPUtime=6.24 cores=0,2,4,6
/proc/11903/task/11906/stat : 11906 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 22736 0 0 0 619 5 0 0 25 0 4 0 651023290 552833024 67604 33554432000 4194304 4650419 140735317814000 18446744073709551615 47159046424107 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.89
Current children cumulated vsize (KiB) 539876

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

[startup+6.70096 s]
/proc/loadavg: 8.10 8.00 7.61 10/346 11907
/proc/meminfo: memFree=17662020/32951124 swapFree=67082152/67111528
[pid=11903] ppid=11901 vsize=539876 CPUtime=26.49 cores=0,2,4,6
/proc/11903/stat : 11903 (strangenight1-m) R 11901 11903 11396 0 -1 4202496 87480 0 0 0 2621 28 0 0 25 0 4 0 651023290 552833024 67606 33554432000 4194304 4650419 140735317814000 18446744073709551615 4302825 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11903/statm: 134969 67606 374 112 0 129934 0
[pid=11903/tid=11904] ppid=11901 vsize=539876 CPUtime=6.56 cores=0,2,4,6
/proc/11903/task/11904/stat : 11904 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 20325 0 0 0 648 8 0 0 25 0 4 0 651023290 552833024 67606 33554432000 4194304 4650419 140735317814000 18446744073709551615 4370379 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11903/tid=11905] ppid=11901 vsize=539876 CPUtime=6.63 cores=0,2,4,6
/proc/11903/task/11905/stat : 11905 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 22894 0 0 0 656 7 0 0 25 0 4 0 651023290 552833024 67606 33554432000 4194304 4650419 140735317814000 18446744073709551615 4369221 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11903/tid=11906] ppid=11901 vsize=539876 CPUtime=6.64 cores=0,2,4,6
/proc/11903/task/11906/stat : 11906 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 22736 0 0 0 659 5 0 0 25 0 4 0 651023290 552833024 67606 33554432000 4194304 4650419 140735317814000 18446744073709551615 47159046424107 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 26.49
Current children cumulated vsize (KiB) 539876

[startup+9.9004 s]
/proc/loadavg: 8.09 8.00 7.62 9/346 11907
/proc/meminfo: memFree=17662544/32951124 swapFree=67082152/67111528
[pid=11903] ppid=11901 vsize=539876 CPUtime=39.26 cores=0,2,4,6
/proc/11903/stat : 11903 (strangenight1-m) R 11901 11903 11396 0 -1 4202496 87529 0 0 0 3898 28 0 0 25 0 4 0 651023290 552833024 67655 33554432000 4194304 4650419 140735317814000 18446744073709551615 4369968 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11903/statm: 134969 67655 374 112 0 129934 0
[pid=11903/tid=11904] ppid=11901 vsize=539876 CPUtime=9.72 cores=0,2,4,6
/proc/11903/task/11904/stat : 11904 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 20348 0 0 0 964 8 0 0 25 0 4 0 651023290 552833024 67655 33554432000 4194304 4650419 140735317814000 18446744073709551615 4243596 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11903/tid=11905] ppid=11901 vsize=539876 CPUtime=9.83 cores=0,2,4,6
/proc/11903/task/11905/stat : 11905 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 22897 0 0 0 976 7 0 0 25 0 4 0 651023290 552833024 67655 33554432000 4194304 4650419 140735317814000 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11903/tid=11906] ppid=11901 vsize=539876 CPUtime=9.84 cores=0,2,4,6
/proc/11903/task/11906/stat : 11906 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 22736 0 0 0 979 5 0 0 25 0 4 0 651023290 552833024 67655 33554432000 4194304 4650419 140735317814000 18446744073709551615 47159046424260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39.26
Current children cumulated vsize (KiB) 539876

[startup+11.5011 s]
/proc/loadavg: 8.09 8.00 7.62 9/346 11907
/proc/meminfo: memFree=17544000/32951124 swapFree=67082152/67111528
[pid=11903] ppid=11901 vsize=557388 CPUtime=45.63 cores=0,2,4,6
/proc/11903/stat : 11903 (strangenight1-m) R 11901 11903 11396 0 -1 4202496 108186 0 0 0 4531 32 0 0 25 0 4 0 651023290 570765312 87529 33554432000 4194304 4650419 140735317814000 18446744073709551615 4426459 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11903/statm: 139347 87531 388 112 0 134312 0
[pid=11903/tid=11904] ppid=11901 vsize=557388 CPUtime=11.3 cores=0,2,4,6
/proc/11903/task/11904/stat : 11904 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 25890 0 0 0 1121 9 0 0 25 0 4 0 651023290 570765312 87532 33554432000 4194304 4650419 140735317814000 18446744073709551615 4303407 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11903/tid=11905] ppid=11901 vsize=557388 CPUtime=11.43 cores=0,2,4,6
/proc/11903/task/11905/stat : 11905 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 30328 0 0 0 1134 9 0 0 20 0 4 0 651023290 570765312 87534 33554432000 4194304 4650419 140735317814000 18446744073709551615 228244010017 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11903/tid=11906] ppid=11901 vsize=557388 CPUtime=11.44 cores=0,2,4,6
/proc/11903/task/11906/stat : 11906 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 22736 0 0 0 1139 5 0 0 25 0 4 0 651023290 570765312 87534 33554432000 4194304 4650419 140735317814000 18446744073709551615 47159046424256 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 45.63
Current children cumulated vsize (KiB) 557388

[startup+11.9011 s]
/proc/loadavg: 8.09 8.00 7.62 9/346 11907
/proc/meminfo: memFree=17544000/32951124 swapFree=67082152/67111528
[pid=11903] ppid=11901 vsize=720988 CPUtime=47.23 cores=0,2,4,6
/proc/11903/stat : 11903 (strangenight1-m) R 11901 11903 11396 0 -1 4202496 133880 0 0 0 4684 39 0 0 25 0 4 0 651023290 738291712 111324 33554432000 4194304 4650419 140735317814000 18446744073709551615 4422644 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11903/statm: 180247 111324 388 112 0 175212 0
[pid=11903/tid=11904] ppid=11901 vsize=720988 CPUtime=11.7 cores=0,2,4,6
/proc/11903/task/11904/stat : 11904 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 33760 0 0 0 1158 12 0 0 25 0 4 0 651023290 738291712 111324 33554432000 4194304 4650419 140735317814000 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11903/tid=11905] ppid=11901 vsize=720988 CPUtime=11.84 cores=0,2,4,6
/proc/11903/task/11905/stat : 11905 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 39219 0 0 0 1172 12 0 0 20 0 4 0 651023290 738291712 111324 33554432000 4194304 4650419 140735317814000 18446744073709551615 4528513 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11903/tid=11906] ppid=11901 vsize=720988 CPUtime=11.84 cores=0,2,4,6
/proc/11903/task/11906/stat : 11906 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 22736 0 0 0 1179 5 0 0 25 0 4 0 651023290 738291712 111324 33554432000 4194304 4650419 140735317814000 18446744073709551615 47159046424107 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47.23
Current children cumulated vsize (KiB) 720988

[startup+12.101 s]
/proc/loadavg: 8.09 8.00 7.62 9/346 11907
/proc/meminfo: memFree=17544000/32951124 swapFree=67082152/67111528
[pid=11903] ppid=11901 vsize=720988 CPUtime=48.02 cores=0,2,4,6
/proc/11903/stat : 11903 (strangenight1-m) R 11901 11903 11396 0 -1 4202496 139889 0 0 0 4762 40 0 0 25 0 4 0 651023290 738291712 115162 33554432000 4194304 4650419 140735317814000 18446744073709551615 4504161 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11903/statm: 180247 115162 392 112 0 175212 0
[pid=11903/tid=11904] ppid=11901 vsize=720988 CPUtime=11.9 cores=0,2,4,6
/proc/11903/task/11904/stat : 11904 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 38113 0 0 0 1177 13 0 0 25 0 4 0 651023290 738291712 115162 33554432000 4194304 4650419 140735317814000 18446744073709551615 4528498 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11903/tid=11905] ppid=11901 vsize=720988 CPUtime=12.03 cores=0,2,4,6
/proc/11903/task/11905/stat : 11905 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 39575 0 0 0 1191 12 0 0 21 0 4 0 651023290 738291712 115162 33554432000 4194304 4650419 140735317814000 18446744073709551615 47159046448659 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11903/tid=11906] ppid=11901 vsize=720988 CPUtime=12.04 cores=0,2,4,6
/proc/11903/task/11906/stat : 11906 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 22736 0 0 0 1199 5 0 0 25 0 4 0 651023290 738291712 115162 33554432000 4194304 4650419 140735317814000 18446744073709551615 47159046424107 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 48.02
Current children cumulated vsize (KiB) 720988

[startup+12.201 s]
/proc/loadavg: 8.09 8.00 7.62 9/346 11907
/proc/meminfo: memFree=17544000/32951124 swapFree=67082152/67111528
[pid=11903] ppid=11901 vsize=721920 CPUtime=48.39 cores=0,2,4,6
/proc/11903/stat : 11903 (strangenight1-m) R 11901 11903 11396 0 -1 4202496 140206 0 0 0 4799 40 0 0 25 0 4 0 651023290 739246080 115479 33554432000 4194304 4650419 140735317814000 18446744073709551615 47159046448663 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/11903/statm: 180480 115479 392 112 0 175445 0
[pid=11903/tid=11904] ppid=11901 vsize=721920 CPUtime=12 cores=0,2,4,6
/proc/11903/task/11904/stat : 11904 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 38430 0 0 0 1187 13 0 0 25 0 4 0 651023290 739246080 115479 33554432000 4194304 4650419 140735317814000 18446744073709551615 4385931 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11903/tid=11905] ppid=11901 vsize=721920 CPUtime=12.1 cores=0,2,4,6
/proc/11903/task/11905/stat : 11905 (strangenight1-m) S 11901 11903 11396 0 -1 4202560 39575 0 0 0 1198 12 0 0 21 0 4 0 651023290 739246080 115479 33554432000 4194304 4650419 140735317814000 18446744073709551615 47159046448692 0 0 4096 2 18446604450813551552 0 0 -1 4 0 0 0
[pid=11903/tid=11906] ppid=11901 vsize=721920 CPUtime=12.14 cores=0,2,4,6
/proc/11903/task/11906/stat : 11906 (strangenight1-m) R 11901 11903 11396 0 -1 4202560 22736 0 0 0 1209 5 0 0 25 0 4 0 651023290 739246080 115479 33554432000 4194304 4650419 140735317814000 18446744073709551615 47159046424107 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 48.39
Current children cumulated vsize (KiB) 721920

Child status: 20
Real time (s): 12.2734
CPU time (s): 48.5426
CPU user time (s): 48.1117
CPU system time (s): 0.430934
CPU usage (%): 395.51
Max. virtual memory (cumulated for all children) (KiB): 721920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 48.1117
system time used= 0.430934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140209
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= 17960
involuntary context switches= 278

runsolver used 0.039993 second user time and 0.096985 second system time

The end

Launcher Data 

Begin job on node136 at 2011-05-14 19:30:53
IDJOB=3369435
IDBENCH=82470
IDSOLVER=1846
FILE ID=node136/3369435-1305394253
RUNJOBID= node136-1305393047-11785
PBS_JOBID= 13324431
Free space on /tmp= 72976 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvqis8x8p2-tseitin.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369435-1305394253/watcher-3369435-1305394253 -o /tmp/evaluation-result-3369435-1305394253/solver-3369435-1305394253 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369435-1305394253.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= a2c0a22b1392549d2fca6c4b89170828
RANDOM SEED=397319428

node136.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18063172 kB
Buffers:        289968 kB
Cached:        5021352 kB
SwapCached:       2740 kB
Active:       10675716 kB
Inactive:      3871036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18063172 kB
SwapTotal:    67111528 kB
SwapFree:     67082152 kB
Dirty:           24896 kB
Writeback:           0 kB
AnonPages:     9233332 kB
Mapped:          27796 kB
Slab:           236948 kB
PageTables:      39292 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 70079420 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72972 MiB
End job on node136 at 2011-05-14 19:31:06