Trace number 3368890

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-1-mt (fixed)? (TO) 4800.23 1202.23

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf
MD5SUM7cd6933caf30eeec07acd345d22c5bcd
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.157975
Satisfiable
(Un)Satisfiability was proved
Number of variables70
Number of clauses6230
Sum of the clauses size43610
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 56230

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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3368890-1305405511.cnf'
0.00/0.00	c -- header says num vars:             70
0.00/0.00	c -- header says num clauses:        6230
0.00/0.01	c -- clauses added:            0 learnts,         6230 normals,            0 xors
0.00/0.01	c -- vars added         70
0.00/0.10	c Parsing time:  0.01 s
0.00/0.10	c  N st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.41/0.15	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.55
0.41/0.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
4.01/1.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.01/1.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.01/1.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
4.01/1.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.01/1.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
4.01/1.01	c Finding binary XORs  T:     0.00 s  found:       0
4.01/1.01	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
4.01/1.01	c calculated reachability. Time: 0.00
4.01/1.01	c Calc default polars -  time:   0.00 s pos:      36 undec:       1 neg:      33
4.01/1.01	c =========================================================================================
4.01/1.01	c types(t): F = full restart, N = normal restart
4.01/1.01	c types(t): S = simplification begin/end, E = solution found
4.01/1.01	c restart types(rt): st = static, dy = dynamic
4.01/1.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.01/1.01	c  B st     0         0        70      6230         0         0     43610         0   no data   no data  --
4.01/1.01	c  N dy    12      4161        70      6230         0      3769     43610     93858     21.66     22.80  --
4.01/1.01	c  N dy    21     10316        70      6230         0      7094     43610    165070     20.78     21.96  --
4.01/1.01	c  N dy    27     14802        70      6230         0      7302     43610    159336     20.59     21.73  --
4.01/1.01	c  N dy    35     22021        70      6230         0      8714     43610    178628     20.29     21.39  --
4.81/1.21	c  F st    47     25000        70      6230         0     11426     43610    244414     20.38     21.28  --
4.81/1.21	c  N st    50     26190        70      6230         0      6345     43610    112757     20.38   no data  --
5.61/1.41	c  S st    53     30002        70      6230         0      9779     43610    194613     20.38   no data  --
5.61/1.41	c  S st    53     30506        70      6230         0     10246     43610    206174     20.38   no data  --
5.61/1.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.61/1.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.61/1.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.61/1.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.61/1.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.61/1.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
5.61/1.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.17/2.37	c lits-rem:      1442  cl-subs:      918  v-elim:      0  v-fix:    0  time:  3.88 s
10.37/2.68	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.25
10.37/2.68	c calculated reachability. Time: 0.00
10.37/2.68	c  N dy    53     30506        70      6230         0      9328     43610    182411     20.38   no data  --
11.17/2.89	c  N dy    67     34522        70      6230         0     12953     43610    269910     20.44     21.82  --
11.98/3.10	c  N dy    92     38529        70      6230         0      9488     43610    176264     20.60     22.85  --
13.16/3.33	c  N dy   119     42625        70      6230         0     13242     43610    269104     20.75     21.95  --
13.95/3.52	c  S st   132     45760        70      6230         0     16089     43610    338299     20.80     21.44  --
13.95/3.57	c  S st   132     46266        70      6230         0      8443     43610    137164     20.80   no data  --
13.95/3.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.95/3.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.95/3.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.95/3.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.95/3.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.95/3.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
13.95/3.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.15/4.34	c lits-rem:       108  cl-subs:       43  v-elim:      0  v-fix:    0  time:  3.07 s
17.15/4.34	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
17.15/4.34	c vivif2 --  cl tried     8400 cl shrink        0 lits rem          0 time: 0.00
18.35/4.60	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.01
18.35/4.60	c calculated reachability. Time: 0.00
18.35/4.60	c  N dy   132     46266        70      6230         0      8400     43610    135825     20.80   no data  --
22.34/5.67	c  N dy   138     66040        70      6230         0     17138     43610    332034     20.28     21.69  --
23.54/5.93	c  S st   161     69400        70      6230         0     10300     43610    160739     20.36     22.28  --
23.54/5.97	c  S st   161     69903        70      6230         0     10774     43610    172324     20.36   no data  --
23.54/5.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.54/5.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.54/5.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
23.54/5.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.54/5.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.54/5.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
23.54/5.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.13/6.86	c lits-rem:       361  cl-subs:      127  v-elim:      0  v-fix:    0  time:  3.52 s
27.13/6.86	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
27.13/6.86	c vivif2 --  cl tried    10647 cl shrink        0 lits rem          0 time: 0.00
28.34/7.18	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.24
28.34/7.18	c calculated reachability. Time: 0.00
28.34/7.18	c  N dy   161     69903        70      6230         0     10647     43610    168490     20.36   no data  --
29.56/7.47	c  N dy   198     74606        70      6230         0     14964     43610    274814     20.48     21.60  --
31.13/7.89	c  N dy   211     80697        70      6230         0     20471     43610    407180     20.48     21.65  --
33.13/8.36	c  F st   234     87501        70      6230         0     15753     43610    278017     20.49     19.31  --
33.13/8.36	c  N st   234     87501        70      6230         0     15753     43610    278017     20.49     19.31  --
34.72/8.80	c  N dy   241     93582        70      6230         0     21233     43610    412535     20.49     21.57  --
36.72/9.24	c  N dy   270     99630        70      6230         0     14970     43610    247723     20.53     23.05  --
38.34/9.61	c  S st   279    104856        70      6230         0     19686     43610    360290     20.52     19.66  --
38.34/9.66	c  S st   279    105361        70      6230         0     20153     43610    371786     20.52   no data  --
38.34/9.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.34/9.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.34/9.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
38.34/9.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.34/9.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.34/9.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
38.34/9.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.70/11.23	c lits-rem:      1729  cl-subs:     1886  v-elim:      0  v-fix:    0  time:  6.19 s
44.70/11.23	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
44.70/11.24	c vivif2 --  cl tried    18267 cl shrink        0 lits rem          0 time: 0.01
46.30/11.61	c asymm  cl-useful: 0/5012/6230 lits-rem:0 time: 1.49
46.30/11.61	c calculated reachability. Time: 0.00
46.30/11.61	c  N dy   279    105361        70      6230         0     18267     43610    324268     20.52   no data  --
48.29/12.14	c  N dy   297    112101        70      6230         0     24363     43610    470021     20.52     21.62  --
50.30/12.65	c  N dy   317    119295        70      6230         0     18309     43610    314556     20.51     22.68  --
53.09/13.30	c  N dy   359    126992        70      6230         0     25288     43610    484214     20.57     21.65  --
55.49/13.97	c  N dy   381    136173        70      6230         0     20053     43610    344942     20.56     21.67  --
59.48/14.96	c  N dy   404    148784        70      6230         0     16968     43610    257170     20.50     21.64  --
62.68/15.71	c  S st   459    158042        70      6230         0     25434     43610    464024     20.55   no data  --
62.68/15.78	c  S st   459    158549        70      6230         0     25900     43610    475724     20.55   no data  --
62.68/15.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
62.68/15.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
62.68/15.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
63.08/15.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
63.08/15.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
63.08/15.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
63.08/15.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
71.46/17.97	c lits-rem:      2159  cl-subs:     2240  v-elim:      0  v-fix:    0  time:  8.62 s
71.46/17.97	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
71.46/17.97	c vivif2 --  cl tried    23660 cl shrink        0 lits rem          0 time: 0.02
72.26/18.13	c asymm  cl-useful: 0/1218/6230 lits-rem:0 time: 0.63
72.26/18.13	c calculated reachability. Time: 0.00
72.26/18.13	c  N dy   459    158549        70      6230         0     23660     43610    417636     20.55   no data  --
75.85/19.06	c  N dy   498    168744        70      6230         0     17573     43610    259240     20.57     23.07  --
79.44/19.98	c  N dy   523    179881        70      6230         0     27554     43610    497463     20.56     21.75  --
83.83/21.02	c  N dy   572    191463        70      6230         0     21894     43610    353567     20.58     21.72  --
88.22/22.17	c  N dy   596    203687        70      6230         0     32948     43610    616817     20.55     23.96  --
100.23/25.19	c  N dy   645    237823        70      6230         0     28378     43610    472819     20.39     19.02  --
100.23/25.19	c  S st   645    237823        70      6230         0     28378     43610    472819     20.39     19.02  --
100.60/25.26	c  S st   645    238323        70      6230         0     28851     43610    484510     20.39   no data  --
100.60/25.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
100.60/25.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
100.60/25.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
100.60/25.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
100.60/25.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
100.60/25.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
100.60/25.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
110.99/27.80	c lits-rem:      1724  cl-subs:     3094  v-elim:      0  v-fix:    0  time: 10.04 s
110.99/27.80	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
110.99/27.80	c vivif2 --  cl tried    25757 cl shrink        0 lits rem          0 time: 0.02
112.18/28.19	c asymm  cl-useful: 0/3899/6230 lits-rem:0 time: 1.57
112.58/28.20	c calculated reachability. Time: 0.00
112.58/28.20	c  N dy   645    238323        70      6230         0     25757     43610    417169     20.39   no data  --
119.37/29.99	c  N dy   710    254833        70      6230         0     21959     43610    314778     20.41     21.50  --
126.95/31.80	c  N dy   810    271103        70      6230         0     36719     43610    674422     20.48     24.59  --
135.36/33.91	c  N dy   892    291895        70      6230         0     35664     43610    629420     20.50     21.64  --
141.73/35.54	c  F st   963    306250        70      6230         0     27912     43610    432344     20.54     20.75  --
143.74/36.02	c  N dy   969    311446        70      6230         0     32579     43610    547754     20.54   no data  --
152.11/38.16	c  N dy   980    331900        70      6230         0     29311     43610    446251     20.43     21.54  --
161.72/40.55	c  N dy  1008    353925        70      6230         0     26624     43610    379161     20.37     21.53  --
163.29/40.95	c  S st  1038    357484        70      6230         0     29859     43610    458230     20.39     20.67  --
163.69/41.03	c  S st  1038    357984        70      6230         0     30323     43610    469994     20.39   no data  --
163.69/41.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
163.69/41.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
163.69/41.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
163.69/41.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
163.69/41.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
163.69/41.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
163.69/41.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
172.47/43.28	c lits-rem:      1280  cl-subs:     1652  v-elim:      0  v-fix:    0  time:  8.88 s
172.47/43.28	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
172.47/43.28	c vivif2 --  cl tried    28671 cl shrink        0 lits rem          0 time: 0.02
174.07/43.60	c asymm  cl-useful: 0/2331/6230 lits-rem:0 time: 1.26
174.07/43.60	c calculated reachability. Time: 0.00
174.07/43.60	c  N dy  1038    357984        70      6230         0     28671     43610    428788     20.39   no data  --
184.84/46.38	c  N dy  1085    378112        70      6230         0     23503     43610    288862     20.36     21.74  --
195.63/49.04	c  N dy  1181    398147        70      6230         0     41611     43610    727848     20.40     23.57  --
207.21/51.90	c  N dy  1305    418206        70      6230         0     35438     43610    564802     20.45     24.58  --
218.41/54.78	c  N dy  1381    439097        70      6230         0     29020     43610    390404     20.46     21.58  --
229.57/57.52	c  N dy  1482    459655        70      6230         0     47664     43610    844862     20.50     21.61  --
239.96/60.11	c  N dy  1543    480707        70      6230         0     40408     43610    650351     20.48     21.61  --
252.73/63.39	c  N dy  1679    500798        70      6230         0     31543     43610    430324     20.54     22.08  --
264.30/66.22	c  N dy  1765    521723        70      6230         0     50447     43610    885807     20.55     21.63  --
273.09/68.47	c  S st  1837    536978        70      6230         0     36252     43610    529782     20.57     20.63  --
273.49/68.56	c  S st  1837    537481        70      6230         0     36723     43610    541310     20.57   no data  --
273.49/68.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
273.49/68.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
273.49/68.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
273.49/68.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
273.49/68.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
273.49/68.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
273.49/68.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
283.47/71.01	c lits-rem:      1274  cl-subs:     1749  v-elim:      0  v-fix:    0  time:  9.67 s
283.47/71.01	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
283.47/71.02	c vivif2 --  cl tried    34974 cl shrink        0 lits rem          0 time: 0.02
284.28/71.22	c asymm  cl-useful: 0/1507/6230 lits-rem:0 time: 0.79
284.28/71.22	c calculated reachability. Time: 0.00
284.28/71.22	c  N dy  1837    537481        70      6230         0     34974     43610    496092     20.57   no data  --
299.04/74.91	c  N dy  1929    562108        70      6230         0     57256     43610   1036283     20.58     21.67  --
309.42/77.51	c  N dy  1984    582610        70      6230         0     46846     43610    770032     20.58     21.83  --
322.20/80.79	c  N dy  2057    602703        70      6230         0     35167     43610    474246     20.58     22.66  --
334.58/83.84	c  N dy  2131    622922        70      6230         0     53410     43610    917245     20.59     21.70  --
348.55/87.35	c  N dy  2198    646108        70      6230         0     43720     43610    671465     20.60     21.75  --
374.90/93.98	c  N dy  2274    687973        70      6230         0     49637     43610    781914     20.54     21.64  --
388.48/97.31	c  N dy  2333    707993        70      6230         0     35350     43610    442800     20.54     23.76  --
399.25/100.09	c  N dy  2365    728045        70      6230         0     53313     43610    862247     20.50     22.73  --
416.46/104.35	c  N dy  2414    749891        70      6230         0     39742     43610    533017     20.50     21.67  --
430.79/107.92	c  N dy  2486    771705        70      6230         0     59372     43610   1008235     20.51     21.62  --
445.97/111.70	c  N dy  2590    791792        70      6230         0     43295     43610    611739     20.53     23.07  --
456.76/114.42	c  S st  2686    806222        70      6230         0     56387     43610    934826     20.55     20.54  --
457.16/114.58	c  S st  2686    806726        70      6230         0     56862     43610    946930     20.55   no data  --
457.16/114.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
457.16/114.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
457.56/114.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
457.56/114.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
457.56/114.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
457.56/114.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
457.56/114.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
497.48/124.66	c lits-rem:      2970  cl-subs:     4502  v-elim:      0  v-fix:    0  time: 39.99 s
497.48/124.66	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
497.48/124.67	c vivif2 --  cl tried    52360 cl shrink        0 lits rem          0 time: 0.04
499.08/125.00	c asymm  cl-useful: 0/931/6230 lits-rem:0 time: 1.30
499.08/125.00	c calculated reachability. Time: 0.00
499.08/125.00	c  N dy  2686    806726        70      6230         0     52360     43610    827060     20.55   no data  --
516.65/129.40	c  N dy  2773    827075        70      6230         0     35727     43610    412894     20.56     21.80  --
529.42/132.65	c  N dy  2887    847115        70      6230         0     53917     43610    858669     20.59     22.82  --
548.98/137.58	c  N dy  2937    874347        70      6230         0     42447     43610    557086     20.56     21.70  --
564.16/141.32	c  N dy  3022    895626        70      6230         0     61655     43610   1022694     20.58     21.69  --
580.53/145.49	c  N dy  3092    916501        70      6230         0     43559     43610    575988     20.58     21.92  --
595.31/149.15	c  N dy  3167    936588        70      6230         0     61752     43610   1018186     20.59     23.61  --
611.67/153.27	c  N dy  3178    961058        70      6230         0     45792     43610    606628     20.56     21.68  --
624.44/156.43	c  N dy  3217    981134        70      6230         0     63907     43610   1042176     20.56     22.79  --
641.61/160.76	c  N dy  3299   1001142        70      6230         0     43223     43610    541471     20.56     22.95  --
653.21/163.69	c  N dy  3304   1021548        70      6230         0     61448     43610    972456     20.53     21.62  --
674.36/168.98	c  N dy  3407   1041626        70      6230         0     40000     43610    452837     20.55     21.91  --
689.92/172.89	c  N dy  3522   1064140        70      6230         0     60324     43610    950287     20.56     21.92  --
697.55/174.74	c  F st  3569   1071876        70      6230         0     67314     43610   1121274     20.57   no data  --
715.11/179.14	c  N dy  3594   1093017        70      6230         0     45748     43610    572266     20.56     21.70  --
730.66/183.07	c  N dy  3702   1113085        70      6230         0     63907     43610   1016986     20.58     23.52  --
753.02/188.66	c  N dy  3758   1140581        70      6230         0     47158     43610    592958     20.56     21.76  --
774.58/194.08	c  N dy  3810   1171358        70      6230         0     74704     43610   1245455     20.53     21.75  --
795.73/199.33	c  N dy  3895   1191499        70      6230         0     50633     43610    670425     20.53     21.71  --
814.10/203.92	c  S st  3991   1210091        70      6230         0     67432     43610   1078513     20.54     20.75  --
814.90/204.14	c  S st  3991   1210594        70      6230         0     67892     43610   1090330     20.54   no data  --
814.90/204.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
814.90/204.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
814.90/204.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
815.30/204.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
815.30/204.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
815.30/204.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
815.30/204.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
908.73/227.64	c lits-rem:      3680  cl-subs:     5495  v-elim:      0  v-fix:    0  time: 93.49 s
908.73/227.64	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
908.73/227.65	c vivif2 --  cl tried    62397 cl shrink        0 lits rem          0 time: 0.05
910.33/228.02	c asymm  cl-useful: 0/768/6230 lits-rem:0 time: 1.48
910.33/228.02	c calculated reachability. Time: 0.00
910.33/228.02	c  N dy  3991   1210594        70      6230         0     62397     43610    948941     20.54   no data  --
935.88/234.42	c  N dy  4070   1232127        70      6230         0     81798     43610   1418838     20.55     21.65  --
952.65/238.61	c  N dy  4127   1252637        70      6230         0     57293     43610    816504     20.55     21.73  --
973.02/243.76	c  N dy  4211   1274047        70      6230         0     76656     43610   1289641     20.56     21.76  --
998.97/250.23	c  N dy  4240   1299059        70      6230         0     54993     43610    741700     20.54     21.67  --
1017.74/254.98	c  N dy  4280   1319336        70      6230         0     73164     43610   1173444     20.53     21.75  --
1043.69/261.48	c  N dy  4366   1339559        70      6230         0     46521     43610    528856     20.54     21.63  --
1062.08/266.08	c  N dy  4478   1359645        70      6230         0     64714     43610    975164     20.55     21.78  --
1087.60/272.49	c  N dy  4531   1386765        70      6230         0     88944     43610   1550387     20.54     21.70  --
1106.37/277.19	c  N dy  4664   1406916        70      6230         0     61406     43610    885082     20.56     21.72  --
1127.96/282.54	c  N dy  4750   1428831        70      6230         0     81198     43610   1368610     20.57     21.65  --
1149.91/288.07	c  N dy  4844   1448909        70      6230         0     52480     43610    649614     20.57     22.33  --
1173.84/294.00	c  N dy  4897   1477882        70      6230         0     78515     43610   1271819     20.57     21.65  --
1201.00/300.89	c  N dy  5010   1498274        70      6230         0     49196     43610    554418     20.58     21.70  --
1215.79/304.52	c  N dy  5074   1518676        70      6230         0     67511     43610    993188     20.58     21.66  --
1241.33/310.91	c  N dy  5163   1542086        70      6230         0     88570     43610   1505385     20.58     21.71  --
1264.11/316.66	c  N dy  5250   1563905        70      6230         0     59568     43610    787101     20.58     21.79  --
1282.85/321.35	c  N dy  5352   1583938        70      6230         0     77570     43610   1226271     20.59     23.88  --
1308.41/327.72	c  N dy  5397   1607681        70      6230         0     98863     43610   1733799     20.58     21.76  --
1325.60/332.01	c  N dy  5478   1627994        70      6230         0     67731     43610    979894     20.59     21.68  --
1349.93/338.16	c  N dy  5583   1649427        70      6230         0     87117     43610   1454874     20.60     21.76  --
1377.89/345.14	c  N dy  5715   1669767        70      6230         0     55035     43610    657760     20.61     21.72  --
1396.24/349.78	c  N dy  5779   1690710        70      6230         0     73884     43610   1112361     20.61     21.84  --
1419.80/355.61	c  S st  5871   1710595        70      6230         0     91828     43610   1549958     20.62     18.74  --
1420.60/355.85	c  S st  5871   1711102        70      6230         0     92296     43610   1561590     20.62   no data  --
1420.60/355.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1420.60/355.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1421.00/355.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
1421.00/355.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1421.00/355.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1421.00/355.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
1421.00/355.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1641.82/411.20	c lits-rem:      5225  cl-subs:     9505  v-elim:      0  v-fix:    0  time: 220.60 s
1641.82/411.20	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
1641.82/411.22	c vivif2 --  cl tried    82791 cl shrink        0 lits rem          0 time: 0.08
1643.39/411.70	c asymm  cl-useful: 0/545/6230 lits-rem:0 time: 1.88
1643.79/411.70	c calculated reachability. Time: 0.00
1643.79/411.70	c  N dy  5871   1711102        70      6230         0     82791     43610   1324133     20.62   no data  --
1678.93/420.53	c  N dy  5974   1731163        70      6230         0    100851     43610   1766816     20.63     22.05  --
1708.07/427.84	c  N dy  6084   1751351        70      6230         0     68169     43610    974845     20.64     21.82  --
1740.01/435.88	c  N dy  6160   1771406        70      6230         0     86160     43610   1409505     20.64     22.75  --
1783.94/446.82	c  N dy  6261   1793952        70      6230         0     54475     43610    621275     20.65     21.94  --
1807.09/452.65	c  N dy  6319   1813972        70      6230         0     72535     43610   1062856     20.65     21.78  --
1844.22/461.98	c  N dy  6411   1837071        70      6230         0     93378     43610   1570802     20.66     21.90  --
1880.56/471.01	c  N dy  6482   1861070        70      6230         0     61843     43610    783951     20.66     21.75  --
1934.07/484.41	c  N dy  6558   1905490        70      6230         0    101594     43610   1731067     20.64     21.88  --
1970.81/493.65	c  N dy  6590   1936871        70      6230         0     75972     43610   1111770     20.62     21.87  --
2011.13/503.71	c  N dy  6694   1963457        70      6230         0     99876     43610   1692090     20.63     21.77  --
2039.09/510.71	c  N dy  6755   1987689        70      6230         0     66804     43610    870269     20.62     21.76  --
2061.45/516.39	c  N dy  6782   2013522        70      6230         0     89864     43610   1415795     20.60     21.71  --
2092.20/524.09	c  N dy  6915   2033573        70      6230         0    108048     43610   1866111     20.62     21.83  --
2130.13/533.52	c  N dy  6941   2077551        70      6230         0     91492     43610   1439049     20.57     21.70  --
2156.89/540.27	c  N dy  7006   2097563        70      6230         0    109448     43610   1873672     20.57     23.51  --
2180.46/546.19	c  N dy  7065   2121606        70      6230         0     74683     43610   1045596     20.57     21.68  --
2206.82/552.78	c  N dy  7187   2141640        70      6230         0     92800     43610   1491309     20.58     22.55  --
2237.96/560.59	c  N dy  7301   2161733        70      6230         0    110910     43610   1936610     20.59     24.33  --
2262.32/566.68	c  N dy  7437   2181818        70      6230         0     71567     43610    966630     20.61     22.15  --
2288.28/573.16	c  N dy  7569   2202581        70      6230         0     90336     43610   1430473     20.62     21.72  --
2298.27/575.60	c  S st  7587   2211102        70      6230         0     97929     43610   1610308     20.61     18.31  --
2299.46/575.91	c  S st  7587   2211606        70      6230         0     98390     43610   1621892     20.61   no data  --
2299.46/575.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2299.46/575.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2299.46/575.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.19
2299.86/576.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2299.86/576.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2299.86/576.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
2299.86/576.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2646.03/662.73	c lits-rem:      5201  cl-subs:     8744  v-elim:      0  v-fix:    0  time: 346.15 s
2646.03/662.73	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
2646.03/662.75	c vivif2 --  cl tried    89646 cl shrink        0 lits rem          0 time: 0.07
2647.24/663.10	c asymm  cl-useful: 0/524/6230 lits-rem:0 time: 1.39
2647.24/663.10	c calculated reachability. Time: 0.00
2647.24/663.10	c  N dy  7587   2211606        70      6230         0     89646     43610   1398151     20.61   no data  --
2674.38/669.88	c  N dy  7626   2231624        70      6230         0    107580     43610   1831851     20.61     23.56  --
2719.10/681.01	c  N dy  7741   2258141        70      6230         0     73447     43610    997034     20.61     21.72  --
2766.25/692.87	c  N dy  7821   2288096        70      6230         0    100422     43610   1646799     20.61     21.80  --
2820.52/706.47	c  N dy  7901   2319617        70      6230         0     69519     43610    877676     20.61     21.73  --
2852.06/714.38	c  N dy  8031   2339625        70      6230         0     87598     43610   1324190     20.62     23.74  --
2888.00/723.35	c  N dy  8122   2359637        70      6230         0    105658     43610   1765778     20.62     22.36  --
2927.13/733.17	c  N dy  8187   2379638        70      6230         0     63501     43610    726112     20.62     22.58  --
2957.47/740.73	c  N dy  8319   2400508        70      6230         0     82333     43610   1189839     20.63     21.75  --
2996.60/750.59	c  N dy  8404   2424668        70      6230         0    104064     43610   1718117     20.63     21.79  --
3041.72/761.81	c  N dy  8511   2444696        70      6230         0    122083     43610   2158943     20.64     23.43  --
3072.06/769.41	c  N dy  8598   2466466        70      6230         0     80532     43610   1127858     20.64     21.80  --
3115.18/780.26	c  N dy  8703   2490553        70      6230         0    102260     43610   1656658     20.65     22.25  --
3157.13/790.74	c  N dy  8785   2510778        70      6230         0    120477     43610   2102344     20.65     21.74  --
3190.24/799.05	c  N dy  8856   2531826        70      6230         0     77261     43610   1030940     20.65     21.77  --
3224.98/807.71	c  N dy  8964   2551834        70      6230         0     95363     43610   1475760     20.66     22.73  --
3260.92/816.77	c  N dy  9039   2572056        70      6230         0    113572     43610   1918609     20.66     21.89  --
3298.04/826.05	c  N dy  9130   2592060        70      6230         0     68584     43610    809916     20.67     22.24  --
3320.00/831.50	c  N dy  9132   2615650        70      6230         0     89675     43610   1308957     20.65     21.84  --
3349.16/838.85	c  N dy  9228   2635721        70      6230         0    107689     43610   1751215     20.66     21.78  --
3390.29/849.17	c  N dy  9342   2658053        70      6230         0     63982     43610    686118     20.66     21.77  --
3411.48/854.49	c  N dy  9410   2678148        70      6230         0     82018     43610   1125912     20.66     22.44  --
3452.98/864.88	c  N dy  9465   2709966        70      6230         0    110356     43610   1796952     20.65     21.78  --
3455.40/865.47	c  S st  9469   2711607        70      6230         0    111843     43610   1832075     20.65     17.35  --
3456.97/865.81	c  S st  9469   2712109        70      6230         0    112303     43610   1843683     20.65   no data  --
3456.97/865.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3456.97/865.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3456.97/865.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
3457.37/865.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3457.37/865.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3457.37/865.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
3457.37/865.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3882.19/972.31	c lits-rem:      6320  cl-subs:    13244  v-elim:      0  v-fix:    0  time: 424.61 s
3882.19/972.31	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
3882.19/972.33	c vivif2 --  cl tried    99059 cl shrink        0 lits rem          0 time: 0.08
3883.39/972.69	c asymm  cl-useful: 0/453/6230 lits-rem:0 time: 1.44
3883.39/972.69	c calculated reachability. Time: 0.00
3883.39/972.69	c  N dy  9469   2712109        70      6230         0     99059     43610   1533081     20.65   no data  --
3953.29/990.17	c  N dy  9503   2778877        70      6230         0     94608     43610   1405302     20.60     21.82  --
3986.04/998.35	c  N dy  9608   2799126        70      6230         0    112848     43610   1852570     20.61     21.86  --
4032.36/1009.97	c  N dy  9752   2819166        70      6230         0     65948     43610    716033     20.62     23.28  --
4059.51/1016.77	c  N dy  9846   2839634        70      6230         0     84360     43610   1167422     20.62     21.75  --
4103.03/1027.61	c  N dy  9983   2860460        70      6230         0    103145     43610   1632238     20.63     21.73  --
4144.17/1037.96	c  N dy 10030   2881857        70      6230         0    122339     43610   2097254     20.63     21.73  --
4184.09/1047.97	c  N dy 10081   2902359        70      6230         0     74457     43610    901880     20.63     21.84  --
4220.81/1057.15	c  N dy 10152   2927314        70      6230         0     96837     43610   1442087     20.63     21.87  --
4264.34/1068.07	c  N dy 10271   2947396        70      6230         0    114943     43610   1890229     20.63     21.83  --
4304.66/1078.13	c  N dy 10320   2967632        70      6230         0    133050     43610   2326266     20.63     21.78  --
4364.16/1093.01	c  N dy 10372   3008761        70      6230         0    102435     43610   1537822     20.61     21.85  --
4414.46/1105.67	c  N dy 10478   3028774        70      6230         0    120452     43610   1982530     20.62     22.94  --
4472.76/1120.26	c  N dy 10595   3048947        70      6230         0     70596     43610    787760     20.63     21.75  --
4507.50/1128.99	c  N dy 10708   3068964        70      6230         0     88675     43610   1232421     20.63     23.63  --
4548.23/1139.13	c  N dy 10800   3089053        70      6230         0    106676     43610   1671101     20.63     22.30  --
4590.94/1149.81	c  N dy 10842   3109821        70      6230         0    125181     43610   2108289     20.63     21.76  --
4638.86/1161.85	c  N dy 10913   3129896        70      6230         0     74178     43610    858868     20.63     23.36  --
4670.80/1169.83	c  N dy 10975   3149963        70      6230         0     92157     43610   1290397     20.63     23.16  --
4702.34/1177.80	c  N dy 11016   3169994        70      6230         0    110104     43610   1724358     20.62     22.13  --
4773.43/1195.51	c  N dy 11100   3201351        70      6230         0    138217     43610   2397831     20.62     21.73  --
4796.97/1201.40	c  S st 11175   3212110        70      6230         0     77971     43610    942806     20.62     20.89  --
4798.17/1201.74	c  S st 11175   3212614        70      6230         0     78437     43610    954836     20.62   no data  --
4798.17/1201.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4798.17/1201.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4798.57/1201.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.22
4798.57/1201.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4798.57/1201.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4798.57/1201.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
4798.57/1201.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

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-3368890-1305405511/watcher-3368890-1305405511 -o /tmp/evaluation-result-3368890-1305405511/solver-3368890-1305405511 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368890-1305405511.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.79 7.96 7.99 5/232 3670
/proc/meminfo: memFree=19235520/32950928 swapFree=64721848/67111528
[pid=3670] ppid=3668 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 652150857 52465664 352 33554432000 4194304 4650419 140735190432320 18446744073709551615 47551526258610 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 12809 352 303 112 0 7774 0
[pid=3670/tid=3671] ppid=3668 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652150857 52465664 357 33554432000 4194304 4650419 140735190432320 18446744073709551615 47551526258610 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652150857 52465664 357 33554432000 4194304 4650419 140735190432320 18446744073709551615 248084745302 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652150857 52465664 357 33554432000 4194304 4650419 140735190432320 18446744073709551615 248084745302 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.108385 s]
/proc/loadavg: 7.79 7.96 7.99 5/232 3670
/proc/meminfo: memFree=19235520/32950928 swapFree=64721848/67111528
[pid=3670] ppid=3668 vsize=281920 CPUtime=0.41 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 1451 0 0 0 41 0 0 0 25 0 4 0 652150857 288686080 1361 33554432000 4194304 4650419 140735190432320 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 70480 1361 366 112 0 65445 0
[pid=3670/tid=3671] ppid=3668 vsize=281920 CPUtime=0.1 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 220 0 0 0 10 0 0 0 25 0 4 0 652150857 288686080 1361 33554432000 4194304 4650419 140735190432320 18446744073709551615 4369360 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=281920 CPUtime=0.1 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 222 0 0 0 10 0 0 0 25 0 4 0 652150857 288686080 1361 33554432000 4194304 4650419 140735190432320 18446744073709551615 4370519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=281920 CPUtime=0.1 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 357 0 0 0 10 0 0 0 25 0 4 0 652150857 288686080 1361 33554432000 4194304 4650419 140735190432320 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 281920

[startup+1.00921 s]
/proc/loadavg: 7.79 7.96 7.99 5/232 3670
/proc/meminfo: memFree=19235520/32950928 swapFree=64721848/67111528
[pid=3670] ppid=3668 vsize=287612 CPUtime=4.01 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 7423 0 0 0 400 1 0 0 25 0 4 0 652150857 294514688 4044 33554432000 4194304 4650419 140735190432320 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 71903 4044 391 112 0 66868 0
[pid=3670/tid=3671] ppid=3668 vsize=287612 CPUtime=1 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 1823 0 0 0 100 0 0 0 19 0 4 0 652150857 294514688 4044 33554432000 4194304 4650419 140735190432320 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=287612 CPUtime=0.99 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 1813 0 0 0 99 0 0 0 18 0 4 0 652150857 294514688 4044 33554432000 4194304 4650419 140735190432320 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=287612 CPUtime=1 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 1525 0 0 0 100 0 0 0 25 0 4 0 652150857 294514688 4044 33554432000 4194304 4650419 140735190432320 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 287612

[startup+1.10919 s]
/proc/loadavg: 7.79 7.96 7.99 5/232 3670
/proc/meminfo: memFree=19235520/32950928 swapFree=64721848/67111528
[pid=3670] ppid=3668 vsize=287696 CPUtime=4.41 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 7889 0 0 0 440 1 0 0 25 0 4 0 652150857 294600704 4146 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365300 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 71924 4146 391 112 0 66889 0
[pid=3670/tid=3671] ppid=3668 vsize=287696 CPUtime=1.1 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 1870 0 0 0 110 0 0 0 19 0 4 0 652150857 294600704 4146 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=287696 CPUtime=1.09 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 1866 0 0 0 109 0 0 0 19 0 4 0 652150857 294600704 4146 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=287696 CPUtime=1.09 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 1837 0 0 0 109 0 0 0 25 0 4 0 652150857 294600704 4146 33554432000 4194304 4650419 140735190432320 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 287696

[startup+1.20918 s]
/proc/loadavg: 7.79 7.96 7.99 5/232 3670
/proc/meminfo: memFree=19235520/32950928 swapFree=64721848/67111528
[pid=3670] ppid=3668 vsize=288048 CPUtime=4.81 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 8614 0 0 0 480 1 0 0 25 0 4 0 652150857 294961152 4150 33554432000 4194304 4650419 140735190432320 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 72012 4150 391 112 0 66977 0
[pid=3670/tid=3671] ppid=3668 vsize=288048 CPUtime=1.2 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 2163 0 0 0 120 0 0 0 19 0 4 0 652150857 294961152 4150 33554432000 4194304 4650419 140735190432320 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=288048 CPUtime=1.19 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 1950 0 0 0 119 0 0 0 19 0 4 0 652150857 294961152 4150 33554432000 4194304 4650419 140735190432320 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=288048 CPUtime=1.19 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 1894 0 0 0 119 0 0 0 25 0 4 0 652150857 294961152 4150 33554432000 4194304 4650419 140735190432320 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 288048

[startup+1.50113 s]
/proc/loadavg: 7.79 7.96 7.99 5/232 3670
/proc/meminfo: memFree=19235520/32950928 swapFree=64721848/67111528
[pid=3670] ppid=3668 vsize=288200 CPUtime=5.98 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 11039 0 0 0 597 1 0 0 25 0 4 0 652150857 295116800 5787 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 72050 5787 392 112 0 67015 0
[pid=3670/tid=3671] ppid=3668 vsize=288200 CPUtime=1.49 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 2326 0 0 0 149 0 0 0 19 0 4 0 652150857 295116800 5787 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=288200 CPUtime=1.49 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 2326 0 0 0 149 0 0 0 19 0 4 0 652150857 295116800 5787 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=288200 CPUtime=1.48 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 2258 0 0 0 148 0 0 0 25 0 4 0 652150857 295116800 5787 33554432000 4194304 4650419 140735190432320 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 288200

[startup+3.10884 s]
/proc/loadavg: 7.79 7.96 7.99 9/236 3674
/proc/meminfo: memFree=19193228/32950928 swapFree=64721848/67111528
[pid=3670] ppid=3668 vsize=284332 CPUtime=12.39 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 18137 0 0 0 1237 2 0 0 25 0 4 0 652150857 291155968 11030 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 71083 11030 392 112 0 66048 0
[pid=3670/tid=3671] ppid=3668 vsize=284332 CPUtime=3.08 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 3838 0 0 0 308 0 0 0 25 0 4 0 652150857 291155968 11030 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=284332 CPUtime=3.09 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 4878 0 0 0 309 0 0 0 24 0 4 0 652150857 291155968 11030 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=284332 CPUtime=3.1 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 4849 0 0 0 309 1 0 0 25 0 4 0 652150857 291155968 11030 33554432000 4194304 4650419 140735190432320 18446744073709551615 4370572 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 284332

[startup+6.30028 s]
/proc/loadavg: 7.81 7.96 7.99 9/236 3674
/proc/meminfo: memFree=19184112/32950928 swapFree=64721848/67111528
[pid=3670] ppid=3668 vsize=292032 CPUtime=25.15 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 26494 0 0 0 2511 4 0 0 25 0 4 0 652150857 299040768 13583 33554432000 4194304 4650419 140735190432320 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 73008 13583 392 112 0 67973 0
[pid=3670/tid=3671] ppid=3668 vsize=292032 CPUtime=6.25 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 6654 0 0 0 624 1 0 0 25 0 4 0 652150857 299040768 13584 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=292032 CPUtime=6.29 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 6587 0 0 0 629 0 0 0 25 0 4 0 652150857 299040768 13584 33554432000 4194304 4650419 140735190432320 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=292032 CPUtime=6.29 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 6980 0 0 0 628 1 0 0 25 0 4 0 652150857 299040768 13584 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 292032

[startup+12.7011 s]
/proc/loadavg: 7.82 7.96 7.99 9/236 3674
/proc/meminfo: memFree=19159076/32950928 swapFree=64721848/67111528
[pid=3670] ppid=3668 vsize=311420 CPUtime=50.7 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 38432 0 0 0 5063 7 0 0 25 0 4 0 652150857 318894080 19061 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 77855 19061 392 112 0 72820 0
[pid=3670/tid=3671] ppid=3668 vsize=311420 CPUtime=12.61 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 8651 0 0 0 1259 2 0 0 25 0 4 0 652150857 318894080 19061 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=311420 CPUtime=12.68 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 9781 0 0 0 1267 1 0 0 25 0 4 0 652150857 318894080 19061 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=311420 CPUtime=12.69 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 10669 0 0 0 1267 2 0 0 25 0 4 0 652150857 318894080 19061 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 311420

[startup+25.5009 s]
/proc/loadavg: 7.86 7.97 7.99 9/236 3674
/proc/meminfo: memFree=19132536/32950928 swapFree=64721848/67111528
[pid=3670] ppid=3668 vsize=303648 CPUtime=101.8 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 58805 0 0 0 10169 11 0 0 25 0 4 0 652150857 310935552 25510 33554432000 4194304 4650419 140735190432320 18446744073709551615 4432376 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 75912 25510 392 112 0 70877 0
[pid=3670/tid=3671] ppid=3668 vsize=303648 CPUtime=25.32 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 11817 0 0 0 2530 2 0 0 25 0 4 0 652150857 310935552 25510 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=303648 CPUtime=25.47 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 15393 0 0 0 2545 2 0 0 25 0 4 0 652150857 310935552 25510 33554432000 4194304 4650419 140735190432320 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=303648 CPUtime=25.48 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 16121 0 0 0 2545 3 0 0 25 0 4 0 652150857 310935552 25510 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 303648

[startup+51.1004 s]
/proc/loadavg: 7.91 7.97 7.99 9/236 3675
/proc/meminfo: memFree=19094712/32950928 swapFree=64721848/67111528
[pid=3670] ppid=3668 vsize=314900 CPUtime=204.01 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 83832 0 0 0 20383 18 0 0 25 0 4 0 652150857 322457600 29587 33554432000 4194304 4650419 140735190432320 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 78725 29587 392 112 0 73690 0
[pid=3670/tid=3671] ppid=3668 vsize=314900 CPUtime=50.73 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 14879 0 0 0 5070 3 0 0 25 0 4 0 652150857 322457600 29587 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=314900 CPUtime=51.07 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 23278 0 0 0 5103 4 0 0 25 0 4 0 652150857 322457600 29587 33554432000 4194304 4650419 140735190432320 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=314900 CPUtime=51.09 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 24787 0 0 0 5103 6 0 0 25 0 4 0 652150857 322457600 29587 33554432000 4194304 4650419 140735190432320 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 314900

[startup+102.3 s]
/proc/loadavg: 7.99 7.99 7.99 9/236 3676
/proc/meminfo: memFree=19047688/32950928 swapFree=64721848/67111528
[pid=3670] ppid=3668 vsize=344364 CPUtime=408.44 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 121871 0 0 0 40815 29 0 0 25 0 4 0 652150857 352628736 38524 33554432000 4194304 4650419 140735190432320 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 86091 38524 392 112 0 81056 0
[pid=3670/tid=3671] ppid=3668 vsize=344364 CPUtime=101.56 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 18389 0 0 0 10152 4 0 0 25 0 4 0 652150857 352628736 38524 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=344364 CPUtime=102.27 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 34842 0 0 0 10220 7 0 0 25 0 4 0 652150857 352628736 38524 33554432000 4194304 4650419 140735190432320 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=344364 CPUtime=102.29 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 39355 0 0 0 10219 10 0 0 25 0 4 0 652150857 352628736 38524 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.44
Current children cumulated vsize (KiB) 344364

[startup+162.301 s]

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

[pid=3670] ppid=3668 vsize=448228 CPUtime=2804.15 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 362741 0 0 0 280300 115 0 0 25 0 4 0 652150857 458985472 74530 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 112057 74530 392 112 0 107022 0
[pid=3670/tid=3671] ppid=3668 vsize=448228 CPUtime=697.3 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 43970 0 0 0 69716 14 0 0 25 0 4 0 652150857 458985472 74530 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=448228 CPUtime=702.2 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 110337 0 0 0 70184 36 0 0 25 0 4 0 652150857 458985472 74530 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=448228 CPUtime=702.3 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 100958 0 0 0 70200 30 0 0 25 0 4 0 652150857 458985472 74530 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.15
Current children cumulated vsize (KiB) 448228

[startup+762.301 s]
/proc/loadavg: 4.03 5.39 6.83 5/227 3711
/proc/meminfo: memFree=19024752/32950928 swapFree=64721848/67111528
[pid=3670] ppid=3668 vsize=461228 CPUtime=3043.71 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 380540 0 0 0 304249 122 0 0 25 0 4 0 652150857 472297472 77639 33554432000 4194304 4650419 140735190432320 18446744073709551615 4313339 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 115307 77639 392 112 0 110272 0
[pid=3670/tid=3671] ppid=3668 vsize=461228 CPUtime=756.86 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 43970 0 0 0 75672 14 0 0 25 0 4 0 652150857 472297472 77639 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=461228 CPUtime=762.2 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 115561 0 0 0 76181 39 0 0 25 0 4 0 652150857 472297472 77639 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=461228 CPUtime=762.3 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 110186 0 0 0 76198 32 0 0 25 0 4 0 652150857 472297472 77639 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3043.71
Current children cumulated vsize (KiB) 461228

[startup+822.3 s]
/proc/loadavg: 4.06 5.15 6.66 5/227 3712
/proc/meminfo: memFree=19036880/32950928 swapFree=64721848/67111528
[pid=3670] ppid=3668 vsize=489860 CPUtime=3283.27 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 402180 0 0 0 328198 129 0 0 25 0 4 0 652150857 501616640 74667 33554432000 4194304 4650419 140735190432320 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 122465 74667 392 112 0 117430 0
[pid=3670/tid=3671] ppid=3668 vsize=489860 CPUtime=816.43 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 44336 0 0 0 81629 14 0 0 25 0 4 0 652150857 501616640 74667 33554432000 4194304 4650419 140735190432320 18446744073709551615 4313331 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=489860 CPUtime=822.2 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 120646 0 0 0 82178 42 0 0 25 0 4 0 652150857 501616640 74667 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=489860 CPUtime=822.31 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 121073 0 0 0 82197 34 0 0 25 0 4 0 652150857 501616640 74667 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.27
Current children cumulated vsize (KiB) 489860

[startup+882.301 s]
/proc/loadavg: 4.06 4.95 6.49 5/227 3714
/proc/meminfo: memFree=19003872/32950928 swapFree=64721848/67111528
[pid=3670] ppid=3668 vsize=502212 CPUtime=3522.85 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 421620 0 0 0 352148 137 0 0 25 0 4 0 652150857 514265088 83067 33554432000 4194304 4650419 140735190432320 18446744073709551615 4438452 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 125553 83067 392 112 0 120518 0
[pid=3670/tid=3671] ppid=3668 vsize=502212 CPUtime=876.01 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 46742 0 0 0 87586 15 0 0 25 0 4 0 652150857 514265088 83067 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=502212 CPUtime=882.19 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 125275 0 0 0 88176 43 0 0 25 0 4 0 652150857 514265088 83067 33554432000 4194304 4650419 140735190432320 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=502212 CPUtime=882.31 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 128344 0 0 0 88194 37 0 0 25 0 4 0 652150857 514265088 83067 33554432000 4194304 4650419 140735190432320 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3522.85
Current children cumulated vsize (KiB) 502212

[startup+942.301 s]
/proc/loadavg: 4.02 4.78 6.33 5/227 3716
/proc/meminfo: memFree=19008684/32950928 swapFree=64721848/67111528
[pid=3670] ppid=3668 vsize=502748 CPUtime=3762.43 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 441149 0 0 0 376098 145 0 0 25 0 4 0 652150857 514813952 81876 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 125687 81876 392 112 0 120652 0
[pid=3670/tid=3671] ppid=3668 vsize=502748 CPUtime=935.58 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 46925 0 0 0 93543 15 0 0 25 0 4 0 652150857 514813952 81876 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=502748 CPUtime=942.19 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 130598 0 0 0 94172 47 0 0 25 0 4 0 652150857 514813952 81876 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=502748 CPUtime=942.31 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 131665 0 0 0 94191 40 0 0 25 0 4 0 652150857 514813952 81876 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3762.43
Current children cumulated vsize (KiB) 502748

[startup+1002.3 s]
/proc/loadavg: 4.01 4.63 6.18 5/227 3717
/proc/meminfo: memFree=18998372/32950928 swapFree=64721848/67111528
[pid=3670] ppid=3668 vsize=503396 CPUtime=4002.01 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 461173 0 0 0 400049 152 0 0 25 0 4 0 652150857 515477504 84336 33554432000 4194304 4650419 140735190432320 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 125849 84336 392 112 0 120814 0
[pid=3670/tid=3671] ppid=3668 vsize=503396 CPUtime=995.17 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 47147 0 0 0 99502 15 0 0 25 0 4 0 652150857 515477504 84336 33554432000 4194304 4650419 140735190432320 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=503396 CPUtime=1002.19 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 136420 0 0 0 100169 50 0 0 25 0 4 0 652150857 515477504 84336 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=503396 CPUtime=1002.31 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 136761 0 0 0 100189 42 0 0 25 0 4 0 652150857 515477504 84336 33554432000 4194304 4650419 140735190432320 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.01
Current children cumulated vsize (KiB) 503396

[startup+1062.3 s]
/proc/loadavg: 4.00 4.52 6.04 5/227 3719
/proc/meminfo: memFree=18979008/32950928 swapFree=64721848/67111528
[pid=3670] ppid=3668 vsize=503436 CPUtime=4241.59 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 471483 0 0 0 424004 155 0 0 25 0 4 0 652150857 515518464 89004 33554432000 4194304 4650419 140735190432320 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 125859 89004 392 112 0 120824 0
[pid=3670/tid=3671] ppid=3668 vsize=503436 CPUtime=1054.75 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 47147 0 0 0 105460 15 0 0 25 0 4 0 652150857 515518464 89004 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=503436 CPUtime=1062.18 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 140300 0 0 0 106166 52 0 0 25 0 4 0 652150857 515518464 89004 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=503436 CPUtime=1062.32 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 140126 0 0 0 106190 42 0 0 25 0 4 0 652150857 515518464 89004 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4241.59
Current children cumulated vsize (KiB) 503436

[startup+1122.3 s]
/proc/loadavg: 4.11 4.45 5.92 5/227 3720
/proc/meminfo: memFree=18959644/32950928 swapFree=64721848/67111528
[pid=3670] ppid=3668 vsize=569024 CPUtime=4481.14 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 487651 0 0 0 447954 160 0 0 25 0 4 0 652150857 582680576 93894 33554432000 4194304 4650419 140735190432320 18446744073709551615 4365210 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 142256 93894 392 112 0 137221 0
[pid=3670/tid=3671] ppid=3668 vsize=569024 CPUtime=1114.31 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 47147 0 0 0 111416 15 0 0 25 0 4 0 652150857 582680576 93894 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=569024 CPUtime=1122.17 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 144767 0 0 0 112163 54 0 0 25 0 4 0 652150857 582680576 93894 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=569024 CPUtime=1122.32 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 147870 0 0 0 112188 44 0 0 25 0 4 0 652150857 582680576 93894 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4481.14
Current children cumulated vsize (KiB) 569024

[startup+1182.31 s]
/proc/loadavg: 4.11 4.38 5.81 5/227 3722
/proc/meminfo: memFree=18977848/32950928 swapFree=64721848/67111528
[pid=3670] ppid=3668 vsize=569024 CPUtime=4720.73 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 504289 0 0 0 471909 164 0 0 25 0 4 0 652150857 582680576 89280 33554432000 4194304 4650419 140735190432320 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 142256 89280 392 112 0 137221 0
[pid=3670/tid=3671] ppid=3668 vsize=569024 CPUtime=1173.88 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 47147 0 0 0 117373 15 0 0 25 0 4 0 652150857 582680576 89280 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=569024 CPUtime=1182.17 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 151242 0 0 0 118163 54 0 0 25 0 4 0 652150857 582680576 89280 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=569024 CPUtime=1182.33 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 156347 0 0 0 118188 45 0 0 25 0 4 0 652150857 582680576 89280 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4720.73
Current children cumulated vsize (KiB) 569024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.2 s]
/proc/loadavg: 4.08 4.36 5.77 5/227 3723
/proc/meminfo: memFree=18973500/32950928 swapFree=64721848/67111528
[pid=3670] ppid=3668 vsize=569024 CPUtime=4800.18 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 512401 0 0 0 479852 166 0 0 25 0 4 0 652150857 582680576 90559 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 142256 90559 392 112 0 137221 0
[pid=3670/tid=3671] ppid=3668 vsize=569024 CPUtime=1193.63 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 47147 0 0 0 119348 15 0 0 25 0 4 0 652150857 582680576 90559 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=569024 CPUtime=1202.07 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 155149 0 0 0 120152 55 0 0 25 0 4 0 652150857 582680576 90559 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=569024 CPUtime=1202.23 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 159357 0 0 0 120177 46 0 0 25 0 4 0 652150857 582680576 90559 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 569024

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

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

[startup+1202.2 s]
/proc/loadavg: 4.08 4.36 5.77 5/227 3723
/proc/meminfo: memFree=18973500/32950928 swapFree=64721848/67111528
[pid=3670] ppid=3668 vsize=569024 CPUtime=4800.18 cores=0,2,4,6
/proc/3670/stat : 3670 (strangenight1-m) R 3668 3670 2957 0 -1 4202496 512401 0 0 0 479852 166 0 0 25 0 4 0 652150857 582680576 90559 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3670/statm: 142256 90559 392 112 0 137221 0
[pid=3670/tid=3671] ppid=3668 vsize=569024 CPUtime=1193.63 cores=0,2,4,6
/proc/3670/task/3671/stat : 3671 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 47147 0 0 0 119348 15 0 0 25 0 4 0 652150857 582680576 90559 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3670/tid=3672] ppid=3668 vsize=569024 CPUtime=1202.07 cores=0,2,4,6
/proc/3670/task/3672/stat : 3672 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 155149 0 0 0 120152 55 0 0 25 0 4 0 652150857 582680576 90559 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3670/tid=3673] ppid=3668 vsize=569024 CPUtime=1202.23 cores=0,2,4,6
/proc/3670/task/3673/stat : 3673 (strangenight1-m) R 3668 3670 2957 0 -1 4202560 159357 0 0 0 120177 46 0 0 25 0 4 0 652150857 582680576 90559 33554432000 4194304 4650419 140735190432320 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 569024

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.23
CPU time (s): 4800.23
CPU user time (s): 4798.55
CPU system time (s): 1.67874
CPU usage (%): 399.276
Max. virtual memory (cumulated for all children) (KiB): 569024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.55
system time used= 1.67874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 512401
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= 475
involuntary context switches= 25346

runsolver used 2.72959 second user time and 5.87911 second system time

The end

Launcher Data 

Begin job on node123 at 2011-05-14 22:38:31
IDJOB=3368890
IDBENCH=82899
IDSOLVER=1846
FILE ID=node123/3368890-1305405511
RUNJOBID= node123-1305405468-3615
PBS_JOBID= 13324482
Free space on /tmp= 73360 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368890-1305405511/watcher-3368890-1305405511 -o /tmp/evaluation-result-3368890-1305405511/solver-3368890-1305405511 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368890-1305405511.cnf

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

MD5SUM BENCH= 7cd6933caf30eeec07acd345d22c5bcd
RANDOM SEED=2142839212

node123.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.838
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.67
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.838
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	: 5226.15
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.838
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.838
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.82
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.838
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.838
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.80
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.838
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.74
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.838
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:     32950928 kB
MemFree:      19235676 kB
Buffers:        297692 kB
Cached:        3991424 kB
SwapCached:      10528 kB
Active:       10711152 kB
Inactive:      2737364 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      19235676 kB
SwapTotal:    67111528 kB
SwapFree:     64721848 kB
Dirty:            6284 kB
Writeback:           0 kB
AnonPages:     9156508 kB
Mapped:          16388 kB
Slab:           176052 kB
PageTables:      31424 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 13218240 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= 73360 MiB
End job on node123 at 2011-05-14 22:58:35