Trace number 3175281

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? (TO) 4800.24 1201.73

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-3175281-1304106637.cnf'
0.00/0.00	c -- header says num vars:             70
0.00/0.00	c -- header says num clauses:        6230
0.00/0.00	c -- clauses added:            0 learnts,         6230 normals,            0 xors
0.00/0.00	c -- vars added         70
0.00/0.01	c Parsing time:  0.02 s
0.00/0.01	c  N st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.50/0.14	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.55
0.50/0.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.50/0.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.50/0.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.50/0.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
0.50/0.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.50/0.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
0.50/0.17	c Finding binary XORs  T:     0.00 s  found:       0
0.50/0.17	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.50/0.17	c calculated reachability. Time: 0.00
0.50/0.17	c Calc default polars -  time:   0.00 s pos:      36 undec:       1 neg:      33
0.50/0.17	c =========================================================================================
0.50/0.17	c types(t): F = full restart, N = normal restart
0.50/0.17	c types(t): S = simplification begin/end, E = solution found
0.50/0.17	c restart types(rt): st = static, dy = dynamic
0.50/0.17	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.50/0.17	c  B st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.78/0.28	c  N dy    12      4161        70      6230         0      3769     43610     93858     21.66     22.80  --
1.97/0.50	c  N dy    21     10316        70      6230         0      7094     43610    165070     20.78     21.96  --
2.37/0.67	c  N dy    27     14802        70      6230         0      7302     43610    159336     20.59     21.73  --
3.58/0.99	c  N dy    35     22021        70      6230         0      8714     43610    178628     20.29     21.39  --
4.39/1.13	c  F st    47     25000        70      6230         0     11426     43610    244414     20.38     21.28  --
4.39/1.19	c  N st    50     26190        70      6230         0      6345     43610    112757     20.38   no data  --
5.17/1.35	c  S st    53     30002        70      6230         0      9779     43610    194613     20.38   no data  --
5.17/1.39	c  S st    53     30506        70      6230         0     10246     43610    206174     20.38   no data  --
5.17/1.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.17/1.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.57/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
5.57/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.19/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  --
12.37/3.10	c  N dy    92     38529        70      6230         0      9488     43610    176264     20.60     22.85  --
13.19/3.33	c  N dy   119     42625        70      6230         0     13242     43610    269104     20.75     21.95  --
13.96/3.52	c  S st   132     45760        70      6230         0     16089     43610    338299     20.80     21.44  --
13.96/3.57	c  S st   132     46266        70      6230         0      8443     43610    137164     20.80   no data  --
13.96/3.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.96/3.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.96/3.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.96/3.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.96/3.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.96/3.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
13.96/3.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.16/4.34	c lits-rem:       108  cl-subs:       43  v-elim:      0  v-fix:    0  time:  3.08 s
17.16/4.34	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
17.16/4.35	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.37/5.67	c  N dy   138     66040        70      6230         0     17138     43610    332034     20.28     21.69  --
23.55/5.94	c  S st   161     69400        70      6230         0     10300     43610    160739     20.36     22.28  --
23.55/5.97	c  S st   161     69903        70      6230         0     10774     43610    172324     20.36   no data  --
23.55/5.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.55/5.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.55/5.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
23.55/5.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.55/5.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.55/5.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
23.55/5.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.14/6.86	c lits-rem:       361  cl-subs:      127  v-elim:      0  v-fix:    0  time:  3.50 s
27.14/6.86	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
27.14/6.86	c vivif2 --  cl tried    10647 cl shrink        0 lits rem          0 time: 0.00
28.34/7.17	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.24
28.34/7.17	c calculated reachability. Time: 0.00
28.34/7.17	c  N dy   161     69903        70      6230         0     10647     43610    168490     20.36   no data  --
29.54/7.47	c  N dy   198     74606        70      6230         0     14964     43610    274814     20.48     21.60  --
31.16/7.89	c  N dy   211     80697        70      6230         0     20471     43610    407180     20.48     21.65  --
33.14/8.36	c  F st   234     87501        70      6230         0     15753     43610    278017     20.49     19.31  --
33.14/8.36	c  N st   234     87501        70      6230         0     15753     43610    278017     20.49     19.31  --
34.74/8.79	c  N dy   241     93582        70      6230         0     21233     43610    412535     20.49     21.57  --
36.73/9.24	c  N dy   270     99630        70      6230         0     14970     43610    247723     20.53     23.05  --
38.33/9.61	c  S st   279    104856        70      6230         0     19686     43610    360290     20.52     19.66  --
38.33/9.67	c  S st   279    105361        70      6230         0     20153     43610    371786     20.52   no data  --
38.33/9.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.33/9.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.33/9.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
38.33/9.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.33/9.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.33/9.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
38.33/9.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.72/11.25	c lits-rem:      1729  cl-subs:     1886  v-elim:      0  v-fix:    0  time:  6.23 s
44.72/11.25	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
44.72/11.25	c vivif2 --  cl tried    18267 cl shrink        0 lits rem          0 time: 0.02
46.32/11.63	c asymm  cl-useful: 0/5012/6230 lits-rem:0 time: 1.49
46.32/11.63	c calculated reachability. Time: 0.00
46.32/11.63	c  N dy   279    105361        70      6230         0     18267     43610    324268     20.52   no data  --
48.33/12.16	c  N dy   297    112101        70      6230         0     24363     43610    470021     20.52     21.62  --
50.31/12.67	c  N dy   317    119295        70      6230         0     18309     43610    314556     20.51     22.68  --
53.13/13.31	c  N dy   359    126992        70      6230         0     25288     43610    484214     20.57     21.65  --
55.51/13.99	c  N dy   381    136173        70      6230         0     20053     43610    344942     20.56     21.67  --
59.50/14.99	c  N dy   404    148784        70      6230         0     16968     43610    257170     20.50     21.64  --
62.69/15.73	c  S st   459    158042        70      6230         0     25434     43610    464024     20.55   no data  --
63.09/15.80	c  S st   459    158549        70      6230         0     25900     43610    475724     20.55   no data  --
63.09/15.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
63.09/15.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
63.09/15.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
63.09/15.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
63.09/15.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
63.09/15.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
63.09/15.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
71.48/17.99	c lits-rem:      2159  cl-subs:     2240  v-elim:      0  v-fix:    0  time:  8.61 s
71.48/17.99	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
71.48/17.99	c vivif2 --  cl tried    23660 cl shrink        0 lits rem          0 time: 0.02
72.28/18.14	c asymm  cl-useful: 0/1218/6230 lits-rem:0 time: 0.60
72.28/18.14	c calculated reachability. Time: 0.00
72.28/18.14	c  N dy   459    158549        70      6230         0     23660     43610    417636     20.55   no data  --
75.87/19.07	c  N dy   498    168744        70      6230         0     17573     43610    259240     20.57     23.07  --
79.49/19.99	c  N dy   523    179881        70      6230         0     27554     43610    497463     20.56     21.75  --
83.88/21.03	c  N dy   572    191463        70      6230         0     21894     43610    353567     20.58     21.72  --
88.28/22.19	c  N dy   596    203687        70      6230         0     32948     43610    616817     20.55     23.96  --
100.64/25.20	c  N dy   645    237823        70      6230         0     28378     43610    472819     20.39     19.02  --
100.64/25.20	c  S st   645    237823        70      6230         0     28378     43610    472819     20.39     19.02  --
100.64/25.27	c  S st   645    238323        70      6230         0     28851     43610    484510     20.39   no data  --
100.64/25.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
100.64/25.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
100.64/25.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
100.64/25.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
100.64/25.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
100.64/25.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
100.64/25.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
111.02/27.83	c lits-rem:      1724  cl-subs:     3094  v-elim:      0  v-fix:    0  time: 10.13 s
111.02/27.83	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
111.02/27.84	c vivif2 --  cl tried    25757 cl shrink        0 lits rem          0 time: 0.02
112.62/28.23	c asymm  cl-useful: 0/3899/6230 lits-rem:0 time: 1.58
112.62/28.23	c calculated reachability. Time: 0.00
112.62/28.23	c  N dy   645    238323        70      6230         0     25757     43610    417169     20.39   no data  --
119.81/30.02	c  N dy   710    254833        70      6230         0     21959     43610    314778     20.41     21.50  --
127.00/31.83	c  N dy   810    271103        70      6230         0     36719     43610    674422     20.48     24.59  --
135.39/33.94	c  N dy   892    291895        70      6230         0     35664     43610    629420     20.50     21.64  --
141.78/35.57	c  F st   963    306250        70      6230         0     27912     43610    432344     20.54     20.75  --
143.78/36.05	c  N dy   969    311446        70      6230         0     32579     43610    547754     20.54   no data  --
152.17/38.19	c  N dy   980    331900        70      6230         0     29311     43610    446251     20.43     21.54  --
161.76/40.59	c  N dy  1008    353925        70      6230         0     26624     43610    379161     20.37     21.53  --
163.35/40.99	c  S st  1038    357484        70      6230         0     29859     43610    458230     20.39     20.67  --
163.75/41.06	c  S st  1038    357984        70      6230         0     30323     43610    469994     20.39   no data  --
163.75/41.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
163.75/41.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
163.75/41.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
163.75/41.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
163.75/41.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
163.75/41.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
163.75/41.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
172.54/43.29	c lits-rem:      1280  cl-subs:     1652  v-elim:      0  v-fix:    0  time:  8.79 s
172.54/43.29	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
172.94/43.30	c vivif2 --  cl tried    28671 cl shrink        0 lits rem          0 time: 0.02
174.14/43.61	c asymm  cl-useful: 0/2331/6230 lits-rem:0 time: 1.24
174.14/43.61	c calculated reachability. Time: 0.00
174.14/43.61	c  N dy  1038    357984        70      6230         0     28671     43610    428788     20.39   no data  --
185.32/46.40	c  N dy  1085    378112        70      6230         0     23503     43610    288862     20.36     21.74  --
195.72/49.04	c  N dy  1181    398147        70      6230         0     41611     43610    727848     20.40     23.57  --
207.29/51.90	c  N dy  1305    418206        70      6230         0     35438     43610    564802     20.45     24.58  --
218.48/54.80	c  N dy  1381    439097        70      6230         0     29020     43610    390404     20.46     21.58  --
229.66/57.54	c  N dy  1482    459655        70      6230         0     47664     43610    844862     20.50     21.61  --
240.05/60.12	c  N dy  1543    480707        70      6230         0     40408     43610    650351     20.48     21.61  --
253.23/63.40	c  N dy  1679    500798        70      6230         0     31543     43610    430324     20.54     22.08  --
264.41/66.24	c  N dy  1765    521723        70      6230         0     50447     43610    885807     20.55     21.63  --
273.20/68.49	c  S st  1837    536978        70      6230         0     36252     43610    529782     20.57     20.63  --
273.60/68.58	c  S st  1837    537481        70      6230         0     36723     43610    541310     20.57   no data  --
273.60/68.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
273.60/68.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
273.60/68.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
274.00/68.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
274.00/68.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
274.00/68.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
274.00/68.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
283.59/71.03	c lits-rem:      1274  cl-subs:     1749  v-elim:      0  v-fix:    0  time:  9.65 s
283.59/71.03	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
283.59/71.03	c vivif2 --  cl tried    34974 cl shrink        0 lits rem          0 time: 0.02
284.39/71.23	c asymm  cl-useful: 0/1507/6230 lits-rem:0 time: 0.80
284.39/71.24	c calculated reachability. Time: 0.00
284.39/71.24	c  N dy  1837    537481        70      6230         0     34974     43610    496092     20.57   no data  --
299.18/74.93	c  N dy  1929    562108        70      6230         0     57256     43610   1036283     20.58     21.67  --
309.55/77.53	c  N dy  1984    582610        70      6230         0     46846     43610    770032     20.58     21.83  --
322.73/80.82	c  N dy  2057    602703        70      6230         0     35167     43610    474246     20.58     22.66  --
334.71/83.88	c  N dy  2131    622922        70      6230         0     53410     43610    917245     20.59     21.70  --
349.09/87.42	c  N dy  2198    646108        70      6230         0     43720     43610    671465     20.60     21.75  --
375.46/94.03	c  N dy  2274    687973        70      6230         0     49637     43610    781914     20.54     21.64  --
388.64/97.35	c  N dy  2333    707993        70      6230         0     35350     43610    442800     20.54     23.76  --
399.85/100.16	c  N dy  2365    728045        70      6230         0     53313     43610    862247     20.50     22.73  --
417.01/104.40	c  N dy  2414    749891        70      6230         0     39742     43610    533017     20.50     21.67  --
431.01/107.98	c  N dy  2486    771705        70      6230         0     59372     43610   1008235     20.51     21.62  --
446.16/111.77	c  N dy  2590    791792        70      6230         0     43295     43610    611739     20.53     23.07  --
457.36/114.52	c  S st  2686    806222        70      6230         0     56387     43610    934826     20.55     20.54  --
457.74/114.67	c  S st  2686    806726        70      6230         0     56862     43610    946930     20.55   no data  --
457.74/114.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
457.74/114.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
458.14/114.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
458.14/114.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
458.14/114.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
458.14/114.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
458.14/114.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
498.49/124.85	c lits-rem:      2970  cl-subs:     4502  v-elim:      0  v-fix:    0  time: 40.40 s
498.49/124.85	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
498.49/124.86	c vivif2 --  cl tried    52360 cl shrink        0 lits rem          0 time: 0.04
499.69/125.19	c asymm  cl-useful: 0/931/6230 lits-rem:0 time: 1.31
499.69/125.19	c calculated reachability. Time: 0.00
499.69/125.19	c  N dy  2686    806726        70      6230         0     52360     43610    827060     20.55   no data  --
517.27/129.58	c  N dy  2773    827075        70      6230         0     35727     43610    412894     20.56     21.80  --
530.45/132.85	c  N dy  2887    847115        70      6230         0     53917     43610    858669     20.59     22.82  --
550.02/137.79	c  N dy  2937    874347        70      6230         0     42447     43610    557086     20.56     21.70  --
565.20/141.53	c  N dy  3022    895626        70      6230         0     61655     43610   1022694     20.58     21.69  --
581.98/145.71	c  N dy  3092    916501        70      6230         0     43559     43610    575988     20.58     21.92  --
596.36/149.36	c  N dy  3167    936588        70      6230         0     61752     43610   1018186     20.59     23.61  --
612.73/153.49	c  N dy  3178    961058        70      6230         0     45792     43610    606628     20.56     21.68  --
625.51/156.65	c  N dy  3217    981134        70      6230         0     63907     43610   1042176     20.56     22.79  --
643.08/161.00	c  N dy  3299   1001142        70      6230         0     43223     43610    541471     20.56     22.95  --
654.69/163.95	c  N dy  3304   1021548        70      6230         0     61448     43610    972456     20.53     21.62  --
675.85/169.23	c  N dy  3407   1041626        70      6230         0     40000     43610    452837     20.55     21.91  --
691.42/173.16	c  N dy  3522   1064140        70      6230         0     60324     43610    950287     20.56     21.92  --
698.64/174.99	c  F st  3569   1071876        70      6230         0     67314     43610   1121274     20.57   no data  --
716.21/179.39	c  N dy  3594   1093017        70      6230         0     45748     43610    572266     20.56     21.70  --
732.17/183.36	c  N dy  3702   1113085        70      6230         0     63907     43610   1016986     20.58     23.52  --
754.54/188.97	c  N dy  3758   1140581        70      6230         0     47158     43610    592958     20.56     21.76  --
776.51/194.43	c  N dy  3810   1171358        70      6230         0     74704     43610   1245455     20.53     21.75  --
797.28/199.69	c  N dy  3895   1191499        70      6230         0     50633     43610    670425     20.53     21.71  --
816.05/204.32	c  S st  3991   1210091        70      6230         0     67432     43610   1078513     20.54     20.75  --
816.85/204.54	c  S st  3991   1210594        70      6230         0     67892     43610   1090330     20.54   no data  --
816.85/204.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
816.85/204.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
816.85/204.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
817.28/204.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
817.28/204.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
817.28/204.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
817.28/204.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
909.13/227.61	c lits-rem:      3680  cl-subs:     5495  v-elim:      0  v-fix:    0  time: 91.80 s
909.13/227.61	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
909.13/227.62	c vivif2 --  cl tried    62397 cl shrink        0 lits rem          0 time: 0.05
910.32/227.99	c asymm  cl-useful: 0/768/6230 lits-rem:0 time: 1.47
910.32/227.99	c calculated reachability. Time: 0.00
910.32/227.99	c  N dy  3991   1210594        70      6230         0     62397     43610    948941     20.54   no data  --
935.91/234.37	c  N dy  4070   1232127        70      6230         0     81798     43610   1418838     20.55     21.65  --
952.68/238.56	c  N dy  4127   1252637        70      6230         0     57293     43610    816504     20.55     21.73  --
973.44/243.78	c  N dy  4211   1274047        70      6230         0     76656     43610   1289641     20.56     21.76  --
999.40/250.24	c  N dy  4240   1299059        70      6230         0     54993     43610    741700     20.54     21.67  --
1018.57/255.00	c  N dy  4280   1319336        70      6230         0     73164     43610   1173444     20.53     21.75  --
1044.54/261.52	c  N dy  4366   1339559        70      6230         0     46521     43610    528856     20.54     21.63  --
1062.52/266.05	c  N dy  4478   1359645        70      6230         0     64714     43610    975164     20.55     21.78  --
1088.09/272.48	c  N dy  4531   1386765        70      6230         0     88944     43610   1550387     20.54     21.70  --
1106.86/277.19	c  N dy  4664   1406916        70      6230         0     61406     43610    885082     20.56     21.72  --
1128.44/282.55	c  N dy  4750   1428831        70      6230         0     81198     43610   1368610     20.57     21.65  --
1150.40/288.08	c  N dy  4844   1448909        70      6230         0     52480     43610    649614     20.57     22.33  --
1173.96/294.00	c  N dy  4897   1477882        70      6230         0     78515     43610   1271819     20.57     21.65  --
1201.53/300.86	c  N dy  5010   1498274        70      6230         0     49196     43610    554418     20.58     21.70  --
1216.31/304.52	c  N dy  5074   1518676        70      6230         0     67511     43610    993188     20.58     21.66  --
1241.88/310.90	c  N dy  5163   1542086        70      6230         0     88570     43610   1505385     20.58     21.71  --
1264.64/316.67	c  N dy  5250   1563905        70      6230         0     59568     43610    787101     20.58     21.79  --
1283.43/321.39	c  N dy  5352   1583938        70      6230         0     77570     43610   1226271     20.59     23.88  --
1308.98/327.73	c  N dy  5397   1607681        70      6230         0     98863     43610   1733799     20.58     21.76  --
1326.15/332.03	c  N dy  5478   1627994        70      6230         0     67731     43610    979894     20.59     21.68  --
1350.91/338.21	c  N dy  5583   1649427        70      6230         0     87117     43610   1454874     20.60     21.76  --
1378.48/345.19	c  N dy  5715   1669767        70      6230         0     55035     43610    657760     20.61     21.72  --
1397.27/349.84	c  N dy  5779   1690710        70      6230         0     73884     43610   1112361     20.61     21.84  --
1420.42/355.69	c  S st  5871   1710595        70      6230         0     91828     43610   1549958     20.62     18.74  --
1421.62/355.93	c  S st  5871   1711102        70      6230         0     92296     43610   1561590     20.62   no data  --
1421.62/355.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1421.62/355.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1421.62/355.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.21
1422.02/356.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1422.02/356.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1422.02/356.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
1422.02/356.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1646.12/412.13	c lits-rem:      5225  cl-subs:     9505  v-elim:      0  v-fix:    0  time: 224.02 s
1646.12/412.13	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
1646.12/412.15	c vivif2 --  cl tried    82791 cl shrink        0 lits rem          0 time: 0.08
1648.13/412.62	c asymm  cl-useful: 0/545/6230 lits-rem:0 time: 1.85
1648.13/412.62	c calculated reachability. Time: 0.00
1648.13/412.62	c  N dy  5871   1711102        70      6230         0     82791     43610   1324133     20.62   no data  --
1684.06/421.64	c  N dy  5974   1731163        70      6230         0    100851     43610   1766816     20.63     22.05  --
1713.23/428.93	c  N dy  6084   1751351        70      6230         0     68169     43610    974845     20.64     21.82  --
1745.18/436.98	c  N dy  6160   1771406        70      6230         0     86160     43610   1409505     20.64     22.75  --
1789.12/447.93	c  N dy  6261   1793952        70      6230         0     54475     43610    621275     20.65     21.94  --
1812.69/453.82	c  N dy  6319   1813972        70      6230         0     72535     43610   1062856     20.65     21.78  --
1849.86/463.11	c  N dy  6411   1837071        70      6230         0     93378     43610   1570802     20.66     21.90  --
1885.79/472.19	c  N dy  6482   1861070        70      6230         0     61843     43610    783951     20.66     21.75  --
1940.12/485.70	c  N dy  6558   1905490        70      6230         0    101594     43610   1731067     20.64     21.88  --
1977.28/495.05	c  N dy  6590   1936871        70      6230         0     75972     43610   1111770     20.62     21.87  --
2014.41/504.31	c  N dy  6694   1963457        70      6230         0     99876     43610   1692090     20.63     21.77  --
2041.17/511.07	c  N dy  6755   1987689        70      6230         0     66804     43610    870269     20.62     21.76  --
2063.95/516.76	c  N dy  6782   2013522        70      6230         0     89864     43610   1415795     20.60     21.71  --
2094.70/524.48	c  N dy  6915   2033573        70      6230         0    108048     43610   1866111     20.62     21.83  --
2132.65/533.96	c  N dy  6941   2077551        70      6230         0     91492     43610   1439049     20.57     21.70  --
2159.41/540.65	c  N dy  7006   2097563        70      6230         0    109448     43610   1873672     20.57     23.51  --
2183.38/546.61	c  N dy  7065   2121606        70      6230         0     74683     43610   1045596     20.57     21.68  --
2209.75/553.26	c  N dy  7187   2141640        70      6230         0     92800     43610   1491309     20.58     22.55  --
2240.92/561.04	c  N dy  7301   2161733        70      6230         0    110910     43610   1936610     20.59     24.33  --
2265.26/567.18	c  N dy  7437   2181818        70      6230         0     71567     43610    966630     20.61     22.15  --
2291.23/573.63	c  N dy  7569   2202581        70      6230         0     90336     43610   1430473     20.62     21.72  --
2300.82/576.07	c  S st  7587   2211102        70      6230         0     97929     43610   1610308     20.61     18.31  --
2302.02/576.39	c  S st  7587   2211606        70      6230         0     98390     43610   1621892     20.61   no data  --
2302.02/576.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2302.02/576.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2302.43/576.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.19
2302.43/576.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2302.43/576.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2302.43/576.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
2302.43/576.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2667.12/667.70	c lits-rem:      5201  cl-subs:     8744  v-elim:      0  v-fix:    0  time: 364.21 s
2667.12/667.70	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
2667.12/667.72	c vivif2 --  cl tried    89646 cl shrink        0 lits rem          0 time: 0.08
2669.10/668.20	c asymm  cl-useful: 0/524/6230 lits-rem:0 time: 1.90
2669.10/668.20	c calculated reachability. Time: 0.00
2669.10/668.20	c  N dy  7587   2211606        70      6230         0     89646     43610   1398151     20.61   no data  --
2703.06/676.73	c  N dy  7626   2231624        70      6230         0    107580     43610   1831851     20.61     23.56  --
2747.00/687.74	c  N dy  7741   2258141        70      6230         0     73447     43610    997034     20.61     21.72  --
2793.33/699.31	c  N dy  7821   2288096        70      6230         0    100422     43610   1646799     20.61     21.80  --
2847.28/712.83	c  N dy  7901   2319617        70      6230         0     69519     43610    877676     20.61     21.73  --
2879.21/720.81	c  N dy  8031   2339625        70      6230         0     87598     43610   1324190     20.62     23.74  --
2915.57/729.90	c  N dy  8122   2359637        70      6230         0    105658     43610   1765778     20.62     22.36  --
2955.11/739.82	c  N dy  8187   2379638        70      6230         0     63501     43610    726112     20.62     22.58  --
2985.47/747.47	c  N dy  8319   2400508        70      6230         0     82333     43610   1189839     20.63     21.75  --
3025.02/757.38	c  N dy  8404   2424668        70      6230         0    104064     43610   1718117     20.63     21.79  --
3069.76/768.57	c  N dy  8511   2444696        70      6230         0    122083     43610   2158943     20.64     23.43  --
3100.51/776.21	c  N dy  8598   2466466        70      6230         0     80532     43610   1127858     20.64     21.80  --
3144.05/787.12	c  N dy  8703   2490553        70      6230         0    102260     43610   1656658     20.65     22.25  --
3186.02/797.62	c  N dy  8785   2510778        70      6230         0    120477     43610   2102344     20.65     21.74  --
3219.14/805.96	c  N dy  8856   2531826        70      6230         0     77261     43610   1030940     20.65     21.77  --
3254.31/814.70	c  N dy  8964   2551834        70      6230         0     95363     43610   1475760     20.66     22.73  --
3284.66/822.30	c  N dy  9039   2572056        70      6230         0    113572     43610   1918609     20.66     21.89  --
3316.21/830.27	c  N dy  9130   2592060        70      6230         0     68584     43610    809916     20.67     22.24  --
3335.00/834.92	c  N dy  9132   2615650        70      6230         0     89675     43610   1308957     20.65     21.84  --
3363.75/842.18	c  N dy  9228   2635721        70      6230         0    107689     43610   1751215     20.66     21.78  --
3405.31/852.54	c  N dy  9342   2658053        70      6230         0     63982     43610    686118     20.66     21.77  --
3428.06/858.29	c  N dy  9410   2678148        70      6230         0     82018     43610   1125912     20.66     22.44  --
3468.01/868.21	c  N dy  9465   2709966        70      6230         0    110356     43610   1796952     20.65     21.78  --
3470.41/868.80	c  S st  9469   2711607        70      6230         0    111843     43610   1832075     20.65     17.35  --
3471.62/869.14	c  S st  9469   2712109        70      6230         0    112303     43610   1843683     20.65   no data  --
3471.62/869.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3471.62/869.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3472.00/869.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
3472.00/869.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3472.00/869.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3472.00/869.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
3472.00/869.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3895.82/975.38	c lits-rem:      6320  cl-subs:    13244  v-elim:      0  v-fix:    0  time: 423.77 s
3895.82/975.38	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
3895.82/975.40	c vivif2 --  cl tried    99059 cl shrink        0 lits rem          0 time: 0.08
3897.44/975.75	c asymm  cl-useful: 0/453/6230 lits-rem:0 time: 1.42
3897.44/975.76	c calculated reachability. Time: 0.00
3897.44/975.76	c  N dy  9469   2712109        70      6230         0     99059     43610   1533081     20.65   no data  --
3972.92/994.66	c  N dy  9503   2778877        70      6230         0     94608     43610   1405302     20.60     21.82  --
4014.06/1004.92	c  N dy  9608   2799126        70      6230         0    112848     43610   1852570     20.61     21.86  --
4068.80/1018.68	c  N dy  9752   2819166        70      6230         0     65948     43610    716033     20.62     23.28  --
4099.96/1026.47	c  N dy  9846   2839634        70      6230         0     84360     43610   1167422     20.62     21.75  --
4141.49/1036.88	c  N dy  9983   2860460        70      6230         0    103145     43610   1632238     20.63     21.73  --
4181.43/1046.87	c  N dy 10030   2881857        70      6230         0    122339     43610   2097254     20.63     21.73  --
4220.57/1056.69	c  N dy 10081   2902359        70      6230         0     74457     43610    901880     20.63     21.84  --
4257.33/1065.87	c  N dy 10152   2927314        70      6230         0     96837     43610   1442087     20.63     21.87  --
4300.07/1076.58	c  N dy 10271   2947396        70      6230         0    114943     43610   1890229     20.63     21.83  --
4340.81/1086.75	c  N dy 10320   2967632        70      6230         0    133050     43610   2326266     20.63     21.78  --
4402.33/1102.20	c  N dy 10372   3008761        70      6230         0    102435     43610   1537822     20.61     21.85  --
4453.06/1114.86	c  N dy 10478   3028774        70      6230         0    120452     43610   1982530     20.62     22.94  --
4511.78/1129.52	c  N dy 10595   3048947        70      6230         0     70596     43610    787760     20.63     21.75  --
4546.53/1138.28	c  N dy 10708   3068964        70      6230         0     88675     43610   1232421     20.63     23.63  --
4587.29/1148.45	c  N dy 10800   3089053        70      6230         0    106676     43610   1671101     20.63     22.30  --
4630.01/1159.16	c  N dy 10842   3109821        70      6230         0    125181     43610   2108289     20.63     21.76  --
4677.95/1171.19	c  N dy 10913   3129896        70      6230         0     74178     43610    858868     20.63     23.36  --
4710.32/1179.22	c  N dy 10975   3149963        70      6230         0     92157     43610   1290397     20.63     23.16  --
4740.26/1186.70	c  N dy 11016   3169994        70      6230         0    110104     43610   1724358     20.62     22.13  --

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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175281-1304106637/watcher-3175281-1304106637 -o /tmp/evaluation-result-3175281-1304106637/solver-3175281-1304106637 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175281-1304106637.cnf 

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

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: 6.80 7.82 7.77 7/180 30505
/proc/meminfo: memFree=17426652/32950940 swapFree=67111528/67111528
[pid=30505] ppid=30503 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 4 0 600894494 52465664 353 33554432000 4194304 4650419 140734938058336 18446744073709551615 47613007722418 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 12809 353 303 112 0 7774 0
[pid=30505/tid=30506] ppid=30503 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 600894494 52465664 353 33554432000 4194304 4650419 140734938058336 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 600894494 52465664 353 33554432000 4194304 4650419 140734938058336 18446744073709551615 47613007722418 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 600894494 52465664 353 33554432000 4194304 4650419 140734938058336 18446744073709551615 47613007722416 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.129548 s]
/proc/loadavg: 6.80 7.82 7.77 7/180 30505
/proc/meminfo: memFree=17426652/32950940 swapFree=67111528/67111528
[pid=30505] ppid=30503 vsize=281932 CPUtime=0.5 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 1507 0 0 0 50 0 0 0 25 0 4 0 600894494 288698368 1405 33554432000 4194304 4650419 140734938058336 18446744073709551615 4370610 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 70483 1405 366 112 0 65448 0
[pid=30505/tid=30506] ppid=30503 vsize=281932 CPUtime=0.12 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 236 0 0 0 12 0 0 0 25 0 4 0 600894494 288698368 1405 33554432000 4194304 4650419 140734938058336 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=281932 CPUtime=0.12 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 230 0 0 0 12 0 0 0 25 0 4 0 600894494 288698368 1405 33554432000 4194304 4650419 140734938058336 18446744073709551615 4370618 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=281932 CPUtime=0.12 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 395 0 0 0 12 0 0 0 25 0 4 0 600894494 288698368 1405 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 281932

[startup+0.200539 s]
/proc/loadavg: 6.80 7.82 7.77 7/180 30505
/proc/meminfo: memFree=17426652/32950940 swapFree=67111528/67111528
[pid=30505] ppid=30503 vsize=285252 CPUtime=0.78 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 3338 0 0 0 78 0 0 0 18 0 4 0 600894494 292098048 2840 33554432000 4194304 4650419 140734938058336 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 71313 2840 390 112 0 66278 0
[pid=30505/tid=30506] ppid=30503 vsize=285252 CPUtime=0.19 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 766 0 0 0 19 0 0 0 25 0 4 0 600894494 292098048 2840 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=285252 CPUtime=0.19 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 772 0 0 0 19 0 0 0 25 0 4 0 600894494 292098048 2840 33554432000 4194304 4650419 140734938058336 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=285252 CPUtime=0.19 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 631 0 0 0 19 0 0 0 25 0 4 0 600894494 292098048 2840 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 285252

[startup+0.30052 s]
/proc/loadavg: 6.80 7.82 7.77 7/180 30505
/proc/meminfo: memFree=17426652/32950940 swapFree=67111528/67111528
[pid=30505] ppid=30503 vsize=285252 CPUtime=1.18 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 3663 0 0 0 118 0 0 0 18 0 4 0 600894494 292098048 3165 33554432000 4194304 4650419 140734938058336 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 71313 3165 390 112 0 66278 0
[pid=30505/tid=30506] ppid=30503 vsize=285252 CPUtime=0.29 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 851 0 0 0 29 0 0 0 25 0 4 0 600894494 292098048 3165 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=285252 CPUtime=0.29 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 854 0 0 0 29 0 0 0 25 0 4 0 600894494 292098048 3165 33554432000 4194304 4650419 140734938058336 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=285252 CPUtime=0.29 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 704 0 0 0 29 0 0 0 25 0 4 0 600894494 292098048 3165 33554432000 4194304 4650419 140734938058336 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 285252

[startup+0.70045 s]
/proc/loadavg: 6.80 7.82 7.77 7/180 30505
/proc/meminfo: memFree=17426652/32950940 swapFree=67111528/67111528
[pid=30505] ppid=30503 vsize=287080 CPUtime=2.78 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 6064 0 0 0 277 1 0 0 18 0 4 0 600894494 293969920 3655 33554432000 4194304 4650419 140734938058336 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 71770 3655 390 112 0 66735 0
[pid=30505/tid=30506] ppid=30503 vsize=287080 CPUtime=0.69 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 1421 0 0 0 69 0 0 0 25 0 4 0 600894494 293969920 3655 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=287080 CPUtime=0.69 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 1436 0 0 0 69 0 0 0 25 0 4 0 600894494 293969920 3656 33554432000 4194304 4650419 140734938058336 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=287080 CPUtime=0.69 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 1368 0 0 0 69 0 0 0 25 0 4 0 600894494 293969920 3656 33554432000 4194304 4650419 140734938058336 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 287080

[startup+1.50031 s]
/proc/loadavg: 6.80 7.82 7.77 9/184 30509
/proc/meminfo: memFree=17403100/32950940 swapFree=67111528/67111528
[pid=30505] ppid=30503 vsize=294168 CPUtime=5.97 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 11036 0 0 0 596 1 0 0 19 0 4 0 600894494 301228032 5794 33554432000 4194304 4650419 140734938058336 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 73542 5794 392 112 0 68507 0
[pid=30505/tid=30506] ppid=30503 vsize=294168 CPUtime=1.48 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 2334 0 0 0 148 0 0 0 25 0 4 0 600894494 301228032 5794 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=294168 CPUtime=1.49 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 2348 0 0 0 149 0 0 0 25 0 4 0 600894494 301228032 5794 33554432000 4194304 4650419 140734938058336 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=294168 CPUtime=1.49 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 2279 0 0 0 149 0 0 0 25 0 4 0 600894494 301228032 5794 33554432000 4194304 4650419 140734938058336 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 294168

[startup+3.10103 s]
/proc/loadavg: 6.80 7.82 7.77 9/184 30509
/proc/meminfo: memFree=17366644/32950940 swapFree=67111528/67111528
[pid=30505] ppid=30503 vsize=293520 CPUtime=12.37 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 18005 0 0 0 1234 3 0 0 24 0 4 0 600894494 300564480 11076 33554432000 4194304 4650419 140734938058336 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 73380 11076 392 112 0 68345 0
[pid=30505/tid=30506] ppid=30503 vsize=293520 CPUtime=3.07 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 3887 0 0 0 307 0 0 0 25 0 4 0 600894494 300564480 11076 33554432000 4194304 4650419 140734938058336 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=293520 CPUtime=3.09 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 4905 0 0 0 309 0 0 0 25 0 4 0 600894494 300564480 11076 33554432000 4194304 4650419 140734938058336 18446744073709551615 4476449 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=293520 CPUtime=3.09 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 4897 0 0 0 308 1 0 0 25 0 4 0 600894494 300564480 11076 33554432000 4194304 4650419 140734938058336 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 293520

[startup+6.30048 s]
/proc/loadavg: 6.98 7.84 7.78 9/184 30509
/proc/meminfo: memFree=17334536/32950940 swapFree=67111528/67111528
[pid=30505] ppid=30503 vsize=294468 CPUtime=25.15 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 25710 0 0 0 2511 4 0 0 25 0 4 0 600894494 301535232 13598 33554432000 4194304 4650419 140734938058336 18446744073709551615 4438712 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 73617 13598 392 112 0 68582 0
[pid=30505/tid=30506] ppid=30503 vsize=294468 CPUtime=6.25 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 6663 0 0 0 625 0 0 0 25 0 4 0 600894494 301535232 13598 33554432000 4194304 4650419 140734938058336 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=294468 CPUtime=6.28 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 6615 0 0 0 628 0 0 0 25 0 4 0 600894494 301535232 13598 33554432000 4194304 4650419 140734938058336 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=294468 CPUtime=6.29 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 7032 0 0 0 628 1 0 0 25 0 4 0 600894494 301535232 13598 33554432000 4194304 4650419 140734938058336 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 294468

[startup+12.7004 s]
/proc/loadavg: 7.06 7.85 7.78 9/184 30509
/proc/meminfo: memFree=17299704/32950940 swapFree=67111528/67111528
[pid=30505] ppid=30503 vsize=294924 CPUtime=50.71 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 37656 0 0 0 5065 6 0 0 25 0 4 0 600894494 302002176 18663 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365273 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 73731 18663 392 112 0 68696 0
[pid=30505/tid=30506] ppid=30503 vsize=294924 CPUtime=12.62 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 9118 0 0 0 1261 1 0 0 25 0 4 0 600894494 302002176 18663 33554432000 4194304 4650419 140734938058336 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=294924 CPUtime=12.68 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 9811 0 0 0 1267 1 0 0 25 0 4 0 600894494 302002176 18664 33554432000 4194304 4650419 140734938058336 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=294924 CPUtime=12.69 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 10667 0 0 0 1267 2 0 0 25 0 4 0 600894494 302002176 18665 33554432000 4194304 4650419 140734938058336 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 294924

[startup+25.5011 s]
/proc/loadavg: 7.27 7.85 7.78 9/184 30510
/proc/meminfo: memFree=17258416/32950940 swapFree=67111528/67111528
[pid=30505] ppid=30503 vsize=305600 CPUtime=101.84 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 57189 0 0 0 10172 12 0 0 25 0 4 0 600894494 312934400 25052 33554432000 4194304 4650419 140734938058336 18446744073709551615 4432396 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 76400 25052 392 112 0 71365 0
[pid=30505/tid=30506] ppid=30503 vsize=305600 CPUtime=25.35 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 14189 0 0 0 2532 3 0 0 25 0 4 0 600894494 312934400 25052 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=305600 CPUtime=25.48 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 15435 0 0 0 2546 2 0 0 25 0 4 0 600894494 312934400 25052 33554432000 4194304 4650419 140734938058336 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=305600 CPUtime=25.48 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 15916 0 0 0 2545 3 0 0 25 0 4 0 600894494 312934400 25052 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 305600

[startup+51.1006 s]
/proc/loadavg: 7.66 7.90 7.80 9/184 30540
/proc/meminfo: memFree=17243064/32950940 swapFree=67111528/67111528
[pid=30505] ppid=30503 vsize=320296 CPUtime=204.1 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 83434 0 0 0 20391 19 0 0 25 0 4 0 600894494 327983104 30475 33554432000 4194304 4650419 140734938058336 18446744073709551615 4363435 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 80074 30475 392 112 0 75039 0
[pid=30505/tid=30506] ppid=30503 vsize=320296 CPUtime=50.81 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 20563 0 0 0 5077 4 0 0 25 0 4 0 600894494 327983104 30475 33554432000 4194304 4650419 140734938058336 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=320296 CPUtime=51.08 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 23408 0 0 0 5103 5 0 0 25 0 4 0 600894494 327983104 30475 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=320296 CPUtime=51.08 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 24640 0 0 0 5102 6 0 0 25 0 4 0 600894494 327983104 30475 33554432000 4194304 4650419 140734938058336 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 320296

[startup+102.301 s]
/proc/loadavg: 7.96 7.94 7.82 9/184 30542
/proc/meminfo: memFree=17157800/32950940 swapFree=67111528/67111528
[pid=30505] ppid=30503 vsize=332944 CPUtime=408.63 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 120473 0 0 0 40833 30 0 0 25 0 4 0 600894494 340934656 39869 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 83236 39869 392 112 0 78201 0
[pid=30505/tid=30506] ppid=30503 vsize=332944 CPUtime=101.74 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 29617 0 0 0 10168 6 0 0 25 0 4 0 600894494 340934656 39869 33554432000 4194304 4650419 140734938058336 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=332944 CPUtime=102.29 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 34890 0 0 0 10220 9 0 0 25 0 4 0 600894494 340934656 39869 33554432000 4194304 4650419 140734938058336 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=332944 CPUtime=102.29 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 39373 0 0 0 10218 11 0 0 25 0 4 0 600894494 340934656 39869 33554432000 4194304 4650419 140734938058336 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 332944

[startup+162.301 s]

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

[pid=30505] ppid=30503 vsize=446060 CPUtime=2565.65 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 368394 0 0 0 256439 126 0 0 25 0 4 0 600894494 456765440 74008 33554432000 4194304 4650419 140734938058336 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 111515 74008 392 112 0 106480 0
[pid=30505/tid=30506] ppid=30503 vsize=446060 CPUtime=638.8 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 97484 0 0 0 63850 30 0 0 25 0 4 0 600894494 456765440 74008 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=446060 CPUtime=642.29 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 103365 0 0 0 64190 39 0 0 25 0 4 0 600894494 456765440 74008 33554432000 4194304 4650419 140734938058336 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=446060 CPUtime=642.23 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 104573 0 0 0 64191 32 0 0 25 0 4 0 600894494 456765440 74008 33554432000 4194304 4650419 140734938058336 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.65
Current children cumulated vsize (KiB) 446060

[startup+702.301 s]
/proc/loadavg: 8.09 8.08 7.93 9/184 30567
/proc/meminfo: memFree=16751292/32950940 swapFree=67111528/67111528
[pid=30505] ppid=30503 vsize=511704 CPUtime=2805.32 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 379845 0 0 0 280400 132 0 0 25 0 4 0 600894494 523984896 78069 33554432000 4194304 4650419 140734938058336 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 127926 78069 392 112 0 122891 0
[pid=30505/tid=30506] ppid=30503 vsize=511704 CPUtime=698.47 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 100078 0 0 0 69816 31 0 0 25 0 4 0 600894494 523984896 78069 33554432000 4194304 4650419 140734938058336 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=511704 CPUtime=702.28 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 108729 0 0 0 70186 42 0 0 25 0 4 0 600894494 523984896 78069 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=511704 CPUtime=702.23 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 107694 0 0 0 70190 33 0 0 25 0 4 0 600894494 523984896 78069 33554432000 4194304 4650419 140734938058336 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.32
Current children cumulated vsize (KiB) 511704

[startup+762.301 s]
/proc/loadavg: 8.06 8.07 7.93 9/184 30568
/proc/meminfo: memFree=16725860/32950940 swapFree=67111528/67111528
[pid=30505] ppid=30503 vsize=511808 CPUtime=3045.01 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 398313 0 0 0 304363 138 0 0 25 0 4 0 600894494 524091392 78899 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 127952 78899 392 112 0 122917 0
[pid=30505/tid=30506] ppid=30503 vsize=511808 CPUtime=758.15 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 100078 0 0 0 75784 31 0 0 25 0 4 0 600894494 524091392 78899 33554432000 4194304 4650419 140734938058336 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=511808 CPUtime=762.29 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 114155 0 0 0 76182 47 0 0 25 0 4 0 600894494 524091392 78899 33554432000 4194304 4650419 140734938058336 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=511808 CPUtime=762.24 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 119918 0 0 0 76189 35 0 0 25 0 4 0 600894494 524091392 78899 33554432000 4194304 4650419 140734938058336 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.01
Current children cumulated vsize (KiB) 511808

[startup+822.301 s]
/proc/loadavg: 8.02 8.06 7.93 9/184 30570
/proc/meminfo: memFree=16744076/32950940 swapFree=67111528/67111528
[pid=30505] ppid=30503 vsize=511876 CPUtime=3284.66 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 412125 0 0 0 328323 143 0 0 25 0 4 0 600894494 524161024 80425 33554432000 4194304 4650419 140734938058336 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 127969 80425 392 112 0 122934 0
[pid=30505/tid=30506] ppid=30503 vsize=511876 CPUtime=817.82 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 100586 0 0 0 81750 32 0 0 25 0 4 0 600894494 524161024 80425 33554432000 4194304 4650419 140734938058336 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=511876 CPUtime=822.28 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 118426 0 0 0 82179 49 0 0 25 0 4 0 600894494 524161024 80425 33554432000 4194304 4650419 140734938058336 18446744073709551615 4339837 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=511876 CPUtime=822.22 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 128852 0 0 0 82186 36 0 0 25 0 4 0 600894494 524161024 80425 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.66
Current children cumulated vsize (KiB) 511876

[startup+882.307 s]
/proc/loadavg: 8.05 8.06 7.94 9/184 30572
/proc/meminfo: memFree=16711808/32950940 swapFree=67111528/67111528
[pid=30505] ppid=30503 vsize=482052 CPUtime=3524.35 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 433336 0 0 0 352280 155 0 0 25 0 4 0 600894494 493621248 81421 33554432000 4194304 4650419 140734938058336 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 120513 81421 392 112 0 115478 0
[pid=30505/tid=30506] ppid=30503 vsize=482052 CPUtime=877.5 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 105544 0 0 0 87715 35 0 0 25 0 4 0 600894494 493621248 81421 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=482052 CPUtime=882.29 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 124910 0 0 0 88177 52 0 0 25 0 4 0 600894494 493621248 81421 33554432000 4194304 4650419 140734938058336 18446744073709551615 4363845 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=482052 CPUtime=882.23 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 136120 0 0 0 88182 41 0 0 25 0 4 0 600894494 493621248 81421 33554432000 4194304 4650419 140734938058336 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.35
Current children cumulated vsize (KiB) 482052

[startup+942.301 s]
/proc/loadavg: 8.06 8.06 7.94 9/184 30573
/proc/meminfo: memFree=16726292/32950940 swapFree=67111528/67111528
[pid=30505] ppid=30503 vsize=482172 CPUtime=3764 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 445698 0 0 0 376239 161 0 0 25 0 4 0 600894494 493744128 78344 33554432000 4194304 4650419 140734938058336 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 120543 78344 392 112 0 115508 0
[pid=30505/tid=30506] ppid=30503 vsize=482172 CPUtime=937.17 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 108649 0 0 0 93680 37 0 0 25 0 4 0 600894494 493744128 78344 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=482172 CPUtime=942.29 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 130741 0 0 0 94174 55 0 0 25 0 4 0 600894494 493744128 78344 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=482172 CPUtime=942.22 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 139516 0 0 0 94179 43 0 0 25 0 4 0 600894494 493744128 78344 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764
Current children cumulated vsize (KiB) 482172

[startup+1002.3 s]
/proc/loadavg: 8.06 8.06 7.95 9/184 30575
/proc/meminfo: memFree=16718720/32950940 swapFree=67111528/67111528
[pid=30505] ppid=30503 vsize=493504 CPUtime=4003.68 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 464633 0 0 0 400197 171 0 0 25 0 4 0 600894494 505348096 86359 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 123376 86359 392 112 0 118341 0
[pid=30505/tid=30506] ppid=30503 vsize=493504 CPUtime=996.84 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 113766 0 0 0 99644 40 0 0 25 0 4 0 600894494 505348096 86359 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=493504 CPUtime=1002.29 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 136498 0 0 0 100171 58 0 0 25 0 4 0 600894494 505348096 86359 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=493504 CPUtime=1002.21 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 145028 0 0 0 100177 44 0 0 25 0 4 0 600894494 505348096 86359 33554432000 4194304 4650419 140734938058336 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.68
Current children cumulated vsize (KiB) 493504

[startup+1062.3 s]
/proc/loadavg: 8.06 8.06 7.96 9/184 30576
/proc/meminfo: memFree=16692280/32950940 swapFree=67111528/67111528
[pid=30505] ppid=30503 vsize=493544 CPUtime=4243.34 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 474118 0 0 0 424161 173 0 0 25 0 4 0 600894494 505389056 88053 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 123386 88053 392 112 0 118351 0
[pid=30505/tid=30506] ppid=30503 vsize=493544 CPUtime=1056.52 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 113967 0 0 0 105612 40 0 0 25 0 4 0 600894494 505389056 88053 33554432000 4194304 4650419 140734938058336 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=493544 CPUtime=1062.29 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 140376 0 0 0 106169 60 0 0 25 0 4 0 600894494 505389056 88053 33554432000 4194304 4650419 140734938058336 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=493544 CPUtime=1062.21 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 149631 0 0 0 106176 45 0 0 25 0 4 0 600894494 505389056 88053 33554432000 4194304 4650419 140734938058336 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.34
Current children cumulated vsize (KiB) 493544

[startup+1122.3 s]
/proc/loadavg: 8.05 8.06 7.96 9/184 30578
/proc/meminfo: memFree=16642292/32950940 swapFree=67111528/67111528
[pid=30505] ppid=30503 vsize=569132 CPUtime=4483.01 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 491516 0 0 0 448122 179 0 0 25 0 4 0 600894494 582791168 91600 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 142283 91600 392 112 0 137248 0
[pid=30505/tid=30506] ppid=30503 vsize=569132 CPUtime=1116.19 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 113967 0 0 0 111579 40 0 0 25 0 4 0 600894494 582791168 91600 33554432000 4194304 4650419 140734938058336 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=569132 CPUtime=1122.29 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 145077 0 0 0 112167 62 0 0 25 0 4 0 600894494 582791168 91600 33554432000 4194304 4650419 140734938058336 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=569132 CPUtime=1122.2 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 159950 0 0 0 112174 46 0 0 25 0 4 0 600894494 582791168 91600 33554432000 4194304 4650419 140734938058336 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.01
Current children cumulated vsize (KiB) 569132

[startup+1182.3 s]
/proc/loadavg: 8.18 8.09 7.98 9/184 30580
/proc/meminfo: memFree=16627032/32950940 swapFree=67111528/67111528
[pid=30505] ppid=30503 vsize=569132 CPUtime=4722.69 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 505789 0 0 0 472086 183 0 0 25 0 4 0 600894494 582791168 91087 33554432000 4194304 4650419 140734938058336 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 142283 91087 392 112 0 137248 0
[pid=30505/tid=30506] ppid=30503 vsize=569132 CPUtime=1175.86 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 113967 0 0 0 117546 40 0 0 25 0 4 0 600894494 582791168 91087 33554432000 4194304 4650419 140734938058336 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=569132 CPUtime=1182.29 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 151075 0 0 0 118166 63 0 0 25 0 4 0 600894494 582791168 91087 33554432000 4194304 4650419 140734938058336 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=569132 CPUtime=1182.19 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 168036 0 0 0 118171 48 0 0 25 0 4 0 600894494 582791168 91087 33554432000 4194304 4650419 140734938058336 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.69
Current children cumulated vsize (KiB) 569132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.13 8.08 7.98 9/184 30580
/proc/meminfo: memFree=16619964/32950940 swapFree=67111528/67111528
[pid=30505] ppid=30503 vsize=569132 CPUtime=4800.19 cores=1,3,5,7
/proc/30505/stat : 30505 (strangenight1-m) R 30503 30505 28861 0 -1 4202496 511729 0 0 0 479835 184 0 0 25 0 4 0 600894494 582791168 92246 33554432000 4194304 4650419 140734938058336 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/30505/statm: 142283 92246 392 112 0 137248 0
[pid=30505/tid=30506] ppid=30503 vsize=569132 CPUtime=1195.15 cores=1,3,5,7
/proc/30505/task/30506/stat : 30506 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 113967 0 0 0 119475 40 0 0 25 0 4 0 600894494 582791168 92246 33554432000 4194304 4650419 140734938058336 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=30505/tid=30507] ppid=30503 vsize=569132 CPUtime=1201.7 cores=1,3,5,7
/proc/30505/task/30507/stat : 30507 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 155395 0 0 0 120106 64 0 0 25 0 4 0 600894494 582791168 92246 33554432000 4194304 4650419 140734938058336 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=30505/tid=30508] ppid=30503 vsize=569132 CPUtime=1201.6 cores=1,3,5,7
/proc/30505/task/30508/stat : 30508 (strangenight1-m) R 30503 30505 28861 0 -1 4202560 169656 0 0 0 120111 49 0 0 25 0 4 0 600894494 582791168 92246 33554432000 4194304 4650419 140734938058336 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 569132

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): 1201.73
CPU time (s): 4800.24
CPU user time (s): 4798.38
CPU system time (s): 1.85972
CPU usage (%): 399.444
Max. virtual memory (cumulated for all children) (KiB): 569132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.38
system time used= 1.85972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511729
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= 373
involuntary context switches= 35319

runsolver used 1.84772 second user time and 4.73328 second system time

The end

Launcher Data 

Begin job on node117 at 2011-04-29 21:50:37
IDJOB=3175281
IDBENCH=82899
IDSOLVER=1588
FILE ID=node117/3175281-1304106637
RUNJOBID= node117-1304106637-30483
PBS_JOBID= 13170599
Free space on /tmp= 71676 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
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-3175281-1304106637/watcher-3175281-1304106637 -o /tmp/evaluation-result-3175281-1304106637/solver-3175281-1304106637 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175281-1304106637.cnf

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

MD5SUM BENCH= 7cd6933caf30eeec07acd345d22c5bcd
RANDOM SEED=851508469

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.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.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.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.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      17426808 kB
Buffers:       2381692 kB
Cached:       12493488 kB
SwapCached:          0 kB
Active:        8165028 kB
Inactive:      6777260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      17426808 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12600 kB
Writeback:           0 kB
AnonPages:       66596 kB
Mapped:          15272 kB
Slab:           519092 kB
PageTables:       4684 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   272900 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= 71668 MiB
End job on node117 at 2011-04-29 22:10:41