Trace number 3366928

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-mt (fixed)? (TO) 4800.43 1203.46

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf
MD5SUMb5a637600c242725f15a247a84bdea1b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables810
Number of clauses68270
Sum of the clauses size137296
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 268243
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 527

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3366928-1305415115.cnf'
0.00/0.00	c -- header says num vars:            810
0.00/0.00	c -- header says num clauses:       68270
0.00/0.05	c -- clauses added:            0 learnts,        68270 normals,            0 xors
0.00/0.05	c -- vars added        810
0.00/0.05	c Parsing time:  0.01 s
0.00/0.05	c  N st     0         0       810        27     68243         0    137296         0   no data   no data
0.00/0.05	c asymm  cl-useful: 0/27/27 lits-rem:0 time: 0.00
0.00/0.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
0.00/0.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.20/0.06	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.20/0.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.20/0.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    810 time:  0.01 s
0.20/0.07	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
0.37/0.10	c lits-rem:       507  cl-subs:        0  v-elim:     27  v-fix:    0  time:  0.01 s
0.37/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.37/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.37/0.10	c calculated reachability. Time: 0.00
0.37/0.10	c Calc default polars -  time:   0.00 s pos:     385 undec:      27 neg:     398
0.37/0.10	c =========================================================================================
0.37/0.10	c types(t): F = full restart, N = normal restart
0.37/0.10	c types(t): S = simplification begin/end, E = solution found
0.37/0.10	c restart types(rt): st = static, dy = dynamic
0.37/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.37/0.10	c  B st     0         0       783      1365     66095         0    182461         0   no data   no data
2.36/0.63	c  N dy     8      4960       783      1365     66095      4763    182461    577374     13.04     13.79
4.75/1.28	c  N dy    32      9704       783      1365     66095      6938    182461    699664     14.77     15.70
7.55/1.95	c  N dy    38     15263       783      1365     66095      8216    182461    678174     13.20     14.00
9.94/2.55	c  N dy    52     19825       783      1365     66097      7205    182461    519070     13.03     13.86
12.75/3.30	c  N dy    70     24960       783      1365     66104     12166    182461    974846     12.73     13.53
13.17/3.31	c  F st    71     25003       783      1365     66104     12207    182461    978463     12.74   no data
15.92/4.09	c  N dy    77     30001       783      1365     66107     10460    182461    818510     12.74   no data
15.92/4.09	c  S st    77     30001       783      1365     66107     10460    182461    818510     12.74   no data
16.32/4.18	c  S st    77     30506       783      1365     66107     10964    182461    859413     12.74   no data
16.32/4.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.14/4.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:      0 BRemN:      0 P:  7.4M T:  0.18
17.14/4.38	c blocked clauses removed:        0 vars:      0 tried:         783 T: 0.00 s
17.14/4.39	c bin-w-bin subsume rem            0 bins  time:  0.01 s
18.71/4.73	c subs with bin:        0  lits-rem:      8113  v-fix:    0  time:  0.35 s
18.71/4.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    783 time:  0.00 s
18.71/4.75	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.01 s
18.71/4.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
23.90/6.08	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  1.28 s
31.08/7.89	c lits-rem:      1879  cl-subs:      481  v-elim:      0  v-fix:    0  time:  1.79 s
31.88/8.05	c asymm  cl-useful: 0/1338/1365 lits-rem:0 time: 0.16
31.88/8.05	c calculated reachability. Time: 0.00
31.88/8.05	c  N dy    77     30506       783      1365     66114     10483    174348    811986     12.74   no data
35.11/8.82	c  N dy    90     34705       783      1365     66131     14512    174348   1174797     12.62     13.33
37.86/9.52	c  N dy   112     39195       783      1365     66131     11239    174348    766903     12.76     13.71
41.45/10.43	c  N dy   130     44579       783      1365     66133     16436    174348   1200584     12.58     13.35
42.25/10.67	c  S st   135     45764       783      1365     66133      8928    174348    517408     12.59   no data
42.65/10.72	c  S st   135     46266       783      1365     66133      9422    174348    558417     12.59   no data
42.65/10.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.05/10.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.8M T:  0.15
43.05/10.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.05/10.88	c bin-w-bin subsume rem            0 bins  time:  0.01 s
44.63/11.20	c subs with bin:        0  lits-rem:         4  v-fix:    0  time:  0.30 s
44.63/11.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    783 time:  0.01 s
44.63/11.21	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.01 s
44.63/11.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.83/12.52	c subs with bin:        7  lits-rem:         6  v-fix:    0  time:  1.28 s
50.63/12.79	c lits-rem:       179  cl-subs:      168  v-elim:      0  v-fix:    0  time:  0.28 s
50.63/12.79	c vivif2 --  cl tried     1365 cl shrink        0 lits rem          0 time: 0.00
51.03/12.81	c vivif2 --  cl tried     9247 cl shrink       80 lits rem         99 time: 0.01
51.43/12.95	c asymm  cl-useful: 0/1365/1365 lits-rem:0 time: 0.14
51.43/12.95	c calculated reachability. Time: 0.00
51.43/12.95	c  N dy   135     46266       783      1365     66133      9247    174344    554492     12.59   no data
53.81/13.59	c  N dy   147     50453       783      1365     66152     13292    174344    920794     12.45     13.31
57.40/14.43	c  N dy   152     54501       783      1365     66161     17195    174344   1239785     12.22     12.98
60.59/15.25	c  N dy   165     58648       783      1365     66163     11563    174344    731336     12.14     12.83
63.79/16.01	c  N dy   180     62758       783      1365     66174     15504    174344   1059503     12.10     12.91
69.79/17.57	c  N dy   194     69401       782      1365     66188     11254    174344    609054     11.89     11.64
69.79/17.57	c  S st   194     69401       782      1365     66188     11254    174344    609054     11.89     11.64
70.21/17.64	c  S st   194     69902       782      1365     66188     11755    174344    652693     11.89   no data
70.21/17.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
70.97/17.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  6.8M T:  0.17
70.97/17.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
70.97/17.82	c bin-w-bin subsume rem            0 bins  time:  0.01 s
72.17/18.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.30 s
72.17/18.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.01 s
72.17/18.13	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.01 s
72.17/18.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
77.35/19.45	c subs with bin:        0  lits-rem:         9  v-fix:    0  time:  1.27 s
78.57/19.75	c lits-rem:       172  cl-subs:       71  v-elim:      0  v-fix:    0  time:  0.29 s
78.57/19.75	c vivif2 --  cl tried     1365 cl shrink        0 lits rem          0 time: 0.00
78.57/19.76	c vivif2 --  cl tried    10357 cl shrink       30 lits rem         30 time: 0.01
79.34/19.92	c asymm  cl-useful: 0/1365/1365 lits-rem:0 time: 0.16
79.34/19.92	c calculated reachability. Time: 0.00
79.34/19.92	c  N dy   194     69902       782      1365     65834     10357    173701    632020     11.89   no data
82.54/20.77	c  N dy   224     74386       782      1365     65838     14718    173701   1107893     12.15     20.08
87.34/21.99	c  N dy   242     79213       782      1365     65840     19356    173701   1541676     12.11     12.79
92.15/23.13	c  N dy   264     84272       782      1365     65841     13354    173701    843165     12.08     13.44
94.91/23.80	c  F st   283     87500       782      1365     65841     16466    173701   1114120     12.16      8.52
98.09/24.62	c  N st   288     90799       782      1365     65842     19646    173701   1397899     12.16   no data
103.68/26.01	c  N dy   297     98999       782      1365     65847     15302    173701    913939     11.99     12.66
108.47/27.27	c  S st   329    104853       782      1365     65849     20945    173701   1393323     12.07      7.95
109.28/27.41	c  S st   329    105354       782      1365     65850     21446    173701   1435293     12.07   no data
109.28/27.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
110.46/27.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P: 11.1M T:  0.29
110.46/27.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
110.46/27.71	c bin-w-bin subsume rem            0 bins  time:  0.01 s
111.66/28.02	c subs with bin:        0  lits-rem:         4  v-fix:    0  time:  0.30 s
111.66/28.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.01 s
111.66/28.03	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.01 s
111.66/28.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
117.24/29.46	c subs with bin:        0  lits-rem:        18  v-fix:    0  time:  1.37 s
128.80/32.33	c lits-rem:      1688  cl-subs:      878  v-elim:      0  v-fix:    0  time:  2.83 s
128.80/32.33	c vivif2 --  cl tried     1365 cl shrink        0 lits rem          0 time: 0.00
128.80/32.35	c vivif2 --  cl tried    20568 cl shrink      256 lits rem        332 time: 0.02
130.00/32.61	c asymm  cl-useful: 0/1254/1365 lits-rem:0 time: 0.26
130.00/32.61	c calculated reachability. Time: 0.00
130.00/32.61	c  N dy   329    105354       782      1365     65854     20567    173697   1400992     12.07   no data
136.79/34.33	c  N dy   344    112174       782      1365     65874     13813    173697    752577     11.97     19.63
142.37/35.74	c  N dy   356    119386       782      1365     65882     20728    173697   1317904     11.85     12.62
151.55/38.03	c  N dy   372    127010       781      1365     65901     27920    173697   1854765     11.76     12.42
157.14/39.49	c  N dy   403    135325       781      1365     65909     21639    173697   1166067     11.76     12.58
164.71/41.38	c  N dy   445    144039       781      1365     65915     30024    173697   1723985     11.82     12.51
172.68/43.30	c  N dy   498    154329       780      1365     65916     24676    173697   1329169     11.96     12.83
175.88/44.17	c  S st   517    158031       780      1365     65921     28226    173697   1563045     11.95   no data
176.28/44.27	c  S st   517    158532       780      1365     65921     28726    173697   1597865     11.95   no data
176.28/44.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
177.48/44.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 12.5M T:  0.32
177.48/44.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
177.88/44.60	c bin-w-bin subsume rem            1 bins  time:  0.01 s
179.08/44.90	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  0.30 s
179.08/44.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.01 s
179.08/44.91	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.00 s
179.08/44.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
185.05/46.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.44 s
199.02/49.91	c lits-rem:      2147  cl-subs:     1262  v-elim:      0  v-fix:    0  time:  3.42 s
199.02/49.91	c vivif2 --  cl tried     1365 cl shrink        0 lits rem          0 time: 0.00
199.02/49.94	c vivif2 --  cl tried    25463 cl shrink      577 lits rem        657 time: 0.03
199.82/50.18	c asymm  cl-useful: 0/1144/1365 lits-rem:0 time: 0.24
199.82/50.18	c calculated reachability. Time: 0.00
199.82/50.18	c  N dy   517    158532       780      1365     65247     25463    172430   1535475     11.95   no data
208.19/52.27	c  N dy   544    168776       780      1365     65261     20009    172430   1116783     11.87     12.56
218.56/54.89	c  N dy   587    179599       780      1365     65264     30421    172430   1998820     11.84     18.61
229.73/57.67	c  N dy   619    191073       780      1365     65270     24638    172430   1386159     11.79     12.48
245.31/61.58	c  N dy   651    203795       779      1365     65295     18787    172430    913683     11.71     12.60
258.47/64.89	c  N dy   721    217577       779      1365     65298     32027    172430   1993892     11.82     12.75
273.21/68.51	c  N dy   791    231529       779      1365     65312     26417    172430   1467471     11.92     25.63
280.41/70.35	c  S st   818    237800       779      1365     65314     32422    172430   1907442     11.95   no data
280.84/70.49	c  S st   818    238305       779      1365     65317     32925    172430   1948978     11.95   no data
280.84/70.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
282.79/70.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P: 14.8M T:  0.43
282.79/70.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
282.79/70.93	c bin-w-bin subsume rem            1 bins  time:  0.01 s
283.99/71.23	c subs with bin:        0  lits-rem:         5  v-fix:    0  time:  0.30 s
283.99/71.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.01 s
283.99/71.24	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.01 s
283.99/71.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
290.36/72.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.51 s
311.90/78.21	c lits-rem:      2793  cl-subs:     1739  v-elim:      0  v-fix:    0  time:  5.38 s
311.90/78.21	c vivif2 --  cl tried     1365 cl shrink        0 lits rem          0 time: 0.00
311.90/78.25	c vivif2 --  cl tried    28841 cl shrink     1185 lits rem       1992 time: 0.04
313.10/78.51	c asymm  cl-useful: 0/1019/1365 lits-rem:0 time: 0.26
313.10/78.52	c calculated reachability. Time: 0.00
313.10/78.52	c  N dy   818    238305       779      1365     64989     28839    171785   1872238     11.95   no data
329.46/82.69	c  N dy   850    253545       779      1365     65036     24452    171785   1213120     11.86     12.74
346.23/86.86	c  N dy   885    269738       779      1365     65053     39895    171785   2235180     11.75     16.14
364.21/91.32	c  N dy   961    287050       778      1365     65080     36093    171785   2084937     11.77     16.46
385.32/96.64	c  N dy  1013    305422       777      1365     65106     32009    171785   1748358     11.73     27.04
386.50/96.91	c  F st  1019    306250       777      1365     65106     32799    171785   1793575     11.74      7.57
407.66/102.21	c  N dy  1100    325285       777      1365     64439     25735    170548   1401621     11.81     12.47
428.00/107.40	c  N dy  1174    345313       776      1365     64447     45052    170548   2517659     11.80     19.85
437.98/109.90	c  S st  1207    357457       776      1365     64451     34068    170548   1677461     11.77   no data
438.81/110.04	c  S st  1207    357960       776      1365     64451     34569    170548   1723092     11.77   no data
438.81/110.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
439.96/110.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 13.4M T:  0.35
440.36/110.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
440.36/110.40	c bin-w-bin subsume rem            0 bins  time:  0.01 s
441.16/110.69	c subs with bin:        0  lits-rem:         9  v-fix:    0  time:  0.29 s
441.56/110.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.01 s
441.56/110.70	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.01 s
441.56/110.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
447.16/112.18	c subs with bin:        0  lits-rem:        65  v-fix:    0  time:  1.40 s
467.08/117.14	c lits-rem:      4541  cl-subs:     2285  v-elim:      0  v-fix:    0  time:  4.96 s
467.08/117.14	c vivif2 --  cl tried     1365 cl shrink        0 lits rem          0 time: 0.00
467.08/117.19	c vivif2 --  cl tried    31402 cl shrink      897 lits rem       1002 time: 0.04
468.68/117.53	c asymm  cl-useful: 0/1092/1365 lits-rem:0 time: 0.34
468.68/117.54	c calculated reachability. Time: 0.00
468.68/117.54	c  N dy  1207    357960       776      1365     64137     31402    169924   1660671     11.77   no data
489.83/122.81	c  N dy  1263    378054       776      1365     64151     26982    169924   1465800     11.71     17.95
515.36/129.23	c  N dy  1327    399772       776      1365     64160     47906    169924   3104844     11.67     12.33
538.89/135.12	c  N dy  1388    419853       776      1365     64177     41836    169924   2634861     11.65     12.42
566.41/142.02	c  N dy  1442    439858       776      1365     64203     34376    169924   1967045     11.61     12.28
567.60/142.31	c Finding binary XORs  T:     0.00 s  found:       0
594.33/149.03	c  N dy  1494    459871       776      1365     64226     53607    169924   3481100     11.57     18.86
620.65/155.66	c  N dy  1587    479872       775      1365     64237     45143    169924   2739159     11.61     12.25
650.55/163.10	c  N dy  1685    499891       775      1365     64243     35675    169924   1909439     11.68     15.17
679.28/170.34	c  N dy  1761    520444       775      1365     64264     55423    169924   3254519     11.69     12.53
700.02/175.58	c  S st  1836    536940       775      1365     64267     41500    169924   2184355     11.71      8.22
700.81/175.75	c  S st  1836    537441       775      1365     64267     41998    169924   2221654     11.71   no data
700.81/175.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
703.20/176.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 19.6M T:  0.59
703.20/176.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
703.20/176.36	c bin-w-bin subsume rem            1 bins  time:  0.01 s
704.40/176.65	c subs with bin:        0  lits-rem:        14  v-fix:    0  time:  0.29 s
704.40/176.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    775 time:  0.01 s
704.40/176.66	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.01 s
704.40/176.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
711.17/178.34	c subs with bin:       12  lits-rem:        33  v-fix:    0  time:  1.59 s
735.11/184.39	c lits-rem:      3667  cl-subs:     1885  v-elim:      0  v-fix:    0  time:  6.05 s
735.11/184.39	c vivif2 --  cl tried     1365 cl shrink        0 lits rem          0 time: 0.00
735.51/184.45	c vivif2 --  cl tried    38864 cl shrink     2630 lits rem       4291 time: 0.05
736.73/184.75	c asymm  cl-useful: 0/529/1365 lits-rem:0 time: 0.30
736.73/184.75	c calculated reachability. Time: 0.00
736.73/184.75	c  N dy  1836    537441       775      1365     63945     38862    169327   2153594     11.71   no data
769.81/193.00	c  N dy  1932    557810       775      1365     63979     58462    169327   3583543     11.77     12.51
795.35/199.40	c  N dy  2024    578204       775      1365     63992     47896    169327   2623371     11.80     12.60
828.06/207.61	c  N dy  2127    598231       774      1365     64010     35763    169327   1773641     11.87     12.56
859.18/215.48	c  N dy  2230    618247       774      1365     64021     55035    169327   3256966     11.92     22.43
891.49/223.53	c  N dy  2307    638638       773      1365     64038     42038    169327   2147515     11.92     12.59
922.60/231.34	c  N dy  2391    659308       773      1365     64051     61984    169327   3646092     11.95     12.80
951.74/238.61	c  N dy  2474    679312       772      1365     64074     47627    169327   2417354     11.99     12.69
988.02/247.71	c  N dy  2563    699794       772      1365     64080     67455    169327   3921808     12.01     12.73
1011.56/253.60	c  N dy  2641    719801       772      1365     64084     52072    169327   2621822     12.02     14.80
1044.67/261.93	c  N dy  2727    739825       772      1365     64090     35707    169327   1424748     12.05     20.57
1066.60/267.47	c  N dy  2818    759926       772      1365     64099     55121    169327   2752981     12.07     14.65
1096.13/274.89	c  N dy  2868    780466       772      1365     64114     38296    169327   1549579     12.03     12.73
1118.92/280.54	c  N dy  2927    800528       771      1365     64125     57600    169327   2824433     12.02     21.08
1126.85/282.56	c  S st  2952    806161       771      1365     64127     63060    169327   3243428     12.03     11.52
1128.04/282.80	c  S st  2952    806662       771      1365     64127     63558    169327   3285843     12.03   no data
1128.04/282.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1131.24/283.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P: 24.6M T:  0.83
1131.24/283.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1131.24/283.65	c bin-w-bin subsume rem            2 bins  time:  0.01 s
1132.43/283.93	c subs with bin:        0  lits-rem:         8  v-fix:    0  time:  0.28 s
1132.43/283.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    771 time:  0.01 s
1132.43/283.95	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.01 s
1132.43/283.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1140.01/285.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.75 s
1172.31/293.98	c lits-rem:      4576  cl-subs:     3308  v-elim:      0  v-fix:    0  time:  8.14 s
1172.31/293.98	c vivif2 --  cl tried     1346 cl shrink        0 lits rem          0 time: 0.00
1172.71/294.06	c vivif2 --  cl tried    54911 cl shrink     4166 lits rem       6296 time: 0.08
1174.31/294.41	c asymm  cl-useful: 0/350/1346 lits-rem:0 time: 0.35
1174.31/294.41	c calculated reachability. Time: 0.00
1174.31/294.41	c  N dy  2952    806662       771      1346     62957     54909    166758   3102750     12.03   no data
1204.63/302.03	c  N dy  2990    827113       771      1346     62982     39665    166758   1746192     11.99     12.71
1232.57/309.09	c  N dy  3046    848855       771      1346     62996     60518    166758   3047722     11.97     12.83
1267.27/317.80	c  N dy  3110    873184       771      1346     63019     46716    166758   2150393     11.94     12.58
1298.40/325.54	c  N dy  3169    894502       770      1346     63031     67103    166758   3473129     11.92     12.85
1329.88/333.48	c  N dy  3243    914671       770      1346     63045     47890    166758   2136179     11.92     12.85
1361.40/341.31	c  N dy  3304    935318       770      1346     63063     67713    166758   3372359     11.91     12.82
1391.71/348.98	c  N dy  3362    955337       769      1346     63079     46972    166758   2023757     11.90     12.58
1419.24/355.81	c  N dy  3431    975364       769      1346     63083     66198    166758   3382524     11.90     12.64
1452.74/364.25	c  N dy  3499    995958       769      1346     63092     44782    166758   1792441     11.90     12.56
1479.87/371.09	c  N dy  3612   1015960       769      1346     63095     64086    166758   3161059     11.94     23.68
1518.95/380.85	c  N dy  3714   1036710       769      1346     63107     84028    166758   4576397     11.96     12.61
1543.70/387.11	c  N dy  3799   1056764       769      1346     63112     61183    166758   2948220     11.97     15.81
1568.82/393.32	c  F st  3855   1071878       769      1346     63119     75700    166758   3915365     11.98   no data
1577.19/395.47	c  N dy  3861   1077072       769      1346     62469     75073    165611   4203801     11.98   no data
1607.11/402.95	c  N dy  3947   1097175       769      1346     62479     53960    165611   2524934     11.99     12.64
1639.42/411.08	c  N dy  4038   1117178       768      1346     62500     73157    165611   3827303     12.00     12.68
1649.83/413.66	c Finding binary XORs  T:     0.00 s  found:       0
1672.12/419.21	c  N dy  4100   1137391       768      1346     62224     47428    165092   2095343     11.99     12.67
1701.26/426.50	c  N dy  4200   1157424       768      1346     62230     66665    165092   3360538     12.01     14.44
1745.13/437.54	c  N dy  4295   1178628       768      1346     62236     43733    165092   1727284     12.01     12.67
1771.46/444.11	c  N dy  4335   1198728       768      1346     62246     62892    165092   2844131     11.99     15.06
1789.83/448.77	c  S st  4377   1209993       768      1346     62249     73731    165092   3600313     11.99   no data
1791.00/449.09	c  S st  4377   1210494       768      1346     62249     74230    165092   3638070     11.99   no data
1791.40/449.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1796.59/450.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 28.8M T:  1.33
1796.59/450.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1796.59/450.45	c bin-w-bin subsume rem            1 bins  time:  0.01 s
1797.79/450.74	c subs with bin:        0  lits-rem:        16  v-fix:    0  time:  0.29 s
1797.79/450.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    768 time:  0.01 s
1797.79/450.75	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.01 s
1798.19/450.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1806.56/452.92	c subs with bin:       10  lits-rem:        37  v-fix:    0  time:  2.02 s
1856.82/465.51	c lits-rem:      8263  cl-subs:     6993  v-elim:      0  v-fix:    0  time: 12.59 s
1856.82/465.51	c vivif2 --  cl tried     1346 cl shrink        0 lits rem          0 time: 0.00
1857.22/465.63	c vivif2 --  cl tried    67227 cl shrink     8500 lits rem      17464 time: 0.13
1858.41/465.98	c asymm  cl-useful: 0/340/1346 lits-rem:0 time: 0.34
1858.41/465.98	c calculated reachability. Time: 0.00
1858.41/465.98	c  N dy  4377   1210494       768      1346     62261     67214    165076   3486605     11.99   no data
1900.69/476.51	c  N dy  4439   1230564       767      1346     62275     86448    165076   4710022     11.98     12.65
1930.24/483.96	c  N dy  4505   1251065       767      1346     62291     61291    165076   2954777     11.98     12.66
1968.12/493.49	c  N dy  4585   1271294       767      1346     62300     80795    165076   4432160     11.99     12.62
2011.20/504.21	c  N dy  4689   1291367       767      1346     62311     53540    165076   2435492     12.01     18.66
2045.90/512.91	c  N dy  4796   1311427       767      1346     62328     72952    165076   3875068     12.04     13.75
2094.96/525.27	c  N dy  4880   1331477       767      1346     62335     92278    165076   5278367     12.06     18.29
2128.87/533.79	c  N dy  4969   1352044       766      1346     62339     64242    165076   3057201     12.07     12.79
2166.78/543.29	c  N dy  5077   1372091       766      1346     62344     83661    165076   4434253     12.10     14.09
2205.07/552.90	c  N dy  5145   1392147       766      1346     62361     53921    165076   2242103     12.10     29.95
2238.57/561.23	c  N dy  5275   1412206       766      1346     62369     73323    165076   3674006     12.14     16.73
2280.86/571.90	c  N dy  5367   1432213       766      1346     62378     92573    165076   5082844     12.16     24.15
2316.38/580.80	c  N dy  5454   1452445       766      1346     62388     62059    165076   2740935     12.18     13.05
2351.07/589.50	c  N dy  5528   1473259       766      1346     62397     82090    165076   4045959     12.18     12.98
2395.37/600.57	c  N dy  5598   1493312       765      1346     62405    101315    165076   5327115     12.19     20.88
2424.47/607.87	c  N dy  5699   1513394       765      1346     62412     69627    165076   3071394     12.21     12.93
2466.35/618.38	c  N dy  5823   1535042       765      1346     62419     90618    165076   4484848     12.25     12.98
2509.05/629.04	c  N dy  5923   1556361       765      1346     62425     59096    165076   2301037     12.26     13.27
2540.18/636.88	c  N dy  6030   1576415       765      1346     62434     78422    165076   3577938     12.28     15.80
2579.66/646.79	c  N dy  6116   1596435       765      1346     62440     97627    165076   4766457     12.30     14.21
2613.93/655.36	c  N dy  6203   1616442       765      1346     62448     63859    165076   2544382     12.30     20.23
2645.47/663.22	c  N dy  6270   1636518       765      1346     62461     83128    165076   3716514     12.29     20.30
2688.52/674.08	c  N dy  6339   1657686       764      1346     62471    103468    165076   4862084     12.29     13.22
2720.48/682.03	c  N dy  6427   1677976       764      1346     62491     69104    165076   2685507     12.29     12.95
2754.34/690.58	c  N dy  6538   1698015       763      1346     62500     88520    165076   3930522     12.32     13.02
2779.06/696.79	c  S st  6594   1710494       763      1346     62508    100577    165076   4739722     12.33   no data
2780.26/697.07	c  S st  6594   1710998       763      1346     62508    101080    165076   4776622     12.33   no data
2780.26/697.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2785.86/698.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 34.7M T:  1.34
2785.86/698.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2785.86/698.43	c bin-w-bin subsume rem           13 bins  time:  0.01 s
2787.04/698.71	c subs with bin:        0  lits-rem:         3  v-fix:    0  time:  0.28 s
2787.04/698.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    763 time:  0.01 s
2787.04/698.72	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.00 s
2787.04/698.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
2795.81/700.92	c subs with bin:       33  lits-rem:       495  v-fix:    0  time:  2.00 s
2845.27/713.38	c lits-rem:      4757  cl-subs:     4135  v-elim:      0  v-fix:    0  time: 12.46 s
2845.27/713.38	c vivif2 --  cl tried     1346 cl shrink        0 lits rem          0 time: 0.00
2845.67/713.49	c vivif2 --  cl tried    79228 cl shrink     4335 lits rem       6263 time: 0.11
2847.29/713.86	c asymm  cl-useful: 0/278/1346 lits-rem:0 time: 0.37
2847.29/713.86	c calculated reachability. Time: 0.00
2847.29/713.86	c  N dy  6594   1710998       763      1346     60969     79224    162293   4328717     12.33   no data
2883.97/723.08	c  N dy  6647   1732090       763      1346     60990     53493    162293   2183771     12.32     13.09
2912.69/730.30	c  N dy  6709   1752143       763      1346     60995     72786    162293   3498413     12.31     13.19
2951.78/740.01	c  N dy  6755   1772146       763      1346     61002     92043    162293   4793321     12.29     13.14
2988.13/749.18	c  N dy  6803   1792443       763      1346     61017     60174    162293   2588072     12.28     13.13
3020.80/757.35	c  N dy  6855   1812521       763      1346     61025     79459    162293   3812138     12.27     13.12
3064.67/768.30	c  N dy  6936   1832842       763      1346     61032     98996    162293   5137914     12.27     13.03
3104.97/778.44	c  N dy  6997   1852927       763      1346     61047     63820    162293   2692116     12.26     14.85
3140.87/787.46	c  N dy  7070   1873025       763      1346     61062     83172    162293   4027839     12.26     12.99
3185.94/798.78	c  N dy  7117   1893972       763      1346     61069    103272    162293   5428368     12.26     12.96
3228.24/809.33	c  N dy  7193   1914012       763      1346     61086     66045    162293   2824235     12.26     16.98
3265.73/818.70	c  N dy  7287   1934095       763      1346     61097     85323    162293   4081669     12.26     13.69
3316.40/831.43	c  N dy  7366   1955557       763      1346     61108    105948    162293   5413553     12.26     12.96
3332.34/835.46	c Finding binary XORs  T:     0.00 s  found:       0
3359.87/842.39	c  N dy  7449   1975654       762      1346     60852     65759    161780   2721490     12.27     27.26
3394.97/851.12	c  N dy  7496   1996072       762      1346     60861     85349    161780   3888254     12.25     13.02
3438.05/861.91	c  N dy  7552   2016095       762      1346     60873    104575    161780   5013258     12.24     12.99
3483.97/873.48	c  N dy  7614   2038111       762      1346     60891     67042    161780   2627794     12.23     12.90
3519.06/882.25	c  N dy  7671   2058547       762      1346     60904     86561    161780   3752057     12.22     12.89
3562.93/893.22	c  N dy  7740   2078554       761      1346     60914    105643    161780   4754863     12.22     24.24
3607.96/904.57	c  N dy  7810   2098753       761      1346     60936     65174    161780   2452030     12.22     12.96
3639.07/912.33	c  N dy  7875   2118886       760      1346     60952     84492    161780   3646255     12.21     12.91
3683.34/923.48	c  N dy  7982   2138909       760      1346     60963    103732    161780   5068530     12.23     14.41
3740.39/937.76	c  N dy  8084   2159568       760      1346     60977     62439    161780   2193115     12.24     13.04
3771.50/945.53	c  N dy  8145   2180482       760      1346     60989     82512    161780   3623271     12.24     13.48
3813.38/956.03	c  N dy  8232   2200527       760      1346     61007    101843    161780   4934703     12.24     12.93
3840.91/962.93	c  S st  8293   2210998       760      1346     61009    111919    161780   5648282     12.25      9.70
3842.51/963.31	c  S st  8293   2211502       760      1346     61009    112418    161780   5684550     12.25   no data
3842.51/963.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3848.88/964.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 39.1M T:  1.63
3848.88/964.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3848.88/964.96	c bin-w-bin subsume rem            4 bins  time:  0.01 s
3850.08/965.23	c subs with bin:        0  lits-rem:        20  v-fix:    0  time:  0.27 s
3850.08/965.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    760 time:  0.01 s
3850.08/965.25	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.00 s
3850.48/965.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
3859.26/967.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.10 s
3931.86/985.73	c lits-rem:      4934  cl-subs:     5467  v-elim:      0  v-fix:    0  time: 18.15 s
3931.86/985.74	c vivif2 --  cl tried     1346 cl shrink        0 lits rem          0 time: 0.00
3932.25/985.89	c vivif2 --  cl tried    97434 cl shrink     9142 lits rem      15343 time: 0.15
3933.85/986.26	c asymm  cl-useful: 0/430/1346 lits-rem:0 time: 0.37
3933.85/986.26	c calculated reachability. Time: 0.00
3933.85/986.26	c  N dy  8293   2211502       760      1346     60332     97429    160670   5398778     12.25   no data
3990.09/1000.35	c  N dy  8356   2231681       760      1346     60375     59307    160670   2337729     12.24     12.94
4020.81/1008.04	c  N dy  8406   2251746       760      1346     60394     78434    160670   3541790     12.23     12.92
4063.50/1018.72	c  N dy  8468   2271850       759      1346     60408     97663    160670   4696099     12.22     13.11
4112.16/1030.91	c  N dy  8504   2291961       759      1346     60431    116760    160670   5852619     12.21     12.89
4150.91/1040.67	c  N dy  8581   2311967       758      1346     60452     75298    160670   3257116     12.21     14.10
4192.35/1051.08	c  N dy  8673   2332536       757      1346     60457     95104    160670   4557163     12.22     12.90
4247.78/1064.93	c  N dy  8771   2352544       757      1346     60469    114426    160670   5897912     12.22     13.94
4296.46/1077.18	c  N dy  8875   2372598       757      1346     60478     70694    160670   2951756     12.23     15.63
4336.74/1087.22	c  N dy  8979   2392754       757      1346     60488     90219    160670   4330763     12.25     13.04
4387.02/1099.86	c  N dy  9050   2413619       757      1346     60506    110397    160670   5705574     12.25     13.09
4448.45/1115.20	c  N dy  9143   2433694       757      1346     60528    129720    160670   6956034     12.25     13.50
4484.74/1124.39	c  N dy  9234   2454916       757      1346     60553     85218    160670   3682449     12.26     12.94
4529.83/1135.66	c  N dy  9309   2475046       757      1346     60569    104572    160670   4818786     12.26     12.93
4584.09/1149.27	c  N dy  9412   2495063       756      1346     60582    123871    160670   6124028     12.27     16.31
4621.97/1158.71	c Finding binary XORs  T:     0.00 s  found:       0
4627.96/1160.23	c  N dy  9513   2515076       755      1346     59128     68840    158056   2968298     12.28     13.46
4668.28/1170.34	c  N dy  9627   2535129       755      1346     59137     88298    158056   4332042     12.30     12.96
4722.90/1184.01	c  N dy  9743   2556068       755      1346     59144    108571    158056   5759482     12.32     13.08
4782.78/1199.04	c  N dy  9860   2576501       755      1346     59156     65028    158056   2513868     12.34     13.08

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3366928-1305415115/watcher-3366928-1305415115 -o /tmp/evaluation-result-3366928-1305415115/solver-3366928-1305415115 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366928-1305415115.cnf 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 7.90 6.38 6.70 5/361 16220
/proc/meminfo: memFree=24915588/32950928 swapFree=38710892/67111528
[pid=16220] ppid=16218 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 410 0 0 0 0 0 0 0 25 0 4 0 731742193 52396032 351 33554432000 4194304 4580107 140737143105232 18446744073709551615 47882589714433 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16220/statm: 12792 351 302 95 0 7774 0
[pid=16220/tid=16221] ppid=16218 vsize=282380 CPUtime=0 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 398 0 0 0 0 0 0 0 25 0 4 0 731742193 289157120 1771 33554432000 4194304 4580107 140737143105232 18446744073709551615 251367590071 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=282380 CPUtime=0 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 391 0 0 0 0 0 0 0 25 0 4 0 731742193 289157120 1775 33554432000 4194304 4580107 140737143105232 18446744073709551615 4512294 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=282380 CPUtime=0 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 376 0 0 0 0 0 0 0 18 0 4 0 731742193 289157120 1776 33554432000 4194304 4580107 140737143105232 18446744073709551615 4512104 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.061373 s]
/proc/loadavg: 7.90 6.38 6.70 5/361 16220
/proc/meminfo: memFree=24915588/32950928 swapFree=38710892/67111528
[pid=16220] ppid=16218 vsize=283816 CPUtime=0.2 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 4075 0 0 0 20 0 0 0 25 0 4 0 731742193 290627584 3990 33554432000 4194304 4580107 140737143105232 18446744073709551615 251367590071 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16220/statm: 70954 3990 372 95 0 65936 0
[pid=16220/tid=16221] ppid=16218 vsize=283816 CPUtime=0.05 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 987 0 0 0 5 0 0 0 25 0 4 0 731742193 290627584 3990 33554432000 4194304 4580107 140737143105232 18446744073709551615 4491541 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=283816 CPUtime=0.05 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) D 16218 16220 15445 0 -1 4202560 1022 0 0 0 5 0 0 0 25 0 4 0 731742193 290627584 3990 33554432000 4194304 4580107 140737143105232 18446744073709551615 4415488 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=283816 CPUtime=0.04 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 881 0 0 0 4 0 0 0 18 0 4 0 731742193 290627584 3990 33554432000 4194304 4580107 140737143105232 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 283816

[startup+0.102409 s]
/proc/loadavg: 7.90 6.38 6.70 5/361 16220
/proc/meminfo: memFree=24915588/32950928 swapFree=38710892/67111528
[pid=16220] ppid=16218 vsize=283816 CPUtime=0.37 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 5064 0 0 0 36 1 0 0 25 0 4 0 731742193 290627584 4978 33554432000 4194304 4580107 140737143105232 18446744073709551615 251367651822 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16220/statm: 70954 4978 376 95 0 65936 0
[pid=16220/tid=16221] ppid=16218 vsize=283816 CPUtime=0.09 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 1394 0 0 0 9 0 0 0 25 0 4 0 731742193 290627584 4978 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=283816 CPUtime=0.09 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 1197 0 0 0 9 0 0 0 25 0 4 0 731742193 290627584 4978 33554432000 4194304 4580107 140737143105232 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=283816 CPUtime=0.09 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 948 0 0 0 9 0 0 0 18 0 4 0 731742193 290627584 4978 33554432000 4194304 4580107 140737143105232 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 283816

[startup+0.300221 s]
/proc/loadavg: 7.90 6.38 6.70 5/361 16220
/proc/meminfo: memFree=24915588/32950928 swapFree=38710892/67111528
[pid=16220] ppid=16218 vsize=284232 CPUtime=1.16 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 6160 0 0 0 115 1 0 0 25 0 4 0 731742193 291053568 6074 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16220/statm: 71058 6074 376 95 0 66040 0
[pid=16220/tid=16221] ppid=16218 vsize=284232 CPUtime=0.29 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 1674 0 0 0 29 0 0 0 25 0 4 0 731742193 291053568 6074 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=284232 CPUtime=0.29 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 1474 0 0 0 29 0 0 0 25 0 4 0 731742193 291053568 6074 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=284232 CPUtime=0.28 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 1231 0 0 0 28 0 0 0 18 0 4 0 731742193 291053568 6074 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 284232

[startup+0.701147 s]
/proc/loadavg: 7.90 6.38 6.70 5/361 16220
/proc/meminfo: memFree=24915588/32950928 swapFree=38710892/67111528
[pid=16220] ppid=16218 vsize=289052 CPUtime=2.76 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 9049 0 0 0 274 2 0 0 25 0 4 0 731742193 295989248 6789 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16220/statm: 72263 6789 376 95 0 67245 0
[pid=16220/tid=16221] ppid=16218 vsize=289052 CPUtime=0.68 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 2318 0 0 0 68 0 0 0 25 0 4 0 731742193 295989248 6789 33554432000 4194304 4580107 140737143105232 18446744073709551615 4295702 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=289052 CPUtime=0.69 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 2293 0 0 0 69 0 0 0 25 0 4 0 731742193 295989248 6791 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=289052 CPUtime=0.68 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 1879 0 0 0 68 0 0 0 18 0 4 0 731742193 295989248 6791 33554432000 4194304 4580107 140737143105232 18446744073709551615 4341610 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 289052

[startup+1.501 s]
/proc/loadavg: 7.90 6.38 6.70 9/365 16224
/proc/meminfo: memFree=24883192/32950928 swapFree=38710892/67111528
[pid=16220] ppid=16218 vsize=291040 CPUtime=5.94 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 13020 0 0 0 592 2 0 0 25 0 4 0 731742193 298024960 8151 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16220/statm: 72760 8151 376 95 0 67742 0
[pid=16220/tid=16221] ppid=16218 vsize=291040 CPUtime=1.48 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 3308 0 0 0 148 0 0 0 25 0 4 0 731742193 298024960 8151 33554432000 4194304 4580107 140737143105232 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=291040 CPUtime=1.48 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 3371 0 0 0 148 0 0 0 25 0 4 0 731742193 298024960 8151 33554432000 4194304 4580107 140737143105232 18446744073709551615 4292966 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=291040 CPUtime=1.48 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 3128 0 0 0 148 0 0 0 19 0 4 0 731742193 298024960 8151 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 291040

[startup+3.1007 s]
/proc/loadavg: 7.90 6.38 6.70 9/365 16224
/proc/meminfo: memFree=24875504/32950928 swapFree=38710892/67111528
[pid=16220] ppid=16218 vsize=292860 CPUtime=12.33 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 20323 0 0 0 1230 3 0 0 25 0 4 0 731742193 299888640 10051 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16220/statm: 73215 10051 377 95 0 68197 0
[pid=16220/tid=16221] ppid=16218 vsize=292860 CPUtime=3.08 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 5178 0 0 0 308 0 0 0 25 0 4 0 731742193 299888640 10051 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=292860 CPUtime=3.08 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 4860 0 0 0 308 0 0 0 25 0 4 0 731742193 299888640 10051 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=292860 CPUtime=3.09 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 5015 0 0 0 308 1 0 0 25 0 4 0 731742193 299888640 10051 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 292860

[startup+6.30112 s]
/proc/loadavg: 7.90 6.41 6.71 9/365 16224
/proc/meminfo: memFree=24838932/32950928 swapFree=38710892/67111528
[pid=16220] ppid=16218 vsize=303400 CPUtime=25.1 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 34293 0 0 0 2504 6 0 0 25 0 4 0 731742193 310681600 20547 33554432000 4194304 4580107 140737143105232 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16220/statm: 75850 20547 378 95 0 70832 0
[pid=16220/tid=16221] ppid=16218 vsize=303400 CPUtime=6.28 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 8938 0 0 0 627 1 0 0 25 0 4 0 731742193 310681600 20547 33554432000 4194304 4580107 140737143105232 18446744073709551615 4416036 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=303400 CPUtime=6.29 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 7363 0 0 0 628 1 0 0 25 0 4 0 731742193 310681600 20547 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=303400 CPUtime=6.28 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 7753 0 0 0 627 1 0 0 25 0 4 0 731742193 310681600 20547 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 303400

[startup+12.7009 s]
/proc/loadavg: 7.91 6.43 6.72 9/365 16224
/proc/meminfo: memFree=24780956/32950928 swapFree=38710892/67111528
[pid=16220] ppid=16218 vsize=326388 CPUtime=50.63 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 50074 0 0 0 5054 9 0 0 25 0 4 0 731742193 334221312 30289 33554432000 4194304 4580107 140737143105232 18446744073709551615 4417020 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16220/statm: 81597 30289 378 95 0 76579 0
[pid=16220/tid=16221] ppid=16218 vsize=326388 CPUtime=12.69 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 12521 0 0 0 1267 2 0 0 25 0 4 0 731742193 334221312 30289 33554432000 4194304 4580107 140737143105232 18446744073709551615 4413640 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=326388 CPUtime=12.69 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 14253 0 0 0 1267 2 0 0 25 0 4 0 731742193 334221312 30289 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=326388 CPUtime=12.68 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 10631 0 0 0 1266 2 0 0 25 0 4 0 731742193 334221312 30289 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 326388

[startup+25.5006 s]
/proc/loadavg: 7.93 6.51 6.74 9/365 16224
/proc/meminfo: memFree=24723052/32950928 swapFree=38710892/67111528
[pid=16220] ppid=16218 vsize=449024 CPUtime=101.68 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 81713 0 0 0 10154 14 0 0 25 0 4 0 731742193 459800576 50675 33554432000 4194304 4580107 140737143105232 18446744073709551615 4331950 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16220/statm: 112256 50675 378 95 0 107238 0
[pid=16220/tid=16221] ppid=16218 vsize=449024 CPUtime=25.48 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 20922 0 0 0 2545 3 0 0 25 0 4 0 731742193 459800576 50675 33554432000 4194304 4580107 140737143105232 18446744073709551615 4296088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=449024 CPUtime=25.49 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 20480 0 0 0 2546 3 0 0 25 0 4 0 731742193 459800576 50675 33554432000 4194304 4580107 140737143105232 18446744073709551615 4416457 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=449024 CPUtime=25.48 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 21714 0 0 0 2545 3 0 0 25 0 4 0 731742193 459800576 50675 33554432000 4194304 4580107 140737143105232 18446744073709551615 4416036 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 449024

[startup+51.1008 s]
/proc/loadavg: 8.02 6.64 6.78 9/365 16225
/proc/meminfo: memFree=24638680/32950928 swapFree=38710892/67111528
[pid=16220] ppid=16218 vsize=450640 CPUtime=203.81 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 117581 0 0 0 20360 21 0 0 25 0 4 0 731742193 461455360 59761 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16220/statm: 112660 59761 378 95 0 107642 0
[pid=16220/tid=16221] ppid=16218 vsize=450640 CPUtime=51.08 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 27323 0 0 0 5104 4 0 0 25 0 4 0 731742193 461455360 59761 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=450640 CPUtime=51.09 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 31011 0 0 0 5104 5 0 0 25 0 4 0 731742193 461455360 59762 33554432000 4194304 4580107 140737143105232 18446744073709551615 4412948 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=450640 CPUtime=51.09 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 29390 0 0 0 5104 5 0 0 25 0 4 0 731742193 461455360 59762 33554432000 4194304 4580107 140737143105232 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 450640

[startup+102.313 s]
/proc/loadavg: 8.08 6.87 6.84 9/365 16226
/proc/meminfo: memFree=24600300/32950928 swapFree=38710892/67111528
[pid=16220] ppid=16218 vsize=510184 CPUtime=408.09 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 176580 0 0 0 40776 33 0 0 25 0 4 0 731742193 522428416 63917 33554432000 4194304 4580107 140737143105232 18446744073709551615 4317025 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16220/statm: 127546 63917 378 95 0 122528 0
[pid=16220/tid=16221] ppid=16218 vsize=510184 CPUtime=101.78 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 39854 0 0 0 10172 6 0 0 25 0 4 0 731742193 522428416 63917 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=510184 CPUtime=102.3 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 43033 0 0 0 10222 8 0 0 25 0 4 0 731742193 522428416 63917 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=510184 CPUtime=102.29 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 45482 0 0 0 10221 8 0 0 25 0 4 0 731742193 522428416 63917 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.09
Current children cumulated vsize (KiB) 510184

[startup+162.3 s]

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

[pid=16220] ppid=16218 vsize=997708 CPUtime=2562.11 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 670583 0 0 0 256048 163 0 0 25 0 4 0 731742193 1021652992 158589 33554432000 4194304 4580107 140737143105232 18446744073709551615 4319773 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16220/statm: 249427 158589 378 95 0 244409 0
[pid=16220/tid=16221] ppid=16218 vsize=997708 CPUtime=635.79 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 151699 0 0 0 63544 35 0 0 25 0 4 0 731742193 1021652992 158591 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=997708 CPUtime=642.31 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 147454 0 0 0 64197 34 0 0 25 0 4 0 731742193 1021652992 158591 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=997708 CPUtime=642.31 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 188127 0 0 0 64183 48 0 0 25 0 4 0 731742193 1021652992 158591 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2562.11
Current children cumulated vsize (KiB) 997708

[startup+702.301 s]
/proc/loadavg: 8.05 7.92 7.43 9/365 16242
/proc/meminfo: memFree=23997192/32950928 swapFree=38710892/67111528
[pid=16220] ppid=16218 vsize=993672 CPUtime=2801.4 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 700042 0 0 0 279967 173 0 0 25 0 4 0 731742193 1017520128 159216 33554432000 4194304 4580107 140737143105232 18446744073709551615 4451895 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16220/statm: 248418 159216 379 95 0 243400 0
[pid=16220/tid=16221] ppid=16218 vsize=993672 CPUtime=695.09 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 161555 0 0 0 69471 38 0 0 25 0 4 0 731742193 1017520128 159216 33554432000 4194304 4580107 140737143105232 18446744073709551615 4451883 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=993672 CPUtime=702.3 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 154850 0 0 0 70193 37 0 0 25 0 4 0 731742193 1017520128 159216 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=993672 CPUtime=702.3 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 195763 0 0 0 70180 50 0 0 25 0 4 0 731742193 1017520128 159216 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2801.4
Current children cumulated vsize (KiB) 993672

[startup+762.313 s]
/proc/loadavg: 8.16 7.98 7.47 9/365 16244
/proc/meminfo: memFree=23907400/32950928 swapFree=38710892/67111528
[pid=16220] ppid=16218 vsize=1063396 CPUtime=3040.79 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 740574 0 0 0 303896 183 0 0 25 0 4 0 731742193 1088917504 169191 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16220/statm: 265849 169191 378 95 0 260831 0
[pid=16220/tid=16221] ppid=16218 vsize=1063396 CPUtime=754.44 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 171620 0 0 0 75404 40 0 0 25 0 4 0 731742193 1088917504 169191 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=1063396 CPUtime=762.32 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 165472 0 0 0 76193 39 0 0 25 0 4 0 731742193 1088917504 169191 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=1063396 CPUtime=762.32 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 204370 0 0 0 76179 53 0 0 25 0 4 0 731742193 1088917504 169191 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3040.79
Current children cumulated vsize (KiB) 1063396

[startup+822.3 s]
/proc/loadavg: 8.24 8.03 7.52 9/365 16245
/proc/meminfo: memFree=23874388/32950928 swapFree=38710892/67111528
[pid=16220] ppid=16218 vsize=1033020 CPUtime=3280.09 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 782760 0 0 0 327814 195 0 0 25 0 4 0 731742193 1057812480 171825 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294570 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16220/statm: 258255 171825 378 95 0 253237 0
[pid=16220/tid=16221] ppid=16218 vsize=1033020 CPUtime=813.78 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 184179 0 0 0 81333 45 0 0 25 0 4 0 731742193 1057812480 171825 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=1033020 CPUtime=822.31 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 169935 0 0 0 82190 41 0 0 25 0 4 0 731742193 1057812480 171825 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=1033020 CPUtime=822.3 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 217105 0 0 0 82174 56 0 0 25 0 4 0 731742193 1057812480 171825 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3280.09
Current children cumulated vsize (KiB) 1033020

[startup+882.3 s]
/proc/loadavg: 8.23 8.06 7.56 9/365 16247
/proc/meminfo: memFree=23874604/32950928 swapFree=38710892/67111528
[pid=16220] ppid=16218 vsize=974572 CPUtime=3519.41 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 816365 0 0 0 351737 204 0 0 25 0 4 0 731742193 997961728 165592 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16220/statm: 243643 165592 378 95 0 238625 0
[pid=16220/tid=16221] ppid=16218 vsize=974572 CPUtime=873.1 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 196040 0 0 0 87262 48 0 0 25 0 4 0 731742193 997961728 165592 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=974572 CPUtime=882.3 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 177159 0 0 0 88188 42 0 0 25 0 4 0 731742193 997961728 165592 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=974572 CPUtime=882.31 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 219992 0 0 0 88173 58 0 0 25 0 4 0 731742193 997961728 165592 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3519.41
Current children cumulated vsize (KiB) 974572

[startup+942.301 s]
/proc/loadavg: 8.21 8.08 7.59 9/365 16248
/proc/meminfo: memFree=23810352/32950928 swapFree=38710892/67111528
[pid=16220] ppid=16218 vsize=1041352 CPUtime=3758.73 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 850547 0 0 0 375659 214 0 0 25 0 4 0 731742193 1066344448 174164 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16220/statm: 260338 174164 378 95 0 255320 0
[pid=16220/tid=16221] ppid=16218 vsize=1041352 CPUtime=932.42 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 203193 0 0 0 93191 51 0 0 25 0 4 0 731742193 1066344448 174164 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=1041352 CPUtime=942.31 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 180576 0 0 0 94187 44 0 0 25 0 4 0 731742193 1066344448 174164 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=1041352 CPUtime=942.31 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 231709 0 0 0 94170 61 0 0 25 0 4 0 731742193 1066344448 174164 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3758.73
Current children cumulated vsize (KiB) 1041352

[startup+1002.3 s]
/proc/loadavg: 8.13 8.07 7.62 9/365 16250
/proc/meminfo: memFree=23754032/32950928 swapFree=38710892/67111528
[pid=16220] ppid=16218 vsize=921644 CPUtime=3998.07 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 875166 0 0 0 399584 223 0 0 25 0 4 0 731742193 943763456 166581 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16220/statm: 230411 166581 378 95 0 225393 0
[pid=16220/tid=16221] ppid=16218 vsize=921644 CPUtime=991.74 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 206387 0 0 0 99122 52 0 0 25 0 4 0 731742193 943763456 166581 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=921644 CPUtime=1002.32 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 183599 0 0 0 100187 45 0 0 25 0 4 0 731742193 943763456 166581 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=921644 CPUtime=1002.31 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 243166 0 0 0 100167 64 0 0 25 0 4 0 731742193 943763456 166581 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3998.07
Current children cumulated vsize (KiB) 921644

[startup+1062.3 s]
/proc/loadavg: 7.95 8.02 7.63 9/365 16283
/proc/meminfo: memFree=24472356/32950928 swapFree=38710892/67111528
[pid=16220] ppid=16218 vsize=1083372 CPUtime=4237.42 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 906586 0 0 0 423507 235 0 0 25 0 4 0 731742193 1109372928 166004 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16220/statm: 270843 166004 378 95 0 265825 0
[pid=16220/tid=16221] ppid=16218 vsize=1083372 CPUtime=1051.1 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 213913 0 0 0 105055 55 0 0 25 0 4 0 731742193 1109372928 166004 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=1083372 CPUtime=1062.31 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 190584 0 0 0 106183 48 0 0 25 0 4 0 731742193 1109372928 166004 33554432000 4194304 4580107 140737143105232 18446744073709551615 4416036 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=1083372 CPUtime=1062.31 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 252665 0 0 0 106163 68 0 0 25 0 4 0 731742193 1109372928 166004 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4237.42
Current children cumulated vsize (KiB) 1083372

[startup+1122.3 s]
/proc/loadavg: 8.03 8.03 7.65 9/365 16284
/proc/meminfo: memFree=24408584/32950928 swapFree=38710892/67111528
[pid=16220] ppid=16218 vsize=1010404 CPUtime=4476.77 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 951184 0 0 0 447429 248 0 0 25 0 4 0 731742193 1034653696 176490 33554432000 4194304 4580107 140737143105232 18446744073709551615 4293232 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16220/statm: 252601 176490 378 95 0 247583 0
[pid=16220/tid=16221] ppid=16218 vsize=1010404 CPUtime=1110.44 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 225480 0 0 0 110986 58 0 0 25 0 4 0 731742193 1034653696 176490 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=1010404 CPUtime=1122.32 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 199452 0 0 0 112181 51 0 0 25 0 4 0 731742193 1034653696 176490 33554432000 4194304 4580107 140737143105232 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=1010404 CPUtime=1122.31 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 264953 0 0 0 112160 71 0 0 25 0 4 0 731742193 1034653696 176490 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4476.77
Current children cumulated vsize (KiB) 1010404

[startup+1182.3 s]
/proc/loadavg: 8.11 8.05 7.68 9/365 16286
/proc/meminfo: memFree=24379664/32950928 swapFree=38710892/67111528
[pid=16220] ppid=16218 vsize=1150672 CPUtime=4716.12 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 971347 0 0 0 471357 255 0 0 25 0 4 0 731742193 1178288128 177354 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16220/statm: 287668 177354 378 95 0 282650 0
[pid=16220/tid=16221] ppid=16218 vsize=1150672 CPUtime=1169.79 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 229699 0 0 0 116920 59 0 0 25 0 4 0 731742193 1178288128 177354 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=1150672 CPUtime=1182.32 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 201771 0 0 0 118180 52 0 0 25 0 4 0 731742193 1178288128 177354 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=1150672 CPUtime=1182.32 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 269282 0 0 0 118158 74 0 0 25 0 4 0 731742193 1178288128 177354 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4716.12
Current children cumulated vsize (KiB) 1150672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.41 s]
/proc/loadavg: 8.15 8.06 7.69 9/365 16287
/proc/meminfo: memFree=24375688/32950928 swapFree=38710892/67111528
[pid=16220] ppid=16218 vsize=994352 CPUtime=4800.35 cores=0,2,4,6
/proc/16220/stat : 16220 (strangenight2-m) R 16218 16220 15445 0 -1 4202496 983426 0 0 0 479776 259 0 0 25 0 4 0 731742193 1018216448 177012 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16220/statm: 248588 177012 378 95 0 243570 0
[pid=16220/tid=16221] ppid=16218 vsize=994352 CPUtime=1190.66 cores=0,2,4,6
/proc/16220/task/16221/stat : 16221 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 234595 0 0 0 119006 60 0 0 25 0 4 0 731742193 1018216448 177013 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16220/tid=16222] ppid=16218 vsize=994352 CPUtime=1203.44 cores=0,2,4,6
/proc/16220/task/16222/stat : 16222 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 203478 0 0 0 120291 53 0 0 25 0 4 0 731742193 1018216448 177013 33554432000 4194304 4580107 140737143105232 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16220/tid=16223] ppid=16218 vsize=994352 CPUtime=1203.44 cores=0,2,4,6
/proc/16220/task/16223/stat : 16223 (strangenight2-m) R 16218 16220 15445 0 -1 4202560 269903 0 0 0 120270 74 0 0 25 0 4 0 731742193 1018216448 177013 33554432000 4194304 4580107 140737143105232 18446744073709551615 4416727 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 994352

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.46
CPU time (s): 4800.43
CPU user time (s): 4797.81
CPU system time (s): 2.6266
CPU usage (%): 398.886
Max. virtual memory (cumulated for all children) (KiB): 1274428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.81
system time used= 2.6266
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 983429
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= 1534
involuntary context switches= 21532

runsolver used 3.9464 second user time and 9.45656 second system time

The end

Launcher Data 

Begin job on node113 at 2011-05-15 01:18:35
IDJOB=3366928
IDBENCH=83896
IDSOLVER=1844
FILE ID=node113/3366928-1305415115
RUNJOBID= node113-1305414923-16161
PBS_JOBID= 13324530
Free space on /tmp= 73436 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366928-1305415115/watcher-3366928-1305415115 -o /tmp/evaluation-result-3366928-1305415115/solver-3366928-1305415115 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366928-1305415115.cnf

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

MD5SUM BENCH= b5a637600c242725f15a247a84bdea1b
RANDOM SEED=280990297

node113.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.846
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.846
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	: 5332.76
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.846
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.74
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.846
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.75
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.846
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.74
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.846
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.75
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.846
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.83
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.846
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24915868 kB
Buffers:        259192 kB
Cached:        2813740 kB
SwapCached:      93712 kB
Active:        1071784 kB
Inactive:      6702348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24915868 kB
SwapTotal:    67111528 kB
SwapFree:     38710892 kB
Dirty:            6244 kB
Writeback:           0 kB
AnonPages:     4618796 kB
Mapped:          14284 kB
Slab:           105300 kB
PageTables:      92132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 87452744 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= 73432 MiB
End job on node113 at 2011-05-15 01:38:41