Trace number 3368788

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.18 1202.24

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-3368788-1305403048.cnf'
0.00/0.00	c -- header says num vars:             90
0.00/0.00	c -- header says num clauses:        8010
0.00/0.01	c -- clauses added:            0 learnts,         8010 normals,            0 xors
0.00/0.01	c -- vars added         90
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        90      8010         0         0     56070         0   no data   no data  --
0.61/0.19	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 0.73
0.61/0.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
1.16/0.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.16/0.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1.16/0.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1.16/0.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1.16/0.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
1.16/0.39	c Finding binary XORs  T:     0.00 s  found:       0
1.16/0.39	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
1.16/0.39	c calculated reachability. Time: 0.00
1.16/0.39	c Calc default polars -  time:   0.00 s pos:      40 undec:       1 neg:      49
1.16/0.39	c =========================================================================================
1.16/0.39	c types(t): F = full restart, N = normal restart
1.16/0.39	c types(t): S = simplification begin/end, E = solution found
1.16/0.39	c restart types(rt): st = static, dy = dynamic
1.16/0.39	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.16/0.39	c  B st     0         0        90      8010         0         0     56070         0   no data   no data  --
3.57/1.00	c  N dy    10      4015        90      8010         0      3723     56070    111688     26.08     27.50  --
3.57/1.00	c  N dy    16      9893        90      8010         0      6863     56070    192376     25.57     26.96  --
4.76/1.20	c  N dy    19     23023        90      8010         0      9852     56070    245804     24.44     25.88  --
5.17/1.30	c  F st    34     25001        90      8010         0     11690     56070    300393     24.60     24.29  --
5.56/1.40	c  N st    38     27034        90      8010         0      7264     56070    154887     24.60   no data  --
5.96/1.53	c  S st    40     30002        90      8010         0      9990     56070    236527     24.60   no data  --
5.96/1.57	c  S st    40     30507        90      8010         0     10472     56070    250839     24.60   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.79	c lits-rem:      1774  cl-subs:      756  v-elim:      0  v-fix:    0  time:  4.82 s
12.36/3.19	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.58
12.36/3.19	c calculated reachability. Time: 0.00
12.36/3.19	c  N dy    40     30507        90      8010         0      9716     56070    224660     24.60   no data  --
13.55/3.42	c  N dy    55     34534        90      8010         0     13463     56070    334593     24.67     25.97  --
14.35/3.67	c  N dy    94     38689        90      8010         0     10047     56070    219179     25.00     26.48  --
15.55/3.98	c  N dy   107     43913        90      8010         0     14864     56070    360210     25.02     26.45  --
16.35/4.11	c  S st   116     45760        90      8010         0      8303     56070    149669     25.05     23.18  --
16.35/4.15	c  S st   116     46261        90      8010         0      8780     56070    163870     25.05   no data  --
16.35/4.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.35/4.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.35/4.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
16.35/4.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.35/4.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.35/4.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
16.35/4.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
19.94/5.01	c lits-rem:       119  cl-subs:       43  v-elim:      0  v-fix:    0  time:  3.40 s
19.94/5.01	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
19.94/5.02	c vivif2 --  cl tried     8737 cl shrink        0 lits rem          0 time: 0.01
21.14/5.32	c asymm  cl-useful: 0/8010/8010 lits-rem:0 time: 1.23
21.14/5.32	c calculated reachability. Time: 0.00
21.14/5.32	c  N dy   116     46261        90      8010         0      8737     56070    162165     25.05   no data  --
23.93/6.01	c  N dy   125     56987        90      8010         0      9379     56070    165167     24.76     26.31  --
25.53/6.44	c  N dy   148     64186        90      8010         0     16069     56070    361064     24.82     26.13  --
26.72/6.77	c  N dy   170     68351        90      8010         0     19925     56070    473633     24.88     26.23  --
27.12/6.86	c  S st   179     69391        90      8010         0     10726     56070    186909     24.90     23.97  --
27.12/6.89	c  S st   179     69893        90      8010         0     11197     56070    201041     24.90   no data  --
27.12/6.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.12/6.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.52/6.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
27.52/6.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.52/6.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.52/6.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
27.52/6.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
31.11/7.86	c lits-rem:       383  cl-subs:      135  v-elim:      0  v-fix:    0  time:  3.80 s
31.11/7.86	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
31.11/7.86	c vivif2 --  cl tried    11062 cl shrink        0 lits rem          0 time: 0.01
32.71/8.22	c asymm  cl-useful: 0/7730/8010 lits-rem:0 time: 1.43
32.71/8.22	c calculated reachability. Time: 0.00
32.71/8.22	c  N dy   179     69893        90      8010         0     11062     56070    195978     24.90   no data  --
34.32/8.68	c  N dy   210     77153        90      8010         0     17776     56070    395517     25.00     26.58  --
37.50/9.42	c  F st   223     87502        90      8010         0     16232     56070    329467     24.89     23.74  --
37.50/9.43	c  N st   223     87502        90      8010         0     16232     56070    329467     24.89     23.74  --
39.12/9.86	c  N dy   231     93130        90      8010         0     21445     56070    483292     24.89     26.30  --
41.49/10.49	c  N dy   261    101671        90      8010         0     17361     56070    347960     24.93     26.29  --
42.69/10.74	c  S st   277    104839        90      8010         0     20289     56070    434483     24.97     24.69  --
43.09/10.80	c  S st   277    105339        90      8010         0     20768     56070    448828     24.97   no data  --
43.09/10.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
43.09/10.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.09/10.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
43.09/10.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.09/10.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.09/10.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
43.09/10.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
49.88/12.59	c lits-rem:      1960  cl-subs:     1514  v-elim:      0  v-fix:    0  time:  7.03 s
49.88/12.59	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
49.88/12.59	c vivif2 --  cl tried    19254 cl shrink        0 lits rem          0 time: 0.02
51.88/13.00	c asymm  cl-useful: 0/5547/8010 lits-rem:0 time: 1.61
51.88/13.00	c calculated reachability. Time: 0.00
51.88/13.00	c  N dy   277    105339        90      8010         0     19254     56070    398996     24.97   no data  --
54.27/13.62	c  N dy   293    112766        90      8010         0     13217     56070    208536     24.96     26.31  --
56.26/14.14	c  N dy   321    120214        90      8010         0     20113     56070    411816     24.99     26.43  --
59.06/14.88	c  N dy   352    128650        90      8010         0     14083     56070    217480     25.04     26.40  --
61.49/15.49	c  N dy   395    136898        90      8010         0     21748     56070    443840     25.10     27.55  --
66.25/16.67	c  N dy   433    151779        90      8010         0     20614     56070    387351     25.06     26.49  --
68.25/17.18	c  S st   455    158010        90      8010         0     26387     56070    556534     25.08     23.88  --
68.64/17.25	c  S st   455    158513        90      8010         0     26861     56070    570673     25.08   no data  --
68.64/17.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
68.64/17.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
68.64/17.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
68.64/17.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
68.64/17.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
68.64/17.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
68.64/17.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
78.23/19.65	c lits-rem:      2058  cl-subs:     2486  v-elim:      0  v-fix:    0  time:  9.48 s
78.23/19.66	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
78.23/19.66	c vivif2 --  cl tried    24375 cl shrink        0 lits rem          0 time: 0.02
79.43/19.90	c asymm  cl-useful: 0/1945/8010 lits-rem:0 time: 0.94
79.43/19.90	c calculated reachability. Time: 0.00
79.43/19.90	c  N dy   455    158513        90      8010         0     24375     56070    494773     25.08   no data  --
83.45/20.99	c  N dy   505    169701        90      8010         0     19162     56070    330650     25.13     26.46  --
87.43/21.92	c  N dy   526    180954        90      8010         0     29604     56070    639328     25.12     26.47  --
91.40/23.00	c  N dy   555    193381        90      8010         0     24485     56070    471666     25.12     26.55  --
97.39/24.40	c  N dy   608    205810        90      8010         0     18411     56070    272842     25.16     26.66  --
102.99/25.82	c  N dy   687    220226        90      8010         0     31760     56070    669554     25.23     26.70  --
108.17/27.14	c  N dy   722    234673        90      8010         0     26593     56070    495899     25.23     26.74  --
109.39/27.45	c  S st   740    237770        90      8010         0     29487     56070    581467     25.25   no data  --
109.80/27.53	c  S st   740    238272        90      8010         0     29957     56070    595726     25.25   no data  --
109.80/27.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
109.80/27.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
109.80/27.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
109.80/27.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
109.80/27.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
109.80/27.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
109.80/27.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
120.55/30.27	c lits-rem:      1531  cl-subs:     1846  v-elim:      0  v-fix:    0  time: 10.82 s
120.55/30.27	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
120.55/30.28	c vivif2 --  cl tried    28111 cl shrink        0 lits rem          0 time: 0.02
120.94/30.34	c asymm  cl-useful: 0/518/8010 lits-rem:0 time: 0.24
120.94/30.34	c calculated reachability. Time: 0.00
120.94/30.34	c  N dy   740    238272        90      8010         0     28111     56070    535178     25.25   no data  --
131.76/33.01	c  N dy   767    266126        90      8010         0     34385     56070    705822     25.16     26.52  --
140.54/35.28	c  N dy   838    288156        90      8010         0     34504     56070    691771     25.15     26.59  --
148.50/37.23	c  F st   903    306250        90      8010         0     29952     56070    543899     25.17   no data  --
148.50/37.29	c  N st   905    306876        90      8010         0     30534     56070    561064     25.17   no data  --
161.67/40.53	c  N dy   956    336507        90      8010         0     35668     56070    680572     25.12     26.46  --
171.29/42.93	c  N dy  1005    357410        90      8010         0     31855     56070    553818     25.10     20.17  --
171.29/42.93	c  S st  1005    357410        90      8010         0     31855     56070    553818     25.10     20.17  --
171.66/43.01	c  S st  1005    357912        90      8010         0     32325     56070    567738     25.10   no data  --
171.66/43.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
171.66/43.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
171.66/43.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
171.66/43.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
171.66/43.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
171.66/43.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
171.66/43.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
181.23/45.48	c lits-rem:      1075  cl-subs:     2098  v-elim:      0  v-fix:    0  time:  9.71 s
181.23/45.48	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
181.23/45.48	c vivif2 --  cl tried    30227 cl shrink        0 lits rem          0 time: 0.02
182.03/45.68	c asymm  cl-useful: 0/2213/8010 lits-rem:0 time: 0.81
182.03/45.68	c calculated reachability. Time: 0.00
182.03/45.68	c  N dy  1005    357912        90      8010         0     30227     56070    506449     25.10   no data  --
196.82/49.31	c  N dy  1063    382040        90      8010         0     28693     56070    451874     25.09     26.56  --
207.59/52.08	c  N dy  1118    402201        90      8010         0     47311     56070    998079     25.09     26.42  --
217.18/54.46	c  N dy  1167    422224        90      8010         0     40958     56070    793770     25.08     26.42  --
228.38/57.29	c  N dy  1274    442425        90      8010         0     33772     56070    567556     25.13     26.46  --
240.34/60.26	c  N dy  1377    462472        90      8010         0     52411     56070   1122792     25.18     26.55  --
253.11/63.44	c  N dy  1433    488555        90      8010         0     49677     56070   1006792     25.14     26.47  --
263.89/66.11	c  N dy  1494    508724        90      8010         0     40593     56070    724018     25.13     26.45  --
277.86/69.60	c  N dy  1626    529115        90      8010         0     30799     56070    420275     25.18     26.59  --
281.85/70.60	c  S st  1687    536872        90      8010         0     37990     56070    637045     25.21     24.34  --
282.25/70.70	c  S st  1687    537377        90      8010         0     38463     56070    651113     25.21   no data  --
282.25/70.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
282.25/70.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
282.25/70.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.06
282.25/70.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
282.25/70.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
282.25/70.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
282.25/70.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
293.85/73.67	c lits-rem:      1011  cl-subs:     1374  v-elim:      0  v-fix:    0  time: 11.71 s
293.85/73.67	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
293.85/73.67	c vivif2 --  cl tried    37089 cl shrink        0 lits rem          0 time: 0.03
295.03/73.90	c asymm  cl-useful: 0/1469/8010 lits-rem:0 time: 0.89
295.03/73.90	c calculated reachability. Time: 0.00
295.03/73.90	c  N dy  1687    537377        90      8010         0     37089     56070    603776     25.21   no data  --
309.40/77.58	c  N dy  1760    562823        90      8010         0     31014     56070    408223     25.20     26.67  --
319.79/80.12	c  N dy  1810    582921        90      8010         0     49554     56070    951413     25.20     26.81  --
331.37/83.07	c  N dy  1855    603005        90      8010         0     37603     56070    583280     25.18     28.42  --
344.14/86.24	c  N dy  1936    623202        90      8010         0     56359     56070   1139427     25.21     26.63  --
356.52/89.30	c  N dy  1996    643818        90      8010         0     43951     56070    755042     25.21     26.55  --
370.89/92.99	c  N dy  2055    664455        90      8010         0     63145     56070   1321914     25.21     26.55  --
382.48/95.83	c  N dy  2088    685097        90      8010         0     49678     56070    895416     25.19     26.74  --
398.05/99.72	c  N dy  2187    705132        90      8010         0     35005     56070    455026     25.22     27.95  --
408.82/102.46	c  N dy  2220    725287        90      8010         0     53580     56070   1005063     25.20     26.62  --
427.20/107.03	c  N dy  2301    749101        90      8010         0     41424     56070    625308     25.21     26.67  --
442.77/110.94	c  N dy  2391    772873        90      8010         0     63427     56070   1276771     25.22     26.62  --
457.13/114.55	c  N dy  2489    793005        90      8010         0     46975     56070    771125     25.24     26.93  --
466.32/116.80	c  S st  2551    806066        90      8010         0     59102     56070   1131272     25.25     24.77  --
466.72/116.96	c  S st  2551    806567        90      8010         0     59567     56070   1145127     25.25   no data  --
466.72/116.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
466.72/116.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
466.72/116.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
467.13/117.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
467.13/117.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
467.13/117.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
467.13/117.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
511.04/128.06	c lits-rem:      2514  cl-subs:     4109  v-elim:      0  v-fix:    0  time: 44.06 s
511.04/128.06	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
511.04/128.08	c vivif2 --  cl tried    55458 cl shrink        0 lits rem          0 time: 0.05
512.64/128.41	c asymm  cl-useful: 0/1049/8010 lits-rem:0 time: 1.34
512.64/128.41	c calculated reachability. Time: 0.00
512.64/128.41	c  N dy  2551    806567        90      8010         0     55458     56070   1010789     25.25   no data  --
530.21/132.83	c  N dy  2658    826648        90      8010         0     38113     56070    490647     25.27     27.73  --
542.19/135.88	c  N dy  2737    846693        90      8010         0     56700     56070   1041875     25.29     27.52  --
559.36/140.13	c  N dy  2802    866994        90      8010         0     38498     56070    481370     25.29     26.65  --
571.33/143.19	c  N dy  2828    888206        90      8010         0     57942     56070   1046159     25.26     26.84  --
588.90/147.59	c  N dy  2903    908518        90      8010         0     38909     56070    475488     25.26     26.62  --
607.27/152.10	c  N dy  2989    936545        90      8010         0     64754     56070   1237808     25.27     26.65  --
621.65/155.72	c  N dy  3012    956576        90      8010         0     44527     56070    619997     25.24     27.12  --
635.62/159.25	c  N dy  3057    977639        90      8010         0     63964     56070   1190653     25.24     26.62  --
655.98/164.35	c  N dy  3113   1006209        90      8010         0     50653     56070    778081     25.21     26.73  --
672.75/168.55	c  N dy  3224   1026222        90      8010         0     69188     56070   1329349     25.23     26.60  --
690.33/172.93	c  N dy  3282   1046862        90      8010         0     47588     56070    669105     25.23     26.67  --
705.09/176.68	c  N dy  3361   1066958        90      8010         0     66202     56070   1222413     25.24     28.37  --
709.09/177.67	c  F st  3376   1071875        90      8010         0     70732     56070   1356230     25.24     22.65  --
723.46/181.27	c  N dy  3409   1087090        90      8010         0     43195     56070    527195     25.24     26.57  --
737.04/184.69	c  N dy  3496   1107764        90      8010         0     62319     56070   1096413     25.25     26.60  --
755.79/189.31	c  N dy  3569   1127830        90      8010         0     80927     56070   1648809     25.26     28.05  --
772.59/193.57	c  N dy  3648   1147898        90      8010         0     56892     56070    914874     25.26     26.82  --
793.74/198.81	c  N dy  3727   1168238        90      8010         0     75667     56070   1472246     25.27     26.80  --
814.10/203.96	c  N dy  3783   1189305        90      8010         0     51733     56070    742175     25.27     26.79  --
834.08/208.94	c  N dy  3864   1209851        90      8010         0     70754     56070   1305478     25.28     23.96  --
834.08/208.94	c  S st  3864   1209851        90      8010         0     70754     56070   1305478     25.28     23.96  --
835.25/209.21	c  S st  3864   1210354        90      8010         0     71231     56070   1319979     25.28   no data  --
835.25/209.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
835.25/209.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
835.25/209.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.19
835.65/209.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
835.65/209.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
835.65/209.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
835.65/209.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
924.29/231.58	c lits-rem:      3227  cl-subs:     5034  v-elim:      0  v-fix:    0  time: 88.88 s
924.29/231.58	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
924.69/231.60	c vivif2 --  cl tried    66197 cl shrink        0 lits rem          0 time: 0.06
925.89/231.95	c asymm  cl-useful: 0/841/8010 lits-rem:0 time: 1.39
925.89/231.95	c calculated reachability. Time: 0.00
925.89/231.95	c  N dy  3864   1210354        90      8010         0     66197     56070   1161079     25.28   no data  --
950.24/238.01	c  N dy  3948   1231297        90      8010         0     85521     56070   1733304     25.28     26.73  --
970.23/243.04	c  N dy  4051   1251912        90      8010         0     60459     56070    988679     25.30     26.69  --
990.97/248.21	c  N dy  4123   1272277        90      8010         0     79286     56070   1544187     25.30     26.66  --
1016.52/254.64	c  N dy  4174   1297542        90      8010         0     57383     56070    866520     25.29     26.65  --
1038.48/260.12	c  N dy  4249   1318697        90      8010         0     76898     56070   1443391     25.29     26.64  --
1065.24/266.85	c  N dy  4361   1339316        90      8010         0     49861     56070    632975     25.31     26.74  --
1082.41/271.11	c  N dy  4401   1359576        90      8010         0     68539     56070   1181797     25.30     26.68  --
1105.56/276.97	c  N dy  4481   1379635        90      8010         0     87093     56070   1734353     25.31     27.62  --
1217.36/304.97	c  N dy  4525   1504030        90      8010         0     57312     56070    797387     25.12     26.49  --
1240.12/310.67	c  N dy  4655   1524205        90      8010         0     75982     56070   1355386     25.14     26.47  --
1266.07/317.14	c  N dy  4709   1545211        90      8010         0     95433     56070   1934867     25.14     26.52  --
1286.87/322.36	c  N dy  4801   1566709        90      8010         0     65685     56070   1033094     25.14     26.56  --
1311.20/328.40	c  N dy  4899   1590405        90      8010         0     87608     56070   1682814     25.15     26.58  --
1335.17/334.45	c  N dy  4998   1610410        90      8010         0     55397     56070    707321     25.17     26.81  --
1351.92/338.70	c  N dy  5078   1630455        90      8010         0     73897     56070   1254948     25.17     26.54  --
1373.48/344.06	c  N dy  5146   1650475        90      8010         0     92377     56070   1798669     25.17     26.90  --
1392.64/348.81	c  N dy  5168   1670556        90      8010         0     59145     56070    792251     25.16     26.92  --
1409.84/353.17	c  N dy  5257   1690733        90      8010         0     77790     56070   1347726     25.17     26.89  --
1431.39/358.58	c  S st  5314   1710354        90      8010         0     95972     56070   1888391     25.17   no data  --
1432.56/358.89	c  S st  5314   1710859        90      8010         0     96453     56070   1902894     25.17   no data  --
1432.96/358.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1432.96/358.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1432.96/358.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.22
1433.36/359.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1433.36/359.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1433.36/359.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
1433.36/359.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1577.50/395.10	c lits-rem:      5133  cl-subs:     8298  v-elim:      0  v-fix:    0  time: 144.05 s
1577.50/395.11	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
1577.50/395.13	c vivif2 --  cl tried    88155 cl shrink        0 lits rem          0 time: 0.08
1578.70/395.47	c asymm  cl-useful: 0/642/8010 lits-rem:0 time: 1.40
1578.70/395.48	c calculated reachability. Time: 0.00
1578.70/395.48	c  N dy  5314   1710859        90      8010         0     88155     56070   1643467     25.17   no data  --
1605.85/402.21	c  N dy  5429   1730892        90      8010         0     54371     56070    644293     25.18     28.40  --
1622.22/406.39	c  N dy  5507   1751075        90      8010         0     73046     56070   1201557     25.19     26.53  --
1645.38/412.10	c  N dy  5596   1771277        90      8010         0     91750     56070   1754628     25.19     26.57  --
1670.94/418.58	c  N dy  5680   1791446        90      8010         0     56973     56070    700361     25.20     26.54  --
1687.71/422.75	c  N dy  5740   1811989        90      8010         0     75902     56070   1260350     25.20     26.57  --
1709.27/428.19	c  N dy  5811   1832043        90      8010         0     94512     56070   1812302     25.20     29.56  --
1736.42/434.93	c  N dy  5859   1855571        90      8010         0     61711     56070    816229     25.20     26.53  --
1759.18/440.69	c  N dy  5971   1879564        90      8010         0     83933     56070   1476234     25.21     26.77  --
1787.92/447.88	c  N dy  6091   1899712        90      8010         0    102673     56070   2038143     25.22     26.70  --
1819.87/455.80	c  N dy  6213   1919747        90      8010         0     65732     56070    924338     25.23     27.14  --
1845.82/462.32	c  N dy  6315   1940145        90      8010         0     84689     56070   1490051     25.24     26.67  --
1875.40/469.75	c  N dy  6380   1963122        90      8010         0    105901     56070   2119622     25.24     26.65  --
1922.08/481.44	c  N dy  6450   2010106        90      8010         0     92760     56070   1688496     25.22     26.65  --
1954.04/489.50	c  N dy  6546   2033604        90      8010         0    114490     56070   2337996     25.23     26.70  --
1972.02/493.94	c  N dy  6581   2054017        90      8010         0     76011     56070   1184340     25.22     26.75  --
1993.98/499.44	c  N dy  6636   2074090        90      8010         0     94539     56070   1731852     25.23     26.59  --
2077.80/520.43	c  N dy  6674   2153910        90      8010         0    109365     56070   2102324     25.15     26.49  --
2120.53/531.16	c  N dy  6747   2193489        90      8010         0     86921     56070   1467686     25.14     26.46  --
2146.08/537.51	c  S st  6820   2210859        90      8010         0    103017     56070   1946229     25.14     24.33  --
2147.30/537.81	c  S st  6820   2211362        90      8010         0    103491     56070   1960883     25.14   no data  --
2147.30/537.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2147.30/537.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2147.30/537.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.21
2147.71/537.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2147.71/537.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2147.71/537.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
2147.71/537.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2542.57/636.81	c lits-rem:      6866  cl-subs:     9023  v-elim:      0  v-fix:    0  time: 394.63 s
2542.57/636.82	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
2542.57/636.84	c vivif2 --  cl tried    94468 cl shrink        0 lits rem          0 time: 0.09
2544.16/637.20	c asymm  cl-useful: 0/595/8010 lits-rem:0 time: 1.44
2544.16/637.20	c calculated reachability. Time: 0.00
2544.16/637.20	c  N dy  6820   2211362        90      8010         0     94468     56070   1686454     25.14   no data  --
2571.31/644.07	c  N dy  6848   2231464        90      8010         0    112950     56070   2226690     25.14     26.61  --
2600.45/651.36	c  N dy  6979   2251563        90      8010         0     72241     56070   1033776     25.15     27.85  --
2622.81/656.94	c  N dy  7030   2271639        90      8010         0     90766     56070   1576192     25.15     26.60  --
2711.06/679.02	c  N dy  7095   2358212        90      8010         0    109054     56070   2043750     25.07     26.43  --
2741.80/686.79	c  N dy  7210   2378360        90      8010         0     66485     56070    827358     25.08     26.47  --
2762.18/691.90	c  N dy  7283   2398941        90      8010         0     85558     56070   1394403     25.08     26.45  --
2791.71/699.21	c  N dy  7395   2421314        90      8010         0    106269     56070   2013969     25.09     26.61  --
2823.25/707.11	c  N dy  7451   2441372        90      8010         0    124754     56070   2559909     25.09     30.34  --
2845.22/712.64	c  N dy  7481   2462082        90      8010         0     81179     56070   1221304     25.09     26.42  --
2872.75/719.59	c  N dy  7548   2482088        90      8010         0     99726     56070   1772818     25.09     27.46  --
2910.30/728.92	c  N dy  7669   2502361        90      8010         0    118529     56070   2336819     25.10     26.44  --
2941.84/736.82	c  N dy  7793   2522860        90      8010         0     73963     56070   1002038     25.11     26.57  --
2966.19/742.99	c  N dy  7902   2543636        90      8010         0     93174     56070   1575902     25.12     26.54  --
2994.95/750.20	c  N dy  7996   2563716        90      8010         0    111746     56070   2128353     25.12     27.43  --
3028.88/758.61	c  N dy  8089   2583774        90      8010         0     65651     56070    735221     25.13     29.44  --
3050.44/764.09	c  N dy  8208   2603874        90      8010         0     84295     56070   1295797     25.14     27.96  --
3074.80/770.16	c  N dy  8283   2623926        90      8010         0    102861     56070   1847537     25.14     28.29  --
3103.95/777.48	c  N dy  8343   2644155        90      8010         0    121511     56070   2396666     25.14     26.54  --
3133.89/784.92	c  N dy  8428   2666867        90      8010         0     76838     56070   1048976     25.15     26.51  --
3159.45/791.39	c  N dy  8549   2687097        90      8010         0     95588     56070   1610547     25.16     26.49  --
3190.98/799.29	c  N dy  8645   2708405        90      8010         0    115283     56070   2197717     25.16     26.51  --
3196.58/800.68	c  S st  8669   2711362        90      8010         0    118033     56070   2281041     25.17     25.60  --
3198.17/801.02	c  S st  8669   2711865        90      8010         0    118514     56070   2295348     25.17   no data  --
3198.17/801.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3198.17/801.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3198.17/801.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.26
3198.57/801.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3198.57/801.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3198.57/801.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     90 time:  0.00 s
3198.57/801.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4071.01/1019.65	c lits-rem:      7534  cl-subs:     9025  v-elim:      0  v-fix:    0  time: 872.11 s
4071.01/1019.65	c vivif2 --  cl tried     8010 cl shrink        0 lits rem          0 time: 0.00
4071.01/1019.68	c vivif2 --  cl tried   109489 cl shrink        0 lits rem          0 time: 0.12
4072.99/1020.18	c asymm  cl-useful: 0/519/8010 lits-rem:0 time: 1.99
4072.99/1020.18	c calculated reachability. Time: 0.00
4072.99/1020.18	c  N dy  8669   2711865        90      8010         0    109489     56070   1997332     25.17   no data  --
4113.72/1030.38	c  N dy  8738   2731886        90      8010         0    127937     56070   2539476     25.17     26.53  --
4161.64/1042.35	c  N dy  8780   2766626        90      8010         0     93623     56070   1515304     25.15     26.52  --
4204.36/1053.09	c  N dy  8877   2790414        90      8010         0    115590     56070   2167428     25.16     26.52  --
4253.87/1065.41	c  N dy  9004   2810624        90      8010         0    134294     56070   2731255     25.17     26.57  --
4290.20/1074.53	c  N dy  9054   2839018        90      8010         0     93218     56070   1496027     25.16     26.52  --
4336.92/1086.27	c  N dy  9181   2859110        90      8010         0    111871     56070   2054557     25.17     27.63  --
4387.66/1098.93	c  N dy  9306   2879116        90      8010         0    130441     56070   2612429     25.18     26.52  --
4435.97/1111.04	c  N dy  9410   2905896        90      8010         0     86821     56070   1292472     25.18     26.55  --
4476.67/1121.23	c  N dy  9538   2925928        90      8010         0    105392     56070   1850297     25.19     28.40  --
4522.99/1132.90	c  N dy  9634   2946620        90      8010         0    124520     56070   2423633     25.20     26.64  --
4577.68/1146.50	c  N dy  9724   2974213        90      8010         0     80707     56070   1081684     25.20     26.81  --
4608.83/1154.37	c  N dy  9835   2994907        90      8010         0     99854     56070   1652851     25.20     26.59  --
4644.36/1163.20	c  N dy  9925   3014956        90      8010         0    118371     56070   2204420     25.21     27.02  --
4687.48/1174.03	c  N dy 10019   3035401        90      8010         0    137291     56070   2770718     25.21     26.57  --
4718.23/1181.79	c  N dy 10122   3055485        90      8010         0     85722     56070   1225615     25.22     27.89  --
4748.57/1189.39	c  N dy 10222   3075544        90      8010         0    104358     56070   1784079     25.22     26.88  --
4784.11/1198.24	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368788-1305403048/watcher-3368788-1305403048 -o /tmp/evaluation-result-3368788-1305403048/solver-3368788-1305403048 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368788-1305403048.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 8.18 8.11 8.02 4/228 3415
/proc/meminfo: memFree=19330572/32950928 swapFree=64721848/67111528
[pid=3415] ppid=3412 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 4 0 651904570 52465664 352 33554432000 4194304 4650419 140736198098288 18446744073709551615 46996061505458 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 12809 352 303 112 0 7774 0
[pid=3415/tid=3418] ppid=3412 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651904570 52465664 352 33554432000 4194304 4650419 140736198098288 18446744073709551615 46996061505458 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651904570 52465664 352 33554432000 4194304 4650419 140736198098288 18446744073709551615 46996061505452 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651904570 52465664 352 33554432000 4194304 4650419 140736198098288 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0981711 s]
/proc/loadavg: 8.18 8.11 8.02 4/228 3415
/proc/meminfo: memFree=19330572/32950928 swapFree=64721848/67111528
[pid=3415] ppid=3412 vsize=281924 CPUtime=0.37 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 1625 0 0 0 37 0 0 0 25 0 4 0 651904570 288690176 1532 33554432000 4194304 4650419 140736198098288 18446744073709551615 248089359393 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 70481 1532 366 112 0 65446 0
[pid=3415/tid=3418] ppid=3412 vsize=281924 CPUtime=0.09 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 252 0 0 0 9 0 0 0 25 0 4 0 651904570 288690176 1532 33554432000 4194304 4650419 140736198098288 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=281924 CPUtime=0.09 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 291 0 0 0 9 0 0 0 25 0 4 0 651904570 288690176 1533 33554432000 4194304 4650419 140736198098288 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=281924 CPUtime=0.08 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 403 0 0 0 8 0 0 0 25 0 4 0 651904570 288690176 1533 33554432000 4194304 4650419 140736198098288 18446744073709551615 248089359393 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 281924

[startup+0.158655 s]
/proc/loadavg: 8.18 8.11 8.02 4/228 3415
/proc/meminfo: memFree=19330572/32950928 swapFree=64721848/67111528
[pid=3415] ppid=3412 vsize=281924 CPUtime=0.61 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 1726 0 0 0 61 0 0 0 25 0 4 0 651904570 288690176 1633 33554432000 4194304 4650419 140736198098288 18446744073709551615 4370582 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 70481 1633 366 112 0 65446 0
[pid=3415/tid=3418] ppid=3412 vsize=281924 CPUtime=0.15 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 252 0 0 0 15 0 0 0 25 0 4 0 651904570 288690176 1633 33554432000 4194304 4650419 140736198098288 18446744073709551615 4371092 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=281924 CPUtime=0.15 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 296 0 0 0 15 0 0 0 25 0 4 0 651904570 288690176 1633 33554432000 4194304 4650419 140736198098288 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=281924 CPUtime=0.14 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 488 0 0 0 14 0 0 0 25 0 4 0 651904570 288690176 1633 33554432000 4194304 4650419 140736198098288 18446744073709551615 4304121 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 281924

[startup+0.300633 s]
/proc/loadavg: 8.18 8.11 8.02 4/228 3415
/proc/meminfo: memFree=19330572/32950928 swapFree=64721848/67111528
[pid=3415] ppid=3412 vsize=284004 CPUtime=1.16 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 4150 0 0 0 116 0 0 0 18 0 4 0 651904570 290820096 3430 33554432000 4194304 4650419 140736198098288 18446744073709551615 4360427 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 71001 3431 390 112 0 65966 0
[pid=3415/tid=3418] ppid=3412 vsize=284004 CPUtime=0.29 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 937 0 0 0 29 0 0 0 18 0 4 0 651904570 290820096 3431 33554432000 4194304 4650419 140736198098288 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=284004 CPUtime=0.29 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 954 0 0 0 29 0 0 0 18 0 4 0 651904570 290820096 3431 33554432000 4194304 4650419 140736198098288 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=284004 CPUtime=0.28 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 827 0 0 0 28 0 0 0 25 0 4 0 651904570 290820096 3431 33554432000 4194304 4650419 140736198098288 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 284004

[startup+0.700562 s]
/proc/loadavg: 8.18 8.11 8.02 4/228 3415
/proc/meminfo: memFree=19330572/32950928 swapFree=64721848/67111528
[pid=3415] ppid=3412 vsize=286128 CPUtime=2.77 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 6851 0 0 0 276 1 0 0 18 0 4 0 651904570 292995072 4155 33554432000 4194304 4650419 140736198098288 18446744073709551615 4365223 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 71532 4155 390 112 0 66497 0
[pid=3415/tid=3418] ppid=3412 vsize=286128 CPUtime=0.69 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 1674 0 0 0 69 0 0 0 18 0 4 0 651904570 292995072 4155 33554432000 4194304 4650419 140736198098288 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=286128 CPUtime=0.69 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 1629 0 0 0 69 0 0 0 18 0 4 0 651904570 292995072 4155 33554432000 4194304 4650419 140736198098288 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=286128 CPUtime=0.68 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 1313 0 0 0 68 0 0 0 25 0 4 0 651904570 292995072 4156 33554432000 4194304 4650419 140736198098288 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286128

[startup+1.50042 s]
/proc/loadavg: 8.18 8.11 8.02 11/236 3423
/proc/meminfo: memFree=19300004/32950928 swapFree=64721848/67111528
[pid=3415] ppid=3412 vsize=287260 CPUtime=5.96 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 10970 0 0 0 594 2 0 0 19 0 4 0 651904570 294154240 4913 33554432000 4194304 4650419 140736198098288 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 71815 4913 391 112 0 66780 0
[pid=3415/tid=3418] ppid=3412 vsize=287260 CPUtime=1.49 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 2726 0 0 0 149 0 0 0 19 0 4 0 651904570 294154240 4913 33554432000 4194304 4650419 140736198098288 18446744073709551615 4366953 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=287260 CPUtime=1.48 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 2632 0 0 0 148 0 0 0 19 0 4 0 651904570 294154240 4913 33554432000 4194304 4650419 140736198098288 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=287260 CPUtime=1.47 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 2378 0 0 0 147 0 0 0 25 0 4 0 651904570 294154240 4913 33554432000 4194304 4650419 140736198098288 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287260

[startup+3.10114 s]
/proc/loadavg: 8.17 8.11 8.02 9/236 3423
/proc/meminfo: memFree=19272228/32950928 swapFree=64721848/67111528
[pid=3415] ppid=3412 vsize=287552 CPUtime=12.36 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 20882 0 0 0 1232 4 0 0 24 0 4 0 651904570 294453248 12584 33554432000 4194304 4650419 140736198098288 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 71888 12584 392 112 0 66853 0
[pid=3415/tid=3418] ppid=3412 vsize=287552 CPUtime=3.09 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 4535 0 0 0 309 0 0 0 24 0 4 0 651904570 294453248 12584 33554432000 4194304 4650419 140736198098288 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=287552 CPUtime=3.09 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 5698 0 0 0 308 1 0 0 24 0 4 0 651904570 294453248 12584 33554432000 4194304 4650419 140736198098288 18446744073709551615 4439619 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=287552 CPUtime=3.07 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 5757 0 0 0 306 1 0 0 25 0 4 0 651904570 294453248 12584 33554432000 4194304 4650419 140736198098288 18446744073709551615 4476354 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 287552

[startup+6.30058 s]
/proc/loadavg: 8.17 8.11 8.02 9/236 3423
/proc/meminfo: memFree=19220236/32950928 swapFree=64721848/67111528
[pid=3415] ppid=3412 vsize=289376 CPUtime=25.13 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 30458 0 0 0 2507 6 0 0 25 0 4 0 651904570 296321024 16381 33554432000 4194304 4650419 140736198098288 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 72344 16381 392 112 0 67309 0
[pid=3415/tid=3418] ppid=3412 vsize=289376 CPUtime=6.29 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 7844 0 0 0 628 1 0 0 25 0 4 0 651904570 296321024 16381 33554432000 4194304 4650419 140736198098288 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=289376 CPUtime=6.29 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 7659 0 0 0 627 2 0 0 25 0 4 0 651904570 296321024 16381 33554432000 4194304 4650419 140736198098288 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=289376 CPUtime=6.25 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 7909 0 0 0 623 2 0 0 25 0 4 0 651904570 296321024 16381 33554432000 4194304 4650419 140736198098288 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 289376

[startup+12.7004 s]
/proc/loadavg: 8.22 8.12 8.03 9/236 3423
/proc/meminfo: memFree=19151896/32950928 swapFree=64721848/67111528
[pid=3415] ppid=3412 vsize=300312 CPUtime=50.67 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 44268 0 0 0 5057 10 0 0 25 0 4 0 651904570 307519488 22891 33554432000 4194304 4650419 140736198098288 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 75078 22891 392 112 0 70043 0
[pid=3415/tid=3418] ppid=3412 vsize=300312 CPUtime=12.68 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 10895 0 0 0 1266 2 0 0 25 0 4 0 651904570 307519488 22891 33554432000 4194304 4650419 140736198098288 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=300312 CPUtime=12.68 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 10801 0 0 0 1266 2 0 0 25 0 4 0 651904570 307519488 22891 33554432000 4194304 4650419 140736198098288 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=300312 CPUtime=12.6 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 11910 0 0 0 1257 3 0 0 25 0 4 0 651904570 307519488 22891 33554432000 4194304 4650419 140736198098288 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 300312

[startup+25.5012 s]
/proc/loadavg: 8.19 8.12 8.03 9/236 3424
/proc/meminfo: memFree=19095256/32950928 swapFree=64721848/67111528
[pid=3415] ppid=3412 vsize=300788 CPUtime=101.79 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 66559 0 0 0 10161 18 0 0 25 0 4 0 651904570 308006912 27966 33554432000 4194304 4650419 140736198098288 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 75197 27966 392 112 0 70162 0
[pid=3415/tid=3418] ppid=3412 vsize=300788 CPUtime=25.49 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 16890 0 0 0 2545 4 0 0 25 0 4 0 651904570 308006912 27966 33554432000 4194304 4650419 140736198098288 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=300788 CPUtime=25.49 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 16273 0 0 0 2544 5 0 0 25 0 4 0 651904570 308006912 27966 33554432000 4194304 4650419 140736198098288 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=300788 CPUtime=25.3 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 18823 0 0 0 2525 5 0 0 25 0 4 0 651904570 308006912 27966 33554432000 4194304 4650419 140736198098288 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 300788

[startup+51.1007 s]
/proc/loadavg: 8.12 8.11 8.02 9/236 3424
/proc/meminfo: memFree=19041888/32950928 swapFree=64721848/67111528
[pid=3415] ppid=3412 vsize=292304 CPUtime=203.99 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 100798 0 0 0 20372 27 0 0 25 0 4 0 651904570 299319296 34396 33554432000 4194304 4650419 140736198098288 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 73076 34396 392 112 0 68041 0
[pid=3415/tid=3418] ppid=3412 vsize=292304 CPUtime=51.09 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 25547 0 0 0 5102 7 0 0 25 0 4 0 651904570 299319296 34396 33554432000 4194304 4650419 140736198098288 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=292304 CPUtime=51.09 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 25979 0 0 0 5102 7 0 0 25 0 4 0 651904570 299319296 34396 33554432000 4194304 4650419 140736198098288 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=292304 CPUtime=50.71 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 27282 0 0 0 5063 8 0 0 25 0 4 0 651904570 299319296 34396 33554432000 4194304 4650419 140736198098288 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.99
Current children cumulated vsize (KiB) 292304

[startup+102.309 s]
/proc/loadavg: 8.14 8.12 8.03 9/236 3426
/proc/meminfo: memFree=18984460/32950928 swapFree=64721848/67111528
[pid=3415] ppid=3412 vsize=315064 CPUtime=408.46 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 155451 0 0 0 40802 44 0 0 25 0 4 0 651904570 322625536 39404 33554432000 4194304 4650419 140736198098288 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 78766 39404 392 112 0 73731 0
[pid=3415/tid=3418] ppid=3412 vsize=315064 CPUtime=102.3 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 37756 0 0 0 10218 12 0 0 25 0 4 0 651904570 322625536 39404 33554432000 4194304 4650419 140736198098288 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=315064 CPUtime=102.29 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 38471 0 0 0 10217 12 0 0 25 0 4 0 651904570 322625536 39404 33554432000 4194304 4650419 140736198098288 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=315064 CPUtime=101.54 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 43838 0 0 0 10143 11 0 0 25 0 4 0 651904570 322625536 39404 33554432000 4194304 4650419 140736198098288 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.46
Current children cumulated vsize (KiB) 315064

[startup+162.301 s]

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

[pid=3415] ppid=3412 vsize=507316 CPUtime=2564.54 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 463080 0 0 0 256274 180 0 0 25 0 4 0 651904570 519491584 84819 33554432000 4194304 4650419 140736198098288 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 126829 84819 392 112 0 121794 0
[pid=3415/tid=3418] ppid=3412 vsize=507316 CPUtime=642.29 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 122370 0 0 0 64175 54 0 0 25 0 4 0 651904570 519491584 84820 33554432000 4194304 4650419 140736198098288 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=507316 CPUtime=642.29 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 108744 0 0 0 64185 44 0 0 25 0 4 0 651904570 519491584 84820 33554432000 4194304 4650419 140736198098288 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=507316 CPUtime=637.63 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 131687 0 0 0 63715 48 0 0 25 0 4 0 651904570 519491584 84820 33554432000 4194304 4650419 140736198098288 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2564.54
Current children cumulated vsize (KiB) 507316

[startup+702.301 s]
/proc/loadavg: 8.22 8.15 8.07 9/236 3455
/proc/meminfo: memFree=18623192/32950928 swapFree=64721848/67111528
[pid=3415] ppid=3412 vsize=534512 CPUtime=2804.08 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 488535 0 0 0 280215 193 0 0 25 0 4 0 651904570 547340288 86300 33554432000 4194304 4650419 140736198098288 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 133628 86300 392 112 0 128593 0
[pid=3415/tid=3418] ppid=3412 vsize=534512 CPUtime=702.28 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 129740 0 0 0 70170 58 0 0 25 0 4 0 651904570 547340288 86300 33554432000 4194304 4650419 140736198098288 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=534512 CPUtime=702.28 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 112411 0 0 0 70182 46 0 0 25 0 4 0 651904570 547340288 86300 33554432000 4194304 4650419 140736198098288 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=534512 CPUtime=697.2 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 139668 0 0 0 69667 53 0 0 25 0 4 0 651904570 547340288 86300 33554432000 4194304 4650419 140736198098288 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.08
Current children cumulated vsize (KiB) 534512

[startup+762.309 s]
/proc/loadavg: 8.19 8.15 8.07 9/236 3456
/proc/meminfo: memFree=18579508/32950928 swapFree=64721848/67111528
[pid=3415] ppid=3412 vsize=535244 CPUtime=3043.69 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 505886 0 0 0 304165 204 0 0 25 0 4 0 651904570 548089856 85866 33554432000 4194304 4650419 140736198098288 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 133811 85866 392 112 0 128776 0
[pid=3415/tid=3418] ppid=3412 vsize=535244 CPUtime=762.29 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 136886 0 0 0 76168 61 0 0 25 0 4 0 651904570 548089856 85866 33554432000 4194304 4650419 140736198098288 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=535244 CPUtime=762.3 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 116541 0 0 0 76180 50 0 0 25 0 4 0 651904570 548089856 85866 33554432000 4194304 4650419 140736198098288 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=535244 CPUtime=756.76 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 144928 0 0 0 75620 56 0 0 25 0 4 0 651904570 548089856 85866 33554432000 4194304 4650419 140736198098288 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3043.69
Current children cumulated vsize (KiB) 535244

[startup+822.301 s]
/proc/loadavg: 8.07 8.12 8.07 9/236 3458
/proc/meminfo: memFree=18563244/32950928 swapFree=64721848/67111528
[pid=3415] ppid=3412 vsize=522360 CPUtime=3283.22 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 526415 0 0 0 328107 215 0 0 25 0 4 0 651904570 534896640 93450 33554432000 4194304 4650419 140736198098288 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 130590 93450 392 112 0 125555 0
[pid=3415/tid=3418] ppid=3412 vsize=522360 CPUtime=822.28 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 141674 0 0 0 82163 65 0 0 25 0 4 0 651904570 534896640 93450 33554432000 4194304 4650419 140736198098288 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=522360 CPUtime=822.28 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 122818 0 0 0 82175 53 0 0 25 0 4 0 651904570 534896640 93450 33554432000 4194304 4650419 140736198098288 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=522360 CPUtime=816.33 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 151740 0 0 0 81573 60 0 0 25 0 4 0 651904570 534896640 93450 33554432000 4194304 4650419 140736198098288 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3283.22
Current children cumulated vsize (KiB) 522360

[startup+882.301 s]
/proc/loadavg: 8.08 8.11 8.07 10/236 3459
/proc/meminfo: memFree=18554532/32950928 swapFree=64721848/67111528
[pid=3415] ppid=3412 vsize=535708 CPUtime=3522.78 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 543460 0 0 0 352053 225 0 0 25 0 4 0 651904570 548564992 87681 33554432000 4194304 4650419 140736198098288 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 133927 87681 392 112 0 128892 0
[pid=3415/tid=3418] ppid=3412 vsize=535708 CPUtime=882.29 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 146811 0 0 0 88161 68 0 0 25 0 4 0 651904570 548564992 87681 33554432000 4194304 4650419 140736198098288 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=535708 CPUtime=882.28 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 127887 0 0 0 88172 56 0 0 25 0 4 0 651904570 548564992 87681 33554432000 4194304 4650419 140736198098288 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=535708 CPUtime=875.89 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 158019 0 0 0 87525 64 0 0 25 0 4 0 651904570 548564992 87681 33554432000 4194304 4650419 140736198098288 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3522.78
Current children cumulated vsize (KiB) 535708

[startup+942.3 s]
/proc/loadavg: 8.09 8.11 8.07 9/236 3461
/proc/meminfo: memFree=18503392/32950928 swapFree=64721848/67111528
[pid=3415] ppid=3412 vsize=601368 CPUtime=3762.35 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 566582 0 0 0 375999 236 0 0 25 0 4 0 651904570 615800832 100730 33554432000 4194304 4650419 140736198098288 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 150342 100730 392 112 0 145307 0
[pid=3415/tid=3418] ppid=3412 vsize=601368 CPUtime=942.28 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 156428 0 0 0 94157 71 0 0 25 0 4 0 651904570 615800832 100730 33554432000 4194304 4650419 140736198098288 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=601368 CPUtime=942.29 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 132691 0 0 0 94169 60 0 0 25 0 4 0 651904570 615800832 100730 33554432000 4194304 4650419 140736198098288 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=601368 CPUtime=935.46 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 166720 0 0 0 93478 68 0 0 25 0 4 0 651904570 615800832 100730 33554432000 4194304 4650419 140736198098288 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3762.35
Current children cumulated vsize (KiB) 601368

[startup+1002.3 s]
/proc/loadavg: 8.08 8.10 8.07 9/236 3463
/proc/meminfo: memFree=18494548/32950928 swapFree=64721848/67111528
[pid=3415] ppid=3412 vsize=614644 CPUtime=4001.92 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 574154 0 0 0 399951 241 0 0 25 0 4 0 651904570 629395456 99984 33554432000 4194304 4650419 140736198098288 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 153661 99984 392 112 0 148626 0
[pid=3415/tid=3418] ppid=3412 vsize=614644 CPUtime=1002.28 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 157288 0 0 0 100157 71 0 0 25 0 4 0 651904570 629395456 99984 33554432000 4194304 4650419 140736198098288 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=614644 CPUtime=1002.29 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 138582 0 0 0 100164 65 0 0 25 0 4 0 651904570 629395456 99984 33554432000 4194304 4650419 140736198098288 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=614644 CPUtime=995.02 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 167541 0 0 0 99434 68 0 0 25 0 4 0 651904570 629395456 99984 33554432000 4194304 4650419 140736198098288 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4001.92
Current children cumulated vsize (KiB) 614644

[startup+1062.3 s]
/proc/loadavg: 8.13 8.11 8.07 9/236 3464
/proc/meminfo: memFree=18510380/32950928 swapFree=64721848/67111528
[pid=3415] ppid=3412 vsize=576496 CPUtime=4241.49 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 588395 0 0 0 423900 249 0 0 25 0 4 0 651904570 590331904 91915 33554432000 4194304 4650419 140736198098288 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 144124 91915 392 112 0 139089 0
[pid=3415/tid=3418] ppid=3412 vsize=576496 CPUtime=1062.28 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 159937 0 0 0 106156 72 0 0 25 0 4 0 651904570 590331904 91915 33554432000 4194304 4650419 140736198098288 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=576496 CPUtime=1062.29 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 144366 0 0 0 106160 69 0 0 25 0 4 0 651904570 590331904 91915 33554432000 4194304 4650419 140736198098288 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=576496 CPUtime=1054.59 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 170008 0 0 0 105391 68 0 0 25 0 4 0 651904570 590331904 91915 33554432000 4194304 4650419 140736198098288 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4241.49
Current children cumulated vsize (KiB) 576496

[startup+1122.3 s]
/proc/loadavg: 8.12 8.11 8.08 9/236 3466
/proc/meminfo: memFree=18491516/32950928 swapFree=64721848/67111528
[pid=3415] ppid=3412 vsize=576496 CPUtime=4481.06 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 598858 0 0 0 447852 254 0 0 25 0 4 0 651904570 590331904 94500 33554432000 4194304 4650419 140736198098288 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 144124 94500 392 112 0 139089 0
[pid=3415/tid=3418] ppid=3412 vsize=576496 CPUtime=1122.28 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 161680 0 0 0 112156 72 0 0 25 0 4 0 651904570 590331904 94500 33554432000 4194304 4650419 140736198098288 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=576496 CPUtime=1122.29 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 146055 0 0 0 112159 70 0 0 25 0 4 0 651904570 590331904 94500 33554432000 4194304 4650419 140736198098288 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=576496 CPUtime=1114.14 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 171046 0 0 0 111346 68 0 0 25 0 4 0 651904570 590331904 94500 33554432000 4194304 4650419 140736198098288 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4481.06
Current children cumulated vsize (KiB) 576496

[startup+1182.3 s]
/proc/loadavg: 8.13 8.12 8.08 9/236 3468
/proc/meminfo: memFree=18462608/32950928 swapFree=64721848/67111528
[pid=3415] ppid=3412 vsize=602872 CPUtime=4720.63 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 613352 0 0 0 471800 263 0 0 25 0 4 0 651904570 617340928 95502 33554432000 4194304 4650419 140736198098288 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 150718 95502 392 112 0 145683 0
[pid=3415/tid=3418] ppid=3412 vsize=602872 CPUtime=1182.28 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 165580 0 0 0 118154 74 0 0 25 0 4 0 651904570 617340928 95502 33554432000 4194304 4650419 140736198098288 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=602872 CPUtime=1182.3 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 147184 0 0 0 118159 71 0 0 25 0 4 0 651904570 617340928 95502 33554432000 4194304 4650419 140736198098288 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=602872 CPUtime=1173.72 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 174657 0 0 0 117301 71 0 0 25 0 4 0 651904570 617340928 95502 33554432000 4194304 4650419 140736198098288 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4720.63
Current children cumulated vsize (KiB) 602872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.2 s]
/proc/loadavg: 8.22 8.14 8.09 9/236 3469
/proc/meminfo: memFree=18464216/32950928 swapFree=64721848/67111528
[pid=3415] ppid=3412 vsize=616276 CPUtime=4800.13 cores=1,3,5,7
/proc/3415/stat : 3415 (strangenight1-m) R 3412 3415 2957 0 -1 4202496 619428 0 0 0 479747 266 0 0 25 0 4 0 651904570 631066624 97998 33554432000 4194304 4650419 140736198098288 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3415/statm: 154069 97998 392 112 0 149034 0
[pid=3415/tid=3418] ppid=3412 vsize=616276 CPUtime=1202.19 cores=1,3,5,7
/proc/3415/task/3418/stat : 3418 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 167978 0 0 0 120144 75 0 0 25 0 4 0 651904570 631066624 97998 33554432000 4194304 4650419 140736198098288 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3415/tid=3419] ppid=3412 vsize=616276 CPUtime=1202.22 cores=1,3,5,7
/proc/3415/task/3419/stat : 3419 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 147184 0 0 0 120151 71 0 0 25 0 4 0 651904570 631066624 97998 33554432000 4194304 4650419 140736198098288 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3415/tid=3420] ppid=3412 vsize=616276 CPUtime=1193.48 cores=1,3,5,7
/proc/3415/task/3420/stat : 3420 (strangenight1-m) R 3412 3415 2957 0 -1 4202560 176966 0 0 0 119276 72 0 0 25 0 4 0 651904570 631066624 97998 33554432000 4194304 4650419 140736198098288 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 616276

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): 1202.24
CPU time (s): 4800.18
CPU user time (s): 4797.5
CPU system time (s): 2.68259
CPU usage (%): 399.269
Max. virtual memory (cumulated for all children) (KiB): 709540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.5
system time used= 2.68259
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 619429
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= 911
involuntary context switches= 32942

runsolver used 2.42363 second user time and 6.35203 second system time

The end

Launcher Data 

Begin job on node123 at 2011-05-14 21:57:28
IDJOB=3368788
IDBENCH=82797
IDSOLVER=1846
FILE ID=node123/3368788-1305403048
RUNJOBID= node123-1305401843-3297
PBS_JOBID= 13324482
Free space on /tmp= 73364 MiB

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

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

MD5SUM BENCH= 40224b6c1498feedd538b60d16a1e0b8
RANDOM SEED=215416522

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      19330728 kB
Buffers:        296820 kB
Cached:        3991736 kB
SwapCached:      10528 kB
Active:       10615516 kB
Inactive:      2737524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      19330728 kB
SwapTotal:    67111528 kB
SwapFree:     64721848 kB
Dirty:           12448 kB
Writeback:           0 kB
AnonPages:     9062860 kB
Mapped:          16000 kB
Slab:           175872 kB
PageTables:      31152 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 13044384 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= 73352 MiB
End job on node123 at 2011-05-14 22:17:32