Trace number 3175395

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.34 1201.73

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.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-3175395-1304122279.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.10	c Parsing time:  0.01 s
0.00/0.10	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.74
0.40/0.19	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  --
4.38/1.10	c  N dy     7      6900        90      8010         0      4044     56070    108436     25.18     26.64  --
4.38/1.10	c  N dy    10     13406        90      8010         0      6109     56070    151680     24.20     25.53  --
4.38/1.10	c  N dy    46     18297        90      8010         0      5481     56070    117815     24.83     26.42  --
4.38/1.20	c  N dy    61     22328        90      8010         0      9216     56070    227900     24.94     27.68  --
5.56/1.40	c  F st    82     25000        90      8010         0     11702     56070    301881     25.14   no data  --
5.96/1.50	c  N st    86     27037        90      8010         0      7282     56070    152945     25.14   no data  --
6.36/1.60	c  S st    88     30001        90      8010         0     10020     56070    235538     25.14   no data  --
6.36/1.60	c  S st    88     30505        90      8010         0     10505     56070    249636     25.14   no data  --
6.36/1.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.36/1.60	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.76/1.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.76/1.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.76/1.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
6.76/1.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.16/2.82	c lits-rem:      1463  cl-subs:      689  v-elim:      0  v-fix:    0  time:  4.83 s
12.36/3.19	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.52
12.36/3.20	c calculated reachability. Time: 0.00
12.36/3.20	c  N dy    88     30505        90      8010         0      9816     56070    225442     25.14   no data  --
15.15/3.86	c  N dy   100     42358        90      8010         0     13453     56070    314503     24.84     26.17  --
15.95/4.09	c  S st   114     45760        90      8010         0      8348     56070    150397     24.88     23.25  --
16.35/4.12	c  S st   114     46265        90      8010         0      8831     56070    164651     24.88   no data  --
16.35/4.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.35/4.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.35/4.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
16.35/4.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.35/4.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.35/4.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
16.35/4.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.94/5.03	c lits-rem:       195  cl-subs:       58  v-elim:      0  v-fix:    0  time:  3.59 s
19.94/5.03	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.94/5.04	c vivif2 --  cl tried     8773 cl shrink        0 lits rem          0 time: 0.00
21.14/5.34	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.23
21.14/5.34	c calculated reachability. Time: 0.00
21.14/5.34	c  N dy   114     46265        90      8010         0      8773     56070    162539     24.88   no data  --
21.96/5.58	c  N dy   144     50340        90      8010         0     12554     56070    274821     25.03     27.59  --
23.54/5.97	c  N dy   171     56022        90      8010         0     17827     56070    430135     25.12     26.58  --
25.53/6.44	c  N dy   189     64176        90      8010         0     16137     56070    359063     25.07     26.39  --
26.75/6.74	c  N dy   210     68269        90      8010         0     19941     56070    470861     25.12     27.65  --
27.13/6.83	c  S st   214     69398        90      8010         0     10801     56070    186559     25.13   no data  --
27.13/6.87	c  S st   214     69902        90      8010         0     11274     56070    200669     25.13   no data  --
27.13/6.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.13/6.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.13/6.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
27.13/6.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.13/6.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.13/6.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
27.13/6.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.15/7.89	c lits-rem:       387  cl-subs:      149  v-elim:      0  v-fix:    0  time:  4.03 s
31.15/7.89	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
31.15/7.89	c vivif2 --  cl tried    11125 cl shrink        0 lits rem          0 time: 0.01
32.72/8.25	c asymm  cl-useful: 0/7693/8010 lits-rem:0 time: 1.42
32.72/8.25	c calculated reachability. Time: 0.00
32.72/8.25	c  N dy   214     69902        90      8010         0     11125     56070    195256     25.13   no data  --
34.32/8.63	c  N dy   246     75663        90      8010         0     16493     56070    354149     25.20     26.54  --
35.92/9.02	c  N dy   254     80687        90      8010         0     21144     56070    487449     25.12     26.67  --
37.12/9.39	c  N dy   277     85915        90      8010         0     14856     56070    289361     25.16     27.47  --
37.92/9.51	c  F st   287     87501        90      8010         0     16342     56070    333501     25.18   no data  --
39.12/9.90	c  N dy   293     92696        90      8010         0     21135     56070    476078     25.18   no data  --
41.11/10.36	c  N dy   307     98642        90      8010         0     14603     56070    262639     25.17     26.51  --
43.12/10.82	c  S st   334    104854        90      8010         0     20369     56070    434245     25.22     23.03  --
43.12/10.88	c  S st   334    105356        90      8010         0     20845     56070    448425     25.22   no data  --
43.12/10.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.12/10.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.12/10.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
43.52/10.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.52/10.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.52/10.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
43.52/10.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
51.50/12.91	c lits-rem:      1812  cl-subs:     1410  v-elim:      0  v-fix:    0  time:  8.01 s
51.50/12.91	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
51.50/12.91	c vivif2 --  cl tried    19435 cl shrink        0 lits rem          0 time: 0.02
53.12/13.32	c asymm  cl-useful: 0/5300/8010 lits-rem:0 time: 1.62
53.12/13.32	c calculated reachability. Time: 0.00
53.12/13.32	c  N dy   334    105356        90      8010         0     19435     56070    401552     25.22   no data  --
57.51/14.48	c  N dy   359    120644        90      8010         0     20637     56070    415958     25.04     26.70  --
60.29/15.14	c  N dy   386    128643        90      8010         0     14174     56070    217423     25.08     26.41  --
65.48/16.46	c  N dy   411    145680        90      8010         0     15119     56070    228043     25.03     26.44  --
68.67/17.20	c  N dy   454    155386        90      8010         0     24133     56070    495021     25.07     26.56  --
69.47/17.45	c  S st   467    158034        90      8010         0     26606     56070    568827     25.09     25.05  --
69.87/17.52	c  S st   467    158541        90      8010         0     27078     56070    583020     25.09   no data  --
69.87/17.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
69.87/17.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
69.87/17.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
69.87/17.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.87/17.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.87/17.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
69.87/17.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
81.06/20.31	c lits-rem:      2271  cl-subs:     2030  v-elim:      0  v-fix:    0  time: 11.01 s
81.06/20.31	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
81.06/20.31	c vivif2 --  cl tried    25048 cl shrink        0 lits rem          0 time: 0.02
81.86/20.55	c asymm  cl-useful: 0/1926/8010 lits-rem:0 time: 0.96
81.86/20.55	c calculated reachability. Time: 0.00
81.86/20.55	c  N dy   467    158541        90      8010         0     25048     56070    515136     25.09   no data  --
85.46/21.49	c  N dy   483    169021        90      8010         0     19104     56070    327898     25.06     26.50  --
89.05/22.37	c  N dy   503    179861        90      8010         0     29143     56070    622225     25.06     26.42  --
93.44/23.44	c  N dy   557    191366        90      8010         0     23169     56070    431911     25.09     26.50  --
105.84/26.53	c  N dy   613    222163        90      8010         0     33875     56070    715695     24.98     26.30  --
111.42/27.99	c  N dy   657    237627        90      8010         0     29792     56070    586572     24.97     26.39  --
111.82/28.01	c  S st   658    237811        90      8010         0     29963     56070    591581     24.97     25.82  --
111.82/28.08	c  S st   658    238311        90      8010         0     30437     56070    605805     24.97   no data  --
111.82/28.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
111.82/28.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
111.82/28.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
112.22/28.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
112.22/28.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
112.22/28.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
112.22/28.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
123.79/31.03	c lits-rem:      2413  cl-subs:     2193  v-elim:      0  v-fix:    0  time: 11.68 s
123.79/31.03	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
123.79/31.04	c vivif2 --  cl tried    28244 cl shrink        0 lits rem          0 time: 0.02
124.19/31.13	c asymm  cl-useful: 0/784/8010 lits-rem:0 time: 0.38
124.19/31.14	c calculated reachability. Time: 0.00
124.19/31.14	c  N dy   658    238311        90      8010         0     28244     56070    536826     24.97   no data  --
131.00/32.83	c  N dy   716    254863        90      8010         0     24262     56070    407713     24.99     26.35  --
137.79/34.53	c  N dy   773    271411        90      8010         0     39575     56070    856863     25.00     26.33  --
145.77/36.58	c  N dy   862    290929        90      8010         0     37398     56070    782212     25.04     26.45  --
152.57/38.20	c  F st   911    306250        90      8010         0     30269     56070    548106     25.04     22.81  --
153.78/38.53	c  N st   916    309550        90      8010         0     33316     56070    639105     25.04   no data  --
163.34/40.90	c  N dy  1008    329548        90      8010         0     29734     56070    516614     25.10     26.45  --
173.34/43.45	c  N dy  1098    349595        90      8010         0     25135     56070    359516     25.15     26.68  --
176.15/44.17	c  S st  1118    357466        90      8010         0     32431     56070    574531     25.16     24.67  --
176.53/44.26	c  S st  1118    357969        90      8010         0     32909     56070    588859     25.16   no data  --
176.53/44.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
176.53/44.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
176.53/44.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
176.53/44.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
176.53/44.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
176.53/44.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
176.53/44.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
188.52/47.23	c lits-rem:      2307  cl-subs:     1753  v-elim:      0  v-fix:    0  time: 11.73 s
188.52/47.23	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
188.52/47.24	c vivif2 --  cl tried    31156 cl shrink        0 lits rem          0 time: 0.02
189.71/47.59	c asymm  cl-useful: 0/1984/8010 lits-rem:0 time: 1.39
189.71/47.59	c calculated reachability. Time: 0.00
189.71/47.59	c  N dy  1118    357969        90      8010         0     31156     56070    531202     25.16   no data  --
202.52/50.79	c  N dy  1174    378065        90      8010         0     25684     56070    359057     25.16     27.85  --
212.48/53.24	c  N dy  1195    398165        90      8010         0     44199     56070    897399     25.09     26.95  --
225.27/56.48	c  N dy  1285    423663        90      8010         0     42964     56070    856954     25.13     26.53  --
236.45/59.22	c  N dy  1309    447981        90      8010         0     39415     56070    730727     25.05     26.43  --
259.24/64.96	c  N dy  1356    494165        90      8010         0     54981     56070   1147514     24.88     26.21  --
270.40/67.75	c  N dy  1472    514931        90      8010         0     46764     56070    919792     24.93     26.44  --
283.59/71.01	c  N dy  1568    536380        90      8010         0     38007     56070    634410     24.97     26.38  --
283.59/71.09	c  S st  1574    536953        90      8010         0     38546     56070    650865     24.97   no data  --
283.98/71.19	c  S st  1574    537459        90      8010         0     39025     56070    665160     24.97   no data  --
284.38/71.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
284.38/71.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
284.38/71.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
284.38/71.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
284.38/71.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
284.38/71.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
284.38/71.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
299.96/75.12	c lits-rem:      2083  cl-subs:     1709  v-elim:      0  v-fix:    0  time: 15.53 s
299.96/75.12	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
299.96/75.12	c vivif2 --  cl tried    37316 cl shrink        0 lits rem          0 time: 0.03
300.76/75.35	c asymm  cl-useful: 0/1463/8010 lits-rem:0 time: 0.92
300.76/75.36	c calculated reachability. Time: 0.00
300.76/75.36	c  N dy  1574    537459        90      8010         0     37316     56070    607727     24.97   no data  --
313.94/78.64	c  N dy  1704    557501        90      8010         0     55919     56070   1161756     25.02     29.52  --
325.15/81.47	c  N dy  1789    577593        90      8010         0     44946     56070    819491     25.04     26.44  --
339.10/84.91	c  N dy  1839    599282        90      8010         0     34484     56070    490970     25.02     26.40  --
350.69/87.86	c  N dy  1929    619405        90      8010         0     53076     56070   1038509     25.04     26.50  --
366.27/91.75	c  N dy  2003    643482        90      8010         0     43892     56070    752015     25.05     26.66  --
382.67/95.88	c  N dy  2096    665028        90      8010         0     63873     56070   1344146     25.08     26.44  --
395.85/99.14	c  N dy  2187    687260        90      8010         0     52085     56070    977131     25.09     26.43  --
415.41/104.05	c  N dy  2289    714071        90      8010         0     43582     56070    708721     25.11     26.65  --
431.38/108.01	c  N dy  2358    734433        90      8010         0     62463     56070   1265957     25.12     26.53  --
443.79/111.13	c  N dy  2406    754468        90      8010         0     46697     56070    781520     25.11     26.55  --
457.36/114.51	c  N dy  2456    774511        90      8010         0     65230     56070   1328138     25.11     27.23  --
477.32/119.51	c  N dy  2485    806189        90      8010         0     59297     56070   1113190     25.04     23.51  --
477.32/119.51	c  S st  2485    806189        90      8010         0     59297     56070   1113190     25.04     23.51  --
477.72/119.68	c  S st  2485    806693        90      8010         0     59772     56070   1127677     25.04   no data  --
477.72/119.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
477.72/119.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
478.13/119.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
478.13/119.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
478.13/119.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
478.13/119.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
478.13/119.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
522.06/130.78	c lits-rem:       680  cl-subs:     5881  v-elim:      0  v-fix:    0  time: 44.07 s
522.06/130.78	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
522.46/130.80	c vivif2 --  cl tried    53891 cl shrink        0 lits rem          0 time: 0.04
523.65/131.15	c asymm  cl-useful: 0/981/8010 lits-rem:0 time: 1.39
523.65/131.15	c calculated reachability. Time: 0.00
523.65/131.15	c  N dy  2485    806693        90      8010         0     53891     56070    966486     25.04   no data  --
540.04/135.22	c  N dy  2526    828467        90      8010         0     38198     56070    495491     25.02     26.44  --
552.42/138.34	c  N dy  2587    849327        90      8010         0     57422     56070   1054600     25.01     26.52  --
574.79/143.92	c  N dy  2680    878740        90      8010         0     47780     56070    752727     25.02     26.36  --
589.97/147.75	c  N dy  2775    899043        90      8010         0     66534     56070   1307058     25.03     26.44  --
607.55/152.15	c  N dy  2880    921896        90      8010         0     49875     56070    803026     25.05     26.46  --
624.72/156.41	c  N dy  3023    942098        90      8010         0     68557     56070   1363531     25.09     26.52  --
641.11/160.59	c  N dy  3131    962306        90      8010         0     48526     56070    744749     25.11     26.80  --
656.68/164.44	c  N dy  3223    982383        90      8010         0     67128     56070   1295464     25.13     27.34  --
674.25/168.81	c  N dy  3300   1002826        90      8010         0     46208     56070    651383     25.14     26.60  --
688.23/172.37	c  N dy  3309   1026366        90      8010         0     67764     56070   1271569     25.10     26.42  --
705.81/176.70	c  N dy  3376   1046568        90      8010         0     45866     56070    629865     25.11     26.56  --
722.19/180.82	c  N dy  3481   1068623        90      8010         0     66337     56070   1238547     25.12     26.49  --
725.41/181.63	c  F st  3509   1071875        90      8010         0     69366     56070   1330257     25.13   no data  --
742.58/185.97	c  N dy  3569   1089863        90      8010         0     44418     56070    562785     25.13     26.54  --
756.95/189.55	c  N dy  3651   1109992        90      8010         0     63126     56070   1117682     25.14     26.66  --
779.31/195.11	c  N dy  3745   1130588        90      8010         0     82263     56070   1686438     25.16     26.64  --
797.29/199.64	c  N dy  3817   1150877        90      8010         0     58433     56070    958211     25.16     26.83  --
820.07/205.35	c  N dy  3912   1172475        90      8010         0     78452     56070   1552824     25.17     26.56  --
850.02/212.90	c  N dy  3988   1202242        90      8010         0     62340     56070   1052490     25.18     26.66  --
859.20/215.20	c  S st  4013   1210039        90      8010         0     69569     56070   1266564     25.18   no data  --
860.40/215.44	c  S st  4013   1210540        90      8010         0     70036     56070   1280704     25.18   no data  --
860.40/215.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
860.40/215.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
860.40/215.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.18
860.80/215.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
860.80/215.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
860.80/215.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
860.80/215.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
939.50/235.22	c lits-rem:      3651  cl-subs:     5261  v-elim:      0  v-fix:    0  time: 78.62 s
939.50/235.22	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
939.50/235.23	c vivif2 --  cl tried    64775 cl shrink        0 lits rem          0 time: 0.06
941.10/235.61	c asymm  cl-useful: 0/864/8010 lits-rem:0 time: 1.48
941.10/235.61	c calculated reachability. Time: 0.00
941.10/235.61	c  N dy  4013   1210540        90      8010         0     64775     56070   1116399     25.18   no data  --
965.06/241.63	c  N dy  4110   1231094        90      8010         0     83770     56070   1685267     25.19     26.55  --
982.24/245.98	c  N dy  4164   1253176        90      8010         0     59936     56070    968503     25.19     26.52  --
1004.21/251.42	c  N dy  4248   1273263        90      8010         0     78545     56070   1519581     25.19     27.91  --
1035.77/259.34	c  N dy  4299   1306164        90      8010         0     63685     56070   1049070     25.17     26.66  --
1060.14/265.49	c  N dy  4352   1329034        90      8010         0     84759     56070   1667544     25.16     26.60  --
1082.10/270.98	c  N dy  4421   1349158        90      8010         0     57263     56070    850174     25.17     26.73  --
1099.67/275.35	c  N dy  4465   1369199        90      8010         0     75797     56070   1393955     25.16     26.55  --
1124.45/281.55	c  N dy  4573   1389239        90      8010         0     47258     56070    536380     25.18     26.84  --
1140.03/285.41	c  N dy  4673   1409250        90      8010         0     65779     56070   1088479     25.19     28.38  --
1158.41/290.03	c  N dy  4729   1429302        90      8010         0     84322     56070   1641007     25.19     26.59  --
1179.17/295.25	c  N dy  4803   1449653        90      8010         0     55055     56070    744932     25.19     26.64  --
1239.51/310.35	c  N dy  4870   1527652        90      8010         0     77695     56070   1393473     25.11     26.53  --
1263.05/316.26	c  N dy  4958   1547879        90      8010         0     96364     56070   1947752     25.12     26.55  --
1282.64/321.12	c  N dy  5095   1568234        90      8010         0     65652     56070   1035811     25.14     26.56  --
1303.41/326.37	c  N dy  5198   1588310        90      8010         0     84238     56070   1593181     25.16     27.03  --
1328.97/332.77	c  N dy  5282   1610454        90      8010         0     53859     56070    656558     25.16     26.51  --
1344.57/336.67	c  N dy  5332   1630783        90      8010         0     72696     56070   1214408     25.16     26.51  --
1368.92/342.71	c  N dy  5446   1650790        90      8010         0     91310     56070   1771493     25.18     27.86  --
1394.08/349.05	c  N dy  5541   1671598        90      8010         0     58792     56070    784005     25.19     26.56  --
1415.28/354.35	c  N dy  5635   1691769        90      8010         0     77435     56070   1339701     25.20     26.94  --
1439.22/360.31	c  S st  5748   1710541        90      8010         0     94853     56070   1861109     25.21     23.98  --
1440.42/360.60	c  S st  5748   1711048        90      8010         0     95333     56070   1875849     25.21   no data  --
1440.42/360.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1440.42/360.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1440.42/360.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1440.82/360.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1440.82/360.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1440.82/360.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1440.82/360.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1865.84/467.19	c lits-rem:      5782  cl-subs:     7293  v-elim:      0  v-fix:    0  time: 425.12 s
1865.84/467.19	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1866.24/467.21	c vivif2 --  cl tried    88040 cl shrink        0 lits rem          0 time: 0.08
1867.46/467.57	c asymm  cl-useful: 0/657/8010 lits-rem:0 time: 1.42
1867.46/467.57	c calculated reachability. Time: 0.00
1867.46/467.57	c  N dy  5748   1711048        90      8010         0     88040     56070   1634370     25.21   no data  --
1891.01/473.47	c  N dy  5797   1731065        90      8010         0     54017     56070    627898     25.21     28.28  --
1907.78/477.68	c  N dy  5883   1751229        90      8010         0     72662     56070   1180328     25.21     26.65  --
1928.56/482.90	c  N dy  5942   1772221        90      8010         0     92042     56070   1751297     25.21     26.74  --
1953.32/489.07	c  N dy  5988   1794478        90      8010         0     59058     56070    756721     25.21     26.54  --
1973.32/494.02	c  N dy  6065   1817612        90      8010         0     80437     56070   1391599     25.21     26.58  --
1996.87/499.93	c  N dy  6156   1837712        90      8010         0     98994     56070   1946026     25.22     26.75  --
2021.25/506.07	c  N dy  6250   1857735        90      8010         0     63088     56070    863364     25.23     27.04  --
2040.81/510.95	c  N dy  6334   1877825        90      8010         0     81701     56070   1418966     25.23     27.68  --
2068.77/517.90	c  N dy  6448   1899462        90      8010         0    101771     56070   2020002     25.25     26.58  --
2094.74/524.43	c  N dy  6537   1919558        90      8010         0     64895     56070    898568     25.25     26.90  --
2115.11/529.60	c  N dy  6621   1939885        90      8010         0     83713     56070   1460148     25.26     26.63  --
2141.47/536.11	c  N dy  6721   1959975        90      8010         0    102316     56070   2015845     25.27     26.82  --
2169.83/543.26	c  N dy  6831   1980195        90      8010         0     64578     56070    869249     25.28     26.71  --
2189.80/548.25	c  N dy  6937   2000250        90      8010         0     83068     56070   1421479     25.29     26.71  --
2211.37/553.68	c  N dy  6978   2020410        90      8010         0    101597     56070   1970279     25.29     26.66  --
2234.95/559.53	c  N dy  7015   2040511        90      8010         0     62852     56070    797992     25.28     26.82  --
2264.91/567.05	c  N dy  7065   2074932        90      8010         0     94517     56070   1721147     25.26     26.72  --
2292.07/573.86	c  N dy  7123   2094938        90      8010         0    113043     56070   2270819     25.26     28.59  --
2313.64/579.25	c  N dy  7214   2115053        90      8010         0     73565     56070   1097977     25.27     26.63  --
2375.56/594.79	c  N dy  7248   2180524        90      8010         0     74454     56070   1087401     25.20     26.54  --
2398.73/600.56	c  N dy  7320   2201056        90      8010         0     93494     56070   1654264     25.20     26.58  --
2412.32/603.98	c  S st  7332   2211049        90      8010         0    102678     56070   1917593     25.19   no data  --
2413.90/604.31	c  S st  7332   2211554        90      8010         0    103140     56070   1931680     25.19   no data  --
2413.90/604.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2413.90/604.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2413.90/604.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.24
2414.30/604.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2414.30/604.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2414.30/604.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2414.30/604.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2573.28/644.25	c lits-rem:      4031  cl-subs:     9900  v-elim:      0  v-fix:    0  time: 158.98 s
2573.28/644.25	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2573.28/644.27	c vivif2 --  cl tried    93240 cl shrink        0 lits rem          0 time: 0.08
2574.91/644.63	c asymm  cl-useful: 0/597/8010 lits-rem:0 time: 1.43
2574.91/644.63	c calculated reachability. Time: 0.00
2574.91/644.63	c  N dy  7332   2211554        90      8010         0     93240     56070   1648452     25.19   no data  --
2602.44/651.58	c  N dy  7369   2235154        90      8010         0    114911     56070   2281781     25.18     26.55  --
2626.82/657.66	c  N dy  7476   2256449        90      8010         0     75231     56070   1121496     25.19     26.77  --
2648.78/663.13	c  N dy  7530   2276632        90      8010         0     93823     56070   1671282     25.19     26.59  --
2679.54/670.83	c  N dy  7594   2298019        90      8010         0    113571     56070   2253377     25.19     26.58  --
2705.51/677.35	c  N dy  7701   2318110        90      8010         0     71576     56070    988783     25.20     26.63  --
2747.05/687.74	c  N dy  7790   2356762        90      8010         0    107138     56070   2036440     25.20     26.56  --
2780.61/696.19	c  N dy  7899   2377114        90      8010         0     64301     56070    750999     25.21     26.73  --
2800.58/701.16	c  N dy  7947   2397369        90      8010         0     82989     56070   1302369     25.20     26.56  --
2829.76/708.42	c  N dy  8023   2417519        90      8010         0    101668     56070   1856179     25.21     26.61  --
2863.29/716.88	c  N dy  8119   2437927        90      8010         0    120640     56070   2423891     25.21     26.60  --
2893.65/724.44	c  N dy  8201   2461122        90      8010         0     79254     56070   1175502     25.22     26.59  --
2922.03/731.54	c  N dy  8334   2481160        90      8010         0     97840     56070   1733867     25.23     28.10  --
2956.37/740.19	c  N dy  8489   2501196        90      8010         0    116466     56070   2295882     25.24     27.18  --
2985.13/747.32	c  N dy  8579   2521553        90      8010         0     71488     56070    925540     25.25     26.79  --
3009.49/753.45	c  N dy  8689   2542738        90      8010         0     91133     56070   1512909     25.26     26.76  --
3040.26/761.15	c  N dy  8819   2562765        90      8010         0    109851     56070   2078667     25.27     26.67  --
3077.00/770.39	c  N dy  8946   2582802        90      8010         0    128412     56070   2637683     25.28     27.45  --
3101.77/776.52	c  N dy  9075   2603569        90      8010         0     82764     56070   1245652     25.29     26.82  --
3135.73/785.01	c  N dy  9187   2630314        90      8010         0    107518     56070   1983993     25.30     26.71  --
3182.86/796.82	c  N dy  9265   2662498        90      8010         0     71415     56070    877261     25.29     26.69  --
3206.43/802.76	c  N dy  9341   2682507        90      8010         0     89830     56070   1423795     25.29     29.76  --
3238.81/810.89	c  N dy  9370   2707260        90      8010         0    112571     56070   2091650     25.28     26.71  --
3245.58/812.52	c  S st  9384   2711556        90      8010         0    116549     56070   2208963     25.28     25.45  --
3246.78/812.88	c  S st  9384   2712060        90      8010         0    117023     56070   2223386     25.28   no data  --
3246.78/812.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3246.78/812.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3247.19/812.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.24
3247.59/813.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3247.59/813.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3247.59/813.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3247.59/813.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3893.90/974.88	c lits-rem:      7634  cl-subs:    10413  v-elim:      0  v-fix:    0  time: 646.41 s
3893.90/974.88	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
3894.30/974.91	c vivif2 --  cl tried   106610 cl shrink        0 lits rem          0 time: 0.11
3896.30/975.40	c asymm  cl-useful: 0/518/8010 lits-rem:0 time: 1.95
3896.30/975.40	c calculated reachability. Time: 0.00
3896.30/975.40	c  N dy  9384   2712060        90      8010         0    106610     56070   1904181     25.28   no data  --
3937.47/985.75	c  N dy  9485   2732224        90      8010         0    125241     56070   2459972     25.29     26.71  --
3972.99/994.65	c  N dy  9551   2753152        90      8010         0     78459     56070   1077332     25.29     26.65  --
4002.55/1002.05	c  N dy  9610   2773219        90      8010         0     96939     56070   1626212     25.29     27.44  --
4044.49/1012.58	c  N dy  9706   2795492        90      8010         0    117529     56070   2242273     25.29     26.66  --
4103.22/1027.27	c  N dy  9821   2825051        90      8010         0     77589     56070   1027014     25.29     26.64  --
4140.36/1036.52	c  N dy  9950   2845225        90      8010         0     96264     56070   1588566     25.30     26.65  --
4175.92/1045.44	c  N dy  9996   2865381        90      8010         0    114805     56070   2138081     25.30     26.66  --
4230.64/1059.11	c  N dy 10068   2888388        90      8010         0    136093     56070   2771470     25.30     26.77  --
4261.80/1066.97	c  N dy 10144   2908614        90      8010         0     86623     56070   1287750     25.30     26.64  --
4299.75/1076.49	c  N dy 10230   2928704        90      8010         0    105205     56070   1838820     25.31     26.75  --
4339.30/1086.38	c  N dy 10263   2949475        90      8010         0    124313     56070   2395909     25.30     26.75  --
4392.83/1099.71	c  N dy 10340   2973278        90      8010         0     77006     56070    975722     25.30     26.72  --
4428.38/1108.68	c  N dy 10348   3000801        90      8010         0    102104     56070   1701446     25.28     26.94  --
4470.72/1119.27	c  N dy 10436   3020857        90      8010         0    120704     56070   2258574     25.29     30.21  --
4524.24/1132.64	c  N dy 10488   3042709        90      8010         0     70854     56070    783433     25.29     26.73  --
4552.63/1139.72	c  N dy 10571   3062740        90      8010         0     89423     56070   1339125     25.29     27.00  --
4588.95/1148.86	c  N dy 10674   3082780        90      8010         0    107955     56070   1892127     25.30     26.69  --
4632.90/1159.89	c  N dy 10797   3102849        90      8010         0    126531     56070   2454255     25.30     26.66  --
4676.04/1170.60	c  N dy 10866   3123054        90      8010         0     74124     56070    862374     25.31     26.64  --
4706.80/1178.39	c  N dy 10952   3144151        90      8010         0     93578     56070   1441688     25.31     26.76  --
4747.15/1188.48	c  N dy 11039   3166999        90      8010         0    114703     56070   2071010     25.31     26.68  --
4781.12/1196.96	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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3175395-1304122279/watcher-3175395-1304122279 -o /tmp/evaluation-result-3175395-1304122279/solver-3175395-1304122279 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175395-1304122279.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: 8.08 8.08 7.81 5/180 19387
/proc/meminfo: memFree=30835236/32950928 swapFree=67111448/67111528
[pid=19387] ppid=19385 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 4 0 523826640 52465664 356 33554432000 4194304 4650419 140734538040208 18446744073709551615 47161454163969 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 12809 356 306 112 0 7774 0
[pid=19387/tid=19388] ppid=19385 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523826641 52465664 356 33554432000 4194304 4650419 140734538040208 18446744073709551615 47161454163890 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523826641 52465664 356 33554432000 4194304 4650419 140734538040208 18446744073709551615 47161454163884 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 523826641 52465664 356 33554432000 4194304 4650419 140734538040208 18446744073709551615 251814240187 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.107561 s]
/proc/loadavg: 8.08 8.08 7.81 5/180 19387
/proc/meminfo: memFree=30835236/32950928 swapFree=67111448/67111528
[pid=19387] ppid=19385 vsize=282052 CPUtime=0.4 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 1624 0 0 0 40 0 0 0 25 0 4 0 523826640 288821248 1546 33554432000 4194304 4650419 140734538040208 18446744073709551615 4371120 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 70513 1546 366 112 0 65478 0
[pid=19387/tid=19388] ppid=19385 vsize=282052 CPUtime=0.1 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 281 0 0 0 10 0 0 0 25 0 4 0 523826641 288821248 1546 33554432000 4194304 4650419 140734538040208 18446744073709551615 4370601 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=282052 CPUtime=0.1 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 261 0 0 0 10 0 0 0 25 0 4 0 523826641 288821248 1547 33554432000 4194304 4650419 140734538040208 18446744073709551615 251813900997 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=282052 CPUtime=0.09 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 395 0 0 0 9 0 0 0 25 0 4 0 523826641 288821248 1547 33554432000 4194304 4650419 140734538040208 18446744073709551615 4366308 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) 282052

[startup+0.200548 s]
/proc/loadavg: 8.08 8.08 7.81 5/180 19387
/proc/meminfo: memFree=30835236/32950928 swapFree=67111448/67111528
[pid=19387] ppid=19385 vsize=285428 CPUtime=0.76 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 3028 0 0 0 76 0 0 0 25 0 4 0 523826640 292278272 2462 33554432000 4194304 4650419 140734538040208 18446744073709551615 251814283447 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 71357 2479 378 112 0 66322 0
[pid=19387/tid=19388] ppid=19385 vsize=285428 CPUtime=0.19 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 695 0 0 0 19 0 0 0 18 0 4 0 523826641 292278272 2484 33554432000 4194304 4650419 140734538040208 18446744073709551615 4426511 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=285428 CPUtime=0.19 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 665 0 0 0 19 0 0 0 18 0 4 0 523826641 292278272 2490 33554432000 4194304 4650419 140734538040208 18446744073709551615 251813908847 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=285428 CPUtime=0.19 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 713 0 0 0 19 0 0 0 25 0 4 0 523826641 292278272 2501 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 285428

[startup+0.300532 s]
/proc/loadavg: 8.08 8.08 7.81 5/180 19387
/proc/meminfo: memFree=30835236/32950928 swapFree=67111448/67111528
[pid=19387] ppid=19385 vsize=286160 CPUtime=1.17 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 4136 0 0 0 116 1 0 0 18 0 4 0 523826640 293027840 3408 33554432000 4194304 4650419 140734538040208 18446744073709551615 4334297 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 71540 3409 390 112 0 66505 0
[pid=19387/tid=19388] ppid=19385 vsize=286160 CPUtime=0.29 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 989 0 0 0 29 0 0 0 18 0 4 0 523826641 293027840 3409 33554432000 4194304 4650419 140734538040208 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=286160 CPUtime=0.28 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 978 0 0 0 28 0 0 0 18 0 4 0 523826641 293027840 3409 33554432000 4194304 4650419 140734538040208 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=286160 CPUtime=0.29 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 786 0 0 0 29 0 0 0 25 0 4 0 523826641 293027840 3409 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 286160

[startup+0.700464 s]
/proc/loadavg: 8.08 8.08 7.81 5/180 19387
/proc/meminfo: memFree=30835236/32950928 swapFree=67111448/67111528
[pid=19387] ppid=19385 vsize=287944 CPUtime=2.77 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 6800 0 0 0 276 1 0 0 18 0 4 0 523826640 294854656 4096 33554432000 4194304 4650419 140734538040208 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 71986 4096 390 112 0 66951 0
[pid=19387/tid=19388] ppid=19385 vsize=287944 CPUtime=0.69 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 1714 0 0 0 69 0 0 0 18 0 4 0 523826641 294854656 4096 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=287944 CPUtime=0.68 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 1642 0 0 0 68 0 0 0 18 0 4 0 523826641 294854656 4096 33554432000 4194304 4650419 140734538040208 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=287944 CPUtime=0.69 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 1350 0 0 0 69 0 0 0 25 0 4 0 523826641 294854656 4096 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365223 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) 287944

[startup+1.50033 s]
/proc/loadavg: 8.08 8.08 7.81 10/184 19391
/proc/meminfo: memFree=30814992/32950928 swapFree=67111448/67111528
[pid=19387] ppid=19385 vsize=289304 CPUtime=5.96 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 11068 0 0 0 594 2 0 0 19 0 4 0 523826640 296247296 4950 33554432000 4194304 4650419 140734538040208 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 72326 4950 391 112 0 67291 0
[pid=19387/tid=19388] ppid=19385 vsize=289304 CPUtime=1.48 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 2806 0 0 0 148 0 0 0 19 0 4 0 523826641 296247296 4950 33554432000 4194304 4650419 140734538040208 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=289304 CPUtime=1.48 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 2700 0 0 0 148 0 0 0 19 0 4 0 523826641 296247296 4950 33554432000 4194304 4650419 140734538040208 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=289304 CPUtime=1.48 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 2391 0 0 0 148 0 0 0 25 0 4 0 523826641 296247296 4950 33554432000 4194304 4650419 140734538040208 18446744073709551615 4363426 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) 289304

[startup+3.10107 s]
/proc/loadavg: 8.08 8.08 7.81 9/184 19391
/proc/meminfo: memFree=30798376/32950928 swapFree=67111448/67111528
[pid=19387] ppid=19385 vsize=299456 CPUtime=12.36 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 21195 0 0 0 1233 3 0 0 23 0 4 0 523826640 306642944 12791 33554432000 4194304 4650419 140734538040208 18446744073709551615 4371123 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 74864 12791 392 112 0 69829 0
[pid=19387/tid=19388] ppid=19385 vsize=299456 CPUtime=3.08 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 4700 0 0 0 308 0 0 0 24 0 4 0 523826641 306642944 12791 33554432000 4194304 4650419 140734538040208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=299456 CPUtime=3.08 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 5718 0 0 0 308 0 0 0 24 0 4 0 523826641 306642944 12791 33554432000 4194304 4650419 140734538040208 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=299456 CPUtime=3.07 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 5822 0 0 0 307 0 0 0 25 0 4 0 523826641 306642944 12791 33554432000 4194304 4650419 140734538040208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 299456

[startup+6.30053 s]
/proc/loadavg: 8.08 8.08 7.81 9/184 19391
/proc/meminfo: memFree=30753376/32950928 swapFree=67111448/67111528
[pid=19387] ppid=19385 vsize=290784 CPUtime=25.13 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 30482 0 0 0 2509 4 0 0 25 0 4 0 523826640 297762816 15369 33554432000 4194304 4650419 140734538040208 18446744073709551615 4520109 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 72696 15369 392 112 0 67661 0
[pid=19387/tid=19388] ppid=19385 vsize=290784 CPUtime=6.29 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 8196 0 0 0 628 1 0 0 25 0 4 0 523826641 297762816 15369 33554432000 4194304 4650419 140734538040208 18446744073709551615 4438407 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=290784 CPUtime=6.29 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 7476 0 0 0 628 1 0 0 25 0 4 0 523826641 297762816 15369 33554432000 4194304 4650419 140734538040208 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=290784 CPUtime=6.25 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 7878 0 0 0 625 0 0 0 25 0 4 0 523826641 297762816 15369 33554432000 4194304 4650419 140734538040208 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 290784

[startup+12.7005 s]
/proc/loadavg: 8.07 8.08 7.81 9/184 19391
/proc/meminfo: memFree=30718296/32950928 swapFree=67111448/67111528
[pid=19387] ppid=19385 vsize=286260 CPUtime=50.7 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 44705 0 0 0 5062 8 0 0 25 0 4 0 523826640 293130240 22967 33554432000 4194304 4650419 140734538040208 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 71565 22967 392 112 0 66530 0
[pid=19387/tid=19388] ppid=19385 vsize=286260 CPUtime=12.69 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 11565 0 0 0 1267 2 0 0 25 0 4 0 523826641 293130240 22967 33554432000 4194304 4650419 140734538040208 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=286260 CPUtime=12.68 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 10351 0 0 0 1266 2 0 0 25 0 4 0 523826641 293130240 22967 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=286260 CPUtime=12.62 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 12342 0 0 0 1261 1 0 0 25 0 4 0 523826641 293130240 22967 33554432000 4194304 4650419 140734538040208 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 286260

[startup+25.5003 s]
/proc/loadavg: 8.06 8.08 7.82 9/184 19391
/proc/meminfo: memFree=30664564/32950928 swapFree=67111448/67111528
[pid=19387] ppid=19385 vsize=302664 CPUtime=101.83 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 64751 0 0 0 10170 13 0 0 25 0 4 0 523826640 309927936 28460 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365231 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 75666 28460 392 112 0 70631 0
[pid=19387/tid=19388] ppid=19385 vsize=302664 CPUtime=25.49 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 16878 0 0 0 2546 3 0 0 25 0 4 0 523826641 309927936 28460 33554432000 4194304 4650419 140734538040208 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=302664 CPUtime=25.48 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 14410 0 0 0 2545 3 0 0 25 0 4 0 523826641 309927936 28460 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=302664 CPUtime=25.35 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 18690 0 0 0 2533 2 0 0 25 0 4 0 523826641 309927936 28460 33554432000 4194304 4650419 140734538040208 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 302664

[startup+51.101 s]
/proc/loadavg: 8.10 8.08 7.83 9/184 19392
/proc/meminfo: memFree=30604228/32950928 swapFree=67111448/67111528
[pid=19387] ppid=19385 vsize=303416 CPUtime=204.1 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 95030 0 0 0 20388 22 0 0 25 0 4 0 523826640 310697984 34233 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 75854 34233 392 112 0 70819 0
[pid=19387/tid=19388] ppid=19385 vsize=303416 CPUtime=51.09 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 23531 0 0 0 5104 5 0 0 25 0 4 0 523826641 310697984 34233 33554432000 4194304 4650419 140734538040208 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=303416 CPUtime=51.09 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 22340 0 0 0 5103 6 0 0 25 0 4 0 523826641 310697984 34233 33554432000 4194304 4650419 140734538040208 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=303416 CPUtime=50.81 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 27626 0 0 0 5077 4 0 0 25 0 4 0 523826641 310697984 34233 33554432000 4194304 4650419 140734538040208 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 303416

[startup+102.3 s]
/proc/loadavg: 8.13 8.10 7.84 9/184 19393
/proc/meminfo: memFree=30532224/32950928 swapFree=67111448/67111528
[pid=19387] ppid=19385 vsize=397160 CPUtime=408.63 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 135295 0 0 0 40828 35 0 0 25 0 4 0 523826640 406691840 49201 33554432000 4194304 4650419 140734538040208 18446744073709551615 4366841 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 99290 49201 392 112 0 94255 0
[pid=19387/tid=19388] ppid=19385 vsize=397160 CPUtime=102.29 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 31800 0 0 0 10222 7 0 0 25 0 4 0 523826641 406691840 49201 33554432000 4194304 4650419 140734538040208 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=397160 CPUtime=102.29 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 28175 0 0 0 10221 8 0 0 25 0 4 0 523826641 406691840 49201 33554432000 4194304 4650419 140734538040208 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=397160 CPUtime=101.74 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 45083 0 0 0 10163 11 0 0 25 0 4 0 523826641 406691840 49201 33554432000 4194304 4650419 140734538040208 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 397160

[startup+162.3 s]

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

[pid=19387] ppid=19385 vsize=441936 CPUtime=2565.7 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 433334 0 0 0 256399 171 0 0 25 0 4 0 523826640 452542464 80241 33554432000 4194304 4650419 140734538040208 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 110484 80241 392 112 0 105449 0
[pid=19387/tid=19388] ppid=19385 vsize=441936 CPUtime=642.3 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 112322 0 0 0 64182 48 0 0 25 0 4 0 523826641 452542464 80241 33554432000 4194304 4650419 140734538040208 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=441936 CPUtime=642.29 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 74597 0 0 0 64201 28 0 0 25 0 4 0 523826641 452542464 80241 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=441936 CPUtime=638.8 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 134288 0 0 0 63827 53 0 0 25 0 4 0 523826641 452542464 80241 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.7
Current children cumulated vsize (KiB) 441936

[startup+702.301 s]
/proc/loadavg: 8.00 8.06 7.94 9/184 19409
/proc/meminfo: memFree=30175932/32950928 swapFree=67111448/67111528
[pid=19387] ppid=19385 vsize=442212 CPUtime=2805.38 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 455232 0 0 0 280354 184 0 0 25 0 4 0 523826640 452825088 80615 33554432000 4194304 4650419 140734538040208 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 110553 80615 392 112 0 105518 0
[pid=19387/tid=19388] ppid=19385 vsize=442212 CPUtime=702.3 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 119748 0 0 0 70178 52 0 0 25 0 4 0 523826641 452825088 80615 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=442212 CPUtime=702.29 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 74597 0 0 0 70201 28 0 0 25 0 4 0 523826641 452825088 80615 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=442212 CPUtime=698.47 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 142201 0 0 0 69789 58 0 0 25 0 4 0 523826641 452825088 80615 33554432000 4194304 4650419 140734538040208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 442212

[startup+762.301 s]
/proc/loadavg: 8.11 8.08 7.95 9/184 19411
/proc/meminfo: memFree=30119584/32950928 swapFree=67111448/67111528
[pid=19387] ppid=19385 vsize=442408 CPUtime=3045.07 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 476247 0 0 0 304313 194 0 0 25 0 4 0 523826640 453025792 85908 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 110602 85908 392 112 0 105567 0
[pid=19387/tid=19388] ppid=19385 vsize=442408 CPUtime=762.3 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 127973 0 0 0 76175 55 0 0 25 0 4 0 523826641 453025792 85908 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=442408 CPUtime=762.3 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 74597 0 0 0 76202 28 0 0 25 0 4 0 523826641 453025792 85908 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=442408 CPUtime=758.15 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 149471 0 0 0 75754 61 0 0 25 0 4 0 523826641 453025792 85908 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.07
Current children cumulated vsize (KiB) 442408

[startup+822.301 s]
/proc/loadavg: 8.11 8.08 7.95 9/184 19412
/proc/meminfo: memFree=30148916/32950928 swapFree=67111448/67111528
[pid=19387] ppid=19385 vsize=442660 CPUtime=3284.72 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 493909 0 0 0 328267 205 0 0 25 0 4 0 523826640 453283840 84134 33554432000 4194304 4650419 140734538040208 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 110665 84134 392 112 0 105630 0
[pid=19387/tid=19388] ppid=19385 vsize=442660 CPUtime=822.29 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 135201 0 0 0 82169 60 0 0 25 0 4 0 523826641 453283840 84134 33554432000 4194304 4650419 140734538040208 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=442660 CPUtime=822.29 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 74598 0 0 0 82201 28 0 0 25 0 4 0 523826641 453283840 84134 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=442660 CPUtime=817.82 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 156588 0 0 0 81716 66 0 0 25 0 4 0 523826641 453283840 84134 33554432000 4194304 4650419 140734538040208 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.72
Current children cumulated vsize (KiB) 442660

[startup+882.307 s]
/proc/loadavg: 8.10 8.07 7.96 9/184 19414
/proc/meminfo: memFree=30134252/32950928 swapFree=67111448/67111528
[pid=19387] ppid=19385 vsize=442840 CPUtime=3524.41 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 508718 0 0 0 352226 215 0 0 25 0 4 0 523826640 453468160 85663 33554432000 4194304 4650419 140734538040208 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 110710 85663 392 112 0 105675 0
[pid=19387/tid=19388] ppid=19385 vsize=442840 CPUtime=882.3 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 141549 0 0 0 88166 64 0 0 25 0 4 0 523826641 453468160 85663 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=442840 CPUtime=882.3 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 77904 0 0 0 88199 31 0 0 25 0 4 0 523826641 453468160 85663 33554432000 4194304 4650419 140734538040208 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=442840 CPUtime=877.5 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 161743 0 0 0 87680 70 0 0 25 0 4 0 523826641 453468160 85663 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.41
Current children cumulated vsize (KiB) 442840

[startup+942.3 s]
/proc/loadavg: 8.09 8.07 7.96 9/184 19415
/proc/meminfo: memFree=30116972/32950928 swapFree=67111448/67111528
[pid=19387] ppid=19385 vsize=565892 CPUtime=3764.08 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 529233 0 0 0 376185 223 0 0 25 0 4 0 523826640 579473408 92725 33554432000 4194304 4650419 140734538040208 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 141473 92725 392 112 0 136438 0
[pid=19387/tid=19388] ppid=19385 vsize=565892 CPUtime=942.29 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 149823 0 0 0 94162 67 0 0 25 0 4 0 523826641 579473408 92725 33554432000 4194304 4650419 140734538040208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=565892 CPUtime=942.29 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 81418 0 0 0 94197 32 0 0 25 0 4 0 523826641 579473408 92725 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=565892 CPUtime=937.16 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 170470 0 0 0 93644 72 0 0 25 0 4 0 523826641 579473408 92725 33554432000 4194304 4650419 140734538040208 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.08
Current children cumulated vsize (KiB) 565892

[startup+1002.3 s]
/proc/loadavg: 8.08 8.07 7.97 9/184 19417
/proc/meminfo: memFree=30085812/32950928 swapFree=67111448/67111528
[pid=19387] ppid=19385 vsize=565944 CPUtime=4003.74 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 544701 0 0 0 400145 229 0 0 25 0 4 0 523826640 579526656 95980 33554432000 4194304 4650419 140734538040208 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 141486 95980 392 112 0 136451 0
[pid=19387/tid=19388] ppid=19385 vsize=565944 CPUtime=1002.3 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 153652 0 0 0 100162 68 0 0 25 0 4 0 523826641 579526656 95980 33554432000 4194304 4650419 140734538040208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=565944 CPUtime=1002.3 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 86130 0 0 0 100194 36 0 0 25 0 4 0 523826641 579526656 95980 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=565944 CPUtime=996.84 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 174602 0 0 0 99611 73 0 0 25 0 4 0 523826641 579526656 95980 33554432000 4194304 4650419 140734538040208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.74
Current children cumulated vsize (KiB) 565944

[startup+1062.3 s]
/proc/loadavg: 8.08 8.07 7.97 9/184 19419
/proc/meminfo: memFree=30100268/32950928 swapFree=67111448/67111528
[pid=19387] ppid=19385 vsize=566016 CPUtime=4243.43 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 572113 0 0 0 424107 236 0 0 25 0 4 0 523826640 579600384 91702 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 141504 91702 392 112 0 136469 0
[pid=19387/tid=19388] ppid=19385 vsize=566016 CPUtime=1062.3 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 165616 0 0 0 106160 70 0 0 25 0 4 0 523826641 579600384 91702 33554432000 4194304 4650419 140734538040208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=566016 CPUtime=1062.3 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 88730 0 0 0 106193 37 0 0 25 0 4 0 523826641 579600384 91702 33554432000 4194304 4650419 140734538040208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=566016 CPUtime=1056.51 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 184885 0 0 0 105576 75 0 0 25 0 4 0 523826641 579600384 91702 33554432000 4194304 4650419 140734538040208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.43
Current children cumulated vsize (KiB) 566016

[startup+1122.3 s]
/proc/loadavg: 8.10 8.07 7.98 9/184 19420
/proc/meminfo: memFree=30063980/32950928 swapFree=67111448/67111528
[pid=19387] ppid=19385 vsize=566016 CPUtime=4483.1 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 595530 0 0 0 448068 242 0 0 25 0 4 0 523826640 579600384 95282 33554432000 4194304 4650419 140734538040208 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 141504 95282 392 112 0 136469 0
[pid=19387/tid=19388] ppid=19385 vsize=566016 CPUtime=1122.29 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 176491 0 0 0 112158 71 0 0 25 0 4 0 523826641 579600384 95282 33554432000 4194304 4650419 140734538040208 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=566016 CPUtime=1122.3 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 88730 0 0 0 112193 37 0 0 25 0 4 0 523826641 579600384 95282 33554432000 4194304 4650419 140734538040208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=566016 CPUtime=1116.18 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 192630 0 0 0 111542 76 0 0 25 0 4 0 523826641 579600384 95282 33554432000 4194304 4650419 140734538040208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.1
Current children cumulated vsize (KiB) 566016

[startup+1182.3 s]
/proc/loadavg: 8.11 8.07 7.98 9/184 19422
/proc/meminfo: memFree=30096928/32950928 swapFree=67111448/67111528
[pid=19387] ppid=19385 vsize=566076 CPUtime=4722.78 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 612930 0 0 0 472030 248 0 0 25 0 4 0 523826640 579661824 92322 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 141519 92322 392 112 0 136484 0
[pid=19387/tid=19388] ppid=19385 vsize=566076 CPUtime=1182.3 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 182857 0 0 0 118155 75 0 0 25 0 4 0 523826641 579661824 92322 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=566076 CPUtime=1182.3 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 88730 0 0 0 118193 37 0 0 25 0 4 0 523826641 579661824 92322 33554432000 4194304 4650419 140734538040208 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=566076 CPUtime=1175.87 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 201022 0 0 0 117509 78 0 0 25 0 4 0 523826641 579661824 92322 33554432000 4194304 4650419 140734538040208 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.78
Current children cumulated vsize (KiB) 566076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.07 8.06 7.98 9/184 19454
/proc/meminfo: memFree=30479284/32950928 swapFree=67111448/67111528
[pid=19387] ppid=19385 vsize=619048 CPUtime=4800.29 cores=1,3,5,7
/proc/19387/stat : 19387 (strangenight1-m) R 19385 19387 19209 0 -1 4202496 620914 0 0 0 479776 253 0 0 25 0 4 0 523826640 633905152 92343 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19387/statm: 154762 92343 392 112 0 149727 0
[pid=19387/tid=19388] ppid=19385 vsize=619048 CPUtime=1201.7 cores=1,3,5,7
/proc/19387/task/19388/stat : 19388 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 185833 0 0 0 120094 76 0 0 25 0 4 0 523826641 633905152 92343 33554432000 4194304 4650419 140734538040208 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19387/tid=19389] ppid=19385 vsize=619048 CPUtime=1201.71 cores=1,3,5,7
/proc/19387/task/19389/stat : 19389 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 89697 0 0 0 120133 38 0 0 25 0 4 0 523826641 633905152 92343 33554432000 4194304 4650419 140734538040208 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19387/tid=19390] ppid=19385 vsize=619048 CPUtime=1195.16 cores=1,3,5,7
/proc/19387/task/19390/stat : 19390 (strangenight1-m) R 19385 19387 19209 0 -1 4202560 203755 0 0 0 119437 79 0 0 25 0 4 0 523826641 633905152 92343 33554432000 4194304 4650419 140734538040208 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 619048

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.34
CPU user time (s): 4797.79
CPU system time (s): 2.54961
CPU usage (%): 399.453
Max. virtual memory (cumulated for all children) (KiB): 631808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.79
system time used= 2.54961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 620915
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= 643
involuntary context switches= 18721

runsolver used 1.89371 second user time and 4.67729 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-30 02:11:19
IDJOB=3175395
IDBENCH=83013
IDSOLVER=1588
FILE ID=node126/3175395-1304122279
RUNJOBID= node126-1304121071-19228
PBS_JOBID= 13170739
Free space on /tmp= 71592 MiB

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

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

MD5SUM BENCH= f2a33b1c7727ae45658e5fd83ad755d2
RANDOM SEED=145543618

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30835392 kB
Buffers:        266560 kB
Cached:        1424372 kB
SwapCached:         76 kB
Active:         192624 kB
Inactive:      1612292 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30835392 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:           12640 kB
Writeback:           0 kB
AnonPages:      113520 kB
Mapped:          15532 kB
Slab:           247968 kB
PageTables:       4612 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   334720 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71588 MiB
End job on node126 at 2011-04-30 02:31:23