Trace number 3175230

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.37 1201.73

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175230-1304102111.cnf'
0.00/0.00	c -- header says num vars:             70
0.00/0.00	c -- header says num clauses:        6230
0.00/0.01	c -- clauses added:            0 learnts,         6230 normals,            0 xors
0.00/0.01	c -- vars added         70
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.40/0.14	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 0.54
0.40/0.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.40/0.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.40/0.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.40/0.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
0.40/0.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.40/1.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
0.40/1.00	c Finding binary XORs  T:     0.00 s  found:       0
0.40/1.00	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.40/1.00	c calculated reachability. Time: 0.00
0.40/1.00	c Calc default polars -  time:   0.00 s pos:      40 undec:       2 neg:      28
0.40/1.00	c =========================================================================================
0.40/1.00	c types(t): F = full restart, N = normal restart
0.40/1.00	c types(t): S = simplification begin/end, E = solution found
0.40/1.00	c restart types(rt): st = static, dy = dynamic
0.40/1.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.40/1.00	c  B st     0         0        70      6230         0         0     43610         0   no data   no data  --
0.40/1.00	c  N dy     7      5264        70      6230         0      2512     43610     54901     21.42     22.60  --
0.40/1.00	c  N dy    11     10831        70      6230         0      7552     43610    173607     20.25     21.32  --
0.40/1.00	c  N dy    30     17199        70      6230         0      9439     43610    209304     20.30     21.38  --
0.40/1.00	c  N dy    53     21205        70      6230         0      7999     43610    164566     20.50     21.59  --
4.78/1.20	c  F st    71     25002        70      6230         0     11458     43610    247958     20.52     20.21  --
4.78/1.20	c  N st    72     25252        70      6230         0     11681     43610    253447     20.52   no data  --
5.58/1.40	c  N dy    77     30000        70      6230         0      9812     43610    197413     20.52   no data  --
5.58/1.40	c  S st    77     30000        70      6230         0      9812     43610    197413     20.52   no data  --
5.58/1.40	c  S st    77     30502        70      6230         0     10276     43610    208853     20.52   no data  --
5.58/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.58/1.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.58/1.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.58/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.58/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.58/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
5.58/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.17/2.36	c lits-rem:      1550  cl-subs:      852  v-elim:      0  v-fix:    0  time:  3.83 s
10.36/2.68	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.26
10.36/2.68	c calculated reachability. Time: 0.00
10.36/2.68	c  N dy    77     30502        70      6230         0      9424     43610    185595     20.52   no data  --
11.16/2.89	c  N dy    95     34871        70      6230         0     13428     43610    283255     20.62     21.73  --
12.39/3.11	c  N dy   115     39016        70      6230         0     10040     43610    188874     20.74     21.89  --
13.16/3.32	c  N dy   127     43076        70      6230         0     13720     43610    277649     20.75     21.99  --
13.56/3.48	c  S st   134     45753        70      6230         0     16148     43610    336777     20.77     20.49  --
13.96/3.52	c  S st   134     46259        70      6230         0      8507     43610    139098     20.77   no data  --
13.96/3.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.96/3.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.96/3.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
13.96/3.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.96/3.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.96/3.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
13.96/3.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.16/4.31	c lits-rem:       120  cl-subs:       40  v-elim:      0  v-fix:    0  time:  3.11 s
17.16/4.31	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
17.16/4.31	c vivif2 --  cl tried     8467 cl shrink        0 lits rem          0 time: 0.01
17.96/4.57	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.04
17.96/4.57	c calculated reachability. Time: 0.00
17.96/4.57	c  N dy   134     46259        70      6230         0      8467     43610    137830     20.77   no data  --
21.55/5.45	c  N dy   136     63230        70      6230         0     14717     43610    275689     20.21     21.33  --
22.75/5.75	c  N dy   157     67618        70      6230         0     18705     43610    371774     20.27     21.44  --
23.55/5.90	c  S st   169     69390        70      6230         0     10387     43610    161776     20.31     20.00  --
23.55/5.93	c  S st   169     69892        70      6230         0     10862     43610    173514     20.31   no data  --
23.55/5.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.55/5.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.55/5.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
23.55/5.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.55/5.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.55/5.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
23.55/5.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.14/6.83	c lits-rem:       273  cl-subs:      151  v-elim:      0  v-fix:    0  time:  3.52 s
27.14/6.83	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
27.14/6.83	c vivif2 --  cl tried    10711 cl shrink        0 lits rem          0 time: 0.01
28.35/7.14	c asymm  cl-useful: 0/6230/6230 lits-rem:0 time: 1.24
28.35/7.14	c calculated reachability. Time: 0.00
28.35/7.14	c  N dy   169     69892        70      6230         0     10711     43610    169327     20.31   no data  --
29.55/7.43	c  N dy   203     74694        70      6230         0     15095     43610    276041     20.41     21.55  --
30.74/7.77	c  N dy   219     79869        70      6230         0     19774     43610    389287     20.43     21.60  --
32.34/8.15	c  N dy   232     85782        70      6230         0     14254     43610    243202     20.41     21.73  --
32.74/8.28	c  F st   249     87500        70      6230         0     15828     43610    282103     20.45     21.20  --
34.35/8.65	c  N dy   255     92692        70      6230         0     20517     43610    395231     20.45   no data  --
36.33/9.12	c  N dy   284     98754        70      6230         0     14223     43610    228220     20.50     21.64  --
37.94/9.51	c  S st   295    104839        70      6230         0     19727     43610    359495     20.46     19.83  --
37.94/9.57	c  S st   295    105346        70      6230         0     20201     43610    371051     20.46   no data  --
37.94/9.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
37.94/9.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
37.94/9.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
37.94/9.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
37.94/9.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
37.94/9.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
37.94/9.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.32/11.17	c lits-rem:      2131  cl-subs:     1939  v-elim:      0  v-fix:    0  time:  6.31 s
44.32/11.17	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
44.32/11.17	c vivif2 --  cl tried    18262 cl shrink        0 lits rem          0 time: 0.02
45.92/11.55	c asymm  cl-useful: 0/4636/6230 lits-rem:0 time: 1.51
45.92/11.55	c calculated reachability. Time: 0.00
45.92/11.55	c  N dy   295    105346        70      6230         0     18262     43610    322995     20.46   no data  --
47.91/12.05	c  N dy   316    112171        70      6230         0     24422     43610    471504     20.48     21.61  --
50.32/12.68	c  N dy   317    121850        70      6230         0     20501     43610    363392     20.35     21.43  --
53.11/13.38	c  N dy   362    129645        70      6230         0     14102     43610    203404     20.43     21.61  --
55.92/14.04	c  N dy   395    139275        70      6230         0     22832     43610    414602     20.46     21.64  --
61.50/15.42	c  N dy   400    158019        70      6230         0     25183     43610    440578     20.14     15.56  --
61.50/15.42	c  S st   400    158019        70      6230         0     25183     43610    440578     20.14     15.56  --
61.50/15.49	c  S st   400    158523        70      6230         0     25653     43610    452216     20.14   no data  --
61.50/15.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
61.50/15.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.50/15.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
61.90/15.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
61.90/15.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
61.90/15.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
61.90/15.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
71.09/17.82	c lits-rem:      1616  cl-subs:     3187  v-elim:      0  v-fix:    0  time:  9.24 s
71.09/17.82	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
71.09/17.83	c vivif2 --  cl tried    22466 cl shrink        0 lits rem          0 time: 0.02
71.89/18.02	c asymm  cl-useful: 0/1594/6230 lits-rem:0 time: 0.77
71.89/18.03	c calculated reachability. Time: 0.00
71.89/18.03	c  N dy   400    158523        70      6230         0     22466     43610    385793     20.14   no data  --
75.88/19.09	c  N dy   435    168933        70      6230         0     16788     43610    242788     20.15     21.21  --
79.88/20.09	c  N dy   513    179798        70      6230         0     26676     43610    485004     20.25     21.45  --
85.07/21.33	c  N dy   550    193390        70      6230         0     22703     43610    367288     20.26     21.40  --
91.08/22.88	c  N dy   609    207147        70      6230         0     18048     43610    247964     20.30     21.47  --
96.65/24.24	c  N dy   646    222540        70      6230         0     31940     43610    575684     20.24     21.31  --
102.25/25.67	c  N dy   693    237405        70      6230         0     27325     43610    454528     20.25     21.41  --
102.65/25.71	c  S st   697    237784        70      6230         0     27676     43610    463356     20.26   no data  --
102.65/25.79	c  S st   697    238289        70      6230         0     28145     43610    474951     20.26   no data  --
102.65/25.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
102.65/25.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
103.05/25.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
103.05/25.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
103.05/25.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
103.05/25.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
103.05/25.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
111.84/28.01	c lits-rem:      1656  cl-subs:     2229  v-elim:      0  v-fix:    0  time:  8.78 s
111.84/28.01	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
111.84/28.02	c vivif2 --  cl tried    25916 cl shrink        0 lits rem          0 time: 0.02
113.46/28.43	c asymm  cl-useful: 0/3634/6230 lits-rem:0 time: 1.65
113.46/28.43	c calculated reachability. Time: 0.00
113.46/28.43	c  N dy   697    238289        70      6230         0     25916     43610    419839     20.26   no data  --
123.83/31.00	c  N dy   741    265726        70      6230         0     31633     43610    532924     20.14     21.45  --
131.81/33.06	c  N dy   883    282866        70      6230         0     27503     43610    439191     20.26     21.35  --
141.80/35.54	c  N dy   948    305892        70      6230         0     27526     43610    418669     20.25     21.33  --
141.80/35.58	c  F st   951    306251        70      6230         0     27858     43610    426818     20.25     20.15  --
151.39/37.99	c  N dy  1048    325475        70      6230         0     23555     43610    315207     20.31     21.43  --
161.39/40.41	c  N dy  1124    347513        70      6230         0     43473     43610    792296     20.33     21.77  --
165.78/41.54	c  S st  1171    357435        70      6230         0     29880     43610    459066     20.35     19.41  --
166.19/41.62	c  S st  1171    357942        70      6230         0     30339     43610    470299     20.35   no data  --
166.19/41.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
166.19/41.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
166.19/41.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
166.19/41.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
166.19/41.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
166.19/41.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
166.19/41.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
174.98/43.84	c lits-rem:      1409  cl-subs:     1527  v-elim:      0  v-fix:    0  time:  8.74 s
174.98/43.84	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
174.98/43.84	c vivif2 --  cl tried    28812 cl shrink        0 lits rem          0 time: 0.02
176.56/44.28	c asymm  cl-useful: 0/2596/6230 lits-rem:0 time: 1.74
176.56/44.28	c calculated reachability. Time: 0.00
176.56/44.28	c  N dy  1171    357942        70      6230         0     28812     43610    430517     20.35   no data  --
190.14/47.69	c  N dy  1258    379387        70      6230         0     24791     43610    318405     20.38     21.60  --
200.13/50.19	c  N dy  1336    399413        70      6230         0     42911     43610    756002     20.39     23.11  --
209.74/52.51	c  N dy  1389    419486        70      6230         0     36563     43610    580883     20.36     22.49  --
220.91/55.38	c  N dy  1471    440431        70      6230         0     30198     43610    417010     20.38     21.55  --
232.89/58.31	c  N dy  1556    463049        70      6230         0     50655     43610    911307     20.38     21.51  --
242.88/60.87	c  N dy  1649    483350        70      6230         0     42918     43610    717467     20.41     21.56  --
256.07/64.10	c  N dy  1792    503373        70      6230         0     33936     43610    487532     20.47     22.41  --
266.86/66.85	c  N dy  1850    523387        70      6230         0     52017     43610    920749     20.47     24.17  --
274.04/68.62	c  S st  1879    536913        70      6230         0     36168     43610    526118     20.46     20.45  --
274.44/68.70	c  S st  1879    537422        70      6230         0     36641     43610    538219     20.46   no data  --
274.44/68.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
274.44/68.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
274.44/68.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
274.44/68.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
274.44/68.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
274.44/68.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
274.44/68.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
283.63/71.02	c lits-rem:      1148  cl-subs:     2007  v-elim:      0  v-fix:    0  time:  9.14 s
283.63/71.02	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
283.63/71.03	c vivif2 --  cl tried    34634 cl shrink        0 lits rem          0 time: 0.02
284.44/71.23	c asymm  cl-useful: 0/1506/6230 lits-rem:0 time: 0.80
284.44/71.23	c calculated reachability. Time: 0.00
284.44/71.23	c  N dy  1879    537422        70      6230         0     34634     43610    489189     20.46   no data  --
297.62/74.51	c  N dy  1947    560653        70      6230         0     55605     43610    994504     20.46     21.78  --
309.20/77.48	c  N dy  2056    580751        70      6230         0     44977     43610    732202     20.50     22.50  --
325.17/81.40	c  N dy  2113    608210        70      6230         0     39854     43610    584366     20.47     21.56  --
339.95/85.11	c  N dy  2182    632614        70      6230         0     31237     43610    369771     20.46     21.61  --
353.13/88.43	c  N dy  2290    654532        70      6230         0     51017     43610    851980     20.49     21.59  --
367.52/92.00	c  N dy  2320    677503        70      6230         0     40184     43610    566804     20.46     21.78  --
380.71/95.32	c  N dy  2407    697560        70      6230         0     58280     43610   1003792     20.47     23.98  --
397.08/99.40	c  N dy  2497    720201        70      6230         0     46250     43610    703636     20.49     21.57  --
413.46/103.56	c  N dy  2575    740239        70      6230         0     64341     43610   1138074     20.49     22.03  --
425.06/106.50	c  N dy  2656    760287        70      6230         0     49129     43610    763338     20.50     22.27  --
441.42/110.54	c  N dy  2755    780381        70      6230         0     67288     43610   1205640     20.52     22.19  --
453.42/113.53	c  N dy  2800    800879        70      6230         0     51406     43610    798266     20.51     21.77  --
457.41/114.54	c  S st  2828    806135        70      6230         0     56166     43610    914967     20.52     19.62  --
458.21/114.70	c  S st  2828    806639        70      6230         0     56634     43610    926363     20.52   no data  --
458.21/114.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
458.21/114.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
458.21/114.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
458.21/114.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
458.21/114.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
458.21/114.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
458.21/114.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
496.15/124.22	c lits-rem:      2413  cl-subs:     5334  v-elim:      0  v-fix:    0  time: 37.80 s
496.15/124.22	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
496.15/124.23	c vivif2 --  cl tried    51300 cl shrink        0 lits rem          0 time: 0.05
497.36/124.56	c asymm  cl-useful: 0/899/6230 lits-rem:0 time: 1.32
497.36/124.56	c calculated reachability. Time: 0.00
497.36/124.56	c  N dy  2828    806639        70      6230         0     51300     43610    796465     20.52   no data  --
516.52/129.35	c  N dy  2925    829580        70      6230         0     37036     43610    441872     20.53     21.71  --
528.51/132.39	c  N dy  3003    849647        70      6230         0     55112     43610    877980     20.54     22.20  --
546.88/136.99	c  N dy  3110    869958        70      6230         0     37501     43610    440052     20.56     21.67  --
570.85/142.91	c  N dy  3175    907782        70      6230         0     71410     43610   1245228     20.52     21.60  --
585.24/146.52	c  N dy  3264    928811        70      6230         0     53602     43610    815549     20.52     21.63  --
604.01/151.20	c  N dy  3354    950710        70      6230         0     73423     43610   1297702     20.54     21.62  --
618.40/154.86	c  N dy  3428    970890        70      6230         0     53787     43610    805527     20.54     21.65  --
635.58/159.20	c  N dy  3496    992727        70      6230         0     73418     43610   1277242     20.54     21.66  --
650.35/162.87	c  N dy  3558   1012884        70      6230         0     52822     43610    771169     20.54     21.62  --
668.33/167.32	c  N dy  3673   1032959        70      6230         0     70967     43610   1215157     20.56     22.94  --
682.31/170.81	c  N dy  3718   1053049        70      6230         0     49355     43610    675493     20.55     21.64  --
696.28/174.36	c  F st  3790   1071875        70      6230         0     66382     43610   1088822     20.55     21.05  --
697.49/174.64	c  N st  3793   1073065        70      6230         0     67458     43610   1115306     20.55   no data  --
718.26/179.80	c  N dy  3878   1097772        70      6230         0     49145     43610    656052     20.56     21.67  --
735.04/184.03	c  N dy  3989   1117804        70      6230         0     67219     43610   1101033     20.58     21.69  --
753.01/188.59	c  N dy  4036   1137846        70      6230         0     43837     43610    517034     20.58     21.69  --
765.80/191.76	c  N dy  4057   1157918        70      6230         0     61934     43610    948584     20.57     21.86  --
787.77/197.22	c  N dy  4092   1179615        70      6230         0     81289     43610   1408704     20.55     21.66  --
807.77/202.27	c  N dy  4168   1199632        70      6230         0     56999     43610    817583     20.55     22.46  --
816.55/204.48	c  S st  4197   1209961        70      6230         0     66265     43610   1040134     20.55     18.91  --
817.73/204.71	c  S st  4197   1210464        70      6230         0     66726     43610   1051804     20.55   no data  --
817.73/204.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
817.73/204.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
817.73/204.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
817.73/204.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
817.73/204.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
817.73/204.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
817.73/204.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
898.02/224.81	c lits-rem:      3517  cl-subs:     6131  v-elim:      0  v-fix:    0  time: 79.98 s
898.02/224.81	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
898.02/224.82	c vivif2 --  cl tried    60595 cl shrink        0 lits rem          0 time: 0.05
899.22/225.19	c asymm  cl-useful: 0/762/6230 lits-rem:0 time: 1.47
899.22/225.19	c calculated reachability. Time: 0.00
899.22/225.19	c  N dy  4197   1210464        70      6230         0     60595     43610    904080     20.55   no data  --
925.59/231.75	c  N dy  4294   1233748        70      6230         0     81637     43610   1414939     20.56     21.86  --
946.36/236.91	c  N dy  4371   1260168        70      6230         0     62464     43610    936145     20.56     21.77  --
985.90/246.88	c  N dy  4434   1307256        70      6230         0     60776     43610    873493     20.52     21.68  --
1014.66/254.02	c  N dy  4473   1334636        70      6230         0     85303     43610   1458443     20.51     21.60  --
1042.22/260.91	c  N dy  4591   1361600        70      6230         0     64756     43610    974189     20.52     21.69  --
1063.00/266.16	c  N dy  4612   1384967        70      6230         0     85515     43610   1457612     20.49     21.62  --
1080.19/270.40	c  N dy  4650   1405054        70      6230         0     57890     43610    790839     20.49     22.35  --
1099.75/275.38	c  N dy  4770   1425079        70      6230         0     75977     43610   1236345     20.50     22.77  --
1126.51/282.05	c  N dy  4864   1447066        70      6230         0     49109     43610    564159     20.51     21.71  --
1144.88/286.67	c  N dy  4955   1469410        70      6230         0     69263     43610   1052371     20.52     21.62  --
1170.05/292.95	c  N dy  5058   1491721        70      6230         0     89366     43610   1540457     20.52     21.61  --
1190.05/297.98	c  N dy  5147   1511750        70      6230         0     59708     43610    810527     20.53     22.26  --
1209.20/302.77	c  N dy  5227   1531845        70      6230         0     77871     43610   1251401     20.54     21.72  --
1231.57/308.38	c  N dy  5289   1551858        70      6230         0     95894     43610   1688176     20.54     22.66  --
1253.54/313.85	c  N dy  5391   1576595        70      6230         0     69487     43610   1030879     20.54     21.65  --
1283.50/321.38	c  N dy  5474   1605348        70      6230         0     95363     43610   1655010     20.54     21.63  --
1304.29/326.54	c  N dy  5611   1625357        70      6230         0     63976     43610    895437     20.56     21.90  --
1327.44/332.31	c  N dy  5682   1650137        70      6230         0     86300     43610   1432314     20.55     21.67  --
1349.81/337.97	c  N dy  5738   1670154        70      6230         0     53832     43610    627772     20.55     21.99  --
1368.19/342.56	c  N dy  5853   1690168        70      6230         0     71899     43610   1073056     20.56     22.12  --
1392.96/348.72	c  N dy  5965   1710464        70      6230         0     90240     43610   1521130     20.57     17.96  --
1392.96/348.72	c  S st  5965   1710464        70      6230         0     90240     43610   1521130     20.57     17.96  --
1394.16/349.06	c  S st  5965   1710969        70      6230         0     90710     43610   1533061     20.57   no data  --
1394.16/349.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1394.16/349.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1394.56/349.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.22
1394.56/349.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1394.56/349.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1394.56/349.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
1394.56/349.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1934.21/484.26	c lits-rem:      5830  cl-subs:     8468  v-elim:      0  v-fix:    0  time: 539.51 s
1934.21/484.26	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
1934.21/484.28	c vivif2 --  cl tried    82242 cl shrink        0 lits rem          0 time: 0.08
1936.21/484.74	c asymm  cl-useful: 0/539/6230 lits-rem:0 time: 1.86
1936.21/484.74	c calculated reachability. Time: 0.00
1936.21/484.74	c  N dy  5965   1710969        70      6230         0     82242     43610   1314401     20.57   no data  --
1973.76/494.19	c  N dy  6090   1731036        70      6230         0    100387     43610   1762307     20.59     22.08  --
2000.52/500.83	c  N dy  6171   1752246        70      6230         0     68499     43610    977232     20.59     21.76  --
2027.69/507.65	c  N dy  6258   1772452        70      6230         0     86774     43610   1423149     20.59     21.71  --
2059.25/515.57	c  N dy  6364   1792505        70      6230         0     52743     43610    578518     20.60     21.89  --
2078.01/520.25	c  N dy  6472   1813565        70      6230         0     71719     43610   1043528     20.61     21.73  --
2101.99/526.23	c  N dy  6504   1837757        70      6230         0     93442     43610   1564037     20.61     21.86  --
2128.35/532.86	c  N dy  6619   1857771        70      6230         0     58463     43610    709041     20.62     23.31  --
2149.92/538.23	c  N dy  6664   1883357        70      6230         0     81355     43610   1258566     20.61     21.76  --
2171.89/543.73	c  N dy  6699   1903449        70      6230         0     99246     43610   1677990     20.59     21.82  --
2196.66/549.99	c  N dy  6808   1923644        70      6230         0     63642     43610    818869     20.60     21.74  --
2217.03/555.01	c  N dy  6860   1945261        70      6230         0     82993     43610   1283238     20.60     21.88  --
2244.61/561.94	c  N dy  6920   1965297        70      6230         0    100928     43610   1712066     20.60     22.31  --
2273.36/569.12	c  N dy  7048   1988599        70      6230         0     67112     43610    892255     20.60     21.90  --
2296.53/574.90	c  N dy  7123   2011915        70      6230         0     87953     43610   1393665     20.60     21.69  --
2358.04/590.36	c  N dy  7149   2083002        70      6230         0     95681     43610   1544259     20.54     21.87  --
2389.61/598.25	c  N dy  7264   2103079        70      6230         0     57417     43610    633180     20.55     24.36  --
2409.97/603.31	c  N dy  7370   2124780        70      6230         0     76915     43610   1112437     20.56     21.76  --
2437.96/610.39	c  N dy  7409   2151447        70      6230         0    100668     43610   1670200     20.54     21.71  --
2469.08/618.19	c  N dy  7518   2173311        70      6230         0     63088     43610    754664     20.55     21.64  --
2488.66/623.02	c  N dy  7587   2193409        70      6230         0     81186     43610   1192060     20.55     21.65  --
2515.42/629.77	c  S st  7695   2210970        70      6230         0     96974     43610   1577648     20.56     19.21  --
2517.04/630.11	c  S st  7695   2211473        70      6230         0     97435     43610   1589237     20.56   no data  --
2517.04/630.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2517.04/630.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2517.04/630.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.22
2517.41/630.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2517.41/630.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2517.41/630.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
2517.41/630.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2668.81/668.11	c lits-rem:      6332  cl-subs:     9605  v-elim:      0  v-fix:    0  time: 151.32 s
2668.81/668.11	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
2668.81/668.14	c vivif2 --  cl tried    87830 cl shrink        0 lits rem          0 time: 0.09
2670.83/668.69	c asymm  cl-useful: 0/519/6230 lits-rem:0 time: 2.19
2670.83/668.69	c calculated reachability. Time: 0.00
2670.83/668.69	c  N dy  7695   2211473        70      6230         0     87830     43610   1351957     20.56   no data  --
2713.96/679.44	c  N dy  7808   2231503        70      6230         0    105935     43610   1796594     20.57     21.88  --
2752.30/689.09	c  N dy  7902   2251906        70      6230         0     66363     43610    824258     20.57     21.66  --
2781.05/696.29	c  N dy  8003   2272131        70      6230         0     84622     43610   1273010     20.58     21.73  --
2823.01/706.77	c  N dy  8093   2296163        70      6230         0    106193     43610   1794981     20.58     21.68  --
2858.96/715.79	c  N dy  8140   2317918        70      6230         0     66675     43610    807233     20.57     21.71  --
2887.31/722.81	c  N dy  8213   2338013        70      6230         0     84790     43610   1247281     20.58     21.68  --
2920.47/731.14	c  N dy  8252   2359697        70      6230         0    104305     43610   1709964     20.57     21.92  --
2961.21/741.35	c  N dy  8334   2379747        70      6230         0     62238     43610    696008     20.57     21.73  --
2989.17/748.31	c  N dy  8430   2399778        70      6230         0     80290     43610   1135071     20.58     21.91  --
3024.73/757.26	c  N dy  8535   2420332        70      6230         0     98736     43610   1583655     20.58     21.70  --
3068.27/768.17	c  N dy  8658   2440343        70      6230         0    116830     43610   2030840     20.59     21.75  --
3105.43/777.48	c  N dy  8730   2465663        70      6230         0     78483     43610   1076656     20.59     21.70  --
3182.91/796.86	c  N dy  8812   2537083        70      6230         0     80183     43610   1086052     20.55     21.76  --
3211.67/804.00	c  N dy  8938   2557716        70      6230         0     98785     43610   1543510     20.56     21.67  --
3253.61/814.58	c  N dy  9033   2584535        70      6230         0    122817     43610   2123993     20.56     21.68  --
3284.38/822.21	c  N dy  9123   2611013        70      6230         0     83934     43610   1178353     20.56     21.67  --
3313.53/829.58	c  N dy  9247   2631091        70      6230         0    102063     43610   1627374     20.57     22.09  --
3348.69/838.31	c  N dy  9353   2651141        70      6230         0    120164     43610   2071479     20.57     22.70  --
3380.25/846.26	c  N dy  9468   2671200        70      6230         0     74425     43610    944489     20.58     22.88  --
3412.20/854.25	c  N dy  9554   2695862        70      6230         0     96512     43610   1478758     20.58     21.87  --
3437.76/860.64	c  S st  9656   2711474        70      6230         0    110670     43610   1828609     20.59   no data  --
3438.96/860.99	c  S st  9656   2711978        70      6230         0    111140     43610   1840591     20.59   no data  --
3438.96/860.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3438.96/860.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3439.37/861.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.22
3439.37/861.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3439.37/861.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3439.37/861.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     70 time:  0.00 s
3439.78/861.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3988.22/998.41	c lits-rem:      7278  cl-subs:    10448  v-elim:      0  v-fix:    0  time: 548.46 s
3988.22/998.41	c vivif2 --  cl tried     6230 cl shrink        0 lits rem          0 time: 0.00
3988.22/998.44	c vivif2 --  cl tried   100692 cl shrink        0 lits rem          0 time: 0.10
3990.21/998.92	c asymm  cl-useful: 0/439/6230 lits-rem:0 time: 1.93
3990.21/998.93	c calculated reachability. Time: 0.00
3990.21/998.93	c  N dy  9656   2711978        70      6230         0    100692     43610   1575200     20.59   no data  --
4034.95/1010.19	c  N dy  9758   2732462        70      6230         0    119186     43610   2028739     20.59     21.69  --
4077.29/1020.73	c  N dy  9884   2752552        70      6230         0     73026     43610    901794     20.60     23.54  --
4116.05/1030.49	c  N dy  9928   2781090        70      6230         0     98663     43610   1517413     20.60     21.69  --
4158.38/1041.03	c  N dy 10037   2801136        70      6230         0    116742     43610   1961578     20.60     23.62  --
4205.91/1052.96	c  N dy 10168   2821160        70      6230         0     69291     43610    793377     20.61     22.77  --
4233.07/1059.73	c  N dy 10218   2841252        70      6230         0     87401     43610   1231996     20.61     24.24  --
4266.63/1068.11	c  N dy 10256   2862580        70      6230         0    106530     43610   1689249     20.60     21.70  --
4311.76/1079.43	c  N dy 10365   2882659        70      6230         0    124590     43610   2132718     20.61     22.47  --
4358.51/1091.16	c  N dy 10477   2905077        70      6230         0     78282     43610    996055     20.61     21.74  --
4396.46/1100.61	c  N dy 10580   2925173        70      6230         0     96429     43610   1443000     20.62     21.74  --
4442.39/1112.10	c  N dy 10684   2945538        70      6230         0    114799     43610   1894960     20.63     21.72  --
4496.72/1125.75	c  N dy 10800   2965631        70      6230         0    132938     43610   2341888     20.63     23.28  --
4534.26/1135.17	c  N dy 10881   2986991        70      6230         0     84624     43610   1136222     20.63     21.91  --
4569.04/1143.83	c  N dy 10942   3008677        70      6230         0    104070     43610   1602951     20.63     21.73  --
4610.96/1154.38	c  N dy 11026   3028729        70      6230         0    122068     43610   2041513     20.63     22.20  --
4644.11/1162.67	c  N dy 11047   3049007        70      6230         0     71885     43610    812480     20.63     21.73  --
4674.49/1170.21	c  N dy 11133   3071660        70      6230         0     92254     43610   1307407     20.63     21.73  --
4706.03/1178.18	c  N dy 11241   3091745        70      6230         0    110267     43610   1751069     20.64     21.75  --
4742.38/1187.26	c  N dy 11327   3111990        70      6230         0    128462     43610   2193928     20.64     21.75  --
4774.74/1195.40	c  N dy 11406   3133075        70      6230         0     78290     43610    960630     20.64     21.73  --
4799.10/1201.47	c  N dy 11453   3154797        70      6230         0     97742     43610   1429973     20.64     21.74  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 6.62 7.72 7.90 2/173 2522
/proc/meminfo: memFree=31425392/32950928 swapFree=67111404/67111528
[pid=2522] ppid=2520 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 413 0 0 0 0 0 0 0 24 0 4 0 521809882 52465664 352 33554432000 4194304 4650419 140735069622368 18446744073709551615 47806239270834 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 12809 352 303 112 0 7774 0
[pid=2522/tid=2523] ppid=2520 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521809883 52465664 357 33554432000 4194304 4650419 140735069622368 18446744073709551615 47806239270824 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521809883 52465664 357 33554432000 4194304 4650419 140735069622368 18446744073709551615 47806239270416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521809883 52465664 357 33554432000 4194304 4650419 140735069622368 18446744073709551615 235589913686 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.106848 s]
/proc/loadavg: 6.62 7.72 7.90 2/173 2522
/proc/meminfo: memFree=31425392/32950928 swapFree=67111404/67111528
[pid=2522] ppid=2520 vsize=282188 CPUtime=0.4 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 1441 0 0 0 40 0 0 0 25 0 4 0 521809882 288960512 1349 33554432000 4194304 4650419 140735069622368 18446744073709551615 4370465 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 70547 1349 366 112 0 65512 0
[pid=2522/tid=2523] ppid=2520 vsize=282188 CPUtime=0.09 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 210 0 0 0 9 0 0 0 25 0 4 0 521809883 288960512 1349 33554432000 4194304 4650419 140735069622368 18446744073709551615 4370582 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=282188 CPUtime=0.1 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 206 0 0 0 10 0 0 0 25 0 4 0 521809883 288960512 1349 33554432000 4194304 4650419 140735069622368 18446744073709551615 4370519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=282188 CPUtime=0.1 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 361 0 0 0 10 0 0 0 25 0 4 0 521809883 288960512 1349 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282188

[startup+0.531125 s]
/proc/loadavg: 6.62 7.72 7.90 2/173 2522
/proc/meminfo: memFree=31425392/32950928 swapFree=67111404/67111528
[pid=2522] ppid=2520 vsize=304520 CPUtime=2.09 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 5140 0 0 0 209 0 0 0 18 0 4 0 521809882 311828480 3581 33554432000 4194304 4650419 140735069622368 18446744073709551615 235594909831 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 71987 4083 391 112 0 66952 0
[pid=2522/tid=2523] ppid=2520 vsize=287948 CPUtime=0.99 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 1817 0 0 0 99 0 0 0 19 0 4 0 521809883 294858752 4083 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=287948 CPUtime=1 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 1880 0 0 0 100 0 0 0 19 0 4 0 521809883 294858752 4083 33554432000 4194304 4650419 140735069622368 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=287948 CPUtime=1 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 1512 0 0 0 100 0 0 0 25 0 4 0 521809883 294858752 4083 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 304520

[startup+1.10667 s]
/proc/loadavg: 6.62 7.72 7.90 2/173 2522
/proc/meminfo: memFree=31425392/32950928 swapFree=67111404/67111528
[pid=2522] ppid=2520 vsize=288168 CPUtime=4.4 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 7934 0 0 0 439 1 0 0 19 0 4 0 521809882 295084032 4188 33554432000 4194304 4650419 140735069622368 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 72042 4188 391 112 0 67007 0
[pid=2522/tid=2523] ppid=2520 vsize=288168 CPUtime=1.09 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 1872 0 0 0 109 0 0 0 19 0 4 0 521809883 295084032 4188 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=288168 CPUtime=1.1 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 1928 0 0 0 110 0 0 0 19 0 4 0 521809883 295084032 4188 33554432000 4194304 4650419 140735069622368 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=288168 CPUtime=1.1 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 1828 0 0 0 110 0 0 0 25 0 4 0 521809883 295084032 4188 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 288168

[startup+1.20066 s]
/proc/loadavg: 6.62 7.72 7.90 2/173 2522
/proc/meminfo: memFree=31425392/32950928 swapFree=67111404/67111528
[pid=2522] ppid=2520 vsize=288560 CPUtime=4.78 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 8582 0 0 0 477 1 0 0 19 0 4 0 521809882 295485440 4114 33554432000 4194304 4650419 140735069622368 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 72140 4115 391 112 0 67105 0
[pid=2522/tid=2523] ppid=2520 vsize=288560 CPUtime=1.18 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 2163 0 0 0 118 0 0 0 19 0 4 0 521809883 295485440 4116 33554432000 4194304 4650419 140735069622368 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=288560 CPUtime=1.19 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 1975 0 0 0 119 0 0 0 19 0 4 0 521809883 295485440 4116 33554432000 4194304 4650419 140735069622368 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=288560 CPUtime=1.19 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 1879 0 0 0 119 0 0 0 25 0 4 0 521809883 295485440 4116 33554432000 4194304 4650419 140735069622368 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.78
Current children cumulated vsize (KiB) 288560

[startup+1.50061 s]
/proc/loadavg: 6.62 7.72 7.90 2/173 2522
/proc/meminfo: memFree=31425392/32950928 swapFree=67111404/67111528
[pid=2522] ppid=2520 vsize=294348 CPUtime=5.97 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 11027 0 0 0 596 1 0 0 19 0 4 0 521809882 301412352 5800 33554432000 4194304 4650419 140735069622368 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 73587 5800 392 112 0 68552 0
[pid=2522/tid=2523] ppid=2520 vsize=294348 CPUtime=1.48 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 2323 0 0 0 148 0 0 0 19 0 4 0 521809883 301412352 5800 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=294348 CPUtime=1.49 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 2390 0 0 0 149 0 0 0 19 0 4 0 521809883 301412352 5800 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=294348 CPUtime=1.49 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 2272 0 0 0 149 0 0 0 25 0 4 0 521809883 301412352 5800 33554432000 4194304 4650419 140735069622368 18446744073709551615 4334226 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 294348

[startup+3.10632 s]
/proc/loadavg: 6.73 7.73 7.90 9/184 2534
/proc/meminfo: memFree=31344704/32950928 swapFree=67111404/67111528
[pid=2522] ppid=2520 vsize=295364 CPUtime=12.39 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 18094 0 0 0 1236 3 0 0 24 0 4 0 521809882 302452736 10964 33554432000 4194304 4650419 140735069622368 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 73841 10964 392 112 0 68806 0
[pid=2522/tid=2523] ppid=2520 vsize=295364 CPUtime=3.08 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 3856 0 0 0 308 0 0 0 25 0 4 0 521809883 302452736 10965 33554432000 4194304 4650419 140735069622368 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=295364 CPUtime=3.09 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 4971 0 0 0 309 0 0 0 25 0 4 0 521809883 302452736 10965 33554432000 4194304 4650419 140735069622368 18446744073709551615 4439111 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=295364 CPUtime=3.09 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 4752 0 0 0 309 0 0 0 25 0 4 0 521809883 302452736 10965 33554432000 4194304 4650419 140735069622368 18446744073709551615 4370621 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 295364

[startup+6.30076 s]
/proc/loadavg: 6.73 7.73 7.90 10/184 2534
/proc/meminfo: memFree=31322648/32950928 swapFree=67111404/67111528
[pid=2522] ppid=2520 vsize=297716 CPUtime=25.16 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 27098 0 0 0 2512 4 0 0 25 0 4 0 521809882 304861184 13609 33554432000 4194304 4650419 140735069622368 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 74429 13609 392 112 0 69394 0
[pid=2522/tid=2523] ppid=2520 vsize=297716 CPUtime=6.27 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 6648 0 0 0 626 1 0 0 25 0 4 0 521809883 304861184 13611 33554432000 4194304 4650419 140735069622368 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=297716 CPUtime=6.29 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 7125 0 0 0 628 1 0 0 25 0 4 0 521809883 304861184 13611 33554432000 4194304 4650419 140735069622368 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=297716 CPUtime=6.29 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 7099 0 0 0 628 1 0 0 25 0 4 0 521809883 304861184 13611 33554432000 4194304 4650419 140735069622368 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 297716

[startup+12.7006 s]
/proc/loadavg: 6.92 7.74 7.90 9/184 2534
/proc/meminfo: memFree=31287672/32950928 swapFree=67111404/67111528
[pid=2522] ppid=2520 vsize=307980 CPUtime=50.72 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 39287 0 0 0 5065 7 0 0 25 0 4 0 521809882 315371520 17960 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 76995 17960 392 112 0 71960 0
[pid=2522/tid=2523] ppid=2520 vsize=307980 CPUtime=12.63 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 9667 0 0 0 1262 1 0 0 25 0 4 0 521809883 315371520 17960 33554432000 4194304 4650419 140735069622368 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=307980 CPUtime=12.69 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 10343 0 0 0 1268 1 0 0 25 0 4 0 521809883 315371520 17960 33554432000 4194304 4650419 140735069622368 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=307980 CPUtime=12.68 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 10119 0 0 0 1267 1 0 0 25 0 4 0 521809883 315371520 17960 33554432000 4194304 4650419 140735069622368 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 307980

[startup+25.5004 s]
/proc/loadavg: 7.09 7.75 7.90 10/184 2535
/proc/meminfo: memFree=31254444/32950928 swapFree=67111404/67111528
[pid=2522] ppid=2520 vsize=346936 CPUtime=101.85 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 61166 0 0 0 10173 12 0 0 25 0 4 0 521809882 355262464 23302 33554432000 4194304 4650419 140735069622368 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 86734 23302 392 112 0 81699 0
[pid=2522/tid=2523] ppid=2520 vsize=346936 CPUtime=25.36 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 15208 0 0 0 2534 2 0 0 25 0 4 0 521809883 355262464 23302 33554432000 4194304 4650419 140735069622368 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=346936 CPUtime=25.48 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 15598 0 0 0 2546 2 0 0 25 0 4 0 521809883 355262464 23302 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=346936 CPUtime=25.49 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 15434 0 0 0 2546 3 0 0 25 0 4 0 521809883 355262464 23302 33554432000 4194304 4650419 140735069622368 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 346936

[startup+51.1009 s]
/proc/loadavg: 7.40 7.77 7.90 9/184 2535
/proc/meminfo: memFree=31217248/32950928 swapFree=67111404/67111528
[pid=2522] ppid=2520 vsize=307212 CPUtime=204.12 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 91316 0 0 0 20392 20 0 0 25 0 4 0 521809882 314585088 28781 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 76803 28781 392 112 0 71768 0
[pid=2522/tid=2523] ppid=2520 vsize=307212 CPUtime=50.85 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 21579 0 0 0 5081 4 0 0 25 0 4 0 521809883 314585088 28781 33554432000 4194304 4650419 140735069622368 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=307212 CPUtime=51.07 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 25088 0 0 0 5103 4 0 0 25 0 4 0 521809883 314585088 28781 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=307212 CPUtime=51.08 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 21264 0 0 0 5103 5 0 0 25 0 4 0 521809883 314585088 28781 33554432000 4194304 4650419 140735069622368 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 307212

[startup+102.301 s]
/proc/loadavg: 7.80 7.82 7.91 10/184 2537
/proc/meminfo: memFree=31163756/32950928 swapFree=67111404/67111528
[pid=2522] ppid=2520 vsize=337720 CPUtime=408.67 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 133666 0 0 0 40835 32 0 0 25 0 4 0 521809882 345825280 37127 33554432000 4194304 4650419 140735069622368 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 84430 37127 392 112 0 79395 0
[pid=2522/tid=2523] ppid=2520 vsize=337720 CPUtime=101.79 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 33508 0 0 0 10172 7 0 0 25 0 4 0 521809883 345825280 37127 33554432000 4194304 4650419 140735069622368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=337720 CPUtime=102.27 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 34084 0 0 0 10220 7 0 0 25 0 4 0 521809883 345825280 37127 33554432000 4194304 4650419 140735069622368 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=337720 CPUtime=102.29 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 33212 0 0 0 10220 9 0 0 25 0 4 0 521809883 345825280 37127 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.67
Current children cumulated vsize (KiB) 337720

[startup+162.3 s]

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

[pid=2522] ppid=2520 vsize=501864 CPUtime=2565.75 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 367795 0 0 0 256457 118 0 0 25 0 4 0 521809882 513908736 75988 33554432000 4194304 4650419 140735069622368 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 125466 75988 392 112 0 120431 0
[pid=2522/tid=2523] ppid=2520 vsize=501864 CPUtime=638.9 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 93899 0 0 0 63860 30 0 0 25 0 4 0 521809883 513908736 75988 33554432000 4194304 4650419 140735069622368 18446744073709551615 4363604 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=501864 CPUtime=642.22 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 96741 0 0 0 64193 29 0 0 25 0 4 0 521809883 513908736 75988 33554432000 4194304 4650419 140735069622368 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=501864 CPUtime=642.3 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 90942 0 0 0 64201 29 0 0 25 0 4 0 521809883 513908736 75988 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.75
Current children cumulated vsize (KiB) 501864

[startup+702.3 s]
/proc/loadavg: 8.16 8.06 7.97 9/184 2554
/proc/meminfo: memFree=30865172/32950928 swapFree=67111404/67111528
[pid=2522] ppid=2520 vsize=501864 CPUtime=2805.42 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 378379 0 0 0 280419 123 0 0 25 0 4 0 521809882 513908736 81660 33554432000 4194304 4650419 140735069622368 18446744073709551615 4315464 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 125466 81660 392 112 0 120431 0
[pid=2522/tid=2523] ppid=2520 vsize=501864 CPUtime=698.57 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 96947 0 0 0 69826 31 0 0 25 0 4 0 521809883 513908736 81660 33554432000 4194304 4650419 140735069622368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=501864 CPUtime=702.22 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 100061 0 0 0 70191 31 0 0 25 0 4 0 521809883 513908736 81660 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=501864 CPUtime=702.3 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 94149 0 0 0 70200 30 0 0 25 0 4 0 521809883 513908736 81660 33554432000 4194304 4650419 140735069622368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 501864

[startup+762.301 s]
/proc/loadavg: 8.10 8.06 7.97 10/184 2555
/proc/meminfo: memFree=30831136/32950928 swapFree=67111404/67111528
[pid=2522] ppid=2520 vsize=514508 CPUtime=3045.09 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 387186 0 0 0 304383 126 0 0 25 0 4 0 521809882 526856192 82465 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 128627 82465 392 112 0 123592 0
[pid=2522/tid=2523] ppid=2520 vsize=514508 CPUtime=758.24 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 98312 0 0 0 75793 31 0 0 25 0 4 0 521809883 526856192 82465 33554432000 4194304 4650419 140735069622368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=514508 CPUtime=762.21 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 104915 0 0 0 76188 33 0 0 25 0 4 0 521809883 526856192 82465 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=514508 CPUtime=762.3 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 96735 0 0 0 76199 31 0 0 25 0 4 0 521809883 526856192 82465 33554432000 4194304 4650419 140735069622368 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 514508

[startup+822.3 s]
/proc/loadavg: 8.13 8.08 7.99 9/184 2557
/proc/meminfo: memFree=30816076/32950928 swapFree=67111404/67111528
[pid=2522] ppid=2520 vsize=518448 CPUtime=3284.78 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 396155 0 0 0 328347 131 0 0 25 0 4 0 521809882 530890752 88771 33554432000 4194304 4650419 140735069622368 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 129612 88771 392 112 0 124577 0
[pid=2522/tid=2523] ppid=2520 vsize=518448 CPUtime=817.93 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 98947 0 0 0 81761 32 0 0 25 0 4 0 521809883 530890752 88771 33554432000 4194304 4650419 140735069622368 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=518448 CPUtime=822.2 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 106035 0 0 0 82186 34 0 0 25 0 4 0 521809883 530890752 88771 33554432000 4194304 4650419 140735069622368 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=518448 CPUtime=822.3 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 99907 0 0 0 82198 32 0 0 25 0 4 0 521809883 530890752 88771 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.78
Current children cumulated vsize (KiB) 518448

[startup+882.301 s]
/proc/loadavg: 8.10 8.08 7.99 9/184 2558
/proc/meminfo: memFree=30804376/32950928 swapFree=67111404/67111528
[pid=2522] ppid=2520 vsize=518448 CPUtime=3524.44 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 403613 0 0 0 352311 133 0 0 25 0 4 0 521809882 530890752 88446 33554432000 4194304 4650419 140735069622368 18446744073709551615 4439636 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 129612 88446 392 112 0 124577 0
[pid=2522/tid=2523] ppid=2520 vsize=518448 CPUtime=877.6 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 98947 0 0 0 87728 32 0 0 25 0 4 0 521809883 530890752 88446 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=518448 CPUtime=882.2 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 106462 0 0 0 88186 34 0 0 25 0 4 0 521809883 530890752 88446 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=518448 CPUtime=882.3 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 103204 0 0 0 88197 33 0 0 25 0 4 0 521809883 530890752 88446 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 518448

[startup+942.3 s]
/proc/loadavg: 8.12 8.09 8.00 9/184 2560
/proc/meminfo: memFree=30797136/32950928 swapFree=67111404/67111528
[pid=2522] ppid=2520 vsize=531408 CPUtime=3764.12 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 408336 0 0 0 376276 136 0 0 25 0 4 0 521809882 544161792 90134 33554432000 4194304 4650419 140735069622368 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 132852 90134 392 112 0 127817 0
[pid=2522/tid=2523] ppid=2520 vsize=531408 CPUtime=937.28 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 98947 0 0 0 93696 32 0 0 25 0 4 0 521809883 544161792 90134 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=531408 CPUtime=942.19 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 109630 0 0 0 94183 36 0 0 25 0 4 0 521809883 544161792 90134 33554432000 4194304 4650419 140735069622368 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=531408 CPUtime=942.31 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 104642 0 0 0 94197 34 0 0 25 0 4 0 521809883 544161792 90134 33554432000 4194304 4650419 140735069622368 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.12
Current children cumulated vsize (KiB) 531408

[startup+1002.3 s]
/proc/loadavg: 8.12 8.10 8.01 9/184 2562
/proc/meminfo: memFree=30747988/32950928 swapFree=67111404/67111528
[pid=2522] ppid=2520 vsize=531408 CPUtime=4003.79 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 412939 0 0 0 400241 138 0 0 25 0 4 0 521809882 544161792 94737 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 132852 94737 392 112 0 127817 0
[pid=2522/tid=2523] ppid=2520 vsize=531408 CPUtime=996.95 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 101754 0 0 0 99663 32 0 0 25 0 4 0 521809883 544161792 94737 33554432000 4194304 4650419 140735069622368 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=531408 CPUtime=1002.2 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 110034 0 0 0 100183 37 0 0 25 0 4 0 521809883 544161792 94737 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=531408 CPUtime=1002.31 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 105894 0 0 0 100196 35 0 0 25 0 4 0 521809883 544161792 94737 33554432000 4194304 4650419 140735069622368 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.79
Current children cumulated vsize (KiB) 531408

[startup+1062.3 s]
/proc/loadavg: 8.19 8.12 8.02 10/184 2563
/proc/meminfo: memFree=30720776/32950928 swapFree=67111404/67111528
[pid=2522] ppid=2520 vsize=544496 CPUtime=4243.48 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 416348 0 0 0 424208 140 0 0 25 0 4 0 521809882 557563904 95091 33554432000 4194304 4650419 140735069622368 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 136124 95091 392 112 0 131089 0
[pid=2522/tid=2523] ppid=2520 vsize=544496 CPUtime=1056.63 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 101754 0 0 0 105631 32 0 0 25 0 4 0 521809883 557563904 95092 33554432000 4194304 4650419 140735069622368 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=544496 CPUtime=1062.2 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 112720 0 0 0 106182 38 0 0 25 0 4 0 521809883 557563904 95092 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=544496 CPUtime=1062.32 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 105894 0 0 0 106197 35 0 0 25 0 4 0 521809883 557563904 95092 33554432000 4194304 4650419 140735069622368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.48
Current children cumulated vsize (KiB) 544496

[startup+1122.3 s]
/proc/loadavg: 8.18 8.13 8.02 10/184 2565
/proc/meminfo: memFree=30718976/32950928 swapFree=67111404/67111528
[pid=2522] ppid=2520 vsize=544544 CPUtime=4483.14 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 420706 0 0 0 448173 141 0 0 25 0 4 0 521809882 557613056 96245 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 136136 96245 392 112 0 131101 0
[pid=2522/tid=2523] ppid=2520 vsize=544544 CPUtime=1116.3 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 101754 0 0 0 111598 32 0 0 25 0 4 0 521809883 557613056 96245 33554432000 4194304 4650419 140735069622368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=544544 CPUtime=1122.18 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 117077 0 0 0 112179 39 0 0 25 0 4 0 521809883 557613056 96245 33554432000 4194304 4650419 140735069622368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=544544 CPUtime=1122.31 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 105894 0 0 0 112196 35 0 0 25 0 4 0 521809883 557613056 96245 33554432000 4194304 4650419 140735069622368 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 544544

[startup+1182.31 s]
/proc/loadavg: 8.24 8.15 8.03 9/184 2566
/proc/meminfo: memFree=30702692/32950928 swapFree=67111404/67111528
[pid=2522] ppid=2520 vsize=544596 CPUtime=4722.82 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 428305 0 0 0 472139 143 0 0 25 0 4 0 521809882 557666304 98774 33554432000 4194304 4650419 140735069622368 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 136149 98774 392 112 0 131114 0
[pid=2522/tid=2523] ppid=2520 vsize=544596 CPUtime=1175.97 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 104435 0 0 0 117564 33 0 0 25 0 4 0 521809883 557666304 98774 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=544596 CPUtime=1182.18 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 121501 0 0 0 118178 40 0 0 25 0 4 0 521809883 557666304 98774 33554432000 4194304 4650419 140735069622368 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=544596 CPUtime=1182.32 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 106388 0 0 0 118197 35 0 0 25 0 4 0 521809883 557666304 98774 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.82
Current children cumulated vsize (KiB) 544596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.17 8.14 8.03 9/184 2567
/proc/meminfo: memFree=30742604/32950928 swapFree=67111404/67111528
[pid=2522] ppid=2520 vsize=520064 CPUtime=4800.31 cores=0,2,4,6
/proc/2522/stat : 2522 (strangenight1-m) R 2520 2522 2120 0 -1 4202496 431927 0 0 0 479886 145 0 0 25 0 4 0 521809882 532545536 88116 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2522/statm: 130016 88116 392 112 0 124981 0
[pid=2522/tid=2523] ppid=2520 vsize=520064 CPUtime=1195.26 cores=0,2,4,6
/proc/2522/task/2523/stat : 2523 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 105121 0 0 0 119493 33 0 0 25 0 4 0 521809883 532545536 88117 33554432000 4194304 4650419 140735069622368 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2522/tid=2524] ppid=2520 vsize=520064 CPUtime=1201.58 cores=0,2,4,6
/proc/2522/task/2524/stat : 2524 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 122578 0 0 0 120117 41 0 0 25 0 4 0 521809883 532545536 88117 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2522/tid=2525] ppid=2520 vsize=520064 CPUtime=1201.72 cores=0,2,4,6
/proc/2522/task/2525/stat : 2525 (strangenight1-m) R 2520 2522 2120 0 -1 4202560 106514 0 0 0 120137 35 0 0 25 0 4 0 521809883 532545536 88117 33554432000 4194304 4650419 140735069622368 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 520064

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.37
CPU user time (s): 4798.89
CPU system time (s): 1.47478
CPU usage (%): 399.455
Max. virtual memory (cumulated for all children) (KiB): 583984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.89
system time used= 1.47477
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 431928
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= 720
involuntary context switches= 24417

runsolver used 1.9517 second user time and 4.51931 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-29 20:35:11
IDJOB=3175230
IDBENCH=82848
IDSOLVER=1588
FILE ID=node120/3175230-1304102111
RUNJOBID= node120-1304102111-2507
PBS_JOBID= 13170619
Free space on /tmp= 72076 MiB

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

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

MD5SUM BENCH= d1b5f6eba94843a6d4f11aae7cd57ab2
RANDOM SEED=1866680614

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.78
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.809
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.809
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.82
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.809
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:     32950928 kB
MemFree:      31427052 kB
Buffers:        482588 kB
Cached:         619328 kB
SwapCached:          8 kB
Active:         407868 kB
Inactive:       757788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31427052 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:            9828 kB
Writeback:          20 kB
AnonPages:       63300 kB
Mapped:          14548 kB
Slab:           295928 kB
PageTables:       4748 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   187520 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= 72064 MiB
End job on node120 at 2011-04-29 20:55:15