Trace number 3175085

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

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S818753762-096.UNKNOWN.cnf
MD5SUMffd67922a8bb7c4660bea122f8a5ce0e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
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-3175085-1304083806.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.02 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
0.77/0.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
0.77/0.22	c Finding binary XORs  T:     0.00 s  found:       0
0.77/0.22	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.77/0.22	c calculated reachability. Time: 0.00
0.77/0.22	c Calc default polars -  time:   0.00 s pos:      51 undec:       1 neg:      38
0.77/0.22	c =========================================================================================
0.77/0.22	c types(t): F = full restart, N = normal restart
0.77/0.22	c types(t): S = simplification begin/end, E = solution found
0.77/0.22	c restart types(rt): st = static, dy = dynamic
0.77/0.22	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.77/0.22	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
1.17/0.37	c  N dy    10      4403        90      8010         0      4055     56070    122435     25.64     27.08  --
1.97/0.52	c  N dy    16      8455        90      8010         0      5505     56070    150875     25.29     26.72  --
2.77/0.73	c  N dy    20     13712        90      8010         0      6439     56070    162135     24.89     26.49  --
3.99/1.01	c  N dy    36     19598        90      8010         0      6697     56070    153601     24.96     26.43  --
4.76/1.25	c  N dy    54     24501        90      8010         0     11246     56070    289626     25.16     26.53  --
4.76/1.28	c  F st    58     25000        90      8010         0     11711     56070    303345     25.18     25.17  --
5.96/1.51	c  N dy    64     30001        90      8010         0     10024     56070    236319     25.18   no data  --
5.96/1.51	c  S st    64     30001        90      8010         0     10024     56070    236319     25.18   no data  --
5.96/1.55	c  S st    64     30504        90      8010         0     10499     56070    250990     25.18   no data  --
5.96/1.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.96/1.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
5.96/1.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.16/2.80	c lits-rem:      1691  cl-subs:      713  v-elim:      0  v-fix:    0  time:  4.94 s
12.36/3.18	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.49
12.36/3.18	c calculated reachability. Time: 0.00
12.36/3.18	c  N dy    64     30504        90      8010         0      9786     56070    225318     25.18   no data  --
13.55/3.41	c  N dy    70     34784        90      8010         0     13772     56070    342074     25.19     26.52  --
14.75/3.72	c  N dy    88     40273        90      8010         0     11534     56070    260381     25.28     26.90  --
15.55/3.95	c  N dy    93     44289        90      8010         0     15283     56070    370927     25.28     26.73  --
15.95/4.05	c  S st    97     45756        90      8010         0      8358     56070    149741     25.28     23.81  --
15.95/4.09	c  S st    97     46259        90      8010         0      8832     56070    163986     25.28   no data  --
15.95/4.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.95/4.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.95/4.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
16.35/4.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.35/4.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.35/4.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
16.35/4.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.94/5.00	c lits-rem:       190  cl-subs:       48  v-elim:      0  v-fix:    0  time:  3.60 s
19.94/5.00	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.94/5.00	c vivif2 --  cl tried     8784 cl shrink        0 lits rem          0 time: 0.01
21.14/5.31	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.22
21.14/5.31	c calculated reachability. Time: 0.00
21.14/5.31	c  N dy    97     46259        90      8010         0      8784     56070    162071     25.28   no data  --
21.96/5.56	c  N dy   113     51150        90      8010         0     13284     56070    295314     25.31     26.66  --
23.54/5.99	c  N dy   143     57466        90      8010         0      9916     56070    178420     25.42     26.77  --
24.74/6.28	c  N dy   149     62647        90      8010         0     14683     56070    317549     25.39     26.79  --
26.35/6.61	c  N dy   153     67750        90      8010         0     19404     56070    456532     25.35     26.78  --
26.73/6.74	c  S st   156     69389        90      8010         0     10758     56070    186760     25.33     23.31  --
26.73/6.78	c  S st   156     69893        90      8010         0     11242     56070    201521     25.33   no data  --
26.73/6.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.73/6.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.73/6.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
26.73/6.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.73/6.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.73/6.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
26.73/6.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
30.75/7.79	c lits-rem:       339  cl-subs:      151  v-elim:      0  v-fix:    0  time:  4.00 s
30.75/7.79	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
30.75/7.80	c vivif2 --  cl tried    11091 cl shrink        0 lits rem          0 time: 0.01
32.32/8.16	c asymm  cl-useful: 0/7804/8010 lits-rem:0 time: 1.44
32.32/8.16	c calculated reachability. Time: 0.00
32.32/8.16	c  N dy   156     69893        90      8010         0     11091     56070    196451     25.33   no data  --
37.12/9.38	c  N dy   162     86693        90      8010         0     15443     56070    306047     25.06     26.41  --
37.52/9.44	c  F st   168     87500        90      8010         0     16198     56070    328437     25.07     25.60  --
39.13/9.82	c  N dy   174     92694        90      8010         0     21000     56070    471705     25.07   no data  --
41.51/10.46	c  N dy   207    100979        90      8010         0     16628     56070    325378     25.13     26.64  --
42.71/10.73	c  S st   218    104839        90      8010         0     20185     56070    427293     25.10     23.72  --
42.71/10.78	c  S st   218    105339        90      8010         0     20663     56070    441648     25.10   no data  --
42.71/10.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
42.71/10.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
42.71/10.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
43.11/10.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.11/10.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.11/10.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
43.11/10.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
50.70/12.77	c lits-rem:      1453  cl-subs:     1557  v-elim:      0  v-fix:    0  time:  7.82 s
50.70/12.77	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
50.70/12.77	c vivif2 --  cl tried    19106 cl shrink        0 lits rem          0 time: 0.01
52.32/13.19	c asymm  cl-useful: 0/5511/8010 lits-rem:0 time: 1.68
52.32/13.19	c calculated reachability. Time: 0.00
52.32/13.19	c  N dy   218    105339        90      8010         0     19106     56070    391961     25.10   no data  --
55.90/14.05	c  N dy   245    116271        90      8010         0     16401     56070    298899     25.07     26.43  --
60.29/15.10	c  N dy   263    130354        90      8010         0     15561     56070    260020     24.96     26.32  --
64.28/16.11	c  N dy   293    143402        90      8010         0     27555     56070    609974     24.96     26.31  --
67.07/16.86	c  N dy   313    152695        90      8010         0     21376     56070    412696     24.95     26.32  --
69.07/17.34	c  S st   350    158010        90      8010         0     26310     56070    559249     25.01   no data  --
69.48/17.41	c  S st   350    158514        90      8010         0     26788     56070    573052     25.01   no data  --
69.48/17.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
69.48/17.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
69.48/17.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
69.48/17.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.48/17.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.48/17.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
69.48/17.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.85/20.05	c lits-rem:      2163  cl-subs:     2043  v-elim:      0  v-fix:    0  time: 10.41 s
79.85/20.05	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
79.85/20.05	c vivif2 --  cl tried    24745 cl shrink        0 lits rem          0 time: 0.02
80.65/20.29	c asymm  cl-useful: 0/1895/8010 lits-rem:0 time: 0.95
80.65/20.29	c calculated reachability. Time: 0.00
80.65/20.29	c  N dy   350    158514        90      8010         0     24745     56070    506243     25.01   no data  --
84.65/21.21	c  N dy   392    168654        90      8010         0     18544     56070    313017     25.05     26.46  --
89.04/22.36	c  N dy   426    182158        90      8010         0     31055     56070    680308     25.07     26.39  --
93.44/23.47	c  N dy   466    194047        90      8010         0     25434     56070    496985     25.07     26.42  --
99.44/24.96	c  N dy   544    206493        90      8010         0     19444     56070    303149     25.15     26.85  --
105.44/26.42	c  N dy   585    221708        90      8010         0     33554     56070    717919     25.15     26.48  --
111.01/27.86	c  N dy   668    235929        90      8010         0     28278     56070    546388     25.22     28.43  --
111.81/28.05	c  S st   677    237772        90      8010         0     29990     56070    597437     25.23     25.73  --
112.21/28.13	c  S st   677    238275        90      8010         0     30468     56070    611785     25.23   no data  --
112.21/28.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
112.21/28.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
112.21/28.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
112.21/28.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
112.21/28.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
112.21/28.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
112.21/28.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
124.19/31.15	c lits-rem:      2427  cl-subs:     1821  v-elim:      0  v-fix:    0  time: 11.93 s
124.19/31.15	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
124.19/31.16	c vivif2 --  cl tried    28647 cl shrink        0 lits rem          0 time: 0.02
124.60/31.24	c asymm  cl-useful: 0/604/8010 lits-rem:0 time: 0.31
124.60/31.24	c calculated reachability. Time: 0.00
124.60/31.24	c  N dy   677    238275        90      8010         0     28647     56070    549297     25.23   no data  --
130.99/32.89	c  N dy   733    253558        90      8010         0     23395     56070    382877     25.26     27.07  --
138.97/34.89	c  N dy   785    272258        90      8010         0     40722     56070    893715     25.25     26.62  --
146.17/36.63	c  N dy   851    289674        90      8010         0     36472     56070    753352     25.28     26.63  --
153.77/38.51	c  F st   928    306250        90      8010         0     30524     56070    559896     25.32     24.30  --
154.56/38.71	c  N st   932    308285        90      8010         0     32411     56070    616608     25.32   no data  --
163.35/40.94	c  N dy   973    328180        90      8010         0     28531     56070    477404     25.33     26.70  --
172.52/43.22	c  N dy  1003    348246        90      8010         0     23940     56070    327168     25.29     27.11  --
176.13/44.11	c  S st  1026    357413        90      8010         0     32452     56070    576214     25.28     24.61  --
176.52/44.20	c  S st  1026    357915        90      8010         0     32924     56070    590285     25.28   no data  --
176.52/44.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
176.52/44.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
176.52/44.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
176.52/44.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
176.52/44.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
176.52/44.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
176.52/44.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
190.11/47.62	c lits-rem:      1332  cl-subs:     1725  v-elim:      0  v-fix:    0  time: 13.52 s
190.11/47.62	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
190.11/47.62	c vivif2 --  cl tried    31199 cl shrink        0 lits rem          0 time: 0.03
191.30/47.96	c asymm  cl-useful: 0/2010/8010 lits-rem:0 time: 1.33
191.30/47.96	c calculated reachability. Time: 0.00
191.30/47.96	c  N dy  1026    357915        90      8010         0     31199     56070    535198     25.28   no data  --
204.89/51.30	c  N dy  1093    378573        90      8010         0     26349     56070    378787     25.30     26.67  --
215.67/54.07	c  N dy  1122    400546        90      8010         0     46587     56070    971428     25.26     26.66  --
227.26/56.90	c  N dy  1191    424921        90      8010         0     44162     56070    888797     25.26     26.64  --
236.44/59.21	c  N dy  1225    444940        90      8010         0     36775     56070    651472     25.21     26.59  --
249.23/62.41	c  N dy  1336    465617        90      8010         0     29209     56070    413191     25.25     26.58  --
258.83/64.84	c  N dy  1371    485931        90      8010         0     47926     56070    963114     25.24     26.75  --
268.79/67.38	c  N dy  1417    505981        90      8010         0     38732     56070    675471     25.23     26.69  --
281.58/70.53	c  N dy  1485    526218        90      8010         0     28833     56070    362195     25.24     26.76  --
286.37/71.76	c  S st  1523    536873        90      8010         0     38689     56070    654811     25.25     24.82  --
286.77/71.86	c  S st  1523    537377        90      8010         0     39165     56070    669329     25.25   no data  --
286.77/71.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
286.77/71.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
286.77/71.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
286.77/71.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
286.77/71.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
286.77/71.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
286.77/71.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
301.16/75.43	c lits-rem:      1292  cl-subs:     1741  v-elim:      0  v-fix:    0  time: 14.10 s
301.16/75.43	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
301.16/75.43	c vivif2 --  cl tried    37424 cl shrink        0 lits rem          0 time: 0.03
301.96/75.66	c asymm  cl-useful: 0/1445/8010 lits-rem:0 time: 0.91
301.96/75.66	c calculated reachability. Time: 0.00
301.96/75.66	c  N dy  1523    537377        90      8010         0     37424     56070    611890     25.25   no data  --
316.35/79.21	c  N dy  1625    559169        90      8010         0     57674     56070   1210601     25.28     26.77  --
329.91/82.69	c  N dy  1668    586263        90      8010         0     53060     56070   1047530     25.23     26.70  --
343.90/86.19	c  N dy  1722    610726        90      8010         0     45199     56070    803053     25.21     26.60  --
366.26/91.71	c  N dy  1798    643053        90      8010         0     43597     56070    733322     25.19     26.74  --
382.27/95.72	c  N dy  1858    666983        90      8010         0     33396     56070    425138     25.19     26.59  --
394.63/98.89	c  N dy  1918    689708        90      8010         0     54344     56070   1042027     25.19     26.80  --
409.01/102.47	c  N dy  1996    709887        90      8010         0     39822     56070    599269     25.20     26.90  --
423.38/106.04	c  N dy  2069    729932        90      8010         0     58411     56070   1149620     25.21     26.59  --
459.35/115.05	c  N dy  2121    781392        90      8010         0     36366     56070    460171     25.10     26.42  --
471.33/118.00	c  N dy  2182    801427        90      8010         0     54833     56070   1005276     25.10     26.47  --
474.92/118.99	c  S st  2214    806068        90      8010         0     59181     56070   1136312     25.11     24.49  --
475.72/119.14	c  S st  2214    806572        90      8010         0     59654     56070   1150104     25.11   no data  --
475.72/119.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
475.72/119.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
475.72/119.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.10
476.12/119.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
476.12/119.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
476.12/119.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
476.12/119.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
525.66/131.63	c lits-rem:      2543  cl-subs:     4382  v-elim:      0  v-fix:    0  time: 49.60 s
525.66/131.63	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
525.66/131.64	c vivif2 --  cl tried    55272 cl shrink        0 lits rem          0 time: 0.05
526.87/131.95	c asymm  cl-useful: 0/1017/8010 lits-rem:0 time: 1.22
526.87/131.95	c calculated reachability. Time: 0.00
526.87/131.95	c  N dy  2214    806572        90      8010         0     55272     56070   1011471     25.11   no data  --
543.63/136.15	c  N dy  2308    826867        90      8010         0     38289     56070    499730     25.13     26.52  --
556.81/139.49	c  N dy  2401    847746        90      8010         0     57695     56070   1075307     25.15     26.56  --
575.60/144.18	c  N dy  2419    876756        90      8010         0     47522     56070    745517     25.09     26.65  --
590.76/147.96	c  N dy  2503    896762        90      8010         0     66088     56070   1293608     25.10     26.73  --
607.93/152.27	c  N dy  2611    917884        90      8010         0     47816     56070    742105     25.13     26.50  --
623.94/156.28	c  N dy  2702    938409        90      8010         0     66818     56070   1306449     25.14     26.48  --
641.89/160.74	c  N dy  2798    959750        90      8010         0     47756     56070    720581     25.16     26.55  --
656.67/164.45	c  N dy  2863    979769        90      8010         0     66309     56070   1268297     25.17     26.58  --
673.05/168.51	c  N dy  2901   1000579        90      8010         0     45729     56070    636749     25.15     26.63  --
691.42/173.19	c  N dy  2975   1026330        90      8010         0     69484     56070   1334873     25.15     26.48  --
709.80/177.76	c  N dy  2997   1051398        90      8010         0     51837     56070    796433     25.13     26.56  --
723.79/181.20	c  N dy  3025   1071474        90      8010         0     70305     56070   1336889     25.10     28.14  --
724.19/181.32	c  F st  3029   1071877        90      8010         0     70681     56070   1348487     25.11   no data  --
739.76/185.23	c  N dy  3081   1091489        90      8010         0     47330     56070    654958     25.11     27.16  --
761.73/190.74	c  N dy  3202   1120591        90      8010         0     74106     56070   1445472     25.11     26.48  --
785.30/196.64	c  N dy  3228   1149429        90      8010         0     58091     56070    942470     25.07     26.55  --
805.67/201.76	c  N dy  3311   1169653        90      8010         0     76847     56070   1499151     25.08     26.43  --
828.44/207.47	c  N dy  3422   1190167        90      8010         0     52565     56070    776222     25.10     26.69  --
849.61/212.77	c  S st  3503   1209860        90      8010         0     70781     56070   1316876     25.11     25.17  --
850.81/213.06	c  S st  3503   1210364        90      8010         0     71256     56070   1330988     25.11   no data  --
850.81/213.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
850.81/213.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
851.21/213.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.21
851.21/213.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
851.21/213.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
851.21/213.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
851.21/213.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
949.88/237.87	c lits-rem:      2723  cl-subs:     4707  v-elim:      0  v-fix:    0  time: 98.64 s
949.88/237.87	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
949.88/237.88	c vivif2 --  cl tried    66549 cl shrink        0 lits rem          0 time: 0.06
951.48/238.29	c asymm  cl-useful: 0/890/8010 lits-rem:0 time: 1.62
951.48/238.29	c calculated reachability. Time: 0.00
951.48/238.29	c  N dy  3503   1210364        90      8010         0     66549     56070   1177610     25.11   no data  --
974.25/243.91	c  N dy  3627   1230448        90      8010         0     85236     56070   1737450     25.13     26.48  --
993.41/248.76	c  N dy  3719   1252585        90      8010         0     61502     56070   1018207     25.14     26.48  --
1020.17/255.45	c  N dy  3802   1275314        90      8010         0     82489     56070   1639149     25.15     26.48  --
1125.23/281.70	c  N dy  3803   1389690        90      8010         0     48980     56070    598947     24.89     26.35  --
1141.61/285.84	c  N dy  3916   1409706        90      8010         0     67484     56070   1148619     24.91     28.69  --
1162.78/291.17	c  N dy  4002   1429729        90      8010         0     86061     56070   1696495     24.92     26.38  --
1185.15/296.79	c  N dy  4140   1449857        90      8010         0     56983     56070    816012     24.95     26.38  --
1205.13/301.79	c  N dy  4281   1469930        90      8010         0     75604     56070   1373744     24.97     26.46  --
1229.92/308.00	c  N dy  4384   1490171        90      8010         0     94364     56070   1929605     24.98     26.49  --
1250.67/313.14	c  N dy  4512   1511696        90      8010         0     65369     56070   1042085     25.00     26.54  --
1272.64/318.68	c  N dy  4638   1531740        90      8010         0     83926     56070   1597577     25.02     28.36  --
1297.80/324.94	c  N dy  4722   1553018        90      8010         0     53708     56070    673206     25.03     26.51  --
1314.98/329.28	c  N dy  4749   1576066        90      8010         0     74945     56070   1290466     25.02     26.73  --
1339.76/335.50	c  N dy  4863   1596090        90      8010         0     93533     56070   1843828     25.03     26.43  --
1362.14/341.02	c  N dy  4969   1616260        90      8010         0     61422     56070    886796     25.04     26.62  --
1383.29/346.30	c  N dy  5093   1636298        90      8010         0     79987     56070   1440080     25.06     27.82  --
1408.85/352.71	c  N dy  5196   1656395        90      8010         0     98622     56070   1996738     25.07     28.52  --
1431.62/358.47	c  N dy  5313   1676444        90      8010         0     65371     56070    983338     25.09     26.51  --
1453.59/363.98	c  N dy  5423   1696463        90      8010         0     83902     56070   1534288     25.10     27.79  --
1473.56/368.98	c  S st  5497   1710364        90      8010         0     96738     56070   1917022     25.11     24.85  --
1474.76/369.25	c  S st  5497   1710869        90      8010         0     97207     56070   1931559     25.11   no data  --
1474.76/369.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1474.76/369.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1475.16/369.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1475.16/369.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1475.16/369.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1475.16/369.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1475.16/369.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1945.72/487.14	c lits-rem:      6169  cl-subs:     7441  v-elim:      0  v-fix:    0  time: 470.16 s
1945.72/487.15	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1945.72/487.17	c vivif2 --  cl tried    89766 cl shrink        0 lits rem          0 time: 0.08
1947.32/487.54	c asymm  cl-useful: 0/645/8010 lits-rem:0 time: 1.49
1947.32/487.54	c calculated reachability. Time: 0.00
1947.32/487.54	c  N dy  5497   1710869        90      8010         0     89766     56070   1685056     25.11   no data  --
1969.69/493.13	c  N dy  5531   1734544        90      8010         0     59092     56070    775365     25.09     26.42  --
1988.87/497.92	c  N dy  5599   1755760        90      8010         0     78673     56070   1352815     25.09     26.42  --
2010.84/503.45	c  N dy  5654   1775871        90      8010         0     97160     56070   1896413     25.09     26.42  --
2035.59/509.63	c  N dy  5754   1795873        90      8010         0     62239     56070    854997     25.10     28.12  --
2070.75/518.44	c  N dy  5785   1834972        90      8010         0     97933     56070   1876140     25.06     26.53  --
2095.53/524.65	c  N dy  5840   1855052        90      8010         0     62223     56070    838196     25.06     27.63  --
2119.48/530.65	c  N dy  5986   1875129        90      8010         0     80840     56070   1399259     25.08     27.01  --
2145.45/537.14	c  N dy  6059   1895770        90      8010         0     99903     56070   1963168     25.09     26.46  --
2171.02/543.50	c  N dy  6161   1916053        90      8010         0     63348     56070    858092     25.10     26.45  --
2190.59/548.43	c  N dy  6240   1936069        90      8010         0     81823     56070   1405072     25.10     29.53  --
2216.56/554.98	c  N dy  6320   1956114        90      8010         0    100364     56070   1952912     25.11     28.68  --
2244.93/562.08	c  N dy  6416   1977156        90      8010         0     63523     56070    840352     25.12     26.44  --
2267.31/567.66	c  N dy  6475   2000748        90      8010         0     85294     56070   1478112     25.11     26.44  --
2292.45/573.98	c  N dy  6535   2020774        90      8010         0    103707     56070   2023631     25.11     28.87  --
2323.61/581.78	c  N dy  6571   2051945        90      8010         0     75045     56070   1150311     25.10     26.52  --
2347.57/587.79	c  N dy  6614   2075241        90      8010         0     96450     56070   1776350     25.09     26.75  --
2379.14/595.69	c  N dy  6711   2095250        90      8010         0    115022     56070   2328657     25.10     26.49  --
2404.70/602.06	c  N dy  6860   2115254        90      8010         0     75601     56070   1170172     25.12     28.00  --
2433.07/609.16	c  N dy  6965   2135321        90      8010         0     94171     56070   1725346     25.13     27.75  --
2460.24/616.00	c  N dy  7036   2155377        90      8010         0    112688     56070   2272956     25.13     27.56  --
2489.39/623.25	c  N dy  7181   2179246        90      8010         0     75768     56070   1152923     25.15     26.56  --
2511.76/628.85	c  N dy  7252   2199497        90      8010         0     94425     56070   1704181     25.15     26.51  --
2529.74/633.35	c  S st  7346   2210869        90      8010         0    104965     56070   2023979     25.16   no data  --
2530.95/633.66	c  S st  7346   2211373        90      8010         0    105444     56070   2038664     25.16   no data  --
2530.95/633.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2530.95/633.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2531.33/633.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
2531.33/633.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2531.33/633.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2531.33/633.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2531.33/633.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3067.03/767.81	c lits-rem:      4469  cl-subs:     7902  v-elim:      0  v-fix:    0  time: 535.16 s
3067.03/767.81	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
3067.03/767.83	c vivif2 --  cl tried    97542 cl shrink        0 lits rem          0 time: 0.09
3068.61/768.21	c asymm  cl-useful: 0/556/8010 lits-rem:0 time: 1.51
3068.61/768.21	c calculated reachability. Time: 0.00
3068.61/768.21	c  N dy  7346   2211373        90      8010         0     97542     56070   1781492     25.16   no data  --
3099.37/775.92	c  N dy  7409   2232467        90      8010         0    117062     56070   2359372     25.16     26.49  --
3124.52/782.20	c  N dy  7515   2255058        90      8010         0     78145     56070   1203359     25.17     26.67  --
3166.07/792.68	c  N dy  7585   2290034        90      8010         0    110239     56070   2139349     25.16     26.51  --
3199.63/801.10	c  N dy  7691   2310077        90      8010         0     68033     56070    881377     25.17     26.56  --
3225.99/807.65	c  N dy  7804   2330123        90      8010         0     86641     56070   1438421     25.18     28.36  --
3253.56/814.55	c  N dy  7886   2350182        90      8010         0    105154     56070   1987705     25.19     28.16  --
3296.29/825.24	c  N dy  7971   2382181        90      8010         0     72764     56070    997747     25.19     26.68  --
3318.66/830.87	c  N dy  8063   2402242        90      8010         0     91336     56070   1549206     25.19     27.89  --
3343.04/836.95	c  N dy  8097   2422298        90      8010         0    109695     56070   2087107     25.18     26.55  --
3374.98/844.96	c  N dy  8184   2442387        90      8010         0     65614     56070    772972     25.19     26.53  --
3393.37/849.58	c  N dy  8224   2462885        90      8010         0     84395     56070   1322520     25.18     26.73  --
3417.34/855.56	c  N dy  8283   2483144        90      8010         0    103117     56070   1876481     25.18     26.58  --
3449.69/863.67	c  N dy  8368   2503188        90      8010         0    121680     56070   2429651     25.19     29.00  --
3473.26/869.52	c  N dy  8438   2523211        90      8010         0     76518     56070   1077778     25.19     28.38  --
3498.82/875.99	c  N dy  8554   2543290        90      8010         0     95127     56070   1634350     25.20     26.54  --
3577.12/895.57	c  N dy  8625   2619101        90      8010         0     99893     56070   1709326     25.14     26.53  --
3618.66/905.97	c  N dy  8732   2643005        90      8010         0    121999     56070   2366520     25.15     26.74  --
3652.21/914.38	c  N dy  8801   2663052        90      8010         0     75226     56070   1003541     25.15     28.44  --
3687.37/923.13	c  N dy  8921   2683136        90      8010         0     93816     56070   1563259     25.16     28.36  --
3725.73/932.76	c  N dy  9000   2703489        90      8010         0    112623     56070   2121042     25.17     26.50  --
3742.50/936.96	c  S st  9023   2711373        90      8010         0    119891     56070   2335891     25.17   no data  --
3744.49/937.45	c  S st  9023   2711875        90      8010         0    120359     56070   2350079     25.17   no data  --
3744.49/937.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3744.49/937.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3744.89/937.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.33
3745.29/937.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3745.29/937.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3745.29/937.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3745.29/937.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s

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-3175085-1304083806/watcher-3175085-1304083806 -o /tmp/evaluation-result-3175085-1304083806/solver-3175085-1304083806 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175085-1304083806.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.47 7.97 8.05 2/173 24831
/proc/meminfo: memFree=17376128/32951124 swapFree=67111528/67111528
[pid=24831] ppid=24829 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 413 0 0 0 0 0 0 0 23 0 4 0 519981495 52465664 352 33554432000 4194304 4650419 140734497995936 18446744073709551615 270613167089 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24831/statm: 12809 352 303 112 0 7774 0
[pid=24831/tid=24832] ppid=24829 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 519981495 52465664 352 33554432000 4194304 4650419 140734497995936 18446744073709551615 47026510116786 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 519981495 52465664 352 33554432000 4194304 4650419 140734497995936 18446744073709551615 270624908342 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 519981495 52465664 352 33554432000 4194304 4650419 140734497995936 18446744073709551615 270613167089 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.080217 s]
/proc/loadavg: 7.47 7.97 8.05 2/173 24831
/proc/meminfo: memFree=17376128/32951124 swapFree=67111528/67111528
[pid=24831] ppid=24829 vsize=282056 CPUtime=0.29 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 1599 0 0 0 29 0 0 0 24 0 4 0 519981495 288825344 1506 33554432000 4194304 4650419 140734497995936 18446744073709551615 4371148 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24831/statm: 70514 1506 366 112 0 65479 0
[pid=24831/tid=24832] ppid=24829 vsize=282056 CPUtime=0.07 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 273 0 0 0 7 0 0 0 25 0 4 0 519981495 288825344 1506 33554432000 4194304 4650419 140734497995936 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=282056 CPUtime=0.07 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 276 0 0 0 7 0 0 0 25 0 4 0 519981495 288825344 1506 33554432000 4194304 4650419 140734497995936 18446744073709551615 4370547 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=282056 CPUtime=0.07 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 357 0 0 0 7 0 0 0 25 0 4 0 519981495 288825344 1506 33554432000 4194304 4650419 140734497995936 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 282056

[startup+0.100212 s]
/proc/loadavg: 7.47 7.97 8.05 2/173 24831
/proc/meminfo: memFree=17376128/32951124 swapFree=67111528/67111528
[pid=24831] ppid=24829 vsize=282056 CPUtime=0.37 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 1637 0 0 0 37 0 0 0 24 0 4 0 519981495 288825344 1544 33554432000 4194304 4650419 140734497995936 18446744073709551615 4370675 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24831/statm: 70514 1544 366 112 0 65479 0
[pid=24831/tid=24832] ppid=24829 vsize=282056 CPUtime=0.09 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 276 0 0 0 9 0 0 0 25 0 4 0 519981495 288825344 1544 33554432000 4194304 4650419 140734497995936 18446744073709551615 4369160 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=282056 CPUtime=0.09 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 280 0 0 0 9 0 0 0 25 0 4 0 519981495 288825344 1544 33554432000 4194304 4650419 140734497995936 18446744073709551615 4371088 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=282056 CPUtime=0.09 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 384 0 0 0 9 0 0 0 25 0 4 0 519981495 288825344 1544 33554432000 4194304 4650419 140734497995936 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282056

[startup+0.30018 s]
/proc/loadavg: 7.47 7.97 8.05 2/173 24831
/proc/meminfo: memFree=17376128/32951124 swapFree=67111528/67111528
[pid=24831] ppid=24829 vsize=286160 CPUtime=1.17 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 4154 0 0 0 117 0 0 0 25 0 4 0 519981495 293027840 3500 33554432000 4194304 4650419 140734497995936 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24831/statm: 71540 3500 390 112 0 66505 0
[pid=24831/tid=24832] ppid=24829 vsize=286160 CPUtime=0.29 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 968 0 0 0 29 0 0 0 25 0 4 0 519981495 293027840 3500 33554432000 4194304 4650419 140734497995936 18446744073709551615 4334105 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=286160 CPUtime=0.29 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 982 0 0 0 29 0 0 0 25 0 4 0 519981495 293027840 3500 33554432000 4194304 4650419 140734497995936 18446744073709551615 4331922 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=286160 CPUtime=0.29 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 783 0 0 0 29 0 0 0 25 0 4 0 519981495 293027840 3500 33554432000 4194304 4650419 140734497995936 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 286160

[startup+0.70111 s]
/proc/loadavg: 7.47 7.97 8.05 2/173 24831
/proc/meminfo: memFree=17376128/32951124 swapFree=67111528/67111528
[pid=24831] ppid=24829 vsize=287964 CPUtime=2.77 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 6728 0 0 0 276 1 0 0 25 0 4 0 519981495 294875136 4095 33554432000 4194304 4650419 140734497995936 18446744073709551615 4365203 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24831/statm: 71991 4095 390 112 0 66956 0
[pid=24831/tid=24832] ppid=24829 vsize=287964 CPUtime=0.69 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 1632 0 0 0 69 0 0 0 25 0 4 0 519981495 294875136 4095 33554432000 4194304 4650419 140734497995936 18446744073709551615 4365231 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=287964 CPUtime=0.69 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 1673 0 0 0 69 0 0 0 25 0 4 0 519981495 294875136 4095 33554432000 4194304 4650419 140734497995936 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=287964 CPUtime=0.69 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 1317 0 0 0 69 0 0 0 25 0 4 0 519981495 294875136 4095 33554432000 4194304 4650419 140734497995936 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 287964

[startup+1.50097 s]
/proc/loadavg: 7.47 7.97 8.05 9/184 24843
/proc/meminfo: memFree=17346384/32951124 swapFree=67111528/67111528
[pid=24831] ppid=24829 vsize=289364 CPUtime=5.96 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 11024 0 0 0 595 1 0 0 25 0 4 0 519981495 296308736 4961 33554432000 4194304 4650419 140734497995936 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24831/statm: 72341 4961 391 112 0 67306 0
[pid=24831/tid=24832] ppid=24829 vsize=289364 CPUtime=1.48 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 2656 0 0 0 148 0 0 0 25 0 4 0 519981495 296308736 4961 33554432000 4194304 4650419 140734497995936 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=289364 CPUtime=1.49 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 2782 0 0 0 149 0 0 0 25 0 4 0 519981495 296308736 4961 33554432000 4194304 4650419 140734497995936 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=289364 CPUtime=1.48 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 2392 0 0 0 148 0 0 0 25 0 4 0 519981495 296308736 4961 33554432000 4194304 4650419 140734497995936 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 289364

[startup+3.10069 s]
/proc/loadavg: 7.47 7.97 8.05 9/184 24843
/proc/meminfo: memFree=17314764/32951124 swapFree=67111528/67111528
[pid=24831] ppid=24829 vsize=294904 CPUtime=12.36 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 21019 0 0 0 1233 3 0 0 25 0 4 0 519981495 301981696 12664 33554432000 4194304 4650419 140734497995936 18446744073709551615 4370675 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24831/statm: 73726 12664 392 112 0 68691 0
[pid=24831/tid=24832] ppid=24829 vsize=294904 CPUtime=3.08 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 4421 0 0 0 308 0 0 0 25 0 4 0 519981495 301981696 12664 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=294904 CPUtime=3.08 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 5764 0 0 0 308 0 0 0 25 0 4 0 519981495 301981696 12664 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=294904 CPUtime=3.09 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 5889 0 0 0 308 1 0 0 25 0 4 0 519981495 301981696 12664 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 294904

[startup+6.30112 s]
/proc/loadavg: 7.51 7.97 8.05 9/184 24843
/proc/meminfo: memFree=17279824/32951124 swapFree=67111528/67111528
[pid=24831] ppid=24829 vsize=295020 CPUtime=25.14 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 30751 0 0 0 2509 5 0 0 25 0 4 0 519981495 302100480 16511 33554432000 4194304 4650419 140734497995936 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24831/statm: 73755 16511 392 112 0 68720 0
[pid=24831/tid=24832] ppid=24829 vsize=295020 CPUtime=6.29 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 7912 0 0 0 628 1 0 0 25 0 4 0 519981495 302100480 16511 33554432000 4194304 4650419 140734497995936 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=295020 CPUtime=6.29 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 7845 0 0 0 628 1 0 0 25 0 4 0 519981495 302100480 16511 33554432000 4194304 4650419 140734497995936 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=295020 CPUtime=6.29 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 8051 0 0 0 627 2 0 0 25 0 4 0 519981495 302100480 16511 33554432000 4194304 4650419 140734497995936 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 295020

[startup+12.701 s]
/proc/loadavg: 7.55 7.97 8.05 9/184 24843
/proc/meminfo: memFree=17222908/32951124 swapFree=67111528/67111528
[pid=24831] ppid=24829 vsize=323800 CPUtime=50.7 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 43766 0 0 0 5061 9 0 0 25 0 4 0 519981495 331571200 22839 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24831/statm: 80950 22839 392 112 0 75915 0
[pid=24831/tid=24832] ppid=24829 vsize=323800 CPUtime=12.68 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 10106 0 0 0 1267 1 0 0 25 0 4 0 519981495 331571200 22839 33554432000 4194304 4650419 140734497995936 18446744073709551615 4439089 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=323800 CPUtime=12.68 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 11410 0 0 0 1267 1 0 0 25 0 4 0 519981495 331571200 22839 33554432000 4194304 4650419 140734497995936 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=323800 CPUtime=12.68 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 12546 0 0 0 1265 3 0 0 25 0 4 0 519981495 331571200 22839 33554432000 4194304 4650419 140734497995936 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 323800

[startup+25.5007 s]
/proc/loadavg: 7.65 7.97 8.04 9/184 24843
/proc/meminfo: memFree=17166372/32951124 swapFree=67111528/67111528
[pid=24831] ppid=24829 vsize=317480 CPUtime=101.83 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 66185 0 0 0 10168 15 0 0 25 0 4 0 519981495 325099520 31611 33554432000 4194304 4650419 140734497995936 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24831/statm: 79370 31611 392 112 0 74335 0
[pid=24831/tid=24832] ppid=24829 vsize=317480 CPUtime=25.48 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 14198 0 0 0 2546 2 0 0 25 0 4 0 519981495 325099520 31611 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=317480 CPUtime=25.48 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 17347 0 0 0 2545 3 0 0 25 0 4 0 519981495 325099520 31611 33554432000 4194304 4650419 140734497995936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=317480 CPUtime=25.48 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 19214 0 0 0 2543 5 0 0 25 0 4 0 519981495 325099520 31611 33554432000 4194304 4650419 140734497995936 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 317480

[startup+51.1012 s]
/proc/loadavg: 7.84 7.99 8.05 9/184 24844
/proc/meminfo: memFree=17122768/32951124 swapFree=67111528/67111528
[pid=24831] ppid=24829 vsize=330052 CPUtime=204.09 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 94159 0 0 0 20385 24 0 0 25 0 4 0 519981495 337973248 36774 33554432000 4194304 4650419 140734497995936 18446744073709551615 4516622 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24831/statm: 82513 36774 392 112 0 77478 0
[pid=24831/tid=24832] ppid=24829 vsize=330052 CPUtime=51.09 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 16214 0 0 0 5106 3 0 0 25 0 4 0 519981495 337973248 36774 33554432000 4194304 4650419 140734497995936 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=330052 CPUtime=51.09 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 26811 0 0 0 5102 7 0 0 25 0 4 0 519981495 337973248 36774 33554432000 4194304 4650419 140734497995936 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=330052 CPUtime=51.08 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 28927 0 0 0 5100 8 0 0 25 0 4 0 519981495 337973248 36774 33554432000 4194304 4650419 140734497995936 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 330052

[startup+102.307 s]
/proc/loadavg: 8.05 8.02 8.05 9/184 24845
/proc/meminfo: memFree=17074900/32951124 swapFree=67111528/67111528
[pid=24831] ppid=24829 vsize=396856 CPUtime=408.63 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 138874 0 0 0 40824 39 0 0 25 0 4 0 519981495 406380544 42774 33554432000 4194304 4650419 140734497995936 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24831/statm: 99214 42774 392 112 0 94179 0
[pid=24831/tid=24832] ppid=24829 vsize=396856 CPUtime=102.29 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 16655 0 0 0 10226 3 0 0 25 0 4 0 519981495 406380544 42774 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=396856 CPUtime=102.29 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 42787 0 0 0 10217 12 0 0 25 0 4 0 519981495 406380544 42774 33554432000 4194304 4650419 140734497995936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=396856 CPUtime=102.28 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 46539 0 0 0 10214 14 0 0 25 0 4 0 519981495 406380544 42774 33554432000 4194304 4650419 140734497995936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 396856

[startup+162.301 s]

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

[pid=24831] ppid=24829 vsize=480412 CPUtime=2805.36 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 462915 0 0 0 280349 187 0 0 25 0 4 0 519981495 491941888 77338 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476454 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24831/statm: 120103 77338 392 112 0 115068 0
[pid=24831/tid=24832] ppid=24829 vsize=480412 CPUtime=702.3 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 87329 0 0 0 70189 41 0 0 25 0 4 0 519981495 491941888 77338 33554432000 4194304 4650419 140734497995936 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=480412 CPUtime=702.3 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 123107 0 0 0 70182 48 0 0 25 0 4 0 519981495 491941888 77338 33554432000 4194304 4650419 140734497995936 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=480412 CPUtime=702.26 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 138560 0 0 0 70166 60 0 0 25 0 4 0 519981495 491941888 77338 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.36
Current children cumulated vsize (KiB) 480412

[startup+762.306 s]
/proc/loadavg: 8.09 8.09 8.06 9/184 24863
/proc/meminfo: memFree=16736860/32951124 swapFree=67111528/67111528
[pid=24831] ppid=24829 vsize=482064 CPUtime=3045.06 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 476305 0 0 0 304311 195 0 0 25 0 4 0 519981495 493633536 80391 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476432 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24831/statm: 120516 80391 392 112 0 115481 0
[pid=24831/tid=24832] ppid=24829 vsize=482064 CPUtime=762.31 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 92050 0 0 0 76187 44 0 0 25 0 4 0 519981495 493633536 80391 33554432000 4194304 4650419 140734497995936 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=482064 CPUtime=762.31 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 126522 0 0 0 76181 50 0 0 25 0 4 0 519981495 493633536 80391 33554432000 4194304 4650419 140734497995936 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=482064 CPUtime=762.27 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 143814 0 0 0 76163 64 0 0 25 0 4 0 519981495 493633536 80391 33554432000 4194304 4650419 140734497995936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.06
Current children cumulated vsize (KiB) 482064

[startup+822.301 s]
/proc/loadavg: 8.06 8.09 8.06 9/184 24864
/proc/meminfo: memFree=16710676/32951124 swapFree=67111528/67111528
[pid=24831] ppid=24829 vsize=482420 CPUtime=3284.71 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 499191 0 0 0 328265 206 0 0 25 0 4 0 519981495 493998080 86962 33554432000 4194304 4650419 140734497995936 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24831/statm: 120605 86962 392 112 0 115570 0
[pid=24831/tid=24832] ppid=24829 vsize=482420 CPUtime=822.3 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 98798 0 0 0 82183 47 0 0 25 0 4 0 519981495 493998080 86962 33554432000 4194304 4650419 140734497995936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=482420 CPUtime=822.3 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 129547 0 0 0 82179 51 0 0 25 0 4 0 519981495 493998080 86962 33554432000 4194304 4650419 140734497995936 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=482420 CPUtime=822.26 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 150497 0 0 0 82159 67 0 0 25 0 4 0 519981495 493998080 86962 33554432000 4194304 4650419 140734497995936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.71
Current children cumulated vsize (KiB) 482420

[startup+882.301 s]
/proc/loadavg: 8.02 8.07 8.06 9/184 24866
/proc/meminfo: memFree=16675424/32951124 swapFree=67111528/67111528
[pid=24831] ppid=24829 vsize=469688 CPUtime=3524.39 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 526692 0 0 0 352219 220 0 0 25 0 4 0 519981495 480960512 85524 33554432000 4194304 4650419 140734497995936 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24831/statm: 117422 85524 392 112 0 112387 0
[pid=24831/tid=24832] ppid=24829 vsize=469688 CPUtime=882.31 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 105679 0 0 0 88180 51 0 0 25 0 4 0 519981495 480960512 85524 33554432000 4194304 4650419 140734497995936 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=469688 CPUtime=882.3 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 136647 0 0 0 88176 54 0 0 25 0 4 0 519981495 480960512 85524 33554432000 4194304 4650419 140734497995936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=469688 CPUtime=882.26 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 158500 0 0 0 88154 72 0 0 25 0 4 0 519981495 480960512 85524 33554432000 4194304 4650419 140734497995936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.39
Current children cumulated vsize (KiB) 469688

[startup+942.301 s]
/proc/loadavg: 8.04 8.07 8.06 9/184 24868
/proc/meminfo: memFree=16678144/32951124 swapFree=67111528/67111528
[pid=24831] ppid=24829 vsize=568864 CPUtime=3764.06 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 550666 0 0 0 376175 231 0 0 25 0 4 0 519981495 582516736 93596 33554432000 4194304 4650419 140734497995936 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24831/statm: 142216 93596 392 112 0 137181 0
[pid=24831/tid=24832] ppid=24829 vsize=568864 CPUtime=942.31 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 113353 0 0 0 94177 54 0 0 25 0 4 0 519981495 582516736 93596 33554432000 4194304 4650419 140734497995936 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=568864 CPUtime=942.3 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 142924 0 0 0 94171 59 0 0 25 0 4 0 519981495 582516736 93596 33554432000 4194304 4650419 140734497995936 18446744073709551615 4368288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=568864 CPUtime=942.26 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 165080 0 0 0 94153 73 0 0 25 0 4 0 519981495 582516736 93596 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.06
Current children cumulated vsize (KiB) 568864

[startup+1002.3 s]
/proc/loadavg: 8.12 8.08 8.06 9/184 24869
/proc/meminfo: memFree=16652724/32951124 swapFree=67111528/67111528
[pid=24831] ppid=24829 vsize=568912 CPUtime=4003.74 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 561904 0 0 0 400139 235 0 0 25 0 4 0 519981495 582565888 92548 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24831/statm: 142228 92548 392 112 0 137193 0
[pid=24831/tid=24832] ppid=24829 vsize=568912 CPUtime=1002.31 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 113361 0 0 0 100177 54 0 0 25 0 4 0 519981495 582565888 92548 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=568912 CPUtime=1002.3 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 148858 0 0 0 100168 62 0 0 25 0 4 0 519981495 582565888 92548 33554432000 4194304 4650419 140734497995936 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=568912 CPUtime=1002.26 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 170376 0 0 0 100152 74 0 0 25 0 4 0 519981495 582565888 92548 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.74
Current children cumulated vsize (KiB) 568912

[startup+1062.3 s]
/proc/loadavg: 8.12 8.08 8.06 9/184 24871
/proc/meminfo: memFree=16660032/32951124 swapFree=67111528/67111528
[pid=24831] ppid=24829 vsize=568912 CPUtime=4243.42 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 567946 0 0 0 424105 237 0 0 25 0 4 0 519981495 582565888 92794 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24831/statm: 142228 92794 392 112 0 137193 0
[pid=24831/tid=24832] ppid=24829 vsize=568912 CPUtime=1062.31 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 113361 0 0 0 106177 54 0 0 25 0 4 0 519981495 582565888 92794 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=568912 CPUtime=1062.31 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 149017 0 0 0 106168 63 0 0 25 0 4 0 519981495 582565888 92794 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=568912 CPUtime=1062.26 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 176259 0 0 0 106150 76 0 0 25 0 4 0 519981495 582565888 92794 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.42
Current children cumulated vsize (KiB) 568912

[startup+1122.3 s]
/proc/loadavg: 8.19 8.10 8.07 9/184 24872
/proc/meminfo: memFree=16622944/32951124 swapFree=67111528/67111528
[pid=24831] ppid=24829 vsize=568912 CPUtime=4483.1 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 572333 0 0 0 448072 238 0 0 25 0 4 0 519981495 582565888 92152 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24831/statm: 142228 92152 392 112 0 137193 0
[pid=24831/tid=24832] ppid=24829 vsize=568912 CPUtime=1122.31 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 113361 0 0 0 112177 54 0 0 25 0 4 0 519981495 582565888 92152 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=568912 CPUtime=1122.31 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 149017 0 0 0 112168 63 0 0 25 0 4 0 519981495 582565888 92152 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=568912 CPUtime=1122.26 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 180646 0 0 0 112150 76 0 0 25 0 4 0 519981495 582565888 92152 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.1
Current children cumulated vsize (KiB) 568912

[startup+1182.3 s]
/proc/loadavg: 8.20 8.11 8.07 9/184 24874
/proc/meminfo: memFree=16654784/32951124 swapFree=67111528/67111528
[pid=24831] ppid=24829 vsize=568972 CPUtime=4722.78 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 576974 0 0 0 472038 240 0 0 25 0 4 0 519981495 582627328 91520 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24831/statm: 142243 91520 392 112 0 137208 0
[pid=24831/tid=24832] ppid=24829 vsize=568972 CPUtime=1182.31 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 113518 0 0 0 118177 54 0 0 25 0 4 0 519981495 582627328 91520 33554432000 4194304 4650419 140734497995936 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=568972 CPUtime=1182.31 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 149017 0 0 0 118168 63 0 0 25 0 4 0 519981495 582627328 91520 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=568972 CPUtime=1182.26 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 185130 0 0 0 118148 78 0 0 25 0 4 0 519981495 582627328 91520 33554432000 4194304 4650419 140734497995936 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.78
Current children cumulated vsize (KiB) 568972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.14 8.10 8.07 9/184 24875
/proc/meminfo: memFree=16662472/32951124 swapFree=67111528/67111528
[pid=24831] ppid=24829 vsize=569040 CPUtime=4800.29 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 581077 0 0 0 479786 243 0 0 25 0 4 0 519981495 582696960 91927 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24831/statm: 142260 91927 392 112 0 137225 0
[pid=24831/tid=24832] ppid=24829 vsize=569040 CPUtime=1201.72 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 115636 0 0 0 120117 55 0 0 25 0 4 0 519981495 582696960 91928 33554432000 4194304 4650419 140734497995936 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=569040 CPUtime=1201.71 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 149806 0 0 0 120108 63 0 0 25 0 4 0 519981495 582696960 91928 33554432000 4194304 4650419 140734497995936 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=569040 CPUtime=1201.67 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 186327 0 0 0 120088 79 0 0 25 0 4 0 519981495 582696960 91928 33554432000 4194304 4650419 140734497995936 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 569040

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.14 8.10 8.07 9/184 24875
/proc/meminfo: memFree=16662472/32951124 swapFree=67111528/67111528
[pid=24831] ppid=24829 vsize=569040 CPUtime=4800.29 cores=1,3,5,7
/proc/24831/stat : 24831 (strangenight1-m) R 24829 24831 24299 0 -1 4202496 581077 0 0 0 479786 243 0 0 25 0 4 0 519981495 582696960 91927 33554432000 4194304 4650419 140734497995936 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24831/statm: 142260 91927 392 112 0 137225 0
[pid=24831/tid=24832] ppid=24829 vsize=569040 CPUtime=1201.72 cores=1,3,5,7
/proc/24831/task/24832/stat : 24832 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 115636 0 0 0 120117 55 0 0 25 0 4 0 519981495 582696960 91928 33554432000 4194304 4650419 140734497995936 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24831/tid=24833] ppid=24829 vsize=569040 CPUtime=1201.71 cores=1,3,5,7
/proc/24831/task/24833/stat : 24833 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 149806 0 0 0 120108 63 0 0 25 0 4 0 519981495 582696960 91928 33554432000 4194304 4650419 140734497995936 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24831/tid=24834] ppid=24829 vsize=569040 CPUtime=1201.67 cores=1,3,5,7
/proc/24831/task/24834/stat : 24834 (strangenight1-m) R 24829 24831 24299 0 -1 4202560 186327 0 0 0 120088 79 0 0 25 0 4 0 519981495 582696960 91928 33554432000 4194304 4650419 140734497995936 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 569040

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.33
CPU user time (s): 4797.88
CPU system time (s): 2.45263
CPU usage (%): 399.452
Max. virtual memory (cumulated for all children) (KiB): 622080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.88
system time used= 2.45263
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 581079
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= 565
involuntary context switches= 21960

runsolver used 1.88671 second user time and 4.69129 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-29 15:30:06
IDJOB=3175085
IDBENCH=82703
IDSOLVER=1588
FILE ID=node108/3175085-1304083806
RUNJOBID= node108-1304083805-24817
PBS_JOBID= 13170514
Free space on /tmp= 72120 MiB

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

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

MD5SUM BENCH= ffd67922a8bb7c4660bea122f8a5ce0e
RANDOM SEED=1868933584

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17377764 kB
Buffers:       2164468 kB
Cached:       12763552 kB
SwapCached:          0 kB
Active:        4204008 kB
Inactive:     10787556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17377764 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            8184 kB
Writeback:           0 kB
AnonPages:       63084 kB
Mapped:          14492 kB
Slab:           518172 kB
PageTables:       4508 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186036 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= 72108 MiB
End job on node108 at 2011-04-29 15:50:09