Trace number 3718484

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
PBPASSolver-CARD.DP 2012-05-28UNSAT 80.2468 80.3132

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb
MD5SUMfac1b7391a53ae9861d9e311ddf65af2
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.001998
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables220
Total number of constraints42
Number of constraints which are clauses22
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint11
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 12
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

80.20/80.31	cpython RunMakeCNF.py HOME/instance-3718484-1338269768.opb PrimePower CARD.DP ./CryptoMiniSat
80.20/80.31	./CryptoMiniSat HOME/instance-3718484-1338269768.opb.PrimePower.CARD.DP.cnf 1>HOME/instance-3718484-1338269768.opb.PrimePower.CARD.DP.cnf.CryptoMiniSat.out 2>HOME/instance-3718484-1338269768.opb.PrimePower.CARD.DP.cnf.CryptoMiniSat.err
80.20/80.31	
80.20/80.31	HOME/instance-3718484-1338269768.opb.PrimePower.CARD.DP.cnf.CryptoMiniSat.out
80.20/80.31	c Outputting solution to console
80.20/80.31	c This is CryptoMiniSat 2.9.1
80.20/80.31	c compiled with gcc version 4.4.6 20110731 (Red Hat 4.4.6-3)
80.20/80.31	c WARNING: for repeatability, setting FPU to use double precision
80.20/80.31	c Reading file 'HOME/instance-3718484-1338269768.opb.PrimePower.CARD.DP.cnf'
80.20/80.31	c -- header says num vars:          15044
80.20/80.31	c -- header says num clauses:       67065
80.20/80.31	c -- clauses added:            0 learnts,        67065 normals,            0 xors
80.20/80.31	c -- vars added      15043
80.20/80.31	c Parsing time:  0.02 s
80.20/80.31	c  N st     0         0     15043      8802         0     43540         0    117022         0   no data   no data  --
80.20/80.31	c asymm  cl-useful: 66/7502/7502 lits-rem:198 time: 0.04
80.20/80.31	c Flit:    40 Blit:   2940 bXBeca:    0 bXProp: 1440 Bins:      0 BRemL:      0 BRemN:      0 P:  2.9M T:  0.13
80.20/80.31	c Cleaning up after failed var search:     0.00 s 
80.20/80.31	c Replacing     1440 vars Replaced    24540 lits Time:     0.00 s 
80.20/80.31	c bin-w-bin subsume rem          560 bins  time:  0.00 s
80.20/80.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.20/80.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3580 time:  0.01 s
80.20/80.31	c Removed useless bin:     600  fixed:     0  props:   1.19M  time:  0.02 s
80.20/80.31	c lits-rem:         0  cl-subs:        0  v-elim:   1193  v-fix:    0  time:  0.00 s
80.20/80.31	c Finding binary XORs  T:     0.01 s  found:     610
80.20/80.31	c Replacing      610 vars Replaced     9483 lits Time:     0.00 s 
80.20/80.31	c Finding non-binary XORs:     0.00 s (found:      27, avg size: 3.0)
80.20/80.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    24 time:   0.00
80.20/80.31	c calculated reachability. Time: 0.00
80.20/80.31	c Calc default polars -  time:   0.00 s pos:     165 undec:   13286 neg:    1592
80.20/80.31	c =========================================================================================
80.20/80.31	c types(t): F = full restart, N = normal restart
80.20/80.31	c types(t): S = simplification begin/end, E = solution found
80.20/80.31	c restart types(rt): st = static, dy = dynamic
80.20/80.31	c  t rt  Rest     Confl      Vars   NormCls    XorCls    BinCls   Learnts    ClLits    LtLits
80.20/80.31	c  B st     0         0      1777      4860        27      6265         0     27885         0   no data   no data  --
80.20/80.31	c Decided on static restart strategy
80.20/80.31	c  N st     8      4915      1766      4860        27      6341      4658     27885    148715   no data   no data  --
80.20/80.31	c  N st    10     11297      1729      4565        27      6147      4352     26534    123841   no data   no data  --
80.20/80.31	c  N st    11     17042      1727      4565        27      6150      9857     26534    305575   no data   no data  --
80.20/80.31	c  F st    12     25000      1721      4565        27      6153     12125     26534    376391   no data   no data  --
80.20/80.31	c Replacing       12 vars Replaced      192 lits Time:     0.01 s 
80.20/80.31	c Found part      204 vars:        621 clauses:      4393 lits size:     11341
80.20/80.31	c Found part      317 vars:       1085 clauses:      6117 lits size:     14787
80.20/80.31	c Found parts:          2 time: 0.01 s
80.20/80.31	c Solving part 204
80.20/80.31	c  N st     0         0       621      2277        20      2182     12116     11341    375893   no data   no data  --
80.20/80.31	c asymm  cl-useful: 71/2277/2277 lits-rem:147 time: 0.03
80.20/80.31	c Flit:     0 Blit:    271 bXBeca:    0 bXProp:  140 Bins:      0 BRemL:      0 BRemN:      0 P:  3.0M T:  0.03
80.20/80.31	c Cleaning up after failed var search:     0.01 s 
80.20/80.31	c Finding binary XORs  T:     0.00 s  found:       0
80.20/80.31	c Replacing      140 vars Replaced    29703 lits Time:     0.05 s 
80.20/80.31	c Finding non-binary XORs:     0.00 s (found:      30, avg size: 3.0)
80.20/80.31	c calculated reachability. Time: 0.00
80.20/80.31	c Calc default polars -  time:   0.00 s pos:      20 undec:   14833 neg:     190
80.20/80.31	c =========================================================================================
80.20/80.31	c types(t): F = full restart, N = normal restart
80.20/80.31	c types(t): S = simplification begin/end, E = solution found
80.20/80.31	c restart types(rt): st = static, dy = dynamic
80.20/80.31	c  t rt  Rest     Confl      Vars   NormCls    XorCls    BinCls   Learnts    ClLits    LtLits
80.20/80.31	c  B st     0         0       210       431        50       802     12017      3000    371412   no data   no data  --
80.20/80.31	c Decided on static restart strategy
80.20/80.31	c  N st     8      4914       210       431        50       802     16590      3000    522671   no data   no data  --
80.20/80.31	c  N st    10     11298       210       431        50       802      7357      3000    199162   no data   no data  --
80.20/80.31	c  N st    11     17041       210       431        50       802     12691      3000    368953   no data   no data  --
80.20/80.31	c  F st    12     25002       210       431        50       802     13380      3000    391895   no data   no data  --
80.20/80.31	c  N st    12     25002       210       431        50       802     13380      3000    391895   no data   no data  --
80.20/80.31	c Decided on static restart strategy
80.20/80.31	c  N st    18     30197       210       431        50       802     11189      3000    313523   no data   no data  --
80.20/80.31	c  N st    20     37307       210       431        50       802     10061      3000    274727   no data   no data  --
80.20/80.31	c  N st    21     43709       210       431        50       802     16052      3000    456191   no data   no data  --
80.20/80.31	c  N st    22     53309       210       431        50       803     16443      3000    467745   no data   no data  --
80.20/80.31	c  N st    23     67706       210       431        50       805     20485      3000    577871   no data   no data  --
80.20/80.31	c  F st    24     87502       210       431        50       805     17466      3000    485193   no data   no data  --
80.20/80.31	c  N st    24     87502       210       431        50       805     17466      3000    485193   no data   no data  --
80.20/80.31	c Decided on static restart strategy
80.20/80.31	c  N st    31     95537       210       431        50       806     12867      3000    340681   no data   no data  --
80.20/80.31	c  N st    33    106203       210       431        50       806     22925      3000    660601   no data   no data  --
80.20/80.31	c  N st    34    115801       210       431        50       807     18748      3000    514021   no data   no data  --
80.20/80.31	c  N st    35    130198       210       431        50       807     18161      3000    496280   no data   no data  --
80.20/80.31	c  N st    36    151794       210       431        50       807     23319      3000    638801   no data   no data  --
80.20/80.31	c  N st    37    184186       210       431        50       808     20900      3000    551805   no data   no data  --
80.20/80.31	c Finding binary XORs  T:     0.00 s  found:       0
80.20/80.31	c  N st    38    232776       210       431        50       808     29782      3000    866751   no data   no data  --
80.20/80.31	c Finding binary XORs  T:     0.00 s  found:       0
80.20/80.31	c  N st    39    305659       208       431        50       797     35298      2982    952703   no data   no data  --
80.20/80.31	c  F st    40    306250       208       431        50       797     35854      2982    967918   no data   no data  --
80.20/80.31	c Decided on static restart strategy
80.20/80.31	c  N st    50    334553       208       431        50       798     40296      2982   1082257   no data   no data  --
80.20/80.31	c Finding binary XORs  T:     0.00 s  found:       0
80.20/80.31	c Replacing        3 vars Replaced    23286 lits Time:     0.12 s 
80.20/80.31	c  N st    52    370545       204       431        47       786     26099      2950    669992   no data   no data  --
80.20/80.31	c  N st    53    402939       204       431        47       787     31440      2950    820070   no data   no data  --
80.20/80.31	c  N st    54    451527       204       431        47       787     50459      2950   1328413   no data   no data  --
80.20/80.31	c Finding binary XORs  T:     0.00 s  found:       2
80.20/80.31	c Finding binary XORs  T:     0.00 s  found:       1
80.20/80.31	c Replacing        3 vars Replaced    17160 lits Time:     0.04 s 
80.20/80.31	c  E st    55    491420       153       366        40       700     17779      2508    360506   no data   no data  --
80.20/80.31	c num threads              : 1          
80.20/80.31	c restarts                 : 12         
80.20/80.31	c dynamic restarts         : 0          
80.20/80.31	c static restarts          : 12         
80.20/80.31	c full restarts            : 0          
80.20/80.31	c total simplify time      : 0.00       
80.20/80.31	c learnts DL2              : 0          
80.20/80.31	c learnts size 2           : 45136      
80.20/80.31	c learnts size 1           : 10082       (67.02     % of vars)
80.20/80.31	c filedLit time            : 0.13        (0.16      % time)
80.20/80.31	c v-elim SatELite          : 1193        (7.93      % vars)
80.20/80.31	c SatELite time            : 0.01        (0.01      % time)
80.20/80.31	c v-elim xor               : 0           (0.00      % vars)
80.20/80.31	c xor elim time            : 0.00        (0.00      % time)
80.20/80.31	c num binary xor trees     : 754        
80.20/80.31	c binxor trees' crown      : 2062        (2.73      leafs/tree)
80.20/80.31	c bin xor find time        : 0.01       
80.20/80.31	c OTF clause improved      : 1108        (0.04      clauses/conflict)
80.20/80.31	c OTF impr. size diff      : 1222        (1.10       lits/clause)
80.20/80.31	c OTF cl watch-shrink      : 11163       (0.45      clauses/conflict)
80.20/80.31	c OTF cl watch-sh-lit      : 18787       (1.68       lits/clause)
80.20/80.31	c tried to recurMin cls    : 1821        (7.28       % of conflicts)
80.20/80.31	c updated cache            : 0           (0.00       lits/tried recurMin)
80.20/80.31	c clauses over max glue    : 0           (0.00      % of all clauses)
80.20/80.31	c conflicts                : 25000       (315.27    / sec)
80.20/80.31	c decisions                : 28229       (0.00      % random)
80.20/80.31	c bogo-props               : 184636018   (2328383.42 / sec)
80.20/80.31	c conflict literals        : 823549      (21.97     % deleted)
80.20/80.31	c Memory used              : 60.51       MB
80.20/80.31	c CPU time                 : 79.30       s
80.20/80.31	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3718484-1338269768/watcher-3718484-1338269768 -o /tmp/evaluation-result-3718484-1338269768/solver-3718484-1338269768 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718484-1338269768.opb PrimePower CARD.DP ./CryptoMiniSat 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.00 1.91 1.25 3/178 32001
/proc/meminfo: memFree=30544792/32873648 swapFree=6612/6612
[pid=32001] ppid=31999 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/32001/stat : 32001 (python) D 31999 32001 31725 0 -1 4202496 672 0 0 0 0 0 0 0 20 0 1 0 293101293 15642624 559 33554432000 4194304 5683644 140735590382688 140735590350632 212073268112 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/32001/statm: 3819 559 324 364 0 261 0

[startup+0.011472 s]
/proc/loadavg: 2.00 1.91 1.25 3/178 32001
/proc/meminfo: memFree=30544792/32873648 swapFree=6612/6612
[pid=32001] ppid=31999 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/32001/stat : 32001 (python) D 31999 32001 31725 0 -1 4202496 754 0 0 0 0 0 0 0 20 0 1 0 293101293 15749120 628 33554432000 4194304 5683644 140735590382688 140735590327416 212073268112 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/32001/statm: 3845 628 333 364 0 287 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380

[startup+0.100278 s]
/proc/loadavg: 2.00 1.91 1.25 3/178 32001
/proc/meminfo: memFree=30544792/32873648 swapFree=6612/6612
[pid=32001] ppid=31999 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31999 32001 31725 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293101293 17399808 1081 33554432000 4194304 5683644 140735590382688 140735590380536 212073268608 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32001/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992

[startup+0.300234 s]
/proc/loadavg: 2.00 1.91 1.25 3/178 32001
/proc/meminfo: memFree=30544792/32873648 swapFree=6612/6612
[pid=32001] ppid=31999 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31999 32001 31725 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293101293 17399808 1081 33554432000 4194304 5683644 140735590382688 140735590380536 212073268608 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32001/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992

[startup+0.70023 s]
/proc/loadavg: 2.00 1.91 1.25 3/178 32001
/proc/meminfo: memFree=30544792/32873648 swapFree=6612/6612
[pid=32001] ppid=31999 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31999 32001 31725 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293101293 17399808 1081 33554432000 4194304 5683644 140735590382688 140735590380536 212073268608 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32001/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992

[startup+1.5003 s]
/proc/loadavg: 2.00 1.91 1.25 3/181 32008
/proc/meminfo: memFree=30527740/32873648 swapFree=6612/6612
[pid=32001] ppid=31999 vsize=16992 CPUtime=0.67 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31999 32001 31725 0 -1 4202496 1403 4223 0 0 1 0 15 51 20 0 1 0 293101293 17399808 1081 33554432000 4194304 5683644 140735590382688 140735590380232 212073268608 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32001/statm: 4248 1081 429 364 0 690 0
[pid=32007] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32007/stat : 32007 (sh) S 32001 32001 31725 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293101368 9367552 267 33554432000 4194304 5064252 140736275013712 140736275012416 212073080398 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32007/statm: 2287 267 226 213 0 72 0
[pid=32008] ppid=32007 vsize=43456 CPUtime=0.73 cores=1,3,5,7
/proc/32008/stat : 32008 (CryptoMiniSat) R 32007 32001 31725 0 -1 4202496 4532 0 0 0 73 0 0 0 20 0 1 0 293101368 44498944 4423 33554432000 4194304 4734972 140736255356656 140736254299448 4327481 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/32008/statm: 10864 4423 402 132 0 5764 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 69596

[startup+3.1003 s]
/proc/loadavg: 2.00 1.91 1.25 3/181 32008
/proc/meminfo: memFree=30522964/32873648 swapFree=6612/6612
[pid=32001] ppid=31999 vsize=16992 CPUtime=0.67 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31999 32001 31725 0 -1 4202496 1403 4223 0 0 1 0 15 51 20 0 1 0 293101293 17399808 1081 33554432000 4194304 5683644 140735590382688 140735590380232 212073268608 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32001/statm: 4248 1081 429 364 0 690 0
[pid=32007] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32007/stat : 32007 (sh) S 32001 32001 31725 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293101368 9367552 267 33554432000 4194304 5064252 140736275013712 140736275012416 212073080398 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32007/statm: 2287 267 226 213 0 72 0
[pid=32008] ppid=32007 vsize=68684 CPUtime=2.34 cores=1,3,5,7
/proc/32008/stat : 32008 (CryptoMiniSat) R 32007 32001 31725 0 -1 4202496 6950 0 0 0 233 1 0 0 20 0 1 0 293101368 70332416 7441 33554432000 4194304 4734972 140736255356656 140736255348680 4312251 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/32008/statm: 17171 7441 410 132 0 12071 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 94824

[startup+6.3003 s]
/proc/loadavg: 2.00 1.91 1.25 3/181 32008
/proc/meminfo: memFree=30503304/32873648 swapFree=6612/6612
[pid=32001] ppid=31999 vsize=16992 CPUtime=0.67 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31999 32001 31725 0 -1 4202496 1403 4223 0 0 1 0 15 51 20 0 1 0 293101293 17399808 1081 33554432000 4194304 5683644 140735590382688 140735590380232 212073268608 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32001/statm: 4248 1081 429 364 0 690 0
[pid=32007] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32007/stat : 32007 (sh) S 32001 32001 31725 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293101368 9367552 267 33554432000 4194304 5064252 140736275013712 140736275012416 212073080398 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32007/statm: 2287 267 226 213 0 72 0
[pid=32008] ppid=32007 vsize=86080 CPUtime=5.53 cores=1,3,5,7
/proc/32008/stat : 32008 (CryptoMiniSat) R 32007 32001 31725 0 -1 4202496 8061 0 0 0 552 1 0 0 20 0 1 0 293101368 88145920 8968 33554432000 4194304 4734972 140736255356656 140736255341800 4328361 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/32008/statm: 21520 8968 410 132 0 16420 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 112220

[startup+12.7003 s]
/proc/loadavg: 2.00 1.92 1.25 3/181 32008
/proc/meminfo: memFree=30499956/32873648 swapFree=6612/6612
[pid=32001] ppid=31999 vsize=16992 CPUtime=0.67 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31999 32001 31725 0 -1 4202496 1403 4223 0 0 1 0 15 51 20 0 1 0 293101293 17399808 1081 33554432000 4194304 5683644 140735590382688 140735590380232 212073268608 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32001/statm: 4248 1081 429 364 0 690 0
[pid=32007] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32007/stat : 32007 (sh) S 32001 32001 31725 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293101368 9367552 267 33554432000 4194304 5064252 140736275013712 140736275012416 212073080398 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32007/statm: 2287 267 226 213 0 72 0
[pid=32008] ppid=32007 vsize=87852 CPUtime=11.93 cores=1,3,5,7
/proc/32008/stat : 32008 (CryptoMiniSat) R 32007 32001 31725 0 -1 4202496 8068 0 0 0 1192 1 0 0 20 0 1 0 293101368 89960448 10508 33554432000 4194304 4734972 140736255356656 140736255341336 4328375 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/32008/statm: 21963 10508 410 132 0 16863 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 113992

[startup+25.5003 s]
/proc/loadavg: 2.00 1.92 1.27 3/181 32008
/proc/meminfo: memFree=30490780/32873648 swapFree=6612/6612
[pid=32001] ppid=31999 vsize=16992 CPUtime=0.67 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31999 32001 31725 0 -1 4202496 1403 4223 0 0 1 0 15 51 20 0 1 0 293101293 17399808 1081 33554432000 4194304 5683644 140735590382688 140735590380232 212073268608 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32001/statm: 4248 1081 429 364 0 690 0
[pid=32007] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32007/stat : 32007 (sh) S 32001 32001 31725 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293101368 9367552 267 33554432000 4194304 5064252 140736275013712 140736275012416 212073080398 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32007/statm: 2287 267 226 213 0 72 0
[pid=32008] ppid=32007 vsize=69032 CPUtime=24.74 cores=1,3,5,7
/proc/32008/stat : 32008 (CryptoMiniSat) R 32007 32001 31725 0 -1 4202496 8812 0 0 0 2472 2 0 0 20 0 1 0 293101368 70688768 8644 33554432000 4194304 4734972 140736255356656 140736255341336 4328349 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/32008/statm: 17258 8644 410 132 0 12158 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 95172

[startup+51.1003 s]
/proc/loadavg: 2.00 1.92 1.28 3/181 32008
/proc/meminfo: memFree=30476568/32873648 swapFree=6612/6612
[pid=32001] ppid=31999 vsize=16992 CPUtime=0.67 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31999 32001 31725 0 -1 4202496 1403 4223 0 0 1 0 15 51 20 0 1 0 293101293 17399808 1081 33554432000 4194304 5683644 140735590382688 140735590380232 212073268608 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32001/statm: 4248 1081 429 364 0 690 0
[pid=32007] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32007/stat : 32007 (sh) S 32001 32001 31725 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293101368 9367552 267 33554432000 4194304 5064252 140736275013712 140736275012416 212073080398 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32007/statm: 2287 267 226 213 0 72 0
[pid=32008] ppid=32007 vsize=70292 CPUtime=50.33 cores=1,3,5,7
/proc/32008/stat : 32008 (CryptoMiniSat) R 32007 32001 31725 0 -1 4202496 10636 0 0 0 5031 2 0 0 20 0 1 0 293101368 71979008 9953 33554432000 4194304 4734972 140736255356656 140736255341336 4236560 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/32008/statm: 17573 9953 410 132 0 12473 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 96432

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

[startup+63.9003 s]
/proc/loadavg: 2.00 1.93 1.29 3/181 32008
/proc/meminfo: memFree=30469676/32873648 swapFree=6612/6612
[pid=32001] ppid=31999 vsize=16992 CPUtime=0.67 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31999 32001 31725 0 -1 4202496 1403 4223 0 0 1 0 15 51 20 0 1 0 293101293 17399808 1081 33554432000 4194304 5683644 140735590382688 140735590380232 212073268608 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32001/statm: 4248 1081 429 364 0 690 0
[pid=32007] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32007/stat : 32007 (sh) S 32001 32001 31725 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293101368 9367552 267 33554432000 4194304 5064252 140736275013712 140736275012416 212073080398 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32007/statm: 2287 267 226 213 0 72 0
[pid=32008] ppid=32007 vsize=71140 CPUtime=63.12 cores=1,3,5,7
/proc/32008/stat : 32008 (CryptoMiniSat) R 32007 32001 31725 0 -1 4202496 11445 0 0 0 6310 2 0 0 20 0 1 0 293101368 72847360 9808 33554432000 4194304 4734972 140736255356656 140736255341336 4328405 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/32008/statm: 17785 9808 410 132 0 12685 0
Current children cumulated CPU time (s) 63.79
Current children cumulated vsize (KiB) 97280

[startup+70.3003 s]
/proc/loadavg: 2.00 1.93 1.30 3/181 32008
/proc/meminfo: memFree=30464144/32873648 swapFree=6612/6612
[pid=32001] ppid=31999 vsize=16992 CPUtime=0.67 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31999 32001 31725 0 -1 4202496 1403 4223 0 0 1 0 15 51 20 0 1 0 293101293 17399808 1081 33554432000 4194304 5683644 140735590382688 140735590380232 212073268608 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32001/statm: 4248 1081 429 364 0 690 0
[pid=32007] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32007/stat : 32007 (sh) S 32001 32001 31725 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293101368 9367552 267 33554432000 4194304 5064252 140736275013712 140736275012416 212073080398 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32007/statm: 2287 267 226 213 0 72 0
[pid=32008] ppid=32007 vsize=71556 CPUtime=69.53 cores=1,3,5,7
/proc/32008/stat : 32008 (CryptoMiniSat) R 32007 32001 31725 0 -1 4202496 11557 0 0 0 6951 2 0 0 20 0 1 0 293101368 73273344 9897 33554432000 4194304 4734972 140736255356656 140736255341336 4328169 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/32008/statm: 17889 9897 410 132 0 12789 0
Current children cumulated CPU time (s) 70.2
Current children cumulated vsize (KiB) 97696

[startup+76.7003 s]
/proc/loadavg: 2.00 1.93 1.30 3/181 32008
/proc/meminfo: memFree=30446080/32873648 swapFree=6612/6612
[pid=32001] ppid=31999 vsize=16992 CPUtime=0.67 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31999 32001 31725 0 -1 4202496 1403 4223 0 0 1 0 15 51 20 0 1 0 293101293 17399808 1081 33554432000 4194304 5683644 140735590382688 140735590380232 212073268608 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32001/statm: 4248 1081 429 364 0 690 0
[pid=32007] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32007/stat : 32007 (sh) S 32001 32001 31725 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293101368 9367552 267 33554432000 4194304 5064252 140736275013712 140736275012416 212073080398 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32007/statm: 2287 267 226 213 0 72 0
[pid=32008] ppid=32007 vsize=73228 CPUtime=75.93 cores=1,3,5,7
/proc/32008/stat : 32008 (CryptoMiniSat) R 32007 32001 31725 0 -1 4202496 12292 0 0 0 7590 3 0 0 20 0 1 0 293101368 74985472 10102 33554432000 4194304 4734972 140736255356656 140736255341336 4328314 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/32008/statm: 18307 10102 410 132 0 13207 0
Current children cumulated CPU time (s) 76.6
Current children cumulated vsize (KiB) 99368

[startup+78.3004 s]
/proc/loadavg: 2.00 1.93 1.30 3/181 32008
/proc/meminfo: memFree=30439936/32873648 swapFree=6612/6612
[pid=32001] ppid=31999 vsize=16992 CPUtime=0.67 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31999 32001 31725 0 -1 4202496 1403 4223 0 0 1 0 15 51 20 0 1 0 293101293 17399808 1081 33554432000 4194304 5683644 140735590382688 140735590380232 212073268608 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32001/statm: 4248 1081 429 364 0 690 0
[pid=32007] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32007/stat : 32007 (sh) S 32001 32001 31725 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293101368 9367552 267 33554432000 4194304 5064252 140736275013712 140736275012416 212073080398 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32007/statm: 2287 267 226 213 0 72 0
[pid=32008] ppid=32007 vsize=73228 CPUtime=77.52 cores=1,3,5,7
/proc/32008/stat : 32008 (CryptoMiniSat) R 32007 32001 31725 0 -1 4202496 12293 0 0 0 7749 3 0 0 20 0 1 0 293101368 74985472 10614 33554432000 4194304 4734972 140736255356656 140736255341336 4327096 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/32008/statm: 18307 10614 410 132 0 13207 0
Current children cumulated CPU time (s) 78.19
Current children cumulated vsize (KiB) 99368

[startup+79.1003 s]
/proc/loadavg: 2.00 1.93 1.30 3/181 32008
/proc/meminfo: memFree=30437888/32873648 swapFree=6612/6612
[pid=32001] ppid=31999 vsize=16992 CPUtime=0.67 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31999 32001 31725 0 -1 4202496 1403 4223 0 0 1 0 15 51 20 0 1 0 293101293 17399808 1081 33554432000 4194304 5683644 140735590382688 140735590380232 212073268608 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32001/statm: 4248 1081 429 364 0 690 0
[pid=32007] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32007/stat : 32007 (sh) S 32001 32001 31725 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293101368 9367552 267 33554432000 4194304 5064252 140736275013712 140736275012416 212073080398 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32007/statm: 2287 267 226 213 0 72 0
[pid=32008] ppid=32007 vsize=73508 CPUtime=78.33 cores=1,3,5,7
/proc/32008/stat : 32008 (CryptoMiniSat) R 32007 32001 31725 0 -1 4202496 12349 0 0 0 7830 3 0 0 20 0 1 0 293101368 75272192 10670 33554432000 4194304 4734972 140736255356656 140736255341336 4328416 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/32008/statm: 18377 10670 410 132 0 13277 0
Current children cumulated CPU time (s) 79
Current children cumulated vsize (KiB) 99648

[startup+79.9003 s]
/proc/loadavg: 2.00 1.93 1.30 3/181 32008
/proc/meminfo: memFree=30437888/32873648 swapFree=6612/6612
[pid=32001] ppid=31999 vsize=16992 CPUtime=0.67 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31999 32001 31725 0 -1 4202496 1403 4223 0 0 1 0 15 51 20 0 1 0 293101293 17399808 1081 33554432000 4194304 5683644 140735590382688 140735590380232 212073268608 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32001/statm: 4248 1081 429 364 0 690 0
[pid=32007] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32007/stat : 32007 (sh) S 32001 32001 31725 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293101368 9367552 267 33554432000 4194304 5064252 140736275013712 140736275012416 212073080398 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32007/statm: 2287 267 226 213 0 72 0
[pid=32008] ppid=32007 vsize=73820 CPUtime=79.12 cores=1,3,5,7
/proc/32008/stat : 32008 (CryptoMiniSat) R 32007 32001 31725 0 -1 4202496 12708 0 0 0 7909 3 0 0 20 0 1 0 293101368 75591680 9597 33554432000 4194304 4734972 140736255356656 140736255341336 4328451 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/32008/statm: 18455 9597 410 132 0 13355 0
Current children cumulated CPU time (s) 79.79
Current children cumulated vsize (KiB) 99960

[startup+80.3069 s]
/proc/loadavg: 2.00 1.93 1.30 3/181 32008
/proc/meminfo: memFree=30434476/32873648 swapFree=6612/6612
[pid=32001] ppid=31999 vsize=16992 CPUtime=0.67 cores=1,3,5,7
/proc/32001/stat : 32001 (python) S 31999 32001 31725 0 -1 4202496 1403 4223 0 0 1 0 15 51 20 0 1 0 293101293 17399808 1081 33554432000 4194304 5683644 140735590382688 140735590380232 212073268608 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32001/statm: 4248 1081 429 364 0 690 0
[pid=32007] ppid=32001 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32007/stat : 32007 (sh) S 32001 32001 31725 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293101368 9367552 267 33554432000 4194304 5064252 140736275013712 140736275012416 212073080398 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32007/statm: 2287 267 226 213 0 72 0
[pid=32008] ppid=32007 vsize=61312 CPUtime=79.53 cores=1,3,5,7
/proc/32008/stat : 32008 (CryptoMiniSat) R 32007 32001 31725 0 -1 4202496 12724 0 0 0 7950 3 0 0 20 0 1 0 293101368 62783488 8680 33554432000 4194304 4734972 140736255356656 140736255341336 212073309111 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/32008/statm: 15328 8504 424 132 0 10228 0
Current children cumulated CPU time (s) 80.2
Current children cumulated vsize (KiB) 87452

Child status: 0
Real time (s): 80.3132
CPU time (s): 80.2468
CPU user time (s): 79.6819
CPU system time (s): 0.564914
CPU usage (%): 99.9173
Max. virtual memory (cumulated for all children) (KiB): 113992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 79.6819
system time used= 0.564914
maximum resident set size= 46896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19214
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 208
involuntary context switches= 90

runsolver used 0.138978 second user time and 0.397939 second system time

The end

Launcher Data 

Begin job on node148 at 2012-05-29 07:36:08
IDJOB=3718484
IDBENCH=1414
IDSOLVER=2302
FILE ID=node148/3718484-1338269768
RUNJOBID= node148-1338268844-31742
PBS_JOBID= 14625673
Free space on /tmp= 71664 MiB

SOLVER NAME= PBPASSolver-CARD.DP 2012-05-28
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb
COMMAND LINE= python HOME/RunSolver.py BENCHNAME PrimePower CARD.DP ./CryptoMiniSat
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718484-1338269768/watcher-3718484-1338269768 -o /tmp/evaluation-result-3718484-1338269768/solver-3718484-1338269768 -C 1800 -W 1900 -M 15500  python HOME/RunSolver.py HOME/instance-3718484-1338269768.opb PrimePower CARD.DP ./CryptoMiniSat

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

MD5SUM BENCH= fac1b7391a53ae9861d9e311ddf65af2
RANDOM SEED=580104552

node148.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30544684 kB
Buffers:          526312 kB
Cached:           505272 kB
SwapCached:          708 kB
Active:          1073720 kB
Inactive:         356160 kB
Active(anon):     387344 kB
Inactive(anon):    11116 kB
Active(file):     686376 kB
Inactive(file):   345044 kB
Unevictable:        6612 kB
Mlocked:            6612 kB
SwapTotal:      67108856 kB
SwapFree:       67107892 kB
Dirty:             13020 kB
Writeback:             4 kB
AnonPages:        403664 kB
Mapped:            12456 kB
Shmem:                80 kB
Slab:             757936 kB
SReclaimable:     202012 kB
SUnreclaim:       555924 kB
KernelStack:        1472 kB
PageTables:         4952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     563952 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    217088 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71648 MiB
End job on node148 at 2012-05-29 07:37:28