Trace number 3369004

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.24 1202.84

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S271997978-024.SATISFIABLE.cnf
MD5SUMf2a33b1c7727ae45658e5fd83ad755d2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.843871
Satisfiable
(Un)Satisfiability was proved
Number of variables90
Number of clauses8010
Sum of the clauses size56070
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 58010

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369004-1305410075.cnf'
0.00/0.01	c -- header says num vars:             90
0.00/0.01	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.40/0.19	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.73
0.78/0.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
1.57/0.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.57/0.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.57/0.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1.57/0.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.57/0.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
1.57/0.40	c Finding binary XORs  T:     0.00 s  found:       0
1.57/0.40	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
1.57/0.40	c calculated reachability. Time: 0.00
1.57/0.40	c Calc default polars -  time:   0.00 s pos:      46 undec:       0 neg:      44
1.57/0.40	c =========================================================================================
1.57/0.40	c types(t): F = full restart, N = normal restart
1.57/0.40	c types(t): S = simplification begin/end, E = solution found
1.57/0.40	c restart types(rt): st = static, dy = dynamic
1.57/0.40	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.57/0.40	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
3.97/1.00	c  N dy     7      6900        90      8010         0      4044     56070    108436     25.18     26.64  --
3.97/1.00	c  N dy    10     13406        90      8010         0      6109     56070    151680     24.20     25.53  --
3.97/1.00	c  N dy    46     18297        90      8010         0      5481     56070    117815     24.83     26.42  --
4.38/1.18	c  N dy    61     22328        90      8010         0      9216     56070    227900     24.94     27.68  --
5.16/1.32	c  F st    82     25000        90      8010         0     11702     56070    301881     25.14   no data  --
5.56/1.43	c  N st    86     27037        90      8010         0      7282     56070    152945     25.14   no data  --
5.96/1.56	c  S st    88     30001        90      8010         0     10020     56070    235538     25.14   no data  --
5.96/1.59	c  S st    88     30505        90      8010         0     10505     56070    249636     25.14   no data  --
5.96/1.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
6.36/1.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
6.36/1.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.36/1.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.36/1.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
6.36/1.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.15/2.81	c lits-rem:      1463  cl-subs:      689  v-elim:      0  v-fix:    0  time:  4.79 s
12.35/3.19	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.51
12.35/3.19	c calculated reachability. Time: 0.00
12.35/3.19	c  N dy    88     30505        90      8010         0      9816     56070    225442     25.14   no data  --
15.14/3.85	c  N dy   100     42358        90      8010         0     13453     56070    314503     24.84     26.17  --
15.93/4.09	c  S st   114     45760        90      8010         0      8348     56070    150397     24.88     23.25  --
16.34/4.12	c  S st   114     46265        90      8010         0      8831     56070    164651     24.88   no data  --
16.34/4.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.34/4.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.34/4.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
16.34/4.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.34/4.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.34/4.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
16.34/4.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.93/5.02	c lits-rem:       195  cl-subs:       58  v-elim:      0  v-fix:    0  time:  3.58 s
19.93/5.03	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.93/5.03	c vivif2 --  cl tried     8773 cl shrink        0 lits rem          0 time: 0.00
21.13/5.33	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.22
21.13/5.33	c calculated reachability. Time: 0.00
21.13/5.33	c  N dy   114     46265        90      8010         0      8773     56070    162539     24.88   no data  --
21.95/5.57	c  N dy   144     50340        90      8010         0     12554     56070    274821     25.03     27.59  --
23.52/5.96	c  N dy   171     56022        90      8010         0     17827     56070    430135     25.12     26.58  --
25.52/6.43	c  N dy   189     64176        90      8010         0     16137     56070    359063     25.07     26.39  --
26.75/6.73	c  N dy   210     68269        90      8010         0     19941     56070    470861     25.12     27.65  --
27.11/6.82	c  S st   214     69398        90      8010         0     10801     56070    186559     25.13   no data  --
27.11/6.86	c  S st   214     69902        90      8010         0     11274     56070    200669     25.13   no data  --
27.11/6.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.11/6.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.11/6.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
27.11/6.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.11/6.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.11/6.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
27.11/6.87	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.13/7.87	c lits-rem:       387  cl-subs:      149  v-elim:      0  v-fix:    0  time:  3.98 s
31.13/7.87	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
31.13/7.87	c vivif2 --  cl tried    11125 cl shrink        0 lits rem          0 time: 0.01
32.70/8.23	c asymm  cl-useful: 0/7693/8010 lits-rem:0 time: 1.43
32.70/8.23	c calculated reachability. Time: 0.00
32.70/8.23	c  N dy   214     69902        90      8010         0     11125     56070    195256     25.13   no data  --
34.30/8.61	c  N dy   246     75663        90      8010         0     16493     56070    354149     25.20     26.54  --
35.52/8.99	c  N dy   254     80687        90      8010         0     21144     56070    487449     25.12     26.67  --
37.08/9.36	c  N dy   277     85915        90      8010         0     14856     56070    289361     25.16     27.47  --
37.48/9.48	c  F st   287     87501        90      8010         0     16342     56070    333501     25.18   no data  --
39.08/9.88	c  N dy   293     92696        90      8010         0     21135     56070    476078     25.18   no data  --
41.08/10.36	c  N dy   307     98642        90      8010         0     14603     56070    262639     25.17     26.51  --
43.08/10.81	c  S st   334    104854        90      8010         0     20369     56070    434245     25.22     23.03  --
43.08/10.87	c  S st   334    105356        90      8010         0     20845     56070    448425     25.22   no data  --
43.08/10.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.08/10.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.08/10.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
43.08/10.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.08/10.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.08/10.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
43.08/10.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
51.46/12.91	c lits-rem:      1812  cl-subs:     1410  v-elim:      0  v-fix:    0  time:  8.03 s
51.46/12.91	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
51.46/12.91	c vivif2 --  cl tried    19435 cl shrink        0 lits rem          0 time: 0.02
53.09/13.31	c asymm  cl-useful: 0/5300/8010 lits-rem:0 time: 1.60
53.09/13.32	c calculated reachability. Time: 0.00
53.09/13.32	c  N dy   334    105356        90      8010         0     19435     56070    401552     25.22   no data  --
57.48/14.48	c  N dy   359    120644        90      8010         0     20637     56070    415958     25.04     26.70  --
60.24/15.13	c  N dy   386    128643        90      8010         0     14174     56070    217423     25.08     26.41  --
65.42/16.45	c  N dy   411    145680        90      8010         0     15119     56070    228043     25.03     26.44  --
68.22/17.19	c  N dy   454    155386        90      8010         0     24133     56070    495021     25.07     26.56  --
69.42/17.44	c  S st   467    158034        90      8010         0     26606     56070    568827     25.09     25.05  --
69.82/17.51	c  S st   467    158541        90      8010         0     27078     56070    583020     25.09   no data  --
69.82/17.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
69.82/17.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
69.82/17.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
69.82/17.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.82/17.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.82/17.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
69.82/17.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
80.58/20.22	c lits-rem:      2271  cl-subs:     2030  v-elim:      0  v-fix:    0  time: 10.69 s
80.58/20.22	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
80.58/20.22	c vivif2 --  cl tried    25048 cl shrink        0 lits rem          0 time: 0.02
81.38/20.46	c asymm  cl-useful: 0/1926/8010 lits-rem:0 time: 0.95
81.38/20.46	c calculated reachability. Time: 0.00
81.38/20.46	c  N dy   467    158541        90      8010         0     25048     56070    515136     25.09   no data  --
85.37/21.40	c  N dy   483    169021        90      8010         0     19104     56070    327898     25.06     26.50  --
88.96/22.31	c  N dy   503    179861        90      8010         0     29143     56070    622225     25.06     26.42  --
92.95/23.36	c  N dy   557    191366        90      8010         0     23169     56070    431911     25.09     26.50  --
105.35/26.46	c  N dy   613    222163        90      8010         0     33875     56070    715695     24.98     26.30  --
111.32/27.92	c  N dy   657    237627        90      8010         0     29792     56070    586572     24.97     26.39  --
111.32/27.93	c  S st   658    237811        90      8010         0     29963     56070    591581     24.97     25.82  --
111.72/28.00	c  S st   658    238311        90      8010         0     30437     56070    605805     24.97   no data  --
111.72/28.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
111.72/28.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
111.72/28.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
111.72/28.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
111.72/28.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
111.72/28.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
111.72/28.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
123.68/31.00	c lits-rem:      2413  cl-subs:     2193  v-elim:      0  v-fix:    0  time: 11.82 s
123.68/31.00	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
123.68/31.01	c vivif2 --  cl tried    28244 cl shrink        0 lits rem          0 time: 0.02
124.09/31.10	c asymm  cl-useful: 0/784/8010 lits-rem:0 time: 0.37
124.09/31.10	c calculated reachability. Time: 0.00
124.09/31.10	c  N dy   658    238311        90      8010         0     28244     56070    536826     24.97   no data  --
130.47/32.79	c  N dy   716    254863        90      8010         0     24262     56070    407713     24.99     26.35  --
137.25/34.48	c  N dy   773    271411        90      8010         0     39575     56070    856863     25.00     26.33  --
145.64/36.53	c  N dy   862    290929        90      8010         0     37398     56070    782212     25.04     26.45  --
152.02/38.14	c  F st   911    306250        90      8010         0     30269     56070    548106     25.04     22.81  --
153.22/38.47	c  N st   916    309550        90      8010         0     33316     56070    639105     25.04   no data  --
162.83/40.84	c  N dy  1008    329548        90      8010         0     29734     56070    516614     25.10     26.45  --
172.77/43.38	c  N dy  1098    349595        90      8010         0     25135     56070    359516     25.15     26.68  --
176.00/44.11	c  S st  1118    357466        90      8010         0     32431     56070    574531     25.16     24.67  --
176.00/44.20	c  S st  1118    357969        90      8010         0     32909     56070    588859     25.16   no data  --
176.36/44.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
176.36/44.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
176.36/44.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
176.36/44.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
176.36/44.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
176.36/44.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
176.36/44.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
187.95/47.12	c lits-rem:      2307  cl-subs:     1753  v-elim:      0  v-fix:    0  time: 11.54 s
187.95/47.12	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
187.95/47.13	c vivif2 --  cl tried    31156 cl shrink        0 lits rem          0 time: 0.02
188.76/47.40	c asymm  cl-useful: 0/1984/8010 lits-rem:0 time: 1.10
188.76/47.40	c calculated reachability. Time: 0.00
188.76/47.40	c  N dy  1118    357969        90      8010         0     31156     56070    531202     25.16   no data  --
201.52/50.54	c  N dy  1174    378065        90      8010         0     25684     56070    359057     25.16     27.85  --
211.48/53.08	c  N dy  1195    398165        90      8010         0     44199     56070    897399     25.09     26.95  --
224.65/56.34	c  N dy  1285    423663        90      8010         0     42964     56070    856954     25.13     26.53  --
235.44/59.07	c  N dy  1309    447981        90      8010         0     39415     56070    730727     25.05     26.43  --
258.58/64.80	c  N dy  1356    494165        90      8010         0     54981     56070   1147514     24.88     26.21  --
269.75/67.60	c  N dy  1472    514931        90      8010         0     46764     56070    919792     24.93     26.44  --
282.52/70.84	c  N dy  1568    536380        90      8010         0     38007     56070    634410     24.97     26.38  --
282.92/70.91	c  S st  1574    536953        90      8010         0     38546     56070    650865     24.97   no data  --
283.32/71.02	c  S st  1574    537459        90      8010         0     39025     56070    665160     24.97   no data  --
283.32/71.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
283.32/71.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
283.32/71.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
283.32/71.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
283.32/71.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
283.32/71.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
283.32/71.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
298.92/74.98	c lits-rem:      2083  cl-subs:     1709  v-elim:      0  v-fix:    0  time: 15.63 s
298.92/74.98	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
298.92/74.98	c vivif2 --  cl tried    37316 cl shrink        0 lits rem          0 time: 0.03
300.08/75.21	c asymm  cl-useful: 0/1463/8010 lits-rem:0 time: 0.90
300.08/75.21	c calculated reachability. Time: 0.00
300.08/75.21	c  N dy  1574    537459        90      8010         0     37316     56070    607727     24.97   no data  --
313.25/78.50	c  N dy  1704    557501        90      8010         0     55919     56070   1161756     25.02     29.52  --
324.43/81.31	c  N dy  1789    577593        90      8010         0     44946     56070    819491     25.04     26.44  --
338.02/84.77	c  N dy  1839    599282        90      8010         0     34484     56070    490970     25.02     26.40  --
349.97/87.71	c  N dy  1929    619405        90      8010         0     53076     56070   1038509     25.04     26.50  --
365.13/91.54	c  N dy  2003    643482        90      8010         0     43892     56070    752015     25.05     26.66  --
381.92/95.72	c  N dy  2096    665028        90      8010         0     63873     56070   1344146     25.08     26.44  --
394.68/98.98	c  N dy  2187    687260        90      8010         0     52085     56070    977131     25.09     26.43  --
414.22/103.86	c  N dy  2289    714071        90      8010         0     43582     56070    708721     25.11     26.65  --
430.20/107.84	c  N dy  2358    734433        90      8010         0     62463     56070   1265957     25.12     26.53  --
442.56/110.97	c  N dy  2406    754468        90      8010         0     46697     56070    781520     25.11     26.55  --
456.14/114.34	c  N dy  2456    774511        90      8010         0     65230     56070   1328138     25.11     27.23  --
476.08/119.34	c  N dy  2485    806189        90      8010         0     59297     56070   1113190     25.04     23.51  --
476.08/119.35	c  S st  2485    806189        90      8010         0     59297     56070   1113190     25.04     23.51  --
476.87/119.51	c  S st  2485    806693        90      8010         0     59772     56070   1127677     25.04   no data  --
476.87/119.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
476.87/119.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
476.87/119.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
476.87/119.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
476.87/119.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
476.87/119.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
476.87/119.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
520.38/130.40	c lits-rem:       680  cl-subs:     5881  v-elim:      0  v-fix:    0  time: 43.18 s
520.38/130.40	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
520.38/130.41	c vivif2 --  cl tried    53891 cl shrink        0 lits rem          0 time: 0.05
521.58/130.77	c asymm  cl-useful: 0/981/8010 lits-rem:0 time: 1.43
521.58/130.77	c calculated reachability. Time: 0.00
521.58/130.77	c  N dy  2485    806693        90      8010         0     53891     56070    966486     25.04   no data  --
538.34/134.95	c  N dy  2526    828467        90      8010         0     38198     56070    495491     25.02     26.44  --
550.70/138.07	c  N dy  2587    849327        90      8010         0     57422     56070   1054600     25.01     26.52  --
573.06/143.67	c  N dy  2680    878740        90      8010         0     47780     56070    752727     25.02     26.36  --
588.24/147.48	c  N dy  2775    899043        90      8010         0     66534     56070   1307058     25.03     26.44  --
605.80/151.86	c  N dy  2880    921896        90      8010         0     49875     56070    803026     25.05     26.46  --
622.94/156.13	c  N dy  3023    942098        90      8010         0     68557     56070   1363531     25.09     26.52  --
639.70/160.30	c  N dy  3131    962306        90      8010         0     48526     56070    744749     25.11     26.80  --
654.86/164.18	c  N dy  3223    982383        90      8010         0     67128     56070   1295464     25.13     27.34  --
672.43/168.54	c  N dy  3300   1002826        90      8010         0     46208     56070    651383     25.14     26.60  --
686.40/172.08	c  N dy  3309   1026366        90      8010         0     67764     56070   1271569     25.10     26.42  --
703.96/176.41	c  N dy  3376   1046568        90      8010         0     45866     56070    629865     25.11     26.56  --
719.94/180.50	c  N dy  3481   1068623        90      8010         0     66337     56070   1238547     25.12     26.49  --
723.51/181.33	c  F st  3509   1071875        90      8010         0     69366     56070   1330257     25.13   no data  --
740.68/185.68	c  N dy  3569   1089863        90      8010         0     44418     56070    562785     25.13     26.54  --
755.06/189.27	c  N dy  3651   1109992        90      8010         0     63126     56070   1117682     25.14     26.66  --
776.59/194.69	c  N dy  3745   1130588        90      8010         0     82263     56070   1686438     25.16     26.64  --
794.98/199.23	c  N dy  3817   1150877        90      8010         0     58433     56070    958211     25.16     26.83  --
817.70/204.94	c  N dy  3912   1172475        90      8010         0     78452     56070   1552824     25.17     26.56  --
847.25/212.39	c  N dy  3988   1202242        90      8010         0     62340     56070   1052490     25.18     26.66  --
856.44/214.67	c  S st  4013   1210039        90      8010         0     69569     56070   1266564     25.18   no data  --
857.60/214.91	c  S st  4013   1210540        90      8010         0     70036     56070   1280704     25.18   no data  --
857.60/214.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
857.60/214.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
857.60/214.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.19
858.00/215.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
858.00/215.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
858.00/215.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
858.00/215.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
937.83/235.04	c lits-rem:      3651  cl-subs:     5261  v-elim:      0  v-fix:    0  time: 79.90 s
937.83/235.04	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
937.83/235.05	c vivif2 --  cl tried    64775 cl shrink        0 lits rem          0 time: 0.06
939.45/235.44	c asymm  cl-useful: 0/864/8010 lits-rem:0 time: 1.54
939.45/235.44	c calculated reachability. Time: 0.00
939.45/235.44	c  N dy  4013   1210540        90      8010         0     64775     56070   1116399     25.18   no data  --
963.37/241.49	c  N dy  4110   1231094        90      8010         0     83770     56070   1685267     25.19     26.55  --
980.13/245.69	c  N dy  4164   1253176        90      8010         0     59936     56070    968503     25.19     26.52  --
1002.07/251.16	c  N dy  4248   1273263        90      8010         0     78545     56070   1519581     25.19     27.91  --
1033.20/258.98	c  N dy  4299   1306164        90      8010         0     63685     56070   1049070     25.17     26.66  --
1057.55/265.07	c  N dy  4352   1329034        90      8010         0     84759     56070   1667544     25.16     26.60  --
1079.51/270.56	c  N dy  4421   1349158        90      8010         0     57263     56070    850174     25.17     26.73  --
1097.90/275.15	c  N dy  4465   1369199        90      8010         0     75797     56070   1393955     25.16     26.55  --
1122.60/281.37	c  N dy  4573   1389239        90      8010         0     47258     56070    536380     25.18     26.84  --
1138.16/285.22	c  N dy  4673   1409250        90      8010         0     65779     56070   1088479     25.19     28.38  --
1156.52/289.81	c  N dy  4729   1429302        90      8010         0     84322     56070   1641007     25.19     26.59  --
1177.28/295.06	c  N dy  4803   1449653        90      8010         0     55055     56070    744932     25.19     26.64  --
1237.54/310.13	c  N dy  4870   1527652        90      8010         0     77695     56070   1393473     25.11     26.53  --
1261.08/316.02	c  N dy  4958   1547879        90      8010         0     96364     56070   1947752     25.12     26.55  --
1280.24/320.87	c  N dy  5095   1568234        90      8010         0     65652     56070   1035811     25.14     26.56  --
1301.39/326.10	c  N dy  5198   1588310        90      8010         0     84238     56070   1593181     25.16     27.03  --
1326.93/332.51	c  N dy  5282   1610454        90      8010         0     53859     56070    656558     25.16     26.51  --
1342.10/336.39	c  N dy  5332   1630783        90      8010         0     72696     56070   1214408     25.16     26.51  --
1366.04/342.39	c  N dy  5446   1650790        90      8010         0     91310     56070   1771493     25.18     27.86  --
1391.60/348.73	c  N dy  5541   1671598        90      8010         0     58792     56070    784005     25.19     26.56  --
1411.94/353.89	c  N dy  5635   1691769        90      8010         0     77435     56070   1339701     25.20     26.94  --
1436.27/359.95	c  S st  5748   1710541        90      8010         0     94853     56070   1861109     25.21     23.98  --
1437.47/360.23	c  S st  5748   1711048        90      8010         0     95333     56070   1875849     25.21   no data  --
1437.47/360.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1437.47/360.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1437.47/360.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1437.87/360.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1437.87/360.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1437.87/360.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1437.87/360.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1862.89/466.88	c lits-rem:      5782  cl-subs:     7293  v-elim:      0  v-fix:    0  time: 424.91 s
1862.89/466.89	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1863.29/466.91	c vivif2 --  cl tried    88040 cl shrink        0 lits rem          0 time: 0.08
1864.49/467.26	c asymm  cl-useful: 0/657/8010 lits-rem:0 time: 1.40
1864.49/467.26	c calculated reachability. Time: 0.00
1864.49/467.26	c  N dy  5748   1711048        90      8010         0     88040     56070   1634370     25.21   no data  --
1888.06/473.14	c  N dy  5797   1731065        90      8010         0     54017     56070    627898     25.21     28.28  --
1904.79/477.40	c  N dy  5883   1751229        90      8010         0     72662     56070   1180328     25.21     26.65  --
1925.55/482.55	c  N dy  5942   1772221        90      8010         0     92042     56070   1751297     25.21     26.74  --
1950.28/488.71	c  N dy  5988   1794478        90      8010         0     59058     56070    756721     25.21     26.54  --
1969.84/493.68	c  N dy  6065   1817612        90      8010         0     80437     56070   1391599     25.21     26.58  --
1993.78/499.64	c  N dy  6156   1837712        90      8010         0     98994     56070   1946026     25.22     26.75  --
2018.13/505.75	c  N dy  6250   1857735        90      8010         0     63088     56070    863364     25.23     27.04  --
2037.69/510.63	c  N dy  6334   1877825        90      8010         0     81701     56070   1418966     25.23     27.68  --
2065.21/517.58	c  N dy  6448   1899462        90      8010         0    101771     56070   2020002     25.25     26.58  --
2090.35/523.81	c  N dy  6537   1919558        90      8010         0     64895     56070    898568     25.25     26.90  --
2111.94/529.27	c  N dy  6621   1939885        90      8010         0     83713     56070   1460148     25.26     26.63  --
2137.87/535.80	c  N dy  6721   1959975        90      8010         0    102316     56070   2015845     25.27     26.82  --
2166.58/542.95	c  N dy  6831   1980195        90      8010         0     64578     56070    869249     25.28     26.71  --
2186.58/547.93	c  N dy  6937   2000250        90      8010         0     83068     56070   1421479     25.29     26.71  --
2208.11/553.35	c  N dy  6978   2020410        90      8010         0    101597     56070   1970279     25.29     26.66  --
2231.64/559.21	c  N dy  7015   2040511        90      8010         0     62852     56070    797992     25.28     26.82  --
2261.57/566.73	c  N dy  7065   2074932        90      8010         0     94517     56070   1721147     25.26     26.72  --
2288.71/573.57	c  N dy  7123   2094938        90      8010         0    113043     56070   2270819     25.26     28.59  --
2310.25/578.97	c  N dy  7214   2115053        90      8010         0     73565     56070   1097977     25.27     26.63  --
2372.52/594.50	c  N dy  7248   2180524        90      8010         0     74454     56070   1087401     25.20     26.54  --
2394.47/600.08	c  N dy  7320   2201056        90      8010         0     93494     56070   1654264     25.20     26.58  --
2407.63/603.38	c  S st  7332   2211049        90      8010         0    102678     56070   1917593     25.19   no data  --
2409.23/603.70	c  S st  7332   2211554        90      8010         0    103140     56070   1931680     25.19   no data  --
2409.23/603.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2409.23/603.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2409.23/603.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.24
2409.63/603.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2409.63/603.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2409.63/603.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2409.63/603.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2571.26/644.31	c lits-rem:      4031  cl-subs:     9900  v-elim:      0  v-fix:    0  time: 161.51 s
2571.26/644.31	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2571.26/644.33	c vivif2 --  cl tried    93240 cl shrink        0 lits rem          0 time: 0.08
2572.48/644.69	c asymm  cl-useful: 0/597/8010 lits-rem:0 time: 1.42
2572.48/644.69	c calculated reachability. Time: 0.00
2572.48/644.69	c  N dy  7332   2211554        90      8010         0     93240     56070   1648452     25.19   no data  --
2600.40/651.63	c  N dy  7369   2235154        90      8010         0    114911     56070   2281781     25.18     26.55  --
2624.34/657.69	c  N dy  7476   2256449        90      8010         0     75231     56070   1121496     25.19     26.77  --
2646.29/663.18	c  N dy  7530   2276632        90      8010         0     93823     56070   1671282     25.19     26.59  --
2677.02/670.88	c  N dy  7594   2298019        90      8010         0    113571     56070   2253377     25.19     26.58  --
2703.36/677.40	c  N dy  7701   2318110        90      8010         0     71576     56070    988783     25.20     26.63  --
2744.46/687.78	c  N dy  7790   2356762        90      8010         0    107138     56070   2036440     25.20     26.56  --
2778.39/696.26	c  N dy  7899   2377114        90      8010         0     64301     56070    750999     25.21     26.73  --
2796.78/700.88	c  N dy  7947   2397369        90      8010         0     82989     56070   1302369     25.20     26.56  --
2825.48/708.09	c  N dy  8023   2417519        90      8010         0    101668     56070   1856179     25.21     26.61  --
2860.60/716.86	c  N dy  8119   2437927        90      8010         0    120640     56070   2423891     25.21     26.60  --
2890.92/724.40	c  N dy  8201   2461122        90      8010         0     79254     56070   1175502     25.22     26.59  --
2919.28/731.52	c  N dy  8334   2481160        90      8010         0     97840     56070   1733867     25.23     28.10  --
2953.98/740.20	c  N dy  8489   2501196        90      8010         0    116466     56070   2295882     25.24     27.18  --
2982.32/747.32	c  N dy  8579   2521553        90      8010         0     71488     56070    925540     25.25     26.79  --
3006.66/753.43	c  N dy  8689   2542738        90      8010         0     91133     56070   1512909     25.26     26.76  --
3036.99/761.08	c  N dy  8819   2562765        90      8010         0    109851     56070   2078667     25.27     26.67  --
3074.10/770.37	c  N dy  8946   2582802        90      8010         0    128412     56070   2637683     25.28     27.45  --
3098.45/776.49	c  N dy  9075   2603569        90      8010         0     82764     56070   1245652     25.29     26.82  --
3132.38/784.93	c  N dy  9187   2630314        90      8010         0    107518     56070   1983993     25.30     26.71  --
3179.47/796.75	c  N dy  9265   2662498        90      8010         0     71415     56070    877261     25.29     26.69  --
3201.41/802.28	c  N dy  9341   2682507        90      8010         0     89830     56070   1423795     25.29     29.76  --
3234.14/810.44	c  N dy  9370   2707260        90      8010         0    112571     56070   2091650     25.28     26.71  --
3241.32/812.26	c  S st  9384   2711556        90      8010         0    116549     56070   2208963     25.28     25.45  --
3242.92/812.66	c  S st  9384   2712060        90      8010         0    117023     56070   2223386     25.28   no data  --
3242.92/812.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3242.92/812.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3243.32/812.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.28
3243.72/812.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3243.72/812.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3243.72/812.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3243.72/812.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3882.26/972.83	c lits-rem:      7634  cl-subs:    10413  v-elim:      0  v-fix:    0  time: 638.51 s
3882.26/972.84	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
3882.26/972.86	c vivif2 --  cl tried   106610 cl shrink        0 lits rem          0 time: 0.11
3884.26/973.36	c asymm  cl-useful: 0/518/8010 lits-rem:0 time: 2.01
3884.26/973.37	c calculated reachability. Time: 0.00
3884.26/973.37	c  N dy  9384   2712060        90      8010         0    106610     56070   1904181     25.28   no data  --
3925.36/983.66	c  N dy  9485   2732224        90      8010         0    125241     56070   2459972     25.29     26.71  --
3960.89/992.56	c  N dy  9551   2753152        90      8010         0     78459     56070   1077332     25.29     26.65  --
3990.44/999.97	c  N dy  9610   2773219        90      8010         0     96939     56070   1626212     25.29     27.44  --
4032.73/1010.52	c  N dy  9706   2795492        90      8010         0    117529     56070   2242273     25.29     26.66  --
4090.99/1025.11	c  N dy  9821   2825051        90      8010         0     77589     56070   1027014     25.29     26.64  --
4125.72/1033.86	c  N dy  9950   2845225        90      8010         0     96264     56070   1588566     25.30     26.65  --
4162.06/1042.96	c  N dy  9996   2865381        90      8010         0    114805     56070   2138081     25.30     26.66  --
4216.29/1056.56	c  N dy 10068   2888388        90      8010         0    136093     56070   2771470     25.30     26.77  --
4247.82/1064.43	c  N dy 10144   2908614        90      8010         0     86623     56070   1287750     25.30     26.64  --
4285.74/1073.95	c  N dy 10230   2928704        90      8010         0    105205     56070   1838820     25.31     26.75  --
4325.25/1083.83	c  N dy 10263   2949475        90      8010         0    124313     56070   2395909     25.30     26.75  --
4378.73/1097.20	c  N dy 10340   2973278        90      8010         0     77006     56070    975722     25.30     26.72  --
4414.25/1106.15	c  N dy 10348   3000801        90      8010         0    102104     56070   1701446     25.28     26.94  --
4456.55/1116.71	c  N dy 10436   3020857        90      8010         0    120704     56070   2258574     25.29     30.21  --
4509.63/1130.07	c  N dy 10488   3042709        90      8010         0     70854     56070    783433     25.29     26.73  --
4537.97/1137.17	c  N dy 10571   3062740        90      8010         0     89423     56070   1339125     25.29     27.00  --
4574.71/1146.38	c  N dy 10674   3082780        90      8010         0    107955     56070   1892127     25.30     26.69  --
4618.62/1157.38	c  N dy 10797   3102849        90      8010         0    126531     56070   2454255     25.30     26.66  --
4661.68/1168.14	c  N dy 10866   3123054        90      8010         0     74124     56070    862374     25.31     26.64  --
4692.41/1175.85	c  N dy 10952   3144151        90      8010         0     93578     56070   1441688     25.31     26.76  --
4734.71/1186.46	c  N dy 11039   3166999        90      8010         0    114703     56070   2071010     25.31     26.68  --
4771.43/1195.65	c  N dy 11090   3187362        90      8010         0    133427     56070   2619467     25.31     26.80  --

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-3369004-1305410075/watcher-3369004-1305410075 -o /tmp/evaluation-result-3369004-1305410075/solver-3369004-1305410075 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369004-1305410075.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: 3.81 5.39 6.89 7/285 5244
/proc/meminfo: memFree=19061692/32951132 swapFree=67093824/67111528
[pid=5244] ppid=5242 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 412 0 0 0 1 0 0 0 22 0 4 0 652607115 52465664 353 33554432000 4194304 4650419 140736428029184 18446744073709551615 47514309527468 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 12809 353 303 112 0 7774 0
[pid=5244/tid=5245] ppid=5242 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 652607115 52465664 353 33554432000 4194304 4650419 140736428029184 18446744073709551615 47514309527478 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 652607115 52465664 353 33554432000 4194304 4650419 140736428029184 18446744073709551615 47514309527474 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652607115 52465664 353 33554432000 4194304 4650419 140736428029184 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.105949 s]
/proc/loadavg: 3.81 5.39 6.89 7/285 5244
/proc/meminfo: memFree=19061692/32951132 swapFree=67093824/67111528
[pid=5244] ppid=5242 vsize=282212 CPUtime=0.4 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 1627 0 0 0 40 0 0 0 24 0 4 0 652607115 288985088 1539 33554432000 4194304 4650419 140736428029184 18446744073709551615 4370643 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 70553 1539 366 112 0 65518 0
[pid=5244/tid=5245] ppid=5242 vsize=282212 CPUtime=0.1 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 273 0 0 0 10 0 0 0 24 0 4 0 652607115 288985088 1539 33554432000 4194304 4650419 140736428029184 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=282212 CPUtime=0.1 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 264 0 0 0 10 0 0 0 24 0 4 0 652607115 288985088 1539 33554432000 4194304 4650419 140736428029184 18446744073709551615 4371123 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=282212 CPUtime=0.09 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 399 0 0 0 9 0 0 0 25 0 4 0 652607115 288985088 1539 33554432000 4194304 4650419 140736428029184 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282212

[startup+0.200933 s]
/proc/loadavg: 3.81 5.39 6.89 7/285 5244
/proc/meminfo: memFree=19061692/32951132 swapFree=67093824/67111528
[pid=5244] ppid=5242 vsize=284324 CPUtime=0.78 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 2366 0 0 0 78 0 0 0 25 0 4 0 652607115 291147776 1790 33554432000 4194304 4650419 140736428029184 18446744073709551615 4370570 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 71081 1790 372 112 0 66046 0
[pid=5244/tid=5245] ppid=5242 vsize=284324 CPUtime=0.19 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 414 0 0 0 19 0 0 0 25 0 4 0 652607115 291147776 1790 33554432000 4194304 4650419 140736428029184 18446744073709551615 4370707 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=284324 CPUtime=0.19 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 406 0 0 0 19 0 0 0 25 0 4 0 652607115 291147776 1790 33554432000 4194304 4650419 140736428029184 18446744073709551615 4371088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=284324 CPUtime=0.18 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 714 0 0 0 18 0 0 0 25 0 4 0 652607115 291147776 1790 33554432000 4194304 4650419 140736428029184 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 284324

[startup+0.300917 s]
/proc/loadavg: 3.81 5.39 6.89 7/285 5244
/proc/meminfo: memFree=19061692/32951132 swapFree=67093824/67111528
[pid=5244] ppid=5242 vsize=284324 CPUtime=1.18 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 4136 0 0 0 117 1 0 0 18 0 4 0 652607115 291147776 3317 33554432000 4194304 4650419 140736428029184 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 71081 3317 390 112 0 66046 0
[pid=5244/tid=5245] ppid=5242 vsize=284324 CPUtime=0.29 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 970 0 0 0 29 0 0 0 18 0 4 0 652607115 291147776 3317 33554432000 4194304 4650419 140736428029184 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=284324 CPUtime=0.29 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 988 0 0 0 29 0 0 0 18 0 4 0 652607115 291147776 3317 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=284324 CPUtime=0.28 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 788 0 0 0 28 0 0 0 25 0 4 0 652607115 291147776 3317 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284324

[startup+0.700848 s]
/proc/loadavg: 3.81 5.39 6.89 7/285 5244
/proc/meminfo: memFree=19061692/32951132 swapFree=67093824/67111528
[pid=5244] ppid=5242 vsize=286532 CPUtime=2.77 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 6857 0 0 0 276 1 0 0 18 0 4 0 652607115 293408768 4075 33554432000 4194304 4650419 140736428029184 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 71633 4075 390 112 0 66598 0
[pid=5244/tid=5245] ppid=5242 vsize=286532 CPUtime=0.69 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 1694 0 0 0 69 0 0 0 18 0 4 0 652607115 293408768 4075 33554432000 4194304 4650419 140736428029184 18446744073709551615 4334290 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=286532 CPUtime=0.69 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 1716 0 0 0 69 0 0 0 18 0 4 0 652607115 293408768 4075 33554432000 4194304 4650419 140736428029184 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=286532 CPUtime=0.68 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 1355 0 0 0 68 0 0 0 25 0 4 0 652607115 293408768 4075 33554432000 4194304 4650419 140736428029184 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286532

[startup+1.50071 s]
/proc/loadavg: 3.81 5.39 6.89 10/289 5248
/proc/meminfo: memFree=19033264/32951132 swapFree=67093824/67111528
[pid=5244] ppid=5242 vsize=287780 CPUtime=5.96 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 11141 0 0 0 594 2 0 0 19 0 4 0 652607115 294686720 4940 33554432000 4194304 4650419 140736428029184 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 71945 4940 391 112 0 66910 0
[pid=5244/tid=5245] ppid=5242 vsize=287780 CPUtime=1.49 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 2788 0 0 0 149 0 0 0 19 0 4 0 652607115 294686720 4941 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=287780 CPUtime=1.48 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 2817 0 0 0 148 0 0 0 19 0 4 0 652607115 294686720 4941 33554432000 4194304 4650419 140736428029184 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=287780 CPUtime=1.47 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 2379 0 0 0 147 0 0 0 25 0 4 0 652607115 294686720 4941 33554432000 4194304 4650419 140736428029184 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287780

[startup+3.10044 s]
/proc/loadavg: 4.15 5.43 6.89 9/289 5248
/proc/meminfo: memFree=19007520/32951132 swapFree=67093824/67111528
[pid=5244] ppid=5242 vsize=298232 CPUtime=12.35 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 21238 0 0 0 1231 4 0 0 24 0 4 0 652607115 305389568 12732 33554432000 4194304 4650419 140736428029184 18446744073709551615 4369160 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 74558 12732 392 112 0 69523 0
[pid=5244/tid=5245] ppid=5242 vsize=298232 CPUtime=3.09 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 4685 0 0 0 308 1 0 0 23 0 4 0 652607115 305389568 12732 33554432000 4194304 4650419 140736428029184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=298232 CPUtime=3.08 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 5820 0 0 0 308 0 0 0 24 0 4 0 652607115 305389568 12732 33554432000 4194304 4650419 140736428029184 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=298232 CPUtime=3.06 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 5778 0 0 0 305 1 0 0 25 0 4 0 652607115 305389568 12732 33554432000 4194304 4650419 140736428029184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 298232

[startup+6.30088 s]
/proc/loadavg: 4.15 5.43 6.89 9/289 5279
/proc/meminfo: memFree=18990408/32951132 swapFree=67093824/67111528
[pid=5244] ppid=5242 vsize=279832 CPUtime=25.12 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 30616 0 0 0 2505 7 0 0 25 0 4 0 652607115 286547968 15105 33554432000 4194304 4650419 140736428029184 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 69958 15105 392 112 0 64923 0
[pid=5244/tid=5245] ppid=5242 vsize=279832 CPUtime=6.28 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 8182 0 0 0 627 1 0 0 25 0 4 0 652607115 286547968 15105 33554432000 4194304 4650419 140736428029184 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=279832 CPUtime=6.28 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 7697 0 0 0 627 1 0 0 25 0 4 0 652607115 286547968 15105 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=279832 CPUtime=6.23 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 7831 0 0 0 621 2 0 0 25 0 4 0 652607115 286547968 15105 33554432000 4194304 4650419 140736428029184 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 279832

[startup+12.7008 s]
/proc/loadavg: 4.96 5.57 6.92 9/289 5279
/proc/meminfo: memFree=18905488/32951132 swapFree=67093824/67111528
[pid=5244] ppid=5242 vsize=279996 CPUtime=50.66 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 45937 0 0 0 5055 11 0 0 25 0 4 0 652607115 286715904 24017 33554432000 4194304 4650419 140736428029184 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 69999 24017 392 112 0 64964 0
[pid=5244/tid=5245] ppid=5242 vsize=279996 CPUtime=12.69 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 11549 0 0 0 1267 2 0 0 25 0 4 0 652607115 286715904 24017 33554432000 4194304 4650419 140736428029184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=279996 CPUtime=12.69 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 11527 0 0 0 1266 3 0 0 25 0 4 0 652607115 286715904 24017 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=279996 CPUtime=12.57 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 12421 0 0 0 1254 3 0 0 25 0 4 0 652607115 286715904 24017 33554432000 4194304 4650419 140736428029184 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 279996

[startup+25.5006 s]
/proc/loadavg: 5.43 5.65 6.93 9/289 5279
/proc/meminfo: memFree=18828388/32951132 swapFree=67093824/67111528
[pid=5244] ppid=5242 vsize=280404 CPUtime=101.73 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 68089 0 0 0 10155 18 0 0 25 0 4 0 652607115 287133696 28333 33554432000 4194304 4650419 140736428029184 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 70101 28333 392 112 0 65066 0
[pid=5244/tid=5245] ppid=5242 vsize=280404 CPUtime=25.49 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 16862 0 0 0 2545 4 0 0 25 0 4 0 652607115 287133696 28333 33554432000 4194304 4650419 140736428029184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=280404 CPUtime=25.48 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 17590 0 0 0 2544 4 0 0 25 0 4 0 652607115 287133696 28333 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=280404 CPUtime=25.25 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 18767 0 0 0 2520 5 0 0 25 0 4 0 652607115 287133696 28333 33554432000 4194304 4650419 140736428029184 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 280404

[startup+51.1011 s]
/proc/loadavg: 6.36 5.85 6.96 9/289 5280
/proc/meminfo: memFree=18781628/32951132 swapFree=67093824/67111528
[pid=5244] ppid=5242 vsize=292096 CPUtime=203.91 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 100308 0 0 0 20363 28 0 0 25 0 4 0 652607115 299106304 34435 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 73024 34435 392 112 0 67989 0
[pid=5244/tid=5245] ppid=5242 vsize=292096 CPUtime=51.08 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 23515 0 0 0 5102 6 0 0 25 0 4 0 652607115 299106304 34435 33554432000 4194304 4650419 140736428029184 18446744073709551615 4432396 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=292096 CPUtime=51.08 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 28004 0 0 0 5101 7 0 0 25 0 4 0 652607115 299106304 34435 33554432000 4194304 4650419 140736428029184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=292096 CPUtime=50.62 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 27196 0 0 0 5055 7 0 0 25 0 4 0 652607115 299106304 34435 33554432000 4194304 4650419 140736428029184 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 292096

[startup+102.301 s]
/proc/loadavg: 7.44 6.24 7.03 9/289 5281
/proc/meminfo: memFree=18709676/32951132 swapFree=67093824/67111528
[pid=5244] ppid=5242 vsize=381664 CPUtime=408.26 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 146694 0 0 0 40782 44 0 0 25 0 4 0 652607115 390823936 46217 33554432000 4194304 4650419 140736428029184 18446744073709551615 4313048 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 95416 46217 392 112 0 90381 0
[pid=5244/tid=5245] ppid=5242 vsize=381664 CPUtime=102.3 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 31784 0 0 0 10221 9 0 0 25 0 4 0 652607115 390823936 46218 33554432000 4194304 4650419 140736428029184 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=381664 CPUtime=102.28 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 40799 0 0 0 10216 12 0 0 25 0 4 0 652607115 390823936 46218 33554432000 4194304 4650419 140736428029184 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=381664 CPUtime=101.36 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 43821 0 0 0 10123 13 0 0 25 0 4 0 652607115 390823936 46218 33554432000 4194304 4650419 140736428029184 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.26
Current children cumulated vsize (KiB) 381664

[startup+162.301 s]

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

[pid=5244] ppid=5242 vsize=480972 CPUtime=2802.73 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 483791 0 0 0 280074 199 0 0 25 0 4 0 652607115 492515328 85496 33554432000 4194304 4650419 140736428029184 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 120243 85496 392 112 0 115208 0
[pid=5244/tid=5245] ppid=5242 vsize=480972 CPUtime=702.28 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 119721 0 0 0 70176 52 0 0 25 0 4 0 652607115 492515328 85496 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=480972 CPUtime=702.21 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 129993 0 0 0 70167 54 0 0 25 0 4 0 652607115 492515328 85496 33554432000 4194304 4650419 140736428029184 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=480972 CPUtime=695.9 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 113611 0 0 0 69541 49 0 0 25 0 4 0 652607115 492515328 85496 33554432000 4194304 4650419 140736428029184 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.73
Current children cumulated vsize (KiB) 480972

[startup+762.301 s]
/proc/loadavg: 8.29 8.01 7.61 9/289 5311
/proc/meminfo: memFree=18309244/32951132 swapFree=67093824/67111528
[pid=5244] ppid=5242 vsize=493980 CPUtime=3042.2 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 501552 0 0 0 304012 208 0 0 25 0 4 0 652607115 505835520 85809 33554432000 4194304 4650419 140736428029184 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 123495 85809 392 112 0 118460 0
[pid=5244/tid=5245] ppid=5242 vsize=493980 CPUtime=762.3 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 127927 0 0 0 76173 57 0 0 25 0 4 0 652607115 505835520 85810 33554432000 4194304 4650419 140736428029184 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=493980 CPUtime=762.21 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 133975 0 0 0 76166 55 0 0 25 0 4 0 652607115 505835520 85810 33554432000 4194304 4650419 140736428029184 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=493980 CPUtime=755.36 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 113662 0 0 0 75487 49 0 0 25 0 4 0 652607115 505835520 85810 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3042.2
Current children cumulated vsize (KiB) 493980

[startup+822.301 s]
/proc/loadavg: 8.17 8.02 7.64 9/289 5312
/proc/meminfo: memFree=18278340/32951132 swapFree=67093824/67111528
[pid=5244] ppid=5242 vsize=546632 CPUtime=3281.64 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 519336 0 0 0 327947 217 0 0 25 0 4 0 652607115 559751168 82966 33554432000 4194304 4650419 140736428029184 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 136658 82966 392 112 0 131623 0
[pid=5244/tid=5245] ppid=5242 vsize=546632 CPUtime=822.28 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 135151 0 0 0 82168 60 0 0 25 0 4 0 652607115 559751168 82966 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=546632 CPUtime=822.2 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 141188 0 0 0 82161 59 0 0 25 0 4 0 652607115 559751168 82966 33554432000 4194304 4650419 140736428029184 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=546632 CPUtime=814.81 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 113699 0 0 0 81432 49 0 0 25 0 4 0 652607115 559751168 82966 33554432000 4194304 4650419 140736428029184 18446744073709551615 4313703 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3281.64
Current children cumulated vsize (KiB) 546632

[startup+882.311 s]
/proc/loadavg: 8.16 8.05 7.67 9/289 5314
/proc/meminfo: memFree=18295808/32951132 swapFree=67093824/67111528
[pid=5244] ppid=5242 vsize=481308 CPUtime=3521.13 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 532829 0 0 0 351888 225 0 0 25 0 4 0 652607115 492859392 83176 33554432000 4194304 4650419 140736428029184 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 120327 83176 392 112 0 115292 0
[pid=5244/tid=5245] ppid=5242 vsize=481308 CPUtime=882.3 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 141503 0 0 0 88166 64 0 0 25 0 4 0 652607115 492859392 83176 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=481308 CPUtime=882.21 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 148203 0 0 0 88157 64 0 0 25 0 4 0 652607115 492859392 83176 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=481308 CPUtime=874.27 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 113825 0 0 0 87378 49 0 0 25 0 4 0 652607115 492859392 83176 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3521.13
Current children cumulated vsize (KiB) 481308

[startup+942.301 s]
/proc/loadavg: 8.15 8.06 7.69 9/289 5315
/proc/meminfo: memFree=18249428/32951132 swapFree=67093824/67111528
[pid=5244] ppid=5242 vsize=569724 CPUtime=3760.55 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 549473 0 0 0 375824 231 0 0 25 0 4 0 652607115 583397376 89675 33554432000 4194304 4650419 140736428029184 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 142431 89675 392 112 0 137396 0
[pid=5244/tid=5245] ppid=5242 vsize=569724 CPUtime=942.29 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 149867 0 0 0 94162 67 0 0 25 0 4 0 652607115 583397376 89675 33554432000 4194304 4650419 140736428029184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=569724 CPUtime=942.19 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 154210 0 0 0 94153 66 0 0 25 0 4 0 652607115 583397376 89675 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=569724 CPUtime=933.73 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 116098 0 0 0 93323 50 0 0 25 0 4 0 652607115 583397376 89675 33554432000 4194304 4650419 140736428029184 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3760.55
Current children cumulated vsize (KiB) 569724

[startup+1002.3 s]
/proc/loadavg: 8.14 8.08 7.72 9/289 5317
/proc/meminfo: memFree=18208748/32951132 swapFree=67093824/67111528
[pid=5244] ppid=5242 vsize=570976 CPUtime=4000 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 561513 0 0 0 399762 238 0 0 25 0 4 0 652607115 584679424 93659 33554432000 4194304 4650419 140736428029184 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 142744 93659 392 112 0 137709 0
[pid=5244/tid=5245] ppid=5242 vsize=570976 CPUtime=1002.3 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 153696 0 0 0 100162 68 0 0 25 0 4 0 652607115 584679424 93659 33554432000 4194304 4650419 140736428029184 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=570976 CPUtime=1002.19 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 159117 0 0 0 100149 70 0 0 25 0 4 0 652607115 584679424 93659 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=570976 CPUtime=993.18 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 116486 0 0 0 99268 50 0 0 25 0 4 0 652607115 584679424 93659 33554432000 4194304 4650419 140736428029184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4000
Current children cumulated vsize (KiB) 570976

[startup+1062.3 s]
/proc/loadavg: 8.13 8.09 7.75 9/289 5319
/proc/meminfo: memFree=18201028/32951132 swapFree=67093824/67111528
[pid=5244] ppid=5242 vsize=571048 CPUtime=4239.45 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 581827 0 0 0 423702 243 0 0 25 0 4 0 652607115 584753152 92045 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365242 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 142762 92045 392 112 0 137727 0
[pid=5244/tid=5245] ppid=5242 vsize=571048 CPUtime=1062.29 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 166440 0 0 0 106160 69 0 0 25 0 4 0 652607115 584753152 92045 33554432000 4194304 4650419 140736428029184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=571048 CPUtime=1062.19 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 163867 0 0 0 106147 72 0 0 25 0 4 0 652607115 584753152 92045 33554432000 4194304 4650419 140736428029184 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=571048 CPUtime=1052.63 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 116523 0 0 0 105213 50 0 0 25 0 4 0 652607115 584753152 92045 33554432000 4194304 4650419 140736428029184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4239.45
Current children cumulated vsize (KiB) 571048

[startup+1122.3 s]
/proc/loadavg: 8.16 8.10 7.77 9/289 5320
/proc/meminfo: memFree=18198536/32951132 swapFree=67093824/67111528
[pid=5244] ppid=5242 vsize=571048 CPUtime=4478.89 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 604356 0 0 0 447640 249 0 0 25 0 4 0 652607115 584753152 95709 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 142762 95709 392 112 0 137727 0
[pid=5244/tid=5245] ppid=5242 vsize=571048 CPUtime=1122.3 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 176586 0 0 0 112159 71 0 0 25 0 4 0 652607115 584753152 95709 33554432000 4194304 4650419 140736428029184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=571048 CPUtime=1122.19 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 171516 0 0 0 112146 73 0 0 25 0 4 0 652607115 584753152 95709 33554432000 4194304 4650419 140736428029184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=571048 CPUtime=1112.08 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 116557 0 0 0 111158 50 0 0 25 0 4 0 652607115 584753152 95709 33554432000 4194304 4650419 140736428029184 18446744073709551615 4476396 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4478.89
Current children cumulated vsize (KiB) 571048

[startup+1182.3 s]
/proc/loadavg: 8.17 8.11 7.79 9/289 5322
/proc/meminfo: memFree=18180400/32951132 swapFree=67093824/67111528
[pid=5244] ppid=5242 vsize=571108 CPUtime=4718.36 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 627779 0 0 0 471580 256 0 0 25 0 4 0 652607115 584814592 91983 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 142777 91983 392 112 0 137742 0
[pid=5244/tid=5245] ppid=5242 vsize=571108 CPUtime=1182.29 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 183081 0 0 0 118156 73 0 0 25 0 4 0 652607115 584814592 91983 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=571108 CPUtime=1182.19 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 185739 0 0 0 118144 75 0 0 25 0 4 0 652607115 584814592 91983 33554432000 4194304 4650419 140736428029184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=571108 CPUtime=1171.54 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 116557 0 0 0 117104 50 0 0 25 0 4 0 652607115 584814592 91983 33554432000 4194304 4650419 140736428029184 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4718.36
Current children cumulated vsize (KiB) 571108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.20 8.12 7.80 9/289 5322
/proc/meminfo: memFree=18155960/32951132 swapFree=67093824/67111528
[pid=5244] ppid=5242 vsize=624300 CPUtime=4800.19 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 636267 0 0 0 479760 259 0 0 25 0 4 0 652607115 639283200 95035 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365313 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 156075 95035 392 112 0 151040 0
[pid=5244/tid=5245] ppid=5242 vsize=624300 CPUtime=1202.8 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 186110 0 0 0 120206 74 0 0 25 0 4 0 652607115 639283200 95037 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365308 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=624300 CPUtime=1202.69 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 188460 0 0 0 120193 76 0 0 25 0 4 0 652607115 639283200 95037 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=624300 CPUtime=1191.85 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 116923 0 0 0 119135 50 0 0 25 0 4 0 652607115 639283200 95037 33554432000 4194304 4650419 140736428029184 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 624300

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

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

[startup+1202.8 s]
/proc/loadavg: 8.20 8.12 7.80 9/289 5322
/proc/meminfo: memFree=18155960/32951132 swapFree=67093824/67111528
[pid=5244] ppid=5242 vsize=624300 CPUtime=4800.19 cores=1,3,5,7
/proc/5244/stat : 5244 (strangenight1-m) R 5242 5244 4908 0 -1 4202496 636267 0 0 0 479760 259 0 0 25 0 4 0 652607115 639283200 95035 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365313 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5244/statm: 156075 95035 392 112 0 151040 0
[pid=5244/tid=5245] ppid=5242 vsize=624300 CPUtime=1202.8 cores=1,3,5,7
/proc/5244/task/5245/stat : 5245 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 186110 0 0 0 120206 74 0 0 25 0 4 0 652607115 639283200 95037 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365308 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5244/tid=5246] ppid=5242 vsize=624300 CPUtime=1202.69 cores=1,3,5,7
/proc/5244/task/5246/stat : 5246 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 188460 0 0 0 120193 76 0 0 25 0 4 0 652607115 639283200 95037 33554432000 4194304 4650419 140736428029184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5244/tid=5247] ppid=5242 vsize=624300 CPUtime=1191.85 cores=1,3,5,7
/proc/5244/task/5247/stat : 5247 (strangenight1-m) R 5242 5244 4908 0 -1 4202560 116923 0 0 0 119135 50 0 0 25 0 4 0 652607115 639283200 95037 33554432000 4194304 4650419 140736428029184 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 624300

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.84
CPU time (s): 4800.24
CPU user time (s): 4797.63
CPU system time (s): 2.6106
CPU usage (%): 399.077
Max. virtual memory (cumulated for all children) (KiB): 677156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.63
system time used= 2.6106
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 636271
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= 806
involuntary context switches= 34798

runsolver used 2.87156 second user time and 8.12176 second system time

The end

Launcher Data 

Begin job on node131 at 2011-05-14 23:54:35
IDJOB=3369004
IDBENCH=83013
IDSOLVER=1846
FILE ID=node131/3369004-1305410075
RUNJOBID= node131-1305410075-5222
PBS_JOBID= 13324514
Free space on /tmp= 73684 MiB

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

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

MD5SUM BENCH= f2a33b1c7727ae45658e5fd83ad755d2
RANDOM SEED=275410751

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      19062096 kB
Buffers:        273708 kB
Cached:        3639556 kB
SwapCached:       1504 kB
Active:       10569260 kB
Inactive:      3063888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      19062096 kB
SwapTotal:    67111528 kB
SwapFree:     67093824 kB
Dirty:           12548 kB
Writeback:           8 kB
AnonPages:     9717884 kB
Mapped:          27164 kB
Slab:           163868 kB
PageTables:      30732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 28080116 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73676 MiB
End job on node131 at 2011-05-15 00:14:40