Trace number 3718625

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 559.254 561.572

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
MD5SUM939f54a73a83900b8b6d857af47a0b62
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 benchmark133.03
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables62704
Total number of constraints187107
Number of constraints which are clauses186603
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints504
Minimum length of a constraint1
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 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

559.14/561.56	cpython RunMakeCNF.py HOME/instance-3718625-1338270792.opb PrimePower CARD.DP ./CryptoMiniSat
559.14/561.56	./CryptoMiniSat HOME/instance-3718625-1338270792.opb.PrimePower.CARD.DP.cnf 1>HOME/instance-3718625-1338270792.opb.PrimePower.CARD.DP.cnf.CryptoMiniSat.out 2>HOME/instance-3718625-1338270792.opb.PrimePower.CARD.DP.cnf.CryptoMiniSat.err
559.14/561.56	
559.14/561.56	HOME/instance-3718625-1338270792.opb.PrimePower.CARD.DP.cnf.CryptoMiniSat.out
559.14/561.56	c Outputting solution to console
559.14/561.56	c This is CryptoMiniSat 2.9.1
559.14/561.56	c compiled with gcc version 4.4.6 20110731 (Red Hat 4.4.6-3)
559.14/561.56	c WARNING: for repeatability, setting FPU to use double precision
559.14/561.56	c Reading file 'HOME/instance-3718625-1338270792.opb.PrimePower.CARD.DP.cnf'
559.14/561.56	c -- header says num vars:         752300
559.14/561.56	c -- header says num clauses:     3542982
559.14/561.56	c -- clauses added:            0 learnts,      3542982 normals,            0 xors
559.14/561.56	c -- vars added     752299
559.14/561.57	c Parsing time:  1.21 s
559.14/561.57	c  N st     0         0    752299    426506         0   2195544         0   5892242         0   no data   no data  --
559.14/561.57	c asymm  cl-useful: 0/8379/301207 lits-rem:0 time: 0.26
559.14/561.57	c Flit:    12 Blit:   6176 bXBeca:    0 bXProp: 28255 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  7.92
559.14/561.57	c Cleaning up after failed var search:     0.06 s 
559.14/561.57	c Replacing    28255 vars Replaced   700791 lits Time:     0.12 s 
559.14/561.57	c bin-w-bin subsume rem        45512 bins  time:  0.18 s
559.14/561.57	c subs with bin:       79  lits-rem:        79  v-fix:    0  time:  0.24 s
559.14/561.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  41428 time:  3.40 s
559.14/561.57	c Removed useless bin:    6976  fixed:     0  props:  20.01M  time:  0.26 s
559.14/561.57	c lits-rem:      2765  cl-subs:     3826  v-elim: 131870  v-fix:    0  time:  1.29 s
559.14/561.57	c Finding binary XORs  T:     0.16 s  found:  121014
559.14/561.57	c Replacing   121014 vars Replaced  4190397 lits Time:     0.26 s 
559.14/561.57	c Finding non-binary XORs:     0.18 s (found:    4539, avg size: 3.0)
559.14/561.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst: 29736 time:   0.10
559.14/561.57	c Replacing     3906 vars Replaced    62496 lits Time:     0.12 s 
559.14/561.57	c Calc default polars -  time:   0.04 s pos:    5477 undec:  616739 neg:  130083
559.14/561.57	c =========================================================================================
559.14/561.57	c types(t): F = full restart, N = normal restart
559.14/561.57	c types(t): S = simplification begin/end, E = solution found
559.14/561.57	c restart types(rt): st = static, dy = dynamic
559.14/561.57	c  t rt  Rest     Confl      Vars   NormCls    XorCls    BinCls   Learnts    ClLits    LtLits
559.14/561.57	c  B st     0         0    138820    402760      4539   1125180         0   3793569         0   no data   no data  --
559.14/561.57	c  N dy    15      4008    138820    402760      4539   1125284      3851   3793569     76105      7.57      8.48  --
559.14/561.57	c  N dy    30      8096    138731    402760      4539   1125416      7734   3793569    149378      7.53      8.72  --
559.14/561.57	c  N dy    47     12840    138728    402760      4539   1125533     12268   3793569    232691      7.28      7.67  --
559.14/561.57	c  N dy    76     16886    138727    402760      4539   1125591     16196   3793569    316171      7.55      9.49  --
559.14/561.57	c  N dy    95     20959    138721    402760      4539   1125680     10507   3793569    132725      7.50      7.90  --
559.14/561.57	c  N dy   115     24969    138721    402760      4539   1125754     14370   3793569    214469      7.49     10.25  --
559.14/561.57	c  F st   116     25002    138721    402760      4539   1125754     14403   3793569    215067      7.49   no data  --
559.14/561.57	c  N dy   122     30000    138721    401659      4539   1124414     19282   3785493    380323      7.49   no data  --
559.14/561.57	c  S st   122     30000    138721    401659      4539   1124414     19282   3785493    380323      7.49   no data  --
559.14/561.57	c  S st   122     30501    138721    401659      4539   1124467     19724   3785493    387853      7.49   no data  --
559.14/561.57	c x-sub:  3906 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
559.14/561.57	c Flit:   216 Blit:   1585 bXBeca:    0 bXProp: 1634 Bins:   6067 BRemL:    197 BRemN:     16 P: 200.0M T:  8.99
559.14/561.57	c Cleaning up after failed var search:     0.05 s 
559.14/561.57	c Replacing     1634 vars Replaced    35389 lits Time:     0.11 s 
559.14/561.57	c bin-w-bin subsume rem       636423 bins  time:  0.20 s
559.14/561.57	c subs with bin:     1530  lits-rem:     35320  v-fix:    0  time:  0.24 s
559.14/561.57	c Subs w/ non-existent bins:     24 l-rem:    732 v-fix:     0 done:  41030 time:  1.90 s
559.14/561.57	c Removed useless bin:    2749  fixed:     0  props:  20.00M  time:  0.32 s
559.14/561.57	c lits-rem:      1774  cl-subs:    65650  v-elim:  24491  v-fix:    0  time:  1.36 s
559.14/561.57	c asymm  cl-useful: 0/4888/374525 lits-rem:0 time: 0.36
559.14/561.57	c  N dy   122     30501    110299    374525       633    417670     11622   2168243    155361      7.49   no data  --
559.14/561.57	c Finding binary XORs  T:     0.07 s  found:      12
559.14/561.57	c  N dy   151     34505    110299    374525       633    417734     15504   2168243    232983      7.60      8.89  --
559.14/561.57	c  N dy   173     38626    110299    374525       633    417819     19478   2168243    317044      7.63      8.10  --
559.14/561.57	c  N dy   199     42940    110299    374525       633    417873     23661   2168243    403162      7.70      8.15  --
559.14/561.57	c  S st   220     45751    110299    374525       633    417911     26407   2168243    469652      7.81   no data  --
559.14/561.57	c  S st   220     46252    110298    374525       633    417938     26875   2168243    476451      7.81   no data  --
559.14/561.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
559.14/561.57	c Flit:    42 Blit:      9 bXBeca:    0 bXProp:  800 Bins:  51781 BRemL:    691 BRemN:    862 P: 200.0M T: 10.39
559.14/561.57	c Replacing      812 vars Replaced    38822 lits Time:     0.14 s 
559.14/561.57	c bin-w-bin subsume rem         2177 bins  time:  0.07 s
559.14/561.57	c subs with bin:      666  lits-rem:      4835  v-fix:    0  time:  0.20 s
559.14/561.57	c Subs w/ non-existent bins:     42 l-rem:   2258 v-fix:     0 done:  24954 time:  0.99 s
559.14/561.57	c Removed useless bin:    2851  fixed:     0  props:  20.00M  time:  0.30 s
559.14/561.57	c lits-rem:      1383  cl-subs:     3748  v-elim:    433  v-fix:    0  time:  1.09 s
559.14/561.57	c asymm  cl-useful: 0/4668/371377 lits-rem:0 time: 0.36
559.14/561.57	c  N dy   220     46252    108988    371377       633    461669     24734   2146161    513643      7.81   no data  --
559.14/561.57	c Finding binary XORs  T:     0.08 s  found:       1
559.14/561.57	c  N dy   250     50320    108988    371377       633    461734     28685   2146161    607288      7.92     11.17  --
559.14/561.57	c  N dy   280     54401    108988    371377       633    461788     17886   2146161    332666      8.03     11.53  --
559.14/561.57	c  N dy   310     58442    108988    371377       633    461826     21824   2146161    432402      8.14     11.11  --
559.14/561.57	c  N dy   346     62469    108988    371377       633    461866     25737   2146160    533523      8.31      8.77  --
559.14/561.57	c  N dy   382     66567    108988    371377       633    461886     29749   2146159    643659      8.49      9.48  --
559.14/561.57	c  S st   404     69379    108988    371377       633    461931     32455   2146157    718845      8.57   no data  --
559.14/561.57	c  S st   404     69880    108987    371377       633    461960     32915   2146157    724969      8.57   no data  --
559.14/561.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
559.14/561.57	c Flit:    78 Blit:     24 bXBeca:    0 bXProp:  867 Bins:  52418 BRemL:    721 BRemN:    962 P: 200.0M T: 10.02
559.14/561.57	c Cleaning up after failed var search:     0.00 s 
559.14/561.57	c Replacing      868 vars Replaced    42285 lits Time:     0.14 s 
559.14/561.57	c bin-w-bin subsume rem         1837 bins  time:  0.08 s
559.14/561.57	c subs with bin:      683  lits-rem:      4469  v-fix:    0  time:  0.22 s
559.14/561.57	c Subs w/ non-existent bins:     32 l-rem:   2529 v-fix:     0 done:  10143 time:  0.46 s
559.14/561.57	c Removed useless bin:    1792  fixed:     0  props:  20.00M  time:  0.29 s
559.14/561.57	c lits-rem:      2091  cl-subs:     4231  v-elim:    329  v-fix:    0  time:  1.48 s
559.14/561.57	c asymm  cl-useful: 0/4466/368093 lits-rem:0 time: 0.36
559.14/561.57	c  N dy   404     69880    107637    368093       633    505614     30136   2120112    742155      8.57   no data  --
559.14/561.57	c Finding binary XORs  T:     0.08 s  found:       1
559.14/561.57	c  N dy   442     74379    107637    368093       633    505655     34504   2120111    865731      8.76     16.64  --
559.14/561.57	c  N dy   479     79158    107637    368093       633    505684     21185   2120111    483298      8.90     14.50  --
559.14/561.57	c  N dy   520     84244    107637    368093       633    505721     26148   2120111    619964      9.05     12.29  --
559.14/561.57	c  F st   542     87501    107637    368093       633    505740     29323   2120110    708646      9.11   no data  --
559.14/561.57	c Replacing        1 vars Replaced       16 lits Time:     0.09 s 
559.14/561.57	c  N st   547     90798    107636    368093       633    505748     32544   2120105    829623      9.11   no data  --
559.14/561.57	c  N dy   581     96621    107636    368093       633    505778     38232   2120105   1038589      9.20     11.44  --
559.14/561.57	c  N dy   626    102862    107636    368093       633    505799     24093   2120105    509553      9.30     10.85  --
559.14/561.57	c  S st   634    104820    107636    368093       633    505812     25996   2120105    553480      9.29      7.31  --
559.14/561.57	c  S st   634    105321    107636    368093       633    505831     26470   2120105    560419      9.29   no data  --
559.14/561.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
559.14/561.57	c Flit:   102 Blit:    102 bXBeca:    0 bXProp:  109 Bins:  56365 BRemL:    913 BRemN:    516 P: 200.0M T: 12.79
559.14/561.57	c Cleaning up after failed var search:     0.00 s 
559.14/561.57	c Replacing      110 vars Replaced    17228 lits Time:     0.13 s 
559.14/561.57	c bin-w-bin subsume rem          402 bins  time:  0.09 s
559.14/561.57	c subs with bin:     1154  lits-rem:      2361  v-fix:    0  time:  0.18 s
559.14/561.57	c Subs w/ non-existent bins:    114 l-rem:   1044 v-fix:     0 done:  46100 time:  1.69 s
559.14/561.57	c Removed useless bin:    1451  fixed:     0  props:  20.00M  time:  0.29 s
559.14/561.57	c lits-rem:      1583  cl-subs:     2436  v-elim:    320  v-fix:    0  time:  0.93 s
559.14/561.57	c asymm  cl-useful: 0/4296/365236 lits-rem:0 time: 0.37
559.14/561.57	c  N dy   634    105321    106933    365236       633    551372     24561   2100622    627621      9.29   no data  --
559.14/561.57	c Finding binary XORs  T:     0.08 s  found:       1
559.14/561.57	c  N dy   669    112125    106932    365236       633    551400     31184   2100620    817259      9.31      9.84  --
559.14/561.57	c  N dy   721    119373    106932    365236       633    551446     38215   2100617   1025729      9.42     19.18  --
559.14/561.57	c  N dy   772    127341    106932    365236       633    551469     24306   2100617    589393      9.52     10.08  --
559.14/561.57	c  N dy   832    137279    106924    365236       633    551505     33973   2100615    859200      9.58     10.13  --
559.14/561.57	c  N dy   887    146080    106924    365236       633    551535     42509   2100613   1121031      9.65     11.78  --
559.14/561.57	c  N dy   940    157522    106924    365236       633    551575     30613   2100611    744252      9.70     10.28  --
559.14/561.57	c  S st   941    157981    106924    365236       633    551575     31053   2100611    752965      9.70      7.38  --
559.14/561.57	c  S st   941    158485    106924    365236       633    551587     31538   2100611    760802      9.70   no data  --
559.14/561.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
559.14/561.57	c Flit:     2 Blit:     18 bXBeca:    0 bXProp:  776 Bins:  49832 BRemL:    748 BRemN:    621 P: 200.0M T: 10.19
559.14/561.57	c Replacing      777 vars Replaced    44737 lits Time:     0.14 s 
559.14/561.57	c bin-w-bin subsume rem         1861 bins  time:  0.10 s
559.14/561.57	c subs with bin:      459  lits-rem:      4558  v-fix:    0  time:  0.21 s
559.14/561.57	c Subs w/ non-existent bins:     26 l-rem:   2612 v-fix:     0 done:   4146 time:  0.30 s
559.14/561.57	c Removed useless bin:    1229  fixed:     0  props:  20.00M  time:  0.29 s
559.14/561.57	c lits-rem:      2648  cl-subs:     4502  v-elim:    315  v-fix:    0  time:  1.27 s
559.14/561.57	c asymm  cl-useful: 0/4456/363198 lits-rem:0 time: 0.37
559.14/561.57	c  N dy   941    158485    105808    363198       633    592907     27880   2082838    776004      9.70   no data  --
559.14/561.57	c Finding binary XORs  T:     0.08 s  found:       1
559.14/561.57	c  N dy   998    168619    105808    363198       633    592940     37741   2082832   1047092      9.74     14.41  --
559.14/561.57	c  N dy  1057    179468    105808    363198       633    592953     24295   2082832    649838      9.77     12.66  --
559.14/561.57	c  N dy  1107    190968    105786    363198       633    592981     35391   2082829    949859      9.76     10.47  --
559.14/561.57	c  N dy  1149    206070    104839    363198       633    593019     49930   2082829   1357627      9.70     10.24  --
559.14/561.57	c  N dy  1176    219244    104839    363198       633    593053     37598   2082825    994927      9.63     10.31  --
559.14/561.57	c  E dy  1181    223554    103367    354339       628    552738     36567   2035141    924085      9.59      4.72  --
559.14/561.57	c num threads              : 1          
559.14/561.57	c restarts                 : 1181       
559.14/561.57	c dynamic restarts         : 1163       
559.14/561.57	c static restarts          : 18         
559.14/561.57	c full restarts            : 2          
559.14/561.57	c total simplify time      : 1.45       
559.14/561.57	c learnts DL2              : 0          
559.14/561.57	c learnts size 2           : 2593838    
559.14/561.57	c learnts size 1           : 356962      (47.45     % of vars)
559.14/561.57	c filedLit time            : 60.43       (16.96     % time)
559.14/561.57	c v-elim SatELite          : 157758      (20.97     % vars)
559.14/561.57	c SatELite time            : 15.26       (4.28      % time)
559.14/561.57	c v-elim xor               : 0           (0.00      % vars)
559.14/561.57	c xor elim time            : 0.47        (0.13      % time)
559.14/561.57	c num binary xor trees     : 51331      
559.14/561.57	c binxor trees' crown      : 157383      (3.07      leafs/tree)
559.14/561.57	c bin xor find time        : 0.55       
559.14/561.57	c OTF clause improved      : 5223        (0.02      clauses/conflict)
559.14/561.57	c OTF impr. size diff      : 6503        (1.25       lits/clause)
559.14/561.57	c OTF cl watch-shrink      : 93226       (0.42      clauses/conflict)
559.14/561.57	c OTF cl watch-sh-lit      : 210422      (2.26       lits/clause)
559.14/561.57	c tried to recurMin cls    : 0           (0.00       % of conflicts)
559.14/561.57	c updated cache            : 0           (-nan       lits/tried recurMin)
559.14/561.57	c clauses over max glue    : 0           (0.00      % of all clauses)
559.14/561.57	c conflicts                : 223554      (627.37    / sec)
559.14/561.57	c decisions                : 1069739     (1.26      % random)
559.14/561.57	c bogo-props               : 10328853948 (28986290.84 / sec)
559.14/561.57	c conflict literals        : 5893475     (50.44     % deleted)
559.14/561.57	c Memory used              : 610.59      MB
559.14/561.57	c CPU time                 : 356.34      s
559.14/561.57	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-3718625-1338270792/watcher-3718625-1338270792 -o /tmp/evaluation-result-3718625-1338270792/solver-3718625-1338270792 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718625-1338270792.opb PrimePower CARD.DP ./CryptoMiniSat 

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

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 2.00 1.73 3/178 11731
/proc/meminfo: memFree=28095656/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=14840 CPUtime=0 cores=0,2,4,6
/proc/11731/stat : 11731 (python) R 11729 11731 11530 0 -1 4202496 413 0 0 0 0 0 0 0 20 0 1 0 293203560 15196160 322 33554432000 4194304 5683644 140736874549776 140733385873640 4540219 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11731/statm: 3710 324 221 364 0 152 0

[startup+0.0871851 s]
/proc/loadavg: 2.00 2.00 1.73 3/178 11731
/proc/meminfo: memFree=28095656/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/11731/stat : 11731 (python) S 11729 11731 11530 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293203560 17403904 1082 33554432000 4194304 5683644 140736874549776 140736874547624 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11731/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996

[startup+0.100266 s]
/proc/loadavg: 2.00 2.00 1.73 3/178 11731
/proc/meminfo: memFree=28095656/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/11731/stat : 11731 (python) S 11729 11731 11530 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293203560 17403904 1082 33554432000 4194304 5683644 140736874549776 140736874547624 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11731/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996

[startup+0.300262 s]
/proc/loadavg: 2.00 2.00 1.73 3/178 11731
/proc/meminfo: memFree=28095656/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/11731/stat : 11731 (python) S 11729 11731 11530 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293203560 17403904 1082 33554432000 4194304 5683644 140736874549776 140736874547624 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11731/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996

[startup+0.700235 s]
/proc/loadavg: 2.00 2.00 1.73 3/178 11731
/proc/meminfo: memFree=28095656/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/11731/stat : 11731 (python) S 11729 11731 11530 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293203560 17403904 1082 33554432000 4194304 5683644 140736874549776 140736874547624 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11731/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996

[startup+1.50039 s]
/proc/loadavg: 2.00 2.00 1.73 3/183 11736
/proc/meminfo: memFree=27867304/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/11731/stat : 11731 (python) S 11729 11731 11530 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293203560 17403904 1082 33554432000 4194304 5683644 140736874549776 140736874547624 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11731/statm: 4249 1082 429 364 0 691 0
[pid=11733] ppid=11731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11733/stat : 11733 (sh) S 11731 11731 11530 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293203569 9367552 267 33554432000 4194304 5064252 140734854744304 140734854743008 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11733/statm: 2287 267 226 213 0 72 0
[pid=11734] ppid=11733 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/11734/stat : 11734 (python) S 11733 11731 11530 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293203569 17141760 1059 33554432000 4194304 5683644 140736797771200 140736797769048 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11734/statm: 4185 1059 429 364 0 627 0
[pid=11735] ppid=11734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11735/stat : 11735 (sh) S 11734 11731 11530 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293203572 9367552 267 33554432000 4194304 5064252 140735308989296 140735308988000 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11735/statm: 2287 267 226 213 0 72 0
[pid=11736] ppid=11735 vsize=742892 CPUtime=1.37 cores=0,2,4,6
/proc/11736/stat : 11736 (PBPASSolver-817) R 11735 11731 11530 0 -1 4202496 110705 0 0 0 82 55 0 0 20 0 1 0 293203572 760721408 81060 33554432000 4194304 4943705 140737307844688 140737307842960 4358535 0 0 16781312 17608 0 0 0 17 0 0 0 0 0 0
/proc/11736/statm: 185723 81060 357 183 0 182093 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 794924

[startup+3.10044 s]
/proc/loadavg: 2.00 2.00 1.73 3/183 11736
/proc/meminfo: memFree=27663076/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/11731/stat : 11731 (python) S 11729 11731 11530 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293203560 17403904 1082 33554432000 4194304 5683644 140736874549776 140736874547624 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11731/statm: 4249 1082 429 364 0 691 0
[pid=11733] ppid=11731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11733/stat : 11733 (sh) S 11731 11731 11530 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293203569 9367552 267 33554432000 4194304 5064252 140734854744304 140734854743008 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11733/statm: 2287 267 226 213 0 72 0
[pid=11734] ppid=11733 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/11734/stat : 11734 (python) S 11733 11731 11530 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293203569 17141760 1059 33554432000 4194304 5683644 140736797771200 140736797769048 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11734/statm: 4185 1059 429 364 0 627 0
[pid=11735] ppid=11734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11735/stat : 11735 (sh) S 11734 11731 11530 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293203572 9367552 267 33554432000 4194304 5064252 140735308989296 140735308988000 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11735/statm: 2287 267 226 213 0 72 0
[pid=11736] ppid=11735 vsize=1313516 CPUtime=2.97 cores=0,2,4,6
/proc/11736/stat : 11736 (PBPASSolver-817) R 11735 11731 11530 0 -1 4202496 173117 0 0 0 204 93 0 0 20 0 1 0 293203572 1345040384 143472 33554432000 4194304 4943705 140737307844688 140737307843600 4358535 0 0 16781312 17608 0 0 0 17 2 0 0 0 0 0
/proc/11736/statm: 328379 143472 357 183 0 324749 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 1365548

[startup+6.30044 s]
/proc/loadavg: 2.00 2.00 1.73 3/183 11736
/proc/meminfo: memFree=27244452/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/11731/stat : 11731 (python) S 11729 11731 11530 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293203560 17403904 1082 33554432000 4194304 5683644 140736874549776 140736874547624 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11731/statm: 4249 1082 429 364 0 691 0
[pid=11733] ppid=11731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11733/stat : 11733 (sh) S 11731 11731 11530 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293203569 9367552 267 33554432000 4194304 5064252 140734854744304 140734854743008 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11733/statm: 2287 267 226 213 0 72 0
[pid=11734] ppid=11733 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/11734/stat : 11734 (python) S 11733 11731 11530 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293203569 17141760 1059 33554432000 4194304 5683644 140736797771200 140736797769048 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11734/statm: 4185 1059 429 364 0 627 0
[pid=11735] ppid=11734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11735/stat : 11735 (sh) S 11734 11731 11530 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293203572 9367552 267 33554432000 4194304 5064252 140735308989296 140735308988000 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11735/statm: 2287 267 226 213 0 72 0
[pid=11736] ppid=11735 vsize=2138348 CPUtime=6.05 cores=0,2,4,6
/proc/11736/stat : 11736 (PBPASSolver-817) R 11735 11731 11530 0 -1 4202496 263333 0 0 0 456 149 0 0 20 0 1 0 293203572 2189668352 233688 33554432000 4194304 4943705 140737307844688 140737307843600 4358535 0 0 16781312 17608 0 0 0 17 2 0 0 12 0 0
/proc/11736/statm: 534587 233688 357 183 0 530957 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 2190380

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.73 3/183 11736
/proc/meminfo: memFree=26671532/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/11731/stat : 11731 (python) S 11729 11731 11530 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293203560 17403904 1082 33554432000 4194304 5683644 140736874549776 140736874547624 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11731/statm: 4249 1082 429 364 0 691 0
[pid=11733] ppid=11731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11733/stat : 11733 (sh) S 11731 11731 11530 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293203569 9367552 267 33554432000 4194304 5064252 140734854744304 140734854743008 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11733/statm: 2287 267 226 213 0 72 0
[pid=11734] ppid=11733 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/11734/stat : 11734 (python) S 11733 11731 11530 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293203569 17141760 1059 33554432000 4194304 5683644 140736797771200 140736797769048 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11734/statm: 4185 1059 429 364 0 627 0
[pid=11735] ppid=11734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11735/stat : 11735 (sh) S 11734 11731 11530 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293203572 9367552 267 33554432000 4194304 5064252 140735308989296 140735308988000 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11735/statm: 2287 267 226 213 0 72 0
[pid=11736] ppid=11735 vsize=3328748 CPUtime=12.4 cores=0,2,4,6
/proc/11736/stat : 11736 (PBPASSolver-817) R 11735 11731 11530 0 -1 4202496 393533 0 0 0 1012 228 0 0 20 0 1 0 293203572 3408637952 363888 33554432000 4194304 4943705 140737307844688 140737307842960 4358535 0 0 16781312 17608 0 0 0 17 2 0 0 16 0 0
/proc/11736/statm: 832187 363888 357 183 0 828557 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 3380780

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.73 3/183 11736
/proc/meminfo: memFree=25989288/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/11731/stat : 11731 (python) S 11729 11731 11530 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293203560 17403904 1082 33554432000 4194304 5683644 140736874549776 140736874547624 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11731/statm: 4249 1082 429 364 0 691 0
[pid=11733] ppid=11731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11733/stat : 11733 (sh) S 11731 11731 11530 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293203569 9367552 267 33554432000 4194304 5064252 140734854744304 140734854743008 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11733/statm: 2287 267 226 213 0 72 0
[pid=11734] ppid=11733 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/11734/stat : 11734 (python) S 11733 11731 11530 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293203569 17141760 1059 33554432000 4194304 5683644 140736797771200 140736797769048 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11734/statm: 4185 1059 429 364 0 627 0
[pid=11735] ppid=11734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11735/stat : 11735 (sh) S 11734 11731 11530 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293203572 9367552 267 33554432000 4194304 5064252 140735308989296 140735308988000 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11735/statm: 2287 267 226 213 0 72 0
[pid=11736] ppid=11735 vsize=4809708 CPUtime=25.04 cores=0,2,4,6
/proc/11736/stat : 11736 (PBPASSolver-817) R 11735 11731 11530 0 -1 4202496 555513 0 0 0 2180 324 0 0 20 0 1 0 293203572 4925140992 525868 33554432000 4194304 4943705 140737307844688 140737307843600 4358535 0 0 16781312 17608 0 0 0 17 2 0 0 32 0 0
/proc/11736/statm: 1202427 525868 357 183 0 1198797 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 4861740

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.74 3/183 11736
/proc/meminfo: memFree=25127416/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/11731/stat : 11731 (python) S 11729 11731 11530 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293203560 17403904 1082 33554432000 4194304 5683644 140736874549776 140736874547624 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11731/statm: 4249 1082 429 364 0 691 0
[pid=11733] ppid=11731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11733/stat : 11733 (sh) S 11731 11731 11530 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293203569 9367552 267 33554432000 4194304 5064252 140734854744304 140734854743008 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11733/statm: 2287 267 226 213 0 72 0
[pid=11734] ppid=11733 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/11734/stat : 11734 (python) S 11733 11731 11530 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293203569 17141760 1059 33554432000 4194304 5683644 140736797771200 140736797769048 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11734/statm: 4185 1059 429 364 0 627 0
[pid=11735] ppid=11734 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11735/stat : 11735 (sh) S 11734 11731 11530 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293203572 9367552 267 33554432000 4194304 5064252 140735308989296 140735308988000 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11735/statm: 2287 267 226 213 0 72 0
[pid=11736] ppid=11735 vsize=6746604 CPUtime=50.36 cores=0,2,4,6
/proc/11736/stat : 11736 (PBPASSolver-817) R 11735 11731 11530 0 -1 4202496 767361 0 0 0 4581 455 0 0 20 0 1 0 293203572 6908522496 737716 33554432000 4194304 4943705 140737307844688 140737307843600 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 52 0 0
/proc/11736/statm: 1686651 737716 357 183 0 1683021 0
Current children cumulated CPU time (s) 50.38
Current children cumulated vsize (KiB) 6798636

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.75 3/183 11736
/proc/meminfo: memFree=23916068/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/11731/stat : 11731 (python) S 11729 11731 11530 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293203560 17403904 1082 33554432000 4194304 5683644 140736874549776 140736874547624 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11731/statm: 4249 1082 429 364 0 691 0
[pid=11733] ppid=11731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11733/stat : 11733 (sh) S 11731 11731 11530 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293203569 9367552 267 33554432000 4194304 5064252 140734854744304 140734854743008 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11733/statm: 2287 267 226 213 0 72 0
[pid=11734] ppid=11733 vsize=16740 CPUtime=0.01 cores=0,2,4,6

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

/proc/11783/statm: 143494 129650 405 132 0 138394 0
Current children cumulated CPU time (s) 279.99
Current children cumulated vsize (KiB) 600120

[startup+342.3 s]
/proc/loadavg: 2.07 2.02 1.80 3/181 11784
/proc/meminfo: memFree=27260212/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=16996 CPUtime=201.37 cores=0,2,4,6
/proc/11731/stat : 11731 (python) S 11729 11731 11530 0 -1 4202496 1404 1388029 0 0 1 0 17078 3058 20 0 1 0 293203560 17403904 1082 33554432000 4194304 5683644 140736874549776 140736874547320 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11731/statm: 4249 1082 429 364 0 691 0
[pid=11782] ppid=11731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11782/stat : 11782 (sh) S 11731 11731 11530 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293223916 9367552 267 33554432000 4194304 5064252 140736221780624 140736221779328 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11782/statm: 2287 267 226 213 0 72 0
[pid=11783] ppid=11782 vsize=614828 CPUtime=138.61 cores=0,2,4,6
/proc/11783/stat : 11783 (CryptoMiniSat) R 11782 11731 11530 0 -1 4202496 70359 0 0 0 13844 17 0 0 20 0 1 0 293223917 629583872 140371 33554432000 4194304 4734972 140733443501248 140733443493272 4329259 0 0 16781312 2 0 0 0 17 2 0 0 10 0 0
/proc/11783/statm: 153707 140371 405 132 0 148607 0
Current children cumulated CPU time (s) 339.98
Current children cumulated vsize (KiB) 640972

[startup+402.3 s]
/proc/loadavg: 2.02 2.01 1.81 3/181 11784
/proc/meminfo: memFree=27229388/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=16996 CPUtime=201.37 cores=0,2,4,6
/proc/11731/stat : 11731 (python) S 11729 11731 11530 0 -1 4202496 1404 1388029 0 0 1 0 17078 3058 20 0 1 0 293203560 17403904 1082 33554432000 4194304 5683644 140736874549776 140736874547320 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11731/statm: 4249 1082 429 364 0 691 0
[pid=11782] ppid=11731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11782/stat : 11782 (sh) S 11731 11731 11530 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293223916 9367552 267 33554432000 4194304 5064252 140736221780624 140736221779328 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11782/statm: 2287 267 226 213 0 72 0
[pid=11783] ppid=11782 vsize=614828 CPUtime=198.6 cores=0,2,4,6
/proc/11783/stat : 11783 (CryptoMiniSat) R 11782 11731 11530 0 -1 4202496 70595 0 0 0 19843 17 0 0 20 0 1 0 293223917 629583872 140607 33554432000 4194304 4734972 140733443501248 140733443493736 4327914 0 0 16781312 2 0 0 0 17 2 0 0 10 0 0
/proc/11783/statm: 153707 140607 405 132 0 148607 0
Current children cumulated CPU time (s) 399.97
Current children cumulated vsize (KiB) 640972

[startup+462.3 s]
/proc/loadavg: 2.04 2.02 1.83 3/182 11787
/proc/meminfo: memFree=26987056/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=16996 CPUtime=201.37 cores=0,2,4,6
/proc/11731/stat : 11731 (python) S 11729 11731 11530 0 -1 4202496 1404 1388029 0 0 1 0 17078 3058 20 0 1 0 293203560 17403904 1082 33554432000 4194304 5683644 140736874549776 140736874547320 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11731/statm: 4249 1082 429 364 0 691 0
[pid=11782] ppid=11731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11782/stat : 11782 (sh) S 11731 11731 11530 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293223916 9367552 267 33554432000 4194304 5064252 140736221780624 140736221779328 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11782/statm: 2287 267 226 213 0 72 0
[pid=11783] ppid=11782 vsize=614828 CPUtime=258.59 cores=0,2,4,6
/proc/11783/stat : 11783 (CryptoMiniSat) R 11782 11731 11530 0 -1 4202496 70595 0 0 0 25842 17 0 0 20 0 1 0 293223917 629583872 140607 33554432000 4194304 4734972 140733443501248 140733443493096 4561322 0 0 16781312 2 0 0 0 17 2 0 0 10 0 0
/proc/11783/statm: 153707 140607 405 132 0 148607 0
Current children cumulated CPU time (s) 459.96
Current children cumulated vsize (KiB) 640972

[startup+522.3 s]
/proc/loadavg: 2.05 2.03 1.84 3/182 11810
/proc/meminfo: memFree=26905916/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=16996 CPUtime=201.37 cores=0,2,4,6
/proc/11731/stat : 11731 (python) S 11729 11731 11530 0 -1 4202496 1404 1388029 0 0 1 0 17078 3058 20 0 1 0 293203560 17403904 1082 33554432000 4194304 5683644 140736874549776 140736874547320 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11731/statm: 4249 1082 429 364 0 691 0
[pid=11782] ppid=11731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11782/stat : 11782 (sh) S 11731 11731 11530 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293223916 9367552 267 33554432000 4194304 5064252 140736221780624 140736221779328 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11782/statm: 2287 267 226 213 0 72 0
[pid=11783] ppid=11782 vsize=625236 CPUtime=318.58 cores=0,2,4,6
/proc/11783/stat : 11783 (CryptoMiniSat) R 11782 11731 11530 0 -1 4202496 71153 0 0 0 31841 17 0 0 20 0 1 0 293223917 640241664 143209 33554432000 4194304 4734972 140733443501248 140733443493272 4328365 0 0 16781312 2 0 0 0 17 2 0 0 10 0 0
/proc/11783/statm: 156309 143209 405 132 0 151209 0
Current children cumulated CPU time (s) 519.95
Current children cumulated vsize (KiB) 651380

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

[startup+537.5 s]
/proc/loadavg: 2.04 2.03 1.84 3/181 11810
/proc/meminfo: memFree=26900636/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=16996 CPUtime=201.37 cores=0,2,4,6
/proc/11731/stat : 11731 (python) S 11729 11731 11530 0 -1 4202496 1404 1388029 0 0 1 0 17078 3058 20 0 1 0 293203560 17403904 1082 33554432000 4194304 5683644 140736874549776 140736874547320 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11731/statm: 4249 1082 429 364 0 691 0
[pid=11782] ppid=11731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11782/stat : 11782 (sh) S 11731 11731 11530 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293223916 9367552 267 33554432000 4194304 5064252 140736221780624 140736221779328 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11782/statm: 2287 267 226 213 0 72 0
[pid=11783] ppid=11782 vsize=625236 CPUtime=333.77 cores=0,2,4,6
/proc/11783/stat : 11783 (CryptoMiniSat) R 11782 11731 11530 0 -1 4202496 71153 0 0 0 33360 17 0 0 20 0 1 0 293223917 640241664 143209 33554432000 4194304 4734972 140733443501248 140733443493272 4327471 0 0 16781312 2 0 0 0 17 2 0 0 10 0 0
/proc/11783/statm: 156309 143209 405 132 0 151209 0
Current children cumulated CPU time (s) 535.14
Current children cumulated vsize (KiB) 651380

[startup+550.3 s]
/proc/loadavg: 2.03 2.03 1.84 3/181 11810
/proc/meminfo: memFree=26894336/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=16996 CPUtime=201.37 cores=0,2,4,6
/proc/11731/stat : 11731 (python) S 11729 11731 11530 0 -1 4202496 1404 1388029 0 0 1 0 17078 3058 20 0 1 0 293203560 17403904 1082 33554432000 4194304 5683644 140736874549776 140736874547320 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11731/statm: 4249 1082 429 364 0 691 0
[pid=11782] ppid=11731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11782/stat : 11782 (sh) S 11731 11731 11530 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293223916 9367552 267 33554432000 4194304 5064252 140736221780624 140736221779328 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11782/statm: 2287 267 226 213 0 72 0
[pid=11783] ppid=11782 vsize=625236 CPUtime=346.57 cores=0,2,4,6
/proc/11783/stat : 11783 (CryptoMiniSat) R 11782 11731 11530 0 -1 4202496 71153 0 0 0 34640 17 0 0 20 0 1 0 293223917 640241664 143209 33554432000 4194304 4734972 140733443501248 140733443493272 4327639 0 0 16781312 2 0 0 0 17 2 0 0 10 0 0
/proc/11783/statm: 156309 143209 405 132 0 151209 0
Current children cumulated CPU time (s) 547.94
Current children cumulated vsize (KiB) 651380

[startup+556.7 s]
/proc/loadavg: 2.03 2.02 1.84 3/181 11810
/proc/meminfo: memFree=26892412/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=16996 CPUtime=201.37 cores=0,2,4,6
/proc/11731/stat : 11731 (python) S 11729 11731 11530 0 -1 4202496 1404 1388029 0 0 1 0 17078 3058 20 0 1 0 293203560 17403904 1082 33554432000 4194304 5683644 140736874549776 140736874547320 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11731/statm: 4249 1082 429 364 0 691 0
[pid=11782] ppid=11731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11782/stat : 11782 (sh) S 11731 11731 11530 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293223916 9367552 267 33554432000 4194304 5064252 140736221780624 140736221779328 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11782/statm: 2287 267 226 213 0 72 0
[pid=11783] ppid=11782 vsize=625236 CPUtime=352.97 cores=0,2,4,6
/proc/11783/stat : 11783 (CryptoMiniSat) R 11782 11731 11530 0 -1 4202496 71153 0 0 0 35280 17 0 0 20 0 1 0 293223917 640241664 143209 33554432000 4194304 4734972 140733443501248 140733443493272 4327579 0 0 16781312 2 0 0 0 17 2 0 0 10 0 0
/proc/11783/statm: 156309 143209 405 132 0 151209 0
Current children cumulated CPU time (s) 554.34
Current children cumulated vsize (KiB) 651380

[startup+559.907 s]
/proc/loadavg: 2.03 2.02 1.84 3/181 11810
/proc/meminfo: memFree=26889852/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=16996 CPUtime=201.37 cores=0,2,4,6
/proc/11731/stat : 11731 (python) S 11729 11731 11530 0 -1 4202496 1404 1388029 0 0 1 0 17078 3058 20 0 1 0 293203560 17403904 1082 33554432000 4194304 5683644 140736874549776 140736874547320 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11731/statm: 4249 1082 429 364 0 691 0
[pid=11782] ppid=11731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11782/stat : 11782 (sh) S 11731 11731 11530 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293223916 9367552 267 33554432000 4194304 5064252 140736221780624 140736221779328 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11782/statm: 2287 267 226 213 0 72 0
[pid=11783] ppid=11782 vsize=625236 CPUtime=356.18 cores=0,2,4,6
/proc/11783/stat : 11783 (CryptoMiniSat) R 11782 11731 11530 0 -1 4202496 71153 0 0 0 35601 17 0 0 20 0 1 0 293223917 640241664 143209 33554432000 4194304 4734972 140733443501248 140733443493272 4255088 0 0 16781312 2 0 0 0 17 2 0 0 10 0 0
/proc/11783/statm: 156309 143209 405 132 0 151209 0
Current children cumulated CPU time (s) 557.55
Current children cumulated vsize (KiB) 651380

[startup+560.7 s]
/proc/loadavg: 2.03 2.02 1.84 3/181 11810
/proc/meminfo: memFree=26889852/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=16996 CPUtime=201.37 cores=0,2,4,6
/proc/11731/stat : 11731 (python) S 11729 11731 11530 0 -1 4202496 1404 1388029 0 0 1 0 17078 3058 20 0 1 0 293203560 17403904 1082 33554432000 4194304 5683644 140736874549776 140736874547320 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11731/statm: 4249 1082 429 364 0 691 0
[pid=11782] ppid=11731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11782/stat : 11782 (sh) S 11731 11731 11530 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293223916 9367552 267 33554432000 4194304 5064252 140736221780624 140736221779328 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11782/statm: 2287 267 226 213 0 72 0
[pid=11783] ppid=11782 vsize=625236 CPUtime=356.97 cores=0,2,4,6
/proc/11783/stat : 11783 (CryptoMiniSat) R 11782 11731 11530 0 -1 4202496 71153 0 0 0 35680 17 0 0 20 0 1 0 293223917 640241664 143209 33554432000 4194304 4734972 140733443501248 140733443493272 4326687 0 0 16781312 2 0 0 0 17 2 0 0 10 0 0
/proc/11783/statm: 156309 143209 405 132 0 151209 0
Current children cumulated CPU time (s) 558.34
Current children cumulated vsize (KiB) 651380

[startup+561.1 s]
/proc/loadavg: 2.03 2.02 1.84 3/181 11810
/proc/meminfo: memFree=26889852/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=16996 CPUtime=201.37 cores=0,2,4,6
/proc/11731/stat : 11731 (python) S 11729 11731 11530 0 -1 4202496 1404 1388029 0 0 1 0 17078 3058 20 0 1 0 293203560 17403904 1082 33554432000 4194304 5683644 140736874549776 140736874547320 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11731/statm: 4249 1082 429 364 0 691 0
[pid=11782] ppid=11731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11782/stat : 11782 (sh) S 11731 11731 11530 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293223916 9367552 267 33554432000 4194304 5064252 140736221780624 140736221779328 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11782/statm: 2287 267 226 213 0 72 0
[pid=11783] ppid=11782 vsize=625236 CPUtime=357.37 cores=0,2,4,6
/proc/11783/stat : 11783 (CryptoMiniSat) R 11782 11731 11530 0 -1 4202496 71153 0 0 0 35720 17 0 0 20 0 1 0 293223917 640241664 143209 33554432000 4194304 4734972 140733443501248 140733443493272 4326687 0 0 16781312 2 0 0 0 17 2 0 0 10 0 0
/proc/11783/statm: 156309 143209 405 132 0 151209 0
Current children cumulated CPU time (s) 558.74
Current children cumulated vsize (KiB) 651380

[startup+561.5 s]
/proc/loadavg: 2.03 2.02 1.84 3/181 11810
/proc/meminfo: memFree=26889852/32873844 swapFree=7620/7620
[pid=11731] ppid=11729 vsize=16996 CPUtime=201.37 cores=0,2,4,6
/proc/11731/stat : 11731 (python) S 11729 11731 11530 0 -1 4202496 1404 1388029 0 0 1 0 17078 3058 20 0 1 0 293203560 17403904 1082 33554432000 4194304 5683644 140736874549776 140736874547320 251044644224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11731/statm: 4249 1082 429 364 0 691 0
[pid=11782] ppid=11731 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11782/stat : 11782 (sh) S 11731 11731 11530 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293223916 9367552 267 33554432000 4194304 5064252 140736221780624 140736221779328 251044456014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11782/statm: 2287 267 226 213 0 72 0
[pid=11783] ppid=11782 vsize=518680 CPUtime=357.77 cores=0,2,4,6
/proc/11783/stat : 11783 (CryptoMiniSat) R 11782 11731 11530 0 -1 4202496 71169 0 0 0 35760 17 0 0 20 0 1 0 293223917 531128320 121945 33554432000 4194304 4734972 140733443501248 140733443493272 251044264668 0 0 16781312 2 0 0 0 17 2 0 0 10 0 0
/proc/11783/statm: 129670 121945 420 132 0 124570 0
Current children cumulated CPU time (s) 559.14
Current children cumulated vsize (KiB) 544824

Child status: 0
Real time (s): 561.572
CPU time (s): 559.254
CPU user time (s): 528.458
CPU system time (s): 30.7963
CPU usage (%): 99.5872
Max. virtual memory (cumulated for all children) (KiB): 12450156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 528.458
system time used= 30.7963
maximum resident set size= 5487928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1461467
page faults= 0
swaps= 0
block input operations= 0
block output operations= 127664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 319
involuntary context switches= 590

runsolver used 1.10883 second user time and 2.6206 second system time

The end

Launcher Data

Begin job on node143 at 2012-05-29 07:53:12
IDJOB=3718625
IDBENCH=1479
IDSOLVER=2302
FILE ID=node143/3718625-1338270792
RUNJOBID= node143-1338268844-11546
PBS_JOBID= 14625678
Free space on /tmp= 69340 MiB

SOLVER NAME= PBPASSolver-CARD.DP 2012-05-28
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
COMMAND LINE= python HOME/RunSolver.py BENCHNAME PrimePower CARD.DP ./CryptoMiniSat
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718625-1338270792/watcher-3718625-1338270792 -o /tmp/evaluation-result-3718625-1338270792/solver-3718625-1338270792 -C 1800 -W 1900 -M 15500  python HOME/RunSolver.py HOME/instance-3718625-1338270792.opb PrimePower CARD.DP ./CryptoMiniSat

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

MD5SUM BENCH= 939f54a73a83900b8b6d857af47a0b62
RANDOM SEED=1701617488

node143.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		: 2666.787
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	: 5333.57
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		: 2666.787
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.91
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		: 2666.787
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.91
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		: 2666.787
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		: 2666.787
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		: 2666.787
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	: 5298.57
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		: 2666.787
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.91
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		: 2666.787
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28095920 kB
Buffers:          444480 kB
Cached:          3133532 kB
SwapCached:            0 kB
Active:          3408136 kB
Inactive:         499596 kB
Active(anon):     320532 kB
Inactive(anon):    11300 kB
Active(file):    3087604 kB
Inactive(file):   488296 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             18268 kB
Writeback:             0 kB
AnonPages:        397964 kB
Mapped:            15748 kB
Shmem:               200 kB
Slab:             729416 kB
SReclaimable:     171896 kB
SUnreclaim:       557520 kB
KernelStack:        1504 kB
PageTables:         4488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     513212 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    360448 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69184 MiB
End job on node143 at 2012-05-29 08:02:34