Trace number 3368810

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.17 1203.13

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf
MD5SUM8dc696d26aef2000e5a242477bc06639
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.107982
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368810-1305403451.cnf'
0.00/0.01	c -- header says num vars:             90
0.00/0.01	c -- header says num clauses:        8010
0.00/0.02	c -- clauses added:            0 learnts,         8010 normals,            0 xors
0.00/0.02	c -- vars added         90
0.00/0.02	c Parsing time:  0.01 s
0.00/0.02	c  N st     0         0        90      8010         0         0     56070         0   no data   no data  --
0.77/0.20	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.73
0.77/0.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.77/0.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.77/0.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.77/0.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
0.77/0.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.77/0.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
0.77/0.23	c Finding binary XORs  T:     0.00 s  found:       0
0.77/0.23	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.77/0.23	c calculated reachability. Time: 0.00
0.77/0.24	c Calc default polars -  time:   0.00 s pos:      50 undec:       0 neg:      40
0.77/0.24	c =========================================================================================
0.77/0.24	c types(t): F = full restart, N = normal restart
0.77/0.24	c types(t): S = simplification begin/end, E = solution found
0.77/0.24	c restart types(rt): st = static, dy = dynamic
0.77/0.24	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.77/0.24	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
0.77/0.37	c  N dy    15      4025        90      8010         0      3725     56070    109542     24.80     26.19  --
0.77/0.56	c  N dy    25      8992        90      8010         0      5958     56070    162335     25.11     26.43  --
2.77/0.74	c  N dy    42     13044        90      8010         0      5813     56070    144132     25.45     27.59  --
3.57/0.99	c  N dy    66     18256        90      8010         0      5455     56070    115398     25.78     27.19  --
4.76/1.30	c  F st    76     25000        90      8010         0     11680     56070    302679     25.67     24.13  --
4.76/1.30	c  N st    76     25000        90      8010         0     11680     56070    302679     25.67     24.13  --
5.96/1.54	c  N dy    82     30001        90      8010         0      9991     56070    234177     25.67   no data  --
5.96/1.54	c  S st    82     30001        90      8010         0      9991     56070    234177     25.67   no data  --
5.96/1.57	c  S st    82     30505        90      8010         0     10467     56070    248182     25.67   no data  --
5.96/1.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.96/1.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
5.96/1.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.75/2.77	c lits-rem:      1537  cl-subs:      699  v-elim:      0  v-fix:    0  time:  4.71 s
12.35/3.14	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.49
12.35/3.14	c calculated reachability. Time: 0.00
12.35/3.14	c  N dy    82     30505        90      8010         0      9768     56070    223624     25.67   no data  --
14.38/3.68	c  N dy    90     40595        90      8010         0     11798     56070    266367     25.41     26.83  --
15.53/3.96	c  N dy   102     44992        90      8010         0     15897     56070    386937     25.41     26.99  --
15.93/4.02	c  S st   106     45759        90      8010         0      8335     56070    148868     25.43     25.39  --
15.93/4.06	c  S st   106     46263        90      8010         0      8815     56070    163148     25.43   no data  --
15.93/4.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.93/4.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.93/4.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
15.93/4.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.93/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
15.93/4.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.53/4.99	c lits-rem:       182  cl-subs:       47  v-elim:      0  v-fix:    0  time:  3.68 s
19.53/4.99	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.53/4.99	c vivif2 --  cl tried     8768 cl shrink        0 lits rem          0 time: 0.00
20.72/5.28	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.16
20.72/5.28	c calculated reachability. Time: 0.00
20.72/5.28	c  N dy   106     46263        90      8010         0      8768     56070    161268     25.43   no data  --
21.92/5.57	c  N dy   115     51819        90      8010         0     13919     56070    309674     25.28     26.67  --
23.15/5.88	c  N dy   128     56569        90      8010         0     18300     56070    437486     25.23     26.83  --
24.32/6.11	c  N dy   154     60587        90      8010         0     12801     56070    264474     25.34     28.85  --
25.52/6.48	c  N dy   174     66388        90      8010         0     18176     56070    423227     25.38     26.99  --
26.71/6.71	c  S st   183     69395        90      8010         0     10786     56070    186886     25.39     24.95  --
26.71/6.75	c  S st   183     69900        90      8010         0     11262     56070    200929     25.39   no data  --
26.71/6.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.71/6.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.71/6.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
26.71/6.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.71/6.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.71/6.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
26.71/6.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
30.70/7.72	c lits-rem:       359  cl-subs:      160  v-elim:      0  v-fix:    0  time:  3.82 s
30.70/7.72	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
30.70/7.73	c vivif2 --  cl tried    11102 cl shrink        0 lits rem          0 time: 0.01
31.93/8.09	c asymm  cl-useful: 0/7928/8010 lits-rem:0 time: 1.43
31.93/8.09	c calculated reachability. Time: 0.00
31.93/8.09	c  N dy   183     69900        90      8010         0     11102     56070    195412     25.39   no data  --
33.88/8.56	c  N dy   197     77706        90      8010         0     18298     56070    405594     25.31     26.66  --
35.49/8.97	c  N dy   212     82841        90      8010         0     11971     56070    204345     25.33     26.69  --
36.68/9.26	c  F st   229     87500        90      8010         0     16268     56070    331634     25.36     24.24  --
37.08/9.31	c  N st   231     88128        90      8010         0     16858     56070    349498     25.36   no data  --
38.68/9.72	c  N dy   240     93762        90      8010         0     22089     56070    507387     25.37     27.11  --
40.30/10.17	c  N dy   261     99878        90      8010         0     15749     56070    298286     25.38     26.99  --
41.87/10.55	c  S st   288    104851        90      8010         0     20376     56070    436078     25.43     26.08  --
42.27/10.61	c  S st   288    105355        90      8010         0     20854     56070    450486     25.43   no data  --
42.27/10.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
42.27/10.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
42.27/10.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
42.27/10.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
42.27/10.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.27/10.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
42.27/10.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
50.23/12.64	c lits-rem:      1911  cl-subs:     1413  v-elim:      0  v-fix:    0  time:  8.00 s
50.23/12.64	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
50.23/12.65	c vivif2 --  cl tried    19441 cl shrink        0 lits rem          0 time: 0.02
51.83/13.05	c asymm  cl-useful: 0/5638/8010 lits-rem:0 time: 1.60
51.83/13.05	c calculated reachability. Time: 0.00
51.83/13.05	c  N dy   288    105355        90      8010         0     19441     56070    402813     25.43   no data  --
54.23/13.60	c  N dy   293    112336        90      8010         0     12953     56070    198199     25.39     26.73  --
56.23/14.13	c  N dy   314    120548        90      8010         0     20572     56070    424187     25.38     26.77  --
60.61/15.22	c  N dy   323    136027        90      8010         0     20877     56070    413333     25.22     26.63  --
64.21/16.12	c  N dy   350    145841        90      8010         0     15241     56070    232479     25.23     26.64  --
67.04/16.86	c  N dy   369    156442        90      8010         0     25065     56070    520770     25.22     26.79  --
67.79/17.01	c  S st   382    158032        90      8010         0     26535     56070    565130     25.24     25.10  --
67.79/17.09	c  S st   382    158537        90      8010         0     27013     56070    579386     25.24   no data  --
67.79/17.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
67.79/17.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
68.19/17.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
68.19/17.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
68.19/17.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
68.19/17.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
68.19/17.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
78.57/19.74	c lits-rem:      1955  cl-subs:     2203  v-elim:      0  v-fix:    0  time: 10.47 s
78.57/19.74	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
78.57/19.75	c vivif2 --  cl tried    24810 cl shrink        0 lits rem          0 time: 0.02
79.37/19.99	c asymm  cl-useful: 0/1924/8010 lits-rem:0 time: 0.97
79.37/19.99	c calculated reachability. Time: 0.00
79.37/19.99	c  N dy   382    158537        90      8010         0     24810     56070    508207     25.24   no data  --
85.36/21.43	c  N dy   426    174635        90      8010         0     24113     56070    474495     25.22     26.65  --
90.14/22.67	c  N dy   434    188568        90      8010         0     20360     56070    351226     25.12     26.48  --
94.93/23.88	c  N dy   473    200811        90      8010         0     31699     56070    683487     25.14     26.55  --
104.91/26.31	c  N dy   491    224638        90      8010         0     35982     56070    775314     24.99     26.36  --
109.30/27.44	c  S st   501    237806        90      8010         0     29722     56070    586091     24.94     25.94  --
109.70/27.52	c  S st   501    238309        90      8010         0     30202     56070    600173     24.94   no data  --
109.70/27.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
109.70/27.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
109.70/27.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
109.70/27.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
109.70/27.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
109.70/27.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
109.70/27.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
121.26/30.46	c lits-rem:      2808  cl-subs:     2501  v-elim:      0  v-fix:    0  time: 11.59 s
121.26/30.46	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
121.26/30.46	c vivif2 --  cl tried    27701 cl shrink        0 lits rem          0 time: 0.02
122.06/30.65	c asymm  cl-useful: 0/2518/8010 lits-rem:0 time: 0.74
122.06/30.65	c calculated reachability. Time: 0.00
122.06/30.65	c  N dy   501    238309        90      8010         0     27701     56070    523911     24.94   no data  --
129.64/32.56	c  N dy   562    256261        90      8010         0     25000     56070    431049     24.95     26.28  --
137.26/34.49	c  N dy   668    272719        90      8010         0     40300     56070    887828     25.05     26.42  --
144.81/36.39	c  N dy   773    290154        90      8010         0     36210     56070    751319     25.13     26.92  --
151.99/38.11	c  F st   813    306250        90      8010         0     29852     56070    539518     25.13     23.89  --
153.19/38.44	c  N st   818    309550        90      8010         0     32933     56070    631752     25.13   no data  --
163.19/40.99	c  N dy   888    331950        90      8010         0     31468     56070    570583     25.16     26.67  --
173.53/43.51	c  N dy   946    352816        90      8010         0     27634     56070    436130     25.17     26.50  --
175.53/44.00	c  S st   974    357464        90      8010         0     31971     56070    565291     25.19     24.30  --
175.53/44.09	c  S st   974    357967        90      8010         0     32447     56070    579299     25.19   no data  --
175.53/44.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
175.53/44.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
175.93/44.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
175.93/44.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
175.93/44.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
175.93/44.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
175.93/44.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
187.10/46.96	c lits-rem:      1988  cl-subs:     1548  v-elim:      0  v-fix:    0  time: 11.34 s
187.10/46.96	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
187.10/46.97	c vivif2 --  cl tried    30899 cl shrink        0 lits rem          0 time: 0.03
188.70/47.34	c asymm  cl-useful: 0/1746/8010 lits-rem:0 time: 1.47
188.70/47.34	c calculated reachability. Time: 0.00
188.70/47.34	c  N dy   974    357967        90      8010         0     30899     56070    527058     25.19   no data  --
203.46/51.05	c  N dy  1010    383852        90      8010         0     30796     56070    510203     25.15     26.54  --
217.43/54.52	c  N dy  1035    411511        90      8010         0     31277     56070    506978     25.08     26.46  --
229.78/57.61	c  N dy  1109    434008        90      8010         0     26240     56070    345340     25.08     26.48  --
240.16/60.29	c  N dy  1229    455032        90      8010         0     45751     56070    925489     25.13     26.65  --
262.51/65.80	c  N dy  1290    495967        90      8010         0     28922     56070    386230     25.03     26.45  --
272.91/68.42	c  N dy  1395    515988        90      8010         0     47545     56070    938456     25.07     27.35  --
284.45/71.38	c  N dy  1482    536099        90      8010         0     37527     56070    622846     25.10     26.65  --
285.25/71.50	c  S st  1489    536950        90      8010         0     38327     56070    647060     25.10   no data  --
285.65/71.60	c  S st  1489    537454        90      8010         0     38801     56070    660892     25.10   no data  --
285.65/71.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
285.65/71.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
285.65/71.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
285.65/71.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
285.65/71.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
285.65/71.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
285.65/71.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
298.42/74.87	c lits-rem:      1312  cl-subs:     1560  v-elim:      0  v-fix:    0  time: 12.88 s
298.42/74.87	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
298.42/74.87	c vivif2 --  cl tried    37241 cl shrink        0 lits rem          0 time: 0.03
299.65/75.11	c asymm  cl-useful: 0/1435/8010 lits-rem:0 time: 0.94
299.65/75.11	c calculated reachability. Time: 0.00
299.65/75.11	c  N dy  1489    537454        90      8010         0     37241     56070    608711     25.10   no data  --
315.57/79.19	c  N dy  1572    564991        90      8010         0     33133     56070    471068     25.10     26.47  --
327.14/82.06	c  N dy  1658    585069        90      8010         0     51760     56070   1021314     25.12     26.57  --
343.90/86.22	c  N dy  1672    615868        90      8010         0     49543     56070    929022     25.06     26.46  --
357.47/89.66	c  N dy  1766    635961        90      8010         0     36809     56070    548656     25.08     26.56  --
369.87/92.75	c  N dy  1797    656234        90      8010         0     55392     56070   1090708     25.06     26.50  --
384.20/96.32	c  N dy  1885    677155        90      8010         0     42530     56070    697021     25.09     26.49  --
396.57/99.48	c  N dy  1937    697203        90      8010         0     61105     56070   1244982     25.08     27.63  --
410.93/103.03	c  N dy  2060    717338        90      8010         0     46540     56070    802124     25.12     26.46  --
427.29/107.18	c  N dy  2146    737368        90      8010         0     65149     56070   1351816     25.14     26.49  --
441.25/110.65	c  N dy  2235    757555        90      8010         0     49556     56070    866654     25.16     26.79  --
458.41/114.98	c  N dy  2323    780060        90      8010         0     70408     56070   1479381     25.17     26.49  --
471.18/118.13	c  N dy  2401    800578        90      8010         0     54171     56070    983205     25.18     26.67  --
475.21/119.19	c  S st  2421    806183        90      8010         0     59407     56070   1137840     25.18     23.92  --
475.97/119.36	c  S st  2421    806686        90      8010         0     59877     56070   1151903     25.18   no data  --
475.97/119.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
475.97/119.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
475.97/119.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
476.37/119.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
476.37/119.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
476.37/119.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
476.37/119.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
521.06/130.66	c lits-rem:      2827  cl-subs:     4307  v-elim:      0  v-fix:    0  time: 44.82 s
521.06/130.66	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
521.06/130.68	c vivif2 --  cl tried    55570 cl shrink        0 lits rem          0 time: 0.05
522.66/131.03	c asymm  cl-useful: 0/1008/8010 lits-rem:0 time: 1.41
522.66/131.03	c calculated reachability. Time: 0.00
522.66/131.03	c  N dy  2421    806686        90      8010         0     55570     56070   1012753     25.18   no data  --
539.41/135.21	c  N dy  2495    826836        90      8010         0     38259     56070    494509     25.19     26.55  --
566.97/142.13	c  N dy  2546    874255        90      8010         0     44921     56070    668019     25.08     26.43  --
582.90/146.14	c  N dy  2662    895689        90      8010         0     64823     56070   1262246     25.11     26.84  --
598.45/150.06	c  N dy  2731    915732        90      8010         0     45496     56070    667635     25.11     28.74  --
623.59/156.32	c  N dy  2809    951383        90      8010         0     39710     56070    481028     25.09     26.52  --
635.96/159.44	c  N dy  2863    971887        90      8010         0     58740     56070   1042098     25.09     26.55  --
652.32/163.53	c  N dy  2909    992015        90      8010         0     77337     56070   1584999     25.09     26.48  --
667.09/167.21	c  N dy  2980   1012777        90      8010         0     56785     56070    968568     25.10     26.53  --
685.88/171.98	c  N dy  3047   1035885        90      8010         0     78142     56070   1592695     25.09     26.43  --
700.20/175.57	c  N dy  3093   1057300        90      8010         0     57227     56070    958007     25.08     26.44  --
712.57/178.62	c  F st  3156   1071877        90      8010         0     70732     56070   1356954     25.09     25.04  --
716.96/179.76	c  N dy  3165   1077388        90      8010         0     75798     56070   1510749     25.09     26.59  --
738.13/185.06	c  N dy  3296   1102768        90      8010         0     57587     56070    953195     25.11     26.48  --
757.26/189.82	c  N dy  3404   1122814        90      8010         0     76222     56070   1509595     25.13     27.45  --
781.20/195.81	c  N dy  3508   1143291        90      8010         0     52679     56070    790134     25.14     26.61  --
802.35/201.13	c  N dy  3578   1164822        90      8010         0     72642     56070   1381690     25.15     26.48  --
829.87/208.03	c  N dy  3699   1186713        90      8010         0     49383     56070    676529     25.17     26.51  --
850.22/213.17	c  N dy  3764   1208408        90      8010         0     69430     56070   1267271     25.17     26.64  --
852.25/213.66	c  S st  3773   1210031        90      8010         0     70923     56070   1311877     25.17   no data  --
853.41/213.93	c  S st  3773   1210533        90      8010         0     71391     56070   1326462     25.17   no data  --
853.41/213.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
853.41/213.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
853.41/214.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.22
853.81/214.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
853.81/214.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
853.81/214.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
853.81/214.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
945.17/236.98	c lits-rem:      3526  cl-subs:     5073  v-elim:      0  v-fix:    0  time: 91.47 s
945.17/236.98	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
945.17/236.99	c vivif2 --  cl tried    66318 cl shrink        0 lits rem          0 time: 0.06
946.77/237.38	c asymm  cl-useful: 0/814/8010 lits-rem:0 time: 1.55
946.77/237.38	c calculated reachability. Time: 0.00
946.77/237.38	c  N dy  3773   1210533        90      8010         0     66318     56070   1164622     25.17   no data  --
965.93/242.15	c  N dy  3815   1230535        90      8010         0     84740     56070   1703324     25.16     28.08  --
983.48/246.54	c  N dy  3915   1250956        90      8010         0     59468     56070    957295     25.17     26.51  --
1003.42/251.58	c  N dy  4028   1271008        90      8010         0     78027     56070   1511430     25.19     26.77  --
1028.21/257.76	c  N dy  4118   1291692        90      8010         0     51912     56070    714315     25.20     26.56  --
1047.32/262.53	c  N dy  4203   1311783        90      8010         0     70498     56070   1265165     25.21     27.44  --
1070.46/268.35	c  N dy  4256   1331899        90      8010         0     89142     56070   1815838     25.21     26.75  --
1089.65/273.15	c  N dy  4315   1352971        90      8010         0     62323     56070    991509     25.21     26.57  --
1113.15/279.05	c  N dy  4410   1373177        90      8010         0     81029     56070   1548074     25.22     26.62  --
1135.89/284.72	c  N dy  4476   1393264        90      8010         0     52493     56070    689011     25.22     27.82  --
1151.09/288.54	c  N dy  4544   1413294        90      8010         0     71001     56070   1238615     25.23     29.30  --
1176.60/295.01	c  N dy  4645   1435869        90      8010         0     91906     56070   1860520     25.24     26.68  --
1195.34/299.60	c  N dy  4702   1459828        90      8010         0     65919     56070   1068655     25.23     26.68  --
1216.93/305.08	c  N dy  4784   1481788        90      8010         0     86289     56070   1675617     25.24     26.73  --
1240.83/311.09	c  N dy  4857   1505606        90      8010         0     59205     56070    843731     25.24     26.57  --
1259.99/315.83	c  N dy  4964   1525667        90      8010         0     77826     56070   1398171     25.25     26.82  --
1285.52/322.21	c  N dy  5069   1546270        90      8010         0     96883     56070   1965509     25.27     26.68  --
1302.67/326.56	c  N dy  5136   1566302        90      8010         0     65499     56070   1017845     25.27     26.93  --
1359.73/340.86	c  N dy  5162   1638891        90      8010         0     80979     56070   1441399     25.17     26.53  --
1386.87/347.63	c  N dy  5272   1658961        90      8010         0     99592     56070   1995274     25.18     28.05  --
1411.20/353.72	c  N dy  5330   1685583        90      8010         0     72673     56070   1197275     25.18     26.53  --
1446.31/362.53	c  N dy  5442   1710533        90      8010         0     95798     56070   1884472     25.19     23.62  --
1446.31/362.53	c  S st  5442   1710533        90      8010         0     95798     56070   1884472     25.19     23.62  --
1447.51/362.87	c  S st  5442   1711037        90      8010         0     96270     56070   1899165     25.19   no data  --
1447.51/362.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1447.51/362.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1447.91/362.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.26
1448.31/363.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1448.31/363.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1448.31/363.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1448.31/363.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1624.68/407.27	c lits-rem:      4853  cl-subs:     8606  v-elim:      0  v-fix:    0  time: 176.50 s
1624.68/407.27	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1624.68/407.29	c vivif2 --  cl tried    87664 cl shrink        0 lits rem          0 time: 0.08
1626.25/407.62	c asymm  cl-useful: 0/887/8010 lits-rem:0 time: 1.33
1626.25/407.62	c calculated reachability. Time: 0.00
1626.25/407.62	c  N dy  5442   1711037        90      8010         0     87664     56070   1629280     25.19   no data  --
1652.18/414.19	c  N dy  5523   1731814        90      8010         0     54698     56070    654158     25.20     26.54  --
1672.53/419.20	c  N dy  5628   1754991        90      8010         0     76187     56070   1291736     25.20     26.81  --
1693.27/424.43	c  N dy  5666   1774999        90      8010         0     94575     56070   1830942     25.20     26.60  --
1721.65/431.56	c  N dy  5750   1795014        90      8010         0     59769     56070    783954     25.21     28.59  --
1743.59/437.01	c  N dy  5840   1815158        90      8010         0     78440     56070   1336464     25.21     26.58  --
1799.01/450.95	c  N dy  5867   1870611        90      8010         0     74883     56070   1193114     25.16     26.60  --
1824.95/457.42	c  N dy  5968   1893384        90      8010         0     95941     56070   1819685     25.17     26.50  --
1851.28/464.02	c  N dy  6045   1915414        90      8010         0     61056     56070    784604     25.17     26.72  --
1872.02/469.27	c  N dy  6140   1937687        90      8010         0     81636     56070   1397047     25.18     26.65  --
1897.96/475.71	c  N dy  6242   1957856        90      8010         0    100312     56070   1954145     25.19     26.70  --
1925.09/482.59	c  N dy  6341   1977931        90      8010         0     62576     56070    808014     25.20     28.86  --
1946.24/487.80	c  N dy  6437   1999623        90      8010         0     82686     56070   1406536     25.21     26.55  --
1969.78/493.73	c  N dy  6483   2019644        90      8010         0    101121     56070   1947295     25.20     26.56  --
1997.74/500.80	c  N dy  6600   2039849        90      8010         0     62589     56070    793812     25.22     26.62  --
2017.27/505.69	c  N dy  6656   2061290        90      8010         0     82386     56070   1376290     25.22     26.76  --
2044.00/512.37	c  N dy  6744   2082688        90      8010         0    102116     56070   1965002     25.22     26.58  --
2075.52/520.21	c  N dy  6807   2109505        90      8010         0     68632     56070    944471     25.21     26.82  --
2096.67/525.51	c  N dy  6900   2129537        90      8010         0     87138     56070   1495270     25.22     27.37  --
2125.79/532.87	c  N dy  6987   2150319        90      8010         0    106417     56070   2066425     25.22     26.58  --
2155.74/540.31	c  N dy  7065   2173559        90      8010         0     68734     56070    928412     25.22     26.55  --
2178.85/546.13	c  N dy  7156   2195709        90      8010         0     89215     56070   1537760     25.23     26.65  --
2200.04/551.46	c  S st  7247   2211037        90      8010         0    103420     56070   1965543     25.24     26.02  --
2201.19/551.78	c  S st  7247   2211538        90      8010         0    103885     56070   1979472     25.24   no data  --
2201.19/551.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2201.19/551.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2201.60/551.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.21
2202.00/551.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2202.00/551.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2202.00/551.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2202.00/551.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2797.28/701.15	c lits-rem:      5513  cl-subs:     8211  v-elim:      0  v-fix:    0  time: 595.30 s
2797.28/701.15	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2797.28/701.18	c vivif2 --  cl tried    95674 cl shrink        0 lits rem          0 time: 0.09
2798.88/701.60	c asymm  cl-useful: 0/692/8010 lits-rem:0 time: 1.67
2799.28/701.60	c calculated reachability. Time: 0.00
2799.28/701.60	c  N dy  7247   2211538        90      8010         0     95674     56070   1717772     25.24   no data  --
2831.62/709.73	c  N dy  7335   2231558        90      8010         0    114107     56070   2265338     25.24     26.70  --
2859.93/716.84	c  N dy  7421   2252099        90      8010         0     73384     56070   1062351     25.25     26.64  --
2883.47/722.71	c  N dy  7486   2272658        90      8010         0     92338     56070   1620149     25.25     26.58  --
2913.40/730.21	c  N dy  7582   2292993        90      8010         0    111202     56070   2181927     25.26     26.59  --
2944.92/738.13	c  N dy  7652   2314285        90      8010         0     70014     56070    937826     25.26     26.88  --
2974.44/745.59	c  N dy  7733   2339609        90      8010         0     93383     56070   1628674     25.26     26.62  --
3004.36/753.09	c  N dy  7801   2361888        90      8010         0    113956     56070   2235683     25.26     26.59  --
3031.50/759.87	c  N dy  7884   2381986        90      8010         0     70752     56070    941449     25.27     27.04  --
3051.84/764.96	c  N dy  7955   2402062        90      8010         0     89394     56070   1497740     25.27     26.65  --
3080.17/772.03	c  N dy  8050   2422067        90      8010         0    107904     56070   2048898     25.27     29.29  --
3112.51/780.19	c  N dy  8114   2442779        90      8010         0     64174     56070    724408     25.27     26.62  --
3132.04/785.03	c  N dy  8188   2462935        90      8010         0     82815     56070   1278912     25.28     26.65  --
3154.78/790.71	c  N dy  8216   2482975        90      8010         0    101205     56070   1816309     25.27     28.40  --
3187.90/799.00	c  N dy  8288   2505393        90      8010         0    121932     56070   2431350     25.28     26.66  --
3212.64/805.20	c  N dy  8360   2526360        90      8010         0     77690     56070   1110467     25.28     26.62  --
3237.38/811.42	c  N dy  8412   2549346        90      8010         0     98802     56070   1732028     25.28     26.61  --
3286.85/823.83	c  N dy  8454   2592030        90      8010         0     73392     56070    959244     25.25     26.66  --
3308.40/829.27	c  N dy  8496   2614467        90      8010         0     93968     56070   1564782     25.25     26.69  --
3339.92/837.16	c  N dy  8560   2634512        90      8010         0    112539     56070   2110476     25.25     26.61  --
3375.43/846.08	c  N dy  8634   2654524        90      8010         0     65604     56070    716377     25.25     26.62  --
3396.18/851.25	c  N dy  8731   2674530        90      8010         0     84062     56070   1267194     25.26     26.72  --
3422.91/857.99	c  N dy  8835   2694585        90      8010         0    102620     56070   1820923     25.26     26.63  --
3449.25/864.54	c  S st  8899   2711541        90      8010         0    118285     56070   2286289     25.27     23.82  --
3450.88/864.92	c  S st  8899   2712044        90      8010         0    118757     56070   2300284     25.27   no data  --
3450.88/864.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3450.88/864.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3450.88/864.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.26
3451.24/865.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3451.24/865.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3451.24/865.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3451.24/865.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4439.41/1112.78	c lits-rem:      6489  cl-subs:     9179  v-elim:      0  v-fix:    0  time: 988.04 s
4439.41/1112.79	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
4439.81/1112.82	c vivif2 --  cl tried   109578 cl shrink        0 lits rem          0 time: 0.12
4441.80/1113.35	c asymm  cl-useful: 0/581/8010 lits-rem:0 time: 2.12
4441.80/1113.35	c calculated reachability. Time: 0.00
4441.80/1113.35	c  N dy  8899   2712044        90      8010         0    109578     56070   1999818     25.27   no data  --
4494.47/1126.51	c  N dy  9052   2732335        90      8010         0    128398     56070   2569097     25.28     26.63  --
4526.79/1134.61	c  N dy  9150   2752416        90      8010         0     80788     56070   1158013     25.29     26.98  --
4563.89/1143.91	c  N dy  9219   2777909        90      8010         0    104403     56070   1861008     25.29     26.73  --
4608.58/1155.17	c  N dy  9348   2798601        90      8010         0    123585     56070   2437013     25.30     26.72  --
4650.07/1165.54	c  N dy  9454   2818661        90      8010         0     74905     56070    958148     25.30     26.83  --
4683.20/1173.86	c  N dy  9588   2838733        90      8010         0     93540     56070   1520785     25.32     26.69  --
4721.09/1183.37	c  N dy  9685   2858782        90      8010         0    112167     56070   2076997     25.32     28.31  --
4761.79/1193.57	c  N dy  9788   2878824        90      8010         0    130682     56070   2632577     25.33     27.50  --

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368810-1305403451/watcher-3368810-1305403451 -o /tmp/evaluation-result-3368810-1305403451/solver-3368810-1305403451 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368810-1305403451.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: 7.15 7.90 7.98 2/312 7779
/proc/meminfo: memFree=11162488/32951124 swapFree=67093864/67111528
[pid=7779] ppid=7777 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 412 0 0 0 1 0 0 0 22 0 4 0 651947446 52465664 353 33554432000 4194304 4650419 140737011322736 18446744073709551615 47076375881644 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 12809 353 303 112 0 7774 0
[pid=7779/tid=7780] ppid=7777 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 651947447 52465664 353 33554432000 4194304 4650419 140737011322736 18446744073709551615 47076375881650 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 651947447 52465664 353 33554432000 4194304 4650419 140737011322736 18446744073709551615 212436073457 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 651947447 52465664 353 33554432000 4194304 4650419 140737011322736 18446744073709551615 47076375881644 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.07799 s]
/proc/loadavg: 7.15 7.90 7.98 2/312 7779
/proc/meminfo: memFree=11162488/32951124 swapFree=67093864/67111528
[pid=7779] ppid=7777 vsize=282088 CPUtime=0.28 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 1569 0 0 0 28 0 0 0 24 0 4 0 651947446 288858112 1481 33554432000 4194304 4650419 140737011322736 18446744073709551615 4370541 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 70522 1482 366 112 0 65487 0
[pid=7779/tid=7780] ppid=7777 vsize=282088 CPUtime=0.07 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 273 0 0 0 7 0 0 0 24 0 4 0 651947447 288858112 1482 33554432000 4194304 4650419 140737011322736 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=282088 CPUtime=0.06 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 264 0 0 0 6 0 0 0 25 0 4 0 651947447 288858112 1482 33554432000 4194304 4650419 140737011322736 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=282088 CPUtime=0.07 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 351 0 0 0 7 0 0 0 25 0 4 0 651947447 288858112 1482 33554432000 4194304 4650419 140737011322736 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 282088

[startup+0.100985 s]
/proc/loadavg: 7.15 7.90 7.98 2/312 7779
/proc/meminfo: memFree=11162488/32951124 swapFree=67093864/67111528
[pid=7779] ppid=7777 vsize=282088 CPUtime=0.37 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 1608 0 0 0 37 0 0 0 24 0 4 0 651947446 288858112 1520 33554432000 4194304 4650419 140737011322736 18446744073709551615 4369378 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 70522 1520 366 112 0 65487 0
[pid=7779/tid=7780] ppid=7777 vsize=282088 CPUtime=0.09 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 277 0 0 0 9 0 0 0 24 0 4 0 651947447 288858112 1520 33554432000 4194304 4650419 140737011322736 18446744073709551615 4369160 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=282088 CPUtime=0.08 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 268 0 0 0 8 0 0 0 25 0 4 0 651947447 288858112 1520 33554432000 4194304 4650419 140737011322736 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=282088 CPUtime=0.09 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 377 0 0 0 9 0 0 0 25 0 4 0 651947447 288858112 1520 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282088

[startup+0.65902 s]
/proc/loadavg: 7.15 7.90 7.98 2/312 7779
/proc/meminfo: memFree=11162488/32951124 swapFree=67093864/67111528
[pid=7779] ppid=7777 vsize=304224 CPUtime=2.6 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 6352 0 0 0 259 1 0 0 18 0 4 0 651947446 311525376 4347 33554432000 4194304 4650419 140737011322736 18446744073709551615 4515973 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 76056 4350 390 112 0 71021 0
[pid=7779/tid=7780] ppid=7777 vsize=304224 CPUtime=0.65 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 1642 0 0 0 65 0 0 0 18 0 4 0 651947447 311525376 4351 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=304224 CPUtime=0.64 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 1551 0 0 0 64 0 0 0 18 0 4 0 651947447 311525376 4352 33554432000 4194304 4650419 140737011322736 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=304224 CPUtime=0.64 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 1320 0 0 0 64 0 0 0 25 0 4 0 651947447 311525376 4352 33554432000 4194304 4650419 140737011322736 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 304224

[startup+0.700873 s]
/proc/loadavg: 7.15 7.90 7.98 2/312 7779
/proc/meminfo: memFree=11162488/32951124 swapFree=67093864/67111528
[pid=7779] ppid=7777 vsize=286452 CPUtime=2.77 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 6701 0 0 0 276 1 0 0 18 0 4 0 651947446 293326848 4063 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 71613 4063 390 112 0 66578 0
[pid=7779/tid=7780] ppid=7777 vsize=286452 CPUtime=0.69 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 1674 0 0 0 69 0 0 0 18 0 4 0 651947447 293326848 4063 33554432000 4194304 4650419 140737011322736 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=286452 CPUtime=0.68 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 1628 0 0 0 68 0 0 0 18 0 4 0 651947447 293326848 4063 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=286452 CPUtime=0.68 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 1344 0 0 0 68 0 0 0 25 0 4 0 651947447 293326848 4063 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286452

[startup+1.50072 s]
/proc/loadavg: 7.15 7.90 7.98 10/324 7791
/proc/meminfo: memFree=11131196/32951124 swapFree=67093864/67111528
[pid=7779] ppid=7777 vsize=287728 CPUtime=5.96 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 10969 0 0 0 594 2 0 0 19 0 4 0 651947446 294633472 4912 33554432000 4194304 4650419 140737011322736 18446744073709551615 4333838 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 71932 4912 391 112 0 66897 0
[pid=7779/tid=7780] ppid=7777 vsize=287728 CPUtime=1.49 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 2725 0 0 0 149 0 0 0 19 0 4 0 651947447 294633472 4912 33554432000 4194304 4650419 140737011322736 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=287728 CPUtime=1.46 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 2719 0 0 0 146 0 0 0 19 0 4 0 651947447 294633472 4912 33554432000 4194304 4650419 140737011322736 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=287728 CPUtime=1.48 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 2395 0 0 0 148 0 0 0 25 0 4 0 651947447 294633472 4912 33554432000 4194304 4650419 140737011322736 18446744073709551615 4352090 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287728

[startup+3.10042 s]
/proc/loadavg: 7.15 7.90 7.98 9/324 7791
/proc/meminfo: memFree=11090648/32951124 swapFree=67093864/67111528
[pid=7779] ppid=7777 vsize=298324 CPUtime=12.35 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 20979 0 0 0 1231 4 0 0 24 0 4 0 651947446 305483776 12808 33554432000 4194304 4650419 140737011322736 18446744073709551615 4370647 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 74581 12808 392 112 0 69546 0
[pid=7779/tid=7780] ppid=7777 vsize=298324 CPUtime=3.08 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 4551 0 0 0 308 0 0 0 23 0 4 0 651947447 305483776 12808 33554432000 4194304 4650419 140737011322736 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=298324 CPUtime=3.05 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 5805 0 0 0 304 1 0 0 24 0 4 0 651947447 305483776 12808 33554432000 4194304 4650419 140737011322736 18446744073709551615 4439099 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=298324 CPUtime=3.09 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 5772 0 0 0 308 1 0 0 25 0 4 0 651947447 305483776 12808 33554432000 4194304 4650419 140737011322736 18446744073709551615 4540528 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 298324

[startup+6.30081 s]
/proc/loadavg: 7.22 7.90 7.98 9/324 7791
/proc/meminfo: memFree=11053960/32951124 swapFree=67093864/67111528
[pid=7779] ppid=7777 vsize=289452 CPUtime=25.12 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 29928 0 0 0 2506 6 0 0 25 0 4 0 651947446 296398848 16727 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 72363 16727 392 112 0 67328 0
[pid=7779/tid=7780] ppid=7777 vsize=289452 CPUtime=6.28 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 7930 0 0 0 627 1 0 0 25 0 4 0 651947447 296398848 16727 33554432000 4194304 4650419 140737011322736 18446744073709551615 4438452 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=289452 CPUtime=6.22 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 7580 0 0 0 621 1 0 0 25 0 4 0 651947447 296398848 16727 33554432000 4194304 4650419 140737011322736 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=289452 CPUtime=6.28 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 7854 0 0 0 627 1 0 0 25 0 4 0 651947447 296398848 16727 33554432000 4194304 4650419 140737011322736 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 289452

[startup+12.7006 s]
/proc/loadavg: 7.28 7.90 7.98 9/324 7791
/proc/meminfo: memFree=11006044/32951124 swapFree=67093864/67111528
[pid=7779] ppid=7777 vsize=298660 CPUtime=50.63 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 44812 0 0 0 5055 8 0 0 25 0 4 0 651947446 305827840 22012 33554432000 4194304 4650419 140737011322736 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 74665 22012 392 112 0 69630 0
[pid=7779/tid=7780] ppid=7777 vsize=298660 CPUtime=12.69 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 11347 0 0 0 1267 2 0 0 25 0 4 0 651947447 305827840 22012 33554432000 4194304 4650419 140737011322736 18446744073709551615 4476411 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=298660 CPUtime=12.55 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 10877 0 0 0 1253 2 0 0 25 0 4 0 651947447 305827840 22012 33554432000 4194304 4650419 140737011322736 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=298660 CPUtime=12.68 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 12245 0 0 0 1266 2 0 0 25 0 4 0 651947447 305827840 22012 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 298660

[startup+25.5012 s]
/proc/loadavg: 7.44 7.90 7.98 9/324 7791
/proc/meminfo: memFree=10949624/32951124 swapFree=67093864/67111528
[pid=7779] ppid=7777 vsize=279696 CPUtime=101.74 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 68423 0 0 0 10160 14 0 0 25 0 4 0 651947446 286408704 29538 33554432000 4194304 4650419 140737011322736 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 69924 29538 392 112 0 64889 0
[pid=7779/tid=7780] ppid=7777 vsize=279696 CPUtime=25.5 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 16781 0 0 0 2547 3 0 0 25 0 4 0 651947447 286408704 29541 33554432000 4194304 4650419 140737011322736 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=279696 CPUtime=25.24 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 17295 0 0 0 2521 3 0 0 25 0 4 0 651947447 286408704 29541 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=279696 CPUtime=25.49 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 18718 0 0 0 2545 4 0 0 25 0 4 0 651947447 286408704 29541 33554432000 4194304 4650419 140737011322736 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 279696

[startup+51.1003 s]
/proc/loadavg: 7.70 7.93 7.98 9/324 7792
/proc/meminfo: memFree=10898556/32951124 swapFree=67093864/67111528
[pid=7779] ppid=7777 vsize=367664 CPUtime=203.86 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 103566 0 0 0 20362 24 0 0 25 0 4 0 651947446 376487936 34981 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 91916 34981 392 112 0 86881 0
[pid=7779/tid=7780] ppid=7777 vsize=367664 CPUtime=51.09 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 25851 0 0 0 5104 5 0 0 25 0 4 0 651947447 376487936 34981 33554432000 4194304 4650419 140737011322736 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=367664 CPUtime=50.57 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 26992 0 0 0 5052 5 0 0 25 0 4 0 651947447 376487936 34981 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=367664 CPUtime=51.09 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 27680 0 0 0 5102 7 0 0 25 0 4 0 651947447 376487936 34981 33554432000 4194304 4650419 140737011322736 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 367664

[startup+102.301 s]
/proc/loadavg: 7.92 7.95 7.99 9/324 7793
/proc/meminfo: memFree=10833908/32951124 swapFree=67093864/67111528
[pid=7779] ppid=7777 vsize=370656 CPUtime=408.14 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 156384 0 0 0 40775 39 0 0 25 0 4 0 651947446 379551744 43261 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 92664 43261 392 112 0 87629 0
[pid=7779/tid=7780] ppid=7777 vsize=370656 CPUtime=102.29 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 37866 0 0 0 10221 8 0 0 25 0 4 0 651947447 379551744 43261 33554432000 4194304 4650419 140737011322736 18446744073709551615 4432396 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=370656 CPUtime=101.27 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 40200 0 0 0 10117 10 0 0 25 0 4 0 651947447 379551744 43261 33554432000 4194304 4650419 140737011322736 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=370656 CPUtime=102.29 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 43847 0 0 0 10217 12 0 0 25 0 4 0 651947447 379551744 43261 33554432000 4194304 4650419 140737011322736 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.14
Current children cumulated vsize (KiB) 370656

[startup+162.301 s]

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

[pid=7779] ppid=7777 vsize=597588 CPUtime=2562.68 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 456017 0 0 0 256116 152 0 0 25 0 4 0 651947446 611930112 81832 33554432000 4194304 4650419 140737011322736 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 149397 81832 392 112 0 144362 0
[pid=7779/tid=7780] ppid=7777 vsize=597588 CPUtime=642.31 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 115322 0 0 0 64189 42 0 0 25 0 4 0 651947447 611930112 81832 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=597588 CPUtime=635.86 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 122318 0 0 0 63544 42 0 0 25 0 4 0 651947447 611930112 81832 33554432000 4194304 4650419 140737011322736 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=597588 CPUtime=642.29 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 112057 0 0 0 64194 35 0 0 25 0 4 0 651947447 611930112 81832 33554432000 4194304 4650419 140737011322736 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2562.68
Current children cumulated vsize (KiB) 597588

[startup+702.301 s]
/proc/loadavg: 8.17 8.10 8.02 9/324 7809
/proc/meminfo: memFree=10492580/32951124 swapFree=67093864/67111528
[pid=7779] ppid=7777 vsize=585108 CPUtime=2802.07 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 481054 0 0 0 280045 162 0 0 25 0 4 0 651947446 599150592 81403 33554432000 4194304 4650419 140737011322736 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 146277 81403 392 112 0 141242 0
[pid=7779/tid=7780] ppid=7777 vsize=585108 CPUtime=702.31 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 122732 0 0 0 70185 46 0 0 25 0 4 0 651947447 599150592 81403 33554432000 4194304 4650419 140737011322736 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=585108 CPUtime=695.25 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 128349 0 0 0 69480 45 0 0 25 0 4 0 651947447 599150592 81403 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=585108 CPUtime=702.28 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 112057 0 0 0 70193 35 0 0 25 0 4 0 651947447 599150592 81403 33554432000 4194304 4650419 140737011322736 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.07
Current children cumulated vsize (KiB) 585108

[startup+762.301 s]
/proc/loadavg: 8.16 8.11 8.03 9/324 7811
/proc/meminfo: memFree=10462668/32951124 swapFree=67093864/67111528
[pid=7779] ppid=7777 vsize=534264 CPUtime=3041.48 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 502910 0 0 0 303977 171 0 0 25 0 4 0 651947446 547086336 89222 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 133566 89222 392 112 0 128531 0
[pid=7779/tid=7780] ppid=7777 vsize=534264 CPUtime=762.31 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 128805 0 0 0 76183 48 0 0 25 0 4 0 651947447 547086336 89222 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=534264 CPUtime=754.66 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 135317 0 0 0 75418 48 0 0 25 0 4 0 651947447 547086336 89222 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=534264 CPUtime=762.28 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 112441 0 0 0 76193 35 0 0 25 0 4 0 651947447 547086336 89222 33554432000 4194304 4650419 140737011322736 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3041.48
Current children cumulated vsize (KiB) 534264

[startup+822.301 s]
/proc/loadavg: 8.18 8.13 8.04 9/324 7812
/proc/meminfo: memFree=10420220/32951124 swapFree=67093864/67111528
[pid=7779] ppid=7777 vsize=587292 CPUtime=3280.86 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 525476 0 0 0 327906 180 0 0 25 0 4 0 651947446 601387008 92277 33554432000 4194304 4650419 140737011322736 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 146823 92277 392 112 0 141788 0
[pid=7779/tid=7780] ppid=7777 vsize=587292 CPUtime=822.31 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 137828 0 0 0 82179 52 0 0 25 0 4 0 651947447 601387008 92277 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=587292 CPUtime=814.06 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 142710 0 0 0 81354 52 0 0 25 0 4 0 651947447 601387008 92277 33554432000 4194304 4650419 140737011322736 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=587292 CPUtime=822.28 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 112796 0 0 0 82193 35 0 0 25 0 4 0 651947447 601387008 92277 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3280.86
Current children cumulated vsize (KiB) 587292

[startup+882.3 s]
/proc/loadavg: 8.17 8.13 8.04 9/324 7814
/proc/meminfo: memFree=10440900/32951124 swapFree=67093864/67111528
[pid=7779] ppid=7777 vsize=535224 CPUtime=3520.26 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 545222 0 0 0 351838 188 0 0 25 0 4 0 651947446 548069376 88412 33554432000 4194304 4650419 140737011322736 18446744073709551615 4439106 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 133806 88412 392 112 0 128771 0
[pid=7779/tid=7780] ppid=7777 vsize=535224 CPUtime=882.32 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 145040 0 0 0 88177 55 0 0 25 0 4 0 651947447 548069376 88412 33554432000 4194304 4650419 140737011322736 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=535224 CPUtime=873.46 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 149672 0 0 0 87292 54 0 0 25 0 4 0 651947447 548069376 88412 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=535224 CPUtime=882.28 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 113181 0 0 0 88193 35 0 0 25 0 4 0 651947447 548069376 88412 33554432000 4194304 4650419 140737011322736 18446744073709551615 4433084 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3520.26
Current children cumulated vsize (KiB) 535224

[startup+942.301 s]
/proc/loadavg: 8.10 8.12 8.04 9/324 7816
/proc/meminfo: memFree=10397356/32951124 swapFree=67093864/67111528
[pid=7779] ppid=7777 vsize=600948 CPUtime=3759.64 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 565592 0 0 0 375769 195 0 0 25 0 4 0 651947446 615370752 94648 33554432000 4194304 4650419 140737011322736 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 150237 94648 392 112 0 145202 0
[pid=7779/tid=7780] ppid=7777 vsize=600948 CPUtime=942.31 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 155598 0 0 0 94173 58 0 0 25 0 4 0 651947447 615370752 94648 33554432000 4194304 4650419 140737011322736 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=600948 CPUtime=932.85 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 155763 0 0 0 93227 58 0 0 25 0 4 0 651947447 615370752 94648 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=600948 CPUtime=942.28 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 113181 0 0 0 94193 35 0 0 25 0 4 0 651947447 615370752 94648 33554432000 4194304 4650419 140737011322736 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3759.64
Current children cumulated vsize (KiB) 600948

[startup+1002.3 s]
/proc/loadavg: 8.17 8.13 8.05 9/324 7817
/proc/meminfo: memFree=10411832/32951124 swapFree=67093864/67111528
[pid=7779] ppid=7777 vsize=601008 CPUtime=3999.02 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 580219 0 0 0 399702 200 0 0 25 0 4 0 651947446 615432192 95430 33554432000 4194304 4650419 140737011322736 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 150252 95430 392 112 0 145217 0
[pid=7779/tid=7780] ppid=7777 vsize=601008 CPUtime=1002.32 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 156403 0 0 0 100174 58 0 0 25 0 4 0 651947447 615432192 95430 33554432000 4194304 4650419 140737011322736 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=601008 CPUtime=992.21 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 160423 0 0 0 99161 60 0 0 25 0 4 0 651947447 615432192 95430 33554432000 4194304 4650419 140737011322736 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=601008 CPUtime=1002.29 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 113181 0 0 0 100194 35 0 0 25 0 4 0 651947447 615432192 95430 33554432000 4194304 4650419 140737011322736 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3999.02
Current children cumulated vsize (KiB) 601008

[startup+1062.3 s]
/proc/loadavg: 8.06 8.10 8.04 9/324 7819
/proc/meminfo: memFree=10391600/32951124 swapFree=67093864/67111528
[pid=7779] ppid=7777 vsize=601120 CPUtime=4238.35 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 603504 0 0 0 423627 208 0 0 25 0 4 0 651947446 615546880 93553 33554432000 4194304 4650419 140737011322736 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 150280 93553 392 112 0 145245 0
[pid=7779/tid=7780] ppid=7777 vsize=601120 CPUtime=1062.32 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 164196 0 0 0 106172 60 0 0 25 0 4 0 651947447 615546880 93553 33554432000 4194304 4650419 140737011322736 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=601120 CPUtime=1051.57 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 166004 0 0 0 105093 64 0 0 25 0 4 0 651947447 615546880 93553 33554432000 4194304 4650419 140737011322736 18446744073709551615 4333593 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=601120 CPUtime=1062.28 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 113181 0 0 0 106192 36 0 0 25 0 4 0 651947447 615546880 93553 33554432000 4194304 4650419 140737011322736 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4238.35
Current children cumulated vsize (KiB) 601120

[startup+1122.31 s]
/proc/loadavg: 8.09 8.10 8.04 9/324 7821
/proc/meminfo: memFree=10386364/32951124 swapFree=67093864/67111528
[pid=7779] ppid=7777 vsize=601120 CPUtime=4477.75 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 621991 0 0 0 447564 211 0 0 25 0 4 0 651947446 615546880 96564 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 150280 96564 392 112 0 145245 0
[pid=7779/tid=7780] ppid=7777 vsize=601120 CPUtime=1122.33 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 172425 0 0 0 112172 61 0 0 25 0 4 0 651947447 615546880 96564 33554432000 4194304 4650419 140737011322736 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=601120 CPUtime=1110.94 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 169367 0 0 0 111029 65 0 0 25 0 4 0 651947447 615546880 96564 33554432000 4194304 4650419 140737011322736 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=601120 CPUtime=1122.29 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 113181 0 0 0 112193 36 0 0 25 0 4 0 651947447 615546880 96564 33554432000 4194304 4650419 140737011322736 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4477.75
Current children cumulated vsize (KiB) 601120

[startup+1182.3 s]
/proc/loadavg: 8.07 8.09 8.04 9/324 7822
/proc/meminfo: memFree=10351132/32951124 swapFree=67093864/67111528
[pid=7779] ppid=7777 vsize=603320 CPUtime=4717.1 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 650332 0 0 0 471492 218 0 0 25 0 4 0 651947446 617799680 101826 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 150830 101826 392 112 0 145795 0
[pid=7779/tid=7780] ppid=7777 vsize=603320 CPUtime=1182.32 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 183001 0 0 0 118170 62 0 0 25 0 4 0 651947447 617799680 101826 33554432000 4194304 4650419 140737011322736 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=603320 CPUtime=1170.34 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 180508 0 0 0 116967 67 0 0 25 0 4 0 651947447 617799680 101826 33554432000 4194304 4650419 140737011322736 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=603320 CPUtime=1182.28 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 113925 0 0 0 118191 37 0 0 25 0 4 0 651947447 617799680 101826 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4717.1
Current children cumulated vsize (KiB) 603320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.05 8.08 8.04 5/320 7824
/proc/meminfo: memFree=10767412/32951124 swapFree=67093864/67111528
[pid=7779] ppid=7777 vsize=603528 CPUtime=4800.11 cores=0,2,4,6
/proc/7779/stat : 7779 (strangenight1-m) R 7777 7779 7247 0 -1 4202496 660911 0 0 0 479791 220 0 0 25 0 4 0 651947446 618012672 97520 33554432000 4194304 4650419 140737011322736 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/7779/statm: 150882 97520 392 112 0 145847 0
[pid=7779/tid=7780] ppid=7777 vsize=603528 CPUtime=1203.14 cores=0,2,4,6
/proc/7779/task/7780/stat : 7780 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 186282 0 0 0 120250 64 0 0 25 0 4 0 651947447 618012672 97520 33554432000 4194304 4650419 140737011322736 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=7779/tid=7781] ppid=7777 vsize=603528 CPUtime=1190.94 cores=0,2,4,6
/proc/7779/task/7781/stat : 7781 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 186856 0 0 0 119026 68 0 0 25 0 4 0 651947447 618012672 97520 33554432000 4194304 4650419 140737011322736 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=7779/tid=7782] ppid=7777 vsize=603528 CPUtime=1203.09 cores=0,2,4,6
/proc/7779/task/7782/stat : 7782 (strangenight1-m) R 7777 7779 7247 0 -1 4202560 113962 0 0 0 120272 37 0 0 25 0 4 0 651947447 618012672 97520 33554432000 4194304 4650419 140737011322736 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 603528

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): 1203.13
CPU time (s): 4800.17
CPU user time (s): 4797.95
CPU system time (s): 2.22466
CPU usage (%): 398.972
Max. virtual memory (cumulated for all children) (KiB): 666980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.95
system time used= 2.22466
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 660911
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= 722
involuntary context switches= 35335

runsolver used 3.47847 second user time and 8.74067 second system time

The end

Launcher Data 

Begin job on node102 at 2011-05-14 22:04:11
IDJOB=3368810
IDBENCH=82819
IDSOLVER=1846
FILE ID=node102/3368810-1305403451
RUNJOBID= node102-1305403451-7764
PBS_JOBID= 13324460
Free space on /tmp= 73536 MiB

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

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

MD5SUM BENCH= 8dc696d26aef2000e5a242477bc06639
RANDOM SEED=1551076661

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11162752 kB
Buffers:        254876 kB
Cached:        2799860 kB
SwapCached:       1128 kB
Active:       19507344 kB
Inactive:      1987124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11162752 kB
SwapTotal:    67111528 kB
SwapFree:     67093864 kB
Dirty:           13948 kB
Writeback:           0 kB
AnonPages:    18438948 kB
Mapped:          25920 kB
Slab:           177192 kB
PageTables:      53184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 59039580 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= 73532 MiB
End job on node102 at 2011-05-14 22:24:16