Trace number 3175179

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.35 1201.93

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v90-c8010-S1828831772-021.SATISFIABLE.cnf
MD5SUM40224b6c1498feedd538b60d16a1e0b8
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark8.39672
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-3175179-1304096300.cnf'
0.00/0.00	c -- header says num vars:             90
0.00/0.00	c -- header says num clauses:        8010
0.00/0.01	c -- clauses added:            0 learnts,         8010 normals,            0 xors
0.00/0.01	c -- vars added         90
0.00/0.01	c Parsing time:  0.02 s
0.00/0.01	c  N st     0         0        90      8010         0         0     56070         0   no data   no data  --
3.18/0.82	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.73
3.18/0.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
3.18/0.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.18/0.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.18/0.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3.18/0.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.18/0.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
3.18/0.82	c Finding binary XORs  T:     0.00 s  found:       0
3.18/0.82	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.18/0.82	c calculated reachability. Time: 0.00
3.18/0.82	c Calc default polars -  time:   0.00 s pos:      40 undec:       1 neg:      49
3.18/0.82	c =========================================================================================
3.18/0.82	c types(t): F = full restart, N = normal restart
3.18/0.82	c types(t): S = simplification begin/end, E = solution found
3.18/0.82	c restart types(rt): st = static, dy = dynamic
3.18/0.82	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.18/0.82	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
3.18/0.82	c  N dy    10      4015        90      8010         0      3723     56070    111688     26.08     27.50  --
3.18/0.82	c  N dy    16      9893        90      8010         0      6863     56070    192376     25.57     26.96  --
4.80/1.22	c  N dy    19     23023        90      8010         0      9852     56070    245804     24.44     25.88  --
5.17/1.32	c  F st    34     25001        90      8010         0     11690     56070    300393     24.60     24.29  --
5.57/1.42	c  N st    38     27034        90      8010         0      7264     56070    154887     24.60   no data  --
5.97/1.53	c  S st    40     30002        90      8010         0      9990     56070    236527     24.60   no data  --
5.97/1.57	c  S st    40     30507        90      8010         0     10472     56070    250839     24.60   no data  --
5.97/1.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
5.97/1.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
5.97/1.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
11.17/2.80	c lits-rem:      1774  cl-subs:      756  v-elim:      0  v-fix:    0  time:  4.85 s
12.77/3.20	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.60
12.77/3.20	c calculated reachability. Time: 0.00
12.77/3.20	c  N dy    40     30507        90      8010         0      9716     56070    224660     24.60   no data  --
13.58/3.44	c  N dy    55     34534        90      8010         0     13463     56070    334593     24.67     25.97  --
14.36/3.69	c  N dy    94     38689        90      8010         0     10047     56070    219179     25.00     26.48  --
15.96/4.00	c  N dy   107     43913        90      8010         0     14864     56070    360210     25.02     26.45  --
16.36/4.13	c  S st   116     45760        90      8010         0      8303     56070    149669     25.05     23.18  --
16.36/4.17	c  S st   116     46261        90      8010         0      8780     56070    163870     25.05   no data  --
16.36/4.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.36/4.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.36/4.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
16.36/4.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.36/4.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
16.36/4.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.95/5.03	c lits-rem:       119  cl-subs:       43  v-elim:      0  v-fix:    0  time:  3.41 s
19.95/5.03	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.95/5.03	c vivif2 --  cl tried     8737 cl shrink        0 lits rem          0 time: 0.01
21.15/5.34	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.24
21.15/5.34	c calculated reachability. Time: 0.00
21.15/5.34	c  N dy   116     46261        90      8010         0      8737     56070    162165     25.05   no data  --
23.94/6.03	c  N dy   125     56987        90      8010         0      9379     56070    165167     24.76     26.31  --
25.55/6.47	c  N dy   148     64186        90      8010         0     16069     56070    361064     24.82     26.13  --
26.76/6.79	c  N dy   170     68351        90      8010         0     19925     56070    473633     24.88     26.23  --
27.14/6.88	c  S st   179     69391        90      8010         0     10726     56070    186909     24.90     23.97  --
27.54/6.92	c  S st   179     69893        90      8010         0     11197     56070    201041     24.90   no data  --
27.54/6.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.54/6.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.54/6.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
27.54/6.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.54/6.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.54/6.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
27.54/6.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.16/7.88	c lits-rem:       383  cl-subs:      135  v-elim:      0  v-fix:    0  time:  3.80 s
31.16/7.88	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
31.16/7.88	c vivif2 --  cl tried    11062 cl shrink        0 lits rem          0 time: 0.01
32.74/8.24	c asymm  cl-useful: 0/7730/8010 lits-rem:0 time: 1.44
32.74/8.24	c calculated reachability. Time: 0.00
32.74/8.24	c  N dy   179     69893        90      8010         0     11062     56070    195978     24.90   no data  --
34.74/8.71	c  N dy   210     77153        90      8010         0     17776     56070    395517     25.00     26.58  --
37.53/9.46	c  F st   223     87502        90      8010         0     16232     56070    329467     24.89     23.74  --
37.53/9.46	c  N st   223     87502        90      8010         0     16232     56070    329467     24.89     23.74  --
39.12/9.89	c  N dy   231     93130        90      8010         0     21445     56070    483292     24.89     26.30  --
41.92/10.52	c  N dy   261    101671        90      8010         0     17361     56070    347960     24.93     26.29  --
42.72/10.78	c  S st   277    104839        90      8010         0     20289     56070    434483     24.97     24.69  --
43.12/10.83	c  S st   277    105339        90      8010         0     20768     56070    448828     24.97   no data  --
43.12/10.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.12/10.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.12/10.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
43.12/10.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.12/10.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.12/10.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
43.12/10.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
50.31/12.61	c lits-rem:      1960  cl-subs:     1514  v-elim:      0  v-fix:    0  time:  7.00 s
50.31/12.61	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
50.31/12.62	c vivif2 --  cl tried    19254 cl shrink        0 lits rem          0 time: 0.02
51.91/13.02	c asymm  cl-useful: 0/5547/8010 lits-rem:0 time: 1.59
51.91/13.02	c calculated reachability. Time: 0.00
51.91/13.02	c  N dy   277    105339        90      8010         0     19254     56070    398996     24.97   no data  --
54.30/13.64	c  N dy   293    112766        90      8010         0     13217     56070    208536     24.96     26.31  --
56.31/14.17	c  N dy   321    120214        90      8010         0     20113     56070    411816     24.99     26.43  --
59.49/14.91	c  N dy   352    128650        90      8010         0     14083     56070    217480     25.04     26.40  --
61.91/15.52	c  N dy   395    136898        90      8010         0     21748     56070    443840     25.10     27.55  --
66.68/16.70	c  N dy   433    151779        90      8010         0     20614     56070    387351     25.06     26.49  --
68.68/17.22	c  S st   455    158010        90      8010         0     26387     56070    556534     25.08     23.88  --
68.68/17.29	c  S st   455    158513        90      8010         0     26861     56070    570673     25.08   no data  --
68.68/17.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
68.68/17.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
69.08/17.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
69.08/17.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.08/17.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.08/17.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
69.08/17.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
78.68/19.70	c lits-rem:      2058  cl-subs:     2486  v-elim:      0  v-fix:    0  time:  9.51 s
78.68/19.70	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
78.68/19.71	c vivif2 --  cl tried    24375 cl shrink        0 lits rem          0 time: 0.02
79.50/19.95	c asymm  cl-useful: 0/1945/8010 lits-rem:0 time: 0.96
79.50/19.95	c calculated reachability. Time: 0.00
79.50/19.95	c  N dy   455    158513        90      8010         0     24375     56070    494773     25.08   no data  --
83.89/21.05	c  N dy   505    169701        90      8010         0     19162     56070    330650     25.13     26.46  --
87.46/21.98	c  N dy   526    180954        90      8010         0     29604     56070    639328     25.12     26.47  --
91.86/23.05	c  N dy   555    193381        90      8010         0     24485     56070    471666     25.12     26.55  --
97.45/24.47	c  N dy   608    205810        90      8010         0     18411     56070    272842     25.16     26.66  --
103.44/25.90	c  N dy   687    220226        90      8010         0     31760     56070    669554     25.23     26.70  --
108.63/27.23	c  N dy   722    234673        90      8010         0     26593     56070    495899     25.23     26.74  --
109.85/27.55	c  S st   740    237770        90      8010         0     29487     56070    581467     25.25   no data  --
110.25/27.63	c  S st   740    238272        90      8010         0     29957     56070    595726     25.25   no data  --
110.25/27.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
110.25/27.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
110.25/27.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
110.25/27.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
110.25/27.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
110.25/27.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
110.25/27.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
121.02/30.38	c lits-rem:      1531  cl-subs:     1846  v-elim:      0  v-fix:    0  time: 10.86 s
121.02/30.38	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
121.02/30.38	c vivif2 --  cl tried    28111 cl shrink        0 lits rem          0 time: 0.02
121.42/30.44	c asymm  cl-useful: 0/518/8010 lits-rem:0 time: 0.25
121.42/30.44	c calculated reachability. Time: 0.00
121.42/30.44	c  N dy   740    238272        90      8010         0     28111     56070    535178     25.25   no data  --
132.22/33.12	c  N dy   767    266126        90      8010         0     34385     56070    705822     25.16     26.52  --
141.01/35.39	c  N dy   838    288156        90      8010         0     34504     56070    691771     25.15     26.59  --
148.98/37.35	c  F st   903    306250        90      8010         0     29952     56070    543899     25.17   no data  --
149.39/37.41	c  N st   905    306876        90      8010         0     30534     56070    561064     25.17   no data  --
162.16/40.65	c  N dy   956    336507        90      8010         0     35668     56070    680572     25.12     26.46  --
171.77/43.06	c  N dy  1005    357410        90      8010         0     31855     56070    553818     25.10     20.17  --
171.77/43.06	c  S st  1005    357410        90      8010         0     31855     56070    553818     25.10     20.17  --
172.15/43.14	c  S st  1005    357912        90      8010         0     32325     56070    567738     25.10   no data  --
172.15/43.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
172.15/43.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
172.15/43.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
172.15/43.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
172.15/43.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
172.15/43.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
172.15/43.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
182.13/45.61	c lits-rem:      1075  cl-subs:     2098  v-elim:      0  v-fix:    0  time:  9.73 s
182.13/45.61	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
182.13/45.61	c vivif2 --  cl tried    30227 cl shrink        0 lits rem          0 time: 0.02
182.93/45.81	c asymm  cl-useful: 0/2213/8010 lits-rem:0 time: 0.79
182.93/45.81	c calculated reachability. Time: 0.00
182.93/45.81	c  N dy  1005    357912        90      8010         0     30227     56070    506449     25.10   no data  --
197.31/49.43	c  N dy  1063    382040        90      8010         0     28693     56070    451874     25.09     26.56  --
208.10/52.19	c  N dy  1118    402201        90      8010         0     47311     56070    998079     25.09     26.42  --
218.09/54.62	c  N dy  1167    422224        90      8010         0     40958     56070    793770     25.08     26.42  --
229.28/57.45	c  N dy  1274    442425        90      8010         0     33772     56070    567556     25.13     26.46  --
241.26/60.41	c  N dy  1377    462472        90      8010         0     52411     56070   1122792     25.18     26.55  --
254.04/63.60	c  N dy  1433    488555        90      8010         0     49677     56070   1006792     25.14     26.47  --
264.42/66.28	c  N dy  1494    508724        90      8010         0     40593     56070    724018     25.13     26.45  --
278.41/69.76	c  N dy  1626    529115        90      8010         0     30799     56070    420275     25.18     26.59  --
282.40/70.77	c  S st  1687    536872        90      8010         0     37990     56070    637045     25.21     24.34  --
282.80/70.87	c  S st  1687    537377        90      8010         0     38463     56070    651113     25.21   no data  --
282.80/70.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
282.80/70.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
282.80/70.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
283.20/70.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
283.20/70.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
283.20/70.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
283.20/70.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
294.40/73.79	c lits-rem:      1011  cl-subs:     1374  v-elim:      0  v-fix:    0  time: 11.53 s
294.40/73.79	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
294.40/73.80	c vivif2 --  cl tried    37089 cl shrink        0 lits rem          0 time: 0.02
295.58/74.02	c asymm  cl-useful: 0/1469/8010 lits-rem:0 time: 0.89
295.58/74.02	c calculated reachability. Time: 0.00
295.58/74.02	c  N dy  1687    537377        90      8010         0     37089     56070    603776     25.21   no data  --
309.97/77.69	c  N dy  1760    562823        90      8010         0     31014     56070    408223     25.20     26.67  --
320.36/80.25	c  N dy  1810    582921        90      8010         0     49554     56070    951413     25.20     26.81  --
331.93/83.18	c  N dy  1855    603005        90      8010         0     37603     56070    583280     25.18     28.42  --
344.73/86.37	c  N dy  1936    623202        90      8010         0     56359     56070   1139427     25.21     26.63  --
357.50/89.51	c  N dy  1996    643818        90      8010         0     43951     56070    755042     25.21     26.55  --
371.89/93.16	c  N dy  2055    664455        90      8010         0     63145     56070   1321914     25.21     26.55  --
383.06/95.96	c  N dy  2088    685097        90      8010         0     49678     56070    895416     25.19     26.74  --
398.65/99.82	c  N dy  2187    705132        90      8010         0     35005     56070    455026     25.22     27.95  --
409.43/102.51	c  N dy  2220    725287        90      8010         0     53580     56070   1005063     25.20     26.62  --
427.80/107.18	c  N dy  2301    749101        90      8010         0     41424     56070    625308     25.21     26.67  --
443.81/111.12	c  N dy  2391    772873        90      8010         0     63427     56070   1276771     25.22     26.62  --
458.16/114.71	c  N dy  2489    793005        90      8010         0     46975     56070    771125     25.24     26.93  --
466.96/116.99	c  S st  2551    806066        90      8010         0     59102     56070   1131272     25.25     24.77  --
467.76/117.16	c  S st  2551    806567        90      8010         0     59567     56070   1145127     25.25   no data  --
467.76/117.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
467.76/117.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
467.76/117.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
468.16/117.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
468.16/117.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
468.16/117.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
468.16/117.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
512.09/128.28	c lits-rem:      2514  cl-subs:     4109  v-elim:      0  v-fix:    0  time: 44.14 s
512.09/128.28	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
512.09/128.29	c vivif2 --  cl tried    55458 cl shrink        0 lits rem          0 time: 0.05
513.69/128.64	c asymm  cl-useful: 0/1049/8010 lits-rem:0 time: 1.38
513.69/128.64	c calculated reachability. Time: 0.00
513.69/128.64	c  N dy  2551    806567        90      8010         0     55458     56070   1010789     25.25   no data  --
531.27/133.05	c  N dy  2658    826648        90      8010         0     38113     56070    490647     25.27     27.73  --
543.65/136.12	c  N dy  2737    846693        90      8010         0     56700     56070   1041875     25.29     27.52  --
560.42/140.37	c  N dy  2802    866994        90      8010         0     38498     56070    481370     25.29     26.65  --
572.81/143.46	c  N dy  2828    888206        90      8010         0     57942     56070   1046159     25.26     26.84  --
590.38/147.84	c  N dy  2903    908518        90      8010         0     38909     56070    475488     25.26     26.62  --
608.36/152.38	c  N dy  2989    936545        90      8010         0     64754     56070   1237808     25.27     26.65  --
622.74/155.97	c  N dy  3012    956576        90      8010         0     44527     56070    619997     25.24     27.12  --
637.14/159.55	c  N dy  3057    977639        90      8010         0     63964     56070   1190653     25.24     26.62  --
657.48/164.64	c  N dy  3113   1006209        90      8010         0     50653     56070    778081     25.21     26.73  --
674.26/168.87	c  N dy  3224   1026222        90      8010         0     69188     56070   1329349     25.23     26.60  --
691.84/173.23	c  N dy  3282   1046862        90      8010         0     47588     56070    669105     25.23     26.67  --
706.63/176.99	c  N dy  3361   1066958        90      8010         0     66202     56070   1222413     25.24     28.37  --
710.62/178.00	c  F st  3376   1071875        90      8010         0     70732     56070   1356230     25.24     22.65  --
725.01/181.57	c  N dy  3409   1087090        90      8010         0     43195     56070    527195     25.24     26.57  --
738.97/185.03	c  N dy  3496   1107764        90      8010         0     62319     56070   1096413     25.25     26.60  --
757.75/189.72	c  N dy  3569   1127830        90      8010         0     80927     56070   1648809     25.26     28.05  --
776.13/194.37	c  N dy  3648   1147898        90      8010         0     56892     56070    914874     25.26     26.82  --
796.49/199.48	c  N dy  3727   1168238        90      8010         0     75667     56070   1472246     25.27     26.80  --
817.29/204.69	c  N dy  3783   1189305        90      8010         0     51733     56070    742175     25.27     26.79  --
836.44/209.43	c  N dy  3864   1209851        90      8010         0     70754     56070   1305478     25.28     23.96  --
836.44/209.43	c  S st  3864   1209851        90      8010         0     70754     56070   1305478     25.28     23.96  --
837.24/209.69	c  S st  3864   1210354        90      8010         0     71231     56070   1319979     25.28   no data  --
837.24/209.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
837.24/209.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
837.64/209.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.19
837.64/209.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
837.64/209.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
837.64/209.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
837.64/209.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
923.52/231.26	c lits-rem:      3227  cl-subs:     5034  v-elim:      0  v-fix:    0  time: 85.76 s
923.52/231.26	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
923.52/231.28	c vivif2 --  cl tried    66197 cl shrink        0 lits rem          0 time: 0.06
925.12/231.67	c asymm  cl-useful: 0/841/8010 lits-rem:0 time: 1.56
925.12/231.67	c calculated reachability. Time: 0.00
925.12/231.67	c  N dy  3864   1210354        90      8010         0     66197     56070   1161079     25.28   no data  --
949.51/237.73	c  N dy  3948   1231297        90      8010         0     85521     56070   1733304     25.28     26.73  --
969.47/242.75	c  N dy  4051   1251912        90      8010         0     60459     56070    988679     25.30     26.69  --
991.04/248.17	c  N dy  4123   1272277        90      8010         0     79286     56070   1544187     25.30     26.66  --
1016.60/254.59	c  N dy  4174   1297542        90      8010         0     57383     56070    866520     25.29     26.65  --
1038.57/260.09	c  N dy  4249   1318697        90      8010         0     76898     56070   1443391     25.29     26.64  --
1065.74/266.83	c  N dy  4361   1339316        90      8010         0     49861     56070    632975     25.31     26.74  --
1082.91/271.10	c  N dy  4401   1359576        90      8010         0     68539     56070   1181797     25.30     26.68  --
1106.08/276.98	c  N dy  4481   1379635        90      8010         0     87093     56070   1734353     25.31     27.62  --
1218.33/305.05	c  N dy  4525   1504030        90      8010         0     57312     56070    797387     25.12     26.49  --
1241.10/310.74	c  N dy  4655   1524205        90      8010         0     75982     56070   1355386     25.14     26.47  --
1266.94/317.25	c  N dy  4709   1545211        90      8010         0     95433     56070   1934867     25.14     26.52  --
1287.58/322.49	c  N dy  4801   1566709        90      8010         0     65685     56070   1033094     25.14     26.56  --
1311.64/328.50	c  N dy  4899   1590405        90      8010         0     87608     56070   1682814     25.15     26.58  --
1335.74/334.61	c  N dy  4998   1610410        90      8010         0     55397     56070    707321     25.17     26.81  --
1352.53/338.86	c  N dy  5078   1630455        90      8010         0     73897     56070   1254948     25.17     26.54  --
1374.09/344.22	c  N dy  5146   1650475        90      8010         0     92377     56070   1798669     25.17     26.90  --
1393.26/349.03	c  N dy  5168   1670556        90      8010         0     59145     56070    792251     25.16     26.92  --
1410.44/353.39	c  N dy  5257   1690733        90      8010         0     77790     56070   1347726     25.17     26.89  --
1433.21/359.05	c  S st  5314   1710354        90      8010         0     95972     56070   1888391     25.17   no data  --
1434.41/359.34	c  S st  5314   1710859        90      8010         0     96453     56070   1902894     25.17   no data  --
1434.41/359.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1434.41/359.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1434.41/359.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
1434.81/359.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1434.81/359.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1434.81/359.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1434.81/359.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1576.64/394.98	c lits-rem:      5133  cl-subs:     8298  v-elim:      0  v-fix:    0  time: 141.89 s
1576.64/394.98	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1577.04/395.00	c vivif2 --  cl tried    88155 cl shrink        0 lits rem          0 time: 0.08
1578.21/395.35	c asymm  cl-useful: 0/642/8010 lits-rem:0 time: 1.39
1578.21/395.35	c calculated reachability. Time: 0.00
1578.21/395.35	c  N dy  5314   1710859        90      8010         0     88155     56070   1643467     25.17   no data  --
1605.37/402.10	c  N dy  5429   1730892        90      8010         0     54371     56070    644293     25.18     28.40  --
1622.15/406.30	c  N dy  5507   1751075        90      8010         0     73046     56070   1201557     25.19     26.53  --
1644.93/412.03	c  N dy  5596   1771277        90      8010         0     91750     56070   1754628     25.19     26.57  --
1670.89/418.50	c  N dy  5680   1791446        90      8010         0     56973     56070    700361     25.20     26.54  --
1687.66/422.70	c  N dy  5740   1811989        90      8010         0     75902     56070   1260350     25.20     26.57  --
1709.23/428.15	c  N dy  5811   1832043        90      8010         0     94512     56070   1812302     25.20     29.56  --
1736.00/434.88	c  N dy  5859   1855571        90      8010         0     61711     56070    816229     25.20     26.53  --
1759.17/440.66	c  N dy  5971   1879564        90      8010         0     83933     56070   1476234     25.21     26.77  --
1787.95/447.89	c  N dy  6091   1899712        90      8010         0    102673     56070   2038143     25.22     26.70  --
1819.89/455.81	c  N dy  6213   1919747        90      8010         0     65732     56070    924338     25.23     27.14  --
1845.85/462.37	c  N dy  6315   1940145        90      8010         0     84689     56070   1490051     25.24     26.67  --
1875.83/469.85	c  N dy  6380   1963122        90      8010         0    105901     56070   2119622     25.24     26.65  --
1922.55/481.59	c  N dy  6450   2010106        90      8010         0     92760     56070   1688496     25.22     26.65  --
1954.93/489.65	c  N dy  6546   2033604        90      8010         0    114490     56070   2337996     25.23     26.70  --
1972.50/494.06	c  N dy  6581   2054017        90      8010         0     76011     56070   1184340     25.22     26.75  --
1994.85/499.62	c  N dy  6636   2074090        90      8010         0     94539     56070   1731852     25.23     26.59  --
2079.54/520.86	c  N dy  6674   2153910        90      8010         0    109365     56070   2102324     25.15     26.49  --
2121.50/531.33	c  N dy  6747   2193489        90      8010         0     86921     56070   1467686     25.14     26.46  --
2145.45/537.32	c  S st  6820   2210859        90      8010         0    103017     56070   1946229     25.14     24.33  --
2146.65/537.66	c  S st  6820   2211362        90      8010         0    103491     56070   1960883     25.14   no data  --
2146.65/537.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2146.65/537.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2147.05/537.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
2147.05/537.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2147.05/537.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2147.05/537.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2147.05/537.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2546.11/637.67	c lits-rem:      6866  cl-subs:     9023  v-elim:      0  v-fix:    0  time: 398.80 s
2546.11/637.67	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2546.11/637.69	c vivif2 --  cl tried    94468 cl shrink        0 lits rem          0 time: 0.08
2547.72/638.06	c asymm  cl-useful: 0/595/8010 lits-rem:0 time: 1.47
2547.72/638.06	c calculated reachability. Time: 0.00
2547.72/638.06	c  N dy  6820   2211362        90      8010         0     94468     56070   1686454     25.14   no data  --
2575.27/644.93	c  N dy  6848   2231464        90      8010         0    112950     56070   2226690     25.14     26.61  --
2604.44/652.23	c  N dy  6979   2251563        90      8010         0     72241     56070   1033776     25.15     27.85  --
2626.82/657.84	c  N dy  7030   2271639        90      8010         0     90766     56070   1576192     25.15     26.60  --
2715.49/680.01	c  N dy  7095   2358212        90      8010         0    109054     56070   2043750     25.07     26.43  --
2746.64/687.86	c  N dy  7210   2378360        90      8010         0     66485     56070    827358     25.08     26.47  --
2767.02/692.97	c  N dy  7283   2398941        90      8010         0     85558     56070   1394403     25.08     26.45  --
2799.37/701.01	c  N dy  7395   2421314        90      8010         0    106269     56070   2013969     25.09     26.61  --
2832.13/709.23	c  N dy  7451   2441372        90      8010         0    124754     56070   2559909     25.09     30.34  --
2853.30/714.50	c  N dy  7481   2462082        90      8010         0     81179     56070   1221304     25.09     26.42  --
2875.27/720.07	c  N dy  7548   2482088        90      8010         0     99726     56070   1772818     25.09     27.46  --
2911.62/729.18	c  N dy  7669   2502361        90      8010         0    118529     56070   2336819     25.10     26.44  --
2945.98/737.77	c  N dy  7793   2522860        90      8010         0     73963     56070   1002038     25.11     26.57  --
2971.14/744.00	c  N dy  7902   2543636        90      8010         0     93174     56070   1575902     25.12     26.54  --
3000.32/751.32	c  N dy  7996   2563716        90      8010         0    111746     56070   2128353     25.12     27.43  --
3033.86/759.79	c  N dy  8089   2583774        90      8010         0     65651     56070    735221     25.13     29.44  --
3055.83/765.25	c  N dy  8208   2603874        90      8010         0     84295     56070   1295797     25.14     27.96  --
3079.82/771.26	c  N dy  8283   2623926        90      8010         0    102861     56070   1847537     25.14     28.29  --
3109.36/778.68	c  N dy  8343   2644155        90      8010         0    121511     56070   2396666     25.14     26.54  --
3139.72/786.22	c  N dy  8428   2666867        90      8010         0     76838     56070   1048976     25.15     26.51  --
3165.28/792.66	c  N dy  8549   2687097        90      8010         0     95588     56070   1610547     25.16     26.49  --
3197.24/800.60	c  N dy  8645   2708405        90      8010         0    115283     56070   2197717     25.16     26.51  --
3202.86/802.01	c  S st  8669   2711362        90      8010         0    118033     56070   2281041     25.17     25.60  --
3204.03/802.34	c  S st  8669   2711865        90      8010         0    118514     56070   2295348     25.17   no data  --
3204.03/802.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3204.03/802.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3204.43/802.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.26
3204.43/802.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3204.43/802.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3204.43/802.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3204.43/802.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4090.84/1024.31	c lits-rem:      7534  cl-subs:     9025  v-elim:      0  v-fix:    0  time: 885.87 s
4090.84/1024.31	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
4090.84/1024.34	c vivif2 --  cl tried   109489 cl shrink        0 lits rem          0 time: 0.12
4092.84/1024.84	c asymm  cl-useful: 0/519/8010 lits-rem:0 time: 2.00
4092.84/1024.84	c calculated reachability. Time: 0.00
4092.84/1024.84	c  N dy  8669   2711865        90      8010         0    109489     56070   1997332     25.17   no data  --
4134.00/1035.11	c  N dy  8738   2731886        90      8010         0    127937     56070   2539476     25.17     26.53  --
4181.12/1046.98	c  N dy  8780   2766626        90      8010         0     93623     56070   1515304     25.15     26.52  --
4223.86/1057.68	c  N dy  8877   2790414        90      8010         0    115590     56070   2167428     25.16     26.52  --
4273.00/1069.97	c  N dy  9004   2810624        90      8010         0    134294     56070   2731255     25.17     26.57  --
4311.34/1079.52	c  N dy  9054   2839018        90      8010         0     93218     56070   1496027     25.16     26.52  --
4358.10/1091.21	c  N dy  9181   2859110        90      8010         0    111871     56070   2054557     25.17     27.63  --
4408.02/1103.72	c  N dy  9306   2879116        90      8010         0    130441     56070   2612429     25.18     26.52  --
4456.75/1115.90	c  N dy  9410   2905896        90      8010         0     86821     56070   1292472     25.18     26.55  --
4497.10/1126.06	c  N dy  9538   2925928        90      8010         0    105392     56070   1850297     25.19     28.40  --
4541.03/1137.02	c  N dy  9634   2946620        90      8010         0    124520     56070   2423633     25.20     26.64  --
4593.36/1150.11	c  N dy  9724   2974213        90      8010         0     80707     56070   1081684     25.20     26.81  --
4624.52/1157.99	c  N dy  9835   2994907        90      8010         0     99854     56070   1652851     25.20     26.59  --
4660.08/1166.82	c  N dy  9925   3014956        90      8010         0    118371     56070   2204420     25.21     27.02  --
4703.22/1177.70	c  N dy 10019   3035401        90      8010         0    137291     56070   2770718     25.21     26.57  --
4734.37/1185.46	c  N dy 10122   3055485        90      8010         0     85722     56070   1225615     25.22     27.89  --
4765.13/1193.10	c  N dy 10222   3075544        90      8010         0    104358     56070   1784079     25.22     26.88  --
4799.89/1201.86	c  N dy 10288   3095630        90      8010         0    122909     56070   2334913     25.22     29.44  --

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-3175179-1304096300/watcher-3175179-1304096300 -o /tmp/evaluation-result-3175179-1304096300/solver-3175179-1304096300 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175179-1304096300.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: 6.34 7.69 7.88 7/180 19701
/proc/meminfo: memFree=17894200/32951124 swapFree=67111528/67111528
[pid=19701] ppid=19699 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 419 0 0 0 0 0 0 0 25 0 4 0 521232663 52465664 358 33554432000 4194304 4650419 140735161832688 18446744073709551615 216634515387 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 12809 358 306 112 0 7774 0
[pid=19701/tid=19702] ppid=19699 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521232663 52465664 358 33554432000 4194304 4650419 140735161832688 18446744073709551615 47358638757808 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521232663 52465664 358 33554432000 4194304 4650419 140735161832688 18446744073709551615 216629562454 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521232663 52465664 358 33554432000 4194304 4650419 140735161832688 18446744073709551615 47358638757401 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.10626 s]
/proc/loadavg: 6.34 7.69 7.88 7/180 19701
/proc/meminfo: memFree=17894200/32951124 swapFree=67111528/67111528
[pid=19701] ppid=19699 vsize=281900 CPUtime=0.4 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 1640 0 0 0 40 0 0 0 18 0 4 0 521232663 288665600 1552 33554432000 4194304 4650419 140735161832688 18446744073709551615 4537539 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 70475 1552 366 112 0 65440 0
[pid=19701/tid=19702] ppid=19699 vsize=281900 CPUtime=0.1 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 262 0 0 0 10 0 0 0 25 0 4 0 521232663 288665600 1552 33554432000 4194304 4650419 140735161832688 18446744073709551615 4370482 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=281900 CPUtime=0.09 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 244 0 0 0 9 0 0 0 18 0 4 0 521232663 288665600 1552 33554432000 4194304 4650419 140735161832688 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=281900 CPUtime=0.1 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 421 0 0 0 10 0 0 0 18 0 4 0 521232663 288665600 1552 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 281900

[startup+0.200246 s]
/proc/loadavg: 6.34 7.69 7.88 7/180 19701
/proc/meminfo: memFree=17894200/32951124 swapFree=67111528/67111528
[pid=19701] ppid=19699 vsize=283844 CPUtime=0.77 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 3326 0 0 0 77 0 0 0 18 0 4 0 521232663 290656256 2747 33554432000 4194304 4650419 140735161832688 18446744073709551615 4440715 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 70961 2754 383 112 0 65926 0
[pid=19701/tid=19702] ppid=19699 vsize=283844 CPUtime=0.19 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 481 0 0 0 19 0 0 0 25 0 4 0 521232663 290656256 2760 33554432000 4194304 4650419 140735161832688 18446744073709551615 4426545 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=283844 CPUtime=0.19 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 751 0 0 0 19 0 0 0 18 0 4 0 521232663 290656256 2763 33554432000 4194304 4650419 140735161832688 18446744073709551615 216634212107 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=283844 CPUtime=0.19 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 757 0 0 0 19 0 0 0 18 0 4 0 521232663 290656256 2763 33554432000 4194304 4650419 140735161832688 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283844

[startup+0.300229 s]
/proc/loadavg: 6.34 7.69 7.88 7/180 19701
/proc/meminfo: memFree=17894200/32951124 swapFree=67111528/67111528
[pid=19701] ppid=19699 vsize=283976 CPUtime=1.17 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 4146 0 0 0 117 0 0 0 18 0 4 0 521232663 290791424 3462 33554432000 4194304 4650419 140735161832688 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 70994 3462 390 112 0 65959 0
[pid=19701/tid=19702] ppid=19699 vsize=283976 CPUtime=0.29 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 920 0 0 0 29 0 0 0 25 0 4 0 521232663 290791424 3462 33554432000 4194304 4650419 140735161832688 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=283976 CPUtime=0.29 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 954 0 0 0 29 0 0 0 18 0 4 0 521232663 290791424 3462 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=283976 CPUtime=0.29 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 839 0 0 0 29 0 0 0 18 0 4 0 521232663 290791424 3463 33554432000 4194304 4650419 140735161832688 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283976

[startup+0.700158 s]
/proc/loadavg: 6.34 7.69 7.88 7/180 19701
/proc/meminfo: memFree=17894200/32951124 swapFree=67111528/67111528
[pid=19701] ppid=19699 vsize=286068 CPUtime=2.77 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 6758 0 0 0 277 0 0 0 18 0 4 0 521232663 292933632 4098 33554432000 4194304 4650419 140735161832688 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 71517 4098 390 112 0 66482 0
[pid=19701/tid=19702] ppid=19699 vsize=286068 CPUtime=0.69 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 1592 0 0 0 69 0 0 0 25 0 4 0 521232663 292933632 4098 33554432000 4194304 4650419 140735161832688 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=286068 CPUtime=0.69 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 1680 0 0 0 69 0 0 0 18 0 4 0 521232663 292933632 4098 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=286068 CPUtime=0.69 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 1342 0 0 0 69 0 0 0 18 0 4 0 521232663 292933632 4098 33554432000 4194304 4650419 140735161832688 18446744073709551615 4334343 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286068

[startup+1.50102 s]
/proc/loadavg: 6.34 7.69 7.88 9/184 19705
/proc/meminfo: memFree=17867756/32951124 swapFree=67111528/67111528
[pid=19701] ppid=19699 vsize=287228 CPUtime=5.97 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 10938 0 0 0 596 1 0 0 20 0 4 0 521232663 294121472 4915 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365263 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 71807 4915 391 112 0 66772 0
[pid=19701/tid=19702] ppid=19699 vsize=287228 CPUtime=1.48 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 2651 0 0 0 148 0 0 0 25 0 4 0 521232663 294121472 4915 33554432000 4194304 4650419 140735161832688 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=287228 CPUtime=1.48 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 2711 0 0 0 148 0 0 0 20 0 4 0 521232663 294121472 4915 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=287228 CPUtime=1.49 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 2374 0 0 0 149 0 0 0 20 0 4 0 521232663 294121472 4915 33554432000 4194304 4650419 140735161832688 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287228

[startup+3.10074 s]
/proc/loadavg: 6.34 7.69 7.88 10/184 19705
/proc/meminfo: memFree=17835028/32951124 swapFree=67111528/67111528
[pid=19701] ppid=19699 vsize=287656 CPUtime=12.37 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 20854 0 0 0 1234 3 0 0 25 0 4 0 521232663 294559744 12589 33554432000 4194304 4650419 140735161832688 18446744073709551615 4370658 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 71914 12589 392 112 0 66879 0
[pid=19701/tid=19702] ppid=19699 vsize=287656 CPUtime=3.07 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 4451 0 0 0 307 0 0 0 25 0 4 0 521232663 294559744 12589 33554432000 4194304 4650419 140735161832688 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=287656 CPUtime=3.08 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 5719 0 0 0 308 0 0 0 25 0 4 0 521232663 294559744 12589 33554432000 4194304 4650419 140735161832688 18446744073709551615 4439421 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=287656 CPUtime=3.08 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 5735 0 0 0 308 0 0 0 25 0 4 0 521232663 294559744 12589 33554432000 4194304 4650419 140735161832688 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 287656

[startup+6.30118 s]
/proc/loadavg: 6.47 7.70 7.88 9/184 19705
/proc/meminfo: memFree=17795844/32951124 swapFree=67111528/67111528
[pid=19701] ppid=19699 vsize=280376 CPUtime=25.15 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 30252 0 0 0 2511 4 0 0 25 0 4 0 521232663 287105024 16206 33554432000 4194304 4650419 140735161832688 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 70094 16206 392 112 0 65059 0
[pid=19701/tid=19702] ppid=19699 vsize=280376 CPUtime=6.26 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 8137 0 0 0 625 1 0 0 25 0 4 0 521232663 287105024 16206 33554432000 4194304 4650419 140735161832688 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=280376 CPUtime=6.28 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 7367 0 0 0 627 1 0 0 25 0 4 0 521232663 287105024 16206 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=280376 CPUtime=6.28 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 7904 0 0 0 628 0 0 0 25 0 4 0 521232663 287105024 16206 33554432000 4194304 4650419 140735161832688 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 280376

[startup+12.7011 s]
/proc/loadavg: 6.60 7.70 7.88 9/184 19705
/proc/meminfo: memFree=17741908/32951124 swapFree=67111528/67111528
[pid=19701] ppid=19699 vsize=300232 CPUtime=50.71 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 44215 0 0 0 5064 7 0 0 25 0 4 0 521232663 307437568 22544 33554432000 4194304 4650419 140735161832688 18446744073709551615 4370701 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 75058 22544 392 112 0 70023 0
[pid=19701/tid=19702] ppid=19699 vsize=300232 CPUtime=12.62 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 12095 0 0 0 1261 1 0 0 25 0 4 0 521232663 307437568 22544 33554432000 4194304 4650419 140735161832688 18446744073709551615 4438643 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=300232 CPUtime=12.69 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 10712 0 0 0 1267 2 0 0 25 0 4 0 521232663 307437568 22544 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=300232 CPUtime=12.69 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 11923 0 0 0 1268 1 0 0 25 0 4 0 521232663 307437568 22544 33554432000 4194304 4650419 140735161832688 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 300232

[startup+25.5008 s]
/proc/loadavg: 6.91 7.72 7.88 9/184 19706
/proc/meminfo: memFree=17697892/32951124 swapFree=67111528/67111528
[pid=19701] ppid=19699 vsize=291296 CPUtime=101.84 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 69227 0 0 0 10171 13 0 0 25 0 4 0 521232663 298287104 26810 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 72824 26810 392 112 0 67789 0
[pid=19701/tid=19702] ppid=19699 vsize=291296 CPUtime=25.36 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 18149 0 0 0 2533 3 0 0 25 0 4 0 521232663 298287104 26810 33554432000 4194304 4650419 140735161832688 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=291296 CPUtime=25.49 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 16573 0 0 0 2546 3 0 0 25 0 4 0 521232663 298287104 26810 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=291296 CPUtime=25.49 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 18792 0 0 0 2545 4 0 0 25 0 4 0 521232663 298287104 26810 33554432000 4194304 4650419 140735161832688 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 291296

[startup+51.1003 s]
/proc/loadavg: 7.28 7.74 7.88 9/184 19706
/proc/meminfo: memFree=17614736/32951124 swapFree=67111528/67111528
[pid=19701] ppid=19699 vsize=302556 CPUtime=204.11 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 107666 0 0 0 20388 23 0 0 25 0 4 0 521232663 309817344 34727 33554432000 4194304 4650419 140735161832688 18446744073709551615 4334208 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 75639 34727 392 112 0 70604 0
[pid=19701/tid=19702] ppid=19699 vsize=302556 CPUtime=50.82 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 28266 0 0 0 5077 5 0 0 25 0 4 0 521232663 309817344 34727 33554432000 4194304 4650419 140735161832688 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=302556 CPUtime=51.08 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 26587 0 0 0 5103 5 0 0 25 0 4 0 521232663 309817344 34727 33554432000 4194304 4650419 140735161832688 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=302556 CPUtime=51.09 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 28451 0 0 0 5102 7 0 0 25 0 4 0 521232663 309817344 34727 33554432000 4194304 4650419 140735161832688 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 302556

[startup+102.3 s]
/proc/loadavg: 7.83 7.81 7.90 9/184 19708
/proc/meminfo: memFree=17569824/32951124 swapFree=67111528/67111528
[pid=19701] ppid=19699 vsize=304884 CPUtime=408.65 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 163290 0 0 0 40824 41 0 0 25 0 4 0 521232663 312201216 37534 33554432000 4194304 4650419 140735161832688 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 76221 37534 392 112 0 71186 0
[pid=19701/tid=19702] ppid=19699 vsize=304884 CPUtime=101.75 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 44131 0 0 0 10166 9 0 0 25 0 4 0 521232663 312201216 37534 33554432000 4194304 4650419 140735161832688 18446744073709551615 4432396 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=304884 CPUtime=102.29 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 37978 0 0 0 10221 8 0 0 25 0 4 0 521232663 312201216 37534 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=304884 CPUtime=102.28 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 44571 0 0 0 10216 12 0 0 25 0 4 0 521232663 312201216 37534 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 304884

[startup+162.301 s]

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

[pid=19701] ppid=19699 vsize=483092 CPUtime=2564.89 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 445430 0 0 0 256319 170 0 0 25 0 4 0 521232663 494686208 78112 33554432000 4194304 4650419 140735161832688 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 120773 78112 392 112 0 115738 0
[pid=19701/tid=19702] ppid=19699 vsize=483092 CPUtime=638.82 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 117780 0 0 0 63841 41 0 0 25 0 4 0 521232663 494686208 78112 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=483092 CPUtime=642.3 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 95972 0 0 0 64200 30 0 0 25 0 4 0 521232663 494686208 78112 33554432000 4194304 4650419 140735161832688 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=483092 CPUtime=641.45 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 130795 0 0 0 64088 57 0 0 25 0 4 0 521232663 494686208 78112 33554432000 4194304 4650419 140735161832688 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2564.89
Current children cumulated vsize (KiB) 483092

[startup+702.301 s]
/proc/loadavg: 8.07 8.10 8.00 9/184 19736
/proc/meminfo: memFree=17226256/32951124 swapFree=67111528/67111528
[pid=19701] ppid=19699 vsize=497624 CPUtime=2804.57 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 471260 0 0 0 280272 185 0 0 25 0 4 0 521232663 509566976 82945 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 124406 82945 392 112 0 119371 0
[pid=19701/tid=19702] ppid=19699 vsize=497624 CPUtime=698.49 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 121912 0 0 0 69805 44 0 0 25 0 4 0 521232663 509566976 82945 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=497624 CPUtime=702.3 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 102721 0 0 0 70197 33 0 0 25 0 4 0 521232663 509566976 82945 33554432000 4194304 4650419 140735161832688 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=497624 CPUtime=701.46 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 137289 0 0 0 70086 60 0 0 25 0 4 0 521232663 509566976 82945 33554432000 4194304 4650419 140735161832688 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2804.57
Current children cumulated vsize (KiB) 497624

[startup+762.301 s]
/proc/loadavg: 8.06 8.09 8.00 9/184 19737
/proc/meminfo: memFree=17209384/32951124 swapFree=67111528/67111528
[pid=19701] ppid=19699 vsize=509528 CPUtime=3044.26 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 494477 0 0 0 304228 198 0 0 25 0 4 0 521232663 521756672 83370 33554432000 4194304 4650419 140735161832688 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 127382 83370 392 112 0 122347 0
[pid=19701/tid=19702] ppid=19699 vsize=509528 CPUtime=758.17 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 127155 0 0 0 75770 47 0 0 25 0 4 0 521232663 521756672 83370 33554432000 4194304 4650419 140735161832688 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=509528 CPUtime=762.31 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 109597 0 0 0 76193 38 0 0 25 0 4 0 521232663 521756672 83370 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=509528 CPUtime=761.47 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 140550 0 0 0 76085 62 0 0 25 0 4 0 521232663 521756672 83370 33554432000 4194304 4650419 140735161832688 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3044.26
Current children cumulated vsize (KiB) 509528

[startup+822.301 s]
/proc/loadavg: 8.13 8.10 8.01 9/184 19739
/proc/meminfo: memFree=17191880/32951124 swapFree=67111528/67111528
[pid=19701] ppid=19699 vsize=473444 CPUtime=3283.92 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 510007 0 0 0 328186 206 0 0 25 0 4 0 521232663 484806656 83404 33554432000 4194304 4650419 140735161832688 18446744073709551615 4439082 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 118361 83404 392 112 0 113326 0
[pid=19701/tid=19702] ppid=19699 vsize=473444 CPUtime=817.84 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 127327 0 0 0 81737 47 0 0 25 0 4 0 521232663 484806656 83404 33554432000 4194304 4650419 140735161832688 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=473444 CPUtime=822.3 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 113229 0 0 0 82191 39 0 0 25 0 4 0 521232663 484806656 83404 33554432000 4194304 4650419 140735161832688 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=473444 CPUtime=821.46 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 147526 0 0 0 82080 66 0 0 25 0 4 0 521232663 484806656 83404 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3283.92
Current children cumulated vsize (KiB) 473444

[startup+882.307 s]
/proc/loadavg: 8.22 8.13 8.02 9/184 19740
/proc/meminfo: memFree=17155768/32951124 swapFree=67111528/67111528
[pid=19701] ppid=19699 vsize=611172 CPUtime=3523.62 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 524995 0 0 0 352145 217 0 0 25 0 4 0 521232663 625840128 91465 33554432000 4194304 4650419 140735161832688 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 152793 91465 392 112 0 147758 0
[pid=19701/tid=19702] ppid=19699 vsize=611172 CPUtime=877.52 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 130692 0 0 0 87702 50 0 0 25 0 4 0 521232663 625840128 91465 33554432000 4194304 4650419 140735161832688 18446744073709551615 4313463 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=611172 CPUtime=882.31 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 119373 0 0 0 88189 42 0 0 25 0 4 0 521232663 625840128 91465 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=611172 CPUtime=881.47 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 152566 0 0 0 88077 70 0 0 25 0 4 0 521232663 625840128 91465 33554432000 4194304 4650419 140735161832688 18446744073709551615 4313370 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3523.62
Current children cumulated vsize (KiB) 611172

[startup+942.3 s]
/proc/loadavg: 8.22 8.13 8.02 9/184 19742
/proc/meminfo: memFree=17111960/32951124 swapFree=67111528/67111528
[pid=19701] ppid=19699 vsize=571344 CPUtime=3763.28 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 539686 0 0 0 376103 225 0 0 25 0 4 0 521232663 585056256 99317 33554432000 4194304 4650419 140735161832688 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 142836 99317 392 112 0 137801 0
[pid=19701/tid=19702] ppid=19699 vsize=571344 CPUtime=937.19 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 133379 0 0 0 93667 52 0 0 25 0 4 0 521232663 585056256 99317 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=571344 CPUtime=942.3 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 124250 0 0 0 94184 46 0 0 25 0 4 0 521232663 585056256 99317 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=571344 CPUtime=941.46 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 159693 0 0 0 94074 72 0 0 25 0 4 0 521232663 585056256 99317 33554432000 4194304 4650419 140735161832688 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3763.28
Current children cumulated vsize (KiB) 571344

[startup+1002.3 s]
/proc/loadavg: 8.13 8.12 8.02 9/184 19744
/proc/meminfo: memFree=17098396/32951124 swapFree=67111528/67111528
[pid=19701] ppid=19699 vsize=584620 CPUtime=4002.96 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 552525 0 0 0 400067 229 0 0 25 0 4 0 521232663 598650880 101830 33554432000 4194304 4650419 140735161832688 18446744073709551615 4476331 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 146155 101830 392 112 0 141120 0
[pid=19701/tid=19702] ppid=19699 vsize=584620 CPUtime=996.86 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 139911 0 0 0 99633 53 0 0 25 0 4 0 521232663 598650880 101830 33554432000 4194304 4650419 140735161832688 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=584620 CPUtime=1002.3 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 130093 0 0 0 100181 49 0 0 25 0 4 0 521232663 598650880 101830 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=584620 CPUtime=1001.46 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 160157 0 0 0 100074 72 0 0 25 0 4 0 521232663 598650880 101830 33554432000 4194304 4650419 140735161832688 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4002.96
Current children cumulated vsize (KiB) 584620

[startup+1062.3 s]
/proc/loadavg: 8.10 8.11 8.02 9/184 19745
/proc/meminfo: memFree=17074672/32951124 swapFree=67111528/67111528
[pid=19701] ppid=19699 vsize=584740 CPUtime=4242.63 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 567258 0 0 0 424028 235 0 0 25 0 4 0 521232663 598773760 102450 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 146185 102450 392 112 0 141150 0
[pid=19701/tid=19702] ppid=19699 vsize=584740 CPUtime=1056.54 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 141686 0 0 0 105601 53 0 0 25 0 4 0 521232663 598773760 102450 33554432000 4194304 4650419 140735161832688 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=584740 CPUtime=1062.31 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 135843 0 0 0 106179 52 0 0 25 0 4 0 521232663 598773760 102450 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=584740 CPUtime=1061.47 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 163876 0 0 0 106074 73 0 0 25 0 4 0 521232663 598773760 102450 33554432000 4194304 4650419 140735161832688 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4242.63
Current children cumulated vsize (KiB) 584740

[startup+1122.3 s]
/proc/loadavg: 8.04 8.09 8.02 9/184 19747
/proc/meminfo: memFree=17089284/32951124 swapFree=67111528/67111528
[pid=19701] ppid=19699 vsize=584740 CPUtime=4482.31 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 574114 0 0 0 447993 238 0 0 25 0 4 0 521232663 598773760 97164 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 146185 97164 392 112 0 141150 0
[pid=19701/tid=19702] ppid=19699 vsize=584740 CPUtime=1116.21 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 142968 0 0 0 111568 53 0 0 25 0 4 0 521232663 598773760 97164 33554432000 4194304 4650419 140735161832688 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=584740 CPUtime=1122.31 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 136988 0 0 0 112179 52 0 0 25 0 4 0 521232663 598773760 97164 33554432000 4194304 4650419 140735161832688 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=584740 CPUtime=1121.47 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 164722 0 0 0 112074 73 0 0 25 0 4 0 521232663 598773760 97164 33554432000 4194304 4650419 140735161832688 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4482.31
Current children cumulated vsize (KiB) 584740

[startup+1182.3 s]
/proc/loadavg: 8.01 8.07 8.01 9/184 19748
/proc/meminfo: memFree=17070308/32951124 swapFree=67111528/67111528
[pid=19701] ppid=19699 vsize=624888 CPUtime=4721.99 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 584394 0 0 0 471955 244 0 0 25 0 4 0 521232663 639885312 99796 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 156222 99796 392 112 0 151187 0
[pid=19701/tid=19702] ppid=19699 vsize=624888 CPUtime=1175.89 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 144087 0 0 0 117535 54 0 0 25 0 4 0 521232663 639885312 99796 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=624888 CPUtime=1182.31 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 137029 0 0 0 118179 52 0 0 25 0 4 0 521232663 639885312 99796 33554432000 4194304 4650419 140735161832688 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=624888 CPUtime=1181.47 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 169339 0 0 0 118071 76 0 0 25 0 4 0 521232663 639885312 99796 33554432000 4194304 4650419 140735161832688 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4721.99
Current children cumulated vsize (KiB) 624888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.01 8.06 8.01 5/179 19750
/proc/meminfo: memFree=17493188/32951124 swapFree=67111528/67111528
[pid=19701] ppid=19699 vsize=571548 CPUtime=4800.31 cores=1,3,5,7
/proc/19701/stat : 19701 (strangenight1-m) R 19699 19701 19020 0 -1 4202496 588436 0 0 0 479783 248 0 0 25 0 4 0 521232663 585265152 100388 33554432000 4194304 4650419 140735161832688 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/19701/statm: 142887 100388 392 112 0 137852 0
[pid=19701/tid=19702] ppid=19699 vsize=571548 CPUtime=1195.38 cores=1,3,5,7
/proc/19701/task/19702/stat : 19702 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 144087 0 0 0 119484 54 0 0 25 0 4 0 521232663 585265152 100388 33554432000 4194304 4650419 140735161832688 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19701/tid=19703] ppid=19699 vsize=571548 CPUtime=1201.91 cores=1,3,5,7
/proc/19701/task/19703/stat : 19703 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 137029 0 0 0 120139 52 0 0 25 0 4 0 521232663 585265152 100388 33554432000 4194304 4650419 140735161832688 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19701/tid=19704] ppid=19699 vsize=571548 CPUtime=1201.08 cores=1,3,5,7
/proc/19701/task/19704/stat : 19704 (strangenight1-m) R 19699 19701 19020 0 -1 4202560 171883 0 0 0 120030 78 0 0 25 0 4 0 521232663 585265152 100388 33554432000 4194304 4650419 140735161832688 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 571548

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.93
CPU time (s): 4800.35
CPU user time (s): 4797.85
CPU system time (s): 2.49762
CPU usage (%): 399.387
Max. virtual memory (cumulated for all children) (KiB): 690024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.85
system time used= 2.49762
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 588436
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= 603
involuntary context switches= 34013

runsolver used 1.86272 second user time and 4.69129 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-29 18:58:20
IDJOB=3175179
IDBENCH=82797
IDSOLVER=1588
FILE ID=node103/3175179-1304096300
RUNJOBID= node103-1304096300-19679
PBS_JOBID= 13170574
Free space on /tmp= 71512 MiB

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

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

MD5SUM BENCH= 40224b6c1498feedd538b60d16a1e0b8
RANDOM SEED=695021804

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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.75
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.858
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.858
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.83
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.858
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:      17894480 kB
Buffers:       2148784 kB
Cached:       12258764 kB
SwapCached:          0 kB
Active:        5594212 kB
Inactive:      8880340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17894480 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12480 kB
Writeback:           0 kB
AnonPages:       67048 kB
Mapped:          14872 kB
Slab:           519676 kB
PageTables:       4728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   274008 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= 71512 MiB
End job on node103 at 2011-04-29 19:18:24