Trace number 3368746

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)SAT 2709.1 680.81

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf
MD5SUMef1a26ad366fa6cdd721df0a7f8f760c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.034994
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
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 54450

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-3368746-1305402083.cnf'
0.00/0.00	c -- header says num vars:             50
0.00/0.00	c -- header says num clauses:        4450
0.00/0.01	c -- clauses added:            0 learnts,         4450 normals,            0 xors
0.00/0.01	c -- vars added         50
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.38/0.10	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.37
0.38/0.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.38/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.38/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.38/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
0.38/0.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.58/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
3.58/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.58/0.90	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.58/0.90	c calculated reachability. Time: 0.00
3.58/0.90	c Calc default polars -  time:   0.00 s pos:      24 undec:       0 neg:      26
3.58/0.90	c =========================================================================================
3.58/0.90	c types(t): F = full restart, N = normal restart
3.58/0.90	c types(t): S = simplification begin/end, E = solution found
3.58/0.90	c restart types(rt): st = static, dy = dynamic
3.58/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.58/0.90	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
3.58/0.90	c  N dy     8      4295        50      4450         0      3736     31150     69560     15.79     16.67  --
3.58/0.90	c  N dy    21      8325        50      4450         0      5036     31150     88062     15.64     16.87  --
3.58/0.90	c  N dy    31     12331        50      4450         0      4835     31150     79863     15.63     16.97  --
3.58/0.90	c  N dy    47     19813        50      4450         0      6456     31150    101303     15.46     16.30  --
3.58/1.00	c  F st    59     25001        50      4450         0     10970     31150    181855     15.38     15.17  --
3.58/1.00	c  N st    59     25001        50      4450         0     10970     31150    181855     15.38     15.17  --
4.77/1.20	c  N dy    65     30001        50      4450         0      9381     31150    150148     15.38   no data  --
4.77/1.20	c  S st    65     30001        50      4450         0      9381     31150    150148     15.38   no data  --
5.17/1.30	c  S st    65     30504        50      4450         0      9841     31150    158964     15.38   no data  --
5.17/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.17/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.17/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
5.17/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.97/2.08	c lits-rem:      1251  cl-subs:     1417  v-elim:      0  v-fix:    0  time:  3.44 s
8.80/2.29	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.82
8.80/2.29	c calculated reachability. Time: 0.00
8.80/2.29	c  N dy    65     30504        50      4450         0      8424     31150    133643     15.38   no data  --
9.96/2.53	c  N dy    72     35624        50      4450         0     12798     31150    211522     15.27     16.16  --
10.76/2.73	c  N dy    88     39679        50      4450         0      9534     31150    144523     15.29     17.46  --
11.56/2.98	c  N dy   116     44516        50      4450         0     13724     31150    222181     15.42     16.26  --
11.96/3.05	c  S st   118     45759        50      4450         0     14802     31150    241463     15.40   no data  --
11.96/3.10	c  S st   118     46263        50      4450         0     15248     31150    249881     15.40   no data  --
12.36/3.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
12.36/3.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.36/3.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
12.36/3.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12.36/3.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.36/3.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
12.36/3.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.17/4.33	c lits-rem:      2046  cl-subs:     2509  v-elim:      0  v-fix:    0  time:  4.87 s
17.17/4.33	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
17.17/4.33	c vivif2 --  cl tried    12739 cl shrink        0 lits rem          0 time: 0.01
18.34/4.65	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.25
18.34/4.65	c calculated reachability. Time: 0.00
18.34/4.65	c  N dy   118     46263        50      4450         0     12739     31150    203733     15.40   no data  --
19.14/4.90	c  N dy   148     50325        50      4450         0      8770     31150    125752     15.52     16.34  --
21.56/5.41	c  N dy   174     59540        50      4450         0     16735     31150    268704     15.46     16.28  --
23.53/5.91	c  N dy   181     69394        50      4450         0     16670     31150    256219     15.30     13.66  --
23.53/5.91	c  S st   181     69394        50      4450         0     16670     31150    256219     15.30     13.66  --
23.53/5.95	c  S st   181     69899        50      4450         0     17117     31150    264690     15.30   no data  --
23.53/5.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.53/5.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.53/5.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
23.53/5.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.53/5.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.53/5.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
23.53/5.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.73/7.27	c lits-rem:      1852  cl-subs:     3063  v-elim:      0  v-fix:    0  time:  5.21 s
28.73/7.27	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
28.73/7.27	c vivif2 --  cl tried    14054 cl shrink        0 lits rem          0 time: 0.01
29.92/7.60	c asymm  cl-useful: 0/4298/4450 lits-rem:0 time: 1.29
29.92/7.60	c calculated reachability. Time: 0.00
29.92/7.60	c  N dy   181     69899        50      4450         0     14054     31150    212691     15.30   no data  --
31.12/7.89	c  N dy   204     74411        50      4450         0     17979     31150    284427     15.33     16.26  --
34.32/8.66	c  F st   220     87500        50      4450         0     19946     31150    301702     15.10     13.75  --
34.32/8.66	c  N st   220     87500        50      4450         0     19946     31150    301702     15.10     13.75  --
35.51/8.97	c  N dy   230     93095        50      4450         0     14626     31150    213913     15.11     17.58  --
37.11/9.37	c  N dy   251     99087        50      4450         0     19826     31150    308567     15.15     17.49  --
38.71/9.79	c  S st   287    104849        50      4450         0     13653     31150    187376     15.20   no data  --
39.12/9.84	c  S st   287    105353        50      4450         0     14099     31150    196013     15.20   no data  --
39.12/9.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.12/9.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.12/9.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
39.12/9.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.12/9.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.12/9.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
39.12/9.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.69/10.76	c lits-rem:       733  cl-subs:      805  v-elim:      0  v-fix:    0  time:  3.65 s
42.69/10.76	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
42.69/10.76	c vivif2 --  cl tried    13294 cl shrink        0 lits rem          0 time: 0.01
43.92/11.06	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.19
43.92/11.06	c calculated reachability. Time: 0.00
43.92/11.06	c  N dy   287    105353        50      4450         0     13294     31150    180585     15.20   no data  --
45.89/11.57	c  N dy   315    112709        50      4450         0     19720     31150    297624     15.21     16.02  --
48.32/12.14	c  N dy   350    119957        50      4450         0     13941     31150    183263     15.24     17.62  --
52.71/13.25	c  N dy   399    135121        50      4450         0     14087     31150    178327     15.21     16.11  --
55.47/13.95	c  N dy   458    144638        50      4450         0     22362     31150    331017     15.29     16.15  --
59.07/14.80	c  N dy   517    153928        50      4450         0     16619     31150    220474     15.36     18.13  --
59.87/15.06	c  S st   525    158030        50      4450         0     20127     31150    282635     15.34     13.61  --
60.27/15.11	c  S st   525    158532        50      4450         0     20579     31150    291350     15.34   no data  --
60.27/15.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
60.27/15.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.27/15.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
60.27/15.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.27/15.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.27/15.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
60.27/15.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
65.47/16.42	c lits-rem:      1267  cl-subs:     1988  v-elim:      0  v-fix:    0  time:  5.15 s
65.47/16.42	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
65.47/16.42	c vivif2 --  cl tried    18591 cl shrink        0 lits rem          0 time: 0.01
66.64/16.78	c asymm  cl-useful: 0/3878/4450 lits-rem:0 time: 1.42
66.64/16.78	c calculated reachability. Time: 0.00
66.64/16.78	c  N dy   525    158532        50      4450         0     18591     31150    255526     15.34   no data  --
70.64/17.77	c  N dy   592    168678        50      4450         0     27453     31150    419700     15.40     16.92  --
75.03/18.88	c  N dy   643    182108        50      4450         0     24403     31150    352066     15.41     16.31  --
79.82/20.02	c  N dy   722    193810        50      4450         0     19080     31150    252830     15.48     17.24  --
87.43/21.94	c  N dy   775    215244        50      4450         0     21129     31150    275719     15.44     16.25  --
93.40/23.40	c  N dy   859    229234        50      4450         0     33243     31150    500959     15.49     16.37  --
96.22/24.20	c  S st   904    237800        50      4450         0     23360     31150    312587     15.51   no data  --
96.63/24.26	c  S st   904    238304        50      4450         0     23806     31150    321106     15.51   no data  --
96.63/24.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
96.63/24.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.63/24.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
96.63/24.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
96.63/24.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
96.63/24.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
96.63/24.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
102.98/25.85	c lits-rem:      1261  cl-subs:     1918  v-elim:      0  v-fix:    0  time:  6.25 s
102.98/25.85	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
102.98/25.85	c vivif2 --  cl tried    21888 cl shrink        0 lits rem          0 time: 0.01
103.38/25.92	c asymm  cl-useful: 0/572/4450 lits-rem:0 time: 0.28
103.38/25.92	c calculated reachability. Time: 0.00
103.38/25.92	c  N dy   904    238304        50      4450         0     21888     31150    285613     15.51   no data  --
109.38/27.49	c  N dy   948    253578        50      4450         0     35062     31150    524835     15.50     16.83  --
116.56/29.20	c  N dy  1043    270404        50      4450         0     31615     31150    458728     15.55     16.39  --
124.53/31.23	c  N dy  1073    291595        50      4450         0     30837     31150    419253     15.45     16.30  --
131.35/32.98	c  F st  1146    306251        50      4450         0     23748     31150    296505     15.47   no data  --
133.32/33.43	c  N dy  1152    311446        50      4450         0     28220     31150    378643     15.47   no data  --
142.10/35.64	c  N dy  1203    333112        50      4450         0     26218     31150    335650     15.44     16.31  --
152.88/38.31	c  N dy  1307    354703        50      4450         0     23289     31150    274745     15.46     16.33  --
153.71/38.57	c  S st  1317    357456        50      4450         0     25655     31150    317052     15.45     13.98  --
154.07/38.64	c  S st  1317    357961        50      4450         0     26102     31150    325603     15.45   no data  --
154.07/38.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
154.07/38.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
154.07/38.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
154.07/38.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
154.07/38.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
154.07/38.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
154.07/38.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
161.27/40.45	c lits-rem:       865  cl-subs:     1567  v-elim:      0  v-fix:    0  time:  7.15 s
161.27/40.45	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
161.27/40.46	c vivif2 --  cl tried    24535 cl shrink        0 lits rem          0 time: 0.01
162.50/40.79	c asymm  cl-useful: 0/3106/4450 lits-rem:0 time: 1.33
162.50/40.79	c calculated reachability. Time: 0.00
162.50/40.79	c  N dy  1317    357961        50      4450         0     24535     31150    299457     15.45   no data  --
174.04/43.63	c  N dy  1451    378040        50      4450         0     41950     31150    623965     15.50     16.41  --
185.21/46.46	c  N dy  1582    398052        50      4450         0     36959     31150    525135     15.55     17.98  --
195.60/49.00	c  N dy  1644    418122        50      4450         0     30945     31150    397841     15.54     17.42  --
207.18/51.90	c  N dy  1698    440571        50      4450         0     26120     31150    301278     15.51     16.37  --
217.15/54.41	c  N dy  1772    460899        50      4450         0     43740     31150    624453     15.52     16.34  --
226.34/56.75	c  N dy  1819    480931        50      4450         0     35863     31150    470481     15.48     16.33  --
238.31/59.76	c  N dy  1904    500991        50      4450         0     27330     31150    311886     15.48     16.42  --
249.10/62.43	c  N dy  1983    522734        50      4450         0     46050     31150    651883     15.48     16.31  --
257.88/64.60	c  S st  2032    536942        50      4450         0     31593     31150    380650     15.48   no data  --
257.88/64.68	c  S st  2032    537445        50      4450         0     32040     31150    389366     15.48   no data  --
257.88/64.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
257.88/64.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
257.88/64.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
258.28/64.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
258.28/64.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
258.28/64.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
258.28/64.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
266.27/66.71	c lits-rem:       741  cl-subs:     1730  v-elim:      0  v-fix:    0  time:  8.01 s
266.27/66.71	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
266.27/66.72	c vivif2 --  cl tried    30310 cl shrink        0 lits rem          0 time: 0.01
267.07/66.95	c asymm  cl-useful: 0/1344/4450 lits-rem:0 time: 0.93
267.07/66.95	c calculated reachability. Time: 0.00
267.07/66.95	c  N dy  2032    537445        50      4450         0     30310     31150    359567     15.48   no data  --
278.24/69.74	c  N dy  2126    557475        50      4450         0     47568     31150    675456     15.49     16.70  --
289.02/72.43	c  N dy  2165    577680        50      4450         0     37471     31150    480359     15.46     16.34  --
303.39/76.00	c  N dy  2288    597717        50      4450         0     54850     31150    803872     15.49     16.67  --
314.17/78.79	c  N dy  2371    617747        50      4450         0     43719     31150    589885     15.50     17.01  --
328.14/82.26	c  N dy  2431    637931        50      4450         0     31838     31150    363821     15.50     16.33  --
346.53/86.82	c  N dy  2524    667901        50      4450         0     57559     31150    827640     15.49     16.37  --
360.47/90.32	c  N dy  2629    688642        50      4450         0     45335     31150    605401     15.50     16.42  --
377.26/94.57	c  N dy  2722    711409        50      4450         0     33956     31150    388617     15.51     16.40  --
392.41/98.31	c  N dy  2872    732192        50      4450         0     51991     31150    728206     15.54     16.38  --
415.17/104.07	c  N dy  2905    770452        50      4450         0     52518     31150    691857     15.46     16.35  --
429.15/107.57	c  N dy  2951    792110        50      4450         0     38504     31150    450442     15.44     16.46  --
439.51/110.12	c  S st  3071    806169        50      4450         0     50685     31150    681287     15.46   no data  --
439.91/110.25	c  S st  3071    806671        50      4450         0     51126     31150    689934     15.46   no data  --
439.91/110.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
439.91/110.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
439.91/110.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.07
439.91/110.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
439.91/110.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
439.91/110.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
439.91/110.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
463.88/116.30	c lits-rem:      2454  cl-subs:     5973  v-elim:      0  v-fix:    0  time: 23.95 s
464.28/116.30	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
464.28/116.30	c vivif2 --  cl tried    45153 cl shrink        0 lits rem          0 time: 0.03
465.09/116.51	c asymm  cl-useful: 0/974/4450 lits-rem:0 time: 0.82
465.09/116.51	c calculated reachability. Time: 0.00
465.09/116.51	c  N dy  3071    806671        50      4450         0     45153     31150    585422     15.46   no data  --
488.62/122.45	c  N dy  3126    841587        50      4450         0     41949     31150    500229     15.41     16.39  --
505.02/126.59	c  N dy  3261    862813        50      4450         0     60261     31150    843040     15.43     16.34  --
521.36/130.65	c  N dy  3385    882877        50      4450         0     43517     31150    539498     15.45     16.72  --
536.93/134.55	c  N dy  3482    902954        50      4450         0     60870     31150    861619     15.47     16.93  --
554.48/138.95	c  N dy  3596    923386        50      4450         0     43268     31150    522659     15.48     16.31  --
571.25/143.15	c  N dy  3683    945342        50      4450         0     62169     31150    867975     15.48     16.30  --
589.62/147.72	c  N dy  3814    965350        50      4450         0     43340     31150    522153     15.50     16.33  --
602.39/150.93	c  N dy  3848    986962        50      4450         0     61834     31150    848639     15.48     16.44  --
622.75/156.00	c  N dy  3942   1009361        50      4450         0     44111     31150    518447     15.48     16.34  --
639.52/160.25	c  N dy  4092   1029459        50      4450         0     61473     31150    846719     15.51     16.56  --
657.88/164.83	c  N dy  4143   1049529        50      4450         0     40792     31150    453786     15.50     16.38  --
672.25/168.40	c  N dy  4232   1069613        50      4450         0     58112     31150    774489     15.51     18.43  --
673.85/168.89	c  F st  4242   1071875        50      4450         0     60076     31150    810116     15.51     12.74  --
693.43/173.73	c  N dy  4344   1089885        50      4450         0     75603     31150   1102624     15.52     16.51  --
708.98/177.60	c  N dy  4437   1109950        50      4450         0     54155     31150    694966     15.53     16.68  --
729.74/182.85	c  N dy  4583   1129960        50      4450         0     71452     31150   1022001     15.55     16.54  --
748.10/187.49	c  N dy  4690   1149983        50      4450         0     49108     31150    599093     15.56     17.66  --
764.47/191.50	c  N dy  4767   1170315        50      4450         0     66583     31150    914347     15.55     16.43  --
803.22/201.27	c  N dy  4884   1209859        50      4450         0     59929     31150    772577     15.54     16.42  --
803.63/201.33	c  S st  4886   1210006        50      4450         0     60060     31150    775069     15.54   no data  --
804.39/201.56	c  S st  4886   1210507        50      4450         0     60506     31150    783975     15.54   no data  --
804.39/201.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
804.39/201.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
804.79/201.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
804.79/201.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
804.79/201.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
804.79/201.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
804.79/201.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
865.47/216.83	c lits-rem:      2687  cl-subs:     7869  v-elim:      0  v-fix:    0  time: 60.69 s
865.47/216.83	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
865.47/216.84	c vivif2 --  cl tried    52637 cl shrink        0 lits rem          0 time: 0.04
867.07/217.24	c asymm  cl-useful: 0/668/4450 lits-rem:0 time: 1.58
867.07/217.24	c calculated reachability. Time: 0.00
867.07/217.24	c  N dy  4886   1210507        50      4450         0     52637     31150    657383     15.54   no data  --
889.82/222.93	c  N dy  5003   1230520        50      4450         0     69832     31150    977782     15.55     16.76  --
911.78/228.45	c  N dy  5115   1250560        50      4450         0     46455     31150    532444     15.56     17.08  --
928.14/232.58	c  N dy  5194   1270582        50      4450         0     63587     31150    848687     15.56     16.41  --
951.30/238.30	c  N dy  5298   1290629        50      4450         0     80857     31150   1170764     15.57     17.15  --
980.04/245.50	c  N dy  5392   1321504        50      4450         0     65470     31150    865125     15.56     16.40  --
1006.79/252.27	c  N dy  5432   1347321        50      4450         0     44727     31150    486542     15.54     16.37  --
1025.54/256.96	c  N dy  5529   1368116        50      4450         0     62492     31150    812087     15.55     16.49  --
1048.30/262.63	c  N dy  5637   1388134        50      4450         0     79722     31150   1131875     15.56     16.76  --
1068.26/267.61	c  N dy  5715   1408210        50      4450         0     53372     31150    641754     15.56     18.50  --
1086.22/272.17	c  N dy  5801   1428225        50      4450         0     70489     31150    952280     15.56     16.69  --
1113.37/278.99	c  N dy  5944   1448302        50      4450         0     87802     31150   1279151     15.57     17.53  --
1130.14/283.13	c  N dy  5981   1470453        50      4450         0     62025     31150    776641     15.56     16.38  --
1152.89/288.87	c  N dy  6094   1491042        50      4450         0     79737     31150   1108226     15.57     16.39  --
1181.63/296.07	c  N dy  6201   1518034        50      4450         0     57563     31150    702330     15.57     16.42  --
1202.00/301.13	c  N dy  6310   1538060        50      4450         0     74708     31150   1020248     15.58     17.17  --
1223.95/306.65	c  N dy  6344   1558424        50      4450         0     92095     31150   1333171     15.57     16.50  --
1243.11/311.45	c  N dy  6484   1578448        50      4450         0     63120     31150    807276     15.58     17.31  --
1265.46/317.01	c  N dy  6581   1598816        50      4450         0     80557     31150   1128987     15.59     16.47  --
1293.01/323.95	c  N dy  6726   1618912        50      4450         0     50662     31150    565067     15.60     16.79  --
1307.38/327.59	c  N dy  6760   1638982        50      4450         0     67776     31150    875231     15.59     17.50  --
1334.13/334.22	c  N dy  6844   1662527        50      4450         0     87862     31150   1238921     15.59     16.42  --
1362.47/341.36	c  N dy  6952   1688987        50      4450         0     62523     31150    764564     15.59     16.44  --
1384.83/346.97	c  N dy  7061   1709050        50      4450         0     79719     31150   1084993     15.60     17.03  --
1386.82/347.45	c  S st  7069   1710507        50      4450         0     80969     31150   1108313     15.60     15.78  --
1387.65/347.68	c  S st  7069   1711011        50      4450         0     81416     31150   1116950     15.60   no data  --
1387.65/347.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1387.65/347.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1388.02/347.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
1388.02/347.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1388.02/347.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1388.02/347.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
1388.02/347.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1537.72/385.26	c lits-rem:      4857  cl-subs:    11581  v-elim:      0  v-fix:    0  time: 149.69 s
1537.72/385.26	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
1537.72/385.28	c vivif2 --  cl tried    69835 cl shrink        0 lits rem          0 time: 0.06
1539.71/385.72	c asymm  cl-useful: 0/512/4450 lits-rem:0 time: 1.76
1539.71/385.72	c calculated reachability. Time: 0.00
1539.71/385.72	c  N dy  7069   1711011        50      4450         0     69835     31150    914979     15.60   no data  --
1595.60/399.76	c  N dy  7191   1746027        50      4450         0     51801     31150    568110     15.59     16.47  --
1617.56/405.24	c  N dy  7257   1766076        50      4450         0     68927     31150    876625     15.59     16.73  --
1650.29/413.46	c  N dy  7370   1787443        50      4450         0     87262     31150   1216756     15.59     16.44  --
1687.41/422.79	c  N dy  7497   1807519        50      4450         0     55341     31150    629922     15.60     16.73  --
1728.53/433.00	c  N dy  7570   1841860        50      4450         0     84425     31150   1141123     15.58     16.56  --
1764.88/442.17	c  N dy  7694   1861922        50      4450         0     51470     31150    551474     15.59     17.39  --
1784.42/447.09	c  N dy  7810   1881963        50      4450         0     68660     31150    873110     15.60     18.63  --
1805.97/452.41	c  N dy  7859   1902709        50      4450         0     86464     31150   1197121     15.59     16.42  --
1844.69/462.12	c  N dy  7990   1930770        50      4450         0     59228     31150    677179     15.60     16.45  --
1867.45/467.80	c  N dy  8085   1953058        50      4450         0     78322     31150   1028822     15.60     16.44  --
1926.13/482.57	c  N dy  8176   2006486        50      4450         0     71580     31150    875188     15.57     16.47  --
1956.06/490.08	c  N dy  8304   2028943        50      4450         0     90858     31150   1237995     15.58     16.42  --
2003.57/501.98	c  N dy  8373   2072952        50      4450         0     75201     31150    928719     15.55     16.39  --
2073.03/519.33	c  N dy  8401   2142031        50      4450         0     80057     31150    992276     15.48     16.59  --
2106.97/527.88	c  N dy  8525   2166050        50      4450         0    100601     31150   1372395     15.48     16.37  --
2136.51/535.24	c  N dy  8663   2188090        50      4450         0     65155     31150    767455     15.49     16.33  --
2164.06/542.17	c  N dy  8826   2209378        50      4450         0     83420     31150   1113336     15.50     16.45  --
2166.85/542.82	c  S st  8841   2211011        50      4450         0     84830     31150   1140353     15.51   no data  --
2167.65/543.08	c  S st  8841   2211514        50      4450         0     85268     31150   1148966     15.51   no data  --
2167.65/543.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2167.65/543.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2168.05/543.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
2168.05/543.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2168.05/543.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2168.05/543.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
2168.05/543.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2257.86/565.62	c lits-rem:      3661  cl-subs:     9471  v-elim:      0  v-fix:    0  time: 89.62 s
2257.86/565.62	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
2257.86/565.63	c vivif2 --  cl tried    75797 cl shrink        0 lits rem          0 time: 0.05
2259.06/565.94	c asymm  cl-useful: 0/471/4450 lits-rem:0 time: 1.24
2259.06/565.94	c calculated reachability. Time: 0.00
2259.06/565.94	c  N dy  8841   2211514        50      4450         0     75797     31150    975828     15.51   no data  --
2290.20/573.71	c  N dy  8950   2231636        50      4450         0     93079     31150   1298192     15.51     16.41  --
2333.71/584.62	c  N dy  9101   2251644        50      4450         0     55472     31150    584994     15.52     17.00  --
2359.26/591.05	c  N dy  9254   2271697        50      4450         0     72722     31150    912414     15.54     18.57  --
2394.78/599.99	c  N dy  9371   2292142        50      4450         0     90259     31150   1239311     15.54     16.37  --
2443.08/612.09	c  N dy  9480   2313082        50      4450         0    108200     31150   1573113     15.55     16.41  --
2479.41/621.13	c  N dy  9560   2334850        50      4450         0     70663     31150    850308     15.55     16.42  --
2516.54/630.49	c  N dy  9706   2355831        50      4450         0     88712     31150   1191563     15.56     16.40  --
2559.67/641.25	c  N dy  9816   2376185        50      4450         0    106168     31150   1518991     15.56     16.47  --
2601.57/651.75	c  N dy  9973   2396276        50      4450         0     66215     31150    767068     15.58     17.69  --
2633.50/659.70	c  N dy 10084   2416341        50      4450         0     83349     31150   1088518     15.58     17.03  --
2676.61/670.58	c  N dy 10222   2437129        50      4450         0    101236     31150   1425999     15.59     16.42  --
2699.77/676.35	c  E dy 10273   2449229         0      4450         0    111535     31150   1616650     15.59   no data  --
2708.89/680.79	c Verified 4450 clauses.
2708.89/680.79	c Verified 4450 clauses.
2708.89/680.79	c Following stats are for *FIRST FINISHED THREAD ONLY*
2708.89/680.79	c num threads              : 4          
2708.89/680.79	c restarts                 : 10273      
2708.89/680.79	c dynamic restarts         : 10243      
2708.89/680.79	c static restarts          : 30         
2708.89/680.79	c full restarts            : 4          
2708.89/680.79	c total simplify time      : 0.03       
2708.89/680.79	c learnts DL2              : 0          
2708.89/680.79	c learnts size 2           : 0          
2708.89/680.79	c learnts size 1           : 0           (0.00      % of vars)
2708.89/680.79	c filedLit time            : 0.68        (0.03      % time)
2708.89/680.79	c v-elim SatELite          : 0           (0.00      % vars)
2708.89/680.79	c SatELite time            : 367.00      (13.55     % time)
2708.89/680.79	c v-elim xor               : 0           (0.00      % vars)
2708.89/680.79	c xor elim time            : 0.10        (0.00      % time)
2708.89/680.79	c num binary xor trees     : 0          
2708.89/680.79	c binxor trees' crown      : 0           (nan       leafs/tree)
2708.89/680.79	c bin xor find time        : 0.00       
2708.89/680.79	c OTF clause improved      : 346514      (0.14      clauses/conflict)
2708.89/680.79	c OTF impr. size diff      : 348796      (1.01       lits/clause)
2708.89/680.79	c OTF cl watch-shrink      : 0           (0.00      clauses/conflict)
2708.89/680.79	c OTF cl watch-sh-lit      : 0           (nan        lits/clause)
2708.89/680.79	c tried to recurMin cls    : 193109      (7.88       % of conflicts)
2708.89/680.79	c updated cache            : 8           (0.00       lits/tried recurMin)
2708.89/680.79	c unit cls received        : 0           (nan       % of units)
2708.89/680.79	c unit cls sent            : 0           (nan       % of units)
2708.89/680.79	c bin cls received         : 0          
2708.89/680.79	c bin cls sent             : 0          
2708.89/680.79	c clauses over max glue    : 0           (0.00      % of all clauses)
2708.89/680.79	c conflicts                : 2449229     (904.45    / sec)
2708.89/680.79	c decisions                : 2805297     (0.21      % random)
2708.89/680.79	c bogo-props               : 84527663386 (31214374.91 / sec)
2708.89/680.79	c conflict literals        : 44524543    (11.58     % deleted)
2708.89/680.79	c Memory used              : 347.11      MB
2708.89/680.79	c single-thread CPU time   : 2707.97     s
2708.89/680.79	c all-threads sum CPU time : 2707.97     s
2708.89/680.79	s SATISFIABLE
2708.89/680.79	v 1 -2 3 4 5 6 7 -8 -9 -10 -11 12 13 -14 -15 16 -17 -18 19 20 -21 22 23 -24 -25 26 -27 28 -29 -30 31 -32 33 34 35 -36 -37 38 -39 -40 41 -42 -43 44 -45 46 47 48 -49 50 0

Verifier Data 

OK

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-3368746-1305402083/watcher-3368746-1305402083 -o /tmp/evaluation-result-3368746-1305402083/solver-3368746-1305402083 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368746-1305402083.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: 7.47 8.02 8.07 7/253 12802
/proc/meminfo: memFree=21750372/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) R 12800 12802 12464 0 -1 4202496 412 0 0 0 0 0 0 0 23 0 4 0 651806230 52465664 352 33554432000 4194304 4650419 140733438286464 18446744073709551615 47338236045234 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 12809 352 303 112 0 7774 0
[pid=12802/tid=12803] ppid=12800 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 651806231 52465664 352 33554432000 4194304 4650419 140733438286464 18446744073709551615 47338236045232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 651806231 52465664 352 33554432000 4194304 4650419 140733438286464 18446744073709551615 47338236045224 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651806231 52465664 352 33554432000 4194304 4650419 140733438286464 18446744073709551615 271550594033 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0332369 s]
/proc/loadavg: 7.47 8.02 8.07 7/253 12802
/proc/meminfo: memFree=21750372/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=282036 CPUtime=0.11 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) R 12800 12802 12464 0 -1 4202496 1108 0 0 0 11 0 0 0 18 0 4 0 651806230 288804864 1017 33554432000 4194304 4650419 140733438286464 18446744073709551615 4371088 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 70509 1017 366 112 0 65474 0
[pid=12802/tid=12803] ppid=12800 vsize=282036 CPUtime=0.03 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 168 0 0 0 3 0 0 0 18 0 4 0 651806231 288804864 1017 33554432000 4194304 4650419 140733438286464 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=282036 CPUtime=0.03 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 152 0 0 0 3 0 0 0 18 0 4 0 651806231 288804864 1017 33554432000 4194304 4650419 140733438286464 18446744073709551615 4370660 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=282036 CPUtime=0.02 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 196 0 0 0 2 0 0 0 25 0 4 0 651806231 288804864 1018 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 282036

[startup+0.100224 s]
/proc/loadavg: 7.47 8.02 8.07 7/253 12802
/proc/meminfo: memFree=21750372/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=282036 CPUtime=0.38 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) R 12800 12802 12464 0 -1 4202496 1223 0 0 0 38 0 0 0 18 0 4 0 651806230 288804864 1132 33554432000 4194304 4650419 140733438286464 18446744073709551615 4370697 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 70509 1132 366 112 0 65474 0
[pid=12802/tid=12803] ppid=12800 vsize=282036 CPUtime=0.09 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 175 0 0 0 9 0 0 0 18 0 4 0 651806231 288804864 1132 33554432000 4194304 4650419 140733438286464 18446744073709551615 4370707 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=282036 CPUtime=0.09 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 159 0 0 0 9 0 0 0 18 0 4 0 651806231 288804864 1132 33554432000 4194304 4650419 140733438286464 18446744073709551615 4370686 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=282036 CPUtime=0.09 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 287 0 0 0 9 0 0 0 25 0 4 0 651806231 288804864 1132 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282036

[startup+0.300189 s]
/proc/loadavg: 7.47 8.02 8.07 7/253 12802
/proc/meminfo: memFree=21750372/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=284988 CPUtime=1.18 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) R 12800 12802 12464 0 -1 4202496 3375 0 0 0 118 0 0 0 18 0 4 0 651806230 291827712 2562 33554432000 4194304 4650419 140733438286464 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 71247 2562 390 112 0 66212 0
[pid=12802/tid=12803] ppid=12800 vsize=284988 CPUtime=0.29 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 803 0 0 0 29 0 0 0 18 0 4 0 651806231 291827712 2562 33554432000 4194304 4650419 140733438286464 18446744073709551615 4333795 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=284988 CPUtime=0.29 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 776 0 0 0 29 0 0 0 18 0 4 0 651806231 291827712 2562 33554432000 4194304 4650419 140733438286464 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=284988 CPUtime=0.29 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 583 0 0 0 29 0 0 0 25 0 4 0 651806231 291827712 2562 33554432000 4194304 4650419 140733438286464 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284988

[startup+0.701116 s]
/proc/loadavg: 7.47 8.02 8.07 7/253 12802
/proc/meminfo: memFree=21750372/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=294996 CPUtime=2.78 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) R 12800 12802 12464 0 -1 4202496 5354 0 0 0 278 0 0 0 18 0 4 0 651806230 302075904 3291 33554432000 4194304 4650419 140733438286464 18446744073709551615 4516622 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 73749 3298 390 112 0 68714 0
[pid=12802/tid=12803] ppid=12800 vsize=294996 CPUtime=0.69 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 1381 0 0 0 69 0 0 0 18 0 4 0 651806231 302075904 3301 33554432000 4194304 4650419 140733438286464 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=294996 CPUtime=0.69 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 1139 0 0 0 69 0 0 0 18 0 4 0 651806231 302075904 3306 33554432000 4194304 4650419 140733438286464 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=294996 CPUtime=0.69 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 1147 0 0 0 69 0 0 0 25 0 4 0 651806231 302075904 3311 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 294996

[startup+1.50097 s]
/proc/loadavg: 7.47 8.02 8.07 10/257 12806
/proc/meminfo: memFree=21725544/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=287600 CPUtime=5.97 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) R 12800 12802 12464 0 -1 4202496 9330 0 0 0 597 0 0 0 20 0 4 0 651806230 294502400 4723 33554432000 4194304 4650419 140733438286464 18446744073709551615 4439099 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 71900 4723 392 112 0 66865 0
[pid=12802/tid=12803] ppid=12800 vsize=287600 CPUtime=1.49 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 2100 0 0 0 149 0 0 0 19 0 4 0 651806231 294502400 4723 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=287600 CPUtime=1.49 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 2060 0 0 0 149 0 0 0 20 0 4 0 651806231 294502400 4723 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=287600 CPUtime=1.48 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 1866 0 0 0 148 0 0 0 25 0 4 0 651806231 294502400 4723 33554432000 4194304 4650419 140733438286464 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287600

[startup+3.10068 s]
/proc/loadavg: 7.51 8.01 8.07 9/257 12806
/proc/meminfo: memFree=21692312/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=291604 CPUtime=12.36 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) R 12800 12802 12464 0 -1 4202496 14939 0 0 0 1235 1 0 0 25 0 4 0 651806230 298602496 9066 33554432000 4194304 4650419 140733438286464 18446744073709551615 4482204 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 72901 9066 392 112 0 67866 0
[pid=12802/tid=12803] ppid=12800 vsize=291604 CPUtime=3.09 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 3435 0 0 0 309 0 0 0 25 0 4 0 651806231 298602496 9066 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=291604 CPUtime=3.09 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 3770 0 0 0 309 0 0 0 25 0 4 0 651806231 298602496 9066 33554432000 4194304 4650419 140733438286464 18446744073709551615 4370503 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=291604 CPUtime=3.06 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 3931 0 0 0 306 0 0 0 25 0 4 0 651806231 298602496 9066 33554432000 4194304 4650419 140733438286464 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 291604

[startup+6.30111 s]
/proc/loadavg: 7.51 8.01 8.07 9/257 12806
/proc/meminfo: memFree=21665412/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=291924 CPUtime=25.14 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) R 12800 12802 12464 0 -1 4202496 22512 0 0 0 2511 3 0 0 25 0 4 0 651806230 298930176 13158 33554432000 4194304 4650419 140733438286464 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 72981 13158 392 112 0 67946 0
[pid=12802/tid=12803] ppid=12800 vsize=291924 CPUtime=6.29 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 5259 0 0 0 629 0 0 0 25 0 4 0 651806231 298930176 13158 33554432000 4194304 4650419 140733438286464 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=291924 CPUtime=6.29 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 5842 0 0 0 628 1 0 0 25 0 4 0 651806231 298930176 13158 33554432000 4194304 4650419 140733438286464 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=291924 CPUtime=6.24 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 5645 0 0 0 623 1 0 0 25 0 4 0 651806231 298930176 13158 33554432000 4194304 4650419 140733438286464 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 291924

[startup+12.7009 s]
/proc/loadavg: 7.66 8.03 8.07 9/257 12806
/proc/meminfo: memFree=21636504/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=290160 CPUtime=50.69 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) R 12800 12802 12464 0 -1 4202496 32235 0 0 0 5064 5 0 0 25 0 4 0 651806230 297123840 15718 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 72540 15718 392 112 0 67505 0
[pid=12802/tid=12803] ppid=12800 vsize=290160 CPUtime=12.69 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 7863 0 0 0 1268 1 0 0 25 0 4 0 651806231 297123840 15718 33554432000 4194304 4650419 140733438286464 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=290160 CPUtime=12.69 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 8140 0 0 0 1268 1 0 0 25 0 4 0 651806231 297123840 15718 33554432000 4194304 4650419 140733438286464 18446744073709551615 4334290 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=290160 CPUtime=12.59 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 8764 0 0 0 1258 1 0 0 25 0 4 0 651806231 297123840 15718 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 290160

[startup+25.5006 s]
/proc/loadavg: 7.78 8.04 8.07 9/257 12806
/proc/meminfo: memFree=21596532/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=308704 CPUtime=101.78 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) R 12800 12802 12464 0 -1 4202496 48548 0 0 0 10170 8 0 0 25 0 4 0 651806230 316112896 21720 33554432000 4194304 4650419 140733438286464 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 77176 21720 392 112 0 72141 0
[pid=12802/tid=12803] ppid=12800 vsize=308704 CPUtime=25.49 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 13148 0 0 0 2548 1 0 0 25 0 4 0 651806231 316112896 21720 33554432000 4194304 4650419 140733438286464 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=308704 CPUtime=25.49 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 11453 0 0 0 2547 2 0 0 25 0 4 0 651806231 316112896 21720 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=308704 CPUtime=25.28 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 13037 0 0 0 2526 2 0 0 25 0 4 0 651806231 316112896 21720 33554432000 4194304 4650419 140733438286464 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 308704

[startup+51.101 s]
/proc/loadavg: 7.86 8.04 8.07 9/257 12807
/proc/meminfo: memFree=21569940/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=297816 CPUtime=203.98 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) R 12800 12802 12464 0 -1 4202496 70665 0 0 0 20384 14 0 0 25 0 4 0 651806230 304963584 23839 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 74454 23839 392 112 0 69419 0
[pid=12802/tid=12803] ppid=12800 vsize=297816 CPUtime=51.09 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 18567 0 0 0 5106 3 0 0 25 0 4 0 651806231 304963584 23839 33554432000 4194304 4650419 140733438286464 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=297816 CPUtime=51.09 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 17516 0 0 0 5106 3 0 0 25 0 4 0 651806231 304963584 23839 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=297816 CPUtime=50.68 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 19835 0 0 0 5064 4 0 0 25 0 4 0 651806231 304963584 23839 33554432000 4194304 4650419 140733438286464 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.98
Current children cumulated vsize (KiB) 297816

[startup+102.31 s]
/proc/loadavg: 8.02 8.06 8.08 9/257 12808
/proc/meminfo: memFree=21527396/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=330196 CPUtime=408.42 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) R 12800 12802 12464 0 -1 4202496 107393 0 0 0 40816 26 0 0 25 0 4 0 651806230 338120704 27836 33554432000 4194304 4650419 140733438286464 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 82549 27836 392 112 0 77514 0
[pid=12802/tid=12803] ppid=12800 vsize=330196 CPUtime=102.3 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 26623 0 0 0 10225 5 0 0 25 0 4 0 651806231 338120704 27836 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=330196 CPUtime=102.29 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 26222 0 0 0 10223 6 0 0 25 0 4 0 651806231 338120704 27836 33554432000 4194304 4650419 140733438286464 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=330196 CPUtime=101.49 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 30747 0 0 0 10141 8 0 0 25 0 4 0 651806231 338120704 27836 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.42
Current children cumulated vsize (KiB) 330196

[startup+162.301 s]

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

/proc/12802/statm: 100931 54475 392 112 0 95896 0
[pid=12802/tid=12803] ppid=12800 vsize=403724 CPUtime=462.3 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 54850 0 0 0 46214 16 0 0 25 0 4 0 651806231 413413376 54475 33554432000 4194304 4650419 140733438286464 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=403724 CPUtime=462.29 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 65037 0 0 0 46206 23 0 0 25 0 4 0 651806231 413413376 54475 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=403724 CPUtime=458.57 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 72570 0 0 0 45833 24 0 0 25 0 4 0 651806231 413413376 54475 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1845.49
Current children cumulated vsize (KiB) 403724

[startup+522.3 s]
/proc/loadavg: 8.26 8.14 8.10 9/257 12849
/proc/meminfo: memFree=21293080/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=362244 CPUtime=2085.02 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) R 12800 12802 12464 0 -1 4202496 278431 0 0 0 208403 99 0 0 25 0 4 0 651806230 370937856 56141 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 90561 56141 392 112 0 85526 0
[pid=12802/tid=12803] ppid=12800 vsize=362244 CPUtime=522.3 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 59884 0 0 0 52212 18 0 0 25 0 4 0 651806231 370937856 56141 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=362244 CPUtime=522.29 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 71740 0 0 0 52203 26 0 0 25 0 4 0 651806231 370937856 56141 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=362244 CPUtime=518.09 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 78342 0 0 0 51782 27 0 0 25 0 4 0 651806231 370937856 56141 33554432000 4194304 4650419 140733438286464 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2085.02
Current children cumulated vsize (KiB) 362244

[startup+582.301 s]
/proc/loadavg: 8.19 8.14 8.10 10/257 12851
/proc/meminfo: memFree=21264896/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=374148 CPUtime=2324.52 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) R 12800 12802 12464 0 -1 4202496 291333 0 0 0 232347 105 0 0 25 0 4 0 651806230 383127552 60670 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 93537 60670 392 112 0 88502 0
[pid=12802/tid=12803] ppid=12800 vsize=374148 CPUtime=582.3 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 64239 0 0 0 58210 20 0 0 25 0 4 0 651806231 383127552 60670 33554432000 4194304 4650419 140733438286464 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=374148 CPUtime=582.29 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 72840 0 0 0 58202 27 0 0 25 0 4 0 651806231 383127552 60670 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=374148 CPUtime=577.6 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 82331 0 0 0 57731 29 0 0 25 0 4 0 651806231 383127552 60670 33554432000 4194304 4650419 140733438286464 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2324.52
Current children cumulated vsize (KiB) 374148

[startup+642.301 s]
/proc/loadavg: 8.22 8.16 8.10 9/257 12853
/proc/meminfo: memFree=21187000/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=374264 CPUtime=2564.06 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) R 12800 12802 12464 0 -1 4202496 295971 0 0 0 256298 108 0 0 25 0 4 0 651806230 383246336 61165 33554432000 4194304 4650419 140733438286464 18446744073709551615 4366953 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 93566 61165 392 112 0 88531 0
[pid=12802/tid=12803] ppid=12800 vsize=374264 CPUtime=642.31 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 64301 0 0 0 64211 20 0 0 25 0 4 0 651806231 383246336 61165 33554432000 4194304 4650419 140733438286464 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=374264 CPUtime=642.29 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 73457 0 0 0 64202 27 0 0 25 0 4 0 651806231 383246336 61165 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=374264 CPUtime=637.12 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 82333 0 0 0 63683 29 0 0 25 0 4 0 651806231 383246336 61165 33554432000 4194304 4650419 140733438286464 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2564.06
Current children cumulated vsize (KiB) 374264

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

[startup+665.51 s]
/proc/loadavg: 8.29 8.18 8.11 10/257 12853
/proc/meminfo: memFree=21176564/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=355440 CPUtime=2656.68 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) R 12800 12802 12464 0 -1 4202496 299511 0 0 0 265558 110 0 0 25 0 4 0 651806230 363970560 57437 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 88860 57437 392 112 0 83825 0
[pid=12802/tid=12803] ppid=12800 vsize=355440 CPUtime=665.51 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 64301 0 0 0 66531 20 0 0 25 0 4 0 651806231 363970560 57437 33554432000 4194304 4650419 140733438286464 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=355440 CPUtime=665.49 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 75263 0 0 0 66521 28 0 0 25 0 4 0 651806231 363970560 57437 33554432000 4194304 4650419 140733438286464 18446744073709551615 4336127 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=355440 CPUtime=660.13 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 82333 0 0 0 65984 29 0 0 25 0 4 0 651806231 363970560 57437 33554432000 4194304 4650419 140733438286464 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2656.68
Current children cumulated vsize (KiB) 355440

[startup+671.9 s]
/proc/loadavg: 8.35 8.19 8.11 10/257 12853
/proc/meminfo: memFree=21162300/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=355440 CPUtime=2682.21 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) R 12800 12802 12464 0 -1 4202496 299931 0 0 0 268110 111 0 0 25 0 4 0 651806230 363970560 57857 33554432000 4194304 4650419 140733438286464 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 88860 57857 392 112 0 83825 0
[pid=12802/tid=12803] ppid=12800 vsize=355440 CPUtime=671.9 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 64301 0 0 0 67170 20 0 0 25 0 4 0 651806231 363970560 57857 33554432000 4194304 4650419 140733438286464 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=355440 CPUtime=671.88 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 75458 0 0 0 67160 28 0 0 25 0 4 0 651806231 363970560 57857 33554432000 4194304 4650419 140733438286464 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=355440 CPUtime=666.47 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 82349 0 0 0 66618 29 0 0 25 0 4 0 651806231 363970560 57857 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2682.21
Current children cumulated vsize (KiB) 355440

[startup+675.101 s]
/proc/loadavg: 8.32 8.19 8.11 10/257 12854
/proc/meminfo: memFree=21188836/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=355440 CPUtime=2694.98 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) R 12800 12802 12464 0 -1 4202496 300290 0 0 0 269387 111 0 0 25 0 4 0 651806230 363970560 58216 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 88860 58216 392 112 0 83825 0
[pid=12802/tid=12803] ppid=12800 vsize=355440 CPUtime=675.11 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 64301 0 0 0 67491 20 0 0 25 0 4 0 651806231 363970560 58216 33554432000 4194304 4650419 140733438286464 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=355440 CPUtime=675.08 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 75565 0 0 0 67480 28 0 0 25 0 4 0 651806231 363970560 58216 33554432000 4194304 4650419 140733438286464 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=355440 CPUtime=669.65 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 82479 0 0 0 66936 29 0 0 25 0 4 0 651806231 363970560 58216 33554432000 4194304 4650419 140733438286464 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2694.98
Current children cumulated vsize (KiB) 355440

[startup+678.301 s]
/proc/loadavg: 8.13 8.15 8.10 9/257 12854
/proc/meminfo: memFree=21183876/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=355440 CPUtime=2704.09 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) R 12800 12802 12464 0 -1 4202496 300432 0 0 0 270298 111 0 0 25 0 4 0 651806230 363970560 58358 33554432000 4194304 4650419 140733438286464 18446744073709551615 47338236020256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 88860 58358 392 112 0 83825 0
[pid=12802/tid=12803] ppid=12800 vsize=355440 CPUtime=678.31 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 64301 0 0 0 67811 20 0 0 25 0 4 0 651806231 363970560 58358 33554432000 4194304 4650419 140733438286464 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=355440 CPUtime=676.45 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) S 12800 12802 12464 0 -1 4202560 75605 0 0 0 67616 29 0 0 25 0 4 0 651806231 363970560 58358 33554432000 4194304 4650419 140733438286464 18446744073709551615 47338236044852 0 0 4096 2 18446604461924596736 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=355440 CPUtime=670.99 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) S 12800 12802 12464 0 -1 4202560 82531 0 0 0 67070 29 0 0 25 0 4 0 651806231 363970560 58358 33554432000 4194304 4650419 140733438286464 18446744073709551615 47338236044852 0 0 4096 2 18446604461924596736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2704.09
Current children cumulated vsize (KiB) 355440

[startup+679.901 s]
/proc/loadavg: 8.13 8.15 8.10 8/257 12854
/proc/meminfo: memFree=21182016/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=355440 CPUtime=2707.29 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) R 12800 12802 12464 0 -1 4202496 300432 0 0 0 270618 111 0 0 25 0 4 0 651806230 363970560 58358 33554432000 4194304 4650419 140733438286464 18446744073709551615 47338236020267 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 88860 58358 392 112 0 83825 0
[pid=12802/tid=12803] ppid=12800 vsize=355440 CPUtime=679.91 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 64301 0 0 0 67971 20 0 0 25 0 4 0 651806231 363970560 58358 33554432000 4194304 4650419 140733438286464 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=355440 CPUtime=676.45 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) S 12800 12802 12464 0 -1 4202560 75605 0 0 0 67616 29 0 0 25 0 4 0 651806231 363970560 58358 33554432000 4194304 4650419 140733438286464 18446744073709551615 47338236044852 0 0 4096 2 18446604461924596736 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=355440 CPUtime=670.99 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) S 12800 12802 12464 0 -1 4202560 82531 0 0 0 67070 29 0 0 25 0 4 0 651806231 363970560 58358 33554432000 4194304 4650419 140733438286464 18446744073709551615 47338236044852 0 0 4096 2 18446604461924596736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2707.29
Current children cumulated vsize (KiB) 355440

[startup+680.301 s]
/proc/loadavg: 8.13 8.15 8.10 8/257 12854
/proc/meminfo: memFree=21182016/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=355440 CPUtime=2708.09 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) R 12800 12802 12464 0 -1 4202496 300432 0 0 0 270698 111 0 0 25 0 4 0 651806230 363970560 58358 33554432000 4194304 4650419 140733438286464 18446744073709551615 47338236020420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 88860 58358 392 112 0 83825 0
[pid=12802/tid=12803] ppid=12800 vsize=355440 CPUtime=680.31 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 64301 0 0 0 68011 20 0 0 25 0 4 0 651806231 363970560 58358 33554432000 4194304 4650419 140733438286464 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=355440 CPUtime=676.45 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) S 12800 12802 12464 0 -1 4202560 75605 0 0 0 67616 29 0 0 25 0 4 0 651806231 363970560 58358 33554432000 4194304 4650419 140733438286464 18446744073709551615 47338236044852 0 0 4096 2 18446604461924596736 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=355440 CPUtime=670.99 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) S 12800 12802 12464 0 -1 4202560 82531 0 0 0 67070 29 0 0 25 0 4 0 651806231 363970560 58358 33554432000 4194304 4650419 140733438286464 18446744073709551615 47338236044852 0 0 4096 2 18446604461924596736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2708.09
Current children cumulated vsize (KiB) 355440

[startup+680.701 s]
/proc/loadavg: 8.13 8.15 8.10 8/257 12854
/proc/meminfo: memFree=21182016/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=355440 CPUtime=2708.89 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) R 12800 12802 12464 0 -1 4202496 300432 0 0 0 270778 111 0 0 25 0 4 0 651806230 363970560 58358 33554432000 4194304 4650419 140733438286464 18446744073709551615 47338236020267 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 88860 58358 392 112 0 83825 0
[pid=12802/tid=12803] ppid=12800 vsize=355440 CPUtime=680.71 cores=1,3,5,7
/proc/12802/task/12803/stat : 12803 (strangenight1-m) R 12800 12802 12464 0 -1 4202560 64301 0 0 0 68051 20 0 0 25 0 4 0 651806231 363970560 58358 33554432000 4194304 4650419 140733438286464 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12802/tid=12804] ppid=12800 vsize=355440 CPUtime=676.45 cores=1,3,5,7
/proc/12802/task/12804/stat : 12804 (strangenight1-m) S 12800 12802 12464 0 -1 4202560 75605 0 0 0 67616 29 0 0 25 0 4 0 651806231 363970560 58358 33554432000 4194304 4650419 140733438286464 18446744073709551615 47338236044852 0 0 4096 2 18446604461924596736 0 0 -1 5 0 0 0
[pid=12802/tid=12805] ppid=12800 vsize=355440 CPUtime=670.99 cores=1,3,5,7
/proc/12802/task/12805/stat : 12805 (strangenight1-m) S 12800 12802 12464 0 -1 4202560 82531 0 0 0 67070 29 0 0 25 0 4 0 651806231 363970560 58358 33554432000 4194304 4650419 140733438286464 18446744073709551615 47338236044852 0 0 4096 2 18446604461924596736 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2708.89
Current children cumulated vsize (KiB) 355440

[startup+680.801 s]
/proc/loadavg: 8.13 8.15 8.10 6/255 12854
/proc/meminfo: memFree=21246372/32951124 swapFree=67056788/67111528
[pid=12802] ppid=12800 vsize=0 CPUtime=2709.09 cores=1,3,5,7
/proc/12802/stat : 12802 (strangenight1-m) Z 12800 12802 12464 0 -1 4202524 300440 0 0 0 270797 112 0 0 18 0 2 0 651806230 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12802/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2709.09
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 680.81
CPU time (s): 2709.1
CPU user time (s): 2707.97
CPU system time (s): 1.12583
CPU usage (%): 397.923
Max. virtual memory (cumulated for all children) (KiB): 459916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2707.97
system time used= 1.12583
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 300440
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= 246
involuntary context switches= 19681

runsolver used 1.57776 second user time and 3.9414 second system time

The end

Launcher Data 

Begin job on node133 at 2011-05-14 21:41:23
IDJOB=3368746
IDBENCH=82755
IDSOLVER=1846
FILE ID=node133/3368746-1305402083
RUNJOBID= node133-1305402083-12780
PBS_JOBID= 13324488
Free space on /tmp= 73648 MiB

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

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

MD5SUM BENCH= ef1a26ad366fa6cdd721df0a7f8f760c
RANDOM SEED=983576265

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
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.834
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21750776 kB
Buffers:        272760 kB
Cached:        3219728 kB
SwapCached:       8724 kB
Active:        8501400 kB
Inactive:      2419092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21750776 kB
SwapTotal:    67111528 kB
SwapFree:     67056788 kB
Dirty:           12536 kB
Writeback:           0 kB
AnonPages:     7425112 kB
Mapped:          20944 kB
Slab:           195104 kB
PageTables:      23700 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 19284716 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73640 MiB
End job on node133 at 2011-05-14 21:52:44