Trace number 3368694

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.25 1202.54

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-3368694-1305400875.cnf'
0.00/0.00	c -- header says num vars:             90
0.00/0.00	c -- header says num clauses:        8010
0.00/0.01	c -- clauses added:            0 learnts,         8010 normals,            0 xors
0.00/0.01	c -- vars added         90
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        90      8010         0         0     56070         0   no data   no data  --
0.77/0.20	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.74
0.77/0.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
3.17/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.17/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.17/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3.17/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:      51 undec:       1 neg:      38
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
3.17/0.80	c  N dy    10      4403        90      8010         0      4055     56070    122435     25.64     27.08  --
3.17/0.80	c  N dy    16      8455        90      8010         0      5505     56070    150875     25.29     26.72  --
3.17/0.80	c  N dy    20     13712        90      8010         0      6439     56070    162135     24.89     26.49  --
4.37/1.10	c  N dy    36     19598        90      8010         0      6697     56070    153601     24.96     26.43  --
4.79/1.30	c  N dy    54     24501        90      8010         0     11246     56070    289626     25.16     26.53  --
4.79/1.30	c  F st    58     25000        90      8010         0     11711     56070    303345     25.18     25.17  --
5.96/1.52	c  N dy    64     30001        90      8010         0     10024     56070    236319     25.18   no data  --
5.96/1.52	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.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.96/1.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
5.96/1.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.15/2.80	c lits-rem:      1691  cl-subs:      713  v-elim:      0  v-fix:    0  time:  4.91 s
12.34/3.17	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.49
12.34/3.17	c calculated reachability. Time: 0.00
12.34/3.17	c  N dy    64     30504        90      8010         0      9786     56070    225318     25.18   no data  --
13.14/3.40	c  N dy    70     34784        90      8010         0     13772     56070    342074     25.19     26.52  --
14.74/3.71	c  N dy    88     40273        90      8010         0     11534     56070    260381     25.28     26.90  --
15.54/3.95	c  N dy    93     44289        90      8010         0     15283     56070    370927     25.28     26.73  --
15.94/4.05	c  S st    97     45756        90      8010         0      8358     56070    149741     25.28     23.81  --
15.94/4.08	c  S st    97     46259        90      8010         0      8832     56070    163986     25.28   no data  --
15.94/4.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.94/4.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.94/4.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.94/4.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.94/4.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.94/4.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
15.94/4.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.53/4.99	c lits-rem:       190  cl-subs:       48  v-elim:      0  v-fix:    0  time:  3.58 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     8784 cl shrink        0 lits rem          0 time: 0.00
21.13/5.30	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.23
21.13/5.30	c calculated reachability. Time: 0.00
21.13/5.30	c  N dy    97     46259        90      8010         0      8784     56070    162071     25.28   no data  --
21.93/5.54	c  N dy   113     51150        90      8010         0     13284     56070    295314     25.31     26.66  --
23.52/5.97	c  N dy   143     57466        90      8010         0      9916     56070    178420     25.42     26.77  --
24.72/6.26	c  N dy   149     62647        90      8010         0     14683     56070    317549     25.39     26.79  --
25.92/6.59	c  N dy   153     67750        90      8010         0     19404     56070    456532     25.35     26.78  --
26.74/6.72	c  S st   156     69389        90      8010         0     10758     56070    186760     25.33     23.31  --
26.74/6.76	c  S st   156     69893        90      8010         0     11242     56070    201521     25.33   no data  --
26.74/6.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.74/6.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.74/6.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
26.74/6.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.74/6.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
26.74/6.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
30.71/7.76	c lits-rem:       339  cl-subs:      151  v-elim:      0  v-fix:    0  time:  3.95 s
30.71/7.76	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
30.71/7.76	c vivif2 --  cl tried    11091 cl shrink        0 lits rem          0 time: 0.01
32.30/8.12	c asymm  cl-useful: 0/7804/8010 lits-rem:0 time: 1.45
32.30/8.13	c calculated reachability. Time: 0.00
32.30/8.13	c  N dy   156     69893        90      8010         0     11091     56070    196451     25.33   no data  --
37.09/9.34	c  N dy   162     86693        90      8010         0     15443     56070    306047     25.06     26.41  --
37.49/9.40	c  F st   168     87500        90      8010         0     16198     56070    328437     25.07     25.60  --
38.69/9.78	c  N dy   174     92694        90      8010         0     21000     56070    471705     25.07   no data  --
41.49/10.42	c  N dy   207    100979        90      8010         0     16628     56070    325378     25.13     26.64  --
42.28/10.69	c  S st   218    104839        90      8010         0     20185     56070    427293     25.10     23.72  --
42.68/10.74	c  S st   218    105339        90      8010         0     20663     56070    441648     25.10   no data  --
42.68/10.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
42.68/10.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
42.68/10.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
42.68/10.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
42.68/10.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.68/10.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
42.68/10.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
50.27/12.66	c lits-rem:      1453  cl-subs:     1557  v-elim:      0  v-fix:    0  time:  7.58 s
50.27/12.66	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
50.27/12.67	c vivif2 --  cl tried    19106 cl shrink        0 lits rem          0 time: 0.02
51.87/13.07	c asymm  cl-useful: 0/5511/8010 lits-rem:0 time: 1.63
51.87/13.07	c calculated reachability. Time: 0.00
51.87/13.07	c  N dy   218    105339        90      8010         0     19106     56070    391961     25.10   no data  --
55.45/13.94	c  N dy   245    116271        90      8010         0     16401     56070    298899     25.07     26.43  --
59.45/14.99	c  N dy   263    130354        90      8010         0     15561     56070    260020     24.96     26.32  --
63.44/15.99	c  N dy   293    143402        90      8010         0     27555     56070    609974     24.96     26.31  --
66.66/16.73	c  N dy   313    152695        90      8010         0     21376     56070    412696     24.95     26.32  --
68.63/17.21	c  S st   350    158010        90      8010         0     26310     56070    559249     25.01   no data  --
68.63/17.28	c  S st   350    158514        90      8010         0     26788     56070    573052     25.01   no data  --
68.63/17.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
68.63/17.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
68.63/17.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
69.03/17.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.03/17.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.03/17.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
69.03/17.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.02/19.82	c lits-rem:      2163  cl-subs:     2043  v-elim:      0  v-fix:    0  time: 10.04 s
79.02/19.82	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
79.02/19.83	c vivif2 --  cl tried    24745 cl shrink        0 lits rem          0 time: 0.02
79.84/20.08	c asymm  cl-useful: 0/1895/8010 lits-rem:0 time: 0.99
79.84/20.08	c calculated reachability. Time: 0.00
79.84/20.08	c  N dy   350    158514        90      8010         0     24745     56070    506243     25.01   no data  --
83.41/20.99	c  N dy   392    168654        90      8010         0     18544     56070    313017     25.05     26.46  --
88.21/22.14	c  N dy   426    182158        90      8010         0     31055     56070    680308     25.07     26.39  --
92.19/23.20	c  N dy   466    194047        90      8010         0     25434     56070    496985     25.07     26.42  --
98.17/24.69	c  N dy   544    206493        90      8010         0     19444     56070    303149     25.15     26.85  --
104.16/26.18	c  N dy   585    221708        90      8010         0     33554     56070    717919     25.15     26.48  --
110.17/27.62	c  N dy   668    235929        90      8010         0     28278     56070    546388     25.22     28.43  --
110.94/27.81	c  S st   677    237772        90      8010         0     29990     56070    597437     25.23     25.73  --
110.94/27.89	c  S st   677    238275        90      8010         0     30468     56070    611785     25.23   no data  --
110.94/27.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
110.94/27.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
111.34/27.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
111.34/27.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
111.34/27.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
111.34/27.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
111.34/27.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
122.92/30.83	c lits-rem:      2427  cl-subs:     1821  v-elim:      0  v-fix:    0  time: 11.63 s
122.92/30.83	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
122.92/30.84	c vivif2 --  cl tried    28647 cl shrink        0 lits rem          0 time: 0.02
123.34/30.91	c asymm  cl-useful: 0/604/8010 lits-rem:0 time: 0.29
123.34/30.91	c calculated reachability. Time: 0.00
123.34/30.91	c  N dy   677    238275        90      8010         0     28647     56070    549297     25.23   no data  --
129.70/32.56	c  N dy   733    253558        90      8010         0     23395     56070    382877     25.26     27.07  --
137.69/34.55	c  N dy   785    272258        90      8010         0     40722     56070    893715     25.25     26.62  --
144.48/36.28	c  N dy   851    289674        90      8010         0     36472     56070    753352     25.28     26.63  --
152.05/38.16	c  F st   928    306250        90      8010         0     30524     56070    559896     25.32     24.30  --
152.86/38.36	c  N st   932    308285        90      8010         0     32411     56070    616608     25.32   no data  --
161.64/40.56	c  N dy   973    328180        90      8010         0     28531     56070    477404     25.33     26.70  --
170.82/42.83	c  N dy  1003    348246        90      8010         0     23940     56070    327168     25.29     27.11  --
174.42/43.73	c  S st  1026    357413        90      8010         0     32452     56070    576214     25.28     24.61  --
174.82/43.81	c  S st  1026    357915        90      8010         0     32924     56070    590285     25.28   no data  --
174.82/43.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
174.82/43.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
174.82/43.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
174.82/43.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
174.82/43.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
174.82/43.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
174.82/43.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
186.79/46.83	c lits-rem:      1332  cl-subs:     1725  v-elim:      0  v-fix:    0  time: 11.93 s
186.79/46.83	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
186.79/46.84	c vivif2 --  cl tried    31199 cl shrink        0 lits rem          0 time: 0.03
187.58/47.09	c asymm  cl-useful: 0/2010/8010 lits-rem:0 time: 1.01
187.58/47.09	c calculated reachability. Time: 0.00
187.58/47.09	c  N dy  1026    357915        90      8010         0     31199     56070    535198     25.28   no data  --
201.16/50.41	c  N dy  1093    378573        90      8010         0     26349     56070    378787     25.30     26.67  --
211.93/53.13	c  N dy  1122    400546        90      8010         0     46587     56070    971428     25.26     26.66  --
223.51/56.08	c  N dy  1191    424921        90      8010         0     44162     56070    888797     25.26     26.64  --
232.69/58.37	c  N dy  1225    444940        90      8010         0     36775     56070    651472     25.21     26.59  --
245.47/61.54	c  N dy  1336    465617        90      8010         0     29209     56070    413191     25.25     26.58  --
255.06/63.95	c  N dy  1371    485931        90      8010         0     47926     56070    963114     25.24     26.75  --
265.02/66.47	c  N dy  1417    505981        90      8010         0     38732     56070    675471     25.23     26.69  --
277.43/69.56	c  N dy  1485    526218        90      8010         0     28833     56070    362195     25.24     26.76  --
282.19/70.79	c  S st  1523    536873        90      8010         0     38689     56070    654811     25.25     24.82  --
282.59/70.89	c  S st  1523    537377        90      8010         0     39165     56070    669329     25.25   no data  --
282.59/70.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
282.59/70.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
282.99/70.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
282.99/70.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
282.99/70.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
282.99/70.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
282.99/70.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
296.56/74.36	c lits-rem:      1292  cl-subs:     1741  v-elim:      0  v-fix:    0  time: 13.69 s
296.56/74.36	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
296.56/74.37	c vivif2 --  cl tried    37424 cl shrink        0 lits rem          0 time: 0.03
297.36/74.59	c asymm  cl-useful: 0/1445/8010 lits-rem:0 time: 0.88
297.36/74.59	c calculated reachability. Time: 0.00
297.36/74.59	c  N dy  1523    537377        90      8010         0     37424     56070    611890     25.25   no data  --
311.33/78.08	c  N dy  1625    559169        90      8010         0     57674     56070   1210601     25.28     26.77  --
325.32/81.57	c  N dy  1668    586263        90      8010         0     53060     56070   1047530     25.23     26.70  --
339.27/85.03	c  N dy  1722    610726        90      8010         0     45199     56070    803053     25.21     26.60  --
360.86/90.43	c  N dy  1798    643053        90      8010         0     43597     56070    733322     25.19     26.74  --
376.80/94.45	c  N dy  1858    666983        90      8010         0     33396     56070    425138     25.19     26.59  --
389.18/97.59	c  N dy  1918    689708        90      8010         0     54344     56070   1042027     25.19     26.80  --
402.75/100.92	c  N dy  1996    709887        90      8010         0     39822     56070    599269     25.20     26.90  --
416.32/104.37	c  N dy  2069    729932        90      8010         0     58411     56070   1149620     25.21     26.59  --
453.08/113.58	c  N dy  2121    781392        90      8010         0     36366     56070    460171     25.10     26.42  --
464.63/116.48	c  N dy  2182    801427        90      8010         0     54833     56070   1005276     25.10     26.47  --
468.62/117.47	c  S st  2214    806068        90      8010         0     59181     56070   1136312     25.11     24.49  --
469.41/117.63	c  S st  2214    806572        90      8010         0     59654     56070   1150104     25.11   no data  --
469.41/117.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
469.41/117.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
469.41/117.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
469.81/117.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
469.81/117.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
469.81/117.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
469.81/117.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
516.91/129.51	c lits-rem:      2543  cl-subs:     4382  v-elim:      0  v-fix:    0  time: 47.12 s
516.91/129.51	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
516.91/129.53	c vivif2 --  cl tried    55272 cl shrink        0 lits rem          0 time: 0.05
518.11/129.89	c asymm  cl-useful: 0/1017/8010 lits-rem:0 time: 1.44
518.11/129.89	c calculated reachability. Time: 0.00
518.11/129.89	c  N dy  2214    806572        90      8010         0     55272     56070   1011471     25.11   no data  --
534.88/134.07	c  N dy  2308    826867        90      8010         0     38289     56070    499730     25.13     26.52  --
548.45/137.40	c  N dy  2401    847746        90      8010         0     57695     56070   1075307     25.15     26.56  --
566.42/142.00	c  N dy  2419    876756        90      8010         0     47522     56070    745517     25.09     26.65  --
581.59/145.77	c  N dy  2503    896762        90      8010         0     66088     56070   1293608     25.10     26.73  --
598.35/150.00	c  N dy  2611    917884        90      8010         0     47816     56070    742105     25.13     26.50  --
614.72/154.03	c  N dy  2702    938409        90      8010         0     66818     56070   1306449     25.14     26.48  --
631.88/158.38	c  N dy  2798    959750        90      8010         0     47756     56070    720581     25.16     26.55  --
646.65/162.08	c  N dy  2863    979769        90      8010         0     66309     56070   1268297     25.17     26.58  --
662.62/166.06	c  N dy  2901   1000579        90      8010         0     45729     56070    636749     25.15     26.63  --
681.01/170.71	c  N dy  2975   1026330        90      8010         0     69484     56070   1334873     25.15     26.48  --
699.34/175.20	c  N dy  2997   1051398        90      8010         0     51837     56070    796433     25.13     26.56  --
712.91/178.63	c  N dy  3025   1071474        90      8010         0     70305     56070   1336889     25.10     28.14  --
713.31/178.75	c  F st  3029   1071877        90      8010         0     70681     56070   1348487     25.11   no data  --
728.89/182.64	c  N dy  3081   1091489        90      8010         0     47330     56070    654958     25.11     27.16  --
750.44/188.06	c  N dy  3202   1120591        90      8010         0     74106     56070   1445472     25.11     26.48  --
772.39/193.57	c  N dy  3228   1149429        90      8010         0     58091     56070    942470     25.07     26.55  --
792.75/198.65	c  N dy  3311   1169653        90      8010         0     76847     56070   1499151     25.08     26.43  --
815.10/204.22	c  N dy  3422   1190167        90      8010         0     52565     56070    776222     25.10     26.69  --
833.47/208.84	c  S st  3503   1209860        90      8010         0     70781     56070   1316876     25.11     25.17  --
834.27/209.05	c  S st  3503   1210364        90      8010         0     71256     56070   1330988     25.11   no data  --
834.27/209.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
834.27/209.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
834.27/209.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
834.68/209.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
834.68/209.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
834.68/209.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
834.68/209.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
929.68/232.96	c lits-rem:      2723  cl-subs:     4707  v-elim:      0  v-fix:    0  time: 95.03 s
929.68/232.96	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
929.68/232.97	c vivif2 --  cl tried    66549 cl shrink        0 lits rem          0 time: 0.06
931.29/233.34	c asymm  cl-useful: 0/890/8010 lits-rem:0 time: 1.44
931.29/233.34	c calculated reachability. Time: 0.00
931.29/233.34	c  N dy  3503   1210364        90      8010         0     66549     56070   1177610     25.11   no data  --
955.62/239.46	c  N dy  3627   1230448        90      8010         0     85236     56070   1737450     25.13     26.48  --
973.58/243.93	c  N dy  3719   1252585        90      8010         0     61502     56070   1018207     25.14     26.48  --
999.54/250.42	c  N dy  3802   1275314        90      8010         0     82489     56070   1639149     25.15     26.48  --
1103.72/276.51	c  N dy  3803   1389690        90      8010         0     48980     56070    598947     24.89     26.35  --
1120.11/280.63	c  N dy  3916   1409706        90      8010         0     67484     56070   1148619     24.91     28.69  --
1140.85/285.86	c  N dy  4002   1429729        90      8010         0     86061     56070   1696495     24.92     26.38  --
1163.20/291.46	c  N dy  4140   1449857        90      8010         0     56983     56070    816012     24.95     26.38  --
1182.76/296.36	c  N dy  4281   1469930        90      8010         0     75604     56070   1373744     24.97     26.46  --
1207.11/302.49	c  N dy  4384   1490171        90      8010         0     94364     56070   1929605     24.98     26.49  --
1227.47/307.53	c  N dy  4512   1511696        90      8010         0     65369     56070   1042085     25.00     26.54  --
1249.02/312.95	c  N dy  4638   1531740        90      8010         0     83926     56070   1597577     25.02     28.36  --
1273.80/319.19	c  N dy  4722   1553018        90      8010         0     53708     56070    673206     25.03     26.51  --
1290.94/323.41	c  N dy  4749   1576066        90      8010         0     74945     56070   1290466     25.02     26.73  --
1315.29/329.54	c  N dy  4863   1596090        90      8010         0     93533     56070   1843828     25.03     26.43  --
1337.24/335.00	c  N dy  4969   1616260        90      8010         0     61422     56070    886796     25.04     26.62  --
1358.00/340.21	c  N dy  5093   1636298        90      8010         0     79987     56070   1440080     25.06     27.82  --
1382.75/346.45	c  N dy  5196   1656395        90      8010         0     98622     56070   1996738     25.07     28.52  --
1405.53/352.19	c  N dy  5313   1676444        90      8010         0     65371     56070    983338     25.09     26.51  --
1427.49/357.63	c  N dy  5423   1696463        90      8010         0     83902     56070   1534288     25.10     27.79  --
1445.05/362.03	c  S st  5497   1710364        90      8010         0     96738     56070   1917022     25.11     24.85  --
1445.82/362.29	c  S st  5497   1710869        90      8010         0     97207     56070   1931559     25.11   no data  --
1446.22/362.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1446.22/362.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1446.22/362.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
1446.62/362.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1446.62/362.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1446.62/362.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1446.62/362.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1898.90/475.73	c lits-rem:      6169  cl-subs:     7441  v-elim:      0  v-fix:    0  time: 452.10 s
1898.90/475.74	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1898.90/475.76	c vivif2 --  cl tried    89766 cl shrink        0 lits rem          0 time: 0.08
1900.50/476.11	c asymm  cl-useful: 0/645/8010 lits-rem:0 time: 1.42
1900.50/476.11	c calculated reachability. Time: 0.00
1900.50/476.11	c  N dy  5497   1710869        90      8010         0     89766     56070   1685056     25.11   no data  --
1922.46/481.63	c  N dy  5531   1734544        90      8010         0     59092     56070    775365     25.09     26.42  --
1941.24/486.33	c  N dy  5599   1755760        90      8010         0     78673     56070   1352815     25.09     26.42  --
1962.78/491.79	c  N dy  5654   1775871        90      8010         0     97160     56070   1896413     25.09     26.42  --
1986.73/497.76	c  N dy  5754   1795873        90      8010         0     62239     56070    854997     25.10     28.12  --
2021.85/506.60	c  N dy  5785   1834972        90      8010         0     97933     56070   1876140     25.06     26.53  --
2045.41/512.40	c  N dy  5840   1855052        90      8010         0     62223     56070    838196     25.06     27.63  --
2068.16/518.18	c  N dy  5986   1875129        90      8010         0     80840     56070   1399259     25.08     27.01  --
2092.92/524.32	c  N dy  6059   1895770        90      8010         0     99903     56070   1963168     25.09     26.46  --
2117.66/530.52	c  N dy  6161   1916053        90      8010         0     63348     56070    858092     25.10     26.45  --
2139.25/535.97	c  N dy  6240   1936069        90      8010         0     81823     56070   1405072     25.10     29.53  --
2165.19/542.51	c  N dy  6320   1956114        90      8010         0    100364     56070   1952912     25.11     28.68  --
2193.10/549.47	c  N dy  6416   1977156        90      8010         0     63523     56070    840352     25.12     26.44  --
2215.06/554.96	c  N dy  6475   2000748        90      8010         0     85294     56070   1478112     25.11     26.44  --
2240.25/561.22	c  N dy  6535   2020774        90      8010         0    103707     56070   2023631     25.11     28.87  --
2270.58/568.88	c  N dy  6571   2051945        90      8010         0     75045     56070   1150311     25.10     26.52  --
2294.10/574.78	c  N dy  6614   2075241        90      8010         0     96450     56070   1776350     25.09     26.75  --
2325.64/582.60	c  N dy  6711   2095250        90      8010         0    115022     56070   2328657     25.10     26.49  --
2348.40/588.33	c  N dy  6860   2115254        90      8010         0     75601     56070   1170172     25.12     28.00  --
2375.96/595.25	c  N dy  6965   2135321        90      8010         0     94171     56070   1725346     25.13     27.75  --
2405.08/602.53	c  N dy  7036   2155377        90      8010         0    112688     56070   2272956     25.13     27.56  --
2433.45/609.63	c  N dy  7181   2179246        90      8010         0     75768     56070   1152923     25.15     26.56  --
2455.41/615.17	c  N dy  7252   2199497        90      8010         0     94425     56070   1704181     25.15     26.51  --
2473.34/619.67	c  S st  7346   2210869        90      8010         0    104965     56070   2023979     25.16   no data  --
2474.54/619.96	c  S st  7346   2211373        90      8010         0    105444     56070   2038664     25.16   no data  --
2474.54/619.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2474.54/619.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2474.94/620.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.22
2474.94/620.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2474.94/620.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2474.94/620.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2474.94/620.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2985.90/748.01	c lits-rem:      4469  cl-subs:     7902  v-elim:      0  v-fix:    0  time: 510.46 s
2985.90/748.01	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2985.90/748.03	c vivif2 --  cl tried    97542 cl shrink        0 lits rem          0 time: 0.09
2987.49/748.40	c asymm  cl-useful: 0/556/8010 lits-rem:0 time: 1.49
2987.49/748.41	c calculated reachability. Time: 0.00
2987.49/748.41	c  N dy  7346   2211373        90      8010         0     97542     56070   1781492     25.16   no data  --
3017.84/756.08	c  N dy  7409   2232467        90      8010         0    117062     56070   2359372     25.16     26.49  --
3042.19/762.17	c  N dy  7515   2255058        90      8010         0     78145     56070   1203359     25.17     26.67  --
3083.70/772.58	c  N dy  7585   2290034        90      8010         0    110239     56070   2139349     25.16     26.51  --
3114.08/780.13	c  N dy  7691   2310077        90      8010         0     68033     56070    881377     25.17     26.56  --
3137.60/786.07	c  N dy  7804   2330123        90      8010         0     86641     56070   1438421     25.18     28.36  --
3167.53/793.59	c  N dy  7886   2350182        90      8010         0    105154     56070   1987705     25.19     28.16  --
3211.44/804.57	c  N dy  7971   2382181        90      8010         0     72764     56070    997747     25.19     26.68  --
3233.80/810.14	c  N dy  8063   2402242        90      8010         0     91336     56070   1549206     25.19     27.89  --
3257.75/816.17	c  N dy  8097   2422298        90      8010         0    109695     56070   2087107     25.18     26.55  --
3289.31/824.04	c  N dy  8184   2442387        90      8010         0     65614     56070    772972     25.19     26.53  --
3307.64/828.60	c  N dy  8224   2462885        90      8010         0     84395     56070   1322520     25.18     26.73  --
3331.21/834.55	c  N dy  8283   2483144        90      8010         0    103117     56070   1876481     25.18     26.58  --
3363.54/842.63	c  N dy  8368   2503188        90      8010         0    121680     56070   2429651     25.19     29.00  --
3386.69/848.45	c  N dy  8438   2523211        90      8010         0     76518     56070   1077778     25.19     28.38  --
3411.84/854.75	c  N dy  8554   2543290        90      8010         0     95127     56070   1634350     25.20     26.54  --
3488.88/874.09	c  N dy  8625   2619101        90      8010         0     99893     56070   1709326     25.14     26.53  --
3525.21/883.16	c  N dy  8732   2643005        90      8010         0    121999     56070   2366520     25.15     26.74  --
3554.35/890.48	c  N dy  8801   2663052        90      8010         0     75226     56070   1003541     25.15     28.44  --
3585.09/898.15	c  N dy  8921   2683136        90      8010         0     93816     56070   1563259     25.16     28.36  --
3618.23/906.47	c  N dy  9000   2703489        90      8010         0    112623     56070   2121042     25.17     26.50  --
3632.60/910.02	c  S st  9023   2711373        90      8010         0    119891     56070   2335891     25.17   no data  --
3634.19/910.45	c  S st  9023   2711875        90      8010         0    120359     56070   2350079     25.17   no data  --
3634.19/910.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3634.19/910.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3634.59/910.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.30
3634.99/910.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3634.99/910.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3634.99/910.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3634.99/910.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4759.03/1192.23	c lits-rem:      9134  cl-subs:    10038  v-elim:      0  v-fix:    0  time: 1124.01 s
4759.03/1192.23	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
4759.03/1192.26	c vivif2 --  cl tried   110321 cl shrink        0 lits rem          0 time: 0.10
4760.65/1192.64	c asymm  cl-useful: 0/498/8010 lits-rem:0 time: 1.52
4760.65/1192.65	c calculated reachability. Time: 0.00
4760.65/1192.65	c  N dy  9023   2711875        90      8010         0    110321     56070   2026332     25.17   no data  --
4794.95/1201.27	c  N dy  9100   2732268        90      8010         0    129202     56070   2587177     25.17     26.63  --

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-3368694-1305400875/watcher-3368694-1305400875 -o /tmp/evaluation-result-3368694-1305400875/solver-3368694-1305400875 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368694-1305400875.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.64 8.07 8.07 2/248 12675
/proc/meminfo: memFree=21749296/32951124 swapFree=67056788/67111528
[pid=12675] ppid=12673 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 412 0 0 0 0 0 0 0 18 0 4 0 651685430 52465664 352 33554432000 4194304 4650419 140734853558352 18446744073709551615 47860422018994 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 12809 352 303 112 0 7774 0
[pid=12675/tid=12676] ppid=12673 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 651685430 52465664 352 33554432000 4194304 4650419 140734853558352 18446744073709551615 271550594033 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 651685430 52465664 352 33554432000 4194304 4650419 140734853558352 18446744073709551615 47860422018994 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 651685430 52465664 352 33554432000 4194304 4650419 140734853558352 18446744073709551615 47860422018984 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.200868 s]
/proc/loadavg: 7.64 8.07 8.07 2/248 12675
/proc/meminfo: memFree=21749296/32951124 swapFree=67056788/67111528
[pid=12675] ppid=12673 vsize=284588 CPUtime=0.77 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 2460 0 0 0 77 0 0 0 18 0 4 0 651685430 291418112 1878 33554432000 4194304 4650419 140734853558352 18446744073709551615 4370701 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 71147 1878 378 112 0 66112 0
[pid=12675/tid=12676] ppid=12673 vsize=284588 CPUtime=0.18 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 392 0 0 0 18 0 0 0 18 0 4 0 651685430 291418112 1878 33554432000 4194304 4650419 140734853558352 18446744073709551615 271550563434 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=284588 CPUtime=0.19 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) D 12673 12675 12464 0 -1 4202560 496 0 0 0 19 0 0 0 18 0 4 0 651685430 291418112 1878 33554432000 4194304 4650419 140734853558352 18446744073709551615 271550580919 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=284588 CPUtime=0.19 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 733 0 0 0 19 0 0 0 18 0 4 0 651685430 291418112 1878 33554432000 4194304 4650419 140734853558352 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284588

[startup+0.301225 s]
/proc/loadavg: 7.64 8.07 8.07 2/248 12675
/proc/meminfo: memFree=21749296/32951124 swapFree=67056788/67111528
[pid=12675] ppid=12673 vsize=286544 CPUtime=1.17 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 4123 0 0 0 117 0 0 0 18 0 4 0 651685430 293421056 3472 33554432000 4194304 4650419 140734853558352 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 71636 3472 390 112 0 66601 0
[pid=12675/tid=12676] ppid=12673 vsize=286544 CPUtime=0.28 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 947 0 0 0 28 0 0 0 18 0 4 0 651685430 293421056 3472 33554432000 4194304 4650419 140734853558352 18446744073709551615 4315116 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=286544 CPUtime=0.29 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 970 0 0 0 29 0 0 0 18 0 4 0 651685430 293421056 3472 33554432000 4194304 4650419 140734853558352 18446744073709551615 4366841 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=286544 CPUtime=0.29 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 813 0 0 0 29 0 0 0 18 0 4 0 651685430 293421056 3473 33554432000 4194304 4650419 140734853558352 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 286544

[startup+0.401206 s]
/proc/loadavg: 7.64 8.07 8.07 2/248 12675
/proc/meminfo: memFree=21749296/32951124 swapFree=67056788/67111528
[pid=12675] ppid=12673 vsize=286848 CPUtime=1.57 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 4617 0 0 0 157 0 0 0 18 0 4 0 651685430 293732352 3735 33554432000 4194304 4650419 140734853558352 18446744073709551615 4367518 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 71712 3735 390 112 0 66677 0
[pid=12675/tid=12676] ppid=12673 vsize=286848 CPUtime=0.38 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 1027 0 0 0 38 0 0 0 18 0 4 0 651685430 293732352 3735 33554432000 4194304 4650419 140734853558352 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=286848 CPUtime=0.39 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 1223 0 0 0 39 0 0 0 18 0 4 0 651685430 293732352 3735 33554432000 4194304 4650419 140734853558352 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=286848 CPUtime=0.39 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 882 0 0 0 39 0 0 0 18 0 4 0 651685430 293732352 3735 33554432000 4194304 4650419 140734853558352 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 286848

[startup+0.701152 s]
/proc/loadavg: 7.64 8.07 8.07 2/248 12675
/proc/meminfo: memFree=21749296/32951124 swapFree=67056788/67111528
[pid=12675] ppid=12673 vsize=288156 CPUtime=2.77 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 6658 0 0 0 277 0 0 0 18 0 4 0 651685430 295071744 4038 33554432000 4194304 4650419 140734853558352 18446744073709551615 4315038 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 72039 4039 390 112 0 67004 0
[pid=12675/tid=12676] ppid=12673 vsize=288156 CPUtime=0.68 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 1603 0 0 0 68 0 0 0 18 0 4 0 651685430 295071744 4039 33554432000 4194304 4650419 140734853558352 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=288156 CPUtime=0.69 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 1674 0 0 0 69 0 0 0 18 0 4 0 651685430 295071744 4039 33554432000 4194304 4650419 140734853558352 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=288156 CPUtime=0.69 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 1293 0 0 0 69 0 0 0 18 0 4 0 651685430 295071744 4039 33554432000 4194304 4650419 140734853558352 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 288156

[startup+1.50101 s]
/proc/loadavg: 7.64 8.07 8.07 11/257 12709
/proc/meminfo: memFree=21725840/32951124 swapFree=67056788/67111528
[pid=12675] ppid=12673 vsize=289600 CPUtime=5.96 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 10896 0 0 0 595 1 0 0 19 0 4 0 651685430 296550400 4913 33554432000 4194304 4650419 140734853558352 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 72400 4913 391 112 0 67365 0
[pid=12675/tid=12676] ppid=12673 vsize=289600 CPUtime=1.47 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 2713 0 0 0 147 0 0 0 20 0 4 0 651685430 296550400 4913 33554432000 4194304 4650419 140734853558352 18446744073709551615 4333069 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=289600 CPUtime=1.49 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 2725 0 0 0 149 0 0 0 20 0 4 0 651685430 296550400 4913 33554432000 4194304 4650419 140734853558352 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=289600 CPUtime=1.49 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 2266 0 0 0 149 0 0 0 19 0 4 0 651685430 296550400 4913 33554432000 4194304 4650419 140734853558352 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 289600

[startup+3.10072 s]
/proc/loadavg: 7.64 8.07 8.07 9/257 12709
/proc/meminfo: memFree=21685664/32951124 swapFree=67056788/67111528
[pid=12675] ppid=12673 vsize=295572 CPUtime=12.34 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 20617 0 0 0 1232 2 0 0 23 0 4 0 651685430 302665728 12516 33554432000 4194304 4650419 140734853558352 18446744073709551615 4370637 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 73893 12516 392 112 0 68858 0
[pid=12675/tid=12676] ppid=12673 vsize=295572 CPUtime=3.06 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 4504 0 0 0 306 0 0 0 25 0 4 0 651685430 302665728 12516 33554432000 4194304 4650419 140734853558352 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=295572 CPUtime=3.08 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 5667 0 0 0 308 0 0 0 25 0 4 0 651685430 302665728 12516 33554432000 4194304 4650419 140734853558352 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=295572 CPUtime=3.08 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 5524 0 0 0 308 0 0 0 25 0 4 0 651685430 302665728 12516 33554432000 4194304 4650419 140734853558352 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 295572

[startup+6.30114 s]
/proc/loadavg: 7.67 8.07 8.07 9/257 12710
/proc/meminfo: memFree=21649952/32951124 swapFree=67056788/67111528
[pid=12675] ppid=12673 vsize=296124 CPUtime=25.12 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 30104 0 0 0 2508 4 0 0 25 0 4 0 651685430 303230976 16149 33554432000 4194304 4650419 140734853558352 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 74031 16149 392 112 0 68996 0
[pid=12675/tid=12676] ppid=12673 vsize=296124 CPUtime=6.23 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 8075 0 0 0 623 0 0 0 25 0 4 0 651685430 303230976 16149 33554432000 4194304 4650419 140734853558352 18446744073709551615 4476812 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=296124 CPUtime=6.28 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 7818 0 0 0 627 1 0 0 25 0 4 0 651685430 303230976 16149 33554432000 4194304 4650419 140734853558352 18446744073709551615 4331978 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=296124 CPUtime=6.29 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 7679 0 0 0 628 1 0 0 25 0 4 0 651685430 303230976 16149 33554432000 4194304 4650419 140734853558352 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 296124

[startup+12.701 s]
/proc/loadavg: 7.69 8.07 8.07 10/257 12710
/proc/meminfo: memFree=21608064/32951124 swapFree=67056788/67111528
[pid=12675] ppid=12673 vsize=308924 CPUtime=50.67 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 45037 0 0 0 5059 8 0 0 25 0 4 0 651685430 316338176 20917 33554432000 4194304 4650419 140734853558352 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 77231 20917 392 112 0 72196 0
[pid=12675/tid=12676] ppid=12673 vsize=308924 CPUtime=12.57 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 10744 0 0 0 1256 1 0 0 25 0 4 0 651685430 316338176 20917 33554432000 4194304 4650419 140734853558352 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=308924 CPUtime=12.68 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 12109 0 0 0 1266 2 0 0 25 0 4 0 651685430 316338176 20917 33554432000 4194304 4650419 140734853558352 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=308924 CPUtime=12.68 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 11904 0 0 0 1267 1 0 0 25 0 4 0 651685430 316338176 20917 33554432000 4194304 4650419 140734853558352 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 308924

[startup+25.5097 s]
/proc/loadavg: 7.76 8.06 8.07 10/257 12710
/proc/meminfo: memFree=21556092/32951124 swapFree=67056788/67111528
[pid=12675] ppid=12673 vsize=308304 CPUtime=101.79 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 70183 0 0 0 10166 13 0 0 25 0 4 0 651685430 315703296 28394 33554432000 4194304 4650419 140734853558352 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 77076 28394 392 112 0 72041 0
[pid=12675/tid=12676] ppid=12673 vsize=308304 CPUtime=25.28 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 17553 0 0 0 2525 3 0 0 25 0 4 0 651685430 315703296 28394 33554432000 4194304 4650419 140734853558352 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=308304 CPUtime=25.49 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 18110 0 0 0 2546 3 0 0 25 0 4 0 651685430 315703296 28394 33554432000 4194304 4650419 140734853558352 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=308304 CPUtime=25.5 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 18654 0 0 0 2547 3 0 0 25 0 4 0 651685430 315703296 28394 33554432000 4194304 4650419 140734853558352 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 308304

[startup+51.101 s]
/proc/loadavg: 7.95 8.09 8.08 10/257 12711
/proc/meminfo: memFree=21509868/32951124 swapFree=67056788/67111528
[pid=12675] ppid=12673 vsize=309012 CPUtime=203.95 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 102728 0 0 0 20373 22 0 0 25 0 4 0 651685430 316428288 34690 33554432000 4194304 4650419 140734853558352 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 77253 34690 392 112 0 72218 0
[pid=12675/tid=12676] ppid=12673 vsize=309012 CPUtime=50.66 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 25297 0 0 0 5060 6 0 0 25 0 4 0 651685430 316428288 34690 33554432000 4194304 4650419 140734853558352 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=309012 CPUtime=51.08 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 28010 0 0 0 5103 5 0 0 25 0 4 0 651685430 316428288 34690 33554432000 4194304 4650419 140734853558352 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=309012 CPUtime=51.09 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 26055 0 0 0 5104 5 0 0 25 0 4 0 651685430 316428288 34690 33554432000 4194304 4650419 140734853558352 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 309012

[startup+102.301 s]
/proc/loadavg: 8.10 8.10 8.08 9/257 12712
/proc/meminfo: memFree=21458860/32951124 swapFree=67056788/67111528
[pid=12675] ppid=12673 vsize=332524 CPUtime=408.34 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 157542 0 0 0 40793 41 0 0 25 0 4 0 651685430 340504576 39775 33554432000 4194304 4650419 140734853558352 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 83131 39775 392 112 0 78096 0
[pid=12675/tid=12676] ppid=12673 vsize=332524 CPUtime=101.45 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 40508 0 0 0 10134 11 0 0 25 0 4 0 651685430 340504576 39775 33554432000 4194304 4650419 140734853558352 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=332524 CPUtime=102.28 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 42323 0 0 0 10217 11 0 0 25 0 4 0 651685430 340504576 39775 33554432000 4194304 4650419 140734853558352 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=332524 CPUtime=102.29 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 38153 0 0 0 10220 9 0 0 25 0 4 0 651685430 340504576 39775 33554432000 4194304 4650419 140734853558352 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.34
Current children cumulated vsize (KiB) 332524

[startup+162.301 s]

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

[pid=12675] ppid=12673 vsize=531528 CPUtime=2803.47 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 469178 0 0 0 280166 181 0 0 25 0 4 0 651685430 544284672 85169 33554432000 4194304 4650419 140734853558352 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 132882 85169 392 112 0 127847 0
[pid=12675/tid=12676] ppid=12673 vsize=531528 CPUtime=696.56 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 114320 0 0 0 69609 47 0 0 25 0 4 0 651685430 544284672 85169 33554432000 4194304 4650419 140734853558352 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=531528 CPUtime=702.29 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 116712 0 0 0 70181 48 0 0 25 0 4 0 651685430 544284672 85169 33554432000 4194304 4650419 140734853558352 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=531528 CPUtime=702.3 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 117878 0 0 0 70183 47 0 0 25 0 4 0 651685430 544284672 85169 33554432000 4194304 4650419 140734853558352 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2803.47
Current children cumulated vsize (KiB) 531528

[startup+762.301 s]
/proc/loadavg: 8.24 8.19 8.13 9/257 12730
/proc/meminfo: memFree=21120604/32951124 swapFree=67056788/67111528
[pid=12675] ppid=12673 vsize=518716 CPUtime=3042.99 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 493256 0 0 0 304110 189 0 0 25 0 4 0 651685430 531165184 83880 33554432000 4194304 4650419 140734853558352 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 129679 83880 392 112 0 124644 0
[pid=12675/tid=12676] ppid=12673 vsize=518716 CPUtime=756.07 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 114677 0 0 0 75560 47 0 0 25 0 4 0 651685430 531165184 83880 33554432000 4194304 4650419 140734853558352 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=518716 CPUtime=762.29 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 121794 0 0 0 76179 50 0 0 25 0 4 0 651685430 531165184 83880 33554432000 4194304 4650419 140734853558352 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=518716 CPUtime=762.31 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 122890 0 0 0 76179 52 0 0 25 0 4 0 651685430 531165184 83880 33554432000 4194304 4650419 140734853558352 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3042.99
Current children cumulated vsize (KiB) 518716

[startup+822.301 s]
/proc/loadavg: 8.14 8.17 8.12 9/257 12731
/proc/meminfo: memFree=21089816/32951124 swapFree=67056788/67111528
[pid=12675] ppid=12673 vsize=531936 CPUtime=3282.5 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 512645 0 0 0 328049 201 0 0 25 0 4 0 651685430 544702464 87297 33554432000 4194304 4650419 140734853558352 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 132984 87297 392 112 0 127949 0
[pid=12675/tid=12676] ppid=12673 vsize=531936 CPUtime=815.59 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 117240 0 0 0 81510 49 0 0 25 0 4 0 651685430 544702464 87297 33554432000 4194304 4650419 140734853558352 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=531936 CPUtime=822.29 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 127601 0 0 0 82176 53 0 0 25 0 4 0 651685430 544702464 87297 33554432000 4194304 4650419 140734853558352 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=531936 CPUtime=822.31 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 126452 0 0 0 82176 55 0 0 25 0 4 0 651685430 544702464 87297 33554432000 4194304 4650419 140734853558352 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3282.5
Current children cumulated vsize (KiB) 531936

[startup+882.3 s]
/proc/loadavg: 8.12 8.15 8.11 9/257 12733
/proc/meminfo: memFree=21045480/32951124 swapFree=67056788/67111528
[pid=12675] ppid=12673 vsize=597772 CPUtime=3522.04 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 539020 0 0 0 351991 213 0 0 25 0 4 0 651685430 612118528 90521 33554432000 4194304 4650419 140734853558352 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 149443 90521 392 112 0 144408 0
[pid=12675/tid=12676] ppid=12673 vsize=597772 CPUtime=875.11 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 124093 0 0 0 87458 53 0 0 25 0 4 0 651685430 612118528 90522 33554432000 4194304 4650419 140734853558352 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=597772 CPUtime=882.3 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 131746 0 0 0 88175 55 0 0 25 0 4 0 651685430 612118528 90522 33554432000 4194304 4650419 140734853558352 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=597772 CPUtime=882.32 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 132548 0 0 0 88175 57 0 0 25 0 4 0 651685430 612118528 90522 33554432000 4194304 4650419 140734853558352 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3522.04
Current children cumulated vsize (KiB) 597772

[startup+942.3 s]
/proc/loadavg: 8.17 8.15 8.11 9/257 12734
/proc/meminfo: memFree=20997812/32951124 swapFree=67056788/67111528
[pid=12675] ppid=12673 vsize=611108 CPUtime=3761.53 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 554741 0 0 0 375933 220 0 0 25 0 4 0 651685430 625774592 102484 33554432000 4194304 4650419 140734853558352 18446744073709551615 4438399 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 152777 102484 392 112 0 147742 0
[pid=12675/tid=12676] ppid=12673 vsize=611108 CPUtime=934.61 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 127928 0 0 0 93407 54 0 0 25 0 4 0 651685430 625774592 102484 33554432000 4194304 4650419 140734853558352 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=611108 CPUtime=942.29 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 134461 0 0 0 94172 57 0 0 25 0 4 0 651685430 625774592 102484 33554432000 4194304 4650419 140734853558352 18446744073709551615 4327576 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=611108 CPUtime=942.31 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 135425 0 0 0 94173 58 0 0 25 0 4 0 651685430 625774592 102484 33554432000 4194304 4650419 140734853558352 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3761.53
Current children cumulated vsize (KiB) 611108

[startup+1002.31 s]
/proc/loadavg: 8.23 8.17 8.12 9/257 12736
/proc/meminfo: memFree=20993068/32951124 swapFree=67056788/67111528
[pid=12675] ppid=12673 vsize=611136 CPUtime=4001.08 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 562467 0 0 0 399885 223 0 0 25 0 4 0 651685430 625803264 102885 33554432000 4194304 4650419 140734853558352 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 152784 102885 392 112 0 147749 0
[pid=12675/tid=12676] ppid=12673 vsize=611136 CPUtime=994.12 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 127928 0 0 0 99358 54 0 0 25 0 4 0 651685430 625803264 102885 33554432000 4194304 4650419 140734853558352 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=611136 CPUtime=1002.3 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 139228 0 0 0 100171 59 0 0 25 0 4 0 651685430 625803264 102885 33554432000 4194304 4650419 140734853558352 18446744073709551615 4433090 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=611136 CPUtime=1002.33 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 135426 0 0 0 100175 58 0 0 25 0 4 0 651685430 625803264 102885 33554432000 4194304 4650419 140734853558352 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4001.08
Current children cumulated vsize (KiB) 611136

[startup+1062.3 s]
/proc/loadavg: 8.20 8.17 8.12 9/257 12738
/proc/meminfo: memFree=21013240/32951124 swapFree=67056788/67111528
[pid=12675] ppid=12673 vsize=611136 CPUtime=4240.52 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 570615 0 0 0 423828 224 0 0 25 0 4 0 651685430 625803264 102318 33554432000 4194304 4650419 140734853558352 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 152784 102318 392 112 0 147749 0
[pid=12675/tid=12676] ppid=12673 vsize=611136 CPUtime=1053.6 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 127928 0 0 0 105305 55 0 0 25 0 4 0 651685430 625803264 102318 33554432000 4194304 4650419 140734853558352 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=611136 CPUtime=1062.29 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 140076 0 0 0 106170 59 0 0 25 0 4 0 651685430 625803264 102318 33554432000 4194304 4650419 140734853558352 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=611136 CPUtime=1062.32 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 136115 0 0 0 106174 58 0 0 25 0 4 0 651685430 625803264 102318 33554432000 4194304 4650419 140734853558352 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4240.52
Current children cumulated vsize (KiB) 611136

[startup+1122.3 s]
/proc/loadavg: 8.18 8.17 8.11 9/257 12739
/proc/meminfo: memFree=20963468/32951124 swapFree=67056788/67111528
[pid=12675] ppid=12673 vsize=611136 CPUtime=4479.99 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 580615 0 0 0 447773 226 0 0 25 0 4 0 651685430 625803264 102240 33554432000 4194304 4650419 140734853558352 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 152784 102240 392 112 0 147749 0
[pid=12675/tid=12676] ppid=12673 vsize=611136 CPUtime=1113.07 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 127928 0 0 0 111252 55 0 0 25 0 4 0 651685430 625803264 102240 33554432000 4194304 4650419 140734853558352 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=611136 CPUtime=1122.29 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 140805 0 0 0 112170 59 0 0 25 0 4 0 651685430 625803264 102240 33554432000 4194304 4650419 140734853558352 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=611136 CPUtime=1122.32 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 137320 0 0 0 112174 58 0 0 25 0 4 0 651685430 625803264 102240 33554432000 4194304 4650419 140734853558352 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4479.99
Current children cumulated vsize (KiB) 611136

[startup+1182.3 s]
/proc/loadavg: 8.16 8.16 8.11 10/257 12741
/proc/meminfo: memFree=20965164/32951124 swapFree=67056788/67111528
[pid=12675] ppid=12673 vsize=611196 CPUtime=4719.5 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 594055 0 0 0 471719 231 0 0 25 0 4 0 651685430 625864704 102378 33554432000 4194304 4650419 140734853558352 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 152799 102378 392 112 0 147764 0
[pid=12675/tid=12676] ppid=12673 vsize=611196 CPUtime=1172.58 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 127959 0 0 0 117203 55 0 0 25 0 4 0 651685430 625864704 102378 33554432000 4194304 4650419 140734853558352 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=611196 CPUtime=1182.3 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 141408 0 0 0 118170 60 0 0 25 0 4 0 651685430 625864704 102378 33554432000 4194304 4650419 140734853558352 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=611196 CPUtime=1182.32 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 141546 0 0 0 118171 61 0 0 25 0 4 0 651685430 625864704 102378 33554432000 4194304 4650419 140734853558352 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4719.5
Current children cumulated vsize (KiB) 611196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.51 s]
/proc/loadavg: 8.12 8.15 8.11 9/257 12741
/proc/meminfo: memFree=20969000/32951124 swapFree=67056788/67111528
[pid=12675] ppid=12673 vsize=662852 CPUtime=4800.19 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 604162 0 0 0 479783 236 0 0 25 0 4 0 651685430 678760448 99424 33554432000 4194304 4650419 140734853558352 18446744073709551615 4313071 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 165713 99424 392 112 0 160678 0
[pid=12675/tid=12676] ppid=12673 vsize=662852 CPUtime=1192.61 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 130280 0 0 0 119205 56 0 0 25 0 4 0 651685430 678760448 99426 33554432000 4194304 4650419 140734853558352 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=662852 CPUtime=1202.52 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 143710 0 0 0 120190 62 0 0 25 0 4 0 651685430 678760448 99426 33554432000 4194304 4650419 140734853558352 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=662852 CPUtime=1202.54 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 144143 0 0 0 120192 62 0 0 25 0 4 0 651685430 678760448 99426 33554432000 4194304 4650419 140734853558352 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 662852

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

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

[startup+1202.51 s]
/proc/loadavg: 8.12 8.15 8.11 9/257 12741
/proc/meminfo: memFree=20969000/32951124 swapFree=67056788/67111528
[pid=12675] ppid=12673 vsize=662852 CPUtime=4800.19 cores=1,3,5,7
/proc/12675/stat : 12675 (strangenight1-m) R 12673 12675 12464 0 -1 4202496 604162 0 0 0 479783 236 0 0 25 0 4 0 651685430 678760448 99424 33554432000 4194304 4650419 140734853558352 18446744073709551615 4313071 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/12675/statm: 165713 99424 392 112 0 160678 0
[pid=12675/tid=12676] ppid=12673 vsize=662852 CPUtime=1192.61 cores=1,3,5,7
/proc/12675/task/12676/stat : 12676 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 130280 0 0 0 119205 56 0 0 25 0 4 0 651685430 678760448 99426 33554432000 4194304 4650419 140734853558352 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12675/tid=12677] ppid=12673 vsize=662852 CPUtime=1202.52 cores=1,3,5,7
/proc/12675/task/12677/stat : 12677 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 143710 0 0 0 120190 62 0 0 25 0 4 0 651685430 678760448 99426 33554432000 4194304 4650419 140734853558352 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12675/tid=12678] ppid=12673 vsize=662852 CPUtime=1202.54 cores=1,3,5,7
/proc/12675/task/12678/stat : 12678 (strangenight1-m) R 12673 12675 12464 0 -1 4202560 144143 0 0 0 120192 62 0 0 25 0 4 0 651685430 678760448 99426 33554432000 4194304 4650419 140734853558352 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 662852

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.54
CPU time (s): 4800.25
CPU user time (s): 4797.86
CPU system time (s): 2.38464
CPU usage (%): 399.175
Max. virtual memory (cumulated for all children) (KiB): 769024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.86
system time used= 2.38464
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 604165
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= 599
involuntary context switches= 43105

runsolver used 2.78358 second user time and 7.14591 second system time

The end

Launcher Data 

Begin job on node133 at 2011-05-14 21:21:15
IDJOB=3368694
IDBENCH=82703
IDSOLVER=1846
FILE ID=node133/3368694-1305400875
RUNJOBID= node133-1305398466-12483
PBS_JOBID= 13324488
Free space on /tmp= 73644 MiB

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

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

MD5SUM BENCH= ffd67922a8bb7c4660bea122f8a5ce0e
RANDOM SEED=25462977

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.834
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.834
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	: 6741.12
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.834
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.74
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.834
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.83
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.834
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.74
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.834
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:      21749452 kB
Buffers:        272220 kB
Cached:        3222548 kB
SwapCached:       8724 kB
Active:        8502744 kB
Inactive:      2419248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21749452 kB
SwapTotal:    67111528 kB
SwapFree:     67056788 kB
Dirty:            6236 kB
Writeback:           0 kB
AnonPages:     7424408 kB
Mapped:          21176 kB
Slab:           194760 kB
PageTables:      23100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 19230668 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73640 MiB
End job on node133 at 2011-05-14 21:41:20