Trace number 3718994

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-28UNSAT 659.634 662.328

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
MD5SUM939f54a73a83900b8b6d857af47a0b62
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark133.03
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables62704
Total number of constraints187107
Number of constraints which are clauses186603
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints504
Minimum length of a constraint1
Maximum length of a constraint11
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

659.57/662.32	cpython RunMakeCNF.py HOME/instance-3718994-1338270687.opb PrimePower CARD.SN ./CryptoMiniSat
659.57/662.32	./CryptoMiniSat HOME/instance-3718994-1338270687.opb.PrimePower.CARD.SN.cnf 1>HOME/instance-3718994-1338270687.opb.PrimePower.CARD.SN.cnf.CryptoMiniSat.out 2>HOME/instance-3718994-1338270687.opb.PrimePower.CARD.SN.cnf.CryptoMiniSat.err
659.57/662.32	
659.57/662.32	HOME/instance-3718994-1338270687.opb.PrimePower.CARD.SN.cnf.CryptoMiniSat.out
659.57/662.32	c Outputting solution to console
659.57/662.32	c This is CryptoMiniSat 2.9.1
659.57/662.32	c compiled with gcc version 4.4.6 20110731 (Red Hat 4.4.6-3)
659.57/662.32	c WARNING: for repeatability, setting FPU to use double precision
659.57/662.32	c Reading file 'HOME/instance-3718994-1338270687.opb.PrimePower.CARD.SN.cnf'
659.57/662.32	c -- header says num vars:         666116
659.57/662.32	c -- header says num clauses:     3225462
659.57/662.32	c -- clauses added:            0 learnts,      3225462 normals,            0 xors
659.57/662.32	c -- vars added     666115
659.57/662.32	c Parsing time:  1.07 s
659.57/662.32	c  N st     0         0    666115    394754         0   2000496         0   5402354         0   no data   no data  --
659.57/662.32	c asymm  cl-useful: 0/8541/269455 lits-rem:0 time: 0.26
659.57/662.32	c Flit:    12 Blit:   6176 bXBeca:    0 bXProp: 15379 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  7.75
659.57/662.32	c Cleaning up after failed var search:     0.04 s 
659.57/662.32	c Replacing    15379 vars Replaced   578280 lits Time:     0.10 s 
659.57/662.32	c bin-w-bin subsume rem        85393 bins  time:  0.17 s
659.57/662.32	c subs with bin:       79  lits-rem:        79  v-fix:    0  time:  0.20 s
659.57/662.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  45539 time:  2.61 s
659.57/662.32	c Removed useless bin:   10927  fixed:     0  props:  20.01M  time:  0.27 s
659.57/662.32	c lits-rem:      2185  cl-subs:     5115  v-elim: 116506  v-fix:    0  time:  1.13 s
659.57/662.32	c Finding binary XORs  T:     0.14 s  found:   95308
659.57/662.32	c Replacing    95308 vars Replaced  3508155 lits Time:     0.19 s 
659.57/662.32	c Finding non-binary XORs:     0.13 s (found:       3, avg size: 3.0)
659.57/662.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
659.57/662.32	c Calc default polars -  time:   0.04 s pos:   19432 undec:  533617 neg:  113066
659.57/662.32	c =========================================================================================
659.57/662.32	c types(t): F = full restart, N = normal restart
659.57/662.32	c types(t): S = simplification begin/end, E = solution found
659.57/662.32	c restart types(rt): st = static, dy = dynamic
659.57/662.32	c  t rt  Rest     Confl      Vars   NormCls    XorCls    BinCls   Learnts    ClLits    LtLits
659.57/662.32	c  B st     0         0    137704    363100         3   1062322         0   3538603         0   no data   no data  --
659.57/662.32	c  N dy    15      4076    137697    363100         3   1062408      3954   3538601     64858      7.90      8.35  --
659.57/662.32	c  N dy    35      8121    137682    363100         3   1062493      7862   3538601    124839      7.67      8.74  --
659.57/662.32	c  N dy    63     12271    137671    363100         3   1062563     11884   3538601    190118      7.98      8.48  --
659.57/662.32	c  N dy    82     16597    137669    363100         3   1062622     16072   3538601    254036      7.87      8.37  --
659.57/662.32	c  N dy   111     20651    137669    363100         3   1062670     10334   3538600    117681      8.03      9.03  --
659.57/662.32	c  N dy   141     24894    137564    363100         3   1062723     14458   3538600    188525      8.22      8.68  --
659.57/662.32	c  F st   143     25001    137564    363100         3   1062725     14563   3538600    190882      8.23   no data  --
659.57/662.32	c  N dy   149     30003    137564    362298         3   1062484     19454   3534923    323708      8.23   no data  --
659.57/662.32	c  S st   149     30003    137564    362298         3   1062484     19454   3534923    323708      8.23   no data  --
659.57/662.32	c  S st   149     30506    137562    362298         3   1062519     19901   3534923    329852      8.23   no data  --
659.57/662.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
659.57/662.32	c Flit:   215 Blit:    916 bXBeca:    0 bXProp:  459 Bins:  56840 BRemL:   1120 BRemN:    296 P: 200.0M T: 12.36
659.57/662.32	c Cleaning up after failed var search:     0.05 s 
659.57/662.32	c Replacing      459 vars Replaced    28168 lits Time:     0.10 s 
659.57/662.32	c bin-w-bin subsume rem       588800 bins  time:  0.20 s
659.57/662.32	c subs with bin:     2445  lits-rem:     35864  v-fix:    0  time:  0.22 s
659.57/662.32	c Subs w/ non-existent bins:    141 l-rem:    620 v-fix:     0 done:  43634 time:  1.72 s
659.57/662.32	c Removed useless bin:     852  fixed:     0  props:  20.00M  time:  0.29 s
659.57/662.32	c lits-rem:      5308  cl-subs:    59247  v-elim:  25701  v-fix:    0  time:  1.46 s
659.57/662.32	c Added XOR as norm:3
659.57/662.32	c asymm  cl-useful: 0/4668/349017 lits-rem:0 time: 0.33
659.57/662.32	c  N dy   149     30506    109855    349017         0    439661      9509   2092611    167415      8.23   no data  --
659.57/662.32	c Finding binary XORs  T:     0.07 s  found:      16
659.57/662.32	c  N dy   173     34523    109855    349017         0    439707     13433   2092611    243717      8.36     10.49  --
659.57/662.32	c  N dy   200     38900    109855    349017         0    439756     17678   2092611    310222      8.41      9.32  --
659.57/662.32	c  N dy   219     42949    109855    349017         0    439782     21597   2092611    390445      8.46     11.22  --
659.57/662.32	c  S st   240     45759    109855    349017         0    439808     24327   2092611    439695      8.53   no data  --
659.57/662.32	c  S st   240     46264    109855    349017         0    439845     24782   2092611    445399      8.53   no data  --
659.57/662.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
659.57/662.32	c Flit:    30 Blit:     17 bXBeca:    0 bXProp:  543 Bins:  59059 BRemL:   1475 BRemN:   1271 P: 200.0M T:  9.25
659.57/662.32	c Replacing      559 vars Replaced    31412 lits Time:     0.13 s 
659.57/662.32	c bin-w-bin subsume rem         1391 bins  time:  0.08 s
659.57/662.32	c subs with bin:     3477  lits-rem:      5503  v-fix:    0  time:  0.20 s
659.57/662.32	c Subs w/ non-existent bins:    326 l-rem:   1575 v-fix:     0 done:  38253 time:  1.17 s
659.57/662.32	c Removed useless bin:    8188  fixed:     0  props:  20.00M  time:  0.28 s
659.57/662.32	c lits-rem:      2929  cl-subs:     5464  v-elim:   1563  v-fix:    0  time:  1.14 s
659.57/662.32	c asymm  cl-useful: 11/4483/342986 lits-rem:13 time: 0.32
659.57/662.32	c  N dy   240     46264    107670    342986         0    481895     20696   2054192    441323      8.53   no data  --
659.57/662.32	c Finding binary XORs  T:     0.07 s  found:     671
659.57/662.32	c  N dy   267     50354    107670    342986         0    481945     24677   2054192    513510      8.60     12.26  --
659.57/662.32	c  N dy   300     54441    107670    342986         0    481983     28653   2054192    584401      8.71      9.20  --
659.57/662.32	c  N dy   325     58519    107670    342986         0    482015     17842   2054191    364075      8.77      9.33  --
659.57/662.32	c  N dy   354     62712    107670    342986         0    482057     21907   2054191    442531      8.83      9.73  --
659.57/662.32	c  N dy   389     66844    107670    342986         0    482086     25921   2054190    526578      9.00      9.48  --
659.57/662.32	c  S st   405     69396    107670    342986         0    482101     28409   2054188    581948      9.03   no data  --
659.57/662.32	c  S st   405     69899    107670    342986         0    482126     28879   2054188    587486      9.03   no data  --
659.57/662.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
659.57/662.32	c Flit:    82 Blit:     11 bXBeca:    0 bXProp:  384 Bins:  61579 BRemL:   1698 BRemN:   1042 P: 200.0M T:  8.91
659.57/662.32	c Replacing     1055 vars Replaced    37261 lits Time:     0.13 s 
659.57/662.32	c bin-w-bin subsume rem         2023 bins  time:  0.09 s
659.57/662.32	c subs with bin:      532  lits-rem:      1633  v-fix:    0  time:  0.17 s
659.57/662.32	c Subs w/ non-existent bins:    148 l-rem:   2078 v-fix:     0 done:   4205 time:  0.24 s
659.57/662.32	c Removed useless bin:    3303  fixed:     0  props:  20.00M  time:  0.28 s
659.57/662.32	c lits-rem:      2900  cl-subs:     4063  v-elim:    664  v-fix:    0  time:  1.24 s
659.57/662.32	c asymm  cl-useful: 11/5031/341131 lits-rem:11 time: 0.32
659.57/662.32	c  N dy   405     69899    105820    341131         0    529571     25692   2027345    639381      9.03   no data  --
659.57/662.32	c Finding binary XORs  T:     0.06 s  found:      40
659.57/662.32	c  N dy   438     74427    105820    341131         0    529600     30103   2027345    729505      9.13      9.93  --
659.57/662.32	c  N dy   474     79379    105820    341131         0    529629     34911   2027342    825601      9.19      9.90  --
659.57/662.32	c  N dy   512     84522    105820    341131         0    529652     21950   2027341    536597      9.28     11.09  --
659.57/662.32	c  F st   534     87500    105820    341131         0    529668     24836   2027341    596141      9.34   no data  --
659.57/662.32	c Replacing       40 vars Replaced     1188 lits Time:     0.08 s 
659.57/662.32	c  N st   539     90796    105780    341131         0    529595     28043   2027184    680432      9.34   no data  --
659.57/662.32	c  N dy   568     96612    105780    341131         0    529614     33649   2027181    825623      9.42      9.98  --
659.57/662.32	c  N dy   626    102847    105780    341131         0    529634     39686   2027180    964696      9.62     14.24  --
659.57/662.32	c  S st   639    104848    105780    341131         0    529639     21465   2027180    496047      9.64      8.78  --
659.57/662.32	c  S st   639    105349    105780    341131         0    529670     21929   2027180    503825      9.64   no data  --
659.57/662.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
659.57/662.32	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:  324 Bins:  62805 BRemL:   1827 BRemN:    516 P: 200.1M T:  9.18
659.57/662.32	c Replacing      324 vars Replaced    22774 lits Time:     0.12 s 
659.57/662.32	c bin-w-bin subsume rem         1087 bins  time:  0.09 s
659.57/662.32	c subs with bin:      153  lits-rem:       796  v-fix:    0  time:  0.16 s
659.57/662.32	c Subs w/ non-existent bins:    356 l-rem:   1636 v-fix:     0 done:  25807 time:  0.70 s
659.57/662.32	c Removed useless bin:    1302  fixed:     0  props:  20.00M  time:  0.27 s
659.57/662.32	c lits-rem:      1603  cl-subs:     2060  v-elim:    371  v-fix:    0  time:  0.67 s
659.57/662.32	c asymm  cl-useful: 120/4250/340120 lits-rem:161 time: 0.33
659.57/662.32	c  N dy   639    105349    105079    340117         0    585574     20462   2017359    604821      9.64   no data  --
659.57/662.32	c Finding binary XORs  T:     0.07 s  found:      17
659.57/662.32	c  N dy   682    112155    105079    340117         0    585606     27109   2017358    764282      9.70     10.24  --
659.57/662.32	c  N dy   738    119487    105079    340117         0    585630     34236   2017355    925322      9.80     10.41  --
659.57/662.32	c  N dy   788    127222    105078    340117         0    585649     41738   2017354   1087459      9.87     10.65  --
659.57/662.32	c  N dy   824    135374    105078    340117         0    585678     27938   2017354    730555      9.87     12.13  --
659.57/662.32	c  N dy   872    144089    105078    340117         0    585708     36357   2017351    915016      9.93     13.60  --
659.57/662.32	c  N dy   928    153336    105078    340117         0    585722     45203   2017349   1112488      9.99     12.38  --
659.57/662.32	c  S st   964    158023    105078    340117         0    585728     26887   2017348    698721     10.04      9.70  --
659.57/662.32	c  S st   964    158527    105078    340117         0    585741     27371   2017348    705390     10.04   no data  --
659.57/662.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
659.57/662.32	c Flit:    16 Blit:      2 bXBeca:    0 bXProp:  215 Bins:  36367 BRemL:   1589 BRemN:    149 P: 200.0M T:  8.83
659.57/662.32	c Replacing      232 vars Replaced    14948 lits Time:     0.12 s 
659.57/662.32	c bin-w-bin subsume rem          642 bins  time:  0.10 s
659.57/662.32	c subs with bin:      122  lits-rem:       637  v-fix:    0  time:  0.17 s
659.57/662.32	c Subs w/ non-existent bins:    141 l-rem:    780 v-fix:     0 done:  36098 time:  0.98 s
659.57/662.32	c Removed useless bin:    2023  fixed:     0  props:  20.00M  time:  0.28 s
659.57/662.32	c lits-rem:      3050  cl-subs:     2826  v-elim:    421  v-fix:    0  time:  0.98 s
659.57/662.32	c asymm  cl-useful: 65/4150/339546 lits-rem:89 time: 0.34
659.57/662.32	c  N dy   964    158527    104407    339543         0    616300     25014   2008488    738656     10.04   no data  --
659.57/662.32	c Finding binary XORs  T:     0.07 s  found:       7
659.57/662.32	c  N dy  1010    168966    104384    339543         0    616343     35040   2008485    942913     10.01     10.56  --
659.57/662.32	c  N dy  1066    179811    104384    339543         0    616382     45473   2008484   1176147     10.04     10.79  --
659.57/662.32	c  N dy  1134    191305    104384    339543         0    616399     32626   2008465    867441     10.08     10.70  --
659.57/662.32	c  N dy  1208    203584    104384    339543         0    616415     44474   2008456   1155820     10.13     12.63  --
659.57/662.32	c  N dy  1261    217209    104376    339543         0    616447     32528   2008450    849608     10.10     10.65  --
659.57/662.32	c  N dy  1352    231341    104376    339543         0    616465     46155   2008450   1194592     10.18     10.74  --
659.57/662.32	c  S st  1385    237790    104376    339543         0    616470     26432   2008448    710108     10.20      7.74  --
659.57/662.32	c  S st  1385    238292    104376    339543         0    616496     26898   2008448    716320     10.20   no data  --
659.57/662.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
659.57/662.32	c Flit:    49 Blit:     46 bXBeca:    0 bXProp:  136 Bins:  17965 BRemL:   2223 BRemN:     13 P: 200.0M T:  8.92
659.57/662.32	c Replacing      143 vars Replaced     8773 lits Time:     0.13 s 
659.57/662.32	c bin-w-bin subsume rem          420 bins  time:  0.11 s
659.57/662.32	c subs with bin:      376  lits-rem:       776  v-fix:    0  time:  0.16 s
659.57/662.32	c Subs w/ non-existent bins:    175 l-rem:    714 v-fix:     0 done:  47377 time:  1.30 s
659.57/662.32	c Removed useless bin:    1053  fixed:     0  props:  20.00M  time:  0.26 s
659.57/662.32	c lits-rem:      3049  cl-subs:     2809  v-elim:    519  v-fix:    0  time:  0.72 s
659.57/662.32	c asymm  cl-useful: 26/4221/337615 lits-rem:31 time: 0.35
659.57/662.32	c  N dy  1385    238292    103599    337614         0    621681     23771   1996054    703955     10.20   no data  --
659.57/662.32	c Finding binary XORs  T:     0.07 s  found:       6
659.57/662.32	c  N dy  1474    253512    103599    337614         0    621705     38592   1996052   1095467     10.28     15.66  --
659.57/662.32	c  N dy  1562    269991    103599    337614         0    621717     27759   1996052    759620     10.31     10.89  --
659.57/662.32	c  N dy  1668    287313    103599    337614         0    621731     44523   1996051   1186433     10.37     11.54  --
659.57/662.32	c  F st  1726    306251    103599    337614         0    621743     34999   1996050    938458     10.33      8.91  --
659.57/662.32	c Replacing        6 vars Replaced      307 lits Time:     0.08 s 
659.57/662.32	c  N st  1726    306251    103593    337614         0    621731     34999   1996026    938458     10.33      8.91  --
659.57/662.32	c  N dy  1762    327463    102639    337614         0    621769     55370   1996026   1435679     10.24     10.83  --
659.57/662.32	c  E dy  1763    329585    102036    330973         0    611495     39346   1960023   1034831     10.22      4.81  --
659.57/662.32	c num threads              : 1          
659.57/662.32	c restarts                 : 1763       
659.57/662.32	c dynamic restarts         : 1739       
659.57/662.32	c static restarts          : 24         
659.57/662.32	c full restarts            : 3          
659.57/662.32	c total simplify time      : 1.80       
659.57/662.32	c learnts DL2              : 0          
659.57/662.32	c learnts size 2           : 2520260    
659.57/662.32	c learnts size 1           : 323894      (48.62     % of vars)
659.57/662.32	c filedLit time            : 65.30       (14.21     % time)
659.57/662.32	c v-elim SatELite          : 145745      (21.88     % vars)
659.57/662.32	c SatELite time            : 15.24       (3.32      % time)
659.57/662.32	c v-elim xor               : 0           (0.00      % vars)
659.57/662.32	c xor elim time            : 0.46        (0.10      % time)
659.57/662.32	c num binary xor trees     : 37173      
659.57/662.32	c binxor trees' crown      : 113505      (3.05      leafs/tree)
659.57/662.32	c bin xor find time        : 0.55       
659.57/662.32	c OTF clause improved      : 9435        (0.03      clauses/conflict)
659.57/662.32	c OTF impr. size diff      : 11687       (1.24       lits/clause)
659.57/662.32	c OTF cl watch-shrink      : 109369      (0.33      clauses/conflict)
659.57/662.32	c OTF cl watch-sh-lit      : 216850      (1.98       lits/clause)
659.57/662.32	c tried to recurMin cls    : 0           (0.00       % of conflicts)
659.57/662.32	c updated cache            : 0           (-nan       lits/tried recurMin)
659.57/662.32	c clauses over max glue    : 0           (0.00      % of all clauses)
659.57/662.32	c conflicts                : 329585      (717.35    / sec)
659.57/662.32	c decisions                : 2030361     (0.99      % random)
659.57/662.32	c bogo-props               : 15186686738 (33054046.61 / sec)
659.57/662.32	c conflict literals        : 7310733     (50.94     % deleted)
659.57/662.32	c Memory used              : 562.36      MB
659.57/662.32	c CPU time                 : 459.45      s
659.57/662.32	s UNSATISFIABLE

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3718994-1338270687/watcher-3718994-1338270687 -o /tmp/evaluation-result-3718994-1338270687/solver-3718994-1338270687 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718994-1338270687.opb PrimePower CARD.SN ./CryptoMiniSat 

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

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


[startup+0 s]
/proc/loadavg: 2.00 1.99 1.69 3/178 32235
/proc/meminfo: memFree=30848756/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=15308 CPUtime=0 cores=1,3,5,7
/proc/32235/stat : 32235 (python) R 32233 32235 32036 0 -1 4202496 657 0 0 0 0 0 0 0 20 0 1 0 293194726 15675392 550 33554432000 4194304 5683644 140736087294880 140736087280792 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/32235/statm: 3827 554 316 364 0 269 0

[startup+0.0130789 s]
/proc/loadavg: 2.00 1.99 1.69 3/178 32235
/proc/meminfo: memFree=30848756/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/32235/stat : 32235 (python) D 32233 32235 32036 0 -1 4202496 758 0 0 0 0 0 0 0 20 0 1 0 293194726 15749120 631 33554432000 4194304 5683644 140736087294880 140736087235368 217410519952 0 0 16781312 2 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/32235/statm: 3845 631 334 364 0 287 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380

[startup+0.10023 s]
/proc/loadavg: 2.00 1.99 1.69 3/178 32235
/proc/meminfo: memFree=30848756/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/32235/stat : 32235 (python) S 32233 32235 32036 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293194726 17403904 1082 33554432000 4194304 5683644 140736087294880 140736087292728 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32235/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996

[startup+0.300233 s]
/proc/loadavg: 2.00 1.99 1.69 3/178 32235
/proc/meminfo: memFree=30848756/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/32235/stat : 32235 (python) S 32233 32235 32036 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293194726 17403904 1082 33554432000 4194304 5683644 140736087294880 140736087292728 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32235/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996

[startup+0.700233 s]
/proc/loadavg: 2.00 1.99 1.69 3/178 32235
/proc/meminfo: memFree=30848756/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/32235/stat : 32235 (python) S 32233 32235 32036 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293194726 17403904 1082 33554432000 4194304 5683644 140736087294880 140736087292728 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32235/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 1.99 1.69 3/183 32240
/proc/meminfo: memFree=30609756/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/32235/stat : 32235 (python) S 32233 32235 32036 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293194726 17403904 1082 33554432000 4194304 5683644 140736087294880 140736087292728 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32235/statm: 4249 1082 429 364 0 691 0
[pid=32237] ppid=32235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32237/stat : 32237 (sh) S 32235 32235 32036 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293194734 9367552 266 33554432000 4194304 5064252 140737073816272 140737073814976 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32237/statm: 2287 266 226 213 0 72 0
[pid=32238] ppid=32237 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/32238/stat : 32238 (python) S 32237 32235 32036 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293194734 17137664 1058 33554432000 4194304 5683644 140734233095936 140734233093784 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32238/statm: 4184 1058 429 364 0 626 0
[pid=32239] ppid=32238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32239/stat : 32239 (sh) S 32238 32235 32036 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293194736 9367552 268 33554432000 4194304 5064252 140736249935536 140736249934240 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32239/statm: 2287 268 226 213 0 72 0
[pid=32240] ppid=32239 vsize=775916 CPUtime=1.38 cores=1,3,5,7
/proc/32240/stat : 32240 (PBPASSolver-817) R 32239 32235 32036 0 -1 4202496 121962 0 0 0 85 53 0 0 20 0 1 0 293194737 794537984 84651 33554432000 4194304 4943705 140734797672816 140734797671088 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/32240/statm: 193979 84655 357 183 0 190349 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 827944

[startup+3.1004 s]
/proc/loadavg: 2.00 1.99 1.69 3/183 32240
/proc/meminfo: memFree=30397220/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/32235/stat : 32235 (python) S 32233 32235 32036 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293194726 17403904 1082 33554432000 4194304 5683644 140736087294880 140736087292728 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32235/statm: 4249 1082 429 364 0 691 0
[pid=32237] ppid=32235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32237/stat : 32237 (sh) S 32235 32235 32036 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293194734 9367552 266 33554432000 4194304 5064252 140737073816272 140737073814976 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32237/statm: 2287 266 226 213 0 72 0
[pid=32238] ppid=32237 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/32238/stat : 32238 (python) S 32237 32235 32036 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293194734 17137664 1058 33554432000 4194304 5683644 140734233095936 140734233093784 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32238/statm: 4184 1058 429 364 0 626 0
[pid=32239] ppid=32238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32239/stat : 32239 (sh) S 32238 32235 32036 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293194736 9367552 268 33554432000 4194304 5064252 140736249935536 140736249934240 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32239/statm: 2287 268 226 213 0 72 0
[pid=32240] ppid=32239 vsize=1359596 CPUtime=2.98 cores=1,3,5,7
/proc/32240/stat : 32240 (PBPASSolver-817) R 32239 32235 32036 0 -1 4202496 185823 0 0 0 205 93 0 0 20 0 1 0 293194737 1392226304 148512 33554432000 4194304 4943705 140734797672816 140734797671728 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/32240/statm: 339899 148512 357 183 0 336269 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 1411624

[startup+6.3004 s]
/proc/loadavg: 2.00 1.99 1.69 3/183 32240
/proc/meminfo: memFree=29984908/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/32235/stat : 32235 (python) S 32233 32235 32036 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293194726 17403904 1082 33554432000 4194304 5683644 140736087294880 140736087292728 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32235/statm: 4249 1082 429 364 0 691 0
[pid=32237] ppid=32235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32237/stat : 32237 (sh) S 32235 32235 32036 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293194734 9367552 266 33554432000 4194304 5064252 140737073816272 140737073814976 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32237/statm: 2287 266 226 213 0 72 0
[pid=32238] ppid=32237 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/32238/stat : 32238 (python) S 32237 32235 32036 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293194734 17137664 1058 33554432000 4194304 5683644 140734233095936 140734233093784 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32238/statm: 4184 1058 429 364 0 626 0
[pid=32239] ppid=32238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32239/stat : 32239 (sh) S 32238 32235 32036 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293194736 9367552 268 33554432000 4194304 5064252 140736249935536 140736249934240 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32239/statm: 2287 268 226 213 0 72 0
[pid=32240] ppid=32239 vsize=2166508 CPUtime=5.97 cores=1,3,5,7
/proc/32240/stat : 32240 (PBPASSolver-817) R 32239 32235 32036 0 -1 4202496 274079 0 0 0 453 144 0 0 20 0 1 0 293194737 2218504192 236768 33554432000 4194304 4943705 140734797672816 140734797671760 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 22 0 0
/proc/32240/statm: 541691 236770 357 183 0 538061 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 2218536

[startup+12.7004 s]
/proc/loadavg: 2.00 1.99 1.69 3/183 32240
/proc/meminfo: memFree=29400840/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/32235/stat : 32235 (python) S 32233 32235 32036 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293194726 17403904 1082 33554432000 4194304 5683644 140736087294880 140736087292728 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32235/statm: 4249 1082 429 364 0 691 0
[pid=32237] ppid=32235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32237/stat : 32237 (sh) S 32235 32235 32036 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293194734 9367552 266 33554432000 4194304 5064252 140737073816272 140737073814976 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32237/statm: 2287 266 226 213 0 72 0
[pid=32238] ppid=32237 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/32238/stat : 32238 (python) S 32237 32235 32036 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293194734 17137664 1058 33554432000 4194304 5683644 140734233095936 140734233093784 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32238/statm: 4184 1058 429 364 0 626 0
[pid=32239] ppid=32238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32239/stat : 32239 (sh) S 32238 32235 32036 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293194736 9367552 268 33554432000 4194304 5064252 140736249935536 140736249934240 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32239/statm: 2287 268 226 213 0 72 0
[pid=32240] ppid=32239 vsize=3378924 CPUtime=12.32 cores=1,3,5,7
/proc/32240/stat : 32240 (PBPASSolver-817) R 32239 32235 32036 0 -1 4202496 406687 0 0 0 1005 227 0 0 20 0 1 0 293194737 3460018176 369376 33554432000 4194304 4943705 140734797672816 140734797671728 4361049 0 0 16781312 17608 0 0 0 17 5 0 0 26 0 0
/proc/32240/statm: 844731 369376 357 183 0 841101 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 3430952

[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 1.70 3/183 32240
/proc/meminfo: memFree=28727328/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/32235/stat : 32235 (python) S 32233 32235 32036 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293194726 17403904 1082 33554432000 4194304 5683644 140736087294880 140736087292728 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32235/statm: 4249 1082 429 364 0 691 0
[pid=32237] ppid=32235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32237/stat : 32237 (sh) S 32235 32235 32036 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293194734 9367552 266 33554432000 4194304 5064252 140737073816272 140737073814976 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32237/statm: 2287 266 226 213 0 72 0
[pid=32238] ppid=32237 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/32238/stat : 32238 (python) S 32237 32235 32036 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293194734 17137664 1058 33554432000 4194304 5683644 140734233095936 140734233093784 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32238/statm: 4184 1058 429 364 0 626 0
[pid=32239] ppid=32238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32239/stat : 32239 (sh) S 32238 32235 32036 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293194736 9367552 268 33554432000 4194304 5064252 140736249935536 140736249934240 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32239/statm: 2287 268 226 213 0 72 0
[pid=32240] ppid=32239 vsize=4858604 CPUtime=24.94 cores=1,3,5,7
/proc/32240/stat : 32240 (PBPASSolver-817) R 32239 32235 32036 0 -1 4202496 568520 0 0 0 2164 330 0 0 20 0 1 0 293194737 4975210496 531209 33554432000 4194304 4943705 140734797672816 140734797671728 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 40 0 0
/proc/32240/statm: 1214651 531209 357 183 0 1211021 0
Current children cumulated CPU time (s) 24.96
Current children cumulated vsize (KiB) 4910632

[startup+51.1003 s]
/proc/loadavg: 2.00 1.99 1.71 3/185 32284
/proc/meminfo: memFree=27938464/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/32235/stat : 32235 (python) S 32233 32235 32036 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293194726 17403904 1082 33554432000 4194304 5683644 140736087294880 140736087292728 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32235/statm: 4249 1082 429 364 0 691 0
[pid=32237] ppid=32235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32237/stat : 32237 (sh) S 32235 32235 32036 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293194734 9367552 266 33554432000 4194304 5064252 140737073816272 140737073814976 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32237/statm: 2287 266 226 213 0 72 0
[pid=32238] ppid=32237 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/32238/stat : 32238 (python) S 32237 32235 32036 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293194734 17137664 1058 33554432000 4194304 5683644 140734233095936 140734233093784 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32238/statm: 4184 1058 429 364 0 626 0
[pid=32239] ppid=32238 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32239/stat : 32239 (sh) S 32238 32235 32036 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293194736 9367552 268 33554432000 4194304 5064252 140736249935536 140736249934240 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32239/statm: 2287 268 226 213 0 72 0
[pid=32240] ppid=32239 vsize=6780652 CPUtime=50.21 cores=1,3,5,7
/proc/32240/stat : 32240 (PBPASSolver-817) R 32239 32235 32036 0 -1 4202496 778751 0 0 0 4543 478 0 0 20 0 1 0 293194737 6943387648 743744 33554432000 4194304 4943705 140734797672816 140734797671728 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 72 0 0
/proc/32240/statm: 1695163 743744 357 183 0 1691533 0
Current children cumulated CPU time (s) 50.23
Current children cumulated vsize (KiB) 6832680

[startup+102.307 s]
/proc/loadavg: 2.00 1.99 1.72 3/183 32286
/proc/meminfo: memFree=26536060/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/32235/stat : 32235 (python) S 32233 32235 32036 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293194726 17403904 1082 33554432000 4194304 5683644 140736087294880 140736087292728 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/32235/statm: 4249 1082 429 364 0 691 0
[pid=32237] ppid=32235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32237/stat : 32237 (sh) S 32235 32235 32036 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293194734 9367552 266 33554432000 4194304 5064252 140737073816272 140737073814976 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32237/statm: 2287 266 226 213 0 72 0
[pid=32238] ppid=32237 vsize=16736 CPUtime=0.01 cores=1,3,5,7

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

/proc/32332/statm: 138913 124426 405 132 0 133813 0
Current children cumulated CPU time (s) 339.62
Current children cumulated vsize (KiB) 581796

[startup+402.3 s]
/proc/loadavg: 2.02 2.00 1.79 3/181 32333
/proc/meminfo: memFree=29918304/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=16996 CPUtime=199.64 cores=1,3,5,7
/proc/32235/stat : 32235 (python) S 32233 32235 32036 0 -1 4202496 1404 1395698 0 0 1 0 16649 3314 20 0 1 0 293194726 17403904 1082 33554432000 4194304 5683644 140736087294880 140736087292424 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32235/statm: 4249 1082 429 364 0 691 0
[pid=32331] ppid=32235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32331/stat : 32331 (sh) S 32235 32235 32036 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293214955 9367552 266 33554432000 4194304 5064252 140735050756208 140735050754912 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32331/statm: 2287 266 226 213 0 72 0
[pid=32332] ppid=32331 vsize=575856 CPUtime=199.97 cores=1,3,5,7
/proc/32332/stat : 32332 (CryptoMiniSat) R 32331 32235 32036 0 -1 4202496 66450 0 0 0 19981 16 0 0 20 0 1 0 293214955 589676544 129477 33554432000 4194304 4734972 140734172792320 140734172784344 4326708 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/32332/statm: 143964 129477 405 132 0 138864 0
Current children cumulated CPU time (s) 399.61
Current children cumulated vsize (KiB) 602000

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 1.80 3/181 32333
/proc/meminfo: memFree=29677528/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=16996 CPUtime=199.64 cores=1,3,5,7
/proc/32235/stat : 32235 (python) S 32233 32235 32036 0 -1 4202496 1404 1395698 0 0 1 0 16649 3314 20 0 1 0 293194726 17403904 1082 33554432000 4194304 5683644 140736087294880 140736087292424 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32235/statm: 4249 1082 429 364 0 691 0
[pid=32331] ppid=32235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32331/stat : 32331 (sh) S 32235 32235 32036 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293214955 9367552 266 33554432000 4194304 5064252 140735050756208 140735050754912 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32331/statm: 2287 266 226 213 0 72 0
[pid=32332] ppid=32331 vsize=575856 CPUtime=259.96 cores=1,3,5,7
/proc/32332/stat : 32332 (CryptoMiniSat) R 32331 32235 32036 0 -1 4202496 66450 0 0 0 25980 16 0 0 20 0 1 0 293214955 589676544 129477 33554432000 4194304 4734972 140734172792320 140734172784344 4327589 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/32332/statm: 143964 129477 405 132 0 138864 0
Current children cumulated CPU time (s) 459.6
Current children cumulated vsize (KiB) 602000

[startup+522.3 s]
/proc/loadavg: 2.03 2.01 1.82 3/182 32336
/proc/meminfo: memFree=29673396/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=16996 CPUtime=199.64 cores=1,3,5,7
/proc/32235/stat : 32235 (python) S 32233 32235 32036 0 -1 4202496 1404 1395698 0 0 1 0 16649 3314 20 0 1 0 293194726 17403904 1082 33554432000 4194304 5683644 140736087294880 140736087292424 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32235/statm: 4249 1082 429 364 0 691 0
[pid=32331] ppid=32235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32331/stat : 32331 (sh) S 32235 32235 32036 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293214955 9367552 266 33554432000 4194304 5064252 140735050756208 140735050754912 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32331/statm: 2287 266 226 213 0 72 0
[pid=32332] ppid=32331 vsize=575856 CPUtime=319.95 cores=1,3,5,7
/proc/32332/stat : 32332 (CryptoMiniSat) R 32331 32235 32036 0 -1 4202496 66450 0 0 0 31979 16 0 0 20 0 1 0 293214955 589676544 129477 33554432000 4194304 4734972 140734172792320 140734172784344 4327589 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/32332/statm: 143964 129477 405 132 0 138864 0
Current children cumulated CPU time (s) 519.59
Current children cumulated vsize (KiB) 602000

[startup+582.3 s]
/proc/loadavg: 2.01 2.01 1.82 3/182 32359
/proc/meminfo: memFree=29412264/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=16996 CPUtime=199.64 cores=1,3,5,7
/proc/32235/stat : 32235 (python) S 32233 32235 32036 0 -1 4202496 1404 1395698 0 0 1 0 16649 3314 20 0 1 0 293194726 17403904 1082 33554432000 4194304 5683644 140736087294880 140736087292424 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32235/statm: 4249 1082 429 364 0 691 0
[pid=32331] ppid=32235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32331/stat : 32331 (sh) S 32235 32235 32036 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293214955 9367552 266 33554432000 4194304 5064252 140735050756208 140735050754912 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32331/statm: 2287 266 226 213 0 72 0
[pid=32332] ppid=32331 vsize=575856 CPUtime=379.94 cores=1,3,5,7
/proc/32332/stat : 32332 (CryptoMiniSat) R 32331 32235 32036 0 -1 4202496 66450 0 0 0 37978 16 0 0 20 0 1 0 293214955 589676544 129477 33554432000 4194304 4734972 140734172792320 140734172784344 4326690 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/32332/statm: 143964 129477 405 132 0 138864 0
Current children cumulated CPU time (s) 579.58
Current children cumulated vsize (KiB) 602000

[startup+642.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/181 32359
/proc/meminfo: memFree=29423480/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=16996 CPUtime=199.64 cores=1,3,5,7
/proc/32235/stat : 32235 (python) S 32233 32235 32036 0 -1 4202496 1404 1395698 0 0 1 0 16649 3314 20 0 1 0 293194726 17403904 1082 33554432000 4194304 5683644 140736087294880 140736087292424 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32235/statm: 4249 1082 429 364 0 691 0
[pid=32331] ppid=32235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32331/stat : 32331 (sh) S 32235 32235 32036 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293214955 9367552 266 33554432000 4194304 5064252 140735050756208 140735050754912 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32331/statm: 2287 266 226 213 0 72 0
[pid=32332] ppid=32331 vsize=575856 CPUtime=439.94 cores=1,3,5,7
/proc/32332/stat : 32332 (CryptoMiniSat) R 32331 32235 32036 0 -1 4202496 66450 0 0 0 43978 16 0 0 20 0 1 0 293214955 589676544 129477 33554432000 4194304 4734972 140734172792320 140734172784344 4329259 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/32332/statm: 143964 129477 405 132 0 138864 0
Current children cumulated CPU time (s) 639.58
Current children cumulated vsize (KiB) 602000

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

[startup+652.7 s]
/proc/loadavg: 2.00 2.00 1.83 3/181 32359
/proc/meminfo: memFree=29425516/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=16996 CPUtime=199.64 cores=1,3,5,7
/proc/32235/stat : 32235 (python) S 32233 32235 32036 0 -1 4202496 1404 1395698 0 0 1 0 16649 3314 20 0 1 0 293194726 17403904 1082 33554432000 4194304 5683644 140736087294880 140736087292424 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32235/statm: 4249 1082 429 364 0 691 0
[pid=32331] ppid=32235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32331/stat : 32331 (sh) S 32235 32235 32036 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293214955 9367552 266 33554432000 4194304 5064252 140735050756208 140735050754912 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32331/statm: 2287 266 226 213 0 72 0
[pid=32332] ppid=32331 vsize=575856 CPUtime=450.33 cores=1,3,5,7
/proc/32332/stat : 32332 (CryptoMiniSat) R 32331 32235 32036 0 -1 4202496 66450 0 0 0 45017 16 0 0 20 0 1 0 293214955 589676544 129477 33554432000 4194304 4734972 140734172792320 140734172784344 4329694 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/32332/statm: 143964 129477 405 132 0 138864 0
Current children cumulated CPU time (s) 649.97
Current children cumulated vsize (KiB) 602000

[startup+659.1 s]
/proc/loadavg: 2.00 2.00 1.83 3/180 32359
/proc/meminfo: memFree=29419380/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=16996 CPUtime=199.64 cores=1,3,5,7
/proc/32235/stat : 32235 (python) S 32233 32235 32036 0 -1 4202496 1404 1395698 0 0 1 0 16649 3314 20 0 1 0 293194726 17403904 1082 33554432000 4194304 5683644 140736087294880 140736087292424 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32235/statm: 4249 1082 429 364 0 691 0
[pid=32331] ppid=32235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32331/stat : 32331 (sh) S 32235 32235 32036 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293214955 9367552 266 33554432000 4194304 5064252 140735050756208 140735050754912 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32331/statm: 2287 266 226 213 0 72 0
[pid=32332] ppid=32331 vsize=575856 CPUtime=456.73 cores=1,3,5,7
/proc/32332/stat : 32332 (CryptoMiniSat) R 32331 32235 32036 0 -1 4202496 66450 0 0 0 45657 16 0 0 20 0 1 0 293214955 589676544 129477 33554432000 4194304 4734972 140734172792320 140734172784344 4327579 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/32332/statm: 143964 129477 405 132 0 138864 0
Current children cumulated CPU time (s) 656.37
Current children cumulated vsize (KiB) 602000

[startup+660.7 s]
/proc/loadavg: 2.00 2.00 1.83 3/180 32359
/proc/meminfo: memFree=29419380/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=16996 CPUtime=199.64 cores=1,3,5,7
/proc/32235/stat : 32235 (python) S 32233 32235 32036 0 -1 4202496 1404 1395698 0 0 1 0 16649 3314 20 0 1 0 293194726 17403904 1082 33554432000 4194304 5683644 140736087294880 140736087292424 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32235/statm: 4249 1082 429 364 0 691 0
[pid=32331] ppid=32235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32331/stat : 32331 (sh) S 32235 32235 32036 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293214955 9367552 266 33554432000 4194304 5064252 140735050756208 140735050754912 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32331/statm: 2287 266 226 213 0 72 0
[pid=32332] ppid=32331 vsize=575856 CPUtime=458.33 cores=1,3,5,7
/proc/32332/stat : 32332 (CryptoMiniSat) R 32331 32235 32036 0 -1 4202496 66450 0 0 0 45817 16 0 0 20 0 1 0 293214955 589676544 129477 33554432000 4194304 4734972 140734172792320 140734172784344 4241804 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/32332/statm: 143964 129477 405 132 0 138864 0
Current children cumulated CPU time (s) 657.97
Current children cumulated vsize (KiB) 602000

[startup+661.5 s]
/proc/loadavg: 2.00 2.00 1.83 3/181 32360
/proc/meminfo: memFree=29419372/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=16996 CPUtime=199.64 cores=1,3,5,7
/proc/32235/stat : 32235 (python) S 32233 32235 32036 0 -1 4202496 1404 1395698 0 0 1 0 16649 3314 20 0 1 0 293194726 17403904 1082 33554432000 4194304 5683644 140736087294880 140736087292424 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32235/statm: 4249 1082 429 364 0 691 0
[pid=32331] ppid=32235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32331/stat : 32331 (sh) S 32235 32235 32036 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293214955 9367552 266 33554432000 4194304 5064252 140735050756208 140735050754912 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32331/statm: 2287 266 226 213 0 72 0
[pid=32332] ppid=32331 vsize=575856 CPUtime=459.13 cores=1,3,5,7
/proc/32332/stat : 32332 (CryptoMiniSat) R 32331 32235 32036 0 -1 4202496 66450 0 0 0 45897 16 0 0 20 0 1 0 293214955 589676544 129477 33554432000 4194304 4734972 140734172792320 140734172784344 4551422 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/32332/statm: 143964 129477 405 132 0 138864 0
Current children cumulated CPU time (s) 658.77
Current children cumulated vsize (KiB) 602000

[startup+661.9 s]
/proc/loadavg: 2.00 2.00 1.83 3/181 32360
/proc/meminfo: memFree=29419372/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=16996 CPUtime=199.64 cores=1,3,5,7
/proc/32235/stat : 32235 (python) S 32233 32235 32036 0 -1 4202496 1404 1395698 0 0 1 0 16649 3314 20 0 1 0 293194726 17403904 1082 33554432000 4194304 5683644 140736087294880 140736087292424 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32235/statm: 4249 1082 429 364 0 691 0
[pid=32331] ppid=32235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32331/stat : 32331 (sh) S 32235 32235 32036 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293214955 9367552 266 33554432000 4194304 5064252 140735050756208 140735050754912 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32331/statm: 2287 266 226 213 0 72 0
[pid=32332] ppid=32331 vsize=575856 CPUtime=459.53 cores=1,3,5,7
/proc/32332/stat : 32332 (CryptoMiniSat) R 32331 32235 32036 0 -1 4202496 66450 0 0 0 45937 16 0 0 20 0 1 0 293214955 589676544 129477 33554432000 4194304 4734972 140734172792320 140734172784344 4326687 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/32332/statm: 143964 129477 405 132 0 138864 0
Current children cumulated CPU time (s) 659.17
Current children cumulated vsize (KiB) 602000

[startup+662.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/181 32360
/proc/meminfo: memFree=29418488/32873648 swapFree=7372/7372
[pid=32235] ppid=32233 vsize=16996 CPUtime=199.64 cores=1,3,5,7
/proc/32235/stat : 32235 (python) S 32233 32235 32036 0 -1 4202496 1404 1395698 0 0 1 0 16649 3314 20 0 1 0 293194726 17403904 1082 33554432000 4194304 5683644 140736087294880 140736087292424 217410520448 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/32235/statm: 4249 1082 429 364 0 691 0
[pid=32331] ppid=32235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32331/stat : 32331 (sh) S 32235 32235 32036 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293214955 9367552 266 33554432000 4194304 5064252 140735050756208 140735050754912 217410332238 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32331/statm: 2287 266 226 213 0 72 0
[pid=32332] ppid=32331 vsize=485708 CPUtime=459.93 cores=1,3,5,7
/proc/32332/stat : 32332 (CryptoMiniSat) R 32331 32235 32036 0 -1 4202496 66466 0 0 0 45977 16 0 0 20 0 1 0 293214955 497364992 113380 33554432000 4194304 4734972 140734172792320 140734172784344 217410140892 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/32332/statm: 121427 113380 420 132 0 116327 0
Current children cumulated CPU time (s) 659.57
Current children cumulated vsize (KiB) 511852

Child status: 0
Real time (s): 662.328
CPU time (s): 659.634
CPU user time (s): 626.293
CPU system time (s): 33.3409
CPU usage (%): 99.5932
Max. virtual memory (cumulated for all children) (KiB): 12449896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 626.293
system time used= 33.3409
maximum resident set size= 5580084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1464432
page faults= 0
swaps= 0
block input operations= 0
block output operations= 116144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 362
involuntary context switches= 686

runsolver used 1.20982 second user time and 3.47447 second system time

The end

Launcher Data

Begin job on node122 at 2012-05-29 07:51:27
IDJOB=3718994
IDBENCH=1479
IDSOLVER=2303
FILE ID=node122/3718994-1338270687
RUNJOBID= node122-1338268843-32053
PBS_JOBID= 14625699
Free space on /tmp= 71664 MiB

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

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

MD5SUM BENCH= 939f54a73a83900b8b6d857af47a0b62
RANDOM SEED=1701617488

node122.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.533
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.06
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.533
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.533
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	: 5332.04
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.533
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.533
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.533
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.533
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.533
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:        30849408 kB
Buffers:          347124 kB
Cached:           542376 kB
SwapCached:         1040 kB
Active:          1054624 kB
Inactive:         108128 kB
Active(anon):     269936 kB
Inactive(anon):     5356 kB
Active(file):     784688 kB
Inactive(file):   102772 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67102924 kB
Dirty:             18252 kB
Writeback:             0 kB
AnonPages:        383656 kB
Mapped:            12340 kB
Shmem:                 8 kB
Slab:             717820 kB
SReclaimable:     162108 kB
SUnreclaim:       555712 kB
KernelStack:        1504 kB
PageTables:         4392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     402856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    323584 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= 71512 MiB
End job on node122 at 2012-05-29 08:02:30