Trace number 3175137

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-mtSAT 2733.03 684.692

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-3175137-1304091177.cnf'
0.00/0.00	c -- header says num vars:             50
0.00/0.00	c -- header says num clauses:        4450
0.00/0.00	c -- clauses added:            0 learnts,         4450 normals,            0 xors
0.00/0.00	c -- vars added         50
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	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.38
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
0.38/0.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
0.38/0.11	c Finding binary XORs  T:     0.00 s  found:       0
0.38/0.12	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.38/0.12	c calculated reachability. Time: 0.00
0.38/0.12	c Calc default polars -  time:   0.00 s pos:      24 undec:       0 neg:      26
0.38/0.12	c =========================================================================================
0.38/0.12	c types(t): F = full restart, N = normal restart
0.38/0.12	c types(t): S = simplification begin/end, E = solution found
0.38/0.12	c restart types(rt): st = static, dy = dynamic
0.38/0.12	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.38/0.12	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.78/0.22	c  N dy     8      4295        50      4450         0      3736     31150     69560     15.79     16.67  --
1.17/0.33	c  N dy    21      8325        50      4450         0      5036     31150     88062     15.64     16.87  --
1.57/0.47	c  N dy    31     12331        50      4450         0      4835     31150     79863     15.63     16.97  --
2.77/0.75	c  N dy    47     19813        50      4450         0      6456     31150    101303     15.46     16.30  --
3.57/0.97	c  F st    59     25001        50      4450         0     10970     31150    181855     15.38     15.17  --
3.57/0.97	c  N st    59     25001        50      4450         0     10970     31150    181855     15.38     15.17  --
4.39/1.18	c  N dy    65     30001        50      4450         0      9381     31150    150148     15.38   no data  --
4.39/1.18	c  S st    65     30001        50      4450         0      9381     31150    150148     15.38   no data  --
4.77/1.21	c  S st    65     30504        50      4450         0      9841     31150    158964     15.38   no data  --
4.77/1.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.77/1.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.77/1.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.77/1.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.77/1.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4.77/1.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.96/2.08	c lits-rem:      1251  cl-subs:     1417  v-elim:      0  v-fix:    0  time:  3.46 s
8.79/2.29	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.84
8.79/2.29	c calculated reachability. Time: 0.00
8.79/2.29	c  N dy    65     30504        50      4450         0      8424     31150    133643     15.38   no data  --
9.96/2.54	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.99	c  N dy   116     44516        50      4450         0     13724     31150    222181     15.42     16.26  --
11.96/3.06	c  S st   118     45759        50      4450         0     14802     31150    241463     15.40   no data  --
12.36/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.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
12.36/3.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12.36/3.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.36/3.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
12.36/3.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.18/4.34	c lits-rem:      2046  cl-subs:     2509  v-elim:      0  v-fix:    0  time:  4.87 s
17.18/4.34	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
17.18/4.34	c vivif2 --  cl tried    12739 cl shrink        0 lits rem          0 time: 0.01
18.35/4.66	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.26
18.35/4.66	c calculated reachability. Time: 0.00
18.35/4.66	c  N dy   118     46263        50      4450         0     12739     31150    203733     15.40   no data  --
19.55/4.91	c  N dy   148     50325        50      4450         0      8770     31150    125752     15.52     16.34  --
21.57/5.42	c  N dy   174     59540        50      4450         0     16735     31150    268704     15.46     16.28  --
23.55/5.92	c  N dy   181     69394        50      4450         0     16670     31150    256219     15.30     13.66  --
23.55/5.92	c  S st   181     69394        50      4450         0     16670     31150    256219     15.30     13.66  --
23.55/5.96	c  S st   181     69899        50      4450         0     17117     31150    264690     15.30   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.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M 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:     50 time:  0.00 s
23.55/5.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.14/7.30	c lits-rem:      1852  cl-subs:     3063  v-elim:      0  v-fix:    0  time:  5.28 s
29.14/7.30	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
29.14/7.30	c vivif2 --  cl tried    14054 cl shrink        0 lits rem          0 time: 0.01
30.36/7.63	c asymm  cl-useful: 0/4298/4450 lits-rem:0 time: 1.32
30.36/7.63	c calculated reachability. Time: 0.00
30.36/7.63	c  N dy   181     69899        50      4450         0     14054     31150    212691     15.30   no data  --
31.53/7.94	c  N dy   204     74411        50      4450         0     17979     31150    284427     15.33     16.26  --
34.33/8.70	c  F st   220     87500        50      4450         0     19946     31150    301702     15.10     13.75  --
34.33/8.70	c  N st   220     87500        50      4450         0     19946     31150    301702     15.10     13.75  --
35.93/9.01	c  N dy   230     93095        50      4450         0     14626     31150    213913     15.11     17.58  --
37.53/9.41	c  N dy   251     99087        50      4450         0     19826     31150    308567     15.15     17.49  --
39.15/9.83	c  S st   287    104849        50      4450         0     13653     31150    187376     15.20   no data  --
39.15/9.88	c  S st   287    105353        50      4450         0     14099     31150    196013     15.20   no data  --
39.15/9.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.15/9.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
39.15/9.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
39.15/9.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.15/9.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.15/9.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
39.15/9.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.12/10.81	c lits-rem:       733  cl-subs:      805  v-elim:      0  v-fix:    0  time:  3.67 s
43.12/10.81	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
43.12/10.81	c vivif2 --  cl tried    13294 cl shrink        0 lits rem          0 time: 0.00
44.32/11.12	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.22
44.32/11.12	c calculated reachability. Time: 0.00
44.32/11.12	c  N dy   287    105353        50      4450         0     13294     31150    180585     15.20   no data  --
46.32/11.62	c  N dy   315    112709        50      4450         0     19720     31150    297624     15.21     16.02  --
48.33/12.19	c  N dy   350    119957        50      4450         0     13941     31150    183263     15.24     17.62  --
53.10/13.30	c  N dy   399    135121        50      4450         0     14087     31150    178327     15.21     16.11  --
55.91/14.01	c  N dy   458    144638        50      4450         0     22362     31150    331017     15.29     16.15  --
59.11/14.86	c  N dy   517    153928        50      4450         0     16619     31150    220474     15.36     18.13  --
60.31/15.12	c  S st   525    158030        50      4450         0     20127     31150    282635     15.34     13.61  --
60.31/15.17	c  S st   525    158532        50      4450         0     20579     31150    291350     15.34   no data  --
60.31/15.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
60.31/15.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
60.31/15.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
60.31/15.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
60.31/15.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
60.31/15.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
60.31/15.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
65.51/16.47	c lits-rem:      1267  cl-subs:     1988  v-elim:      0  v-fix:    0  time:  5.13 s
65.51/16.47	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
65.51/16.48	c vivif2 --  cl tried    18591 cl shrink        0 lits rem          0 time: 0.01
67.09/16.83	c asymm  cl-useful: 0/3878/4450 lits-rem:0 time: 1.43
67.09/16.83	c calculated reachability. Time: 0.00
67.09/16.83	c  N dy   525    158532        50      4450         0     18591     31150    255526     15.34   no data  --
71.09/17.84	c  N dy   592    168678        50      4450         0     27453     31150    419700     15.40     16.92  --
75.48/18.95	c  N dy   643    182108        50      4450         0     24403     31150    352066     15.41     16.31  --
79.87/20.10	c  N dy   722    193810        50      4450         0     19080     31150    252830     15.48     17.24  --
87.88/22.01	c  N dy   775    215244        50      4450         0     21129     31150    275719     15.44     16.25  --
93.46/23.46	c  N dy   859    229234        50      4450         0     33243     31150    500959     15.49     16.37  --
96.67/24.26	c  S st   904    237800        50      4450         0     23360     31150    312587     15.51   no data  --
97.05/24.32	c  S st   904    238304        50      4450         0     23806     31150    321106     15.51   no data  --
97.05/24.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
97.05/24.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.05/24.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
97.05/24.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
97.05/24.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
97.05/24.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
97.05/24.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
103.45/25.91	c lits-rem:      1261  cl-subs:     1918  v-elim:      0  v-fix:    0  time:  6.27 s
103.45/25.91	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
103.45/25.91	c vivif2 --  cl tried    21888 cl shrink        0 lits rem          0 time: 0.01
103.45/25.99	c asymm  cl-useful: 0/572/4450 lits-rem:0 time: 0.30
103.45/25.99	c calculated reachability. Time: 0.00
103.45/25.99	c  N dy   904    238304        50      4450         0     21888     31150    285613     15.51   no data  --
109.87/27.55	c  N dy   948    253578        50      4450         0     35062     31150    524835     15.50     16.83  --
116.63/29.26	c  N dy  1043    270404        50      4450         0     31615     31150    458728     15.55     16.39  --
124.62/31.29	c  N dy  1073    291595        50      4450         0     30837     31150    419253     15.45     16.30  --
131.83/33.05	c  F st  1146    306251        50      4450         0     23748     31150    296505     15.47   no data  --
133.80/33.50	c  N dy  1152    311446        50      4450         0     28220     31150    378643     15.47   no data  --
142.60/35.71	c  N dy  1203    333112        50      4450         0     26218     31150    335650     15.44     16.31  --
152.98/38.40	c  N dy  1307    354703        50      4450         0     23289     31150    274745     15.46     16.33  --
154.18/38.66	c  S st  1317    357456        50      4450         0     25655     31150    317052     15.45     13.98  --
154.58/38.73	c  S st  1317    357961        50      4450         0     26102     31150    325603     15.45   no data  --
154.58/38.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
154.58/38.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
154.58/38.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
154.58/38.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
154.58/38.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
154.58/38.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
154.58/38.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
161.77/40.54	c lits-rem:       865  cl-subs:     1567  v-elim:      0  v-fix:    0  time:  7.15 s
161.77/40.54	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
161.77/40.55	c vivif2 --  cl tried    24535 cl shrink        0 lits rem          0 time: 0.01
162.97/40.88	c asymm  cl-useful: 0/3106/4450 lits-rem:0 time: 1.34
162.97/40.88	c calculated reachability. Time: 0.00
162.97/40.88	c  N dy  1317    357961        50      4450         0     24535     31150    299457     15.45   no data  --
174.55/43.71	c  N dy  1451    378040        50      4450         0     41950     31150    623965     15.50     16.41  --
185.74/46.58	c  N dy  1582    398052        50      4450         0     36959     31150    525135     15.55     17.98  --
196.13/49.12	c  N dy  1644    418122        50      4450         0     30945     31150    397841     15.54     17.42  --
207.71/52.04	c  N dy  1698    440571        50      4450         0     26120     31150    301278     15.51     16.37  --
217.70/54.55	c  N dy  1772    460899        50      4450         0     43740     31150    624453     15.52     16.34  --
226.89/56.89	c  N dy  1819    480931        50      4450         0     35863     31150    470481     15.48     16.33  --
238.87/59.89	c  N dy  1904    500991        50      4450         0     27330     31150    311886     15.48     16.42  --
249.66/62.55	c  N dy  1983    522734        50      4450         0     46050     31150    651883     15.48     16.31  --
258.44/64.72	c  S st  2032    536942        50      4450         0     31593     31150    380650     15.48   no data  --
258.86/64.80	c  S st  2032    537445        50      4450         0     32040     31150    389366     15.48   no data  --
258.86/64.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
258.86/64.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
258.86/64.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
258.86/64.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
258.86/64.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
258.86/64.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
258.86/64.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
266.84/66.81	c lits-rem:       741  cl-subs:     1730  v-elim:      0  v-fix:    0  time:  7.93 s
266.84/66.81	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
266.84/66.81	c vivif2 --  cl tried    30310 cl shrink        0 lits rem          0 time: 0.02
267.66/67.04	c asymm  cl-useful: 0/1344/4450 lits-rem:0 time: 0.89
267.66/67.04	c calculated reachability. Time: 0.00
267.66/67.04	c  N dy  2032    537445        50      4450         0     30310     31150    359567     15.48   no data  --
278.82/69.82	c  N dy  2126    557475        50      4450         0     47568     31150    675456     15.49     16.70  --
289.62/72.51	c  N dy  2165    577680        50      4450         0     37471     31150    480359     15.46     16.34  --
303.58/76.07	c  N dy  2288    597717        50      4450         0     54850     31150    803872     15.49     16.67  --
314.78/78.88	c  N dy  2371    617747        50      4450         0     43719     31150    589885     15.50     17.01  --
328.75/82.38	c  N dy  2431    637931        50      4450         0     31838     31150    363821     15.50     16.33  --
347.53/87.02	c  N dy  2524    667901        50      4450         0     57559     31150    827640     15.49     16.37  --
361.11/90.47	c  N dy  2629    688642        50      4450         0     45335     31150    605401     15.50     16.42  --
378.29/94.73	c  N dy  2722    711409        50      4450         0     33956     31150    388617     15.51     16.40  --
393.07/98.48	c  N dy  2872    732192        50      4450         0     51991     31150    728206     15.54     16.38  --
416.24/104.26	c  N dy  2905    770452        50      4450         0     52518     31150    691857     15.46     16.35  --
430.24/107.78	c  N dy  2951    792110        50      4450         0     38504     31150    450442     15.44     16.46  --
440.61/110.34	c  S st  3071    806169        50      4450         0     50685     31150    681287     15.46   no data  --
441.01/110.47	c  S st  3071    806671        50      4450         0     51126     31150    689934     15.46   no data  --
441.01/110.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
441.01/110.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
441.01/110.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.07
441.41/110.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
441.41/110.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
441.41/110.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
441.41/110.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
465.39/116.51	c lits-rem:      2454  cl-subs:     5973  v-elim:      0  v-fix:    0  time: 23.95 s
465.39/116.51	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
465.39/116.52	c vivif2 --  cl tried    45153 cl shrink        0 lits rem          0 time: 0.03
466.17/116.73	c asymm  cl-useful: 0/974/4450 lits-rem:0 time: 0.84
466.17/116.73	c calculated reachability. Time: 0.00
466.17/116.73	c  N dy  3071    806671        50      4450         0     45153     31150    585422     15.46   no data  --
489.74/122.68	c  N dy  3126    841587        50      4450         0     41949     31150    500229     15.41     16.39  --
506.52/126.81	c  N dy  3261    862813        50      4450         0     60261     31150    843040     15.43     16.34  --
522.91/130.91	c  N dy  3385    882877        50      4450         0     43517     31150    539498     15.45     16.72  --
538.08/134.78	c  N dy  3482    902954        50      4450         0     60870     31150    861619     15.47     16.93  --
556.05/139.21	c  N dy  3596    923386        50      4450         0     43268     31150    522659     15.48     16.31  --
572.82/143.43	c  N dy  3683    945342        50      4450         0     62169     31150    867975     15.48     16.30  --
591.21/148.04	c  N dy  3814    965350        50      4450         0     43340     31150    522153     15.50     16.33  --
603.99/151.26	c  N dy  3848    986962        50      4450         0     61834     31150    848639     15.48     16.44  --
623.98/156.29	c  N dy  3942   1009361        50      4450         0     44111     31150    518447     15.48     16.34  --
641.15/160.58	c  N dy  4092   1029459        50      4450         0     61473     31150    846719     15.51     16.56  --
659.51/165.17	c  N dy  4143   1049529        50      4450         0     40792     31150    453786     15.50     16.38  --
673.89/168.76	c  N dy  4232   1069613        50      4450         0     58112     31150    774489     15.51     18.43  --
675.89/169.26	c  F st  4242   1071875        50      4450         0     60076     31150    810116     15.51     12.74  --
695.45/174.10	c  N dy  4344   1089885        50      4450         0     75603     31150   1102624     15.52     16.51  --
711.04/178.01	c  N dy  4437   1109950        50      4450         0     54155     31150    694966     15.53     16.68  --
731.81/183.24	c  N dy  4583   1129960        50      4450         0     71452     31150   1022001     15.55     16.54  --
750.59/187.90	c  N dy  4690   1149983        50      4450         0     49108     31150    599093     15.56     17.66  --
766.56/191.93	c  N dy  4767   1170315        50      4450         0     66583     31150    914347     15.55     16.43  --
806.91/202.07	c  N dy  4884   1209859        50      4450         0     59929     31150    772577     15.54     16.42  --
807.31/202.13	c  S st  4886   1210006        50      4450         0     60060     31150    775069     15.54   no data  --
808.13/202.36	c  S st  4886   1210507        50      4450         0     60506     31150    783975     15.54   no data  --
808.13/202.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
808.13/202.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
808.13/202.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
808.53/202.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
808.53/202.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
808.53/202.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
808.53/202.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
868.83/217.53	c lits-rem:      2687  cl-subs:     7869  v-elim:      0  v-fix:    0  time: 60.35 s
868.83/217.53	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
868.83/217.54	c vivif2 --  cl tried    52637 cl shrink        0 lits rem          0 time: 0.04
870.05/217.88	c asymm  cl-useful: 0/668/4450 lits-rem:0 time: 1.34
870.05/217.88	c calculated reachability. Time: 0.00
870.05/217.88	c  N dy  4886   1210507        50      4450         0     52637     31150    657383     15.54   no data  --
892.39/223.42	c  N dy  5003   1230520        50      4450         0     69832     31150    977782     15.55     16.76  --
914.35/228.91	c  N dy  5115   1250560        50      4450         0     46455     31150    532444     15.56     17.08  --
930.74/233.07	c  N dy  5194   1270582        50      4450         0     63587     31150    848687     15.56     16.41  --
953.53/238.77	c  N dy  5298   1290629        50      4450         0     80857     31150   1170764     15.57     17.15  --
981.48/245.73	c  N dy  5392   1321504        50      4450         0     65470     31150    865125     15.56     16.40  --
1008.63/252.53	c  N dy  5432   1347321        50      4450         0     44727     31150    486542     15.54     16.37  --
1028.23/257.43	c  N dy  5529   1368116        50      4450         0     62492     31150    812087     15.55     16.49  --
1051.78/263.34	c  N dy  5637   1388134        50      4450         0     79722     31150   1131875     15.56     16.76  --
1071.76/268.30	c  N dy  5715   1408210        50      4450         0     53372     31150    641754     15.56     18.50  --
1090.12/272.95	c  N dy  5801   1428225        50      4450         0     70489     31150    952280     15.56     16.69  --
1117.69/279.80	c  N dy  5944   1448302        50      4450         0     87802     31150   1279151     15.57     17.53  --
1134.06/283.92	c  N dy  5981   1470453        50      4450         0     62025     31150    776641     15.56     16.38  --
1156.83/289.62	c  N dy  6094   1491042        50      4450         0     79737     31150   1108226     15.57     16.39  --
1185.60/296.87	c  N dy  6201   1518034        50      4450         0     57563     31150    702330     15.57     16.42  --
1205.96/301.99	c  N dy  6310   1538060        50      4450         0     74708     31150   1020248     15.58     17.17  --
1228.33/307.57	c  N dy  6344   1558424        50      4450         0     92095     31150   1333171     15.57     16.50  --
1247.92/312.40	c  N dy  6484   1578448        50      4450         0     63120     31150    807276     15.58     17.31  --
1269.90/317.97	c  N dy  6581   1598816        50      4450         0     80557     31150   1128987     15.59     16.47  --
1297.84/324.98	c  N dy  6726   1618912        50      4450         0     50662     31150    565067     15.60     16.79  --
1312.62/328.61	c  N dy  6760   1638982        50      4450         0     67776     31150    875231     15.59     17.50  --
1338.99/335.27	c  N dy  6844   1662527        50      4450         0     87862     31150   1238921     15.59     16.42  --
1367.75/342.44	c  N dy  6952   1688987        50      4450         0     62523     31150    764564     15.59     16.44  --
1390.11/348.09	c  N dy  7061   1709050        50      4450         0     79719     31150   1084993     15.60     17.03  --
1392.12/348.58	c  S st  7069   1710507        50      4450         0     80969     31150   1108313     15.60     15.78  --
1393.31/348.82	c  S st  7069   1711011        50      4450         0     81416     31150   1116950     15.60   no data  --
1393.31/348.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1393.31/348.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1393.31/348.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.14
1393.31/348.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1393.31/348.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1393.31/348.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
1393.31/348.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1553.89/389.05	c lits-rem:      4857  cl-subs:    11581  v-elim:      0  v-fix:    0  time: 160.40 s
1553.89/389.06	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
1553.89/389.07	c vivif2 --  cl tried    69835 cl shrink        0 lits rem          0 time: 0.06
1555.89/389.51	c asymm  cl-useful: 0/512/4450 lits-rem:0 time: 1.75
1555.89/389.51	c calculated reachability. Time: 0.00
1555.89/389.51	c  N dy  7069   1711011        50      4450         0     69835     31150    914979     15.60   no data  --
1611.42/403.41	c  N dy  7191   1746027        50      4450         0     51801     31150    568110     15.59     16.47  --
1630.99/408.35	c  N dy  7257   1766076        50      4450         0     68927     31150    876625     15.59     16.73  --
1662.14/416.16	c  N dy  7370   1787443        50      4450         0     87262     31150   1216756     15.59     16.44  --
1700.11/425.62	c  N dy  7497   1807519        50      4450         0     55341     31150    629922     15.60     16.73  --
1741.63/436.08	c  N dy  7570   1841860        50      4450         0     84425     31150   1141123     15.58     16.56  --
1778.78/445.36	c  N dy  7694   1861922        50      4450         0     51470     31150    551474     15.59     17.39  --
1798.76/450.31	c  N dy  7810   1881963        50      4450         0     68660     31150    873110     15.60     18.63  --
1819.92/455.62	c  N dy  7859   1902709        50      4450         0     86464     31150   1197121     15.59     16.42  --
1858.70/465.36	c  N dy  7990   1930770        50      4450         0     59228     31150    677179     15.60     16.45  --
1881.45/471.06	c  N dy  8085   1953058        50      4450         0     78322     31150   1028822     15.60     16.44  --
1940.96/485.94	c  N dy  8176   2006486        50      4450         0     71580     31150    875188     15.57     16.47  --
1970.92/493.45	c  N dy  8304   2028943        50      4450         0     90858     31150   1237995     15.58     16.42  --
2018.86/505.40	c  N dy  8373   2072952        50      4450         0     75201     31150    928719     15.55     16.39  --
2087.96/522.78	c  N dy  8401   2142031        50      4450         0     80057     31150    992276     15.48     16.59  --
2122.71/531.41	c  N dy  8525   2166050        50      4450         0    100601     31150   1372395     15.48     16.37  --
2152.27/538.83	c  N dy  8663   2188090        50      4450         0     65155     31150    767455     15.49     16.33  --
2180.23/545.86	c  N dy  8826   2209378        50      4450         0     83420     31150   1113336     15.50     16.45  --
2182.63/546.50	c  S st  8841   2211011        50      4450         0     84830     31150   1140353     15.51   no data  --
2183.86/546.76	c  S st  8841   2211514        50      4450         0     85268     31150   1148966     15.51   no data  --
2183.86/546.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2183.86/546.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2184.23/546.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
2184.23/546.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2184.23/546.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2184.23/546.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
2184.23/546.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2287.29/572.63	c lits-rem:      3661  cl-subs:     9471  v-elim:      0  v-fix:    0  time: 103.04 s
2287.29/572.63	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
2287.29/572.65	c vivif2 --  cl tried    75797 cl shrink        0 lits rem          0 time: 0.06
2288.91/573.04	c asymm  cl-useful: 0/471/4450 lits-rem:0 time: 1.58
2288.91/573.04	c calculated reachability. Time: 0.00
2288.91/573.04	c  N dy  8841   2211514        50      4450         0     75797     31150    975828     15.51   no data  --
2321.24/581.16	c  N dy  8950   2231636        50      4450         0     93079     31150   1298192     15.51     16.41  --
2364.78/592.03	c  N dy  9101   2251644        50      4450         0     55472     31150    584994     15.52     17.00  --
2391.14/598.68	c  N dy  9254   2271697        50      4450         0     72722     31150    912414     15.54     18.57  --
2427.50/607.75	c  N dy  9371   2292142        50      4450         0     90259     31150   1239311     15.54     16.37  --
2475.44/619.79	c  N dy  9480   2313082        50      4450         0    108200     31150   1573113     15.55     16.41  --
2513.40/629.23	c  N dy  9560   2334850        50      4450         0     70663     31150    850308     15.55     16.42  --
2551.34/638.71	c  N dy  9706   2355831        50      4450         0     88712     31150   1191563     15.56     16.40  --
2594.47/649.58	c  N dy  9816   2376185        50      4450         0    106168     31150   1518991     15.56     16.47  --
2636.81/660.18	c  N dy  9973   2396276        50      4450         0     66215     31150    767068     15.58     17.69  --
2668.76/668.14	c  N dy 10084   2416341        50      4450         0     83349     31150   1088518     15.58     17.03  --
2707.51/677.81	c  N dy 10222   2437129        50      4450         0    101236     31150   1425999     15.59     16.42  --
2730.29/683.57	c  E dy 10273   2449229         0      4450         0    111535     31150   1616650     15.59   no data  --
2732.85/684.68	c Verified 4450 clauses.
2732.85/684.68	c Verified 4450 clauses.
2732.85/684.68	c Following stats are for *FIRST FINISHED THREAD ONLY*
2732.85/684.68	c num threads              : 4          
2732.85/684.68	c restarts                 : 10273      
2732.85/684.68	c dynamic restarts         : 10243      
2732.85/684.68	c static restarts          : 30         
2732.85/684.68	c full restarts            : 4          
2732.85/684.68	c total simplify time      : 0.01       
2732.85/684.68	c learnts DL2              : 0          
2732.85/684.68	c learnts size 2           : 0          
2732.85/684.68	c learnts size 1           : 0           (0.00      % of vars)
2732.85/684.68	c filedLit time            : 0.67        (0.02      % time)
2732.85/684.68	c v-elim SatELite          : 0           (0.00      % vars)
2732.85/684.68	c SatELite time            : 390.84      (14.31     % time)
2732.85/684.68	c v-elim xor               : 0           (0.00      % vars)
2732.85/684.68	c xor elim time            : 0.10        (0.00      % time)
2732.85/684.68	c num binary xor trees     : 0          
2732.85/684.68	c binxor trees' crown      : 0           (nan       leafs/tree)
2732.85/684.68	c bin xor find time        : 0.00       
2732.85/684.68	c OTF clause improved      : 346514      (0.14      clauses/conflict)
2732.85/684.68	c OTF impr. size diff      : 348796      (1.01       lits/clause)
2732.85/684.68	c OTF cl watch-shrink      : 0           (0.00      clauses/conflict)
2732.85/684.68	c OTF cl watch-sh-lit      : 0           (nan        lits/clause)
2732.85/684.68	c tried to recurMin cls    : 193109      (7.88       % of conflicts)
2732.85/684.68	c updated cache            : 8           (0.00       lits/tried recurMin)
2732.85/684.68	c unit cls received        : 0           (nan       % of units)
2732.85/684.68	c unit cls sent            : 0           (nan       % of units)
2732.85/684.68	c bin cls received         : 0          
2732.85/684.68	c bin cls sent             : 0          
2732.85/684.68	c clauses over max glue    : 0           (0.00      % of all clauses)
2732.85/684.68	c conflicts                : 2449229     (896.53    / sec)
2732.85/684.68	c decisions                : 2805297     (0.21      % random)
2732.85/684.68	c bogo-props               : 84527663386 (30941130.79 / sec)
2732.85/684.68	c conflict literals        : 44524543    (11.58     % deleted)
2732.85/684.68	c Memory used              : 365.32      MB
2732.85/684.68	c single-thread CPU time   : 2731.89     s
2732.85/684.68	c all-threads sum CPU time : 2731.89     s
2732.85/684.68	s SATISFIABLE
2732.85/684.68	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: 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-3175137-1304091177/watcher-3175137-1304091177 -o /tmp/evaluation-result-3175137-1304091177/solver-3175137-1304091177 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175137-1304091177.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: 3.70 4.18 5.47 7/180 17161
/proc/meminfo: memFree=26292096/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 430 0 0 0 0 0 0 0 22 0 4 0 520717328 52465664 363 33554432000 4194304 4650419 140734981034512 18446744073709551615 4300272 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 12809 366 312 112 0 7774 0
[pid=17161/tid=17162] ppid=17159 vsize=183272 CPUtime=0 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 32 0 0 0 0 0 0 0 24 0 4 0 520717328 187670528 430 33554432000 4194304 4650419 140734981034512 18446744073709551615 208080232251 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=183272 CPUtime=0 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 41 0 0 0 0 0 0 0 24 0 4 0 520717328 187670528 467 33554432000 4194304 4650419 140734981034512 18446744073709551615 208080232251 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=183272 CPUtime=0 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 4 0 520717328 187670528 496 33554432000 4194304 4650419 140734981034512 18446744073709551615 208079893189 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0508191 s]
/proc/loadavg: 3.70 4.18 5.47 7/180 17161
/proc/meminfo: memFree=26292096/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=281632 CPUtime=0.18 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 1146 0 0 0 18 0 0 0 18 0 4 0 520717328 288391168 1062 33554432000 4194304 4650419 140734981034512 18446744073709551615 4370567 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 70408 1062 366 112 0 65373 0
[pid=17161/tid=17162] ppid=17159 vsize=281632 CPUtime=0.04 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 178 0 0 0 4 0 0 0 24 0 4 0 520717328 288391168 1062 33554432000 4194304 4650419 140734981034512 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=281632 CPUtime=0.04 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 155 0 0 0 4 0 0 0 24 0 4 0 520717328 288391168 1062 33554432000 4194304 4650419 140734981034512 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=281632 CPUtime=0.04 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 223 0 0 0 4 0 0 0 18 0 4 0 520717328 288391168 1062 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 281632

[startup+0.100809 s]
/proc/loadavg: 3.70 4.18 5.47 7/180 17161
/proc/meminfo: memFree=26292096/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=281632 CPUtime=0.38 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 1228 0 0 0 38 0 0 0 18 0 4 0 520717328 288391168 1144 33554432000 4194304 4650419 140734981034512 18446744073709551615 4370519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 70408 1145 366 112 0 65373 0
[pid=17161/tid=17162] ppid=17159 vsize=281632 CPUtime=0.09 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 185 0 0 0 9 0 0 0 24 0 4 0 520717328 288391168 1145 33554432000 4194304 4650419 140734981034512 18446744073709551615 4371088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=281632 CPUtime=0.09 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 160 0 0 0 9 0 0 0 24 0 4 0 520717328 288391168 1145 33554432000 4194304 4650419 140734981034512 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=281632 CPUtime=0.09 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 288 0 0 0 9 0 0 0 18 0 4 0 520717328 288391168 1145 33554432000 4194304 4650419 140734981034512 18446744073709551615 208079893537 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 281632

[startup+0.300774 s]
/proc/loadavg: 3.70 4.18 5.47 7/180 17161
/proc/meminfo: memFree=26292096/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=284452 CPUtime=1.17 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 3372 0 0 0 117 0 0 0 18 0 4 0 520717328 291278848 2566 33554432000 4194304 4650419 140734981034512 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 71113 2566 390 112 0 66078 0
[pid=17161/tid=17162] ppid=17159 vsize=284452 CPUtime=0.29 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 809 0 0 0 29 0 0 0 25 0 4 0 520717328 291278848 2566 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=284452 CPUtime=0.29 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 791 0 0 0 29 0 0 0 25 0 4 0 520717328 291278848 2566 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=284452 CPUtime=0.29 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 584 0 0 0 29 0 0 0 18 0 4 0 520717328 291278848 2566 33554432000 4194304 4650419 140734981034512 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284452

[startup+0.700699 s]
/proc/loadavg: 3.70 4.18 5.47 7/180 17161
/proc/meminfo: memFree=26292096/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=293980 CPUtime=2.77 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 5455 0 0 0 277 0 0 0 18 0 4 0 520717328 301035520 3399 33554432000 4194304 4650419 140734981034512 18446744073709551615 4511618 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 73495 3398 390 112 0 68460 0
[pid=17161/tid=17162] ppid=17159 vsize=293980 CPUtime=0.69 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 1417 0 0 0 69 0 0 0 25 0 4 0 520717328 301035520 3159 33554432000 4194304 4650419 140734981034512 18446744073709551615 4315069 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=285228 CPUtime=0.69 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 1169 0 0 0 69 0 0 0 25 0 4 0 520717328 292073472 3159 33554432000 4194304 4650419 140734981034512 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=285228 CPUtime=0.69 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 1143 0 0 0 69 0 0 0 18 0 4 0 520717328 292073472 3159 33554432000 4194304 4650419 140734981034512 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 293980

[startup+1.50055 s]
/proc/loadavg: 3.70 4.18 5.47 9/184 17165
/proc/meminfo: memFree=26267388/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=285820 CPUtime=5.97 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 9334 0 0 0 597 0 0 0 20 0 4 0 520717328 292679680 4747 33554432000 4194304 4650419 140734981034512 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 71455 4747 392 112 0 66420 0
[pid=17161/tid=17162] ppid=17159 vsize=285820 CPUtime=1.49 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 2165 0 0 0 149 0 0 0 25 0 4 0 520717328 292679680 4747 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=285820 CPUtime=1.48 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 2037 0 0 0 148 0 0 0 25 0 4 0 520717328 292679680 4747 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=285820 CPUtime=1.49 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 1894 0 0 0 149 0 0 0 20 0 4 0 520717328 292679680 4747 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285820

[startup+3.10024 s]
/proc/loadavg: 3.70 4.18 5.47 9/184 17166
/proc/meminfo: memFree=26234776/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=292500 CPUtime=12.36 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 14894 0 0 0 1235 1 0 0 25 0 4 0 520717328 299520000 9165 33554432000 4194304 4650419 140734981034512 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 73125 9165 392 112 0 68090 0
[pid=17161/tid=17162] ppid=17159 vsize=292500 CPUtime=3.09 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 3451 0 0 0 309 0 0 0 25 0 4 0 520717328 299520000 9165 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=292500 CPUtime=3.08 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 3743 0 0 0 308 0 0 0 25 0 4 0 520717328 299520000 9165 33554432000 4194304 4650419 140734981034512 18446744073709551615 4451430 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=292500 CPUtime=3.09 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 3973 0 0 0 309 0 0 0 25 0 4 0 520717328 299520000 9165 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 292500

[startup+6.30064 s]
/proc/loadavg: 4.04 4.25 5.48 9/184 17166
/proc/meminfo: memFree=26209104/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=284032 CPUtime=25.14 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 22151 0 0 0 2511 3 0 0 25 0 4 0 520717328 290848768 11939 33554432000 4194304 4650419 140734981034512 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 71008 11939 392 112 0 65973 0
[pid=17161/tid=17162] ppid=17159 vsize=284032 CPUtime=6.29 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 5488 0 0 0 628 1 0 0 25 0 4 0 520717328 290848768 11939 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=284032 CPUtime=6.26 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 5476 0 0 0 626 0 0 0 25 0 4 0 520717328 290848768 11939 33554432000 4194304 4650419 140734981034512 18446744073709551615 4457513 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=284032 CPUtime=6.28 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 5695 0 0 0 628 0 0 0 25 0 4 0 520717328 290848768 11939 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 284032

[startup+12.7004 s]
/proc/loadavg: 4.36 4.31 5.50 10/184 17166
/proc/meminfo: memFree=26178532/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=286612 CPUtime=50.71 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 32197 0 0 0 5066 5 0 0 25 0 4 0 520717328 293490688 16668 33554432000 4194304 4650419 140734981034512 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 71653 16668 392 112 0 66618 0
[pid=17161/tid=17162] ppid=17159 vsize=286612 CPUtime=12.68 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 7979 0 0 0 1267 1 0 0 25 0 4 0 520717328 293490688 16668 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=286612 CPUtime=12.63 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 8108 0 0 0 1262 1 0 0 25 0 4 0 520717328 293490688 16668 33554432000 4194304 4650419 140734981034512 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=286612 CPUtime=12.69 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 8742 0 0 0 1268 1 0 0 25 0 4 0 520717328 293490688 16668 33554432000 4194304 4650419 140734981034512 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 286612

[startup+25.501 s]
/proc/loadavg: 5.17 4.49 5.53 9/184 17166
/proc/meminfo: memFree=26144100/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=287456 CPUtime=101.85 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 46519 0 0 0 10176 9 0 0 25 0 4 0 520717328 294354944 19563 33554432000 4194304 4650419 140734981034512 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 71864 19563 392 112 0 66829 0
[pid=17161/tid=17162] ppid=17159 vsize=287456 CPUtime=25.48 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 11887 0 0 0 2546 2 0 0 25 0 4 0 520717328 294354944 19563 33554432000 4194304 4650419 140734981034512 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=287456 CPUtime=25.36 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 10625 0 0 0 2535 1 0 0 25 0 4 0 520717328 294354944 19563 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=287456 CPUtime=25.48 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 12969 0 0 0 2546 2 0 0 25 0 4 0 520717328 294354944 19563 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 287456

[startup+51.1011 s]
/proc/loadavg: 6.19 4.78 5.60 9/184 17167
/proc/meminfo: memFree=26108232/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=288496 CPUtime=204.12 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 68161 0 0 0 20397 15 0 0 25 0 4 0 520717328 295419904 22755 33554432000 4194304 4650419 140734981034512 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 72124 22755 392 112 0 67089 0
[pid=17161/tid=17162] ppid=17159 vsize=288496 CPUtime=51.08 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 17175 0 0 0 5104 4 0 0 25 0 4 0 520717328 295419904 22755 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=288496 CPUtime=50.83 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 15931 0 0 0 5080 3 0 0 25 0 4 0 520717328 295419904 22755 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365308 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=288496 CPUtime=51.09 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 19745 0 0 0 5105 4 0 0 25 0 4 0 520717328 295419904 22755 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 288496

[startup+102.306 s]
/proc/loadavg: 7.34 5.31 5.74 10/184 17168
/proc/meminfo: memFree=26066904/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=321156 CPUtime=408.67 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 103128 0 0 0 40839 28 0 0 25 0 4 0 520717328 328863744 28174 33554432000 4194304 4650419 140734981034512 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 80289 28174 392 112 0 75254 0
[pid=17161/tid=17162] ppid=17159 vsize=321156 CPUtime=102.29 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 23862 0 0 0 10223 6 0 0 25 0 4 0 520717328 328863744 28174 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=321156 CPUtime=101.77 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 24466 0 0 0 10170 7 0 0 25 0 4 0 520717328 328863744 28174 33554432000 4194304 4650419 140734981034512 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=321156 CPUtime=102.29 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 32382 0 0 0 10221 8 0 0 25 0 4 0 520717328 328863744 28174 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.67
Current children cumulated vsize (KiB) 321156

[startup+162.301 s]

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

/proc/17161/task/17164/stat : 17164 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 72569 0 0 0 46206 24 0 0 25 0 4 0 520717328 327077888 52365 33554432000 4194304 4650419 140734981034512 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1846.69
Current children cumulated vsize (KiB) 319412

[startup+522.3 s]
/proc/loadavg: 8.06 7.37 6.57 9/184 17209
/proc/meminfo: memFree=25844052/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=385504 CPUtime=2086.37 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 281467 0 0 0 208538 99 0 0 25 0 4 0 520717328 394756096 59251 33554432000 4194304 4650419 140734981034512 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 96376 59251 392 112 0 91341 0
[pid=17161/tid=17162] ppid=17159 vsize=385504 CPUtime=522.27 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 66690 0 0 0 52206 21 0 0 25 0 4 0 520717328 394756096 59251 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=385504 CPUtime=519.5 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 68489 0 0 0 51925 25 0 0 25 0 4 0 520717328 394756096 59251 33554432000 4194304 4650419 140734981034512 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=385504 CPUtime=522.3 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 78359 0 0 0 52203 27 0 0 25 0 4 0 520717328 394756096 59251 33554432000 4194304 4650419 140734981034512 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2086.37
Current children cumulated vsize (KiB) 385504

[startup+582.301 s]
/proc/loadavg: 8.06 7.50 6.66 9/184 17211
/proc/meminfo: memFree=25807908/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=385848 CPUtime=2326.03 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 300035 0 0 0 232496 107 0 0 25 0 4 0 520717328 395108352 58670 33554432000 4194304 4650419 140734981034512 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 96462 58670 392 112 0 91427 0
[pid=17161/tid=17162] ppid=17159 vsize=385848 CPUtime=582.28 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 70081 0 0 0 58204 24 0 0 25 0 4 0 520717328 395108352 58670 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=385848 CPUtime=579.17 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 74146 0 0 0 57889 28 0 0 25 0 4 0 520717328 395108352 58670 33554432000 4194304 4650419 140734981034512 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=385848 CPUtime=582.31 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 82741 0 0 0 58202 29 0 0 25 0 4 0 520717328 395108352 58670 33554432000 4194304 4650419 140734981034512 18446744073709551615 4439111 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2326.03
Current children cumulated vsize (KiB) 385848

[startup+642.301 s]
/proc/loadavg: 8.05 7.60 6.74 9/184 17213
/proc/meminfo: memFree=25740292/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=439548 CPUtime=2565.73 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 310619 0 0 0 256462 111 0 0 25 0 4 0 520717328 450097152 63783 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 109887 63783 392 112 0 104852 0
[pid=17161/tid=17162] ppid=17159 vsize=439548 CPUtime=642.28 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 71536 0 0 0 64204 24 0 0 25 0 4 0 520717328 450097152 63783 33554432000 4194304 4650419 140734981034512 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=439548 CPUtime=638.84 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 78176 0 0 0 63855 29 0 0 25 0 4 0 520717328 450097152 63783 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=439548 CPUtime=642.31 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 83675 0 0 0 64202 29 0 0 25 0 4 0 520717328 450097152 63783 33554432000 4194304 4650419 140734981034512 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2565.73
Current children cumulated vsize (KiB) 439548

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

[startup+665.507 s]
/proc/loadavg: 8.16 7.66 6.79 9/184 17213
/proc/meminfo: memFree=25733344/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=374068 CPUtime=2658.4 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 312978 0 0 0 265728 112 0 0 25 0 4 0 520717328 383045632 60797 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 93517 60797 392 112 0 88482 0
[pid=17161/tid=17162] ppid=17159 vsize=374068 CPUtime=665.48 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 71536 0 0 0 66524 24 0 0 25 0 4 0 520717328 383045632 60797 33554432000 4194304 4650419 140734981034512 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=374068 CPUtime=661.92 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 80000 0 0 0 66162 30 0 0 25 0 4 0 520717328 383045632 60797 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=374068 CPUtime=665.52 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 83775 0 0 0 66523 29 0 0 25 0 4 0 520717328 383045632 60797 33554432000 4194304 4650419 140734981034512 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2658.4
Current children cumulated vsize (KiB) 374068

[startup+678.301 s]
/proc/loadavg: 8.13 7.67 6.80 9/184 17214
/proc/meminfo: memFree=25729616/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=374068 CPUtime=2709.51 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 313912 0 0 0 270839 112 0 0 25 0 4 0 520717328 383045632 61643 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365252 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 93517 61643 392 112 0 88482 0
[pid=17161/tid=17162] ppid=17159 vsize=374068 CPUtime=678.28 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 71536 0 0 0 67804 24 0 0 25 0 4 0 520717328 383045632 61643 33554432000 4194304 4650419 140734981034512 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=374068 CPUtime=674.65 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 80508 0 0 0 67435 30 0 0 25 0 4 0 520717328 383045632 61643 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=374068 CPUtime=678.31 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 84196 0 0 0 67802 29 0 0 25 0 4 0 520717328 383045632 61643 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2709.51
Current children cumulated vsize (KiB) 374068

[startup+681.501 s]
/proc/loadavg: 8.12 7.68 6.81 9/184 17214
/proc/meminfo: memFree=25729116/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=374068 CPUtime=2722.3 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 314137 0 0 0 272117 113 0 0 25 0 4 0 520717328 383045632 61868 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 93517 61868 392 112 0 88482 0
[pid=17161/tid=17162] ppid=17159 vsize=374068 CPUtime=681.48 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 71536 0 0 0 68124 24 0 0 25 0 4 0 520717328 383045632 61868 33554432000 4194304 4650419 140734981034512 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=374068 CPUtime=677.83 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 80615 0 0 0 67753 30 0 0 25 0 4 0 520717328 383045632 61868 33554432000 4194304 4650419 140734981034512 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=374068 CPUtime=681.51 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 84314 0 0 0 68122 29 0 0 25 0 4 0 520717328 383045632 61868 33554432000 4194304 4650419 140734981034512 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2722.3
Current children cumulated vsize (KiB) 374068

[startup+683.107 s]
/proc/loadavg: 8.12 7.68 6.81 9/184 17214
/proc/meminfo: memFree=25724528/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=374088 CPUtime=2728.71 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 315009 0 0 0 272758 113 0 0 25 0 4 0 520717328 383066112 60526 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365252 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 93522 60526 392 112 0 88487 0
[pid=17161/tid=17162] ppid=17159 vsize=374088 CPUtime=683.08 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 71536 0 0 0 68284 24 0 0 25 0 4 0 520717328 383066112 60526 33554432000 4194304 4650419 140734981034512 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=374088 CPUtime=679.43 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 80666 0 0 0 67912 31 0 0 25 0 4 0 520717328 383066112 60526 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=374088 CPUtime=683.11 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 85135 0 0 0 68282 29 0 0 25 0 4 0 520717328 383066112 60526 33554432000 4194304 4650419 140734981034512 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2728.71
Current children cumulated vsize (KiB) 374088

[startup+683.901 s]
/proc/loadavg: 8.12 7.68 6.81 9/184 17214
/proc/meminfo: memFree=25724528/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=374088 CPUtime=2731.45 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 315056 0 0 0 273032 113 0 0 25 0 4 0 520717328 383066112 60573 33554432000 4194304 4650419 140734981034512 18446744073709551615 47629414204971 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 93522 60573 392 112 0 88487 0
[pid=17161/tid=17162] ppid=17159 vsize=374088 CPUtime=683.88 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 71536 0 0 0 68364 24 0 0 25 0 4 0 520717328 383066112 60573 33554432000 4194304 4650419 140734981034512 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=374088 CPUtime=680.01 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) S 17159 17161 15268 0 -1 4202560 80681 0 0 0 67970 31 0 0 25 0 4 0 520717328 383066112 60573 33554432000 4194304 4650419 140734981034512 18446744073709551615 47629414229556 0 0 4096 2 18446604471143711936 0 0 -1 7 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=374088 CPUtime=683.69 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) S 17159 17161 15268 0 -1 4202560 85167 0 0 0 68340 29 0 0 25 0 4 0 520717328 383066112 60573 33554432000 4194304 4650419 140734981034512 18446744073709551615 47629414229556 0 0 4096 2 18446604471143711936 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2731.45
Current children cumulated vsize (KiB) 374088

[startup+684.301 s]
/proc/loadavg: 8.11 7.68 6.81 7/184 17214
/proc/meminfo: memFree=25723288/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=374088 CPUtime=2732.25 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 315056 0 0 0 273112 113 0 0 25 0 4 0 520717328 383066112 60573 33554432000 4194304 4650419 140734981034512 18446744073709551615 47629414204971 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 93522 60573 392 112 0 88487 0
[pid=17161/tid=17162] ppid=17159 vsize=374088 CPUtime=684.28 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 71536 0 0 0 68404 24 0 0 25 0 4 0 520717328 383066112 60573 33554432000 4194304 4650419 140734981034512 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=374088 CPUtime=680.01 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) S 17159 17161 15268 0 -1 4202560 80681 0 0 0 67970 31 0 0 25 0 4 0 520717328 383066112 60573 33554432000 4194304 4650419 140734981034512 18446744073709551615 47629414229556 0 0 4096 2 18446604471143711936 0 0 -1 7 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=374088 CPUtime=683.69 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) S 17159 17161 15268 0 -1 4202560 85167 0 0 0 68340 29 0 0 25 0 4 0 520717328 383066112 60573 33554432000 4194304 4650419 140734981034512 18446744073709551615 47629414229556 0 0 4096 2 18446604471143711936 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2732.25
Current children cumulated vsize (KiB) 374088

[startup+684.5 s]
/proc/loadavg: 8.11 7.68 6.81 7/184 17214
/proc/meminfo: memFree=25723288/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=374088 CPUtime=2732.65 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 315056 0 0 0 273152 113 0 0 25 0 4 0 520717328 383066112 60573 33554432000 4194304 4650419 140734981034512 18446744073709551615 47629414205124 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 93522 60573 392 112 0 88487 0
[pid=17161/tid=17162] ppid=17159 vsize=374088 CPUtime=684.48 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 71536 0 0 0 68424 24 0 0 25 0 4 0 520717328 383066112 60573 33554432000 4194304 4650419 140734981034512 18446744073709551615 4370480 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=374088 CPUtime=680.01 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) S 17159 17161 15268 0 -1 4202560 80681 0 0 0 67970 31 0 0 25 0 4 0 520717328 383066112 60573 33554432000 4194304 4650419 140734981034512 18446744073709551615 47629414229556 0 0 4096 2 18446604471143711936 0 0 -1 7 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=374088 CPUtime=683.69 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) S 17159 17161 15268 0 -1 4202560 85167 0 0 0 68340 29 0 0 25 0 4 0 520717328 383066112 60573 33554432000 4194304 4650419 140734981034512 18446744073709551615 47629414229556 0 0 4096 2 18446604471143711936 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2732.65
Current children cumulated vsize (KiB) 374088

[startup+684.6 s]
/proc/loadavg: 8.11 7.68 6.81 7/184 17214
/proc/meminfo: memFree=25723288/32950928 swapFree=67111364/67111528
[pid=17161] ppid=17159 vsize=374088 CPUtime=2732.85 cores=1,3,5,7
/proc/17161/stat : 17161 (strangenight1-m) R 17159 17161 15268 0 -1 4202496 315056 0 0 0 273172 113 0 0 25 0 4 0 520717328 383066112 60573 33554432000 4194304 4650419 140734981034512 18446744073709551615 47629414204971 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17161/statm: 93522 60573 392 112 0 88487 0
[pid=17161/tid=17162] ppid=17159 vsize=374088 CPUtime=684.58 cores=1,3,5,7
/proc/17161/task/17162/stat : 17162 (strangenight1-m) R 17159 17161 15268 0 -1 4202560 71536 0 0 0 68434 24 0 0 25 0 4 0 520717328 383066112 60573 33554432000 4194304 4650419 140734981034512 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17161/tid=17163] ppid=17159 vsize=374088 CPUtime=680.01 cores=1,3,5,7
/proc/17161/task/17163/stat : 17163 (strangenight1-m) S 17159 17161 15268 0 -1 4202560 80681 0 0 0 67970 31 0 0 25 0 4 0 520717328 383066112 60573 33554432000 4194304 4650419 140734981034512 18446744073709551615 47629414229556 0 0 4096 2 18446604471143711936 0 0 -1 7 0 0 0
[pid=17161/tid=17164] ppid=17159 vsize=374088 CPUtime=683.69 cores=1,3,5,7
/proc/17161/task/17164/stat : 17164 (strangenight1-m) S 17159 17161 15268 0 -1 4202560 85167 0 0 0 68340 29 0 0 25 0 4 0 520717328 383066112 60573 33554432000 4194304 4650419 140734981034512 18446744073709551615 47629414229556 0 0 4096 2 18446604471143711936 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2732.85
Current children cumulated vsize (KiB) 374088

Child status: 10
Real time (s): 684.692
CPU time (s): 2733.03
CPU user time (s): 2731.89
CPU system time (s): 1.14383
CPU usage (%): 399.162
Max. virtual memory (cumulated for all children) (KiB): 439604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2731.89
system time used= 1.14383
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315064
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= 261
involuntary context switches= 20167

runsolver used 1.11783 second user time and 2.59361 second system time

The end

Launcher Data 

Begin job on node127 at 2011-04-29 17:32:57
IDJOB=3175137
IDBENCH=82755
IDSOLVER=1588
FILE ID=node127/3175137-1304091177
RUNJOBID= node127-1304091176-17139
PBS_JOBID= 13170516
Free space on /tmp= 71812 MiB

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

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

MD5SUM BENCH= ef1a26ad366fa6cdd721df0a7f8f760c
RANDOM SEED=1037189504

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26292376 kB
Buffers:       1398828 kB
Cached:        4718312 kB
SwapCached:          0 kB
Active:        1797916 kB
Inactive:      4385860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26292376 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           12424 kB
Writeback:           0 kB
AnonPages:       66732 kB
Mapped:          15260 kB
Slab:           410524 kB
PageTables:       4724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   272256 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= 71808 MiB
End job on node127 at 2011-04-29 17:44:21