Trace number 3321044

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
CryptoMiniSat Strange-Night-2-mtUNSAT 17581.3 2199.86

General information on the benchmark

NameAPPLICATIONS/crypto/
md5gen/gus-md5-11.cnf
MD5SUM49867705b76fc90285dd6fc48de2613c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1376.76
Satisfiable
(Un)Satisfiability was proved
Number of variables69561
Number of clauses226787
Sum of the clauses size587727
Maximum clause length3
Minimum clause length1
Number of clauses of size 1129
Number of clauses of size 292376
Number of clauses of size 3134282
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3321044-1304322422.cnf'
1.89/0.54	c -- clauses added:            0 learnts,       226787 normals,            0 xors
1.89/0.54	c -- vars added      69561
1.89/0.54	c Parsing time:  0.16 s
1.89/0.54	c  N st     0         0     69561    133769     92375         0    586057         0   no data   no data
1.89/0.55	c asymm  cl-useful: 2/133769/133769 lits-rem:6 time: 0.16
3.77/0.94	c Flit:     9 Blit:    106 bXBeca:    0 bXProp: 5530 Bins:      0 BRemL:      0 BRemN:      0 P:  2.3M T:  0.37
3.77/0.94	c Cleaning up after failed var search:     0.00 s 
6.94/0.96	c Replacing     5530 vars Replaced    70076 lits Time:     0.04 s 
7.81/1.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.81/1.19	c bin-w-bin subsume rem            6 bins  time:  0.01 s
8.71/1.22	c subs with bin:       90  lits-rem:        60  v-fix:    0  time:  0.03 s
8.71/1.28	c Subs w/ non-existent bins:      6 l-rem:      4 v-fix:     0 done:  63670 time:  0.06 s
9.36/1.33	c Removed useless bin:       2  fixed:     0  props:   1.67M  time:  0.05 s
12.36/1.72	c lits-rem:         0  cl-subs:     5611  v-elim:  21223  v-fix:    0  time:  0.30 s
12.36/1.73	c Finding binary XORs  T:     0.01 s  found:       0
13.16/1.82	c Finding non-binary XORs:     0.06 s (found:   23091, avg size: 3.0)
13.16/1.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   8752 locsubst:    54 time:   0.03
13.16/1.82	c calculated reachability. Time: 0.00
13.16/1.83	c Calc default polars -  time:   0.01 s pos:    8305 undec:   35965 neg:   25291
13.16/1.83	c =========================================================================================
13.16/1.83	c types(t): F = full restart, N = normal restart
13.16/1.83	c types(t): S = simplification begin/end, E = solution found
13.16/1.83	c restart types(rt): st = static, dy = dynamic
13.16/1.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
13.16/1.83	c  B st     0         0     33695     56236     23413         0    267297         0   no data   no data
43.54/5.69	c Decided on static restart strategy
100.28/12.76	c  N st     8      4914     33695     56236     23576      4628    267297    378696   no data   no data
204.99/25.83	c  N st    10     11297     33671     56236     24388     10764    267297    916724   no data   no data
204.99/25.85	c Finding binary XORs  T:     0.01 s  found:      43
294.51/37.00	c  N st    11     17040     33671     56149     24403     16312    267024   1302969   no data   no data
432.04/54.22	c  F st    12     25000     33669     56149     24778     15376    267024    548442   no data   no data
432.04/54.26	c Replacing       88 vars Replaced    14972 lits Time:     0.03 s 
432.04/54.28	c Replacing        2 vars Replaced       30 lits Time:     0.01 s 
432.84/54.32	c  N st    12     25000     33569     56112     24593     15353    266598    547917   no data   no data
432.84/54.34	c Finding binary XORs  T:     0.01 s  found:      27
517.51/64.90	c Decided on static restart strategy
517.51/64.90	c  N st    18     30001     33556     56062     24841     20198    266458   1023503   no data   no data
517.51/64.90	c  S st    18     30001     33556     56062     24841     20198    266458   1023503   no data   no data
517.51/64.98	c  S st    18     30509     33556     56062     24871     20666    266458   1029841   no data   no data
518.31/65.00	c x-sub:    24 x-cut:      0 vfix:      0 v-elim:    242 locsubst:     6 time:   0.02
521.50/65.40	c Flit:     6 Blit:     25 bXBeca:    0 bXProp:  128 Bins:  10077 BRemL:   3071 BRemN:     22 P:  3.6M T:  0.40
521.50/65.44	c Replacing      170 vars Replaced    13135 lits Time:     0.04 s 
521.50/65.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
521.50/65.47	c bin-w-bin subsume rem          398 bins  time:  0.01 s
521.50/65.48	c subs with bin:     1758  lits-rem:        18  v-fix:    0  time:  0.02 s
522.30/65.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33102 time:  0.02 s
522.30/65.52	c Removed useless bin:      26  fixed:     0  props:   0.46M  time:  0.02 s
522.30/65.59	c lits-rem:         0  cl-subs:       68  v-elim:   4505  v-fix:    0  time:  0.07 s
523.10/65.64	c subs with bin:       64  lits-rem:      4418  v-fix:    0  time:  0.02 s
526.30/66.00	c lits-rem:      2882  cl-subs:     2066  v-elim:      0  v-fix:    0  time:  0.35 s
526.30/66.08	c asymm  cl-useful: 0/58578/58578 lits-rem:0 time: 0.08
526.30/66.09	c calculated reachability. Time: 0.00
526.30/66.09	c  N st    18     30509     28597     58578     16874     14752    249325    424236   no data   no data
579.85/72.76	c Finding binary XORs  T:     0.01 s  found:      31
647.79/81.24	c  N st    20     37621     28597     58578     17014     21683    249325   1405833   no data   no data
730.12/91.53	c  N st    21     44020     28597     58578     17018     16121    249325    359920   no data   no data
730.12/91.55	c Finding binary XORs  T:     0.01 s  found:       0
757.35/94.98	c  S st    22     45764     28597     58578     19840     17831    249325    595834   no data   no data
758.15/95.06	c  S st    22     46270     28597     58578     19843     18328    249325    602630   no data   no data
758.15/95.08	c x-sub:     6 x-cut:      0 vfix:      0 v-elim:     65 locsubst:    19 time:   0.02
761.29/95.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   60 Bins:    302 BRemL:   2043 BRemN:      8 P:  2.5M T:  0.34
761.29/95.44	c Replacing       98 vars Replaced     1649 lits Time:     0.01 s 
761.29/95.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
761.29/95.46	c bin-w-bin subsume rem         1195 bins  time:  0.01 s
761.29/95.47	c subs with bin:       13  lits-rem:         1  v-fix:    0  time:  0.01 s
761.29/95.49	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:  28434 time:  0.01 s
762.09/95.50	c Removed useless bin:       1  fixed:     0  props:   0.28M  time:  0.01 s
762.09/95.53	c lits-rem:         0  cl-subs:       74  v-elim:     34  v-fix:    0  time:  0.03 s
762.09/95.56	c subs with bin:        7  lits-rem:       482  v-fix:    0  time:  0.02 s
762.88/95.68	c lits-rem:       690  cl-subs:      253  v-elim:      0  v-fix:    0  time:  0.10 s
762.88/95.69	c vivif2 --  cl tried    58484 cl shrink        1 lits rem          1 time: 0.01
763.68/95.70	c vivif2 --  cl tried    17132 cl shrink     1945 lits rem       2782 time: 0.02
763.68/95.79	c asymm  cl-useful: 1/58483/58483 lits-rem:1 time: 0.09
764.48/95.80	c calculated reachability. Time: 0.00
764.48/95.80	c  N st    22     46270     28400     58483     16675     17126    248481    386588   no data   no data
1130.56/141.62	c  N st    23     60671     28400     58483     16675     31331    248481   1883983   no data   no data
1130.56/141.63	c Finding binary XORs  T:     0.01 s  found:      31
1292.01/161.81	c  N st    24     69406     28400     58483     18347     24625    248481   1104648   no data   no data
1292.01/161.81	c  S st    24     69406     28400     58483     18347     24625    248481   1104648   no data   no data
1292.01/161.90	c  S st    24     69908     28400     58483     18379     25113    248481   1112520   no data   no data
1292.81/161.91	c x-sub:     8 x-cut:      0 vfix:      0 v-elim:      1 locsubst:    20 time:   0.02
1295.20/162.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   70 Bins:    206 BRemL:   1110 BRemN:      0 P:  2.7M T:  0.35
1295.20/162.29	c Replacing      111 vars Replaced     3933 lits Time:     0.02 s 
1296.00/162.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1296.00/162.32	c bin-w-bin subsume rem          425 bins  time:  0.01 s
1296.00/162.33	c subs with bin:       26  lits-rem:         1  v-fix:    0  time:  0.01 s
1296.00/162.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28288 time:  0.01 s
1296.00/162.35	c Removed useless bin:       5  fixed:     0  props:   0.28M  time:  0.01 s
1296.00/162.39	c lits-rem:         0  cl-subs:       50  v-elim:     41  v-fix:    0  time:  0.04 s
1296.80/162.49	c subs with bin:       18  lits-rem:      1645  v-fix:    0  time:  0.05 s
1301.60/163.04	c lits-rem:      1493  cl-subs:      400  v-elim:      0  v-fix:    0  time:  0.54 s
1301.60/163.04	c vivif2 --  cl tried    58401 cl shrink        0 lits rem          0 time: 0.01
1301.60/163.10	c vivif2 --  cl tried    24694 cl shrink     2908 lits rem       6051 time: 0.05
1302.46/163.19	c asymm  cl-useful: 6/58401/58401 lits-rem:16 time: 0.09
1302.46/163.20	c calculated reachability. Time: 0.00
1302.46/163.20	c  N st    24     69908     28247     58396     16811     24692    248058   1045192   no data   no data
1658.08/207.68	c  F st    25     87501     28247     58396     16812     41931    248058   2426692   no data   no data
1658.88/207.72	c  N st    25     87501     28247     58396     16812     41931    248058   2426692   no data   no data
1658.88/207.73	c Finding binary XORs  T:     0.01 s  found:      19
1750.00/219.16	c Decided on static restart strategy
1761.99/220.61	c  N st    32     95543     28247     58396     17190     31789    248058   1130407   no data   no data
1961.01/245.51	c  N st    34    104862     28247     58396     17374     40987    248058   2217027   no data   no data
1961.01/245.51	c  S st    34    104862     28247     58396     17374     40987    248058   2217027   no data   no data
1961.87/245.63	c  S st    34    105366     28247     58396     17445     41477    248058   2224698   no data   no data
1961.87/245.65	c x-sub:    10 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    24 time:   0.02
1965.00/246.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   35 Bins:     23 BRemL:    364 BRemN:      0 P:  3.2M T:  0.37
1965.00/246.03	c Replacing       66 vars Replaced     1452 lits Time:     0.02 s 
1965.00/246.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1965.00/246.06	c bin-w-bin subsume rem          175 bins  time:  0.01 s
1965.00/246.07	c subs with bin:        5  lits-rem:         0  v-fix:    0  time:  0.01 s
1965.00/246.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28181 time:  0.02 s
1965.80/246.10	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
1965.80/246.15	c lits-rem:         0  cl-subs:       32  v-elim:     25  v-fix:    0  time:  0.05 s
1967.41/246.35	c subs with bin:       14  lits-rem:       544  v-fix:    0  time:  0.11 s
1980.99/248.03	c lits-rem:      3015  cl-subs:      944  v-elim:      0  v-fix:    0  time:  1.67 s
1980.99/248.03	c vivif2 --  cl tried    58312 cl shrink        0 lits rem          0 time: 0.01
1981.79/248.16	c vivif2 --  cl tried    40519 cl shrink     7621 lits rem      16377 time: 0.13
1982.59/248.28	c asymm  cl-useful: 0/58312/58312 lits-rem:0 time: 0.11
1982.59/248.29	c calculated reachability. Time: 0.00
1982.59/248.29	c  N st    34    105366     28156     58312     16734     40519    247363   2134011   no data   no data
2257.54/282.61	c  N st    35    114964     28156     58312     16736     29516    247363    635000   no data   no data
2534.16/317.23	c  N st    36    129361     28155     58312     16750     43719    247363   2499172   no data   no data
3207.90/401.57	c  N st    37    150956     28155     58312     16773     43048    247363   1321757   no data   no data
3432.50/429.61	c  S st    38    158049     28154     58312     16845     50060    247363   1930207   no data   no data
3432.50/429.64	c Finding binary XORs  T:     0.01 s  found:       9
3433.30/429.79	c  S st    38    158552     28154     58306     16981     50424    247339   1934135   no data   no data
3434.10/429.80	c x-sub:    12 x-cut:      0 vfix:      0 v-elim:     11 locsubst:    14 time:   0.02
3436.50/430.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     19 BRemL:    162 BRemN:      0 P:  3.3M T:  0.37
3437.30/430.20	c Replacing       10 vars Replaced      502 lits Time:     0.02 s 
3437.30/430.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3437.30/430.22	c bin-w-bin subsume rem           18 bins  time:  0.01 s
3437.30/430.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3437.30/430.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28133 time:  0.02 s
3437.30/430.26	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
3438.10/430.31	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.05 s
3442.89/430.99	c subs with bin:     2854  lits-rem:      1944  v-fix:    0  time:  0.60 s
3458.07/432.83	c lits-rem:      4523  cl-subs:     1720  v-elim:      0  v-fix:    0  time:  1.83 s
3458.07/432.84	c vivif2 --  cl tried    58304 cl shrink        0 lits rem          0 time: 0.01
3458.87/432.95	c vivif2 --  cl tried    45850 cl shrink     6277 lits rem      12795 time: 0.11
3459.67/433.07	c asymm  cl-useful: 0/58304/58304 lits-rem:0 time: 0.13
3459.67/433.08	c calculated reachability. Time: 0.00
3459.67/433.09	c  N st    38    158552     28133     58304     16803     45850    247241   1738974   no data   no data
4905.58/613.96	c  N st    39    207140     28133     58304     16805     46033    247241    698417   no data   no data
5938.99/743.21	c  N st    40    237828     28133     58304     16919     51541    247241    841876   no data   no data
5938.99/743.21	c  S st    40    237828     28133     58304     16919     51541    247241    841876   no data   no data
5939.79/743.35	c  S st    40    238332     28133     58304     16957     52039    247241    850796   no data   no data
5939.79/743.37	c x-sub:     7 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
5942.99/743.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    169 BRemL:    158 BRemN:      0 P:  3.6M T:  0.39
5942.99/743.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5942.99/743.79	c bin-w-bin subsume rem           19 bins  time:  0.01 s
5943.79/743.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
5943.79/743.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28133 time:  0.02 s
5943.79/743.83	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
5943.79/743.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
5944.64/743.94	c subs with bin:       41  lits-rem:       597  v-fix:    0  time:  0.04 s
5951.78/744.82	c lits-rem:      3399  cl-subs:     6129  v-elim:      0  v-fix:    0  time:  0.87 s
5951.78/744.83	c vivif2 --  cl tried    58304 cl shrink        0 lits rem          0 time: 0.01
5951.78/744.87	c vivif2 --  cl tried    45869 cl shrink     3104 lits rem       5531 time: 0.04
5952.58/745.00	c asymm  cl-useful: 0/58304/58304 lits-rem:0 time: 0.13
5953.44/745.01	c calculated reachability. Time: 0.00
5953.44/745.01	c  N st    40    238332     28133     58304     16953     45866    247220    734632   no data   no data
8006.65/1001.98	c  F st    41    306251     28133     58304     16954     59222    247220   1788302   no data   no data
8007.45/1002.02	c  N st    41    306251     28133     58304     16954     59222    247220   1788302   no data   no data
8007.45/1002.06	c Finding binary XORs  T:     0.01 s  found:       6
8090.64/1012.42	c Decided on static restart strategy
8747.59/1094.63	c  N st    51    334553     28130     58299     17116     58386    247201   1591923   no data   no data
9615.62/1203.26	c  N st    53    357498     28127     58299     17126     51019    247201    669865   no data   no data
9615.62/1203.26	c  S st    53    357498     28127     58299     17126     51019    247201    669865   no data   no data
9616.42/1203.40	c  S st    53    358002     28127     58299     17127     51514    247201    676760   no data   no data
9617.22/1203.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
9619.67/1203.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:    152 BRemL:    198 BRemN:      1 P:  3.6M T:  0.38
9620.47/1203.83	c Replacing       17 vars Replaced     2672 lits Time:     0.03 s 
9620.47/1203.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9620.47/1203.85	c bin-w-bin subsume rem           51 bins  time:  0.01 s
9620.47/1203.86	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.01 s
9620.47/1203.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28110 time:  0.02 s
9620.47/1203.90	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
9621.21/1203.93	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time:  0.04 s
9621.21/1203.99	c subs with bin:       22  lits-rem:       766  v-fix:    0  time:  0.03 s
9626.01/1204.58	c lits-rem:      2419  cl-subs:     4159  v-elim:      0  v-fix:    0  time:  0.58 s
9626.01/1204.59	c vivif2 --  cl tried    58279 cl shrink        0 lits rem          0 time: 0.01
9626.81/1204.61	c vivif2 --  cl tried    47198 cl shrink     1009 lits rem       1649 time: 0.03
9627.61/1204.75	c asymm  cl-useful: 0/58279/58279 lits-rem:0 time: 0.13
9627.61/1204.76	c calculated reachability. Time: 0.00
9627.61/1204.76	c  N st    53    358002     28110     58279     16737     47198    247083    593960   no data   no data
10774.57/1348.23	c  N st    54    390394     28110     58279     16737     48713    247083    560023   no data   no data
12421.90/1554.31	c  N st    55    438982     28108     58279     16965     64566    247083   1133129   no data   no data
12421.90/1554.34	c Finding binary XORs  T:     0.01 s  found:       2
14873.30/1861.07	c  N st    56    511866     28108     58276     16991     69222    247064   1060776   no data   no data
15573.48/1948.69	c  N st    57    537003     28106     58276     17236     59413    247064    760409   no data   no data
15573.48/1948.69	c  S st    57    537003     28106     58276     17236     59413    247064    760409   no data   no data
15575.08/1948.87	c  S st    57    537504     28106     58276     17239     59907    247064    768498   no data   no data
15575.08/1948.89	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
15578.28/1949.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:     85 BRemL:    349 BRemN:      0 P:  3.8M T:  0.40
15579.08/1949.32	c Replacing       10 vars Replaced     2238 lits Time:     0.03 s 
15579.08/1949.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15579.08/1949.35	c bin-w-bin subsume rem           93 bins  time:  0.01 s
15579.08/1949.36	c subs with bin:        8  lits-rem:         0  v-fix:    0  time:  0.01 s
15579.08/1949.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28096 time:  0.02 s
15579.08/1949.39	c Removed useless bin:       1  fixed:     0  props:   0.29M  time:  0.01 s
15579.88/1949.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
15581.54/1949.60	c subs with bin:     1573  lits-rem:       727  v-fix:    0  time:  0.13 s
15586.27/1950.30	c lits-rem:      3457  cl-subs:     1399  v-elim:      0  v-fix:    0  time:  0.68 s
15587.07/1950.30	c vivif2 --  cl tried    58265 cl shrink        0 lits rem          0 time: 0.01
15587.07/1950.34	c vivif2 --  cl tried    56767 cl shrink     1761 lits rem       3105 time: 0.04
15588.67/1950.50	c asymm  cl-useful: 0/58265/58265 lits-rem:0 time: 0.16
15588.67/1950.51	c calculated reachability. Time: 0.00
15588.67/1950.51	c  N st    57    537504     28096     58265     16833     56767    247011    704184   no data   no data
16296.84/2039.19	c Finding binary XORs  T:     0.01 s  found:       5
17580.48/2199.79	c Following stats are for *FIRST FINISHED THREAD ONLY*
17580.48/2199.79	c num threads              : 8          
17580.48/2199.79	c restarts                 : 58         
17580.48/2199.79	c dynamic restarts         : 0          
17580.48/2199.79	c static restarts          : 58         
17580.48/2199.79	c full restarts            : 3          
17580.48/2199.79	c total simplify time      : 0.24       
17580.48/2199.79	c learnts DL2              : 0          
17580.48/2199.79	c learnts size 2           : 112420     
17580.48/2199.79	c learnts size 1           : 684         (0.98      % of vars)
17580.48/2199.79	c filedLit time            : 1.55        (0.07      % time)
17580.48/2199.79	c v-elim SatELite          : 25832       (37.14     % vars)
17580.48/2199.79	c SatELite time            : 5.85        (0.27      % time)
17580.48/2199.79	c v-elim xor               : 9091        (13.07     % vars)
17580.48/2199.79	c xor elim time            : 0.10        (0.00      % time)
17580.48/2199.79	c num binary xor trees     : 5432       
17580.48/2199.79	c binxor trees' crown      : 6110        (1.12      leafs/tree)
17580.48/2199.79	c bin xor find time        : 0.12       
17580.48/2199.79	c OTF clause improved      : 17336       (0.03      clauses/conflict)
17580.48/2199.79	c OTF impr. size diff      : 19222       (1.11       lits/clause)
17580.48/2199.79	c OTF cl watch-shrink      : 283191      (0.45      clauses/conflict)
17580.48/2199.79	c OTF cl watch-sh-lit      : 897616      (3.17       lits/clause)
17580.48/2199.79	c tried to recurMin cls    : 305311      (48.59      % of conflicts)
17580.48/2199.79	c updated cache            : 17527       (0.06       lits/tried recurMin)
17580.48/2199.79	c unit cls recevied        : 63          (9.21      % of units)
17580.48/2199.79	c unit cls sent            : 29          (4.24      % of units)
17580.48/2199.79	c bin cls recevied         : 29615      
17580.48/2199.79	c bin cls sent             : 650        
17580.48/2199.79	c clauses over max glue    : 0           (0.00      % of all clauses)
17580.48/2199.79	c conflicts                : 628278      (287.78    / sec)
17580.48/2199.79	c decisions                : 1174593     (19.26     % random)
17580.48/2199.79	c bogo-props               : 93995271477 (43054488.14 / sec)
17580.48/2199.79	c conflict literals        : 37049601    (57.80     % deleted)
17580.48/2199.79	c Memory used              : 1568.67     MB
17580.48/2199.79	c single-thread CPU time   : 2183.17     s
17580.48/2199.79	c all-threads sum CPU time : 17577.24    s
17580.48/2199.79	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3321044-1304322422/watcher-3321044-1304322422 -o /tmp/evaluation-result-3321044-1304322422/solver-3321044-1304322422 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321044-1304322422.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.92 4.38 1.79 2/235 26734
/proc/meminfo: memFree=25104940/32951124 swapFree=67111348/67111528
[pid=26734] ppid=26732 vsize=92188 CPUtime=0.02 cores=0-7
/proc/26734/stat : 26734 (strangenight2-m) R 26732 26734 26634 0 -1 4202496 413 0 0 0 2 0 0 0 25 0 8 0 622472724 94400512 352 33554432000 4194304 4627427 140734850365312 18446744073709551615 47715272705970 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26734/statm: 23047 352 299 106 0 18018 0
[pid=26734/tid=26735] ppid=26732 vsize=92188 CPUtime=0 cores=0-7
/proc/26734/task/26735/stat : 26735 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 622472725 94400512 352 33554432000 4194304 4627427 140734850365312 18446744073709551615 47715272705970 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26734/tid=26736] ppid=26732 vsize=92188 CPUtime=0 cores=0-7
/proc/26734/task/26736/stat : 26736 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622472725 94400512 352 33554432000 4194304 4627427 140734850365312 18446744073709551615 47715272705970 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26734/tid=26737] ppid=26732 vsize=92188 CPUtime=0 cores=0-7
/proc/26734/task/26737/stat : 26737 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622472725 94400512 352 33554432000 4194304 4627427 140734850365312 18446744073709551615 47715272705970 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26734/tid=26738] ppid=26732 vsize=92188 CPUtime=0 cores=0-7
/proc/26734/task/26738/stat : 26738 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622472725 94400512 352 33554432000 4194304 4627427 140734850365312 18446744073709551615 47715272705968 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26734/tid=26739] ppid=26732 vsize=92188 CPUtime=0 cores=0-7
/proc/26734/task/26739/stat : 26739 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622472725 94400512 352 33554432000 4194304 4627427 140734850365312 18446744073709551615 47715272705970 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26734/tid=26740] ppid=26732 vsize=92188 CPUtime=0 cores=0-7
/proc/26734/task/26740/stat : 26740 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622472725 94400512 352 33554432000 4194304 4627427 140734850365312 18446744073709551615 252458122225 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26734/tid=26741] ppid=26732 vsize=92188 CPUtime=0 cores=0-7
/proc/26734/task/26741/stat : 26741 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 622472725 94400512 352 33554432000 4194304 4627427 140734850365312 18446744073709551615 47715272705960 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.033213 s]
/proc/loadavg: 7.92 4.38 1.79 2/235 26734
/proc/meminfo: memFree=25104940/32951124 swapFree=67111348/67111528
[pid=26734] ppid=26732 vsize=437940 CPUtime=0.16 cores=0-7
/proc/26734/stat : 26734 (strangenight2-m) S 26732 26734 26634 0 -1 4202496 11151 0 0 0 13 3 0 0 17 0 8 0 622472724 448450560 9229 33554432000 4194304 4627427 140734850365312 18446744073709551615 252458170862 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26734/statm: 109539 9440 340 106 0 104510 0
[pid=26734/tid=26735] ppid=26732 vsize=438156 CPUtime=0.01 cores=0-7
/proc/26734/task/26735/stat : 26735 (strangenight2-m) D 26732 26734 26634 0 -1 4202560 1595 0 0 0 1 0 0 0 18 0 8 0 622472725 448671744 9440 33554432000 4194304 4627427 140734850365312 18446744073709551615 4540994 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26734/tid=26736] ppid=26732 vsize=438156 CPUtime=0.01 cores=0-7
/proc/26734/task/26736/stat : 26736 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 1280 0 0 0 1 0 0 0 18 0 8 0 622472725 448671744 9440 33554432000 4194304 4627427 140734850365312 18446744073709551615 252457762912 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26734/tid=26737] ppid=26732 vsize=438156 CPUtime=0 cores=0-7
/proc/26734/task/26737/stat : 26737 (strangenight2-m) D 26732 26734 26634 0 -1 4202560 1191 0 0 0 0 0 0 0 17 0 8 0 622472725 448671744 9440 33554432000 4194304 4627427 140734850365312 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26734/tid=26738] ppid=26732 vsize=438372 CPUtime=0.01 cores=0-7
/proc/26734/task/26738/stat : 26738 (strangenight2-m) D 26732 26734 26634 0 -1 4202560 1167 0 0 0 1 0 0 0 18 0 8 0 622472725 448892928 9445 33554432000 4194304 4627427 140734850365312 18446744073709551615 252457762919 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26734/tid=26739] ppid=26732 vsize=438372 CPUtime=0.01 cores=0-7
/proc/26734/task/26739/stat : 26739 (strangenight2-m) D 26732 26734 26634 0 -1 4202560 1613 0 0 0 1 0 0 0 18 0 8 0 622472725 448892928 9445 33554432000 4194304 4627427 140734850365312 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26734/tid=26740] ppid=26732 vsize=438372 CPUtime=0.01 cores=0-7
/proc/26734/task/26740/stat : 26740 (strangenight2-m) D 26732 26734 26634 0 -1 4202560 1274 0 0 0 1 0 0 0 17 0 8 0 622472725 448892928 9445 33554432000 4194304 4627427 140734850365312 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26734/tid=26741] ppid=26732 vsize=438372 CPUtime=0.01 cores=0-7
/proc/26734/task/26741/stat : 26741 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 1517 0 0 0 1 0 0 0 18 0 8 0 622472725 448892928 9445 33554432000 4194304 4627427 140734850365312 18446744073709551615 252458123690 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 437940

[startup+0.101315 s]
/proc/loadavg: 7.92 4.38 1.79 2/235 26734
/proc/meminfo: memFree=25104940/32951124 swapFree=67111348/67111528
[pid=26734] ppid=26732 vsize=750412 CPUtime=0.61 cores=0-7
/proc/26734/stat : 26734 (strangenight2-m) R 26732 26734 26634 0 -1 4202496 62712 0 0 0 40 21 0 0 18 0 8 0 622472724 768421888 46175 33554432000 4194304 4627427 140734850365312 18446744073709551615 4530710 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26734/statm: 187603 46196 342 106 0 182574 0
[pid=26734/tid=26735] ppid=26732 vsize=750412 CPUtime=0.07 cores=0-7
/proc/26734/task/26735/stat : 26735 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 7948 0 0 0 5 2 0 0 18 0 8 0 622472725 768421888 46201 33554432000 4194304 4627427 140734850365312 18446744073709551615 252457762927 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26734/tid=26736] ppid=26732 vsize=750412 CPUtime=0.07 cores=0-7
/proc/26734/task/26736/stat : 26736 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 7352 0 0 0 5 2 0 0 18 0 8 0 622472725 768421888 46212 33554432000 4194304 4627427 140734850365312 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26734/tid=26737] ppid=26732 vsize=750412 CPUtime=0.05 cores=0-7
/proc/26734/task/26737/stat : 26737 (strangenight2-m) S 26732 26734 26634 0 -1 4202560 7943 0 0 0 3 2 0 0 17 0 8 0 622472725 768421888 46307 33554432000 4194304 4627427 140734850365312 18446744073709551615 252458170862 0 0 4096 2 18446604449490239808 0 0 -1 7 0 0 0
[pid=26734/tid=26738] ppid=26732 vsize=750412 CPUtime=0.08 cores=0-7
/proc/26734/task/26738/stat : 26738 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 8637 0 0 0 6 2 0 0 18 0 8 0 622472725 768421888 46345 33554432000 4194304 4627427 140734850365312 18446744073709551615 4530432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26734/tid=26739] ppid=26732 vsize=750412 CPUtime=0.06 cores=0-7
/proc/26734/task/26739/stat : 26739 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 7980 0 0 0 4 2 0 0 18 0 8 0 622472725 768421888 46381 33554432000 4194304 4627427 140734850365312 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26734/tid=26740] ppid=26732 vsize=750412 CPUtime=0.06 cores=0-7
/proc/26734/task/26740/stat : 26740 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 7296 0 0 0 4 2 0 0 17 0 8 0 622472725 768421888 46395 33554432000 4194304 4627427 140734850365312 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26734/tid=26741] ppid=26732 vsize=750412 CPUtime=0.07 cores=0-7
/proc/26734/task/26741/stat : 26741 (strangenight2-m) S 26732 26734 26634 0 -1 4202560 7965 0 0 0 5 2 0 0 18 0 8 0 622472725 768421888 46399 33554432000 4194304 4627427 140734850365312 18446744073709551615 252458170862 0 0 4096 2 18446604449490239808 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 750412

[startup+0.304171 s]
/proc/loadavg: 7.92 4.38 1.79 2/235 26734
/proc/meminfo: memFree=25104940/32951124 swapFree=67111348/67111528
[pid=26734] ppid=26732 vsize=756944 CPUtime=1.89 cores=0-7
/proc/26734/stat : 26734 (strangenight2-m) R 26732 26734 26634 0 -1 4202496 77902 0 0 0 115 74 0 0 17 0 8 0 622472724 775110656 61363 33554432000 4194304 4627427 140734850365312 18446744073709551615 4360952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26734/statm: 189236 61374 342 106 0 184207 0
[pid=26734/tid=26735] ppid=26732 vsize=756944 CPUtime=0.23 cores=0-7
/proc/26734/task/26735/stat : 26735 (strangenight2-m) S 26732 26734 26634 0 -1 4202560 10045 0 0 0 14 9 0 0 17 0 8 0 622472725 775110656 61377 33554432000 4194304 4627427 140734850365312 18446744073709551615 252458170862 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26734/tid=26736] ppid=26732 vsize=756944 CPUtime=0.24 cores=0-7
/proc/26734/task/26736/stat : 26736 (strangenight2-m) S 26732 26734 26634 0 -1 4202560 9288 0 0 0 14 10 0 0 17 0 8 0 622472725 775110656 61382 33554432000 4194304 4627427 140734850365312 18446744073709551615 252458170862 0 0 4096 2 18446604449490239808 0 0 -1 6 0 0 0
[pid=26734/tid=26737] ppid=26732 vsize=756944 CPUtime=0.22 cores=0-7
/proc/26734/task/26737/stat : 26737 (strangenight2-m) S 26732 26734 26634 0 -1 4202560 9766 0 0 0 13 9 0 0 17 0 8 0 622472725 775110656 61394 33554432000 4194304 4627427 140734850365312 18446744073709551615 252458170862 0 0 4096 2 18446604449490239808 0 0 -1 7 0 0 0
[pid=26734/tid=26738] ppid=26732 vsize=756944 CPUtime=0.23 cores=0-7
/proc/26734/task/26738/stat : 26738 (strangenight2-m) S 26732 26734 26634 0 -1 4202560 10418 0 0 0 14 9 0 0 17 0 8 0 622472725 775110656 61409 33554432000 4194304 4627427 140734850365312 18446744073709551615 252458170862 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26734/tid=26739] ppid=26732 vsize=756944 CPUtime=0.23 cores=0-7
/proc/26734/task/26739/stat : 26739 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 9548 0 0 0 14 9 0 0 17 0 8 0 622472725 775110656 61421 33554432000 4194304 4627427 140734850365312 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26734/tid=26740] ppid=26732 vsize=756944 CPUtime=0.22 cores=0-7
/proc/26734/task/26740/stat : 26740 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 9268 0 0 0 13 9 0 0 17 0 8 0 622472725 775110656 61435 33554432000 4194304 4627427 140734850365312 18446744073709551615 252458170862 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26734/tid=26741] ppid=26732 vsize=756944 CPUtime=0.24 cores=0-7
/proc/26734/task/26741/stat : 26741 (strangenight2-m) S 26732 26734 26634 0 -1 4202560 9843 0 0 0 17 7 0 0 17 0 8 0 622472725 775110656 61439 33554432000 4194304 4627427 140734850365312 18446744073709551615 252458170862 0 0 4096 2 18446604449490239808 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 756944

[startup+0.945374 s]
/proc/loadavg: 7.92 4.38 1.79 2/235 26734
/proc/meminfo: memFree=25104940/32951124 swapFree=67111348/67111528
[pid=26734] ppid=26732 vsize=761628 CPUtime=6.94 cores=0-7
/proc/26734/stat : 26734 (strangenight2-m) R 26732 26734 26634 0 -1 4202496 89329 0 0 0 596 98 0 0 18 0 8 0 622472724 779907072 72775 33554432000 4194304 4627427 140734850365312 18446744073709551615 4258988 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26734/statm: 190407 72775 377 106 0 185378 0
[pid=26734/tid=26735] ppid=26732 vsize=761628 CPUtime=0.88 cores=0-7
/proc/26734/task/26735/stat : 26735 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 13919 0 0 0 77 11 0 0 18 0 8 0 622472725 779907072 72775 33554432000 4194304 4627427 140734850365312 18446744073709551615 4425924 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26734/tid=26736] ppid=26732 vsize=761628 CPUtime=0.86 cores=0-7
/proc/26734/task/26736/stat : 26736 (strangenight2-m) D 26732 26734 26634 0 -1 4202560 10285 0 0 0 73 13 0 0 18 0 8 0 622472725 779907072 72775 33554432000 4194304 4627427 140734850365312 18446744073709551615 252458109111 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26734/tid=26737] ppid=26732 vsize=761628 CPUtime=0.84 cores=0-7
/proc/26734/task/26737/stat : 26737 (strangenight2-m) D 26732 26734 26634 0 -1 4202560 10823 0 0 0 72 12 0 0 18 0 8 0 622472725 779907072 72775 33554432000 4194304 4627427 140734850365312 18446744073709551615 4415675 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26734/tid=26738] ppid=26732 vsize=761628 CPUtime=0.85 cores=0-7
/proc/26734/task/26738/stat : 26738 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 11427 0 0 0 73 12 0 0 18 0 8 0 622472725 779907072 72775 33554432000 4194304 4627427 140734850365312 18446744073709551615 4302658 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26734/tid=26739] ppid=26732 vsize=761628 CPUtime=0.85 cores=0-7
/proc/26734/task/26739/stat : 26739 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 10599 0 0 0 73 12 0 0 18 0 8 0 622472725 779907072 72775 33554432000 4194304 4627427 140734850365312 18446744073709551615 4261432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26734/tid=26740] ppid=26732 vsize=761628 CPUtime=0.85 cores=0-7
/proc/26734/task/26740/stat : 26740 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 10541 0 0 0 73 12 0 0 18 0 8 0 622472725 779907072 72775 33554432000 4194304 4627427 140734850365312 18446744073709551615 252457762935 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26734/tid=26741] ppid=26732 vsize=761628 CPUtime=0.86 cores=0-7
/proc/26734/task/26741/stat : 26741 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 10919 0 0 0 77 9 0 0 18 0 8 0 622472725 779907072 72775 33554432000 4194304 4627427 140734850365312 18446744073709551615 4321535 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.94
Current children cumulated vsize (KiB) 761628

[startup+1.50892 s]
/proc/loadavg: 7.92 4.38 1.79 9/243 26742
/proc/meminfo: memFree=24667424/32951124 swapFree=67111348/67111528
[pid=26734] ppid=26732 vsize=861820 CPUtime=10.92 cores=0-7
/proc/26734/stat : 26734 (strangenight2-m) R 26732 26734 26634 0 -1 4202496 141008 0 0 0 943 149 0 0 17 0 8 0 622472724 882503680 115135 33554432000 4194304 4627427 140734850365312 18446744073709551615 252458170911 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26734/statm: 215455 115136 387 106 0 210426 0
[pid=26734/tid=26735] ppid=26732 vsize=861820 CPUtime=1.42 cores=0-7
/proc/26734/task/26735/stat : 26735 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 23282 0 0 0 128 14 0 0 18 0 8 0 622472725 882503680 115136 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26734/tid=26736] ppid=26732 vsize=861820 CPUtime=1.34 cores=0-7
/proc/26734/task/26736/stat : 26736 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 18348 0 0 0 112 22 0 0 18 0 8 0 622472725 882503680 115137 33554432000 4194304 4627427 140734850365312 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26734/tid=26737] ppid=26732 vsize=861820 CPUtime=1.33 cores=0-7
/proc/26734/task/26737/stat : 26737 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 18423 0 0 0 113 20 0 0 18 0 8 0 622472725 882503680 115138 33554432000 4194304 4627427 140734850365312 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26734/tid=26738] ppid=26732 vsize=861820 CPUtime=1.34 cores=0-7
/proc/26734/task/26738/stat : 26738 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 16459 0 0 0 113 21 0 0 18 0 8 0 622472725 882503680 115138 33554432000 4194304 4627427 140734850365312 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26734/tid=26739] ppid=26732 vsize=861820 CPUtime=1.33 cores=0-7
/proc/26734/task/26739/stat : 26739 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 17170 0 0 0 113 20 0 0 18 0 8 0 622472725 882503680 115139 33554432000 4194304 4627427 140734850365312 18446744073709551615 252457721813 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26734/tid=26740] ppid=26732 vsize=861820 CPUtime=1.35 cores=0-7
/proc/26734/task/26740/stat : 26740 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 18869 0 0 0 118 17 0 0 18 0 8 0 622472725 882503680 115140 33554432000 4194304 4627427 140734850365312 18446744073709551615 4302290 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26734/tid=26741] ppid=26732 vsize=861820 CPUtime=1.41 cores=0-7
/proc/26734/task/26741/stat : 26741 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 11078 0 0 0 131 10 0 0 18 0 8 0 622472725 882503680 115141 33554432000 4194304 4627427 140734850365312 18446744073709551615 4299630 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.92
Current children cumulated vsize (KiB) 861820

[startup+3.10062 s]
/proc/loadavg: 7.92 4.38 1.79 9/243 26742
/proc/meminfo: memFree=24580144/32951124 swapFree=67111348/67111528
[pid=26734] ppid=26732 vsize=947904 CPUtime=23.55 cores=0-7
/proc/26734/stat : 26734 (strangenight2-m) R 26732 26734 26634 0 -1 4202496 164666 0 0 0 2195 160 0 0 19 0 8 0 622472724 970653696 131608 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26734/statm: 236976 131608 388 106 0 231947 0
[pid=26734/tid=26735] ppid=26732 vsize=947904 CPUtime=3.01 cores=0-7
/proc/26734/task/26735/stat : 26735 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 23666 0 0 0 287 14 0 0 20 0 8 0 622472725 970653696 131608 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26734/tid=26736] ppid=26732 vsize=947904 CPUtime=2.91 cores=0-7
/proc/26734/task/26736/stat : 26736 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 22483 0 0 0 266 25 0 0 20 0 8 0 622472725 970653696 131608 33554432000 4194304 4627427 140734850365312 18446744073709551615 4330192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26734/tid=26737] ppid=26732 vsize=947904 CPUtime=2.92 cores=0-7
/proc/26734/task/26737/stat : 26737 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 22563 0 0 0 271 21 0 0 20 0 8 0 622472725 970653696 131608 33554432000 4194304 4627427 140734850365312 18446744073709551615 4333052 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26734/tid=26738] ppid=26732 vsize=947904 CPUtime=2.91 cores=0-7
/proc/26734/task/26738/stat : 26738 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 20569 0 0 0 268 23 0 0 19 0 8 0 622472725 970653696 131608 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26734/tid=26739] ppid=26732 vsize=947904 CPUtime=2.9 cores=0-7
/proc/26734/task/26739/stat : 26739 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 21461 0 0 0 268 22 0 0 20 0 8 0 622472725 970653696 131608 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26734/tid=26740] ppid=26732 vsize=947904 CPUtime=2.94 cores=0-7
/proc/26734/task/26740/stat : 26740 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 19606 0 0 0 276 18 0 0 20 0 8 0 622472725 970653696 131608 33554432000 4194304 4627427 140734850365312 18446744073709551615 4309965 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26734/tid=26741] ppid=26732 vsize=947904 CPUtime=3 cores=0-7
/proc/26734/task/26741/stat : 26741 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 11182 0 0 0 290 10 0 0 20 0 8 0 622472725 970653696 131608 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.55
Current children cumulated vsize (KiB) 947904

[startup+6.30103 s]
/proc/loadavg: 7.92 4.44 1.83 9/243 26742
/proc/meminfo: memFree=24572960/32951124 swapFree=67111348/67111528
[pid=26734] ppid=26732 vsize=947904 CPUtime=49.13 cores=0-7
/proc/26734/stat : 26734 (strangenight2-m) R 26732 26734 26634 0 -1 4202496 166924 0 0 0 4752 161 0 0 25 0 8 0 622472724 970653696 133552 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308717 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26734/statm: 236976 133552 388 106 0 231947 0
[pid=26734/tid=26735] ppid=26732 vsize=947904 CPUtime=6.21 cores=0-7
/proc/26734/task/26735/stat : 26735 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 23851 0 0 0 607 14 0 0 25 0 8 0 622472725 970653696 133552 33554432000 4194304 4627427 140734850365312 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26734/tid=26736] ppid=26732 vsize=947904 CPUtime=6.11 cores=0-7
/proc/26734/task/26736/stat : 26736 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 22756 0 0 0 586 25 0 0 25 0 8 0 622472725 970653696 133552 33554432000 4194304 4627427 140734850365312 18446744073709551615 4332767 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26734/tid=26737] ppid=26732 vsize=947904 CPUtime=6.12 cores=0-7
/proc/26734/task/26737/stat : 26737 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 22823 0 0 0 591 21 0 0 25 0 8 0 622472725 970653696 133552 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26734/tid=26738] ppid=26732 vsize=947904 CPUtime=6.11 cores=0-7
/proc/26734/task/26738/stat : 26738 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 20698 0 0 0 588 23 0 0 25 0 8 0 622472725 970653696 133552 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26734/tid=26739] ppid=26732 vsize=947904 CPUtime=6.08 cores=0-7
/proc/26734/task/26739/stat : 26739 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 21509 0 0 0 586 22 0 0 25 0 8 0 622472725 970653696 133552 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26734/tid=26740] ppid=26732 vsize=947904 CPUtime=6.14 cores=0-7
/proc/26734/task/26740/stat : 26740 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 19883 0 0 0 596 18 0 0 25 0 8 0 622472725 970653696 133552 33554432000 4194304 4627427 140734850365312 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26734/tid=26741] ppid=26732 vsize=947904 CPUtime=6.2 cores=0-7
/proc/26734/task/26741/stat : 26741 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 12223 0 0 0 610 10 0 0 25 0 8 0 622472725 970653696 133552 33554432000 4194304 4627427 140734850365312 18446744073709551615 4333033 0 0 4096 2 0 0 0 -1 0 0 0 0

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

/proc/loadavg: 8.04 8.02 7.41 9/243 26809
/proc/meminfo: memFree=23885216/32951124 swapFree=67111348/67111528
[pid=26734] ppid=26732 vsize=1606312 CPUtime=17393.4 cores=0-7
/proc/26734/stat : 26734 (strangenight2-m) R 26732 26734 26634 0 -1 4202496 795143 0 0 0 1738945 400 0 0 25 0 8 0 622472724 1644863488 305456 33554432000 4194304 4627427 140734850365312 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26734/statm: 401578 305456 391 106 0 396549 0
[pid=26734/tid=26735] ppid=26732 vsize=1606312 CPUtime=2176.28 cores=0-7
/proc/26734/task/26735/stat : 26735 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 80954 0 0 0 217589 39 0 0 25 0 8 0 622472725 1644863488 305456 33554432000 4194304 4627427 140734850365312 18446744073709551615 4309633 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26734/tid=26736] ppid=26732 vsize=1606312 CPUtime=2175.91 cores=0-7
/proc/26734/task/26736/stat : 26736 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 79925 0 0 0 217545 46 0 0 25 0 8 0 622472725 1644863488 305456 33554432000 4194304 4627427 140734850365312 18446744073709551615 4333248 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26734/tid=26737] ppid=26732 vsize=1606312 CPUtime=2176.19 cores=0-7
/proc/26734/task/26737/stat : 26737 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 56106 0 0 0 217581 38 0 0 25 0 8 0 622472725 1644863488 305456 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26734/tid=26738] ppid=26732 vsize=1606312 CPUtime=2176.18 cores=0-7
/proc/26734/task/26738/stat : 26738 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 72382 0 0 0 217568 50 0 0 25 0 8 0 622472725 1644863488 305456 33554432000 4194304 4627427 140734850365312 18446744073709551615 4330343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26734/tid=26739] ppid=26732 vsize=1606312 CPUtime=2160.31 cores=0-7
/proc/26734/task/26739/stat : 26739 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 72321 0 0 0 215984 47 0 0 25 0 8 0 622472725 1644863488 305456 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26734/tid=26740] ppid=26732 vsize=1606312 CPUtime=2176.21 cores=0-7
/proc/26734/task/26740/stat : 26740 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 78536 0 0 0 217571 50 0 0 25 0 8 0 622472725 1644863488 305456 33554432000 4194304 4627427 140734850365312 18446744073709551615 4321779 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26734/tid=26741] ppid=26732 vsize=1606312 CPUtime=2176.13 cores=0-7
/proc/26734/task/26741/stat : 26741 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 279930 0 0 0 217533 80 0 0 25 0 8 0 622472725 1644863488 305456 33554432000 4194304 4627427 140734850365312 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17393.4
Current children cumulated vsize (KiB) 1606312

[startup+2189.1 s]
/proc/loadavg: 8.03 8.02 7.42 9/243 26810
/proc/meminfo: memFree=23881496/32951124 swapFree=67111348/67111528
[pid=26734] ppid=26732 vsize=1606312 CPUtime=17495.8 cores=0-7
/proc/26734/stat : 26734 (strangenight2-m) R 26732 26734 26634 0 -1 4202496 796110 0 0 0 1749176 400 0 0 25 0 8 0 622472724 1644863488 306423 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26734/statm: 401578 306423 391 106 0 396549 0
[pid=26734/tid=26735] ppid=26732 vsize=1606312 CPUtime=2189.08 cores=0-7
/proc/26734/task/26735/stat : 26735 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 81072 0 0 0 218869 39 0 0 25 0 8 0 622472725 1644863488 306423 33554432000 4194304 4627427 140734850365312 18446744073709551615 4330279 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26734/tid=26736] ppid=26732 vsize=1606312 CPUtime=2188.71 cores=0-7
/proc/26734/task/26736/stat : 26736 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 80022 0 0 0 218825 46 0 0 25 0 8 0 622472725 1644863488 306423 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26734/tid=26737] ppid=26732 vsize=1606312 CPUtime=2188.99 cores=0-7
/proc/26734/task/26737/stat : 26737 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 56106 0 0 0 218861 38 0 0 25 0 8 0 622472725 1644863488 306423 33554432000 4194304 4627427 140734850365312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26734/tid=26738] ppid=26732 vsize=1606312 CPUtime=2188.98 cores=0-7
/proc/26734/task/26738/stat : 26738 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 72505 0 0 0 218848 50 0 0 25 0 8 0 622472725 1644863488 306423 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26734/tid=26739] ppid=26732 vsize=1606312 CPUtime=2173.02 cores=0-7
/proc/26734/task/26739/stat : 26739 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 72321 0 0 0 217255 47 0 0 25 0 8 0 622472725 1644863488 306423 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26734/tid=26740] ppid=26732 vsize=1606312 CPUtime=2189.01 cores=0-7
/proc/26734/task/26740/stat : 26740 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 78690 0 0 0 218851 50 0 0 25 0 8 0 622472725 1644863488 306423 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26734/tid=26741] ppid=26732 vsize=1606312 CPUtime=2188.93 cores=0-7
/proc/26734/task/26741/stat : 26741 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 280405 0 0 0 218813 80 0 0 25 0 8 0 622472725 1644863488 306423 33554432000 4194304 4627427 140734850365312 18446744073709551615 4321835 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17495.8
Current children cumulated vsize (KiB) 1606312

[startup+2195.5 s]
/proc/loadavg: 8.02 8.02 7.43 9/243 26810
/proc/meminfo: memFree=23879512/32951124 swapFree=67111348/67111528
[pid=26734] ppid=26732 vsize=1606312 CPUtime=17546.9 cores=0-7
/proc/26734/stat : 26734 (strangenight2-m) R 26732 26734 26634 0 -1 4202496 796605 0 0 0 1754291 401 0 0 25 0 8 0 622472724 1644863488 306918 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26734/statm: 401578 306918 391 106 0 396549 0
[pid=26734/tid=26735] ppid=26732 vsize=1606312 CPUtime=2195.48 cores=0-7
/proc/26734/task/26735/stat : 26735 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 81136 0 0 0 219509 39 0 0 25 0 8 0 622472725 1644863488 306918 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26734/tid=26736] ppid=26732 vsize=1606312 CPUtime=2195.11 cores=0-7
/proc/26734/task/26736/stat : 26736 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 80064 0 0 0 219465 46 0 0 25 0 8 0 622472725 1644863488 306918 33554432000 4194304 4627427 140734850365312 18446744073709551615 4332992 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26734/tid=26737] ppid=26732 vsize=1606312 CPUtime=2195.39 cores=0-7
/proc/26734/task/26737/stat : 26737 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 56106 0 0 0 219501 38 0 0 25 0 8 0 622472725 1644863488 306918 33554432000 4194304 4627427 140734850365312 18446744073709551615 4309910 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26734/tid=26738] ppid=26732 vsize=1606312 CPUtime=2195.38 cores=0-7
/proc/26734/task/26738/stat : 26738 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 72561 0 0 0 219488 50 0 0 25 0 8 0 622472725 1644863488 306918 33554432000 4194304 4627427 140734850365312 18446744073709551615 4330330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26734/tid=26739] ppid=26732 vsize=1606312 CPUtime=2179.37 cores=0-7
/proc/26734/task/26739/stat : 26739 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 72321 0 0 0 217890 47 0 0 25 0 8 0 622472725 1644863488 306918 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26734/tid=26740] ppid=26732 vsize=1606312 CPUtime=2195.41 cores=0-7
/proc/26734/task/26740/stat : 26740 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 78747 0 0 0 219491 50 0 0 25 0 8 0 622472725 1644863488 306918 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26734/tid=26741] ppid=26732 vsize=1606312 CPUtime=2195.33 cores=0-7
/proc/26734/task/26741/stat : 26741 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 280681 0 0 0 219453 80 0 0 25 0 8 0 622472725 1644863488 306918 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17546.9
Current children cumulated vsize (KiB) 1606312

[startup+2197.11 s]
/proc/loadavg: 8.02 8.02 7.43 9/243 26810
/proc/meminfo: memFree=23878768/32951124 swapFree=67111348/67111528
[pid=26734] ppid=26732 vsize=1606312 CPUtime=17559.8 cores=0-7
/proc/26734/stat : 26734 (strangenight2-m) R 26732 26734 26634 0 -1 4202496 796761 0 0 0 1755576 401 0 0 25 0 8 0 622472724 1644863488 307074 33554432000 4194304 4627427 140734850365312 18446744073709551615 4309379 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26734/statm: 401578 307074 391 106 0 396549 0
[pid=26734/tid=26735] ppid=26732 vsize=1606312 CPUtime=2197.09 cores=0-7
/proc/26734/task/26735/stat : 26735 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 81142 0 0 0 219670 39 0 0 25 0 8 0 622472725 1644863488 307074 33554432000 4194304 4627427 140734850365312 18446744073709551615 4332992 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26734/tid=26736] ppid=26732 vsize=1606312 CPUtime=2196.72 cores=0-7
/proc/26734/task/26736/stat : 26736 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 80076 0 0 0 219626 46 0 0 25 0 8 0 622472725 1644863488 307074 33554432000 4194304 4627427 140734850365312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26734/tid=26737] ppid=26732 vsize=1606312 CPUtime=2197 cores=0-7
/proc/26734/task/26737/stat : 26737 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 56106 0 0 0 219662 38 0 0 25 0 8 0 622472725 1644863488 307074 33554432000 4194304 4627427 140734850365312 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26734/tid=26738] ppid=26732 vsize=1606312 CPUtime=2196.99 cores=0-7
/proc/26734/task/26738/stat : 26738 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 72611 0 0 0 219649 50 0 0 25 0 8 0 622472725 1644863488 307074 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308640 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26734/tid=26739] ppid=26732 vsize=1606312 CPUtime=2180.97 cores=0-7
/proc/26734/task/26739/stat : 26739 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 72321 0 0 0 218050 47 0 0 25 0 8 0 622472725 1644863488 307074 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26734/tid=26740] ppid=26732 vsize=1606312 CPUtime=2197.02 cores=0-7
/proc/26734/task/26740/stat : 26740 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 78769 0 0 0 219652 50 0 0 25 0 8 0 622472725 1644863488 307074 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26734/tid=26741] ppid=26732 vsize=1606312 CPUtime=2196.94 cores=0-7
/proc/26734/task/26741/stat : 26741 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 280747 0 0 0 219614 80 0 0 25 0 8 0 622472725 1644863488 307074 33554432000 4194304 4627427 140734850365312 18446744073709551615 4330127 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17559.8
Current children cumulated vsize (KiB) 1606312

[startup+2198.7 s]
/proc/loadavg: 8.02 8.02 7.43 9/243 26810
/proc/meminfo: memFree=23878520/32951124 swapFree=67111348/67111528
[pid=26734] ppid=26732 vsize=1606312 CPUtime=17572.5 cores=0-7
/proc/26734/stat : 26734 (strangenight2-m) R 26732 26734 26634 0 -1 4202496 796873 0 0 0 1756849 401 0 0 25 0 8 0 622472724 1644863488 307186 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26734/statm: 401578 307186 391 106 0 396549 0
[pid=26734/tid=26735] ppid=26732 vsize=1606312 CPUtime=2198.68 cores=0-7
/proc/26734/task/26735/stat : 26735 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 81149 0 0 0 219829 39 0 0 25 0 8 0 622472725 1644863488 307186 33554432000 4194304 4627427 140734850365312 18446744073709551615 4309646 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26734/tid=26736] ppid=26732 vsize=1606312 CPUtime=2198.31 cores=0-7
/proc/26734/task/26736/stat : 26736 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 80089 0 0 0 219785 46 0 0 25 0 8 0 622472725 1644863488 307186 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26734/tid=26737] ppid=26732 vsize=1606312 CPUtime=2198.59 cores=0-7
/proc/26734/task/26737/stat : 26737 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 56106 0 0 0 219821 38 0 0 25 0 8 0 622472725 1644863488 307186 33554432000 4194304 4627427 140734850365312 18446744073709551615 4333279 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26734/tid=26738] ppid=26732 vsize=1606312 CPUtime=2198.58 cores=0-7
/proc/26734/task/26738/stat : 26738 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 72632 0 0 0 219808 50 0 0 25 0 8 0 622472725 1644863488 307186 33554432000 4194304 4627427 140734850365312 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26734/tid=26739] ppid=26732 vsize=1606312 CPUtime=2182.55 cores=0-7
/proc/26734/task/26739/stat : 26739 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 72321 0 0 0 218208 47 0 0 25 0 8 0 622472725 1644863488 307186 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26734/tid=26740] ppid=26732 vsize=1606312 CPUtime=2198.61 cores=0-7
/proc/26734/task/26740/stat : 26740 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 78785 0 0 0 219811 50 0 0 25 0 8 0 622472725 1644863488 307186 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26734/tid=26741] ppid=26732 vsize=1606312 CPUtime=2198.53 cores=0-7
/proc/26734/task/26741/stat : 26741 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 280802 0 0 0 219773 80 0 0 25 0 8 0 622472725 1644863488 307186 33554432000 4194304 4627427 140734850365312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17572.5
Current children cumulated vsize (KiB) 1606312

[startup+2199.5 s]
/proc/loadavg: 8.02 8.02 7.43 9/243 26810
/proc/meminfo: memFree=23878024/32951124 swapFree=67111348/67111528
[pid=26734] ppid=26732 vsize=1606312 CPUtime=17578.9 cores=0-7
/proc/26734/stat : 26734 (strangenight2-m) R 26732 26734 26634 0 -1 4202496 796936 0 0 0 1757488 401 0 0 25 0 8 0 622472724 1644863488 307249 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26734/statm: 401578 307249 391 106 0 396549 0
[pid=26734/tid=26735] ppid=26732 vsize=1606312 CPUtime=2199.48 cores=0-7
/proc/26734/task/26735/stat : 26735 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 81153 0 0 0 219909 39 0 0 25 0 8 0 622472725 1644863488 307249 33554432000 4194304 4627427 140734850365312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26734/tid=26736] ppid=26732 vsize=1606312 CPUtime=2199.11 cores=0-7
/proc/26734/task/26736/stat : 26736 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 80093 0 0 0 219865 46 0 0 25 0 8 0 622472725 1644863488 307249 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26734/tid=26737] ppid=26732 vsize=1606312 CPUtime=2199.39 cores=0-7
/proc/26734/task/26737/stat : 26737 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 56106 0 0 0 219901 38 0 0 25 0 8 0 622472725 1644863488 307249 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26734/tid=26738] ppid=26732 vsize=1606312 CPUtime=2199.38 cores=0-7
/proc/26734/task/26738/stat : 26738 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 72637 0 0 0 219888 50 0 0 25 0 8 0 622472725 1644863488 307249 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308272 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26734/tid=26739] ppid=26732 vsize=1606312 CPUtime=2183.34 cores=0-7
/proc/26734/task/26739/stat : 26739 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 72321 0 0 0 218287 47 0 0 25 0 8 0 622472725 1644863488 307249 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26734/tid=26740] ppid=26732 vsize=1606312 CPUtime=2199.41 cores=0-7
/proc/26734/task/26740/stat : 26740 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 78797 0 0 0 219891 50 0 0 25 0 8 0 622472725 1644863488 307249 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26734/tid=26741] ppid=26732 vsize=1606312 CPUtime=2199.33 cores=0-7
/proc/26734/task/26741/stat : 26741 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 280840 0 0 0 219853 80 0 0 25 0 8 0 622472725 1644863488 307249 33554432000 4194304 4627427 140734850365312 18446744073709551615 4321776 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17578.9
Current children cumulated vsize (KiB) 1606312

[startup+2199.7 s]
/proc/loadavg: 8.02 8.02 7.43 9/243 26810
/proc/meminfo: memFree=23878024/32951124 swapFree=67111348/67111528
[pid=26734] ppid=26732 vsize=1606312 CPUtime=17580.5 cores=0-7
/proc/26734/stat : 26734 (strangenight2-m) R 26732 26734 26634 0 -1 4202496 796956 0 0 0 1757647 401 0 0 25 0 8 0 622472724 1644863488 307269 33554432000 4194304 4627427 140734850365312 18446744073709551615 4305701 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26734/statm: 401578 307269 391 106 0 396549 0
[pid=26734/tid=26735] ppid=26732 vsize=1606312 CPUtime=2199.68 cores=0-7
/proc/26734/task/26735/stat : 26735 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 81154 0 0 0 219929 39 0 0 25 0 8 0 622472725 1644863488 307269 33554432000 4194304 4627427 140734850365312 18446744073709551615 4332826 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26734/tid=26736] ppid=26732 vsize=1606312 CPUtime=2199.31 cores=0-7
/proc/26734/task/26736/stat : 26736 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 80097 0 0 0 219885 46 0 0 25 0 8 0 622472725 1644863488 307269 33554432000 4194304 4627427 140734850365312 18446744073709551615 4321609 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26734/tid=26737] ppid=26732 vsize=1606312 CPUtime=2199.59 cores=0-7
/proc/26734/task/26737/stat : 26737 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 56106 0 0 0 219921 38 0 0 25 0 8 0 622472725 1644863488 307269 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=26734/tid=26738] ppid=26732 vsize=1606312 CPUtime=2199.58 cores=0-7
/proc/26734/task/26738/stat : 26738 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 72640 0 0 0 219908 50 0 0 25 0 8 0 622472725 1644863488 307269 33554432000 4194304 4627427 140734850365312 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26734/tid=26739] ppid=26732 vsize=1606312 CPUtime=2183.54 cores=0-7
/proc/26734/task/26739/stat : 26739 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 72321 0 0 0 218307 47 0 0 25 0 8 0 622472725 1644863488 307269 33554432000 4194304 4627427 140734850365312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26734/tid=26740] ppid=26732 vsize=1606312 CPUtime=2199.61 cores=0-7
/proc/26734/task/26740/stat : 26740 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 78799 0 0 0 219911 50 0 0 25 0 8 0 622472725 1644863488 307269 33554432000 4194304 4627427 140734850365312 18446744073709551615 4333602 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26734/tid=26741] ppid=26732 vsize=1606312 CPUtime=2199.53 cores=0-7
/proc/26734/task/26741/stat : 26741 (strangenight2-m) R 26732 26734 26634 0 -1 4202560 280850 0 0 0 219873 80 0 0 25 0 8 0 622472725 1644863488 307269 33554432000 4194304 4627427 140734850365312 18446744073709551615 4321585 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17580.5
Current children cumulated vsize (KiB) 1606312

[startup+2199.8 s]
/proc/loadavg: 8.02 8.02 7.43 9/243 26810
/proc/meminfo: memFree=23878024/32951124 swapFree=67111348/67111528
[pid=26734] ppid=26732 vsize=0 CPUtime=17581.2 cores=0-7
/proc/26734/stat : 26734 (strangenight2-m) Z 26732 26734 26634 0 -1 4203548 796964 0 0 0 1757723 401 0 0 25 0 2 0 622472724 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/26734/statm: 0 0 0 0 0 0 0
[pid=26734/tid=26736] ppid=26732 vsize=0 CPUtime=2199.42 cores=0-7
/proc/26734/task/26736/stat : 26736 (strangenight2-m) R 26732 26734 26634 0 -1 4203588 80098 0 0 0 219895 47 0 0 25 0 2 0 622472725 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 17581.2
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 2199.86
CPU time (s): 17581.3
CPU user time (s): 17577.2
CPU system time (s): 4.07238
CPU usage (%): 799.203
Max. virtual memory (cumulated for all children) (KiB): 1751136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17577.2
system time used= 4.07238
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 796964
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 159473
involuntary context switches= 78384

runsolver used 4.73528 second user time and 11.2823 second system time

The end

Launcher Data 

Begin job on node111 at 2011-05-02 09:47:02
IDJOB=3321044
IDBENCH=70830
IDSOLVER=1709
FILE ID=node111/3321044-1304322422
RUNJOBID= node111-1304322188-26648
PBS_JOBID= 13176814
Free space on /tmp= 73132 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-11.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321044-1304322422/watcher-3321044-1304322422 -o /tmp/evaluation-result-3321044-1304322422/solver-3321044-1304322422 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321044-1304322422.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 49867705b76fc90285dd6fc48de2613c
RANDOM SEED=1510055892

node111.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5428.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25105096 kB
Buffers:       1062064 kB
Cached:        2601832 kB
SwapCached:          0 kB
Active:        4059132 kB
Inactive:      3313748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25105096 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            9976 kB
Writeback:          36 kB
AnonPages:     3709060 kB
Mapped:          21944 kB
Slab:           391284 kB
PageTables:      17376 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 34955324 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73124 MiB
End job on node111 at 2011-05-02 10:23:42