Trace number 3175441

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.31 1201.73

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf
MD5SUM64cfbb29f16ce069bd41061252da74bd
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark4.33334
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of clauses8010
Sum of the clauses size56070
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 58010

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-3175441-1304124054.cnf'
0.00/0.00	c -- header says num vars:             90
0.00/0.00	c -- header says num clauses:        8010
0.00/0.01	c -- clauses added:            0 learnts,         8010 normals,            0 xors
0.00/0.01	c -- vars added         90
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        90      8010         0         0     56070         0   no data   no data  --
0.37/0.19	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.73
0.37/0.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.37/0.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.37/0.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.37/0.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
0.37/0.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.17/0.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
1.17/0.30	c Finding binary XORs  T:     0.00 s  found:       0
1.17/0.30	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
1.17/0.30	c calculated reachability. Time: 0.00
1.17/0.30	c Calc default polars -  time:   0.00 s pos:      38 undec:       4 neg:      48
1.17/0.30	c =========================================================================================
1.17/0.30	c types(t): F = full restart, N = normal restart
1.17/0.30	c types(t): S = simplification begin/end, E = solution found
1.17/0.30	c restart types(rt): st = static, dy = dynamic
1.17/0.30	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.17/0.30	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
1.17/0.35	c  N dy    10      4157        90      8010         0      3812     56070    115067     26.61     28.06  --
2.38/0.69	c  N dy    15     12439        90      8010         0      5238     56070    127211     25.35     26.87  --
3.17/0.87	c  N dy    26     16473        90      8010         0      8956     56070    236427     25.34     26.73  --
3.99/1.07	c  N dy    41     20628        90      8010         0      7636     56070    181753     25.50     27.09  --
4.77/1.28	c  F st    58     25000        90      8010         0     11696     56070    303682     25.64     25.63  --
4.77/1.29	c  N st    58     25000        90      8010         0     11696     56070    303682     25.64     25.63  --
5.98/1.52	c  N dy    64     30000        90      8010         0     10035     56070    237107     25.64   no data  --
5.98/1.52	c  S st    64     30000        90      8010         0     10035     56070    237107     25.64   no data  --
5.98/1.56	c  S st    64     30506        90      8010         0     10520     56070    251704     25.64   no data  --
5.98/1.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.98/1.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.98/1.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.98/1.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.98/1.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.98/1.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
5.98/1.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.17/2.81	c lits-rem:      1424  cl-subs:      747  v-elim:      0  v-fix:    0  time:  4.93 s
12.37/3.17	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.46
12.37/3.17	c calculated reachability. Time: 0.00
12.37/3.17	c  N dy    64     30506        90      8010         0      9773     56070    225317     25.64   no data  --
13.56/3.41	c  N dy    76     34695        90      8010         0     13652     56070    341440     25.69     27.06  --
14.76/3.75	c  N dy    78     41261        90      8010         0     12436     56070    286634     25.42     26.82  --
15.95/4.03	c  N dy    88     45760        90      8010         0      8308     56070    148869     25.37     24.93  --
15.95/4.03	c  S st    88     45760        90      8010         0      8308     56070    148869     25.37     24.93  --
15.95/4.06	c  S st    88     46265        90      8010         0      8789     56070    162934     25.37   no data  --
15.95/4.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.95/4.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.95/4.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
15.95/4.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.95/4.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.95/4.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
15.95/4.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.95/5.04	c lits-rem:       195  cl-subs:       41  v-elim:      0  v-fix:    0  time:  3.85 s
19.95/5.04	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.95/5.04	c vivif2 --  cl tried     8748 cl shrink        0 lits rem          0 time: 0.00
21.14/5.34	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.18
21.14/5.34	c calculated reachability. Time: 0.00
21.14/5.34	c  N dy    88     46265        90      8010         0      8748     56070    161241     25.37   no data  --
22.34/5.61	c  N dy    92     51681        90      8010         0     13778     56070    308174     25.26     26.63  --
23.54/5.92	c  N dy   104     56191        90      8010         0     17938     56070    429694     25.28     26.66  --
25.96/6.60	c  N dy   106     67171        90      8010         0     18847     56070    439005     24.95     26.31  --
26.74/6.77	c  S st   121     69397        90      8010         0     10746     56070    188238     25.00   no data  --
27.14/6.81	c  S st   121     69900        90      8010         0     11219     56070    202179     25.00   no data  --
27.14/6.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.14/6.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.14/6.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
27.14/6.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.14/6.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.14/6.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
27.14/6.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.13/7.83	c lits-rem:       389  cl-subs:      131  v-elim:      0  v-fix:    0  time:  4.01 s
31.13/7.83	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
31.13/7.83	c vivif2 --  cl tried    11088 cl shrink        0 lits rem          0 time: 0.01
32.33/8.19	c asymm  cl-useful: 0/7594/8010 lits-rem:0 time: 1.45
32.33/8.19	c calculated reachability. Time: 0.00
32.33/8.19	c  N dy   121     69900        90      8010         0     11088     56070    197231     25.00   no data  --
33.53/8.49	c  N dy   146     74633        90      8010         0     15524     56070    329225     25.08     26.40  --
35.52/8.93	c  N dy   166     80574        90      8010         0     20998     56070    488343     25.08     26.46  --
37.13/9.31	c  N dy   176     86083        90      8010         0     14996     56070    294852     25.07     26.42  --
37.53/9.42	c  F st   184     87502        90      8010         0     16316     56070    333774     25.09   no data  --
39.14/9.80	c  N dy   190     92696        90      8010         0     21078     56070    475341     25.09   no data  --
41.52/10.46	c  N dy   222    100919        90      8010         0     16719     56070    328481     25.13     26.56  --
42.72/10.74	c  S st   233    104853        90      8010         0     20367     56070    436451     25.14     25.08  --
43.12/10.80	c  S st   233    105353        90      8010         0     20839     56070    450652     25.14   no data  --
43.12/10.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.12/10.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.12/10.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
43.12/10.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.12/10.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.12/10.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
43.12/10.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
49.91/12.58	c lits-rem:      1935  cl-subs:     1607  v-elim:      0  v-fix:    0  time:  7.01 s
49.91/12.58	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
49.91/12.59	c vivif2 --  cl tried    19232 cl shrink        0 lits rem          0 time: 0.02
51.91/13.00	c asymm  cl-useful: 0/5538/8010 lits-rem:0 time: 1.65
51.91/13.00	c calculated reachability. Time: 0.00
51.91/13.00	c  N dy   233    105353        90      8010         0     19232     56070    398417     25.14   no data  --
53.90/13.57	c  N dy   257    112109        90      8010         0     25550     56070    584807     25.16     28.16  --
56.29/14.10	c  N dy   284    119370        90      8010         0     19321     56070    386088     25.20     26.63  --
60.69/15.22	c  N dy   319    133627        90      8010         0     18604     56070    347578     25.19     26.61  --
64.68/16.28	c  N dy   322    147241        90      8010         0     16344     56070    263983     25.04     26.42  --
67.87/17.08	c  N dy   353    158029        90      8010         0     26299     56070    556183     25.03     22.14  --
67.87/17.08	c  S st   353    158029        90      8010         0     26299     56070    556183     25.03     22.14  --
68.28/17.15	c  S st   353    158532        90      8010         0     26767     56070    570061     25.03   no data  --
68.28/17.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
68.28/17.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
68.28/17.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
68.28/17.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
68.28/17.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
68.28/17.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
68.28/17.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
77.87/19.52	c lits-rem:      1745  cl-subs:     2322  v-elim:      0  v-fix:    0  time:  9.38 s
77.87/19.52	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
77.87/19.53	c vivif2 --  cl tried    24445 cl shrink        0 lits rem          0 time: 0.02
78.69/19.78	c asymm  cl-useful: 0/1968/8010 lits-rem:0 time: 1.00
78.69/19.78	c calculated reachability. Time: 0.00
78.69/19.78	c  N dy   353    158532        90      8010         0     24445     56070    498793     25.03   no data  --
83.07/20.80	c  N dy   393    168746        90      8010         0     18319     56070    305555     25.06     26.45  --
88.64/22.22	c  N dy   449    183698        90      8010         0     32192     56070    712932     25.09     26.62  --
92.65/23.29	c  N dy   516    195859        90      8010         0     26880     56070    546939     25.17     26.50  --
99.03/24.86	c  N dy   580    210992        90      8010         0     23269     56070    413297     25.21     26.54  --
104.63/26.30	c  N dy   607    224687        90      8010         0     35969     56070    786322     25.20     26.53  --
110.22/27.62	c  S st   683    237798        90      8010         0     29628     56070    586727     25.27     24.91  --
110.62/27.70	c  S st   683    238301        90      8010         0     30098     56070    600920     25.27   no data  --
110.62/27.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
110.62/27.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
110.62/27.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
110.62/27.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
110.62/27.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
110.62/27.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
110.62/27.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
121.81/30.52	c lits-rem:      1725  cl-subs:     1840  v-elim:      0  v-fix:    0  time: 11.16 s
121.81/30.53	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
121.81/30.53	c vivif2 --  cl tried    28258 cl shrink        0 lits rem          0 time: 0.02
121.81/30.59	c asymm  cl-useful: 0/504/8010 lits-rem:0 time: 0.23
121.81/30.59	c calculated reachability. Time: 0.00
121.81/30.59	c  N dy   683    238301        90      8010         0     28258     56070    538353     25.27   no data  --
128.60/32.25	c  N dy   718    254203        90      8010         0     23569     56070    386565     25.26     26.65  --
136.58/34.29	c  N dy   750    274684        90      8010         0     22142     56070    327413     25.23     26.59  --
143.38/35.95	c  N dy   795    292283        90      8010         0     38449     56070    808334     25.21     26.55  --
149.39/37.46	c  F st   846    306251        90      8010         0     30134     56070    545511     25.22     23.55  --
151.37/37.97	c  N dy   852    311448        90      8010         0     34950     56070    690125     25.22   no data  --
160.16/40.16	c  N dy   918    331407        90      8010         0     31190     56070    560825     25.22     26.55  --
169.75/42.51	c  N dy   984    351464        90      8010         0     26613     56070    405321     25.21     29.03  --
172.14/43.12	c  S st  1006    357451        90      8010         0     32203     56070    570824     25.22   no data  --
172.54/43.20	c  S st  1006    357954        90      8010         0     32682     56070    585130     25.22   no data  --
172.54/43.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
172.54/43.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
172.54/43.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
172.54/43.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
172.54/43.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
172.54/43.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
172.54/43.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
183.73/46.05	c lits-rem:      2249  cl-subs:     1530  v-elim:      0  v-fix:    0  time: 11.28 s
183.73/46.05	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
183.73/46.06	c vivif2 --  cl tried    31152 cl shrink        0 lits rem          0 time: 0.03
184.54/46.27	c asymm  cl-useful: 0/2082/8010 lits-rem:0 time: 0.82
184.54/46.27	c calculated reachability. Time: 0.00
184.54/46.27	c  N dy  1006    357954        90      8010         0     31152     56070    533014     25.22   no data  --
197.32/49.42	c  N dy  1085    378099        90      8010         0     25797     56070    361301     25.24     26.65  --
207.29/52.00	c  N dy  1145    398231        90      8010         0     44431     56070    911035     25.24     26.58  --
218.87/54.82	c  N dy  1202    418894        90      8010         0     38531     56070    717148     25.23     26.71  --
230.85/57.86	c  N dy  1268    442564        90      8010         0     34525     56070    581715     25.22     26.61  --
242.03/60.64	c  N dy  1326    462644        90      8010         0     53102     56070   1129748     25.23     26.60  --
252.02/63.16	c  N dy  1396    482740        90      8010         0     44831     56070    871844     25.24     27.83  --
262.41/65.77	c  N dy  1413    504558        90      8010         0     37185     56070    624148     25.17     26.50  --
274.40/68.72	c  N dy  1497    524622        90      8010         0     55809     56070   1178279     25.20     28.10  --
280.39/70.23	c  S st  1518    536932        90      8010         0     38498     56070    642142     25.19     24.30  --
280.80/70.34	c  S st  1518    537437        90      8010         0     38978     56070    656258     25.19   no data  --
280.80/70.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
280.80/70.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
280.80/70.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
280.80/70.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
280.80/70.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
280.80/70.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
280.80/70.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
291.97/73.18	c lits-rem:      1227  cl-subs:     2474  v-elim:      0  v-fix:    0  time: 11.19 s
291.97/73.18	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
291.97/73.18	c vivif2 --  cl tried    36504 cl shrink        0 lits rem          0 time: 0.03
293.17/73.41	c asymm  cl-useful: 0/1543/8010 lits-rem:0 time: 0.89
293.17/73.41	c calculated reachability. Time: 0.00
293.17/73.41	c  N dy  1518    537437        90      8010         0     36504     56070    581834     25.19   no data  --
305.55/76.52	c  N dy  1606    557480        90      8010         0     55148     56070   1134313     25.21     26.62  --
315.53/79.09	c  N dy  1653    577482        90      8010         0     44122     56070    794111     25.20     28.21  --
328.72/82.37	c  N dy  1722    597515        90      8010         0     32215     56070    424699     25.21     27.26  --
339.51/85.05	c  N dy  1794    617596        90      8010         0     50800     56070    974718     25.22     26.58  --
353.09/88.45	c  N dy  1869    637805        90      8010         0     38042     56070    578025     25.24     26.62  --
368.27/92.26	c  N dy  1915    661655        90      8010         0     60022     56070   1211712     25.20     26.55  --
380.66/95.39	c  N dy  1951    681671        90      8010         0     46123     56070    795732     25.18     26.59  --
395.05/98.91	c  N dy  2017    702153        90      8010         0     65050     56070   1350676     25.19     26.60  --
407.01/101.99	c  N dy  2069    723443        90      8010         0     51478     56070    938890     25.19     26.57  --
422.99/105.96	c  N dy  2108    744820        90      8010         0     37063     56070    497491     25.17     26.59  --
438.17/109.73	c  N dy  2196    766782        90      8010         0     57421     56070   1099541     25.19     26.54  --
454.14/113.78	c  N dy  2299    787432        90      8010         0     41455     56070    607660     25.21     26.60  --
465.76/116.66	c  S st  2335    806156        90      8010         0     58697     56070   1111471     25.20   no data  --
466.53/116.82	c  S st  2335    806659        90      8010         0     59169     56070   1125553     25.20   no data  --
466.53/116.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
466.53/116.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
466.53/116.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
466.53/116.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
466.53/116.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
466.53/116.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
466.53/116.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
509.29/127.56	c lits-rem:      2588  cl-subs:     4589  v-elim:      0  v-fix:    0  time: 42.61 s
509.29/127.56	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
509.29/127.57	c vivif2 --  cl tried    54580 cl shrink        0 lits rem          0 time: 0.05
510.87/127.93	c asymm  cl-useful: 0/1034/8010 lits-rem:0 time: 1.43
510.87/127.93	c calculated reachability. Time: 0.00
510.87/127.93	c  N dy  2335    806659        90      8010         0     54580     56070    981628     25.20   no data  --
528.84/132.48	c  N dy  2407    831672        90      8010         0     41787     56070    592998     25.20     26.54  --
543.62/136.10	c  N dy  2489    853388        90      8010         0     61967     56070   1193378     25.22     26.55  --
557.63/139.69	c  N dy  2554    873477        90      8010         0     43633     56070    637532     25.21     28.15  --
572.79/143.42	c  N dy  2662    893498        90      8010         0     62205     56070   1189663     25.23     26.74  --
589.96/147.74	c  N dy  2745    915902        90      8010         0     45010     56070    656424     25.24     26.59  --
604.34/151.38	c  N dy  2826    936070        90      8010         0     63734     56070   1209092     25.25     26.70  --
622.32/155.89	c  N dy  2925    956160        90      8010         0     43455     56070    587031     25.26     27.01  --
636.71/159.44	c  N dy  2993    977165        90      8010         0     62879     56070   1161639     25.27     26.71  --
654.69/163.99	c  N dy  3070    997668        90      8010         0     42041     56070    528838     25.28     26.64  --
667.88/167.25	c  N dy  3137   1017821        90      8010         0     60749     56070   1082068     25.28     26.63  --
687.03/172.03	c  N dy  3224   1038021        90      8010         0     79452     56070   1634695     25.29     26.84  --
701.41/175.67	c  N dy  3272   1059548        90      8010         0     58577     56070    997196     25.28     26.69  --
712.19/178.30	c  F st  3327   1071875        90      8010         0     70018     56070   1337540     25.29     22.50  --
718.59/179.97	c  N dy  3347   1079596        90      8010         0     77158     56070   1550634     25.29     26.72  --
737.78/184.73	c  N dy  3406   1104865        90      8010         0     58752     56070    980001     25.28     26.77  --
755.76/189.27	c  N dy  3476   1124898        90      8010         0     77390     56070   1530601     25.29     26.62  --
775.71/194.21	c  N dy  3566   1147930        90      8010         0     56084     56070    885624     25.30     26.67  --
796.48/199.42	c  N dy  3649   1167981        90      8010         0     74697     56070   1438053     25.31     26.79  --
818.45/204.97	c  N dy  3712   1189073        90      8010         0     50704     56070    711311     25.31     26.85  --
837.62/209.74	c  N dy  3804   1209151        90      8010         0     69331     56070   1265627     25.32     26.66  --
838.43/209.98	c  S st  3810   1209988        90      8010         0     70126     56070   1289685     25.32   no data  --
839.62/210.22	c  S st  3810   1210494        90      8010         0     70606     56070   1304257     25.32   no data  --
839.62/210.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
839.62/210.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
839.62/210.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
840.02/210.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
840.02/210.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
840.02/210.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
840.02/210.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
945.89/236.88	c lits-rem:      2874  cl-subs:     4826  v-elim:      0  v-fix:    0  time: 106.13 s
945.89/236.88	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
945.89/236.90	c vivif2 --  cl tried    65780 cl shrink        0 lits rem          0 time: 0.06
947.49/237.28	c asymm  cl-useful: 0/862/8010 lits-rem:0 time: 1.56
947.49/237.29	c calculated reachability. Time: 0.00
947.49/237.29	c  N dy  3810   1210494        90      8010         0     65780     56070   1148638     25.32   no data  --
970.25/242.98	c  N dy  3857   1231344        90      8010         0     84928     56070   1713984     25.32     26.76  --
988.23/247.42	c  N dy  3896   1252050        90      8010         0     59789     56070    962488     25.32     26.66  --
1008.59/252.58	c  N dy  3952   1272499        90      8010         0     78684     56070   1519902     25.32     26.71  --
1032.58/258.54	c  N dy  4031   1293909        90      8010         0     53333     56070    752331     25.33     26.76  --
1068.11/267.40	c  N dy  4142   1329742        90      8010         0     86379     56070   1734395     25.34     26.71  --
1091.68/273.33	c  N dy  4236   1352494        90      8010         0     61295     56070    970603     25.35     26.75  --
1120.84/280.68	c  N dy  4268   1385080        90      8010         0     91287     56070   1849567     25.32     26.73  --
1139.21/285.22	c  N dy  4375   1405196        90      8010         0     62955     56070   1005037     25.33     26.75  --
1158.39/290.02	c  N dy  4444   1425339        90      8010         0     81539     56070   1554703     25.33     26.82  --
1181.16/295.75	c  N dy  4517   1446265        90      8010         0     52847     56070    679008     25.34     26.74  --
1199.15/300.28	c  N dy  4632   1467012        90      8010         0     72096     56070   1255009     25.35     26.72  --
1219.91/305.47	c  N dy  4695   1487567        90      8010         0     91116     56070   1818404     25.36     26.99  --
1243.50/311.35	c  N dy  4747   1514387        90      8010         0     66743     56070   1065186     25.35     26.72  --
1262.25/316.08	c  N dy  4813   1534557        90      8010         0     85385     56070   1618348     25.35     26.76  --
1285.42/321.88	c  N dy  4829   1561052        90      8010         0     59807     56070    845719     25.33     26.85  --
1303.00/326.20	c  N dy  4879   1581066        90      8010         0     78264     56070   1390019     25.33     27.68  --
1322.97/331.22	c  N dy  4909   1601268        90      8010         0     96867     56070   1936296     25.32     26.68  --
1340.16/335.58	c  N dy  4952   1621367        90      8010         0     64742     56070    980876     25.32     26.79  --
1358.51/340.11	c  N dy  4964   1644497        90      8010         0     86004     56070   1604146     25.30     26.66  --
1382.49/346.16	c  N dy  5032   1664533        90      8010         0     52901     56070    612630     25.30     28.21  --
1402.05/351.06	c  N dy  5129   1688079        90      8010         0     74739     56070   1263323     25.31     26.84  --
1425.62/356.99	c  N dy  5210   1708257        90      8010         0     93327     56070   1814350     25.31     26.70  --
1428.82/357.73	c  S st  5212   1710494        90      8010         0     95399     56070   1874550     25.31     23.72  --
1430.02/358.03	c  S st  5212   1710997        90      8010         0     95872     56070   1888729     25.31   no data  --
1430.02/358.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1430.02/358.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1430.02/358.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.22
1430.42/358.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1430.42/358.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1430.42/358.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1430.42/358.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1565.44/391.97	c lits-rem:      5599  cl-subs:     8020  v-elim:      0  v-fix:    0  time: 135.05 s
1565.44/391.98	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1565.44/392.00	c vivif2 --  cl tried    87852 cl shrink        0 lits rem          0 time: 0.08
1567.03/392.36	c asymm  cl-useful: 0/652/8010 lits-rem:0 time: 1.47
1567.03/392.37	c calculated reachability. Time: 0.00
1567.03/392.37	c  N dy  5212   1710997        90      8010         0     87852     56070   1630089     25.31   no data  --
1591.80/398.56	c  N dy  5264   1731548        90      8010         0     54542     56070    646366     25.31     26.76  --
1612.96/403.89	c  N dy  5285   1759348        90      8010         0     80015     56070   1378643     25.28     26.79  --
1638.96/410.35	c  N dy  5358   1779359        90      8010         0     98566     56070   1930222     25.28     26.67  --
1665.70/417.09	c  N dy  5422   1801151        90      8010         0     65414     56070    947739     25.29     26.62  --
1694.86/424.37	c  N dy  5473   1829193        90      8010         0     91260     56070   1701830     25.27     26.62  --
1724.02/431.69	c  N dy  5516   1851782        90      8010         0     57708     56070    698759     25.26     26.70  --
1741.99/436.16	c  N dy  5557   1871943        90      8010         0     76284     56070   1242842     25.26     26.71  --
1767.16/442.47	c  N dy  5656   1892871        90      8010         0     95705     56070   1821885     25.27     26.61  --
1793.12/448.99	c  N dy  5677   1918249        90      8010         0     63635     56070    847025     25.25     26.92  --
1871.02/468.48	c  N dy  5742   2002725        90      8010         0     84706     56070   1448424     25.18     26.64  --
1898.57/475.33	c  N dy  5857   2022820        90      8010         0    103328     56070   2006332     25.19     26.79  --
1922.54/481.38	c  N dy  5921   2042859        90      8010         0     64955     56070    861488     25.19     28.65  --
1938.93/485.40	c  N dy  5948   2062968        90      8010         0     83369     56070   1399853     25.18     26.55  --
1961.70/491.16	c  N dy  6010   2083034        90      8010         0    101880     56070   1947777     25.18     26.54  --
1988.06/497.72	c  N dy  6076   2103076        90      8010         0     62469     56070    767393     25.18     26.51  --
2008.43/502.83	c  N dy  6136   2123399        90      8010         0     81210     56070   1316654     25.18     26.51  --
2035.19/509.57	c  N dy  6230   2143450        90      8010         0     99715     56070   1866632     25.19     26.56  --
2066.35/517.32	c  N dy  6253   2172455        90      8010         0     67423     56070    892756     25.17     26.63  --
2086.33/522.37	c  N dy  6325   2192636        90      8010         0     86070     56070   1448188     25.18     26.56  --
2110.30/528.35	c  S st  6391   2210999        90      8010         0    102997     56070   1946696     25.18   no data  --
2111.49/528.67	c  S st  6391   2211502        90      8010         0    103473     56070   1961272     25.18   no data  --
2111.49/528.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2111.49/528.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2111.89/528.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.24
2111.89/528.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2111.89/528.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2111.89/528.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2111.89/528.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2558.09/640.40	c lits-rem:      4696  cl-subs:     8381  v-elim:      0  v-fix:    0  time: 445.64 s
2558.09/640.40	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2558.09/640.42	c vivif2 --  cl tried    95092 cl shrink        0 lits rem          0 time: 0.08
2559.29/640.78	c asymm  cl-useful: 0/594/8010 lits-rem:0 time: 1.44
2559.29/640.78	c calculated reachability. Time: 0.00
2559.29/640.78	c  N dy  6391   2211502        90      8010         0     95092     56070   1700268     25.18   no data  --
2591.24/648.71	c  N dy  6499   2232803        90      8010         0    114930     56070   2294442     25.19     26.56  --
2615.60/654.85	c  N dy  6581   2255771        90      8010         0     76450     56070   1145907     25.19     26.53  --
2640.79/661.11	c  N dy  6701   2275826        90      8010         0     95056     56070   1702823     25.20     27.01  --
2674.33/669.55	c  N dy  6806   2298805        90      8010         0    116271     56070   2334098     25.21     26.85  --
2698.29/675.55	c  N dy  6885   2318887        90      8010         0     74071     56070   1057404     25.21     28.24  --
2722.27/681.51	c  N dy  6996   2338947        90      8010         0     92661     56070   1614068     25.22     28.14  --
2749.03/688.25	c  N dy  7056   2359302        90      8010         0    111467     56070   2170957     25.23     26.56  --
2782.99/696.74	c  N dy  7075   2391952        90      8010         0     79633     56070   1193538     25.21     26.55  --
2812.16/704.02	c  N dy  7185   2411995        90      8010         0     98193     56070   1748638     25.22     28.00  --
2844.89/712.27	c  N dy  7250   2433436        90      8010         0    117937     56070   2327241     25.22     26.61  --
2876.86/720.21	c  N dy  7351   2454794        90      8010         0     74973     56070   1048139     25.22     26.57  --
2901.62/726.45	c  N dy  7408   2474866        90      8010         0     93518     56070   1597420     25.22     27.87  --
2929.58/733.49	c  N dy  7463   2495743        90      8010         0    112761     56070   2165222     25.22     26.58  --
2954.75/739.79	c  N dy  7483   2515850        90      8010         0     67623     56070    809904     25.22     26.83  --
2976.32/745.19	c  N dy  7585   2536165        90      8010         0     86486     56070   1374423     25.22     26.58  --
2999.49/750.93	c  N dy  7629   2556182        90      8010         0    104915     56070   1911595     25.22     27.21  --
3031.47/759.00	c  N dy  7721   2576351        90      8010         0    123602     56070   2470197     25.22     26.62  --
3057.82/765.53	c  N dy  7808   2596395        90      8010         0     77453     56070   1080208     25.23     27.20  --
3078.99/770.80	c  N dy  7832   2617240        90      8010         0     96601     56070   1642745     25.22     26.63  --
3109.34/778.46	c  N dy  7903   2639204        90      8010         0    116796     56070   2239956     25.23     26.61  --
3140.50/786.22	c  N dy  7972   2659242        90      8010         0     69819     56070    839447     25.22     28.10  --
3162.86/791.80	c  N dy  8022   2679259        90      8010         0     88228     56070   1383028     25.22     26.62  --
3190.43/798.77	c  N dy  8084   2699333        90      8010         0    106724     56070   1930523     25.22     27.77  --
3210.80/803.89	c  S st  8151   2711503        90      8010         0    118029     56070   2269944     25.23   no data  --
3212.39/804.23	c  S st  8151   2712008        90      8010         0    118504     56070   2284381     25.23   no data  --
3212.39/804.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3212.39/804.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3212.79/804.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.26
3212.79/804.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3212.79/804.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3212.79/804.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3212.79/804.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3963.78/992.37	c lits-rem:      6832  cl-subs:    10470  v-elim:      0  v-fix:    0  time: 750.72 s
3963.78/992.37	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
3964.18/992.40	c vivif2 --  cl tried   108034 cl shrink        0 lits rem          0 time: 0.11
3965.78/992.89	c asymm  cl-useful: 0/532/8010 lits-rem:0 time: 1.99
3966.18/992.90	c calculated reachability. Time: 0.00
3966.18/992.90	c  N dy  8151   2712008        90      8010         0    108034     56070   1955665     25.23   no data  --
4010.92/1004.12	c  N dy  8260   2732083        90      8010         0    126565     56070   2507777     25.24     26.71  --
4049.26/1013.78	c  N dy  8363   2755041        90      8010         0     81792     56070   1182020     25.24     26.71  --
4084.02/1022.40	c  N dy  8488   2775058        90      8010         0    100276     56070   1738799     25.25     27.45  --
4122.76/1032.12	c  N dy  8525   2795125        90      8010         0    118690     56070   2283271     25.25     26.59  --
4173.10/1044.71	c  N dy  8628   2815173        90      8010         0     70083     56070    817389     25.26     27.48  --
4207.84/1053.41	c  N dy  8731   2837219        90      8010         0     90457     56070   1427320     25.26     26.61  --
4242.60/1062.15	c  N dy  8776   2857300        90      8010         0    108926     56070   1968159     25.26     26.65  --
4291.73/1074.41	c  N dy  8894   2877362        90      8010         0    127474     56070   2522909     25.27     26.80  --
4328.11/1083.56	c  N dy  8930   2897389        90      8010         0     77703     56070   1015778     25.26     26.63  --
4362.04/1092.01	c  N dy  9005   2917578        90      8010         0     96331     56070   1570329     25.27     26.65  --
4403.58/1102.48	c  N dy  9096   2937741        90      8010         0    115010     56070   2128830     25.27     26.65  --
4495.86/1125.52	c  N dy  9170   2992659        90      8010         0     96108     56070   1523411     25.25     26.72  --
4542.19/1137.13	c  N dy  9255   3016128        90      8010         0    117791     56070   2166656     25.26     26.62  --
4598.12/1151.18	c  N dy  9346   3039571        90      8010         0    139409     56070   2810682     25.26     26.66  --
4632.47/1159.73	c  N dy  9451   3059638        90      8010         0     88057     56070   1302216     25.27     27.33  --
4678.01/1171.19	c  N dy  9526   3087912        90      8010         0    114160     56070   2075010     25.27     26.61  --
4719.18/1181.46	c  N dy  9654   3107923        90      8010         0    132656     56070   2630580     25.27     27.39  --
4749.53/1189.01	c  N dy  9699   3130460        90      8010         0     82475     56070   1104134     25.27     26.60  --
4778.27/1196.23	c  N dy  9815   3152087        90      8010         0    102515     56070   1704847     25.28     26.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-3175441-1304124054/watcher-3175441-1304124054 -o /tmp/evaluation-result-3175441-1304124054/solver-3175441-1304124054 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175441-1304124054.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: 5.84 7.50 7.83 4/176 5125
/proc/meminfo: memFree=30737952/32951124 swapFree=67110188/67111528
[pid=5123] ppid=5120 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 414 0 0 0 0 0 0 0 20 0 4 0 524006174 52465664 353 33554432000 4194304 4650419 140733683553920 18446744073709551615 47483244242866 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 12809 353 303 112 0 7774 0
[pid=5123/tid=5127] ppid=5120 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 524006175 52465664 353 33554432000 4194304 4650419 140733683553920 18446744073709551615 47483244242866 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 4 0 524006175 52465664 353 33554432000 4194304 4650419 140733683553920 18446744073709551615 47483244242866 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 524006175 52465664 353 33554432000 4194304 4650419 140733683553920 18446744073709551615 222933574710 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.0944071 s]
/proc/loadavg: 5.84 7.50 7.83 4/176 5125
/proc/meminfo: memFree=30737952/32951124 swapFree=67110188/67111528
[pid=5123] ppid=5120 vsize=282044 CPUtime=0.35 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 1617 0 0 0 35 0 0 0 22 0 4 0 524006174 288813056 1527 33554432000 4194304 4650419 140733683553920 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 70511 1527 366 112 0 65476 0
[pid=5123/tid=5127] ppid=5120 vsize=282044 CPUtime=0.08 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 235 0 0 0 8 0 0 0 22 0 4 0 524006175 288813056 1528 33554432000 4194304 4650419 140733683553920 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=282044 CPUtime=0.08 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 268 0 0 0 8 0 0 0 22 0 4 0 524006175 288813056 1528 33554432000 4194304 4650419 140733683553920 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=282044 CPUtime=0.08 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 412 0 0 0 8 0 0 0 23 0 4 0 524006175 288813056 1528 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 282044

[startup+0.100405 s]
/proc/loadavg: 5.84 7.50 7.83 4/176 5125
/proc/meminfo: memFree=30737952/32951124 swapFree=67110188/67111528
[pid=5123] ppid=5120 vsize=282044 CPUtime=0.37 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 1627 0 0 0 37 0 0 0 22 0 4 0 524006174 288813056 1537 33554432000 4194304 4650419 140733683553920 18446744073709551615 4371123 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 70511 1537 366 112 0 65476 0
[pid=5123/tid=5127] ppid=5120 vsize=282044 CPUtime=0.09 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 237 0 0 0 9 0 0 0 22 0 4 0 524006175 288813056 1537 33554432000 4194304 4650419 140733683553920 18446744073709551615 4370675 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=282044 CPUtime=0.09 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 269 0 0 0 9 0 0 0 22 0 4 0 524006175 288813056 1537 33554432000 4194304 4650419 140733683553920 18446744073709551615 4370701 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=282044 CPUtime=0.09 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 418 0 0 0 9 0 0 0 23 0 4 0 524006175 288813056 1537 33554432000 4194304 4650419 140733683553920 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282044

[startup+0.300371 s]
/proc/loadavg: 5.84 7.50 7.83 4/176 5125
/proc/meminfo: memFree=30737952/32951124 swapFree=67110188/67111528
[pid=5123] ppid=5120 vsize=286240 CPUtime=1.17 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 4121 0 0 0 117 0 0 0 22 0 4 0 524006174 293109760 3526 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 71560 3526 390 112 0 66525 0
[pid=5123/tid=5127] ppid=5120 vsize=286240 CPUtime=0.29 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 930 0 0 0 29 0 0 0 18 0 4 0 524006175 293109760 3526 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=286240 CPUtime=0.29 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 922 0 0 0 29 0 0 0 18 0 4 0 524006175 293109760 3526 33554432000 4194304 4650419 140733683553920 18446744073709551615 4366567 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=286240 CPUtime=0.29 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 834 0 0 0 29 0 0 0 23 0 4 0 524006175 293109760 3526 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 286240

[startup+0.700297 s]
/proc/loadavg: 5.84 7.50 7.83 4/176 5125
/proc/meminfo: memFree=30737952/32951124 swapFree=67110188/67111528
[pid=5123] ppid=5120 vsize=287844 CPUtime=2.77 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 6647 0 0 0 276 1 0 0 24 0 4 0 524006174 294752256 4081 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 71961 4081 390 112 0 66926 0
[pid=5123/tid=5127] ppid=5120 vsize=287844 CPUtime=0.69 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 1665 0 0 0 69 0 0 0 18 0 4 0 524006175 294752256 4081 33554432000 4194304 4650419 140733683553920 18446744073709551615 4331993 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=287844 CPUtime=0.69 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 1560 0 0 0 69 0 0 0 18 0 4 0 524006175 294752256 4081 33554432000 4194304 4650419 140733683553920 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=287844 CPUtime=0.69 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 1306 0 0 0 69 0 0 0 25 0 4 0 524006175 294752256 4081 33554432000 4194304 4650419 140733683553920 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 287844

[startup+1.50115 s]
/proc/loadavg: 5.84 7.50 7.83 10/184 5133
/proc/meminfo: memFree=30710236/32951124 swapFree=67110188/67111528
[pid=5123] ppid=5120 vsize=289304 CPUtime=5.98 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 10902 0 0 0 596 2 0 0 25 0 4 0 524006174 296247296 4974 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 72326 4974 391 112 0 67291 0
[pid=5123/tid=5127] ppid=5120 vsize=289304 CPUtime=1.48 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 2756 0 0 0 148 0 0 0 19 0 4 0 524006175 296247296 4974 33554432000 4194304 4650419 140733683553920 18446744073709551615 4352094 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=289304 CPUtime=1.49 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 2630 0 0 0 149 0 0 0 19 0 4 0 524006175 296247296 4974 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=289304 CPUtime=1.48 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 2315 0 0 0 148 0 0 0 25 0 4 0 524006175 296247296 4974 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 289304

[startup+3.10086 s]
/proc/loadavg: 5.84 7.50 7.83 10/184 5134
/proc/meminfo: memFree=30678368/32951124 swapFree=67110188/67111528
[pid=5123] ppid=5120 vsize=299680 CPUtime=12.37 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 20562 0 0 0 1234 3 0 0 25 0 4 0 524006174 306872320 12391 33554432000 4194304 4650419 140733683553920 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 74920 12391 392 112 0 69885 0
[pid=5123/tid=5127] ppid=5120 vsize=299680 CPUtime=3.08 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 4517 0 0 0 308 0 0 0 23 0 4 0 524006175 306872320 12391 33554432000 4194304 4650419 140733683553920 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=299680 CPUtime=3.09 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 5658 0 0 0 309 0 0 0 23 0 4 0 524006175 306872320 12391 33554432000 4194304 4650419 140733683553920 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=299680 CPUtime=3.07 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 5379 0 0 0 307 0 0 0 25 0 4 0 524006175 306872320 12391 33554432000 4194304 4650419 140733683553920 18446744073709551615 4370503 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 299680

[startup+6.30028 s]
/proc/loadavg: 6.01 7.51 7.83 10/184 5134
/proc/meminfo: memFree=30639116/32951124 swapFree=67110188/67111528
[pid=5123] ppid=5120 vsize=309020 CPUtime=25.15 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 28882 0 0 0 2509 6 0 0 25 0 4 0 524006174 316436480 16486 33554432000 4194304 4650419 140733683553920 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 77255 16486 392 112 0 72220 0
[pid=5123/tid=5127] ppid=5120 vsize=309020 CPUtime=6.29 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 7379 0 0 0 628 1 0 0 25 0 4 0 524006175 316436480 16486 33554432000 4194304 4650419 140733683553920 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=309020 CPUtime=6.29 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 7071 0 0 0 628 1 0 0 25 0 4 0 524006175 316436480 16486 33554432000 4194304 4650419 140733683553920 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=309020 CPUtime=6.26 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 7573 0 0 0 625 1 0 0 25 0 4 0 524006175 316436480 16486 33554432000 4194304 4650419 140733683553920 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 309020

[startup+12.7011 s]
/proc/loadavg: 6.17 7.51 7.83 9/184 5134
/proc/meminfo: memFree=30586196/32951124 swapFree=67110188/67111528
[pid=5123] ppid=5120 vsize=309404 CPUtime=50.71 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 43221 0 0 0 5063 8 0 0 25 0 4 0 524006174 316829696 22966 33554432000 4194304 4650419 140733683553920 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 77351 22966 392 112 0 72316 0
[pid=5123/tid=5127] ppid=5120 vsize=309404 CPUtime=12.69 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 11310 0 0 0 1268 1 0 0 25 0 4 0 524006175 316829696 22966 33554432000 4194304 4650419 140733683553920 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=309404 CPUtime=12.68 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 9028 0 0 0 1267 1 0 0 25 0 4 0 524006175 316829696 22966 33554432000 4194304 4650419 140733683553920 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=309404 CPUtime=12.62 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 12284 0 0 0 1260 2 0 0 25 0 4 0 524006175 316829696 22966 33554432000 4194304 4650419 140733683553920 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 309404

[startup+25.5008 s]
/proc/loadavg: 6.58 7.54 7.83 10/184 5134
/proc/meminfo: memFree=30530888/32951124 swapFree=67110188/67111528
[pid=5123] ppid=5120 vsize=365692 CPUtime=101.83 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 62811 0 0 0 10171 12 0 0 25 0 4 0 524006174 374468608 31025 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365242 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 91423 31025 392 112 0 86388 0
[pid=5123/tid=5127] ppid=5120 vsize=365692 CPUtime=25.49 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 15727 0 0 0 2547 2 0 0 25 0 4 0 524006175 374468608 31025 33554432000 4194304 4650419 140733683553920 18446744073709551615 4439366 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=365692 CPUtime=25.48 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 13583 0 0 0 2546 2 0 0 25 0 4 0 524006175 374468608 31025 33554432000 4194304 4650419 140733683553920 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=365692 CPUtime=25.35 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 17781 0 0 0 2531 4 0 0 25 0 4 0 524006175 374468608 31025 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 365692

[startup+51.1011 s]
/proc/loadavg: 7.06 7.57 7.83 9/184 5135
/proc/meminfo: memFree=30483696/32951124 swapFree=67110188/67111528
[pid=5123] ppid=5120 vsize=366424 CPUtime=204.09 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 92639 0 0 0 20390 19 0 0 25 0 4 0 524006174 375218176 37181 33554432000 4194304 4650419 140733683553920 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 91606 37181 392 112 0 86571 0
[pid=5123/tid=5127] ppid=5120 vsize=366424 CPUtime=51.08 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 23656 0 0 0 5105 3 0 0 25 0 4 0 524006175 375218176 37181 33554432000 4194304 4650419 140733683553920 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=366424 CPUtime=51.08 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 20022 0 0 0 5105 3 0 0 25 0 4 0 524006175 375218176 37181 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=366424 CPUtime=50.81 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 26341 0 0 0 5074 7 0 0 25 0 4 0 524006175 375218176 37181 33554432000 4194304 4650419 140733683553920 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 366424

[startup+102.307 s]
/proc/loadavg: 7.59 7.64 7.84 10/184 5136
/proc/meminfo: memFree=30434288/32951124 swapFree=67110188/67111528
[pid=5123] ppid=5120 vsize=343572 CPUtime=408.63 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 144686 0 0 0 40827 36 0 0 25 0 4 0 524006174 351817728 41297 33554432000 4194304 4650419 140733683553920 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 85893 41297 392 112 0 80858 0
[pid=5123/tid=5127] ppid=5120 vsize=343572 CPUtime=102.29 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 36450 0 0 0 10221 8 0 0 25 0 4 0 524006175 351817728 41297 33554432000 4194304 4650419 140733683553920 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=343572 CPUtime=102.28 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 33591 0 0 0 10221 7 0 0 25 0 4 0 524006175 351817728 41297 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=343572 CPUtime=101.73 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 40596 0 0 0 10162 11 0 0 25 0 4 0 524006175 351817728 41297 33554432000 4194304 4650419 140733683553920 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 343572

[startup+162.301 s]

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

[pid=5123] ppid=5120 vsize=500136 CPUtime=2805.36 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 459263 0 0 0 280376 160 0 0 25 0 4 0 524006174 512139264 81939 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 125034 81939 392 112 0 119999 0
[pid=5123/tid=5127] ppid=5120 vsize=500136 CPUtime=702.3 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 125389 0 0 0 70184 46 0 0 25 0 4 0 524006175 512139264 81939 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=500136 CPUtime=702.22 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 98703 0 0 0 70191 31 0 0 25 0 4 0 524006175 512139264 81939 33554432000 4194304 4650419 140733683553920 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=500136 CPUtime=698.49 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 130466 0 0 0 69802 47 0 0 25 0 4 0 524006175 512139264 81939 33554432000 4194304 4650419 140733683553920 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.36
Current children cumulated vsize (KiB) 500136

[startup+762.307 s]
/proc/loadavg: 8.26 8.10 7.97 10/184 5154
/proc/meminfo: memFree=30088224/32951124 swapFree=67110188/67111528
[pid=5123] ppid=5120 vsize=434808 CPUtime=3045.05 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 474750 0 0 0 304336 169 0 0 25 0 4 0 524006174 445243392 75716 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365300 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 108702 75716 392 112 0 103667 0
[pid=5123/tid=5127] ppid=5120 vsize=434808 CPUtime=762.32 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 128273 0 0 0 76183 49 0 0 25 0 4 0 524006175 445243392 75716 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=434808 CPUtime=762.22 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 100380 0 0 0 76190 32 0 0 25 0 4 0 524006175 445243392 75716 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=434808 CPUtime=758.16 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 137184 0 0 0 75766 50 0 0 25 0 4 0 524006175 445243392 75716 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.05
Current children cumulated vsize (KiB) 434808

[startup+822.301 s]
/proc/loadavg: 8.24 8.11 7.98 9/184 5155
/proc/meminfo: memFree=30035708/32951124 swapFree=67110188/67111528
[pid=5123] ppid=5120 vsize=579160 CPUtime=3284.71 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 494107 0 0 0 328293 178 0 0 25 0 4 0 524006174 593059840 82085 33554432000 4194304 4650419 140733683553920 18446744073709551615 4439344 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 144790 82085 392 112 0 139755 0
[pid=5123/tid=5127] ppid=5120 vsize=579160 CPUtime=822.31 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 134950 0 0 0 82179 52 0 0 25 0 4 0 524006175 593059840 82085 33554432000 4194304 4650419 140733683553920 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=579160 CPUtime=822.21 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 103581 0 0 0 82187 34 0 0 25 0 4 0 524006175 593059840 82085 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=579160 CPUtime=817.84 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 144100 0 0 0 81731 53 0 0 25 0 4 0 524006175 593059840 82085 33554432000 4194304 4650419 140733683553920 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.71
Current children cumulated vsize (KiB) 579160

[startup+882.301 s]
/proc/loadavg: 8.22 8.12 8.00 10/184 5157
/proc/meminfo: memFree=30038532/32951124 swapFree=67110188/67111528
[pid=5123] ppid=5120 vsize=579528 CPUtime=3524.37 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 513048 0 0 0 352250 187 0 0 25 0 4 0 524006174 593436672 81047 33554432000 4194304 4650419 140733683553920 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 144882 81047 392 112 0 139847 0
[pid=5123/tid=5127] ppid=5120 vsize=579528 CPUtime=882.31 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 141375 0 0 0 88176 55 0 0 25 0 4 0 524006175 593436672 81047 33554432000 4194304 4650419 140733683553920 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=579528 CPUtime=882.21 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 109967 0 0 0 88183 38 0 0 25 0 4 0 524006175 593436672 81047 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=579528 CPUtime=877.51 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 150212 0 0 0 87695 56 0 0 25 0 4 0 524006175 593436672 81047 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.37
Current children cumulated vsize (KiB) 579528

[startup+942.301 s]
/proc/loadavg: 8.20 8.13 8.00 9/184 5158
/proc/meminfo: memFree=29997452/32951124 swapFree=67110188/67111528
[pid=5123] ppid=5120 vsize=579696 CPUtime=3764.05 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 534359 0 0 0 376209 196 0 0 25 0 4 0 524006174 593608704 91966 33554432000 4194304 4650419 140733683553920 18446744073709551615 4476297 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 144924 91966 392 112 0 139889 0
[pid=5123/tid=5127] ppid=5120 vsize=579696 CPUtime=942.31 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 150459 0 0 0 94172 59 0 0 25 0 4 0 524006175 593608704 91966 33554432000 4194304 4650419 140733683553920 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=579696 CPUtime=942.21 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 116012 0 0 0 94180 41 0 0 25 0 4 0 524006175 593608704 91966 33554432000 4194304 4650419 140733683553920 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=579696 CPUtime=937.19 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 156237 0 0 0 93661 58 0 0 25 0 4 0 524006175 593608704 91966 33554432000 4194304 4650419 140733683553920 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.05
Current children cumulated vsize (KiB) 579696

[startup+1002.3 s]
/proc/loadavg: 8.07 8.10 8.00 9/184 5160
/proc/meminfo: memFree=30008952/32951124 swapFree=67110188/67111528
[pid=5123] ppid=5120 vsize=579752 CPUtime=4003.73 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 544388 0 0 0 400172 201 0 0 25 0 4 0 524006174 593666048 92461 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 144938 92461 392 112 0 139903 0
[pid=5123/tid=5127] ppid=5120 vsize=579752 CPUtime=1002.31 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 151121 0 0 0 100172 59 0 0 25 0 4 0 524006175 593666048 92461 33554432000 4194304 4650419 140733683553920 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=579752 CPUtime=1002.21 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 120732 0 0 0 100177 44 0 0 25 0 4 0 524006175 593666048 92461 33554432000 4194304 4650419 140733683553920 18446744073709551615 4355007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=579752 CPUtime=996.86 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 160516 0 0 0 99627 59 0 0 25 0 4 0 524006175 593666048 92461 33554432000 4194304 4650419 140733683553920 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.73
Current children cumulated vsize (KiB) 579752

[startup+1062.3 s]
/proc/loadavg: 8.02 8.08 8.00 9/184 5162
/proc/meminfo: memFree=29988812/32951124 swapFree=67110188/67111528
[pid=5123] ppid=5120 vsize=568332 CPUtime=4243.4 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 555813 0 0 0 424134 206 0 0 25 0 4 0 524006174 581971968 95081 33554432000 4194304 4650419 140733683553920 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 142083 95081 392 112 0 137048 0
[pid=5123/tid=5127] ppid=5120 vsize=568332 CPUtime=1062.31 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 151397 0 0 0 106172 59 0 0 25 0 4 0 524006175 581971968 95081 33554432000 4194304 4650419 140733683553920 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=568332 CPUtime=1062.2 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 121552 0 0 0 106176 44 0 0 25 0 4 0 524006175 581971968 95081 33554432000 4194304 4650419 140733683553920 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=568332 CPUtime=1056.54 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 165015 0 0 0 105594 60 0 0 25 0 4 0 524006175 581971968 95081 33554432000 4194304 4650419 140733683553920 18446744073709551615 4476411 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.4
Current children cumulated vsize (KiB) 568332

[startup+1122.3 s]
/proc/loadavg: 8.01 8.06 8.00 9/184 5163
/proc/meminfo: memFree=29974016/32951124 swapFree=67110188/67111528
[pid=5123] ppid=5120 vsize=568332 CPUtime=4483.07 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 559364 0 0 0 448100 207 0 0 25 0 4 0 524006174 581971968 94183 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 142083 94183 392 112 0 137048 0
[pid=5123/tid=5127] ppid=5120 vsize=568332 CPUtime=1122.31 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 151397 0 0 0 112172 59 0 0 25 0 4 0 524006175 581971968 94183 33554432000 4194304 4650419 140733683553920 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=568332 CPUtime=1122.19 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 121625 0 0 0 112175 44 0 0 25 0 4 0 524006175 581971968 94183 33554432000 4194304 4650419 140733683553920 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=568332 CPUtime=1116.21 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 165827 0 0 0 111561 60 0 0 25 0 4 0 524006175 581971968 94183 33554432000 4194304 4650419 140733683553920 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.07
Current children cumulated vsize (KiB) 568332

[startup+1182.3 s]
/proc/loadavg: 8.00 8.05 8.00 10/184 5165
/proc/meminfo: memFree=29947300/32951124 swapFree=67110188/67111528
[pid=5123] ppid=5120 vsize=621512 CPUtime=4722.75 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 567855 0 0 0 472062 213 0 0 25 0 4 0 524006174 636428288 98436 33554432000 4194304 4650419 140733683553920 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 155378 98436 392 112 0 150343 0
[pid=5123/tid=5127] ppid=5120 vsize=621512 CPUtime=1182.32 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 152243 0 0 0 118172 60 0 0 25 0 4 0 524006175 636428288 98436 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=621512 CPUtime=1182.19 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 121625 0 0 0 118175 44 0 0 25 0 4 0 524006175 636428288 98436 33554432000 4194304 4650419 140733683553920 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=621512 CPUtime=1175.88 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 168716 0 0 0 117527 61 0 0 25 0 4 0 524006175 636428288 98436 33554432000 4194304 4650419 140733683553920 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.75
Current children cumulated vsize (KiB) 621512



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.00 8.05 8.00 10/184 5165
/proc/meminfo: memFree=29967004/32951124 swapFree=67110188/67111528
[pid=5123] ppid=5120 vsize=581924 CPUtime=4800.26 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 573922 0 0 0 479810 216 0 0 25 0 4 0 524006174 595890176 94091 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 145481 94091 392 112 0 140446 0
[pid=5123/tid=5127] ppid=5120 vsize=581924 CPUtime=1201.73 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 154987 0 0 0 120112 61 0 0 25 0 4 0 524006175 595890176 94091 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=581924 CPUtime=1201.59 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 123112 0 0 0 120114 45 0 0 25 0 4 0 524006175 595890176 94091 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=581924 CPUtime=1195.18 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 170301 0 0 0 119456 62 0 0 25 0 4 0 524006175 595890176 94091 33554432000 4194304 4650419 140733683553920 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 581924

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

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

[startup+1201.7 s]
/proc/loadavg: 8.00 8.05 8.00 10/184 5165
/proc/meminfo: memFree=29967004/32951124 swapFree=67110188/67111528
[pid=5123] ppid=5120 vsize=581924 CPUtime=4800.26 cores=0,2,4,6
/proc/5123/stat : 5123 (strangenight1-m) R 5120 5123 4339 0 -1 4202496 573922 0 0 0 479810 216 0 0 25 0 4 0 524006174 595890176 94091 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5123/statm: 145481 94091 392 112 0 140446 0
[pid=5123/tid=5127] ppid=5120 vsize=581924 CPUtime=1201.73 cores=0,2,4,6
/proc/5123/task/5127/stat : 5127 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 154987 0 0 0 120112 61 0 0 25 0 4 0 524006175 595890176 94091 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5123/tid=5128] ppid=5120 vsize=581924 CPUtime=1201.59 cores=0,2,4,6
/proc/5123/task/5128/stat : 5128 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 123112 0 0 0 120114 45 0 0 25 0 4 0 524006175 595890176 94091 33554432000 4194304 4650419 140733683553920 18446744073709551615 4365216 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=5123/tid=5131] ppid=5120 vsize=581924 CPUtime=1195.18 cores=0,2,4,6
/proc/5123/task/5131/stat : 5131 (strangenight1-m) R 5120 5123 4339 0 -1 4202560 170301 0 0 0 119456 62 0 0 25 0 4 0 524006175 595890176 94091 33554432000 4194304 4650419 140733683553920 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 581924

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.31
CPU user time (s): 4798.12
CPU system time (s): 2.18267
CPU usage (%): 399.449
Max. virtual memory (cumulated for all children) (KiB): 684508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.12
system time used= 2.18267
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 573923
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= 527
involuntary context switches= 36561

runsolver used 1.76273 second user time and 4.80427 second system time

The end

Launcher Data 

Begin job on node109 at 2011-04-30 02:40:54
IDJOB=3175441
IDBENCH=83059
IDSOLVER=1588
FILE ID=node109/3175441-1304124054
RUNJOBID= node109-1304124054-5106
PBS_JOBID= 13170719
Free space on /tmp= 72384 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175441-1304124054/watcher-3175441-1304124054 -o /tmp/evaluation-result-3175441-1304124054/solver-3175441-1304124054 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175441-1304124054.cnf

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

MD5SUM BENCH= 64cfbb29f16ce069bd41061252da74bd
RANDOM SEED=1699018441

node109.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	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30738264 kB
Buffers:        754620 kB
Cached:        1007132 kB
SwapCached:        712 kB
Active:         148908 kB
Inactive:      1676164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30738264 kB
SwapTotal:    67111528 kB
SwapFree:     67110188 kB
Dirty:           12516 kB
Writeback:           0 kB
AnonPages:       62672 kB
Mapped:          14396 kB
Slab:           324780 kB
PageTables:       4728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   191128 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= 72372 MiB
End job on node109 at 2011-04-30 03:00:58