Trace number 3719083

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.SN 2012-05-28? (TO) 1800.02 1802.82

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12032_3-unsat.opb
MD5SUM336dbbe12a18bfd6b8d34c583a70b44b
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 benchmark282.212
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables32186
Total number of constraints107047
Number of constraints which are clauses106519
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints528
Minimum length of a constraint1
Maximum length of a constraint93
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 26
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 561
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.02/1802.81	cpython RunMakeCNF.py HOME/instance-3719083-1338271824.opb PrimePower CARD.SN ./CryptoMiniSat
1800.02/1802.81	./CryptoMiniSat HOME/instance-3719083-1338271824.opb.PrimePower.CARD.SN.cnf 1>HOME/instance-3719083-1338271824.opb.PrimePower.CARD.SN.cnf.CryptoMiniSat.out 2>HOME/instance-3719083-1338271824.opb.PrimePower.CARD.SN.cnf.CryptoMiniSat.err
1800.02/1802.81	
1800.02/1802.81	HOME/instance-3719083-1338271824.opb.PrimePower.CARD.SN.cnf.CryptoMiniSat.out
1800.02/1802.81	c Outputting solution to console
1800.02/1802.81	c This is CryptoMiniSat 2.9.1
1800.02/1802.81	c compiled with gcc version 4.4.6 20110731 (Red Hat 4.4.6-3)
1800.02/1802.81	c WARNING: for repeatability, setting FPU to use double precision
1800.02/1802.81	c Reading file 'HOME/instance-3719083-1338271824.opb.PrimePower.CARD.SN.cnf'
1800.02/1802.81	c -- header says num vars:        5890213
1800.02/1802.81	c -- header says num clauses:    30309912
1800.02/1802.81	c -- clauses added:            0 learnts,     30309912 normals,            0 xors
1800.02/1802.81	c -- vars added    5890212
1800.02/1802.81	c Parsing time:  9.90 s
1800.02/1802.81	c  N st     0         0   5890212   2261845         0  16725955         0  41824618         0   no data   no data  --
1800.02/1802.81	c asymm  cl-useful: 0/20/2066582 lits-rem:0 time: 1.06
1800.02/1802.81	c Flit:   221 Blit:  59548 bXBeca:    0 bXProp: 4327 Bins:      0 BRemL:      0 BRemN:      0 P: 200.2M T: 15.54
1800.02/1802.81	c Cleaning up after failed var search:     0.69 s 
1800.02/1802.81	c Replacing     4328 vars Replaced    73176 lits Time:     0.61 s 
1800.02/1802.81	c bin-w-bin subsume rem          584 bins  time:  1.10 s
1800.02/1802.81	c subs with bin:     2398  lits-rem:      2398  v-fix:    0  time:  1.28 s
1800.02/1802.81	c Subs w/ non-existent bins:    151 l-rem:     54 v-fix:  2257 done:   8701 time: 13.37 s
1800.02/1802.81	c Removed useless bin:       3  fixed:  2474  props:  20.04M  time:  0.77 s
1800.02/1802.81	c lits-rem:      5154  cl-subs:    14652  v-elim: 771086  v-fix:    0  time: 15.61 s
1800.02/1802.81	c Finding binary XORs  T:     0.75 s  found:  149462
1800.02/1802.81	c Replacing   149462 vars Replaced  8820804 lits Time:     1.07 s 
1800.02/1802.81	c Calc default polars -  time:   0.28 s pos:  148190 undec: 4479191 neg: 1262831
1800.02/1802.81	c =========================================================================================
1800.02/1802.81	c types(t): F = full restart, N = normal restart
1800.02/1802.81	c types(t): S = simplification begin/end, E = solution found
1800.02/1802.81	c restart types(rt): st = static, dy = dynamic
1800.02/1802.81	c  t rt  Rest     Confl      Vars   NormCls    XorCls    BinCls   Learnts    ClLits    LtLits
1800.02/1802.81	c  B st     0         0   1416447   2781507         0   7758153         0  27651523         0   no data   no data  --
1800.02/1802.81	c  N dy    10      4067   1416348   2781507         0   7758210      3913  27651523    303608     13.35     14.45  --
1800.02/1802.81	c  N dy    29      8154   1416240   2781507         0   7758278      7828  27651523    532713     14.09     14.87  --
1800.02/1802.81	c  N dy    41     12200   1416038   2781507         0   7758324     11746  27651523    781518     13.57     25.57  --
1800.02/1802.81	c  N dy    58     16202   1416025   2781507         0   7758369     15611  27651519   1001784     13.26     13.98  --
1800.02/1802.81	c  N dy    76     21366   1415914   2781507         0   7758448     10936  27651519    334083     13.01     13.71  --
1800.02/1802.81	c  F st    81     25000   1415814   2781507         0   7758523     14401  27651519    452797     12.48     11.28  --
1800.02/1802.81	c  N st    83     25625   1415780   2780107         0   7755172     14962  27637608    477770     12.48   no data  --
1800.02/1802.81	c  N dy    87     30001   1415723   2780107         0   7755205     19209  27637608    809416     12.48   no data  --
1800.02/1802.81	c  S st    87     30001   1415723   2780107         0   7755205     19209  27637608    809416     12.48   no data  --
1800.02/1802.81	c  S st    87     30501   1415684   2780107         0   7755242     19251  27637608    809873     12.48   no data  --
1800.02/1802.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.57
1800.02/1802.81	c Flit:   190 Blit:  93838 bXBeca:    0 bXProp:  181 Bins:   3668 BRemL:      0 BRemN:      0 P: 200.1M T: 16.66
1800.02/1802.81	c Cleaning up after failed var search:     0.82 s 
1800.02/1802.81	c Replacing      182 vars Replaced    11572 lits Time:     0.71 s 
1800.02/1802.81	c bin-w-bin subsume rem      1433830 bins  time:  1.14 s
1800.02/1802.81	c subs with bin:     3218  lits-rem:     69712  v-fix:    0  time:  1.13 s
1800.02/1802.81	c Subs w/ non-existent bins:     88 l-rem:   4879 v-fix:    11 done:    851 time:  0.80 s
1800.02/1802.81	c Removed useless bin:     238  fixed:   154  props:  20.01M  time:  0.60 s
1800.02/1802.81	c lits-rem:      1004  cl-subs:   135689  v-elim:  59086  v-fix:    0  time: 31.24 s
1800.02/1802.81	c asymm  cl-useful: 69/1090/2611947 lits-rem:207 time: 0.67
1800.02/1802.81	c  N dy    87     30501   1257917   2611878         0   5662958      6681  22385710    125041     12.48   no data  --
1800.02/1802.81	c  N dy   108     34892   1257917   2611878         0   5662994     10930  22385710    308384     12.48     13.16  --
1800.02/1802.81	c  N dy   120     39108   1257829   2611878         0   5663077     14985  22385710    539006     12.32     12.97  --
1800.02/1802.81	c  N dy   133     43432   1257756   2611878         0   5663174     19123  22385708    762174     12.13     12.87  --
1800.02/1802.81	c  S st   148     45753   1257739   2611878         0   5663184     21376  22385708    884333     12.28     12.37  --
1800.02/1802.81	c  S st   148     46253   1255593   2611878         0   5663227     21427  22385708    884709     12.28   no data  --
1800.02/1802.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.54
1800.02/1802.81	c Flit:   465 Blit:  50269 bXBeca:    0 bXProp:  340 Bins:   4745 BRemL:      0 BRemN:      0 P: 200.0M T: 15.35
1800.02/1802.81	c Cleaning up after failed var search:     0.35 s 
1800.02/1802.81	c Replacing      341 vars Replaced    20929 lits Time:     0.64 s 
1800.02/1802.81	c bin-w-bin subsume rem          832 bins  time:  0.71 s
1800.02/1802.81	c subs with bin:     9719  lits-rem:     42695  v-fix:    0  time:  1.05 s
1800.02/1802.81	c Subs w/ non-existent bins:    568 l-rem:   2220 v-fix:  1740 done:  11678 time:  4.52 s
1800.02/1802.81	c Removed useless bin:     142  fixed:  1886  props:  20.03M  time:  0.65 s
1800.02/1802.81	c lits-rem:       447  cl-subs:    91550  v-elim:  39928  v-fix:    0  time: 39.09 s
1800.02/1802.81	c asymm  cl-useful: 0/1147/2495100 lits-rem:0 time: 0.61
1800.02/1802.81	c  N dy   148     46253   1161054   2495100         0   5332210     14942  21060093    429256     12.28   no data  --
1800.02/1802.81	c Finding binary XORs  T:     0.62 s  found:    7134
1800.02/1802.81	c  N dy   170     50258   1161043   2495100         0   5332258     18816  21060093    656011     12.29     12.97  --
1800.02/1802.81	c  N dy   183     55092   1160976   2495100         0   5332413     23378  21060091    885707     12.18     12.92  --
1800.02/1802.81	c  N dy   202     59226   1160930   2495100         0   5332532     27316  21060091   1084820     12.13     12.81  --
1800.02/1802.81	c  N dy   212     63837   1160891   2495100         0   5332638     17731  21060089    467090     11.97     12.61  --
1800.02/1802.81	c  N dy   233     68202   1160790   2495100         0   5332726     21911  21060089    648523     11.93     12.82  --
1800.02/1802.81	c  S st   234     69379   1160726   2495100         0   5332739     23057  21060088    736102     11.85      7.97  --
1800.02/1802.81	c  S st   234     69879   1160709   2495100         0   5332793     23135  21060088    736779     11.85   no data  --
1800.02/1802.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.52
1800.02/1802.81	c Flit:   193 Blit:  28735 bXBeca:    0 bXProp:  262 Bins:    628 BRemL:      0 BRemN:      3 P: 200.1M T: 15.37
1800.02/1802.81	c Cleaning up after failed var search:     0.31 s 
1800.02/1802.81	c Replacing     7397 vars Replaced   365991 lits Time:     0.74 s 
1800.02/1802.81	c bin-w-bin subsume rem         2183 bins  time:  0.69 s
1800.02/1802.81	c subs with bin:    11165  lits-rem:     46952  v-fix:    0  time:  1.12 s
1800.02/1802.81	c Subs w/ non-existent bins:    920 l-rem:   1191 v-fix:  1767 done:  33110 time:  5.25 s
1800.02/1802.81	c Removed useless bin:     153  fixed:  1943  props:  20.06M  time:  0.59 s
1800.02/1802.81	c lits-rem:       439  cl-subs:    71890  v-elim:  32098  v-fix:    4  time: 26.11 s
1800.02/1802.81	c asymm  cl-useful: 295/2631/2422360 lits-rem:885 time: 0.57
1800.02/1802.81	c  N dy   234     69879   1088786   2422065         0   5086585     15967  20201543    271216     11.85   no data  --
1800.02/1802.81	c Finding binary XORs  T:     0.59 s  found:    1557
1800.02/1802.81	c  N dy   260     74517   1088764   2422065         0   5086728     20377  20201543    459163     11.89     12.60  --
1800.02/1802.81	c  N dy   283     79388   1088726   2422065         0   5086857     24998  20201543    632962     11.88     12.81  --
1800.02/1802.81	c  N dy   305     85312   1088723   2422065         0   5086999     30679  20201543    900165     11.88     12.56  --
1800.02/1802.81	c  F st   312     87500   1088722   2422065         0   5087021     32795  20201543    991340     11.84      7.14  --
1800.02/1802.81	c Replacing     1557 vars Replaced    77078 lits Time:     0.64 s 
1800.02/1802.81	c  N st   317     90800   1087158   2421685         0   5083634     18785  20193403    286987     11.84   no data  --
1800.02/1802.81	c  N dy   322     97532   1087153   2421685         0   5083705     25235  20193403    548629     11.71     12.41  --
1800.02/1802.81	c  N dy   346    103806   1087143   2421685         0   5083783     31338  20193400    837078     11.68     12.84  --
1800.02/1802.81	c  S st   354    104818   1087122   2421685         0   5083800     32315  20193400    891828     11.70   no data  --
1800.02/1802.81	c  S st   354    105318   1085979   2421685         0   5083873     32437  20193400    893145     11.70   no data  --
1800.02/1802.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.52
1800.02/1802.81	c Flit:    91 Blit:  10983 bXBeca:    0 bXProp:  269 Bins:  11027 BRemL:      0 BRemN:      0 P: 200.1M T: 16.66
1800.02/1802.81	c Cleaning up after failed var search:     0.29 s 
1800.02/1802.81	c Replacing      270 vars Replaced    16021 lits Time:     0.60 s 
1800.02/1802.81	c bin-w-bin subsume rem         1758 bins  time:  0.68 s
1800.02/1802.81	c subs with bin:     4232  lits-rem:      2911  v-fix:    0  time:  1.03 s
1800.02/1802.81	c Subs w/ non-existent bins:    487 l-rem:   4012 v-fix:   450 done:  11182 time:  2.65 s
1800.02/1802.81	c Removed useless bin:     624  fixed:   550  props:  20.00M  time:  0.62 s
1800.02/1802.81	c lits-rem:       183  cl-subs:    21152  v-elim:   6927  v-fix:    0  time: 29.80 s
1800.02/1802.81	c asymm  cl-useful: 94/721/2384198 lits-rem:282 time: 0.65
1800.02/1802.81	c  N dy   354    105318   1066553   2384104         0   5004757     26387  19856028    606010     11.70   no data  --
1800.02/1802.81	c  N dy   388    112106   1066549   2384104         0   5004894     32905  19856024    904039     11.68     14.11  --
1800.02/1802.81	c  N dy   415    119295   1066541   2384104         0   5004973     20496  19856024    284174     11.64     12.33  --
1800.02/1802.81	c  N dy   457    127570   1066528   2384104         0   5005088     28467  19856024    653522     11.67     12.33  --
1800.02/1802.81	c  N dy   481    135806   1066526   2384104         0   5005293     36365  19856024    966461     11.58     23.93  --
1800.02/1802.81	c  N dy   517    145288   1066485   2384104         0   5005547     24225  19856024    310979     11.52     12.13  --
1800.02/1802.81	c  N dy   553    154660   1066472   2384104         0   5005749     33197  19856024    636136     11.45     12.21  --
1800.02/1802.81	c  S st   565    157979   1066472   2384104         0   5005838     36342  19856024    746075     11.42      8.12  --
1800.02/1802.81	c  S st   565    158479   1066460   2384104         0   5005920     36453  19856024    747097     11.42   no data  --
1800.02/1802.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.56
1800.02/1802.81	c Flit:   146 Blit:   8606 bXBeca:    0 bXProp:  246 Bins:   9383 BRemL:      0 BRemN:      0 P: 200.0M T: 15.60
1800.02/1802.81	c Cleaning up after failed var search:     0.31 s 
1800.02/1802.81	c Replacing      247 vars Replaced    16144 lits Time:     0.65 s 
1800.02/1802.81	c bin-w-bin subsume rem          335 bins  time:  0.68 s
1800.02/1802.81	c subs with bin:     3344  lits-rem:      2961  v-fix:    0  time:  1.05 s
1800.02/1802.81	c Subs w/ non-existent bins:    982 l-rem:   2253 v-fix:   805 done:  21480 time:  9.82 s
1800.02/1802.81	c Removed useless bin:     381  fixed:   817  props:  20.00M  time:  0.71 s
1800.02/1802.81	c lits-rem:       246  cl-subs:     6706  v-elim:   1535  v-fix:    1  time: 22.94 s
1800.02/1802.81	c asymm  cl-useful: 131/966/2352250 lits-rem:393 time: 0.64
1800.02/1802.81	c  N dy   565    158479   1053314   2352119         0   4952021     32603  19593063    621806     11.42   no data  --
1800.02/1802.81	c Finding binary XORs  T:     0.62 s  found:     832
1800.02/1802.81	c  N dy   613    168641   1053274   2352119         0   4952303     42268  19593062    992673     11.41     12.02  --
1800.02/1802.81	c  N dy   666    179414   1053242   2352119         0   4952530     30336  19593061    534774     11.40     12.10  --
1800.02/1802.81	c  N dy   728    191278   1053223   2352119         0   4952738     41774  19593061   1025601     11.50     12.18  --
1800.02/1802.81	c  N dy   787    203645   1053193   2352119         0   4953050     30090  19593058    521513     11.51     12.18  --
1800.02/1802.81	c  N dy   863    216886   1053141   2352119         0   4953303     42828  19593056   1117191     11.57     12.25  --
1800.02/1802.82	c  N dy   926    230797   1053073   2352119         0   4953501     31515  19593054    557344     11.56     15.66  --
1800.02/1802.82	c  S st   967    237718   1053070   2352119         0   4953613     38163  19593054    875329     11.59   no data  --
1800.02/1802.82	c  S st   967    238219   1052787   2352119         0   4953698     38328  19593053    877253     11.59   no data  --
1800.02/1802.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.56
1800.02/1802.82	c Flit:   705 Blit:   5927 bXBeca:    0 bXProp:  415 Bins:   2372 BRemL:      0 BRemN:      0 P: 200.6M T: 15.29
1800.02/1802.82	c Cleaning up after failed var search:     0.00 s 
1800.02/1802.82	c Replacing     1252 vars Replaced    54655 lits Time:     0.97 s 
1800.02/1802.82	c bin-w-bin subsume rem         1523 bins  time:  0.67 s
1800.02/1802.82	c subs with bin:     2012  lits-rem:      3289  v-fix:    0  time:  1.15 s
1800.02/1802.82	c Subs w/ non-existent bins:    957 l-rem:   1330 v-fix:   812 done:  33849 time: 10.06 s
1800.02/1802.82	c Removed useless bin:     257  fixed:   820  props:  20.05M  time:  0.68 s
1800.02/1802.82	c lits-rem:       419  cl-subs:     6690  v-elim:   1196  v-fix:    0  time: 36.58 s
1800.02/1802.82	c asymm  cl-useful: 129/1332/2323273 lits-rem:387 time: 0.59
1800.02/1802.82	c  N dy   967    238219   1041016   2323144         0   4885644     32925  19336346    582823     11.59   no data  --
1800.02/1802.82	c  N dy  1055    253473   1041015   2323144         0   4885827     47671  19336346   1276331     11.64     14.99  --
1800.02/1802.82	c  N dy  1143    269871   1040997   2323144         0   4886090     38069  19336346    786697     11.66     12.53  --
1800.02/1802.82	c  N dy  1219    287173   1040956   2323144         0   4886374     29784  19336344    313072     11.63     12.26  --
1800.02/1802.82	c  F st  1314    306250   1040948   2323144         0   4886788     48119  19336344   1200372     11.63      7.25  --
1800.02/1802.82	c  N st  1314    306250   1040948   2322918         0   4886244     48102  19334327   1199985     11.63      7.25  --
1800.02/1802.82	c  N dy  1395    325834   1040919   2322918         0   4886565     41566  19334326    704123     11.64     13.44  --

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-3719083-1338271824/watcher-3719083-1338271824 -o /tmp/evaluation-result-3719083-1338271824/solver-3719083-1338271824 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3719083-1338271824.opb PrimePower CARD.SN ./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.02 1.91 3/179 8618
/proc/meminfo: memFree=29814136/32873844 swapFree=7112/7112
[pid=8618] ppid=8616 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/8618/stat : 8618 (python) D 8616 8618 8298 0 -1 4202496 672 0 0 0 0 0 0 0 20 0 1 0 293308114 15642624 559 33554432000 4194304 5683644 140736300527904 140736300495848 272886481808 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/8618/statm: 3819 559 324 364 0 261 0

[startup+0.0167629 s]
/proc/loadavg: 2.00 2.02 1.91 3/179 8618
/proc/meminfo: memFree=29814136/32873844 swapFree=7112/7112
[pid=8618] ppid=8616 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/8618/stat : 8618 (python) D 8616 8618 8298 0 -1 4202496 764 0 0 0 0 0 0 0 20 0 1 0 293308114 15749120 636 33554432000 4194304 5683644 140736300527904 140736300472632 272886481808 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/8618/statm: 3845 636 334 364 0 287 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380

[startup+0.100241 s]
/proc/loadavg: 2.00 2.02 1.91 3/179 8618
/proc/meminfo: memFree=29814136/32873844 swapFree=7112/7112
[pid=8618] ppid=8616 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/8618/stat : 8618 (python) S 8616 8618 8298 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293308114 17403904 1082 33554432000 4194304 5683644 140736300527904 140736300525752 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/8618/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16996

[startup+0.300305 s]
/proc/loadavg: 2.00 2.02 1.91 3/179 8618
/proc/meminfo: memFree=29814136/32873844 swapFree=7112/7112
[pid=8618] ppid=8616 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/8618/stat : 8618 (python) S 8616 8618 8298 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293308114 17403904 1082 33554432000 4194304 5683644 140736300527904 140736300525752 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/8618/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16996

[startup+0.700309 s]
/proc/loadavg: 2.00 2.02 1.91 3/179 8618
/proc/meminfo: memFree=29814136/32873844 swapFree=7112/7112
[pid=8618] ppid=8616 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/8618/stat : 8618 (python) S 8616 8618 8298 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293308114 17403904 1082 33554432000 4194304 5683644 140736300527904 140736300525752 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/8618/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16996

[startup+1.50039 s]
/proc/loadavg: 2.00 2.02 1.91 3/184 8623
/proc/meminfo: memFree=29567668/32873844 swapFree=7112/7112
[pid=8618] ppid=8616 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/8618/stat : 8618 (python) S 8616 8618 8298 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293308114 17403904 1082 33554432000 4194304 5683644 140736300527904 140736300525752 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/8618/statm: 4249 1082 429 364 0 691 0
[pid=8620] ppid=8618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8620/stat : 8620 (sh) S 8618 8618 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293308122 9367552 266 33554432000 4194304 5064252 140733741163264 140733741161968 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8620/statm: 2287 266 226 213 0 72 0
[pid=8621] ppid=8620 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/8621/stat : 8621 (python) S 8620 8618 8298 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293308122 17141760 1059 33554432000 4194304 5683644 140735611978944 140735611976792 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/8621/statm: 4185 1059 429 364 0 627 0
[pid=8622] ppid=8621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8622/stat : 8622 (sh) S 8621 8618 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293308124 9367552 267 33554432000 4194304 5064252 140733727805904 140733727804608 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8622/statm: 2287 267 226 213 0 72 0
[pid=8623] ppid=8622 vsize=777068 CPUtime=1.38 cores=0,2,4,6
/proc/8623/stat : 8623 (PBPASSolver-817) R 8622 8618 8298 0 -1 4202496 99817 0 0 0 84 54 0 0 20 0 1 0 293308125 795717632 84472 33554432000 4194304 4943705 140737466592944 140737466591856 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 0 0 0
/proc/8623/statm: 194267 84477 357 183 0 190637 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 829100

[startup+3.10038 s]
/proc/loadavg: 2.00 2.02 1.91 3/184 8623
/proc/meminfo: memFree=29404680/32873844 swapFree=7112/7112
[pid=8618] ppid=8616 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/8618/stat : 8618 (python) S 8616 8618 8298 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293308114 17403904 1082 33554432000 4194304 5683644 140736300527904 140736300525752 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/8618/statm: 4249 1082 429 364 0 691 0
[pid=8620] ppid=8618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8620/stat : 8620 (sh) S 8618 8618 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293308122 9367552 266 33554432000 4194304 5064252 140733741163264 140733741161968 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8620/statm: 2287 266 226 213 0 72 0
[pid=8621] ppid=8620 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/8621/stat : 8621 (python) S 8620 8618 8298 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293308122 17141760 1059 33554432000 4194304 5683644 140735611978944 140735611976792 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/8621/statm: 4185 1059 429 364 0 627 0
[pid=8622] ppid=8621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8622/stat : 8622 (sh) S 8621 8618 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293308124 9367552 267 33554432000 4194304 5064252 140733727805904 140733727804608 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8622/statm: 2287 267 226 213 0 72 0
[pid=8623] ppid=8622 vsize=1333356 CPUtime=2.99 cores=0,2,4,6
/proc/8623/stat : 8623 (PBPASSolver-817) R 8622 8618 8298 0 -1 4202496 160668 0 0 0 210 89 0 0 20 0 1 0 293308125 1365356544 145323 33554432000 4194304 4943705 140737466592944 140737466591888 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 0 0 0
/proc/8623/statm: 333339 145326 357 183 0 329709 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 1385388

[startup+6.30038 s]
/proc/loadavg: 2.00 2.02 1.91 3/184 8623
/proc/meminfo: memFree=29006020/32873844 swapFree=7112/7112
[pid=8618] ppid=8616 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/8618/stat : 8618 (python) S 8616 8618 8298 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293308114 17403904 1082 33554432000 4194304 5683644 140736300527904 140736300525752 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/8618/statm: 4249 1082 429 364 0 691 0
[pid=8620] ppid=8618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8620/stat : 8620 (sh) S 8618 8618 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293308122 9367552 266 33554432000 4194304 5064252 140733741163264 140733741161968 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8620/statm: 2287 266 226 213 0 72 0
[pid=8621] ppid=8620 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/8621/stat : 8621 (python) S 8620 8618 8298 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293308122 17141760 1059 33554432000 4194304 5683644 140735611978944 140735611976792 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/8621/statm: 4185 1059 429 364 0 627 0
[pid=8622] ppid=8621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8622/stat : 8622 (sh) S 8621 8618 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293308124 9367552 267 33554432000 4194304 5064252 140733727805904 140733727804608 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8622/statm: 2287 267 226 213 0 72 0
[pid=8623] ppid=8622 vsize=2115180 CPUtime=6.03 cores=0,2,4,6
/proc/8623/stat : 8623 (PBPASSolver-817) R 8622 8618 8298 0 -1 4202496 246193 0 0 0 464 139 0 0 20 0 1 0 293308125 2165944320 230848 33554432000 4194304 4943705 140737466592944 140737466591216 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 15 0 0
/proc/8623/statm: 528795 230848 357 183 0 525165 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 2167212

[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 1.91 3/184 8623
/proc/meminfo: memFree=28453484/32873844 swapFree=7112/7112
[pid=8618] ppid=8616 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/8618/stat : 8618 (python) S 8616 8618 8298 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293308114 17403904 1082 33554432000 4194304 5683644 140736300527904 140736300525752 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/8618/statm: 4249 1082 429 364 0 691 0
[pid=8620] ppid=8618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8620/stat : 8620 (sh) S 8618 8618 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293308122 9367552 266 33554432000 4194304 5064252 140733741163264 140733741161968 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8620/statm: 2287 266 226 213 0 72 0
[pid=8621] ppid=8620 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/8621/stat : 8621 (python) S 8620 8618 8298 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293308122 17141760 1059 33554432000 4194304 5683644 140735611978944 140735611976792 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/8621/statm: 4185 1059 429 364 0 627 0
[pid=8622] ppid=8621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8622/stat : 8622 (sh) S 8621 8618 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293308124 9367552 267 33554432000 4194304 5064252 140733727805904 140733727804608 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8622/statm: 2287 267 226 213 0 72 0
[pid=8623] ppid=8622 vsize=3272300 CPUtime=12.37 cores=0,2,4,6
/proc/8623/stat : 8623 (PBPASSolver-817) R 8622 8618 8298 0 -1 4202496 372753 0 0 0 1022 215 0 0 20 0 1 0 293308125 3350835200 357408 33554432000 4194304 4943705 140737466592944 140737466591856 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 20 0 0
/proc/8623/statm: 818075 357408 357 183 0 814445 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 3324332

[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 1.91 3/184 8623
/proc/meminfo: memFree=27757784/32873844 swapFree=7112/7112
[pid=8618] ppid=8616 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/8618/stat : 8618 (python) S 8616 8618 8298 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293308114 17403904 1082 33554432000 4194304 5683644 140736300527904 140736300525752 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/8618/statm: 4249 1082 429 364 0 691 0
[pid=8620] ppid=8618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8620/stat : 8620 (sh) S 8618 8618 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293308122 9367552 266 33554432000 4194304 5064252 140733741163264 140733741161968 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8620/statm: 2287 266 226 213 0 72 0
[pid=8621] ppid=8620 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/8621/stat : 8621 (python) S 8620 8618 8298 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293308122 17141760 1059 33554432000 4194304 5683644 140735611978944 140735611976792 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/8621/statm: 4185 1059 429 364 0 627 0
[pid=8622] ppid=8621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8622/stat : 8622 (sh) S 8621 8618 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293308124 9367552 267 33554432000 4194304 5064252 140733727805904 140733727804608 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8622/statm: 2287 267 226 213 0 72 0
[pid=8623] ppid=8622 vsize=4756076 CPUtime=25.05 cores=0,2,4,6
/proc/8623/stat : 8623 (PBPASSolver-817) R 8622 8618 8298 0 -1 4202496 535041 0 0 0 2189 316 0 0 20 0 1 0 293308125 4870221824 519696 33554432000 4194304 4943705 140737466592944 140737466591216 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 32 0 0
/proc/8623/statm: 1189019 519696 357 183 0 1185389 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 4808108

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 1.91 3/183 8624
/proc/meminfo: memFree=26914516/32873844 swapFree=7112/7112
[pid=8618] ppid=8616 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/8618/stat : 8618 (python) S 8616 8618 8298 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293308114 17403904 1082 33554432000 4194304 5683644 140736300527904 140736300525752 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/8618/statm: 4249 1082 429 364 0 691 0
[pid=8620] ppid=8618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8620/stat : 8620 (sh) S 8618 8618 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293308122 9367552 266 33554432000 4194304 5064252 140733741163264 140733741161968 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8620/statm: 2287 266 226 213 0 72 0
[pid=8621] ppid=8620 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/8621/stat : 8621 (python) S 8620 8618 8298 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293308122 17141760 1059 33554432000 4194304 5683644 140735611978944 140735611976792 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/8621/statm: 4185 1059 429 364 0 627 0
[pid=8622] ppid=8621 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8622/stat : 8622 (sh) S 8621 8618 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293308124 9367552 267 33554432000 4194304 5064252 140733727805904 140733727804608 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8622/statm: 2287 267 226 213 0 72 0
[pid=8623] ppid=8622 vsize=6608172 CPUtime=50.45 cores=0,2,4,6
/proc/8623/stat : 8623 (PBPASSolver-817) R 8622 8618 8298 0 -1 4202496 737755 0 0 0 4511 534 0 0 20 0 1 0 293308125 6766768128 722322 33554432000 4194304 4943705 140737466592944 140737466588272 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 51 0 0
/proc/8623/statm: 1652043 722322 365 183 0 1648413 0
Current children cumulated CPU time (s) 50.48
Current children cumulated vsize (KiB) 6660204

[startup+102.306 s]
/proc/loadavg: 2.00 2.01 1.91 3/183 8624
/proc/meminfo: memFree=26679964/32873844 swapFree=7112/7112
[pid=8618] ppid=8616 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/8618/stat : 8618 (python) S 8616 8618 8298 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293308114 17403904 1082 33554432000 4194304 5683644 140736300527904 140736300525752 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/8618/statm: 4249 1082 429 364 0 691 0
[pid=8620] ppid=8618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8620/stat : 8620 (sh) S 8618 8618 8298 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293308122 9367552 266 33554432000 4194304 5064252 140733741163264 140733741161968 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8620/statm: 2287 266 226 213 0 72 0
[pid=8621] ppid=8620 vsize=16740 CPUtime=0.01 cores=0,2,4,6

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

/proc/loadavg: 2.06 2.12 2.00 3/183 8769
/proc/meminfo: memFree=26658768/32873844 swapFree=7112/7112
[pid=8618] ppid=8616 vsize=16996 CPUtime=353.37 cores=0,2,4,6
/proc/8618/stat : 8618 (python) S 8616 8618 8298 0 -1 4202496 1404 1059326 0 0 1 1 12653 22682 20 0 1 0 293308114 17403904 1082 33554432000 4194304 5683644 140736300527904 140736300525448 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8618/statm: 4249 1082 429 364 0 691 0
[pid=8626] ppid=8618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8626/stat : 8626 (sh) S 8618 8618 8298 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293343646 9367552 266 33554432000 4194304 5064252 140735715863680 140735715862384 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8626/statm: 2287 266 226 213 0 72 0
[pid=8627] ppid=8626 vsize=3657652 CPUtime=946.29 cores=0,2,4,6
/proc/8627/stat : 8627 (CryptoMiniSat) R 8626 8618 8298 0 -1 4202496 4253548 0 0 0 92838 1791 0 0 20 0 1 0 293343647 3745435648 823156 33554432000 4194304 4734972 140734129307264 140734129299288 4255091 0 0 16781312 2 0 0 0 17 4 0 0 42 0 0
/proc/8627/statm: 914413 823156 401 132 0 909313 0
Current children cumulated CPU time (s) 1299.66
Current children cumulated vsize (KiB) 3683796

[startup+1362.3 s]
/proc/loadavg: 2.02 2.09 2.00 3/183 8769
/proc/meminfo: memFree=26462964/32873844 swapFree=7112/7112
[pid=8618] ppid=8616 vsize=16996 CPUtime=353.37 cores=0,2,4,6
/proc/8618/stat : 8618 (python) S 8616 8618 8298 0 -1 4202496 1404 1059326 0 0 1 1 12653 22682 20 0 1 0 293308114 17403904 1082 33554432000 4194304 5683644 140736300527904 140736300525448 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8618/statm: 4249 1082 429 364 0 691 0
[pid=8626] ppid=8618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8626/stat : 8626 (sh) S 8618 8618 8298 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293343646 9367552 266 33554432000 4194304 5064252 140735715863680 140735715862384 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8626/statm: 2287 266 226 213 0 72 0
[pid=8627] ppid=8626 vsize=3657652 CPUtime=1006.26 cores=0,2,4,6
/proc/8627/stat : 8627 (CryptoMiniSat) R 8626 8618 8298 0 -1 4202496 4253568 0 0 0 98835 1791 0 0 20 0 1 0 293343647 3745435648 823156 33554432000 4194304 4734972 140734129307264 140734129299288 4329667 0 0 16781312 2 0 0 0 17 4 0 0 42 0 0
/proc/8627/statm: 914413 823156 401 132 0 909313 0
Current children cumulated CPU time (s) 1359.63
Current children cumulated vsize (KiB) 3683796

[startup+1422.31 s]
/proc/loadavg: 2.07 2.09 2.00 3/183 8769
/proc/meminfo: memFree=26384580/32873844 swapFree=7112/7112
[pid=8618] ppid=8616 vsize=16996 CPUtime=353.37 cores=0,2,4,6
/proc/8618/stat : 8618 (python) S 8616 8618 8298 0 -1 4202496 1404 1059326 0 0 1 1 12653 22682 20 0 1 0 293308114 17403904 1082 33554432000 4194304 5683644 140736300527904 140736300525448 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8618/statm: 4249 1082 429 364 0 691 0
[pid=8626] ppid=8618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8626/stat : 8626 (sh) S 8618 8618 8298 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293343646 9367552 266 33554432000 4194304 5064252 140735715863680 140735715862384 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8626/statm: 2287 266 226 213 0 72 0
[pid=8627] ppid=8626 vsize=3657652 CPUtime=1066.25 cores=0,2,4,6
/proc/8627/stat : 8627 (CryptoMiniSat) R 8626 8618 8298 0 -1 4202496 4253576 0 0 0 104834 1791 0 0 20 0 1 0 293343647 3745435648 823174 33554432000 4194304 4734972 140734129307264 140734129299288 4241804 0 0 16781312 2 0 0 0 17 4 0 0 42 0 0
/proc/8627/statm: 914413 823174 401 132 0 909313 0
Current children cumulated CPU time (s) 1419.62
Current children cumulated vsize (KiB) 3683796

[startup+1482.3 s]
/proc/loadavg: 2.02 2.07 2.00 3/183 8769
/proc/meminfo: memFree=26223384/32873844 swapFree=7112/7112
[pid=8618] ppid=8616 vsize=16996 CPUtime=353.37 cores=0,2,4,6
/proc/8618/stat : 8618 (python) S 8616 8618 8298 0 -1 4202496 1404 1059326 0 0 1 1 12653 22682 20 0 1 0 293308114 17403904 1082 33554432000 4194304 5683644 140736300527904 140736300525448 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8618/statm: 4249 1082 429 364 0 691 0
[pid=8626] ppid=8618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8626/stat : 8626 (sh) S 8618 8618 8298 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293343646 9367552 266 33554432000 4194304 5064252 140735715863680 140735715862384 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8626/statm: 2287 266 226 213 0 72 0
[pid=8627] ppid=8626 vsize=3684856 CPUtime=1126.22 cores=0,2,4,6
/proc/8627/stat : 8627 (CryptoMiniSat) R 8626 8618 8298 0 -1 4202496 4255439 0 0 0 110828 1794 0 0 20 0 1 0 293343647 3773292544 830626 33554432000 4194304 4734972 140734129307264 140734129298520 4424496 0 0 16781312 2 0 0 0 17 4 0 0 42 0 0
/proc/8627/statm: 921214 830626 401 132 0 916114 0
Current children cumulated CPU time (s) 1479.59
Current children cumulated vsize (KiB) 3711000

[startup+1542.3 s]
/proc/loadavg: 2.01 2.06 2.00 3/183 8769
/proc/meminfo: memFree=24450040/32873844 swapFree=7112/7112
[pid=8618] ppid=8616 vsize=16996 CPUtime=353.37 cores=0,2,4,6
/proc/8618/stat : 8618 (python) S 8616 8618 8298 0 -1 4202496 1404 1059326 0 0 1 1 12653 22682 20 0 1 0 293308114 17403904 1082 33554432000 4194304 5683644 140736300527904 140736300525448 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8618/statm: 4249 1082 429 364 0 691 0
[pid=8626] ppid=8618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8626/stat : 8626 (sh) S 8618 8618 8298 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293343646 9367552 266 33554432000 4194304 5064252 140735715863680 140735715862384 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8626/statm: 2287 266 226 213 0 72 0
[pid=8627] ppid=8626 vsize=3684856 CPUtime=1186.22 cores=0,2,4,6
/proc/8627/stat : 8627 (CryptoMiniSat) R 8626 8618 8298 0 -1 4202496 4255445 0 0 0 116827 1795 0 0 20 0 1 0 293343647 3773292544 830692 33554432000 4194304 4734972 140734129307264 140734129299288 4329704 0 0 16781312 2 0 0 0 17 4 0 0 42 0 0
/proc/8627/statm: 921214 830692 401 132 0 916114 0
Current children cumulated CPU time (s) 1539.59
Current children cumulated vsize (KiB) 3711000

[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/183 8770
/proc/meminfo: memFree=23236296/32873844 swapFree=7112/7112
[pid=8618] ppid=8616 vsize=16996 CPUtime=353.37 cores=0,2,4,6
/proc/8618/stat : 8618 (python) S 8616 8618 8298 0 -1 4202496 1404 1059326 0 0 1 1 12653 22682 20 0 1 0 293308114 17403904 1082 33554432000 4194304 5683644 140736300527904 140736300525448 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8618/statm: 4249 1082 429 364 0 691 0
[pid=8626] ppid=8618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8626/stat : 8626 (sh) S 8618 8618 8298 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293343646 9367552 266 33554432000 4194304 5064252 140735715863680 140735715862384 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8626/statm: 2287 266 226 213 0 72 0
[pid=8627] ppid=8626 vsize=3684856 CPUtime=1246.2 cores=0,2,4,6
/proc/8627/stat : 8627 (CryptoMiniSat) R 8626 8618 8298 0 -1 4202496 4255453 0 0 0 122825 1795 0 0 20 0 1 0 293343647 3773292544 830692 33554432000 4194304 4734972 140734129307264 140734129299288 4241804 0 0 16781312 2 0 0 0 17 4 0 0 42 0 0
/proc/8627/statm: 921214 830692 401 132 0 916114 0
Current children cumulated CPU time (s) 1599.57
Current children cumulated vsize (KiB) 3711000

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 8770
/proc/meminfo: memFree=22234100/32873844 swapFree=7112/7112
[pid=8618] ppid=8616 vsize=16996 CPUtime=353.37 cores=0,2,4,6
/proc/8618/stat : 8618 (python) S 8616 8618 8298 0 -1 4202496 1404 1059326 0 0 1 1 12653 22682 20 0 1 0 293308114 17403904 1082 33554432000 4194304 5683644 140736300527904 140736300525448 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8618/statm: 4249 1082 429 364 0 691 0
[pid=8626] ppid=8618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8626/stat : 8626 (sh) S 8618 8618 8298 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293343646 9367552 266 33554432000 4194304 5064252 140735715863680 140735715862384 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8626/statm: 2287 266 226 213 0 72 0
[pid=8627] ppid=8626 vsize=3684856 CPUtime=1306.17 cores=0,2,4,6
/proc/8627/stat : 8627 (CryptoMiniSat) R 8626 8618 8298 0 -1 4202496 4255480 0 0 0 128822 1795 0 0 20 0 1 0 293343647 3773292544 830692 33554432000 4194304 4734972 140734129307264 140734129292408 4633644 0 0 16781312 2 0 0 0 17 4 0 0 42 0 0
/proc/8627/statm: 921214 830692 401 132 0 916114 0
Current children cumulated CPU time (s) 1659.54
Current children cumulated vsize (KiB) 3711000

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 8770
/proc/meminfo: memFree=21410244/32873844 swapFree=7112/7112
[pid=8618] ppid=8616 vsize=16996 CPUtime=353.37 cores=0,2,4,6
/proc/8618/stat : 8618 (python) S 8616 8618 8298 0 -1 4202496 1404 1059326 0 0 1 1 12653 22682 20 0 1 0 293308114 17403904 1082 33554432000 4194304 5683644 140736300527904 140736300525448 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8618/statm: 4249 1082 429 364 0 691 0
[pid=8626] ppid=8618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8626/stat : 8626 (sh) S 8618 8618 8298 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293343646 9367552 266 33554432000 4194304 5064252 140735715863680 140735715862384 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8626/statm: 2287 266 226 213 0 72 0
[pid=8627] ppid=8626 vsize=3684856 CPUtime=1366.16 cores=0,2,4,6
/proc/8627/stat : 8627 (CryptoMiniSat) R 8626 8618 8298 0 -1 4202496 4255480 0 0 0 134821 1795 0 0 20 0 1 0 293343647 3773292544 830692 33554432000 4194304 4734972 140734129307264 140734129292408 4631792 0 0 16781312 2 0 0 0 17 4 0 0 42 0 0
/proc/8627/statm: 921214 830692 401 132 0 916114 0
Current children cumulated CPU time (s) 1719.53
Current children cumulated vsize (KiB) 3711000

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/184 8773
/proc/meminfo: memFree=20629868/32873844 swapFree=7112/7112
[pid=8618] ppid=8616 vsize=16996 CPUtime=353.37 cores=0,2,4,6
/proc/8618/stat : 8618 (python) S 8616 8618 8298 0 -1 4202496 1404 1059326 0 0 1 1 12653 22682 20 0 1 0 293308114 17403904 1082 33554432000 4194304 5683644 140736300527904 140736300525448 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8618/statm: 4249 1082 429 364 0 691 0
[pid=8626] ppid=8618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8626/stat : 8626 (sh) S 8618 8618 8298 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293343646 9367552 266 33554432000 4194304 5064252 140735715863680 140735715862384 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8626/statm: 2287 266 226 213 0 72 0
[pid=8627] ppid=8626 vsize=3750396 CPUtime=1426.15 cores=0,2,4,6
/proc/8627/stat : 8627 (CryptoMiniSat) R 8626 8618 8298 0 -1 4202496 4255497 0 0 0 140820 1795 0 0 20 0 1 0 293343647 3840405504 830735 33554432000 4194304 4734972 140734129307264 140734129299320 4327579 0 0 16781312 2 0 0 0 17 4 0 0 42 0 0
/proc/8627/statm: 937599 830735 401 132 0 932499 0
Current children cumulated CPU time (s) 1779.52
Current children cumulated vsize (KiB) 3776540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1802.8 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 8773
/proc/meminfo: memFree=20375392/32873844 swapFree=7112/7112
[pid=8618] ppid=8616 vsize=16996 CPUtime=353.37 cores=0,2,4,6
/proc/8618/stat : 8618 (python) S 8616 8618 8298 0 -1 4202496 1404 1059326 0 0 1 1 12653 22682 20 0 1 0 293308114 17403904 1082 33554432000 4194304 5683644 140736300527904 140736300525448 272886482304 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/8618/statm: 4249 1082 429 364 0 691 0
[pid=8626] ppid=8618 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8626/stat : 8626 (sh) S 8618 8618 8298 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293343646 9367552 266 33554432000 4194304 5064252 140735715863680 140735715862384 272886294094 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8626/statm: 2287 266 226 213 0 72 0
[pid=8627] ppid=8626 vsize=3750396 CPUtime=1446.65 cores=0,2,4,6
/proc/8627/stat : 8627 (CryptoMiniSat) R 8626 8618 8298 0 -1 4202496 4255761 0 0 0 142870 1795 0 0 20 0 1 0 293343647 3840405504 831507 33554432000 4194304 4734972 140734129307264 140734129299288 4241804 0 0 16781312 2 0 0 0 17 4 0 0 42 0 0
/proc/8627/statm: 937599 831507 401 132 0 932499 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3776540

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 8618 and gives
#  childrusage.ru_utime.tv_sec=126
#  childrusage.ru_utime.tv_usec=557760
#  childrusage.ru_stime.tv_sec=226
#  childrusage.ru_stime.tv_usec=836515
# CPU time returned by wait4() is 353.394
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1802.82
CPU time (s): 1800.02
CPU user time (s): 1555.24
CPU system time (s): 244.78
CPU usage (%): 99.8446
Max. virtual memory (cumulated for all children) (KiB): 7623212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 126.558
system time used= 226.837
maximum resident set size= 3540176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1061581
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1270240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 327
involuntary context switches= 370

runsolver used 6.30004 second user time and 14.2548 second system time

The end

Launcher Data 

Begin job on node119 at 2012-05-29 08:10:24
IDJOB=3719083
IDBENCH=73961
IDSOLVER=2303
FILE ID=node119/3719083-1338271824
RUNJOBID= node119-1338268846-8314
PBS_JOBID= 14625702
Free space on /tmp= 71512 MiB

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

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

MD5SUM BENCH= 336dbbe12a18bfd6b8d34c583a70b44b
RANDOM SEED=1204601484

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
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:        29814136 kB
Buffers:          345260 kB
Cached:           619740 kB
SwapCached:         1896 kB
Active:          1991296 kB
Inactive:         248372 kB
Active(anon):    1275000 kB
Inactive(anon):     2132 kB
Active(file):     716296 kB
Inactive(file):   246240 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100208 kB
Dirty:             15948 kB
Writeback:             0 kB
AnonPages:       1296932 kB
Mapped:            13276 kB
Shmem:                 8 kB
Slab:             660316 kB
SReclaimable:     102532 kB
SUnreclaim:       557784 kB
KernelStack:        1512 kB
PageTables:         6224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1442256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1265664 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= 70404 MiB
End job on node119 at 2012-05-29 08:40:27