Trace number 3175201

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

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.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-3175201-1304098316.cnf'
0.00/0.00	c -- header says num vars:             90
0.00/0.00	c -- header says num clauses:        8010
0.00/0.10	c -- clauses added:            0 learnts,         8010 normals,            0 xors
0.00/0.10	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.41/0.19	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.73
0.41/0.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.41/0.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.41/0.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.41/0.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
0.41/0.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.77/0.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
0.77/0.22	c Finding binary XORs  T:     0.00 s  found:       0
0.77/0.22	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.77/0.22	c calculated reachability. Time: 0.00
0.77/0.22	c Calc default polars -  time:   0.00 s pos:      50 undec:       0 neg:      40
0.77/0.22	c =========================================================================================
0.77/0.22	c types(t): F = full restart, N = normal restart
0.77/0.22	c types(t): S = simplification begin/end, E = solution found
0.77/0.22	c restart types(rt): st = static, dy = dynamic
0.77/0.22	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.77/0.22	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
1.17/0.36	c  N dy    15      4025        90      8010         0      3725     56070    109542     24.80     26.19  --
1.97/0.55	c  N dy    25      8992        90      8010         0      5958     56070    162335     25.11     26.43  --
2.78/0.73	c  N dy    42     13044        90      8010         0      5813     56070    144132     25.45     27.59  --
3.58/0.98	c  N dy    66     18256        90      8010         0      5455     56070    115398     25.78     27.19  --
4.79/1.29	c  F st    76     25000        90      8010         0     11680     56070    302679     25.67     24.13  --
4.79/1.29	c  N st    76     25000        90      8010         0     11680     56070    302679     25.67     24.13  --
5.96/1.53	c  N dy    82     30001        90      8010         0      9991     56070    234177     25.67   no data  --
5.96/1.53	c  S st    82     30001        90      8010         0      9991     56070    234177     25.67   no data  --
5.96/1.57	c  S st    82     30505        90      8010         0     10467     56070    248182     25.67   no data  --
5.96/1.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.96/1.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.96/1.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
5.96/1.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
10.76/2.77	c lits-rem:      1537  cl-subs:      699  v-elim:      0  v-fix:    0  time:  4.75 s
12.36/3.14	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.48
12.36/3.14	c calculated reachability. Time: 0.00
12.36/3.14	c  N dy    82     30505        90      8010         0      9768     56070    223624     25.67   no data  --
14.36/3.69	c  N dy    90     40595        90      8010         0     11798     56070    266367     25.41     26.83  --
15.56/3.96	c  N dy   102     44992        90      8010         0     15897     56070    386937     25.41     26.99  --
15.96/4.02	c  S st   106     45759        90      8010         0      8335     56070    148868     25.43     25.39  --
15.96/4.05	c  S st   106     46263        90      8010         0      8815     56070    163148     25.43   no data  --
15.96/4.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.96/4.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.96/4.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
15.96/4.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.96/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
15.96/4.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.56/4.99	c lits-rem:       182  cl-subs:       47  v-elim:      0  v-fix:    0  time:  3.71 s
19.56/4.99	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.56/5.00	c vivif2 --  cl tried     8768 cl shrink        0 lits rem          0 time: 0.00
20.75/5.29	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.16
20.75/5.29	c calculated reachability. Time: 0.00
20.75/5.29	c  N dy   106     46263        90      8010         0      8768     56070    161268     25.43   no data  --
21.97/5.57	c  N dy   115     51819        90      8010         0     13919     56070    309674     25.28     26.67  --
23.15/5.88	c  N dy   128     56569        90      8010         0     18300     56070    437486     25.23     26.83  --
24.34/6.12	c  N dy   154     60587        90      8010         0     12801     56070    264474     25.34     28.85  --
25.54/6.49	c  N dy   174     66388        90      8010         0     18176     56070    423227     25.38     26.99  --
26.76/6.72	c  S st   183     69395        90      8010         0     10786     56070    186886     25.39     24.95  --
26.76/6.76	c  S st   183     69900        90      8010         0     11262     56070    200929     25.39   no data  --
26.76/6.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.76/6.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
26.76/6.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
26.76/6.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.76/6.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.76/6.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
26.76/6.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
30.76/7.73	c lits-rem:       359  cl-subs:      160  v-elim:      0  v-fix:    0  time:  3.84 s
30.76/7.74	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
30.76/7.74	c vivif2 --  cl tried    11102 cl shrink        0 lits rem          0 time: 0.01
32.33/8.10	c asymm  cl-useful: 0/7928/8010 lits-rem:0 time: 1.44
32.33/8.10	c calculated reachability. Time: 0.00
32.33/8.10	c  N dy   183     69900        90      8010         0     11102     56070    195412     25.39   no data  --
33.93/8.57	c  N dy   197     77706        90      8010         0     18298     56070    405594     25.31     26.66  --
35.56/8.98	c  N dy   212     82841        90      8010         0     11971     56070    204345     25.33     26.69  --
36.73/9.28	c  F st   229     87500        90      8010         0     16268     56070    331634     25.36     24.24  --
37.13/9.33	c  N st   231     88128        90      8010         0     16858     56070    349498     25.36   no data  --
38.73/9.73	c  N dy   240     93762        90      8010         0     22089     56070    507387     25.37     27.11  --
40.32/10.18	c  N dy   261     99878        90      8010         0     15749     56070    298286     25.38     26.99  --
41.92/10.56	c  S st   288    104851        90      8010         0     20376     56070    436078     25.43     26.08  --
42.32/10.63	c  S st   288    105355        90      8010         0     20854     56070    450486     25.43   no data  --
42.32/10.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
42.32/10.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
42.32/10.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
42.32/10.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
42.32/10.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.32/10.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
42.32/10.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
50.30/12.67	c lits-rem:      1911  cl-subs:     1413  v-elim:      0  v-fix:    0  time:  8.07 s
50.30/12.67	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
50.30/12.68	c vivif2 --  cl tried    19441 cl shrink        0 lits rem          0 time: 0.02
51.90/13.08	c asymm  cl-useful: 0/5638/8010 lits-rem:0 time: 1.62
51.90/13.08	c calculated reachability. Time: 0.00
51.90/13.08	c  N dy   288    105355        90      8010         0     19441     56070    402813     25.43   no data  --
54.29/13.64	c  N dy   293    112336        90      8010         0     12953     56070    198199     25.39     26.73  --
56.30/14.17	c  N dy   314    120548        90      8010         0     20572     56070    424187     25.38     26.77  --
60.70/15.26	c  N dy   323    136027        90      8010         0     20877     56070    413333     25.22     26.63  --
64.29/16.16	c  N dy   350    145841        90      8010         0     15241     56070    232479     25.23     26.64  --
67.48/16.90	c  N dy   369    156442        90      8010         0     25065     56070    520770     25.22     26.79  --
67.88/17.05	c  S st   382    158032        90      8010         0     26535     56070    565130     25.24     25.10  --
68.28/17.13	c  S st   382    158537        90      8010         0     27013     56070    579386     25.24   no data  --
68.28/17.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
68.28/17.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
68.28/17.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
68.28/17.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
68.28/17.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
68.28/17.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
68.28/17.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.09/19.81	c lits-rem:      1955  cl-subs:     2203  v-elim:      0  v-fix:    0  time: 10.61 s
79.09/19.81	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
79.09/19.82	c vivif2 --  cl tried    24810 cl shrink        0 lits rem          0 time: 0.02
79.87/20.07	c asymm  cl-useful: 0/1924/8010 lits-rem:0 time: 1.00
79.87/20.07	c calculated reachability. Time: 0.00
79.87/20.07	c  N dy   382    158537        90      8010         0     24810     56070    508207     25.24   no data  --
85.86/21.51	c  N dy   426    174635        90      8010         0     24113     56070    474495     25.22     26.65  --
90.65/22.74	c  N dy   434    188568        90      8010         0     20360     56070    351226     25.12     26.48  --
95.44/23.97	c  N dy   473    200811        90      8010         0     31699     56070    683487     25.14     26.55  --
105.03/26.40	c  N dy   491    224638        90      8010         0     35982     56070    775314     24.99     26.36  --
109.84/27.53	c  S st   501    237806        90      8010         0     29722     56070    586091     24.94     25.94  --
110.24/27.61	c  S st   501    238309        90      8010         0     30202     56070    600173     24.94   no data  --
110.24/27.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
110.24/27.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
110.24/27.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
110.24/27.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
110.24/27.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
110.24/27.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
110.24/27.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
121.81/30.57	c lits-rem:      2808  cl-subs:     2501  v-elim:      0  v-fix:    0  time: 11.68 s
121.81/30.57	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
121.81/30.57	c vivif2 --  cl tried    27701 cl shrink        0 lits rem          0 time: 0.02
122.61/30.76	c asymm  cl-useful: 0/2518/8010 lits-rem:0 time: 0.74
122.61/30.76	c calculated reachability. Time: 0.00
122.61/30.76	c  N dy   501    238309        90      8010         0     27701     56070    523911     24.94   no data  --
130.20/32.68	c  N dy   562    256261        90      8010         0     25000     56070    431049     24.95     26.28  --
138.18/34.61	c  N dy   668    272719        90      8010         0     40300     56070    887828     25.05     26.42  --
145.77/36.52	c  N dy   773    290154        90      8010         0     36210     56070    751319     25.13     26.92  --
152.57/38.24	c  F st   813    306250        90      8010         0     29852     56070    539518     25.13     23.89  --
153.79/38.57	c  N st   818    309550        90      8010         0     32933     56070    631752     25.13   no data  --
164.15/41.13	c  N dy   888    331950        90      8010         0     31468     56070    570583     25.16     26.67  --
174.13/43.66	c  N dy   946    352816        90      8010         0     27634     56070    436130     25.17     26.50  --
176.15/44.15	c  S st   974    357464        90      8010         0     31971     56070    565291     25.19     24.30  --
176.53/44.23	c  S st   974    357967        90      8010         0     32447     56070    579299     25.19   no data  --
176.53/44.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
176.53/44.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
176.53/44.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
176.53/44.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
176.53/44.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
176.53/44.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
176.53/44.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
188.52/47.29	c lits-rem:      1988  cl-subs:     1548  v-elim:      0  v-fix:    0  time: 12.07 s
188.52/47.29	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
188.52/47.30	c vivif2 --  cl tried    30899 cl shrink        0 lits rem          0 time: 0.03
190.11/47.66	c asymm  cl-useful: 0/1746/8010 lits-rem:0 time: 1.45
190.11/47.66	c calculated reachability. Time: 0.00
190.11/47.66	c  N dy   974    357967        90      8010         0     30899     56070    527058     25.19   no data  --
204.89/51.33	c  N dy  1010    383852        90      8010         0     30796     56070    510203     25.15     26.54  --
218.48/54.79	c  N dy  1035    411511        90      8010         0     31277     56070    506978     25.08     26.46  --
230.85/57.89	c  N dy  1109    434008        90      8010         0     26240     56070    345340     25.08     26.48  --
241.66/60.57	c  N dy  1229    455032        90      8010         0     45751     56070    925489     25.13     26.65  --
263.63/66.09	c  N dy  1290    495967        90      8010         0     28922     56070    386230     25.03     26.45  --
274.39/68.73	c  N dy  1395    515988        90      8010         0     47545     56070    938456     25.07     27.35  --
286.00/71.68	c  N dy  1482    536099        90      8010         0     37527     56070    622846     25.10     26.65  --
286.78/71.80	c  S st  1489    536950        90      8010         0     38327     56070    647060     25.10   no data  --
287.18/71.90	c  S st  1489    537454        90      8010         0     38801     56070    660892     25.10   no data  --
287.18/71.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
287.18/71.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
287.18/71.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
287.18/71.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
287.18/71.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
287.18/71.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
287.18/71.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
300.37/75.21	c lits-rem:      1312  cl-subs:     1560  v-elim:      0  v-fix:    0  time: 13.08 s
300.37/75.21	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
300.37/75.22	c vivif2 --  cl tried    37241 cl shrink        0 lits rem          0 time: 0.03
301.17/75.45	c asymm  cl-useful: 0/1435/8010 lits-rem:0 time: 0.90
301.17/75.45	c calculated reachability. Time: 0.00
301.17/75.45	c  N dy  1489    537454        90      8010         0     37241     56070    608711     25.10   no data  --
317.53/79.54	c  N dy  1572    564991        90      8010         0     33133     56070    471068     25.10     26.47  --
329.13/82.41	c  N dy  1658    585069        90      8010         0     51760     56070   1021314     25.12     26.57  --
345.50/86.59	c  N dy  1672    615868        90      8010         0     49543     56070    929022     25.06     26.46  --
359.48/90.09	c  N dy  1766    635961        90      8010         0     36809     56070    548656     25.08     26.56  --
371.87/93.19	c  N dy  1797    656234        90      8010         0     55392     56070   1090708     25.06     26.50  --
385.84/96.68	c  N dy  1885    677155        90      8010         0     42530     56070    697021     25.09     26.49  --
398.63/99.84	c  N dy  1937    697203        90      8010         0     61105     56070   1244982     25.08     27.63  --
413.03/103.43	c  N dy  2060    717338        90      8010         0     46540     56070    802124     25.12     26.46  --
429.38/107.57	c  N dy  2146    737368        90      8010         0     65149     56070   1351816     25.14     26.49  --
443.37/111.02	c  N dy  2235    757555        90      8010         0     49556     56070    866654     25.16     26.79  --
460.55/115.34	c  N dy  2323    780060        90      8010         0     70408     56070   1479381     25.17     26.49  --
472.92/118.49	c  N dy  2401    800578        90      8010         0     54171     56070    983205     25.18     26.67  --
477.32/119.56	c  S st  2421    806183        90      8010         0     59407     56070   1137840     25.18     23.92  --
478.12/119.72	c  S st  2421    806686        90      8010         0     59877     56070   1151903     25.18   no data  --
478.12/119.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
478.12/119.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
478.12/119.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
478.12/119.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
478.12/119.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
478.12/119.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
478.12/119.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
524.05/131.23	c lits-rem:      2827  cl-subs:     4307  v-elim:      0  v-fix:    0  time: 45.69 s
524.05/131.23	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
524.05/131.24	c vivif2 --  cl tried    55570 cl shrink        0 lits rem          0 time: 0.05
525.25/131.56	c asymm  cl-useful: 0/1008/8010 lits-rem:0 time: 1.25
525.25/131.56	c calculated reachability. Time: 0.00
525.25/131.56	c  N dy  2421    806686        90      8010         0     55570     56070   1012753     25.18   no data  --
541.63/135.66	c  N dy  2495    826836        90      8010         0     38259     56070    494509     25.19     26.55  --
569.19/142.59	c  N dy  2546    874255        90      8010         0     44921     56070    668019     25.08     26.43  --
585.57/146.61	c  N dy  2662    895689        90      8010         0     64823     56070   1262246     25.11     26.84  --
601.15/150.55	c  N dy  2731    915732        90      8010         0     45496     56070    667635     25.11     28.74  --
626.31/156.81	c  N dy  2809    951383        90      8010         0     39710     56070    481028     25.09     26.52  --
638.70/159.93	c  N dy  2863    971887        90      8010         0     58740     56070   1042098     25.09     26.55  --
655.10/164.04	c  N dy  2909    992015        90      8010         0     77337     56070   1584999     25.09     26.48  --
669.85/167.73	c  N dy  2980   1012777        90      8010         0     56785     56070    968568     25.10     26.53  --
689.03/172.50	c  N dy  3047   1035885        90      8010         0     78142     56070   1592695     25.09     26.43  --
703.03/176.07	c  N dy  3093   1057300        90      8010         0     57227     56070    958007     25.08     26.44  --
715.40/179.15	c  F st  3156   1071877        90      8010         0     70732     56070   1356954     25.09     25.04  --
719.79/180.29	c  N dy  3165   1077388        90      8010         0     75798     56070   1510749     25.09     26.59  --
741.36/185.60	c  N dy  3296   1102768        90      8010         0     57587     56070    953195     25.11     26.48  --
761.33/190.63	c  N dy  3404   1122814        90      8010         0     76222     56070   1509595     25.13     27.45  --
785.30/196.64	c  N dy  3508   1143291        90      8010         0     52679     56070    790134     25.14     26.61  --
806.47/201.97	c  N dy  3578   1164822        90      8010         0     72642     56070   1381690     25.15     26.48  --
833.64/208.79	c  N dy  3699   1186713        90      8010         0     49383     56070    676529     25.17     26.51  --
854.81/214.08	c  N dy  3764   1208408        90      8010         0     69430     56070   1267271     25.17     26.64  --
857.23/214.61	c  S st  3773   1210031        90      8010         0     70923     56070   1311877     25.17   no data  --
858.00/214.89	c  S st  3773   1210533        90      8010         0     71391     56070   1326462     25.17   no data  --
858.00/214.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
858.00/214.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
858.40/214.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.22
858.80/215.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
858.80/215.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
858.80/215.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
858.80/215.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
948.27/237.43	c lits-rem:      3526  cl-subs:     5073  v-elim:      0  v-fix:    0  time: 89.59 s
948.27/237.43	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
948.27/237.45	c vivif2 --  cl tried    66318 cl shrink        0 lits rem          0 time: 0.07
949.87/237.84	c asymm  cl-useful: 0/814/8010 lits-rem:0 time: 1.57
949.87/237.85	c calculated reachability. Time: 0.00
949.87/237.85	c  N dy  3773   1210533        90      8010         0     66318     56070   1164622     25.17   no data  --
968.64/242.58	c  N dy  3815   1230535        90      8010         0     84740     56070   1703324     25.16     28.08  --
986.22/246.95	c  N dy  3915   1250956        90      8010         0     59468     56070    957295     25.17     26.51  --
1007.80/252.30	c  N dy  4028   1271008        90      8010         0     78027     56070   1511430     25.19     26.77  --
1032.16/258.42	c  N dy  4118   1291692        90      8010         0     51912     56070    714315     25.20     26.56  --
1050.93/263.19	c  N dy  4203   1311783        90      8010         0     70498     56070   1265165     25.21     27.44  --
1074.51/269.06	c  N dy  4256   1331899        90      8010         0     89142     56070   1815838     25.21     26.75  --
1093.69/273.87	c  N dy  4315   1352971        90      8010         0     62323     56070    991509     25.21     26.57  --
1117.65/279.80	c  N dy  4410   1373177        90      8010         0     81029     56070   1548074     25.22     26.62  --
1138.81/285.19	c  N dy  4476   1393264        90      8010         0     52493     56070    689011     25.22     27.82  --
1154.40/289.05	c  N dy  4544   1413294        90      8010         0     71001     56070   1238615     25.23     29.30  --
1180.36/295.53	c  N dy  4645   1435869        90      8010         0     91906     56070   1860520     25.24     26.68  --
1198.73/300.13	c  N dy  4702   1459828        90      8010         0     65919     56070   1068655     25.23     26.68  --
1220.71/305.66	c  N dy  4784   1481788        90      8010         0     86289     56070   1675617     25.24     26.73  --
1244.67/311.65	c  N dy  4857   1505606        90      8010         0     59205     56070    843731     25.24     26.57  --
1263.84/316.41	c  N dy  4964   1525667        90      8010         0     77826     56070   1398171     25.25     26.82  --
1289.01/322.79	c  N dy  5069   1546270        90      8010         0     96883     56070   1965509     25.27     26.68  --
1306.58/327.11	c  N dy  5136   1566302        90      8010         0     65499     56070   1017845     25.27     26.93  --
1363.71/341.43	c  N dy  5162   1638891        90      8010         0     80979     56070   1441399     25.17     26.53  --
1390.88/348.25	c  N dy  5272   1658961        90      8010         0     99592     56070   1995274     25.18     28.05  --
1417.24/354.88	c  N dy  5330   1685583        90      8010         0     72673     56070   1197275     25.18     26.53  --
1452.79/363.74	c  N dy  5442   1710533        90      8010         0     95798     56070   1884472     25.19     23.62  --
1452.79/363.74	c  S st  5442   1710533        90      8010         0     95798     56070   1884472     25.19     23.62  --
1453.99/364.07	c  S st  5442   1711037        90      8010         0     96270     56070   1899165     25.19   no data  --
1453.99/364.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1453.99/364.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1454.41/364.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.24
1454.80/364.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1454.80/364.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1454.80/364.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1454.80/364.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1626.17/407.13	c lits-rem:      4853  cl-subs:     8606  v-elim:      0  v-fix:    0  time: 171.38 s
1626.17/407.13	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1626.17/407.15	c vivif2 --  cl tried    87664 cl shrink        0 lits rem          0 time: 0.08
1627.36/407.48	c asymm  cl-useful: 0/887/8010 lits-rem:0 time: 1.33
1627.36/407.49	c calculated reachability. Time: 0.00
1627.36/407.49	c  N dy  5442   1711037        90      8010         0     87664     56070   1629280     25.19   no data  --
1653.71/414.05	c  N dy  5523   1731814        90      8010         0     54698     56070    654158     25.20     26.54  --
1673.69/419.05	c  N dy  5628   1754991        90      8010         0     76187     56070   1291736     25.20     26.81  --
1695.66/424.55	c  N dy  5666   1774999        90      8010         0     94575     56070   1830942     25.20     26.60  --
1724.02/431.62	c  N dy  5750   1795014        90      8010         0     59769     56070    783954     25.21     28.59  --
1745.98/437.13	c  N dy  5840   1815158        90      8010         0     78440     56070   1336464     25.21     26.58  --
1801.93/451.11	c  N dy  5867   1870611        90      8010         0     74883     56070   1193114     25.16     26.60  --
1826.68/457.36	c  N dy  5968   1893384        90      8010         0     95941     56070   1819685     25.17     26.50  --
1853.04/463.92	c  N dy  6045   1915414        90      8010         0     61056     56070    784604     25.17     26.72  --
1874.21/469.22	c  N dy  6140   1937687        90      8010         0     81636     56070   1397047     25.18     26.65  --
1900.17/475.70	c  N dy  6242   1957856        90      8010         0    100312     56070   1954145     25.19     26.70  --
1927.34/482.54	c  N dy  6341   1977931        90      8010         0     62576     56070    808014     25.20     28.86  --
1948.51/487.82	c  N dy  6437   1999623        90      8010         0     82686     56070   1406536     25.21     26.55  --
1972.08/493.77	c  N dy  6483   2019644        90      8010         0    101121     56070   1947295     25.20     26.56  --
2000.44/500.84	c  N dy  6600   2039849        90      8010         0     62589     56070    793812     25.22     26.62  --
2020.01/505.79	c  N dy  6656   2061290        90      8010         0     82386     56070   1376290     25.22     26.76  --
2047.18/512.50	c  N dy  6744   2082688        90      8010         0    102116     56070   1965002     25.22     26.58  --
2078.36/520.32	c  N dy  6807   2109505        90      8010         0     68632     56070    944471     25.21     26.82  --
2099.51/525.64	c  N dy  6900   2129537        90      8010         0     87138     56070   1495270     25.22     27.37  --
2129.07/533.06	c  N dy  6987   2150319        90      8010         0    106417     56070   2066425     25.22     26.58  --
2158.63/540.48	c  N dy  7065   2173559        90      8010         0     68734     56070    928412     25.22     26.55  --
2182.20/546.31	c  N dy  7156   2195709        90      8010         0     89215     56070   1537760     25.23     26.65  --
2204.56/551.90	c  S st  7247   2211037        90      8010         0    103420     56070   1965543     25.24     26.02  --
2205.78/552.29	c  S st  7247   2211538        90      8010         0    103885     56070   1979472     25.24   no data  --
2205.78/552.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2205.78/552.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2206.18/552.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.26
2206.56/552.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2206.56/552.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2206.56/552.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2206.56/552.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2807.35/702.88	c lits-rem:      5513  cl-subs:     8211  v-elim:      0  v-fix:    0  time: 600.81 s
2807.35/702.88	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2807.77/702.91	c vivif2 --  cl tried    95674 cl shrink        0 lits rem          0 time: 0.10
2809.34/703.33	c asymm  cl-useful: 0/692/8010 lits-rem:0 time: 1.70
2809.34/703.33	c calculated reachability. Time: 0.00
2809.34/703.33	c  N dy  7247   2211538        90      8010         0     95674     56070   1717772     25.24   no data  --
2842.09/711.53	c  N dy  7335   2231558        90      8010         0    114107     56070   2265338     25.24     26.70  --
2869.28/718.31	c  N dy  7421   2252099        90      8010         0     73384     56070   1062351     25.25     26.64  --
2891.25/723.86	c  N dy  7486   2272658        90      8010         0     92338     56070   1620149     25.25     26.58  --
2921.18/731.31	c  N dy  7582   2292993        90      8010         0    111202     56070   2181927     25.26     26.59  --
2953.54/739.45	c  N dy  7652   2314285        90      8010         0     70014     56070    937826     25.26     26.88  --
2982.70/746.78	c  N dy  7733   2339609        90      8010         0     93383     56070   1628674     25.26     26.62  --
3012.66/754.28	c  N dy  7801   2361888        90      8010         0    113956     56070   2235683     25.26     26.59  --
3040.22/761.12	c  N dy  7884   2381986        90      8010         0     70752     56070    941449     25.27     27.04  --
3060.59/766.22	c  N dy  7955   2402062        90      8010         0     89394     56070   1497740     25.27     26.65  --
3088.56/773.28	c  N dy  8050   2422067        90      8010         0    107904     56070   2048898     25.27     29.29  --
3121.31/781.47	c  N dy  8114   2442779        90      8010         0     64174     56070    724408     25.27     26.62  --
3140.88/786.31	c  N dy  8188   2462935        90      8010         0     82815     56070   1278912     25.28     26.65  --
3163.26/791.98	c  N dy  8216   2482975        90      8010         0    101205     56070   1816309     25.27     28.40  --
3196.81/800.35	c  N dy  8288   2505393        90      8010         0    121932     56070   2431350     25.28     26.66  --
3221.57/806.54	c  N dy  8360   2526360        90      8010         0     77690     56070   1110467     25.28     26.62  --
3246.34/812.78	c  N dy  8412   2549346        90      8010         0     98802     56070   1732028     25.28     26.61  --
3296.27/825.27	c  N dy  8454   2592030        90      8010         0     73392     56070    959244     25.25     26.66  --
3319.84/831.13	c  N dy  8496   2614467        90      8010         0     93968     56070   1564782     25.25     26.69  --
3351.79/839.16	c  N dy  8560   2634512        90      8010         0    112539     56070   2110476     25.25     26.61  --
3385.35/847.57	c  N dy  8634   2654524        90      8010         0     65604     56070    716377     25.25     26.62  --
3406.12/852.74	c  N dy  8731   2674530        90      8010         0     84062     56070   1267194     25.26     26.72  --
3432.88/859.44	c  N dy  8835   2694585        90      8010         0    102620     56070   1820923     25.26     26.63  --
3459.26/866.02	c  S st  8899   2711541        90      8010         0    118285     56070   2286289     25.27     23.82  --
3460.45/866.40	c  S st  8899   2712044        90      8010         0    118757     56070   2300284     25.27   no data  --
3460.85/866.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3460.85/866.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3460.85/866.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.25
3461.25/866.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3461.25/866.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3461.25/866.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3461.25/866.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4489.45/1123.90	c lits-rem:      6489  cl-subs:     9179  v-elim:      0  v-fix:    0  time: 1027.93 s
4489.45/1123.91	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
4489.45/1123.93	c vivif2 --  cl tried   109578 cl shrink        0 lits rem          0 time: 0.12
4491.45/1124.44	c asymm  cl-useful: 0/581/8010 lits-rem:0 time: 2.03
4491.45/1124.45	c calculated reachability. Time: 0.00
4491.45/1124.45	c  N dy  8899   2712044        90      8010         0    109578     56070   1999818     25.27   no data  --
4541.78/1137.06	c  N dy  9052   2732335        90      8010         0    128398     56070   2569097     25.28     26.63  --
4575.73/1145.56	c  N dy  9150   2752416        90      8010         0     80788     56070   1158013     25.29     26.98  --
4614.48/1155.27	c  N dy  9219   2777909        90      8010         0    104403     56070   1861008     25.29     26.73  --
4661.62/1167.07	c  N dy  9348   2798601        90      8010         0    123585     56070   2437013     25.30     26.72  --
4704.76/1177.89	c  N dy  9454   2818661        90      8010         0     74905     56070    958148     25.30     26.83  --
4739.11/1186.42	c  N dy  9588   2838733        90      8010         0     93540     56070   1520785     25.32     26.69  --
4774.66/1195.36	c  N dy  9685   2858782        90      8010         0    112167     56070   2076997     25.32     28.31  --

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.78 8.01 8.06 5/184 23743
/proc/meminfo: memFree=25189740/32951124 swapFree=67111524/67111528
[pid=23743] ppid=23741 vsize=208044 CPUtime=0.01 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 815 0 0 0 1 0 0 0 25 0 4 0 521429744 213037056 727 33554432000 4194304 4650419 140735722021856 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 52011 728 343 112 0 46976 0
[pid=23743/tid=23744] ppid=23741 vsize=208044 CPUtime=0 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 109 0 0 0 0 0 0 0 25 0 4 0 521429744 213037056 731 33554432000 4194304 4650419 140735722021856 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=208044 CPUtime=0 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 55 0 0 0 0 0 0 0 25 0 4 0 521429744 213037056 731 33554432000 4194304 4650419 140735722021856 18446744073709551615 232335892283 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=208044 CPUtime=0 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 124 0 0 0 0 0 0 0 25 0 4 0 521429744 213037056 734 33554432000 4194304 4650419 140735722021856 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.10746 s]
/proc/loadavg: 7.78 8.01 8.06 5/184 23743
/proc/meminfo: memFree=25189740/32951124 swapFree=67111524/67111528
[pid=23743] ppid=23741 vsize=216524 CPUtime=0.41 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 1639 0 0 0 41 0 0 0 25 0 4 0 521429744 221720576 1551 33554432000 4194304 4650419 140735722021856 18446744073709551615 4370675 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 54131 1551 366 112 0 49096 0
[pid=23743/tid=23744] ppid=23741 vsize=216524 CPUtime=0.1 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 268 0 0 0 10 0 0 0 25 0 4 0 521429744 221720576 1551 33554432000 4194304 4650419 140735722021856 18446744073709551615 4536660 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=216524 CPUtime=0.09 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 260 0 0 0 9 0 0 0 25 0 4 0 521429744 221720576 1551 33554432000 4194304 4650419 140735722021856 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=216524 CPUtime=0.1 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 415 0 0 0 10 0 0 0 25 0 4 0 521429744 221720576 1551 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 216524

[startup+0.200447 s]
/proc/loadavg: 7.78 8.01 8.06 5/184 23743
/proc/meminfo: memFree=25189740/32951124 swapFree=67111524/67111528
[pid=23743] ppid=23741 vsize=220644 CPUtime=0.77 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 3628 0 0 0 77 0 0 0 18 0 4 0 521429744 225939456 3050 33554432000 4194304 4650419 140735722021856 18446744073709551615 4476812 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 55161 3050 384 112 0 50126 0
[pid=23743/tid=23744] ppid=23741 vsize=220644 CPUtime=0.19 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 916 0 0 0 19 0 0 0 18 0 4 0 521429744 225939456 3050 33554432000 4194304 4650419 140735722021856 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=220644 CPUtime=0.19 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 669 0 0 0 19 0 0 0 25 0 4 0 521429744 225939456 3050 33554432000 4194304 4650419 140735722021856 18446744073709551615 4426564 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=220644 CPUtime=0.19 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 741 0 0 0 19 0 0 0 25 0 4 0 521429744 225939456 3050 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 220644

[startup+0.300429 s]
/proc/loadavg: 7.78 8.01 8.06 5/184 23743
/proc/meminfo: memFree=25189740/32951124 swapFree=67111524/67111528
[pid=23743] ppid=23741 vsize=220644 CPUtime=1.17 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 4120 0 0 0 117 0 0 0 18 0 4 0 521429744 225939456 3426 33554432000 4194304 4650419 140735722021856 18446744073709551615 4333054 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 55161 3426 390 112 0 50126 0
[pid=23743/tid=23744] ppid=23741 vsize=220644 CPUtime=0.29 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 993 0 0 0 29 0 0 0 18 0 4 0 521429744 225939456 3427 33554432000 4194304 4650419 140735722021856 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=220644 CPUtime=0.28 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 940 0 0 0 28 0 0 0 25 0 4 0 521429744 225939456 3427 33554432000 4194304 4650419 140735722021856 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=220644 CPUtime=0.29 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 818 0 0 0 29 0 0 0 25 0 4 0 521429744 225939456 3427 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 220644

[startup+0.70036 s]
/proc/loadavg: 7.78 8.01 8.06 5/184 23743
/proc/meminfo: memFree=25189740/32951124 swapFree=67111524/67111528
[pid=23743] ppid=23741 vsize=222412 CPUtime=2.78 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 6704 0 0 0 277 1 0 0 18 0 4 0 521429744 227749888 4035 33554432000 4194304 4650419 140735722021856 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 55603 4035 390 112 0 50568 0
[pid=23743/tid=23744] ppid=23741 vsize=222412 CPUtime=0.69 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 1646 0 0 0 69 0 0 0 18 0 4 0 521429744 227749888 4035 33554432000 4194304 4650419 140735722021856 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=222412 CPUtime=0.68 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 1642 0 0 0 68 0 0 0 25 0 4 0 521429744 227749888 4035 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=222412 CPUtime=0.69 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 1342 0 0 0 69 0 0 0 25 0 4 0 521429744 227749888 4035 33554432000 4194304 4650419 140735722021856 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 222412

[startup+1.50022 s]
/proc/loadavg: 7.78 8.01 8.06 10/188 23747
/proc/meminfo: memFree=25171232/32951124 swapFree=67111524/67111528
[pid=23743] ppid=23741 vsize=223860 CPUtime=5.96 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 10899 0 0 0 595 1 0 0 19 0 4 0 521429744 229232640 4881 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 55965 4881 391 112 0 50930 0
[pid=23743/tid=23744] ppid=23741 vsize=223860 CPUtime=1.49 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 2677 0 0 0 149 0 0 0 19 0 4 0 521429744 229232640 4881 33554432000 4194304 4650419 140735722021856 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=223860 CPUtime=1.48 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 2701 0 0 0 148 0 0 0 25 0 4 0 521429744 229232640 4881 33554432000 4194304 4650419 140735722021856 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=223860 CPUtime=1.49 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 2401 0 0 0 149 0 0 0 25 0 4 0 521429744 229232640 4881 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 223860

[startup+3.10094 s]
/proc/loadavg: 7.78 8.01 8.06 9/188 23747
/proc/meminfo: memFree=25153872/32951124 swapFree=67111524/67111528
[pid=23743] ppid=23741 vsize=229804 CPUtime=12.36 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 20628 0 0 0 1233 3 0 0 23 0 4 0 521429744 235319296 12525 33554432000 4194304 4650419 140735722021856 18446744073709551615 4370697 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 57451 12525 392 112 0 52416 0
[pid=23743/tid=23744] ppid=23741 vsize=229804 CPUtime=3.08 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 4528 0 0 0 308 0 0 0 24 0 4 0 521429744 235319296 12525 33554432000 4194304 4650419 140735722021856 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=229804 CPUtime=3.08 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 5661 0 0 0 307 1 0 0 25 0 4 0 521429744 235319296 12525 33554432000 4194304 4650419 140735722021856 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=229804 CPUtime=3.09 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 5658 0 0 0 308 1 0 0 25 0 4 0 521429744 235319296 12525 33554432000 4194304 4650419 140735722021856 18446744073709551615 4370519 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 229804

[startup+6.30037 s]
/proc/loadavg: 7.80 8.01 8.06 9/188 23748
/proc/meminfo: memFree=25120188/32951124 swapFree=67111524/67111528
[pid=23743] ppid=23741 vsize=219312 CPUtime=25.14 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 29122 0 0 0 2509 5 0 0 25 0 4 0 521429744 224575488 16364 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 54828 16364 392 112 0 49793 0
[pid=23743/tid=23744] ppid=23741 vsize=219312 CPUtime=6.29 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 7799 0 0 0 628 1 0 0 25 0 4 0 521429744 224575488 16364 33554432000 4194304 4650419 140735722021856 18446744073709551615 4438603 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=219312 CPUtime=6.25 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 7096 0 0 0 624 1 0 0 25 0 4 0 521429744 224575488 16364 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=219312 CPUtime=6.29 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 7741 0 0 0 628 1 0 0 25 0 4 0 521429744 224575488 16364 33554432000 4194304 4650419 140735722021856 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 219312

[startup+12.7002 s]
/proc/loadavg: 7.81 8.01 8.06 9/188 23748
/proc/meminfo: memFree=25085852/32951124 swapFree=67111524/67111528
[pid=23743] ppid=23741 vsize=247584 CPUtime=50.7 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 42377 0 0 0 5062 8 0 0 25 0 4 0 521429744 253526016 22738 33554432000 4194304 4650419 140735722021856 18446744073709551615 4370665 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 61896 22738 392 112 0 56861 0
[pid=23743/tid=23744] ppid=23741 vsize=247584 CPUtime=12.68 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 10171 0 0 0 1267 1 0 0 25 0 4 0 521429744 253526016 22738 33554432000 4194304 4650419 140735722021856 18446744073709551615 4476230 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=247584 CPUtime=12.62 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 10784 0 0 0 1260 2 0 0 25 0 4 0 521429744 253526016 22738 33554432000 4194304 4650419 140735722021856 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=247584 CPUtime=12.68 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 12124 0 0 0 1266 2 0 0 25 0 4 0 521429744 253526016 22738 33554432000 4194304 4650419 140735722021856 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 247584

[startup+25.501 s]
/proc/loadavg: 7.85 8.01 8.06 10/188 23748
/proc/meminfo: memFree=25047656/32951124 swapFree=67111524/67111528
[pid=23743] ppid=23741 vsize=317656 CPUtime=101.83 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 62946 0 0 0 10170 13 0 0 25 0 4 0 521429744 325279744 31460 33554432000 4194304 4650419 140735722021856 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 79414 31460 392 112 0 74379 0
[pid=23743/tid=23744] ppid=23741 vsize=317656 CPUtime=25.49 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 14217 0 0 0 2547 2 0 0 25 0 4 0 521429744 325279744 31460 33554432000 4194304 4650419 140735722021856 18446744073709551615 4441685 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=317656 CPUtime=25.35 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 15978 0 0 0 2532 3 0 0 25 0 4 0 521429744 325279744 31460 33554432000 4194304 4650419 140735722021856 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=317656 CPUtime=25.48 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 18651 0 0 0 2544 4 0 0 25 0 4 0 521429744 325279744 31460 33554432000 4194304 4650419 140735722021856 18446744073709551615 4334120 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 317656

[startup+51.1004 s]
/proc/loadavg: 8.04 8.04 8.07 9/188 23749
/proc/meminfo: memFree=25017680/32951124 swapFree=67111524/67111528
[pid=23743] ppid=23741 vsize=307208 CPUtime=204.09 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 93365 0 0 0 20387 22 0 0 25 0 4 0 521429744 314580992 33282 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 76802 33282 392 112 0 71767 0
[pid=23743/tid=23744] ppid=23741 vsize=307208 CPUtime=51.09 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 21516 0 0 0 5105 4 0 0 25 0 4 0 521429744 314580992 33282 33554432000 4194304 4650419 140735722021856 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=307208 CPUtime=50.81 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 23264 0 0 0 5076 5 0 0 25 0 4 0 521429744 314580992 33282 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=307208 CPUtime=51.08 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 27859 0 0 0 5101 7 0 0 25 0 4 0 521429744 314580992 33282 33554432000 4194304 4650419 140735722021856 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 307208

[startup+102.3 s]
/proc/loadavg: 8.22 8.08 8.08 9/188 23750
/proc/meminfo: memFree=24953424/32951124 swapFree=67111524/67111528
[pid=23743] ppid=23741 vsize=340044 CPUtime=408.64 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 132998 0 0 0 40830 34 0 0 25 0 4 0 521429744 348205056 45119 33554432000 4194304 4650419 140735722021856 18446744073709551615 4361043 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 85011 45119 392 112 0 79976 0
[pid=23743/tid=23744] ppid=23741 vsize=340044 CPUtime=102.29 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 27910 0 0 0 10223 6 0 0 25 0 4 0 521429744 348205056 45119 33554432000 4194304 4650419 140735722021856 18446744073709551615 4433084 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=340044 CPUtime=101.73 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 32991 0 0 0 10165 8 0 0 25 0 4 0 521429744 348205056 45119 33554432000 4194304 4650419 140735722021856 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=340044 CPUtime=102.27 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 42210 0 0 0 10217 10 0 0 25 0 4 0 521429744 348205056 45119 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 340044

[startup+162.301 s]

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

[pid=23743] ppid=23741 vsize=485612 CPUtime=2565.67 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 400962 0 0 0 256431 136 0 0 25 0 4 0 521429744 497266688 83814 33554432000 4194304 4650419 140735722021856 18446744073709551615 4476331 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 121403 83814 392 112 0 116368 0
[pid=23743/tid=23744] ppid=23741 vsize=485612 CPUtime=642.3 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 86771 0 0 0 64198 32 0 0 25 0 4 0 521429744 497266688 83814 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=485612 CPUtime=638.8 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 107772 0 0 0 63844 36 0 0 25 0 4 0 521429744 497266688 83814 33554432000 4194304 4650419 140735722021856 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=485612 CPUtime=642.23 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 117979 0 0 0 64188 35 0 0 25 0 4 0 521429744 497266688 83814 33554432000 4194304 4650419 140735722021856 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.67
Current children cumulated vsize (KiB) 485612

[startup+702.301 s]
/proc/loadavg: 8.20 8.19 8.12 9/188 23766
/proc/meminfo: memFree=24737084/32951124 swapFree=67111524/67111528
[pid=23743] ppid=23741 vsize=473132 CPUtime=2805.35 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 427924 0 0 0 280390 145 0 0 25 0 4 0 521429744 484487168 81164 33554432000 4194304 4650419 140735722021856 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 118283 81164 392 112 0 113248 0
[pid=23743/tid=23744] ppid=23741 vsize=473132 CPUtime=702.3 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 94049 0 0 0 70194 36 0 0 25 0 4 0 521429744 484487168 81164 33554432000 4194304 4650419 140735722021856 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=473132 CPUtime=698.48 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 113999 0 0 0 69809 39 0 0 25 0 4 0 521429744 484487168 81164 33554432000 4194304 4650419 140735722021856 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=473132 CPUtime=702.23 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 131436 0 0 0 70186 37 0 0 25 0 4 0 521429744 484487168 81164 33554432000 4194304 4650419 140735722021856 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.35
Current children cumulated vsize (KiB) 473132

[startup+762.301 s]
/proc/loadavg: 8.17 8.18 8.11 9/188 23768
/proc/meminfo: memFree=24650132/32951124 swapFree=67111524/67111528
[pid=23743] ppid=23741 vsize=538728 CPUtime=3045.04 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 452134 0 0 0 304349 155 0 0 25 0 4 0 521429744 551657472 91857 33554432000 4194304 4650419 140735722021856 18446744073709551615 4364766 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 134682 91857 392 112 0 129647 0
[pid=23743/tid=23744] ppid=23741 vsize=538728 CPUtime=762.31 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 98983 0 0 0 76193 38 0 0 25 0 4 0 521429744 551657472 91857 33554432000 4194304 4650419 140735722021856 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=538728 CPUtime=758.15 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 118496 0 0 0 75774 41 0 0 25 0 4 0 521429744 551657472 91857 33554432000 4194304 4650419 140735722021856 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=538728 CPUtime=762.23 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 141356 0 0 0 76183 40 0 0 25 0 4 0 521429744 551657472 91857 33554432000 4194304 4650419 140735722021856 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.04
Current children cumulated vsize (KiB) 538728

[startup+822.301 s]
/proc/loadavg: 8.17 8.17 8.11 9/188 23769
/proc/meminfo: memFree=24633492/32951124 swapFree=67111524/67111528
[pid=23743] ppid=23741 vsize=538892 CPUtime=3284.69 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 477589 0 0 0 328303 166 0 0 25 0 4 0 521429744 551825408 101692 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 134723 101692 392 112 0 129688 0
[pid=23743/tid=23744] ppid=23741 vsize=538892 CPUtime=822.31 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 107261 0 0 0 82189 42 0 0 25 0 4 0 521429744 551825408 101692 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=538892 CPUtime=817.82 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 124763 0 0 0 81739 43 0 0 25 0 4 0 521429744 551825408 101692 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=538892 CPUtime=822.22 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 147607 0 0 0 82179 43 0 0 25 0 4 0 521429744 551825408 101692 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.69
Current children cumulated vsize (KiB) 538892

[startup+882.307 s]
/proc/loadavg: 8.23 8.19 8.12 9/188 23771
/proc/meminfo: memFree=24632236/32951124 swapFree=67111524/67111528
[pid=23743] ppid=23741 vsize=539012 CPUtime=3524.38 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 493007 0 0 0 352266 172 0 0 25 0 4 0 521429744 551948288 96828 33554432000 4194304 4650419 140735722021856 18446744073709551615 4439086 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 134753 96828 392 112 0 129718 0
[pid=23743/tid=23744] ppid=23741 vsize=539012 CPUtime=882.32 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 113912 0 0 0 88186 46 0 0 25 0 4 0 521429744 551948288 96828 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=539012 CPUtime=877.5 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 126352 0 0 0 87706 44 0 0 25 0 4 0 521429744 551948288 96828 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=539012 CPUtime=882.22 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 151949 0 0 0 88178 44 0 0 25 0 4 0 521429744 551948288 96828 33554432000 4194304 4650419 140735722021856 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.38
Current children cumulated vsize (KiB) 539012

[startup+942.301 s]
/proc/loadavg: 8.26 8.20 8.12 9/188 23772
/proc/meminfo: memFree=24633572/32951124 swapFree=67111524/67111528
[pid=23743] ppid=23741 vsize=558092 CPUtime=3764.04 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 504654 0 0 0 376226 178 0 0 25 0 4 0 521429744 571486208 101726 33554432000 4194304 4650419 140735722021856 18446744073709551615 4476297 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 139523 101726 392 112 0 134488 0
[pid=23743/tid=23744] ppid=23741 vsize=558092 CPUtime=942.31 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 120118 0 0 0 94183 48 0 0 25 0 4 0 521429744 571486208 101726 33554432000 4194304 4650419 140735722021856 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=558092 CPUtime=937.18 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 131748 0 0 0 93671 47 0 0 25 0 4 0 521429744 571486208 101726 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=558092 CPUtime=942.21 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 151992 0 0 0 94177 44 0 0 25 0 4 0 521429744 571486208 101726 33554432000 4194304 4650419 140735722021856 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.04
Current children cumulated vsize (KiB) 558092

[startup+1002.3 s]
/proc/loadavg: 8.22 8.19 8.12 9/188 23774
/proc/meminfo: memFree=24607516/32951124 swapFree=67111524/67111528
[pid=23743] ppid=23741 vsize=558152 CPUtime=4003.7 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 509283 0 0 0 400189 181 0 0 25 0 4 0 521429744 571547648 102984 33554432000 4194304 4650419 140735722021856 18446744073709551615 4476440 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 139538 102984 392 112 0 134503 0
[pid=23743/tid=23744] ppid=23741 vsize=558152 CPUtime=1002.31 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 120118 0 0 0 100183 48 0 0 25 0 4 0 521429744 571547648 102984 33554432000 4194304 4650419 140735722021856 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=558152 CPUtime=996.84 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 136354 0 0 0 99634 50 0 0 25 0 4 0 521429744 571547648 102984 33554432000 4194304 4650419 140735722021856 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=558152 CPUtime=1002.2 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 152015 0 0 0 100176 44 0 0 25 0 4 0 521429744 571547648 102984 33554432000 4194304 4650419 140735722021856 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.7
Current children cumulated vsize (KiB) 558152

[startup+1062.3 s]
/proc/loadavg: 5.86 7.53 7.90 5/179 23794
/proc/meminfo: memFree=24972752/32951124 swapFree=67111524/67111528
[pid=23743] ppid=23741 vsize=558264 CPUtime=4243.39 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 514975 0 0 0 424154 185 0 0 25 0 4 0 521429744 571662336 101825 33554432000 4194304 4650419 140735722021856 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 139566 101825 392 112 0 134531 0
[pid=23743/tid=23744] ppid=23741 vsize=558264 CPUtime=1062.31 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 120125 0 0 0 106183 48 0 0 25 0 4 0 521429744 571662336 101825 33554432000 4194304 4650419 140735722021856 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=558264 CPUtime=1056.52 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 142039 0 0 0 105599 53 0 0 25 0 4 0 521429744 571662336 101825 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=558264 CPUtime=1062.2 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 152015 0 0 0 106176 44 0 0 25 0 4 0 521429744 571662336 101825 33554432000 4194304 4650419 140735722021856 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.39
Current children cumulated vsize (KiB) 558264

[startup+1122.3 s]
/proc/loadavg: 4.83 6.91 7.66 5/179 23795
/proc/meminfo: memFree=24962208/32951124 swapFree=67111524/67111528
[pid=23743] ppid=23741 vsize=558264 CPUtime=4483.06 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 517694 0 0 0 448120 186 0 0 25 0 4 0 521429744 571662336 104408 33554432000 4194304 4650419 140735722021856 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 139566 104408 392 112 0 134531 0
[pid=23743/tid=23744] ppid=23741 vsize=558264 CPUtime=1122.31 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 120125 0 0 0 112183 48 0 0 25 0 4 0 521429744 571662336 104408 33554432000 4194304 4650419 140735722021856 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=558264 CPUtime=1116.2 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 144288 0 0 0 111565 55 0 0 25 0 4 0 521429744 571662336 104408 33554432000 4194304 4650419 140735722021856 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=558264 CPUtime=1122.2 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 152485 0 0 0 112176 44 0 0 25 0 4 0 521429744 571662336 104408 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.06
Current children cumulated vsize (KiB) 558264

[startup+1182.3 s]
/proc/loadavg: 4.44 6.41 7.44 5/179 23797
/proc/meminfo: memFree=24973472/32951124 swapFree=67111524/67111528
[pid=23743] ppid=23741 vsize=558264 CPUtime=4722.74 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 524540 0 0 0 472084 190 0 0 25 0 4 0 521429744 571662336 101572 33554432000 4194304 4650419 140735722021856 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 139566 101572 392 112 0 134531 0
[pid=23743/tid=23744] ppid=23741 vsize=558264 CPUtime=1182.31 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 120132 0 0 0 118183 48 0 0 25 0 4 0 521429744 571662336 101572 33554432000 4194304 4650419 140735722021856 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=558264 CPUtime=1175.87 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 144304 0 0 0 117532 55 0 0 25 0 4 0 521429744 571662336 101572 33554432000 4194304 4650419 140735722021856 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=558264 CPUtime=1182.2 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 158571 0 0 0 118173 47 0 0 25 0 4 0 521429744 571662336 101572 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.74
Current children cumulated vsize (KiB) 558264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 4.32 6.26 7.36 5/179 23797
/proc/meminfo: memFree=24982768/32951124 swapFree=67111524/67111528
[pid=23743] ppid=23741 vsize=545860 CPUtime=4800.25 cores=0,2,4,6
/proc/23743/stat : 23743 (strangenight1-m) R 23741 23743 23437 0 -1 4202496 526378 0 0 0 479833 192 0 0 25 0 4 0 521429744 558960640 99129 33554432000 4194304 4650419 140735722021856 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23743/statm: 136465 99129 392 112 0 131430 0
[pid=23743/tid=23744] ppid=23741 vsize=545860 CPUtime=1201.72 cores=0,2,4,6
/proc/23743/task/23744/stat : 23744 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 121165 0 0 0 120122 50 0 0 25 0 4 0 521429744 558960640 99129 33554432000 4194304 4650419 140735722021856 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23743/tid=23745] ppid=23741 vsize=545860 CPUtime=1195.17 cores=0,2,4,6
/proc/23743/task/23745/stat : 23745 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 144304 0 0 0 119462 55 0 0 25 0 4 0 521429744 558960640 99129 33554432000 4194304 4650419 140735722021856 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23743/tid=23746] ppid=23741 vsize=545860 CPUtime=1201.61 cores=0,2,4,6
/proc/23743/task/23746/stat : 23746 (strangenight1-m) R 23741 23743 23437 0 -1 4202560 159376 0 0 0 120113 48 0 0 25 0 4 0 521429744 558960640 99129 33554432000 4194304 4650419 140735722021856 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 545860

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.29
CPU user time (s): 4798.35
CPU system time (s): 1.9387
CPU usage (%): 399.449
Max. virtual memory (cumulated for all children) (KiB): 624900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.35
system time used= 1.93871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 526378
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= 446
involuntary context switches= 70917

runsolver used 1.9487 second user time and 4.6263 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 19:31:56
IDJOB=3175201
IDBENCH=82819
IDSOLVER=1588
FILE ID=node132/3175201-1304098316
RUNJOBID= node132-1304095714-23455
PBS_JOBID= 13170598
Free space on /tmp= 71868 MiB

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

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

MD5SUM BENCH= 8dc696d26aef2000e5a242477bc06639
RANDOM SEED=1204015165

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25190020 kB
Buffers:        774364 kB
Cached:        6240568 kB
SwapCached:          4 kB
Active:        2277428 kB
Inactive:      4986172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25190020 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6244 kB
Writeback:           0 kB
AnonPages:      248404 kB
Mapped:          15540 kB
Slab:           435568 kB
PageTables:       5348 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   506656 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71868 MiB
End job on node132 at 2011-04-29 19:52:00