Trace number 3175132

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.08 1201.63

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf
MD5SUM6303d9fa9d32bd584c08fa1ce867474c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.481926
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of clauses7120
Sum of the clauses size49840
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 57120

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-3175132-1304090442.cnf'
0.00/0.00	c -- header says num vars:             80
0.00/0.00	c -- header says num clauses:        7120
0.00/0.00	c -- clauses added:            0 learnts,         7120 normals,            0 xors
0.00/0.00	c -- vars added         80
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0        80      7120         0         0     49840         0   no data   no data  --
0.38/0.16	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 0.64
0.38/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
3.57/1.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.57/1.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.57/1.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3.57/1.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/1.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
3.57/1.00	c Finding binary XORs  T:     0.00 s  found:       0
3.57/1.00	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
3.57/1.00	c calculated reachability. Time: 0.00
3.57/1.00	c Calc default polars -  time:   0.00 s pos:      34 undec:       0 neg:      46
3.57/1.00	c =========================================================================================
3.57/1.00	c types(t): F = full restart, N = normal restart
3.57/1.00	c types(t): S = simplification begin/end, E = solution found
3.57/1.00	c restart types(rt): st = static, dy = dynamic
3.57/1.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/1.00	c  B st     0         0        80      7120         0         0     49840         0   no data   no data  --
3.57/1.00	c  N dy     9      4301        80      7120         0      3961     49840    107318     23.30     24.54  --
3.57/1.00	c  N dy    16     11819        80      7120         0      4650     49840    102263     22.72     24.02  --
3.57/1.00	c  N dy    25     18339        80      7120         0      5447     49840    110154     22.38     23.71  --
3.99/1.10	c  N dy    55     22344        80      7120         0      9128     49840    209528     22.73     24.97  --
5.17/1.30	c  F st    68     25001        80      7120         0     11581     49840    275799     22.85   no data  --
5.57/1.40	c  N st    72     27033        80      7120         0      7201     49840    141870     22.85   no data  --
5.57/1.46	c  S st    74     30000        80      7120         0      9921     49840    215224     22.85   no data  --
5.57/1.49	c  S st    74     30503        80      7120         0     10393     49840    228117     22.85   no data  --
5.57/1.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.97/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.97/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
5.97/1.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.97/2.55	c lits-rem:      1742  cl-subs:      730  v-elim:      0  v-fix:    0  time:  4.15 s
11.16/2.88	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.32
11.16/2.88	c calculated reachability. Time: 0.00
11.16/2.88	c  N dy    74     30503        80      7120         0      9663     49840    205375     22.85   no data  --
12.36/3.12	c  N dy    97     34552        80      7120         0     13398     49840    307061     23.04     24.26  --
13.18/3.37	c  N dy   109     39306        80      7120         0     10515     49840    213151     22.96     24.17  --
14.36/3.62	c  N dy   130     43491        80      7120         0     14376     49840    317448     23.05     24.60  --
14.76/3.78	c  S st   142     45756        80      7120         0      8244     49840    140020     23.11     23.35  --
15.16/3.81	c  S st   142     46261        80      7120         0      8723     49840    153171     23.11   no data  --
15.16/3.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.16/3.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.16/3.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
15.16/3.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.16/3.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
15.16/3.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
18.36/4.68	c lits-rem:       169  cl-subs:       51  v-elim:      0  v-fix:    0  time:  3.42 s
18.36/4.68	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
18.36/4.68	c vivif2 --  cl tried     8672 cl shrink        0 lits rem          0 time: 0.00
19.55/4.96	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.11
19.55/4.96	c calculated reachability. Time: 0.00
19.55/4.96	c  N dy   142     46261        80      7120         0      8672     49840    151355     23.11   no data  --
20.35/5.17	c  N dy   151     50287        80      7120         0     12368     49840    248952     23.04     24.48  --
21.57/5.41	c  N dy   165     54360        80      7120         0     16085     49840    348700     23.07     25.39  --
22.35/5.69	c  N dy   189     58410        80      7120         0     10655     49840    190602     23.16     24.50  --
24.35/6.13	c  N dy   197     65962        80      7120         0     17543     49840    370798     23.00     24.22  --
25.15/6.39	c  S st   205     69393        80      7120         0     10630     49840    174001     22.99     21.61  --
25.54/6.43	c  S st   205     69895        80      7120         0     11106     49840    186963     22.99   no data  --
25.54/6.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.54/6.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.54/6.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
25.54/6.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.54/6.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.54/6.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
25.54/6.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
29.14/7.31	c lits-rem:       272  cl-subs:      194  v-elim:      0  v-fix:    0  time:  3.44 s
29.14/7.31	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
29.14/7.31	c vivif2 --  cl tried    10912 cl shrink        0 lits rem          0 time: 0.01
30.36/7.65	c asymm  cl-useful: 0/7120/7120 lits-rem:0 time: 1.36
30.36/7.65	c calculated reachability. Time: 0.00
30.36/7.65	c  N dy   205     69895        80      7120         0     10912     49840    181140     22.99   no data  --
31.54/7.92	c  N dy   226     74355        80      7120         0     15037     49840    291947     23.04     24.67  --
32.74/8.26	c  N dy   245     79144        80      7120         0     19427     49840    409070     23.05     24.67  --
34.33/8.68	c  N dy   262     84695        80      7120         0     13518     49840    235964     23.05     24.35  --
35.15/8.87	c  F st   270     87501        80      7120         0     16088     49840    304352     23.05   no data  --
36.33/9.10	c  N st   275     90800        80      7120         0     19121     49840    387747     23.05   no data  --
37.93/9.54	c  N dy   283     96891        80      7120         0     12768     49840    202017     23.04     24.30  --
39.54/9.94	c  N dy   307    103159        80      7120         0     18557     49840    358537     23.07     25.64  --
39.93/10.06	c  S st   308    104842        80      7120         0     20110     49840    400098     23.06     22.50  --
40.33/10.12	c  S st   308    105345        80      7120         0     20592     49840    413358     23.06   no data  --
40.33/10.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.33/10.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
40.33/10.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
40.33/10.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.33/10.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.33/10.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
40.33/10.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.93/12.04	c lits-rem:      2396  cl-subs:     1546  v-elim:      0  v-fix:    0  time:  7.59 s
47.93/12.04	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
47.93/12.04	c vivif2 --  cl tried    19046 cl shrink        0 lits rem          0 time: 0.01
49.51/12.43	c asymm  cl-useful: 0/5113/7120 lits-rem:0 time: 1.54
49.51/12.43	c calculated reachability. Time: 0.00
49.51/12.43	c  N dy   308    105345        80      7120         0     19046     49840    366891     23.06   no data  --
51.91/13.00	c  N dy   316    113810        80      7120         0     13977     49840    218287     22.95     24.32  --
53.91/13.51	c  N dy   328    121828        80      7120         0     21307     49840    412077     22.89     24.12  --
56.31/14.17	c  N dy   357    129702        80      7120         0     14812     49840    230002     22.92     26.27  --
59.50/14.92	c  N dy   376    140363        80      7120         0     24528     49840    486649     22.87     24.19  --
62.69/15.74	c  N dy   426    149988        80      7120         0     18719     49840    317603     22.95     24.49  --
65.51/16.41	c  S st   459    158018        80      7120         0     26094     49840    515449     22.96   no data  --
65.51/16.48	c  S st   459    158521        80      7120         0     26576     49840    528641     22.96   no data  --
65.51/16.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
65.51/16.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
65.51/16.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
65.91/16.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
65.91/16.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.91/16.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
65.91/16.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.08/18.89	c lits-rem:      1903  cl-subs:     2202  v-elim:      0  v-fix:    0  time:  9.53 s
75.08/18.89	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
75.48/18.90	c vivif2 --  cl tried    24374 cl shrink        0 lits rem          0 time: 0.02
76.28/19.12	c asymm  cl-useful: 0/1753/7120 lits-rem:0 time: 0.87
76.28/19.12	c calculated reachability. Time: 0.00
76.28/19.12	c  N dy   459    158521        80      7120         0     24374     49840    464052     22.96   no data  --
85.46/21.42	c  N dy   482    185761        80      7120         0     17360     49840    252256     22.82     24.09  --
89.46/22.41	c  N dy   507    198200        80      7120         0     28693     49840    553190     22.79     23.99  --
94.25/23.65	c  N dy   514    211003        80      7120         0     23030     49840    383656     22.66     23.91  --
100.25/25.17	c  N dy   558    225095        80      7120         0     35899     49840    726364     22.67     24.04  --
105.06/26.31	c  S st   614    237782        80      7120         0     29318     49840    544222     22.72     21.99  --
105.06/26.39	c  S st   614    238283        80      7120         0     29784     49840    557207     22.72   no data  --
105.06/26.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
105.06/26.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
105.06/26.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
105.46/26.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
105.46/26.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
105.46/26.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
105.46/26.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
116.62/29.22	c lits-rem:      2035  cl-subs:     2102  v-elim:      0  v-fix:    0  time: 11.19 s
116.62/29.22	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
116.62/29.22	c vivif2 --  cl tried    27682 cl shrink        0 lits rem          0 time: 0.02
117.42/29.41	c asymm  cl-useful: 0/2043/7120 lits-rem:0 time: 0.74
117.42/29.41	c calculated reachability. Time: 0.00
117.42/29.41	c  N dy   614    238283        80      7120         0     27682     49840    494759     22.72   no data  --
123.82/31.05	c  N dy   659    255029        80      7120         0     23901     49840    379338     22.72     24.01  --
131.43/32.93	c  N dy   749    271375        80      7120         0     38935     49840    785905     22.78     25.60  --
138.21/34.68	c  N dy   805    288707        80      7120         0     34682     49840    652856     22.79     24.31  --
145.39/36.47	c  F st   845    306250        80      7120         0     29688     49840    503323     22.76   no data  --
145.79/36.58	c  N st   848    307440        80      7120         0     30776     49840    533806     22.76   no data  --
154.97/38.87	c  N dy   922    327135        80      7120         0     26911     49840    417965     22.79     24.78  --
164.57/41.24	c  N dy   958    347687        80      7120         0     45581     49840    907068     22.75     23.96  --
168.56/42.25	c  S st  1005    357425        80      7120         0     31693     49840    529418     22.77     22.12  --
168.96/42.33	c  S st  1005    357929        80      7120         0     32160     49840    542520     22.77   no data  --
168.96/42.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
168.96/42.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
168.96/42.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
168.96/42.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
168.96/42.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
168.96/42.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
168.96/42.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
179.35/44.92	c lits-rem:      1745  cl-subs:     1579  v-elim:      0  v-fix:    0  time: 10.23 s
179.35/44.92	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
179.35/44.92	c vivif2 --  cl tried    30581 cl shrink        0 lits rem          0 time: 0.02
180.16/45.12	c asymm  cl-useful: 0/1612/7120 lits-rem:0 time: 0.78
180.16/45.12	c calculated reachability. Time: 0.00
180.16/45.12	c  N dy  1005    357929        80      7120         0     30581     49840    494804     22.77   no data  --
192.54/48.26	c  N dy  1097    378006        80      7120         0     25268     49840    339226     22.81     24.48  --
203.31/50.99	c  N dy  1146    398101        80      7120         0     43670     49840    830998     22.80     24.26  --
214.11/53.64	c  N dy  1217    418191        80      7120         0     37431     49840    648382     22.81     24.02  --
226.49/56.79	c  N dy  1296    441836        80      7120         0     33424     49840    522584     22.82     24.03  --
238.07/59.67	c  N dy  1385    461905        80      7120         0     51804     49840   1017736     22.84     25.61  --
249.26/62.40	c  N dy  1503    482518        80      7120         0     44095     49840    800799     22.89     24.11  --
260.84/65.31	c  N dy  1592    502540        80      7120         0     34997     49840    539505     22.92     25.95  --
271.63/68.03	c  N dy  1630    523650        80      7120         0     54219     49840   1048226     22.87     24.12  --
278.02/69.67	c  S st  1659    536894        80      7120         0     37963     49840    602487     22.87     21.79  --
278.42/69.77	c  S st  1659    537395        80      7120         0     38433     49840    615415     22.87   no data  --
278.42/69.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
278.42/69.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
278.42/69.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
278.82/69.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
278.82/69.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
278.82/69.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
278.82/69.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
288.41/72.26	c lits-rem:      1326  cl-subs:     2177  v-elim:      0  v-fix:    0  time:  9.80 s
288.41/72.26	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
288.41/72.26	c vivif2 --  cl tried    36256 cl shrink        0 lits rem          0 time: 0.02
289.21/72.49	c asymm  cl-useful: 0/1298/7120 lits-rem:0 time: 0.89
289.21/72.49	c calculated reachability. Time: 0.00
289.21/72.49	c  N dy  1659    537395        80      7120         0     36256     49840    554870     22.87   no data  --
301.59/75.57	c  N dy  1726    557612        80      7120         0     54644     49840   1047438     22.87     24.09  --
330.35/82.75	c  N dy  1822    612139        80      7120         0     44976     49840    738889     22.76     24.12  --
345.14/86.41	c  N dy  1909    632666        80      7120         0     32914     49840    421051     22.78     23.99  --
358.32/89.71	c  N dy  1946    656892        80      7120         0     55038     49840   1011467     22.77     24.08  --
372.71/93.33	c  N dy  2031    677117        80      7120         0     41614     49840    636329     22.79     24.12  --
386.30/96.75	c  N dy  2104    697145        80      7120         0     59942     49840   1123916     22.79     26.58  --
403.06/100.99	c  N dy  2219    722020        80      7120         0     49820     49840    844743     22.81     24.03  --
422.23/105.72	c  N dy  2333    742026        80      7120         0     34324     49840    408684     22.84     24.27  --
434.22/108.74	c  N dy  2441    762035        80      7120         0     52644     49840    906904     22.88     24.12  --
451.00/112.99	c  N dy  2516    784085        80      7120         0     37994     49840    489991     22.88     24.14  --
465.80/116.66	c  N dy  2625    805824        80      7120         0     57952     49840   1028340     22.90     24.13  --
466.17/116.71	c  S st  2626    806094        80      7120         0     58201     49840   1034999     22.90     23.24  --
466.57/116.88	c  S st  2626    806597        80      7120         0     58657     49840   1047500     22.90   no data  --
466.57/116.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
466.57/116.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
466.97/116.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
466.97/116.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
466.97/116.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
466.97/116.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
466.97/116.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
507.32/127.03	c lits-rem:      3230  cl-subs:     4660  v-elim:      0  v-fix:    0  time: 40.27 s
507.32/127.03	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
507.32/127.04	c vivif2 --  cl tried    53997 cl shrink        0 lits rem          0 time: 0.04
508.52/127.39	c asymm  cl-useful: 0/912/7120 lits-rem:0 time: 1.39
508.52/127.39	c calculated reachability. Time: 0.00
508.52/127.39	c  N dy  2626    806597        80      7120         0     53997     49840    913931     22.90   no data  --
528.09/132.22	c  N dy  2709    828683        80      7120         0     38700     49840    496751     22.91     24.25  --
541.27/135.59	c  N dy  2807    848777        80      7120         0     57060     49840    995528     22.94     26.54  --
556.06/139.21	c  N dy  2833    868857        80      7120         0     38861     49840    485613     22.92     24.14  --
569.63/142.60	c  N dy  2922    889006        80      7120         0     57334     49840    982441     22.94     24.23  --
588.83/147.45	c  N dy  3015    909319        80      7120         0     38488     49840    458848     22.95     24.22  --
601.20/150.54	c  N dy  3066    929350        80      7120         0     56835     49840    951948     22.95     24.64  --
621.97/155.76	c  N dy  3148    952367        80      7120         0     39484     49840    467231     22.96     24.17  --
646.34/161.84	c  N dy  3177    990975        80      7120         0     74473     49840   1385937     22.90     24.12  --
662.32/165.88	c  N dy  3300   1011359        80      7120         0     54056     49840    849905     22.92     24.15  --
678.30/169.85	c  N dy  3354   1031440        80      7120         0     72422     49840   1342623     22.92     24.87  --
695.88/174.24	c  N dy  3454   1051451        80      7120         0     50493     49840    732886     22.93     24.85  --
710.65/177.99	c  F st  3502   1071875        80      7120         0     69140     49840   1230690     22.93     22.08  --
710.65/177.99	c  N st  3502   1071875        80      7120         0     69140     49840   1230690     22.93     22.08  --
730.63/182.97	c  N dy  3553   1095557        80      7120         0     49653     49840    693014     22.93     24.16  --
746.63/186.99	c  N dy  3594   1117915        80      7120         0     70148     49840   1244673     22.93     24.17  --
765.78/191.76	c  N dy  3641   1139948        80      7120         0     48179     49840    637125     22.92     24.20  --
786.58/196.93	c  N dy  3754   1163085        80      7120         0     69384     49840   1212569     22.94     24.17  --
810.52/202.96	c  N dy  3804   1187000        80      7120         0     48242     49840    620823     22.93     24.52  --
825.31/206.70	c  N dy  3822   1207041        80      7120         0     66320     49840   1098910     22.91     24.73  --
828.50/207.47	c  S st  3834   1209898        80      7120         0     68934     49840   1170330     22.91     21.46  --
829.70/207.70	c  S st  3834   1210402        80      7120         0     69400     49840   1183331     22.91   no data  --
829.70/207.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
829.70/207.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
829.70/207.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.16
829.70/207.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
829.70/207.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
829.70/207.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
829.70/207.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
918.78/230.05	c lits-rem:      4829  cl-subs:     6324  v-elim:      0  v-fix:    0  time: 88.92 s
918.78/230.05	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
918.78/230.06	c vivif2 --  cl tried    63076 cl shrink        0 lits rem          0 time: 0.05
920.38/230.45	c asymm  cl-useful: 0/764/7120 lits-rem:0 time: 1.53
920.38/230.45	c calculated reachability. Time: 0.00
920.38/230.45	c  N dy  3834   1210402        80      7120         0     63076     49840   1015857     22.91   no data  --
944.77/236.55	c  N dy  3924   1230921        80      7120         0     81876     49840   1523753     22.92     24.25  --
968.31/242.47	c  N dy  4006   1258478        80      7120         0     63532     49840   1017894     22.91     24.13  --
984.32/246.44	c  N dy  4022   1279145        80      7120         0     82310     49840   1515666     22.89     24.18  --
1005.07/251.66	c  N dy  4148   1299147        80      7120         0     56132     49840    813575     22.91     25.31  --
1026.64/257.01	c  N dy  4222   1319426        80      7120         0     74755     49840   1318162     22.92     24.14  --
1054.22/263.94	c  N dy  4305   1342109        80      7120         0     49773     49840    617312     22.93     24.21  --
1088.96/272.63	c  N dy  4350   1379876        80      7120         0     84133     49840   1527302     22.90     24.13  --
1121.31/280.75	c  N dy  4436   1412307        80      7120         0     67273     49840   1070124     22.89     24.14  --
1142.88/286.18	c  N dy  4511   1432688        80      7120         0     85911     49840   1570750     22.89     24.10  --
1165.65/291.82	c  N dy  4612   1453602        80      7120         0     57545     49840    798745     22.91     24.12  --
1186.45/297.01	c  N dy  4703   1475567        80      7120         0     77612     49840   1341840     22.91     24.18  --
1209.99/302.98	c  N dy  4790   1495635        80      7120         0     95974     49840   1840639     22.92     24.70  --
1229.17/307.70	c  N dy  4874   1517549        80      7120         0     67599     49840   1054251     22.93     24.47  --
1251.54/313.33	c  N dy  4917   1541946        80      7120         0     89817     49840   1646781     22.92     24.13  --
1273.51/318.84	c  N dy  5029   1562034        80      7120         0     58912     49840    805074     22.94     24.31  --
1292.68/323.64	c  N dy  5116   1582250        80      7120         0     77422     49840   1310105     22.95     24.16  --
1319.05/330.25	c  N dy  5193   1605358        80      7120         0     98551     49840   1880005     22.95     24.24  --
1337.02/334.76	c  N dy  5289   1625368        80      7120         0     66578     49840    996453     22.96     24.18  --
1362.99/341.30	c  N dy  5343   1653064        80      7120         0     91858     49840   1673085     22.95     24.35  --
1386.96/347.27	c  N dy  5390   1677235        80      7120         0     62681     49840    858652     22.94     24.21  --
1405.34/351.85	c  N dy  5437   1697817        80      7120         0     81486     49840   1365038     22.94     24.29  --
1422.11/356.04	c  S st  5501   1710404        80      7120         0     92989     49840   1678212     22.95     20.80  --
1423.32/356.36	c  S st  5501   1710910        80      7120         0     93461     49840   1691296     22.95   no data  --
1423.32/356.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1423.32/356.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1423.73/356.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.21
1423.73/356.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1423.73/356.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1423.73/356.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
1423.73/356.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1741.29/435.93	c lits-rem:      6706  cl-subs:     9361  v-elim:      0  v-fix:    0  time: 317.25 s
1741.29/435.93	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
1741.29/435.95	c vivif2 --  cl tried    84100 cl shrink        0 lits rem          0 time: 0.08
1742.88/436.34	c asymm  cl-useful: 0/812/7120 lits-rem:0 time: 1.56
1742.88/436.34	c calculated reachability. Time: 0.00
1742.88/436.34	c  N dy  5501   1710910        80      7120         0     84100     49840   1434998     22.95   no data  --
1773.65/444.01	c  N dy  5609   1730966        80      7120         0    102497     49840   1936739     22.96     26.08  --
1807.19/452.47	c  N dy  5690   1766699        80      7120         0     83325     49840   1398853     22.93     24.46  --
1834.36/459.22	c  N dy  5771   1788858        80      7120         0    103569     49840   1945619     22.94     24.15  --
1861.13/465.94	c  N dy  5811   1820855        80      7120         0     79930     49840   1306661     22.92     24.18  --
1887.89/472.62	c  N dy  5877   1842884        80      7120         0     99992     49840   1843391     22.92     24.26  --
1908.26/477.76	c  N dy  5916   1863502        80      7120         0     65116     49840    891664     22.92     24.19  --
1928.65/482.82	c  N dy  5989   1884301        80      7120         0     84150     49840   1407668     22.92     24.22  --
1952.61/488.89	c  N dy  6033   1904383        80      7120         0    102431     49840   1896084     22.92     24.18  --
1973.00/493.99	c  N dy  6053   1925473        80      7120         0     66976     49840    920024     22.91     24.23  --
1993.75/499.19	c  N dy  6147   1945509        80      7120         0     85388     49840   1421637     22.91     25.02  --
2018.12/505.26	c  N dy  6195   1965545        80      7120         0    103578     49840   1908376     22.90     24.98  --
2044.49/511.81	c  N dy  6320   1985644        80      7120         0     66437     49840    900132     22.92     24.95  --
2065.27/517.06	c  N dy  6398   2005710        80      7120         0     84725     49840   1393892     22.92     24.22  --
2096.81/525.00	c  N dy  6504   2027005        80      7120         0    104176     49840   1923649     22.93     24.19  --
2125.18/532.05	c  N dy  6616   2047082        80      7120         0     65917     49840    866795     22.94     26.10  --
2148.37/537.81	c  N dy  6694   2067982        80      7120         0     85008     49840   1381206     22.95     24.41  --
2173.11/544.00	c  N dy  6747   2088240        80      7120         0    103493     49840   1879106     22.95     24.19  --
2194.29/549.32	c  N dy  6777   2108302        80      7120         0     64204     49840    802015     22.94     24.15  --
2214.27/554.35	c  N dy  6866   2128397        80      7120         0     82564     49840   1300207     22.94     25.28  --
2239.42/560.69	c  N dy  6931   2148677        80      7120         0    101105     49840   1797434     22.94     24.21  --
2271.40/568.66	c  N dy  7047   2168967        80      7120         0     61240     49840    708846     22.95     24.26  --
2288.97/573.01	c  N dy  7100   2189047        80      7120         0     79582     49840   1203058     22.95     26.01  --
2314.93/579.55	c  N dy  7215   2209053        80      7120         0     97873     49840   1702424     22.96     26.66  --
2317.32/580.17	c  S st  7221   2210913        80      7120         0     99557     49840   1746797     22.96     20.53  --
2318.52/580.46	c  S st  7221   2211416        80      7120         0    100020     49840   1759663     22.96   no data  --
2318.52/580.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2318.52/580.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2318.91/580.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.20
2318.91/580.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2318.91/580.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2318.91/580.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
2318.91/580.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2714.80/679.66	c lits-rem:      4434  cl-subs:     8245  v-elim:      0  v-fix:    0  time: 395.70 s
2714.80/679.66	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
2714.80/679.68	c vivif2 --  cl tried    91775 cl shrink        0 lits rem          0 time: 0.08
2716.39/680.03	c asymm  cl-useful: 0/646/7120 lits-rem:0 time: 1.37
2716.39/680.03	c calculated reachability. Time: 0.00
2716.39/680.03	c  N dy  7221   2211416        80      7120         0     91775     49840   1525253     22.96   no data  --
2747.15/687.74	c  N dy  7312   2232187        80      7120         0    110733     49840   2040388     22.97     24.18  --
2772.33/694.05	c  N dy  7404   2252271        80      7120         0     70085     49840    940207     22.97     25.57  --
2796.69/700.13	c  N dy  7463   2276305        80      7120         0     92018     49840   1530143     22.97     24.30  --
2829.47/708.34	c  N dy  7572   2296381        80      7120         0    110420     49840   2033014     22.98     24.21  --
2857.40/715.38	c  N dy  7631   2316438        80      7120         0     68613     49840    881642     22.98     26.62  --
2887.36/722.82	c  N dy  7710   2340092        80      7120         0     90269     49840   1465569     22.98     24.22  --
2916.52/730.13	c  N dy  7758   2360532        80      7120         0    108893     49840   1967509     22.98     24.31  --
2948.51/738.18	c  N dy  7837   2383017        80      7120         0     68346     49840    853640     22.98     24.31  --
2972.85/744.20	c  N dy  7934   2403676        80      7120         0     87264     49840   1368478     22.99     24.64  --
3003.21/751.87	c  N dy  8070   2423779        80      7120         0    105778     49840   1879223     23.00     24.26  --
3039.16/760.86	c  N dy  8181   2443814        80      7120         0    124190     49840   2382704     23.01     25.05  --
3060.73/766.22	c  N dy  8255   2463980        80      7120         0     80339     49840   1161282     23.01     24.34  --
3087.89/773.00	c  N dy  8360   2484566        80      7120         0     99246     49840   1677093     23.02     24.25  --
3117.86/780.51	c  N dy  8444   2504607        80      7120         0    117539     49840   2169537     23.02     24.65  --
3146.62/787.73	c  N dy  8533   2525020        80      7120         0     73032     49840    947707     23.03     24.33  --
3169.80/793.59	c  N dy  8631   2545080        80      7120         0     91426     49840   1449341     23.03     25.21  --
3200.15/801.12	c  N dy  8748   2565499        80      7120         0    110100     49840   1959809     23.04     24.26  --
3238.52/810.71	c  N dy  8833   2585588        80      7120         0     64422     49840    702582     23.05     24.38  --
3261.67/816.51	c  N dy  8921   2605618        80      7120         0     82691     49840   1200876     23.05     24.69  --
3293.22/824.49	c  N dy  9046   2628424        80      7120         0    103599     49840   1771029     23.06     24.29  --
3327.97/833.18	c  N dy  9102   2650680        80      7120         0    123908     49840   2319503     23.06     24.31  --
3357.16/840.48	c  N dy  9184   2672084        80      7120         0     78593     49840   1068935     23.06     24.50  --
3383.12/846.91	c  N dy  9279   2692162        80      7120         0     96954     49840   1569500     23.07     26.04  --
3410.67/853.90	c  S st  9349   2711417        80      7120         0    114631     49840   2050198     23.07     21.49  --
3412.27/854.24	c  S st  9349   2711921        80      7120         0    115094     49840   2063074     23.07   no data  --
3412.27/854.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3412.27/854.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3412.67/854.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.24
3412.67/854.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3412.67/854.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3412.67/854.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     80 time:  0.00 s
3412.67/854.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4237.17/1060.73	c lits-rem:      7084  cl-subs:    10166  v-elim:      0  v-fix:    0  time: 824.18 s
4237.17/1060.73	c vivif2 --  cl tried     7120 cl shrink        0 lits rem          0 time: 0.00
4237.17/1060.76	c vivif2 --  cl tried   104928 cl shrink        0 lits rem          0 time: 0.11
4239.57/1061.33	c asymm  cl-useful: 0/512/7120 lits-rem:0 time: 2.26
4239.57/1061.33	c calculated reachability. Time: 0.00
4239.57/1061.33	c  N dy  9349   2711921        80      7120         0    104928     49840   1771652     23.07   no data  --
4303.48/1077.35	c  N dy  9455   2740201        80      7120         0    130769     49840   2475806     23.07     24.36  --
4344.23/1087.52	c  N dy  9542   2765471        80      7120         0     88430     49840   1325663     23.07     24.29  --
4382.98/1097.24	c  N dy  9616   2785511        80      7120         0    106670     49840   1819658     23.08     24.36  --
4434.91/1110.27	c  N dy  9719   2806730        80      7120         0    126126     49840   2351037     23.08     24.31  --
4475.25/1120.36	c  N dy  9753   2830372        80      7120         0     81074     49840   1098540     23.07     24.33  --
4510.40/1129.18	c  N dy  9838   2850421        80      7120         0     99417     49840   1601143     23.08     24.37  --
4613.07/1154.87	c  N dy  9872   2923276        80      7120         0     97813     49840   1518384     23.03     24.26  --
4649.05/1163.87	c  N dy  9956   2944071        80      7120         0    116804     49840   2034432     23.03     24.27  --
4692.99/1174.85	c  N dy 10059   2964192        80      7120         0    135184     49840   2536512     23.04     24.29  --
4721.73/1182.01	c  N dy 10160   2984249        80      7120         0     85399     49840   1204160     23.04     25.86  --
4752.89/1189.81	c  N dy 10224   3006182        80      7120         0    105375     49840   1747011     23.04     24.26  --
4798.82/1201.31	c  N dy 10287   3034416        80      7120         0    131065     49840   2437923     23.04     24.33  --

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-3175132-1304090442/watcher-3175132-1304090442 -o /tmp/evaluation-result-3175132-1304090442/solver-3175132-1304090442 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175132-1304090442.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.16 8.02 6.81 6/180 7635
/proc/meminfo: memFree=31372716/32951124 swapFree=67111356/67111528
[pid=7635] ppid=7633 vsize=281648 CPUtime=0 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 782 0 0 0 0 0 0 0 25 0 4 0 501459830 288407552 703 33554432000 4194304 4650419 140735020642240 18446744073709551615 4520352 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 70412 705 343 112 0 65377 0
[pid=7635/tid=7636] ppid=7633 vsize=281648 CPUtime=0 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 105 0 0 0 0 0 0 0 25 0 4 0 501459830 288407552 712 33554432000 4194304 4650419 140735020642240 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=281648 CPUtime=0 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 78 0 0 0 0 0 0 0 25 0 4 0 501459830 288407552 718 33554432000 4194304 4650419 140735020642240 18446744073709551615 270338488814 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=281648 CPUtime=0 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 95 0 0 0 0 0 0 0 25 0 4 0 501459830 288407552 724 33554432000 4194304 4650419 140735020642240 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.074671 s]
/proc/loadavg: 8.16 8.02 6.81 6/180 7635
/proc/meminfo: memFree=31372716/32951124 swapFree=67111356/67111528
[pid=7635] ppid=7633 vsize=282064 CPUtime=0.28 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 1473 0 0 0 28 0 0 0 25 0 4 0 501459830 288833536 1394 33554432000 4194304 4650419 140735020642240 18446744073709551615 4370537 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 70516 1394 366 112 0 65481 0
[pid=7635/tid=7636] ppid=7633 vsize=282064 CPUtime=0.07 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 252 0 0 0 7 0 0 0 25 0 4 0 501459830 288833536 1394 33554432000 4194304 4650419 140735020642240 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=282064 CPUtime=0.06 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 234 0 0 0 6 0 0 0 25 0 4 0 501459830 288833536 1394 33554432000 4194304 4650419 140735020642240 18446744073709551615 4370633 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=282064 CPUtime=0.07 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 321 0 0 0 7 0 0 0 25 0 4 0 501459830 288833536 1395 33554432000 4194304 4650419 140735020642240 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 282064

[startup+0.100666 s]
/proc/loadavg: 8.16 8.02 6.81 6/180 7635
/proc/meminfo: memFree=31372716/32951124 swapFree=67111356/67111528
[pid=7635] ppid=7633 vsize=282064 CPUtime=0.38 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 1518 0 0 0 38 0 0 0 25 0 4 0 501459830 288833536 1439 33554432000 4194304 4650419 140735020642240 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 70516 1439 366 112 0 65481 0
[pid=7635/tid=7636] ppid=7633 vsize=282064 CPUtime=0.09 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 256 0 0 0 9 0 0 0 25 0 4 0 501459830 288833536 1439 33554432000 4194304 4650419 140735020642240 18446744073709551615 4370723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=282064 CPUtime=0.09 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 239 0 0 0 9 0 0 0 25 0 4 0 501459830 288833536 1439 33554432000 4194304 4650419 140735020642240 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=282064 CPUtime=0.09 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 354 0 0 0 9 0 0 0 25 0 4 0 501459830 288833536 1439 33554432000 4194304 4650419 140735020642240 18446744073709551615 4334514 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282064

[startup+0.300628 s]
/proc/loadavg: 8.16 8.02 6.81 6/180 7635
/proc/meminfo: memFree=31372716/32951124 swapFree=67111356/67111528
[pid=7635] ppid=7633 vsize=285792 CPUtime=1.18 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 3896 0 0 0 118 0 0 0 18 0 4 0 501459830 292651008 3370 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 71448 3370 390 112 0 66413 0
[pid=7635/tid=7636] ppid=7633 vsize=285792 CPUtime=0.29 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 924 0 0 0 29 0 0 0 25 0 4 0 501459830 292651008 3370 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=285792 CPUtime=0.29 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 873 0 0 0 29 0 0 0 18 0 4 0 501459830 292651008 3370 33554432000 4194304 4650419 140735020642240 18446744073709551615 4334325 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=285792 CPUtime=0.29 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 752 0 0 0 29 0 0 0 18 0 4 0 501459830 292651008 3370 33554432000 4194304 4650419 140735020642240 18446744073709551615 4333646 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 285792

[startup+0.700549 s]
/proc/loadavg: 8.16 8.02 6.81 6/180 7635
/proc/meminfo: memFree=31372716/32951124 swapFree=67111356/67111528
[pid=7635] ppid=7633 vsize=287284 CPUtime=2.78 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 6266 0 0 0 278 0 0 0 18 0 4 0 501459830 294178816 3944 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 71821 3944 390 112 0 66786 0
[pid=7635/tid=7636] ppid=7633 vsize=287284 CPUtime=0.69 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 1568 0 0 0 69 0 0 0 25 0 4 0 501459830 294178816 3944 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=287284 CPUtime=0.69 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 1522 0 0 0 69 0 0 0 18 0 4 0 501459830 294178816 3944 33554432000 4194304 4650419 140735020642240 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=287284 CPUtime=0.69 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 1222 0 0 0 69 0 0 0 18 0 4 0 501459830 294178816 3944 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 287284

[startup+1.50039 s]
/proc/loadavg: 8.31 8.06 6.83 10/184 7639
/proc/meminfo: memFree=31347264/32951124 swapFree=67111356/67111528
[pid=7635] ppid=7633 vsize=288676 CPUtime=5.97 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 10163 0 0 0 596 1 0 0 19 0 4 0 501459830 295604224 4786 33554432000 4194304 4650419 140735020642240 18446744073709551615 4229340 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 72169 4787 392 112 0 67134 0
[pid=7635/tid=7636] ppid=7633 vsize=288676 CPUtime=1.49 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 2566 0 0 0 149 0 0 0 25 0 4 0 501459830 295604224 4787 33554432000 4194304 4650419 140735020642240 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=288676 CPUtime=1.48 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 2511 0 0 0 148 0 0 0 19 0 4 0 501459830 295604224 4787 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=288676 CPUtime=1.49 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 2165 0 0 0 149 0 0 0 19 0 4 0 501459830 295604224 4787 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 288676

[startup+3.10108 s]
/proc/loadavg: 8.31 8.06 6.83 9/184 7639
/proc/meminfo: memFree=31309692/32951124 swapFree=67111356/67111528
[pid=7635] ppid=7633 vsize=297768 CPUtime=12.36 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 19456 0 0 0 1234 2 0 0 24 0 4 0 501459830 304914432 11764 33554432000 4194304 4650419 140735020642240 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 74442 11764 392 112 0 69407 0
[pid=7635/tid=7636] ppid=7633 vsize=297768 CPUtime=3.09 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 4321 0 0 0 309 0 0 0 25 0 4 0 501459830 304914432 11764 33554432000 4194304 4650419 140735020642240 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=297768 CPUtime=3.07 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 5182 0 0 0 307 0 0 0 24 0 4 0 501459830 304914432 11764 33554432000 4194304 4650419 140735020642240 18446744073709551615 4438407 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=297768 CPUtime=3.08 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 5362 0 0 0 308 0 0 0 24 0 4 0 501459830 304914432 11764 33554432000 4194304 4650419 140735020642240 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 297768

[startup+6.30044 s]
/proc/loadavg: 8.31 8.06 6.83 9/184 7639
/proc/meminfo: memFree=31260224/32951124 swapFree=67111356/67111528
[pid=7635] ppid=7633 vsize=289544 CPUtime=25.15 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 27860 0 0 0 2511 4 0 0 25 0 4 0 501459830 296493056 14853 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 72386 14853 392 112 0 67351 0
[pid=7635/tid=7636] ppid=7633 vsize=289544 CPUtime=6.28 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 7488 0 0 0 628 0 0 0 25 0 4 0 501459830 296493056 14853 33554432000 4194304 4650419 140735020642240 18446744073709551615 4419979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=289544 CPUtime=6.26 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 6496 0 0 0 625 1 0 0 25 0 4 0 501459830 296493056 14853 33554432000 4194304 4650419 140735020642240 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=289544 CPUtime=6.28 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 7435 0 0 0 627 1 0 0 25 0 4 0 501459830 296493056 14853 33554432000 4194304 4650419 140735020642240 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 289544

[startup+12.7012 s]
/proc/loadavg: 8.26 8.05 6.84 9/184 7639
/proc/meminfo: memFree=31208340/32951124 swapFree=67111356/67111528
[pid=7635] ppid=7633 vsize=299636 CPUtime=50.71 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 41415 0 0 0 5064 7 0 0 25 0 4 0 501459830 306827264 20606 33554432000 4194304 4650419 140735020642240 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 74909 20606 392 112 0 69874 0
[pid=7635/tid=7636] ppid=7633 vsize=299636 CPUtime=12.69 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 10559 0 0 0 1268 1 0 0 25 0 4 0 501459830 306827264 20606 33554432000 4194304 4650419 140735020642240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=299636 CPUtime=12.62 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 9850 0 0 0 1261 1 0 0 25 0 4 0 501459830 306827264 20606 33554432000 4194304 4650419 140735020642240 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=299636 CPUtime=12.68 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 11358 0 0 0 1266 2 0 0 25 0 4 0 501459830 306827264 20606 33554432000 4194304 4650419 140735020642240 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 299636

[startup+25.5006 s]
/proc/loadavg: 8.22 8.05 6.85 9/184 7640
/proc/meminfo: memFree=31150564/32951124 swapFree=67111356/67111528
[pid=7635] ppid=7633 vsize=301392 CPUtime=101.85 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 61481 0 0 0 10173 12 0 0 25 0 4 0 501459830 308625408 24638 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 75348 24638 392 112 0 70313 0
[pid=7635/tid=7636] ppid=7633 vsize=301392 CPUtime=25.49 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 15310 0 0 0 2547 2 0 0 25 0 4 0 501459830 308625408 24638 33554432000 4194304 4650419 140735020642240 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=301392 CPUtime=25.35 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 15372 0 0 0 2532 3 0 0 25 0 4 0 501459830 308625408 24638 33554432000 4194304 4650419 140735020642240 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=301392 CPUtime=25.49 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 16714 0 0 0 2545 4 0 0 25 0 4 0 501459830 308625408 24638 33554432000 4194304 4650419 140735020642240 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 301392

[startup+51.1006 s]
/proc/loadavg: 8.14 8.05 6.88 9/184 7640
/proc/meminfo: memFree=31111304/32951124 swapFree=67111356/67111528
[pid=7635] ppid=7633 vsize=297052 CPUtime=204.11 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 95127 0 0 0 20391 20 0 0 25 0 4 0 501459830 304181248 29677 33554432000 4194304 4650419 140735020642240 18446744073709551615 4334261 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 74263 29677 392 112 0 69228 0
[pid=7635/tid=7636] ppid=7633 vsize=297052 CPUtime=51.08 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 24946 0 0 0 5104 4 0 0 25 0 4 0 501459830 304181248 29677 33554432000 4194304 4650419 140735020642240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=297052 CPUtime=50.82 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 24063 0 0 0 5077 5 0 0 25 0 4 0 501459830 304181248 29677 33554432000 4194304 4650419 140735020642240 18446744073709551615 4315286 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=297052 CPUtime=51.08 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 25608 0 0 0 5102 6 0 0 25 0 4 0 501459830 304181248 29677 33554432000 4194304 4650419 140735020642240 18446744073709551615 4315277 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 297052

[startup+102.306 s]
/proc/loadavg: 8.16 8.07 6.95 9/184 7642
/proc/meminfo: memFree=31047780/32951124 swapFree=67111356/67111528
[pid=7635] ppid=7633 vsize=306628 CPUtime=408.67 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 145036 0 0 0 40830 37 0 0 25 0 4 0 501459830 313987072 37650 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 76657 37650 392 112 0 71622 0
[pid=7635/tid=7636] ppid=7633 vsize=306628 CPUtime=102.29 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 36597 0 0 0 10221 8 0 0 25 0 4 0 501459830 313987072 37650 33554432000 4194304 4650419 140735020642240 18446744073709551615 4438387 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=306628 CPUtime=101.76 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 36559 0 0 0 10166 10 0 0 25 0 4 0 501459830 313987072 37650 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=306628 CPUtime=102.29 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 40973 0 0 0 10218 11 0 0 25 0 4 0 501459830 313987072 37650 33554432000 4194304 4650419 140735020642240 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.67
Current children cumulated vsize (KiB) 306628

[startup+162.3 s]

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

[pid=7635] ppid=7633 vsize=447056 CPUtime=2565.82 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 427746 0 0 0 256426 156 0 0 25 0 4 0 501459830 457785344 73179 33554432000 4194304 4650419 140735020642240 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 111764 73179 392 112 0 106729 0
[pid=7635/tid=7636] ppid=7633 vsize=447056 CPUtime=642.3 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 112244 0 0 0 64185 45 0 0 25 0 4 0 501459830 457785344 73179 33554432000 4194304 4650419 140735020642240 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=447056 CPUtime=638.85 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 84157 0 0 0 63854 31 0 0 25 0 4 0 501459830 457785344 73179 33554432000 4194304 4650419 140735020642240 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=447056 CPUtime=642.31 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 120758 0 0 0 64185 46 0 0 25 0 4 0 501459830 457785344 73179 33554432000 4194304 4650419 140735020642240 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.82
Current children cumulated vsize (KiB) 447056

[startup+702.3 s]
/proc/loadavg: 8.13 8.07 7.48 9/184 7661
/proc/meminfo: memFree=30726384/32951124 swapFree=67111356/67111528
[pid=7635] ppid=7633 vsize=413400 CPUtime=2805.47 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 455821 0 0 0 280379 168 0 0 25 0 4 0 501459830 423321600 66126 33554432000 4194304 4650419 140735020642240 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 103350 66126 392 112 0 98315 0
[pid=7635/tid=7636] ppid=7633 vsize=413400 CPUtime=702.29 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 118910 0 0 0 70180 49 0 0 25 0 4 0 501459830 423321600 66126 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=413400 CPUtime=698.52 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 84908 0 0 0 69820 32 0 0 25 0 4 0 501459830 423321600 66126 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=413400 CPUtime=702.31 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 128360 0 0 0 70180 51 0 0 25 0 4 0 501459830 423321600 66126 33554432000 4194304 4650419 140735020642240 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.47
Current children cumulated vsize (KiB) 413400

[startup+762.306 s]
/proc/loadavg: 8.17 8.09 7.52 9/184 7662
/proc/meminfo: memFree=30654648/32951124 swapFree=67111356/67111528
[pid=7635] ppid=7633 vsize=413560 CPUtime=3045.17 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 475683 0 0 0 304340 177 0 0 25 0 4 0 501459830 423485440 68658 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 103390 68658 392 112 0 98355 0
[pid=7635/tid=7636] ppid=7633 vsize=413560 CPUtime=762.3 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 125191 0 0 0 76177 53 0 0 25 0 4 0 501459830 423485440 68658 33554432000 4194304 4650419 140735020642240 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=413560 CPUtime=758.2 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 87822 0 0 0 75787 33 0 0 25 0 4 0 501459830 423485440 68658 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=413560 CPUtime=762.32 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 133843 0 0 0 76179 53 0 0 25 0 4 0 501459830 423485440 68658 33554432000 4194304 4650419 140735020642240 18446744073709551615 4313443 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.17
Current children cumulated vsize (KiB) 413560

[startup+822.3 s]
/proc/loadavg: 8.17 8.10 7.56 9/184 7664
/proc/meminfo: memFree=30655352/32951124 swapFree=67111356/67111528
[pid=7635] ppid=7633 vsize=418368 CPUtime=3284.84 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 498784 0 0 0 328295 189 0 0 25 0 4 0 501459830 428408832 70125 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365210 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 104592 70125 392 112 0 99557 0
[pid=7635/tid=7636] ppid=7633 vsize=418368 CPUtime=822.29 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 131816 0 0 0 82173 56 0 0 25 0 4 0 501459830 428408832 70125 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=418368 CPUtime=817.87 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 91775 0 0 0 81752 35 0 0 25 0 4 0 501459830 428408832 70125 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=418368 CPUtime=822.32 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 142146 0 0 0 82174 58 0 0 25 0 4 0 501459830 428408832 70125 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.84
Current children cumulated vsize (KiB) 418368

[startup+882.301 s]
/proc/loadavg: 8.11 8.09 7.58 9/184 7666
/proc/meminfo: memFree=30602844/32951124 swapFree=67111356/67111528
[pid=7635] ppid=7633 vsize=418636 CPUtime=3524.51 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 518260 0 0 0 352250 201 0 0 25 0 4 0 501459830 428683264 74257 33554432000 4194304 4650419 140735020642240 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 104659 74257 392 112 0 99624 0
[pid=7635/tid=7636] ppid=7633 vsize=418636 CPUtime=882.3 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 138418 0 0 0 88170 60 0 0 25 0 4 0 501459830 428683264 74257 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=418636 CPUtime=877.55 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 94765 0 0 0 87717 38 0 0 25 0 4 0 501459830 428683264 74257 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=418636 CPUtime=882.32 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 148297 0 0 0 88170 62 0 0 25 0 4 0 501459830 428683264 74257 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.51
Current children cumulated vsize (KiB) 418636

[startup+942.301 s]
/proc/loadavg: 8.14 8.10 7.62 9/184 7667
/proc/meminfo: memFree=30541936/32951124 swapFree=67111356/67111528
[pid=7635] ppid=7633 vsize=562852 CPUtime=3764.21 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 536447 0 0 0 376214 207 0 0 25 0 4 0 501459830 576360448 89326 33554432000 4194304 4650419 140735020642240 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 140713 89326 392 112 0 135678 0
[pid=7635/tid=7636] ppid=7633 vsize=562852 CPUtime=942.3 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 146522 0 0 0 94168 62 0 0 25 0 4 0 501459830 576360448 89326 33554432000 4194304 4650419 140735020642240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=562852 CPUtime=937.22 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 98071 0 0 0 93683 39 0 0 25 0 4 0 501459830 576360448 89326 33554432000 4194304 4650419 140735020642240 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=562852 CPUtime=942.32 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 155074 0 0 0 94169 63 0 0 25 0 4 0 501459830 576360448 89326 33554432000 4194304 4650419 140735020642240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.21
Current children cumulated vsize (KiB) 562852

[startup+1002.3 s]
/proc/loadavg: 8.10 8.10 7.64 9/184 7669
/proc/meminfo: memFree=30499744/32951124 swapFree=67111356/67111528
[pid=7635] ppid=7633 vsize=562988 CPUtime=4003.88 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 545281 0 0 0 400178 210 0 0 25 0 4 0 501459830 576499712 88044 33554432000 4194304 4650419 140735020642240 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 140747 88044 392 112 0 135712 0
[pid=7635/tid=7636] ppid=7633 vsize=562988 CPUtime=1002.29 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 149497 0 0 0 100167 62 0 0 25 0 4 0 501459830 576499712 88044 33554432000 4194304 4650419 140735020642240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=562988 CPUtime=996.9 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 103450 0 0 0 99648 42 0 0 25 0 4 0 501459830 576499712 88044 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=562988 CPUtime=1002.32 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 155554 0 0 0 100169 63 0 0 25 0 4 0 501459830 576499712 88044 33554432000 4194304 4650419 140735020642240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.88
Current children cumulated vsize (KiB) 562988

[startup+1062.3 s]
/proc/loadavg: 8.08 8.09 7.67 9/184 7670
/proc/meminfo: memFree=30516208/32951124 swapFree=67111356/67111528
[pid=7635] ppid=7633 vsize=556896 CPUtime=4243.56 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 556357 0 0 0 424143 213 0 0 25 0 4 0 501459830 570261504 87659 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 139224 87659 392 112 0 134189 0
[pid=7635/tid=7636] ppid=7633 vsize=556896 CPUtime=1062.3 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 157511 0 0 0 106166 64 0 0 25 0 4 0 501459830 570261504 87659 33554432000 4194304 4650419 140735020642240 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=556896 CPUtime=1056.58 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 106471 0 0 0 105614 44 0 0 25 0 4 0 501459830 570261504 87659 33554432000 4194304 4650419 140735020642240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=556896 CPUtime=1062.32 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 155554 0 0 0 106169 63 0 0 25 0 4 0 501459830 570261504 87659 33554432000 4194304 4650419 140735020642240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.56
Current children cumulated vsize (KiB) 556896

[startup+1122.3 s]
/proc/loadavg: 8.07 8.09 7.69 9/184 7672
/proc/meminfo: memFree=30529676/32951124 swapFree=67111356/67111528
[pid=7635] ppid=7633 vsize=559056 CPUtime=4483.24 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 566519 0 0 0 448108 216 0 0 25 0 4 0 501459830 572473344 85995 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 139764 85995 392 112 0 134729 0
[pid=7635/tid=7636] ppid=7633 vsize=559056 CPUtime=1122.29 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 165090 0 0 0 112164 65 0 0 25 0 4 0 501459830 572473344 85995 33554432000 4194304 4650419 140735020642240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=559056 CPUtime=1116.25 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 106700 0 0 0 111581 44 0 0 25 0 4 0 501459830 572473344 85995 33554432000 4194304 4650419 140735020642240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=559056 CPUtime=1122.32 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 155554 0 0 0 112169 63 0 0 25 0 4 0 501459830 572473344 85995 33554432000 4194304 4650419 140735020642240 18446744073709551615 4476411 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.24
Current children cumulated vsize (KiB) 559056

[startup+1182.3 s]
/proc/loadavg: 8.07 8.08 7.71 9/184 7674
/proc/meminfo: memFree=30513008/32951124 swapFree=67111356/67111528
[pid=7635] ppid=7633 vsize=532764 CPUtime=4722.93 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 579047 0 0 0 472071 222 0 0 25 0 4 0 501459830 545550336 84829 33554432000 4194304 4650419 140735020642240 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 133191 84829 392 112 0 128156 0
[pid=7635/tid=7636] ppid=7633 vsize=532764 CPUtime=1182.29 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 170395 0 0 0 118162 67 0 0 25 0 4 0 501459830 545550336 84829 33554432000 4194304 4650419 140735020642240 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=532764 CPUtime=1175.93 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 106704 0 0 0 117549 44 0 0 25 0 4 0 501459830 545550336 84829 33554432000 4194304 4650419 140735020642240 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=532764 CPUtime=1182.33 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 158386 0 0 0 118168 65 0 0 25 0 4 0 501459830 545550336 84829 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.93
Current children cumulated vsize (KiB) 532764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.12 8.09 7.72 10/184 7674
/proc/meminfo: memFree=30486204/32951124 swapFree=67111356/67111528
[pid=7635] ppid=7633 vsize=532764 CPUtime=4800.03 cores=1,3,5,7
/proc/7635/stat : 7635 (strangenight1-m) R 7633 7635 7164 0 -1 4202496 582664 0 0 0 479780 223 0 0 25 0 4 0 501459830 545550336 88322 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7635/statm: 133191 88322 392 112 0 128156 0
[pid=7635/tid=7636] ppid=7633 vsize=532764 CPUtime=1201.6 cores=1,3,5,7
/proc/7635/task/7636/stat : 7636 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 172947 0 0 0 120092 68 0 0 25 0 4 0 501459830 545550336 88322 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7635/tid=7637] ppid=7633 vsize=532764 CPUtime=1195.12 cores=1,3,5,7
/proc/7635/task/7637/stat : 7637 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 106708 0 0 0 119468 44 0 0 25 0 4 0 501459830 545550336 88322 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7635/tid=7638] ppid=7633 vsize=532764 CPUtime=1201.63 cores=1,3,5,7
/proc/7635/task/7638/stat : 7638 (strangenight1-m) R 7633 7635 7164 0 -1 4202560 159447 0 0 0 120098 65 0 0 25 0 4 0 501459830 545550336 88322 33554432000 4194304 4650419 140735020642240 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 532764

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.63
CPU time (s): 4800.08
CPU user time (s): 4797.83
CPU system time (s): 2.25366
CPU usage (%): 399.465
Max. virtual memory (cumulated for all children) (KiB): 611636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.83
system time used= 2.25366
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 582665
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= 679
involuntary context switches= 21471

runsolver used 1.76573 second user time and 4.77927 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-29 17:20:42
IDJOB=3175132
IDBENCH=82750
IDSOLVER=1588
FILE ID=node143/3175132-1304090442
RUNJOBID= node143-1304089238-7510
PBS_JOBID= 13170544
Free space on /tmp= 72920 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175132-1304090442/watcher-3175132-1304090442 -o /tmp/evaluation-result-3175132-1304090442/solver-3175132-1304090442 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175132-1304090442.cnf

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

MD5SUM BENCH= 6303d9fa9d32bd584c08fa1ce867474c
RANDOM SEED=1805936888

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.83
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.846
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.846
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.83
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.846
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.846
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:     32951124 kB
MemFree:      31372996 kB
Buffers:        216880 kB
Cached:        1017808 kB
SwapCached:        168 kB
Active:         288568 kB
Inactive:      1014612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31372996 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           12436 kB
Writeback:           0 kB
AnonPages:       68116 kB
Mapped:          15664 kB
Slab:           212116 kB
PageTables:       4688 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   272724 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= 72912 MiB
End job on node143 at 2011-04-29 17:40:46