Trace number 3718717

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-28? (TO) 1800.01 1802.01

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12038_7-unsat.opb
MD5SUMdcebcc122dcddcac4192e5e5bf5bd3e3
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
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 benchmark17.6313
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables24684
Total number of constraints81656
Number of constraints which are clauses81252
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints404
Minimum length of a constraint1
Maximum length of a constraint120
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 49
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 745
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

1800.01/1802.01	cpython RunMakeCNF.py HOME/instance-3718717-1338272450.opb PrimePower CARD.DP ./CryptoMiniSat
1800.01/1802.01	./CryptoMiniSat HOME/instance-3718717-1338272450.opb.PrimePower.CARD.DP.cnf 1>HOME/instance-3718717-1338272450.opb.PrimePower.CARD.DP.cnf.CryptoMiniSat.out 2>HOME/instance-3718717-1338272450.opb.PrimePower.CARD.DP.cnf.CryptoMiniSat.err
1800.01/1802.01	
1800.01/1802.01	HOME/instance-3718717-1338272450.opb.PrimePower.CARD.DP.cnf.CryptoMiniSat.out
1800.01/1802.01	c Outputting solution to console
1800.01/1802.01	c This is CryptoMiniSat 2.9.1
1800.01/1802.01	c compiled with gcc version 4.4.6 20110731 (Red Hat 4.4.6-3)
1800.01/1802.01	c WARNING: for repeatability, setting FPU to use double precision
1800.01/1802.01	c Reading file 'HOME/instance-3718717-1338272450.opb.PrimePower.CARD.DP.cnf'
1800.01/1802.01	c -- header says num vars:        8152121
1800.01/1802.01	c -- header says num clauses:    40815710
1800.01/1802.01	c -- clauses added:            0 learnts,     40815710 normals,            0 xors
1800.01/1802.01	c -- vars added    8152120
1800.01/1802.01	c Parsing time: 12.80 s
1800.01/1802.01	c  N st     0         0   8152120   2097992         0  16689878         0  41125613         0   no data   no data  --
1800.01/1802.01	c asymm  cl-useful: 0/46/1953271 lits-rem:0 time: 0.67
1800.01/1802.01	c Flit:   270 Blit: 114807 bXBeca:    0 bXProp: 18479 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 13.61
1800.01/1802.01	c Cleaning up after failed var search:     0.74 s 
1800.01/1802.01	c Replacing    18479 vars Replaced   312480 lits Time:     0.68 s 
1800.01/1802.01	c bin-w-bin subsume rem          871 bins  time:  1.09 s
1800.01/1802.01	c subs with bin:     2580  lits-rem:      2580  v-fix:    0  time:  1.45 s
1800.01/1802.01	c Subs w/ non-existent bins:     26 l-rem:      5 v-fix:   705 done:   6776 time: 13.41 s
1800.01/1802.01	c Removed useless bin:     206  fixed:     0  props:  20.15M  time:  0.72 s
1800.01/1802.01	c lits-rem:         0  cl-subs:     1807  v-elim: 818153  v-fix:    0  time: 10.18 s
1800.01/1802.01	c Finding binary XORs  T:     1.08 s  found:  526995
1800.01/1802.01	c Replacing   526995 vars Replaced 16476072 lits Time:     1.57 s 
1800.01/1802.01	c Calc default polars -  time:   0.29 s pos:   15275 undec: 7046839 neg: 1090006
1800.01/1802.01	c =========================================================================================
1800.01/1802.01	c types(t): F = full restart, N = normal restart
1800.01/1802.01	c types(t): S = simplification begin/end, E = solution found
1800.01/1802.01	c restart types(rt): st = static, dy = dynamic
1800.01/1802.01	c  t rt  Rest     Confl      Vars   NormCls    XorCls    BinCls   Learnts    ClLits    LtLits
1800.01/1802.01	c  B st     0         0   1108606   2681810         0   7033704         0  25142482         0   no data   no data  --
1800.01/1802.01	c  N dy    15      4662   1108517   2681810         0   7033781      4471  25142482    185799      9.56     10.14  --
1800.01/1802.01	c  N dy    42      8757   1108106   2681810         0   7033877      8346  25142482    357793     10.61     11.33  --
1800.01/1802.01	c  N dy    68     13164   1108106   2681810         0   7033919     12607  25142482    573302     11.36     12.43  --
1800.01/1802.01	c  N dy    94     17234   1108084   2681810         0   7033954     16527  25142482    796485     11.54     15.59  --
1800.01/1802.01	c  N dy   123     21378   1107940   2681810         0   7034001     10931  25142482    308314     11.78     12.49  --
1800.01/1802.01	c  F st   148     25000   1107903   2681810         0   7034038     14379  25142482    527513     12.03   no data  --
1800.01/1802.01	c  N st   150     25628   1107900   2680745         0   7029932     14976  25128313    565169     12.03   no data  --
1800.01/1802.01	c  N dy   154     30000   1107721   2680745         0   7029968     19213  25128313    866749     12.03   no data  --
1800.01/1802.01	c  S st   154     30000   1107721   2680745         0   7029968     19213  25128313    866749     12.03   no data  --
1800.01/1802.01	c  S st   154     30500   1105349   2680745         0   7029999     19262  25128313    867101     12.03   no data  --
1800.01/1802.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.58
1800.01/1802.01	c Flit:   811 Blit:  90965 bXBeca:    0 bXProp:  368 Bins:   8824 BRemL:      8 BRemN:      3 P: 200.4M T: 22.44
1800.01/1802.01	c Cleaning up after failed var search:     0.80 s 
1800.01/1802.01	c Replacing      369 vars Replaced    21372 lits Time:     0.71 s 
1800.01/1802.01	c bin-w-bin subsume rem      1681995 bins  time:  1.08 s
1800.01/1802.01	c subs with bin:     7658  lits-rem:     75448  v-fix:    0  time:  1.09 s
1800.01/1802.01	c Subs w/ non-existent bins:    276 l-rem:    101 v-fix:  1118 done:  23177 time: 14.82 s
1800.01/1802.01	c Removed useless bin:      66  fixed:  1293  props:  20.24M  time:  0.66 s
1800.01/1802.01	c lits-rem:        10  cl-subs:   121423  v-elim:  33005  v-fix:    1  time: 26.99 s
1800.01/1802.01	c asymm  cl-useful: 0/265/2473036 lits-rem:0 time: 0.69
1800.01/1802.01	c  N dy   154     30500    975545   2473036         0   4561063     12404  18987041    327020     12.03   no data  --
1800.01/1802.01	c  N dy   175     34554    975545   2473036         0   4561100     16336  18987041    534758     12.09     24.48  --
1800.01/1802.01	c  N dy   198     38563    975545   2473036         0   4561141     20189  18987041    760648     12.26     15.31  --
1800.01/1802.01	c  N dy   218     42813    975525   2473036         0   4561196     24301  18987041    990672     12.23     12.88  --
1800.01/1802.01	c  S st   238     45750    975516   2473036         0   4561219     27161  18987041   1144312     12.29   no data  --
1800.01/1802.01	c  S st   238     46251    973540   2473036         0   4561287     27271  18987041   1145213     12.29   no data  --
1800.01/1802.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.54
1800.01/1802.01	c Flit:  1761 Blit:   9585 bXBeca:    0 bXProp:  378 Bins:  39604 BRemL:     61 BRemN:     57 P: 200.1M T: 45.62
1800.01/1802.01	c Cleaning up after failed var search:     0.29 s 
1800.01/1802.01	c Replacing      379 vars Replaced    48190 lits Time:     0.61 s 
1800.01/1802.01	c bin-w-bin subsume rem         1541 bins  time:  0.66 s
1800.01/1802.01	c subs with bin:     3065  lits-rem:     15429  v-fix:    0  time:  1.05 s
1800.01/1802.01	c Subs w/ non-existent bins:     31 l-rem:     10 v-fix:  1436 done:  27877 time: 10.84 s
1800.01/1802.01	c Removed useless bin:      49  fixed:  1486  props:  20.04M  time:  0.65 s
1800.01/1802.01	c lits-rem:       245  cl-subs:    53851  v-elim:  21310  v-fix:    0  time: 38.95 s
1800.01/1802.01	c asymm  cl-useful: 0/427/2431368 lits-rem:0 time: 0.68
1800.01/1802.01	c  N dy   238     46251    937797   2431368         0   4444676     23899  18491238    951959     12.29   no data  --
1800.01/1802.01	c Finding binary XORs  T:     0.68 s  found:     437
1800.01/1802.01	c  N dy   263     50440    937797   2431368         0   4444739     27920  18491237   1162216     12.38     13.20  --
1800.01/1802.01	c  N dy   285     54567    937787   2431368         0   4444759     17622  18491237    468669     12.47     13.17  --
1800.01/1802.01	c  N dy   315     58613    937782   2431368         0   4444782     21574  18491237    678716     12.59     13.26  --
1800.01/1802.01	c  N dy   347     63657    937782   2431368         0   4444808     26439  18491237    907609     12.68     13.55  --
1800.01/1802.01	c  N dy   368     67805    937782   2431368         0   4444835     30459  18491237   1118418     12.67     13.37  --
1800.01/1802.01	c  S st   375     69376    937782   2431368         0   4444850     31978  18491237   1204357     12.65      9.37  --
1800.01/1802.01	c  S st   375     69876    936792   2431368         0   4444923     32084  18491237   1205171     12.65   no data  --
1800.01/1802.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.53
1800.01/1802.01	c Flit:  1279 Blit:   9071 bXBeca:    0 bXProp:  280 Bins:  30148 BRemL:     20 BRemN:     12 P: 200.0M T: 28.16
1800.01/1802.01	c Cleaning up after failed var search:     0.29 s 
1800.01/1802.01	c Replacing      718 vars Replaced    42771 lits Time:     0.63 s 
1800.01/1802.01	c bin-w-bin subsume rem         1369 bins  time:  0.65 s
1800.01/1802.01	c subs with bin:     1518  lits-rem:     10687  v-fix:    0  time:  1.10 s
1800.01/1802.01	c Subs w/ non-existent bins:    167 l-rem:    143 v-fix:   594 done:  22760 time: 13.26 s
1800.01/1802.01	c Removed useless bin:      97  fixed:   800  props:  20.10M  time:  0.62 s
1800.01/1802.01	c lits-rem:       122  cl-subs:    19309  v-elim:   5975  v-fix:    0  time: 36.08 s
1800.01/1802.01	c asymm  cl-useful: 4/348/2395346 lits-rem:12 time: 0.66
1800.01/1802.01	c  N dy   375     69876    917000   2395342         0   4378245     28483  18134631   1041576     12.65   no data  --
1800.01/1802.01	c Finding binary XORs  T:     0.68 s  found:      36
1800.01/1802.01	c  N dy   402     74585    917000   2395342         0   4378277     33066  18134631   1309703     12.74     13.43  --
1800.01/1802.01	c  N dy   438     79722    917000   2395342         0   4378288     20499  18134631    505752     12.80     13.55  --
1800.01/1802.01	c  N dy   474     84831    917000   2395342         0   4378318     25464  18134631    777536     12.93     13.61  --
1800.01/1802.01	c  F st   490     87502    916999   2395342         0   4378339     28057  18134631    919116     12.93     11.04  --
1800.01/1802.01	c Replacing       36 vars Replaced     3938 lits Time:     0.61 s 
1800.01/1802.01	c  N st   495     90802    916953   2395321         0   4378224     31265  18134319   1236427     12.93   no data  --
1800.01/1802.01	c  N dy   523     96613    916953   2395321         0   4378248     36937  18134319   1571199     13.02     18.00  --
1800.01/1802.01	c  N dy   551    102853    916948   2395321         0   4378283     23032  18134319    494741     12.99     13.89  --
1800.01/1802.01	c  S st   567    104814    916948   2395321         0   4378295     24940  18134319    606999     13.03   no data  --
1800.01/1802.01	c  S st   567    105314    916116   2395321         0   4378370     25085  18134319    608657     13.03   no data  --
1800.01/1802.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.54
1800.01/1802.01	c Flit:   634 Blit:   5451 bXBeca:    0 bXProp:  274 Bins:  14416 BRemL:      1 BRemN:     38 P: 200.6M T: 17.41
1800.01/1802.01	c Cleaning up after failed var search:     0.00 s 
1800.01/1802.01	c Replacing      275 vars Replaced    18548 lits Time:     0.87 s 
1800.01/1802.01	c bin-w-bin subsume rem          538 bins  time:  0.64 s
1800.01/1802.01	c subs with bin:     7731  lits-rem:     27809  v-fix:    0  time:  1.08 s
1800.01/1802.01	c Subs w/ non-existent bins:    437 l-rem:    329 v-fix:  2481 done:  30898 time:  8.92 s
1800.01/1802.01	c Removed useless bin:     349  fixed:  2658  props:  20.02M  time:  0.62 s
1800.01/1802.01	c lits-rem:        89  cl-subs:    27509  v-elim:  10496  v-fix:    0  time:  5.79 s
1800.01/1802.01	c asymm  cl-useful: 183/657/2358984 lits-rem:549 time: 0.66
1800.01/1802.01	c  N dy   567    105314    895283   2358801         0   4303081     23282  17791485    580340     13.03   no data  --
1800.01/1802.01	c Finding binary XORs  T:     0.67 s  found:      69
1800.01/1802.01	c  N dy   596    112419    895246   2358801         0   4303164     30149  17791485    902854     12.96     13.82  --
1800.01/1802.01	c  N dy   624    120305    895227   2358801         0   4303300     37705  17791485   1268607     12.90     14.41  --
1800.01/1802.01	c  N dy   655    128479    895218   2358801         0   4303341     24250  17791485    567459     12.89     14.00  --
1800.01/1802.01	c  N dy   708    136704    895184   2358801         0   4303375     32254  17791485   1009979     12.97     21.40  --
1800.01/1802.01	c  N dy   758    145517    895176   2358801         0   4303404     40880  17791485   1577820     13.08     13.77  --
1800.01/1802.01	c  N dy   804    154868    895167   2358801         0   4303453     27174  17791485    609091     13.18     23.52  --
1800.01/1802.01	c  S st   821    157971    895167   2358801         0   4303464     30198  17791485    785137     13.19     11.00  --
1800.01/1802.01	c  S st   821    158471    893768   2358801         0   4303537     30318  17791485    786479     13.19   no data  --
1800.01/1802.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.54
1800.01/1802.01	c Flit:   384 Blit:   5384 bXBeca:    0 bXProp:  189 Bins:  19631 BRemL:      0 BRemN:     21 P: 200.0M T: 19.36
1800.01/1802.01	c Cleaning up after failed var search:     0.00 s 
1800.01/1802.01	c Replacing      259 vars Replaced    15645 lits Time:     0.88 s 
1800.01/1802.01	c bin-w-bin subsume rem         1943 bins  time:  0.64 s
1800.01/1802.01	c subs with bin:     1382  lits-rem:      2104  v-fix:    0  time:  1.11 s
1800.01/1802.01	c Subs w/ non-existent bins:    362 l-rem:   2558 v-fix:  1789 done:  16083 time:  6.13 s
1800.01/1802.01	c Removed useless bin:     103  fixed:  2024  props:  20.01M  time:  0.55 s
1800.01/1802.01	c lits-rem:       781  cl-subs:     2088  v-elim:    319  v-fix:    0  time:  5.40 s
1800.01/1802.01	c asymm  cl-useful: 12/398/2329621 lits-rem:36 time: 0.65
1800.01/1802.01	c  N dy   821    158471    884679   2329609         0   4259734     28533  17548567    777343     13.19   no data  --
1800.01/1802.01	c Finding binary XORs  T:     0.68 s  found:      61
1800.01/1802.01	c  N dy   881    168588    884671   2329609         0   4259786     38397  17548567   1349662     13.28     16.30  --
1800.01/1802.01	c  N dy   943    179386    884670   2329609         0   4259826     25009  17548567    475843     13.33     17.90  --
1800.01/1802.01	c  N dy  1020    190893    884635   2329609         0   4259876     36275  17548567   1235708     13.49     14.24  --
1800.01/1802.01	c  N dy  1104    203096    884634   2329609         0   4259930     48190  17548567   1997499     13.66     15.56  --
1800.01/1802.01	c  N dy  1201    216162    884634   2329609         0   4259967     35812  17548567   1103360     13.89     14.66  --
1800.01/1802.01	c  N dy  1278    229964    884628   2329609         0   4260072     49247  17548567   1976509     14.04     18.03  --
1800.01/1802.01	c  S st  1334    237706    884628   2329609         0   4260101     30577  17548567    736704     14.16     11.28  --
1800.01/1802.01	c  S st  1334    238207    883517   2329609         0   4260188     30730  17548567    738025     14.16   no data  --
1800.01/1802.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.52
1800.01/1802.01	c Flit:   608 Blit:   4556 bXBeca:    0 bXProp:  290 Bins:  14048 BRemL:      0 BRemN:      0 P: 200.0M T: 18.51
1800.01/1802.01	c Cleaning up after failed var search:     0.00 s 
1800.01/1802.01	c Replacing      352 vars Replaced    25077 lits Time:     0.87 s 
1800.01/1802.01	c bin-w-bin subsume rem          478 bins  time:  0.62 s
1800.01/1802.01	c subs with bin:     2092  lits-rem:      2997  v-fix:    0  time:  1.02 s
1800.01/1802.01	c Subs w/ non-existent bins:      7 l-rem:      4 v-fix:   725 done:  24837 time: 11.98 s
1800.01/1802.01	c Removed useless bin:      83  fixed:     0  props:  20.01M  time:  0.50 s
1800.01/1802.01	c lits-rem:        98  cl-subs:     2589  v-elim:    376  v-fix:    0  time:  5.34 s
1800.01/1802.01	c asymm  cl-useful: 31/566/2307784 lits-rem:93 time: 0.63
1800.01/1802.01	c  N dy  1334    238207    875585   2307753         0   4226209     28521  17361366    678760     14.16   no data  --
1800.01/1802.01	c  N dy  1425    253549    875585   2307753         0   4226274     43482  17361366   1625570     14.24     15.02  --
1800.01/1802.01	c  N dy  1516    269991    875567   2307753         0   4226357     32439  17361366    762627     14.28     15.23  --

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-3718717-1338272450/watcher-3718717-1338272450 -o /tmp/evaluation-result-3718717-1338272450/solver-3718717-1338272450 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718717-1338272450.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 2.00 1.91 3/179 25169
/proc/meminfo: memFree=24701760/32873648 swapFree=6864/6864
[pid=25169] ppid=25167 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/25169/stat : 25169 (python) R 25167 25169 24798 0 -1 4202496 673 0 0 0 0 0 0 0 20 0 1 0 293370425 15642624 560 33554432000 4194304 5683644 140733833788704 140733833774616 270707871091 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/25169/statm: 3819 560 324 364 0 261 0

[startup+0.0516261 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25169
/proc/meminfo: memFree=24701760/32873648 swapFree=6864/6864
[pid=25169] ppid=25167 vsize=16592 CPUtime=0.01 cores=1,3,5,7
/proc/25169/stat : 25169 (python) D 25167 25169 24798 0 -1 4202496 1151 0 0 0 1 0 0 0 20 0 1 0 293370425 16990208 962 33554432000 4194304 5683644 140733833788704 140733833772952 270707540880 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/25169/statm: 4148 962 394 364 0 590 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16592

[startup+0.100279 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25169
/proc/meminfo: memFree=24701760/32873648 swapFree=6864/6864
[pid=25169] ppid=25167 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/25169/stat : 25169 (python) S 25167 25169 24798 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293370425 17403904 1082 33554432000 4194304 5683644 140733833788704 140733833786552 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25169/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996

[startup+0.30024 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 25169
/proc/meminfo: memFree=24701760/32873648 swapFree=6864/6864
[pid=25169] ppid=25167 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/25169/stat : 25169 (python) S 25167 25169 24798 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293370425 17403904 1082 33554432000 4194304 5683644 140733833788704 140733833786552 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25169/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.91 3/179 25169
/proc/meminfo: memFree=24701760/32873648 swapFree=6864/6864
[pid=25169] ppid=25167 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/25169/stat : 25169 (python) S 25167 25169 24798 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293370425 17403904 1082 33554432000 4194304 5683644 140733833788704 140733833786552 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25169/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996

[startup+1.5004 s]
/proc/loadavg: 2.00 2.00 1.91 3/184 25174
/proc/meminfo: memFree=24445528/32873648 swapFree=6864/6864
[pid=25169] ppid=25167 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/25169/stat : 25169 (python) S 25167 25169 24798 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293370425 17403904 1082 33554432000 4194304 5683644 140733833788704 140733833786552 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25169/statm: 4249 1082 429 364 0 691 0
[pid=25171] ppid=25169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25171/stat : 25171 (sh) S 25169 25169 24798 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293370432 9367552 267 33554432000 4194304 5064252 140737223259840 140737223258544 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25171/statm: 2287 267 226 213 0 72 0
[pid=25172] ppid=25171 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/25172/stat : 25172 (python) S 25171 25169 24798 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293370432 17141760 1059 33554432000 4194304 5683644 140736135872384 140736135870232 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25172/statm: 4185 1059 429 364 0 627 0
[pid=25173] ppid=25172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25173/stat : 25173 (sh) S 25172 25169 24798 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293370435 9367552 268 33554432000 4194304 5064252 140737255367984 140737255366688 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25173/statm: 2287 268 226 213 0 72 0
[pid=25174] ppid=25173 vsize=807596 CPUtime=1.4 cores=1,3,5,7
/proc/25174/stat : 25174 (PBPASSolver-817) R 25173 25169 24798 0 -1 4202496 97870 0 0 0 88 52 0 0 20 0 1 0 293370435 826978304 87732 33554432000 4194304 4943705 140735075694672 140735075693584 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/25174/statm: 201899 87732 357 183 0 198269 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 859628

[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 1.91 3/184 25174
/proc/meminfo: memFree=24239928/32873648 swapFree=6864/6864
[pid=25169] ppid=25167 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/25169/stat : 25169 (python) S 25167 25169 24798 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293370425 17403904 1082 33554432000 4194304 5683644 140733833788704 140733833786552 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25169/statm: 4249 1082 429 364 0 691 0
[pid=25171] ppid=25169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25171/stat : 25171 (sh) S 25169 25169 24798 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293370432 9367552 267 33554432000 4194304 5064252 140737223259840 140737223258544 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25171/statm: 2287 267 226 213 0 72 0
[pid=25172] ppid=25171 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/25172/stat : 25172 (python) S 25171 25169 24798 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293370432 17141760 1059 33554432000 4194304 5683644 140736135872384 140736135870232 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25172/statm: 4185 1059 429 364 0 627 0
[pid=25173] ppid=25172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25173/stat : 25173 (sh) S 25172 25169 24798 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293370435 9367552 268 33554432000 4194304 5064252 140737255367984 140737255366688 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25173/statm: 2287 268 226 213 0 72 0
[pid=25174] ppid=25173 vsize=1380012 CPUtime=2.99 cores=1,3,5,7
/proc/25174/stat : 25174 (PBPASSolver-817) R 25173 25169 24798 0 -1 4202496 160478 0 0 0 214 85 0 0 20 0 1 0 293370435 1413132288 150340 33554432000 4194304 4943705 140735075694672 140735075693584 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/25174/statm: 345003 150340 357 183 0 341373 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 1432044

[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 1.91 3/184 25174
/proc/meminfo: memFree=23824712/32873648 swapFree=6864/6864
[pid=25169] ppid=25167 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/25169/stat : 25169 (python) S 25167 25169 24798 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293370425 17403904 1082 33554432000 4194304 5683644 140733833788704 140733833786552 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25169/statm: 4249 1082 429 364 0 691 0
[pid=25171] ppid=25169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25171/stat : 25171 (sh) S 25169 25169 24798 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293370432 9367552 267 33554432000 4194304 5064252 140737223259840 140737223258544 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25171/statm: 2287 267 226 213 0 72 0
[pid=25172] ppid=25171 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/25172/stat : 25172 (python) S 25171 25169 24798 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293370432 17141760 1059 33554432000 4194304 5683644 140736135872384 140736135870232 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25172/statm: 4185 1059 429 364 0 627 0
[pid=25173] ppid=25172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25173/stat : 25173 (sh) S 25172 25169 24798 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293370435 9367552 268 33554432000 4194304 5064252 140737255367984 140737255366688 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25173/statm: 2287 268 226 213 0 72 0
[pid=25174] ppid=25173 vsize=2199468 CPUtime=6.08 cores=1,3,5,7
/proc/25174/stat : 25174 (PBPASSolver-817) R 25173 25169 24798 0 -1 4202496 250106 0 0 0 469 139 0 0 20 0 1 0 293370435 2252255232 239968 33554432000 4194304 4943705 140735075694672 140735075693584 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 10 0 0
/proc/25174/statm: 549867 239968 357 183 0 546237 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 2251500

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 25174
/proc/meminfo: memFree=23249888/32873648 swapFree=6864/6864
[pid=25169] ppid=25167 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/25169/stat : 25169 (python) S 25167 25169 24798 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293370425 17403904 1082 33554432000 4194304 5683644 140733833788704 140733833786552 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25169/statm: 4249 1082 429 364 0 691 0
[pid=25171] ppid=25169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25171/stat : 25171 (sh) S 25169 25169 24798 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293370432 9367552 267 33554432000 4194304 5064252 140737223259840 140737223258544 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25171/statm: 2287 267 226 213 0 72 0
[pid=25172] ppid=25171 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/25172/stat : 25172 (python) S 25171 25169 24798 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293370432 17141760 1059 33554432000 4194304 5683644 140736135872384 140736135870232 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25172/statm: 4185 1059 429 364 0 627 0
[pid=25173] ppid=25172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25173/stat : 25173 (sh) S 25172 25169 24798 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293370435 9367552 268 33554432000 4194304 5064252 140737255367984 140737255366688 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25173/statm: 2287 268 226 213 0 72 0
[pid=25174] ppid=25173 vsize=3400108 CPUtime=12.43 cores=1,3,5,7
/proc/25174/stat : 25174 (PBPASSolver-817) R 25173 25169 24798 0 -1 4202496 381426 0 0 0 1021 222 0 0 20 0 1 0 293370435 3481710592 371288 33554432000 4194304 4943705 140735075694672 140735075693584 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 15 0 0
/proc/25174/statm: 850027 371288 357 183 0 846397 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 3452140

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 25174
/proc/meminfo: memFree=22426104/32873648 swapFree=6864/6864
[pid=25169] ppid=25167 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/25169/stat : 25169 (python) S 25167 25169 24798 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293370425 17403904 1082 33554432000 4194304 5683644 140733833788704 140733833786552 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25169/statm: 4249 1082 429 364 0 691 0
[pid=25171] ppid=25169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25171/stat : 25171 (sh) S 25169 25169 24798 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293370432 9367552 267 33554432000 4194304 5064252 140737223259840 140737223258544 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25171/statm: 2287 267 226 213 0 72 0
[pid=25172] ppid=25171 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/25172/stat : 25172 (python) S 25171 25169 24798 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293370432 17141760 1059 33554432000 4194304 5683644 140736135872384 140736135870232 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25172/statm: 4185 1059 429 364 0 627 0
[pid=25173] ppid=25172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25173/stat : 25173 (sh) S 25172 25169 24798 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293370435 9367552 268 33554432000 4194304 5064252 140737255367984 140737255366688 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25173/statm: 2287 268 226 213 0 72 0
[pid=25174] ppid=25173 vsize=4875692 CPUtime=25.13 cores=1,3,5,7
/proc/25174/stat : 25174 (PBPASSolver-817) R 25173 25169 24798 0 -1 4202496 542818 0 0 0 2191 322 0 0 20 0 1 0 293370435 4992708608 532680 33554432000 4194304 4943705 140735075694672 140735075693584 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 25 0 0
/proc/25174/statm: 1218923 532680 357 183 0 1215293 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 4927724

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 25174
/proc/meminfo: memFree=22395652/32873648 swapFree=6864/6864
[pid=25169] ppid=25167 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/25169/stat : 25169 (python) S 25167 25169 24798 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293370425 17403904 1082 33554432000 4194304 5683644 140733833788704 140733833786552 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25169/statm: 4249 1082 429 364 0 691 0
[pid=25171] ppid=25169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25171/stat : 25171 (sh) S 25169 25169 24798 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293370432 9367552 267 33554432000 4194304 5064252 140737223259840 140737223258544 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25171/statm: 2287 267 226 213 0 72 0
[pid=25172] ppid=25171 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/25172/stat : 25172 (python) S 25171 25169 24798 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293370432 17141760 1059 33554432000 4194304 5683644 140736135872384 140736135870232 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25172/statm: 4185 1059 429 364 0 627 0
[pid=25173] ppid=25172 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25173/stat : 25173 (sh) S 25172 25169 24798 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293370435 9367552 268 33554432000 4194304 5064252 140737255367984 140737255366688 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25173/statm: 2287 268 226 213 0 72 0
[pid=25174] ppid=25173 vsize=5094892 CPUtime=50.63 cores=1,3,5,7
/proc/25174/stat : 25174 (PBPASSolver-817) R 25173 25169 24798 0 -1 4202496 568432 0 0 0 2966 2097 0 0 20 0 1 0 293370435 5217169408 557158 33554432000 4194304 4943705 140735075694672 140735075692048 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 31 0 0
/proc/25174/statm: 1273723 557158 366 183 0 1270093 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 5146924

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 25174
/proc/meminfo: memFree=22218284/32873648 swapFree=6864/6864
[pid=25169] ppid=25167 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/25169/stat : 25169 (python) S 25167 25169 24798 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293370425 17403904 1082 33554432000 4194304 5683644 140733833788704 140733833786552 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25169/statm: 4249 1082 429 364 0 691 0
[pid=25171] ppid=25169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25171/stat : 25171 (sh) S 25169 25169 24798 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293370432 9367552 267 33554432000 4194304 5064252 140737223259840 140737223258544 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25171/statm: 2287 267 226 213 0 72 0
[pid=25172] ppid=25171 vsize=16740 CPUtime=0.01 cores=1,3,5,7

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

/proc/loadavg: 2.04 2.01 1.95 3/181 25320
/proc/meminfo: memFree=23308140/32873648 swapFree=6864/6864
[pid=25169] ppid=25167 vsize=16996 CPUtime=523.17 cores=1,3,5,7
/proc/25169/stat : 25169 (python) S 25167 25169 24798 0 -1 4202496 1404 828812 0 0 1 0 12494 39822 20 0 1 0 293370425 17403904 1082 33554432000 4194304 5683644 140733833788704 140733833786248 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25169/statm: 4249 1082 429 364 0 691 0
[pid=25221] ppid=25169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25221/stat : 25221 (sh) S 25169 25169 24798 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293422913 9367552 267 33554432000 4194304 5064252 140736194473632 140736194472336 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25221/statm: 2287 267 226 213 0 72 0
[pid=25222] ppid=25221 vsize=4329908 CPUtime=777.25 cores=1,3,5,7
/proc/25222/stat : 25222 (CryptoMiniSat) R 25221 25169 24798 0 -1 4202496 313471 0 0 0 77566 159 0 0 20 0 1 0 293422913 4433825792 995581 33554432000 4194304 4734972 140736556155792 140736556147384 4312448 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/25222/statm: 1082477 995581 401 132 0 1077377 0
Current children cumulated CPU time (s) 1300.42
Current children cumulated vsize (KiB) 4356052

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/181 25320
/proc/meminfo: memFree=23290384/32873648 swapFree=6864/6864
[pid=25169] ppid=25167 vsize=16996 CPUtime=523.17 cores=1,3,5,7
/proc/25169/stat : 25169 (python) S 25167 25169 24798 0 -1 4202496 1404 828812 0 0 1 0 12494 39822 20 0 1 0 293370425 17403904 1082 33554432000 4194304 5683644 140733833788704 140733833786248 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25169/statm: 4249 1082 429 364 0 691 0
[pid=25221] ppid=25169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25221/stat : 25221 (sh) S 25169 25169 24798 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293422913 9367552 267 33554432000 4194304 5064252 140736194473632 140736194472336 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25221/statm: 2287 267 226 213 0 72 0
[pid=25222] ppid=25221 vsize=4286708 CPUtime=837.23 cores=1,3,5,7
/proc/25222/stat : 25222 (CryptoMiniSat) R 25221 25169 24798 0 -1 4202496 317707 0 0 0 83557 166 0 0 20 0 1 0 293422913 4389588992 983118 33554432000 4194304 4734972 140736556155792 140736556147816 4327238 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/25222/statm: 1071677 983118 401 132 0 1066577 0
Current children cumulated CPU time (s) 1360.4
Current children cumulated vsize (KiB) 4312852

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 25320
/proc/meminfo: memFree=23273004/32873648 swapFree=6864/6864
[pid=25169] ppid=25167 vsize=16996 CPUtime=523.17 cores=1,3,5,7
/proc/25169/stat : 25169 (python) S 25167 25169 24798 0 -1 4202496 1404 828812 0 0 1 0 12494 39822 20 0 1 0 293370425 17403904 1082 33554432000 4194304 5683644 140733833788704 140733833786248 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25169/statm: 4249 1082 429 364 0 691 0
[pid=25221] ppid=25169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25221/stat : 25221 (sh) S 25169 25169 24798 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293422913 9367552 267 33554432000 4194304 5064252 140736194473632 140736194472336 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25221/statm: 2287 267 226 213 0 72 0
[pid=25222] ppid=25221 vsize=4286708 CPUtime=897.23 cores=1,3,5,7
/proc/25222/stat : 25222 (CryptoMiniSat) R 25221 25169 24798 0 -1 4202496 317708 0 0 0 89557 166 0 0 20 0 1 0 293422913 4389588992 983118 33554432000 4194304 4734972 140736556155792 140736556147816 4327742 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/25222/statm: 1071677 983118 401 132 0 1066577 0
Current children cumulated CPU time (s) 1420.4
Current children cumulated vsize (KiB) 4312852

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 25321
/proc/meminfo: memFree=23251372/32873648 swapFree=6864/6864
[pid=25169] ppid=25167 vsize=16996 CPUtime=523.17 cores=1,3,5,7
/proc/25169/stat : 25169 (python) S 25167 25169 24798 0 -1 4202496 1404 828812 0 0 1 0 12494 39822 20 0 1 0 293370425 17403904 1082 33554432000 4194304 5683644 140733833788704 140733833786248 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25169/statm: 4249 1082 429 364 0 691 0
[pid=25221] ppid=25169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25221/stat : 25221 (sh) S 25169 25169 24798 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293422913 9367552 267 33554432000 4194304 5064252 140736194473632 140736194472336 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25221/statm: 2287 267 226 213 0 72 0
[pid=25222] ppid=25221 vsize=4234376 CPUtime=957.22 cores=1,3,5,7
/proc/25222/stat : 25222 (CryptoMiniSat) R 25221 25169 24798 0 -1 4202496 319072 0 0 0 95554 168 0 0 20 0 1 0 293422913 4336001024 971870 33554432000 4194304 4734972 140736556155792 140736556147384 4415048 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/25222/statm: 1058594 971870 401 132 0 1053494 0
Current children cumulated CPU time (s) 1480.39
Current children cumulated vsize (KiB) 4260520

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 25321
/proc/meminfo: memFree=23177992/32873648 swapFree=6864/6864
[pid=25169] ppid=25167 vsize=16996 CPUtime=523.17 cores=1,3,5,7
/proc/25169/stat : 25169 (python) S 25167 25169 24798 0 -1 4202496 1404 828812 0 0 1 0 12494 39822 20 0 1 0 293370425 17403904 1082 33554432000 4194304 5683644 140733833788704 140733833786248 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25169/statm: 4249 1082 429 364 0 691 0
[pid=25221] ppid=25169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25221/stat : 25221 (sh) S 25169 25169 24798 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293422913 9367552 267 33554432000 4194304 5064252 140736194473632 140736194472336 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25221/statm: 2287 267 226 213 0 72 0
[pid=25222] ppid=25221 vsize=4275388 CPUtime=1017.2 cores=1,3,5,7
/proc/25222/stat : 25222 (CryptoMiniSat) R 25221 25169 24798 0 -1 4202496 321279 0 0 0 101546 174 0 0 20 0 1 0 293422913 4377997312 981769 33554432000 4194304 4734972 140736556155792 140736556147816 4329694 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/25222/statm: 1068847 981769 401 132 0 1063747 0
Current children cumulated CPU time (s) 1540.37
Current children cumulated vsize (KiB) 4301532

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 25321
/proc/meminfo: memFree=23167204/32873648 swapFree=6864/6864
[pid=25169] ppid=25167 vsize=16996 CPUtime=523.17 cores=1,3,5,7
/proc/25169/stat : 25169 (python) S 25167 25169 24798 0 -1 4202496 1404 828812 0 0 1 0 12494 39822 20 0 1 0 293370425 17403904 1082 33554432000 4194304 5683644 140733833788704 140733833786248 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25169/statm: 4249 1082 429 364 0 691 0
[pid=25221] ppid=25169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25221/stat : 25221 (sh) S 25169 25169 24798 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293422913 9367552 267 33554432000 4194304 5064252 140736194473632 140736194472336 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25221/statm: 2287 267 226 213 0 72 0
[pid=25222] ppid=25221 vsize=4340928 CPUtime=1077.19 cores=1,3,5,7
/proc/25222/stat : 25222 (CryptoMiniSat) R 25221 25169 24798 0 -1 4202496 321314 0 0 0 107545 174 0 0 20 0 1 0 293422913 4445110272 982586 33554432000 4194304 4734972 140736556155792 140736556147816 4241804 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/25222/statm: 1085232 982586 401 132 0 1080132 0
Current children cumulated CPU time (s) 1600.36
Current children cumulated vsize (KiB) 4367072

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 25321
/proc/meminfo: memFree=23148148/32873648 swapFree=6864/6864
[pid=25169] ppid=25167 vsize=16996 CPUtime=523.17 cores=1,3,5,7
/proc/25169/stat : 25169 (python) S 25167 25169 24798 0 -1 4202496 1404 828812 0 0 1 0 12494 39822 20 0 1 0 293370425 17403904 1082 33554432000 4194304 5683644 140733833788704 140733833786248 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25169/statm: 4249 1082 429 364 0 691 0
[pid=25221] ppid=25169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25221/stat : 25221 (sh) S 25169 25169 24798 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293422913 9367552 267 33554432000 4194304 5064252 140736194473632 140736194472336 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25221/statm: 2287 267 226 213 0 72 0
[pid=25222] ppid=25221 vsize=4275388 CPUtime=1137.16 cores=1,3,5,7
/proc/25222/stat : 25222 (CryptoMiniSat) R 25221 25169 24798 0 -1 4202496 321891 0 0 0 113541 175 0 0 20 0 1 0 293422913 4377997312 982049 33554432000 4194304 4734972 140736556155792 140736556147816 4241806 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/25222/statm: 1068847 982049 401 132 0 1063747 0
Current children cumulated CPU time (s) 1660.33
Current children cumulated vsize (KiB) 4301532

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/181 25321
/proc/meminfo: memFree=23173368/32873648 swapFree=6864/6864
[pid=25169] ppid=25167 vsize=16996 CPUtime=523.17 cores=1,3,5,7
/proc/25169/stat : 25169 (python) S 25167 25169 24798 0 -1 4202496 1404 828812 0 0 1 0 12494 39822 20 0 1 0 293370425 17403904 1082 33554432000 4194304 5683644 140733833788704 140733833786248 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25169/statm: 4249 1082 429 364 0 691 0
[pid=25221] ppid=25169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25221/stat : 25221 (sh) S 25169 25169 24798 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293422913 9367552 267 33554432000 4194304 5064252 140736194473632 140736194472336 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25221/statm: 2287 267 226 213 0 72 0
[pid=25222] ppid=25221 vsize=4234376 CPUtime=1197.15 cores=1,3,5,7
/proc/25222/stat : 25222 (CryptoMiniSat) R 25221 25169 24798 0 -1 4202496 327739 0 0 0 119531 184 0 0 20 0 1 0 293422913 4336001024 972150 33554432000 4194304 4734972 140736556155792 140736556147816 4327808 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/25222/statm: 1058594 972150 401 132 0 1053494 0
Current children cumulated CPU time (s) 1720.32
Current children cumulated vsize (KiB) 4260520

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 1.95 3/182 25325
/proc/meminfo: memFree=23133380/32873648 swapFree=6864/6864
[pid=25169] ppid=25167 vsize=16996 CPUtime=523.17 cores=1,3,5,7
/proc/25169/stat : 25169 (python) S 25167 25169 24798 0 -1 4202496 1404 828812 0 0 1 0 12494 39822 20 0 1 0 293370425 17403904 1082 33554432000 4194304 5683644 140733833788704 140733833786248 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25169/statm: 4249 1082 429 364 0 691 0
[pid=25221] ppid=25169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25221/stat : 25221 (sh) S 25169 25169 24798 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293422913 9367552 267 33554432000 4194304 5064252 140736194473632 140736194472336 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25221/statm: 2287 267 226 213 0 72 0
[pid=25222] ppid=25221 vsize=4234376 CPUtime=1257.14 cores=1,3,5,7
/proc/25222/stat : 25222 (CryptoMiniSat) R 25221 25169 24798 0 -1 4202496 327747 0 0 0 125530 184 0 0 20 0 1 0 293422913 4336001024 972154 33554432000 4194304 4734972 140736556155792 140736556147816 4326604 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/25222/statm: 1058594 972154 401 132 0 1053494 0
Current children cumulated CPU time (s) 1780.31
Current children cumulated vsize (KiB) 4260520



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802 s]
/proc/loadavg: 2.02 2.01 1.95 3/182 25325
/proc/meminfo: memFree=23131252/32873648 swapFree=6864/6864
[pid=25169] ppid=25167 vsize=16996 CPUtime=523.17 cores=1,3,5,7
/proc/25169/stat : 25169 (python) S 25167 25169 24798 0 -1 4202496 1404 828812 0 0 1 0 12494 39822 20 0 1 0 293370425 17403904 1082 33554432000 4194304 5683644 140733833788704 140733833786248 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25169/statm: 4249 1082 429 364 0 691 0
[pid=25221] ppid=25169 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25221/stat : 25221 (sh) S 25169 25169 24798 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293422913 9367552 267 33554432000 4194304 5064252 140736194473632 140736194472336 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25221/statm: 2287 267 226 213 0 72 0
[pid=25222] ppid=25221 vsize=4234376 CPUtime=1276.84 cores=1,3,5,7
/proc/25222/stat : 25222 (CryptoMiniSat) R 25221 25169 24798 0 -1 4202496 327750 0 0 0 127500 184 0 0 20 0 1 0 293422913 4336001024 972154 33554432000 4194304 4734972 140736556155792 140736556147816 4327579 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/25222/statm: 1058594 972154 401 132 0 1053494 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 4260520

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25169 and gives
#  childrusage.ru_utime.tv_sec=124
#  childrusage.ru_utime.tv_usec=959003
#  childrusage.ru_stime.tv_sec=398
#  childrusage.ru_stime.tv_usec=237458
# CPU time returned by wait4() is 523.196
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1802.01
CPU time (s): 1800.01
CPU user time (s): 1399.95
CPU system time (s): 400.06
CPU usage (%): 99.8888
Max. virtual memory (cumulated for all children) (KiB): 6068332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 124.959
system time used= 398.237
maximum resident set size= 3014284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 831067
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1702384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 402
involuntary context switches= 556

runsolver used 6.34304 second user time and 17.0224 second system time

The end

Launcher Data 

Begin job on node125 at 2012-05-29 08:20:50
IDJOB=3718717
IDBENCH=73968
IDSOLVER=2302
FILE ID=node125/3718717-1338272450
RUNJOBID= node125-1338268844-24815
PBS_JOBID= 14625696
Free space on /tmp= 70540 MiB

SOLVER NAME= PBPASSolver-CARD.DP 2012-05-28
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12038_7-unsat.opb
COMMAND LINE= python HOME/RunSolver.py BENCHNAME PrimePower CARD.DP ./CryptoMiniSat
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718717-1338272450/watcher-3718717-1338272450 -o /tmp/evaluation-result-3718717-1338272450/solver-3718717-1338272450 -C 1800 -W 1900 -M 15500  python HOME/RunSolver.py HOME/instance-3718717-1338272450.opb PrimePower CARD.DP ./CryptoMiniSat

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

MD5SUM BENCH= dcebcc122dcddcac4192e5e5bf5bd3e3
RANDOM SEED=902508626

node125.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.373
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	: 5332.74
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.373
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.373
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		: 2666.373
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.90
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.373
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.91
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.373
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	: 5438.54
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.373
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.373
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:       32873648 kB
MemFree:        24702032 kB
Buffers:          556964 kB
Cached:          3289468 kB
SwapCached:         2300 kB
Active:          5724024 kB
Inactive:        1558740 kB
Active(anon):    3428044 kB
Inactive(anon):     9556 kB
Active(file):    2295980 kB
Inactive(file):  1549184 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102620 kB
Dirty:             15548 kB
Writeback:             0 kB
AnonPages:       3464664 kB
Mapped:            15792 kB
Shmem:               104 kB
Slab:             743832 kB
SReclaimable:     187728 kB
SUnreclaim:       556104 kB
KernelStack:        1512 kB
PageTables:        10676 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    4089448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2832384 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= 70352 MiB
End job on node125 at 2012-05-29 08:50:52