Trace number 3262815

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-2-mt? (TO) 4800.08 1201.64

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf
MD5SUMb5a637600c242725f15a247a84bdea1b
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables810
Number of clauses68270
Sum of the clauses size137296
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 268243
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 527

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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3262815-1304125122.cnf'
0.00/0.00	c -- header says num vars:            810
0.00/0.00	c -- header says num clauses:       68270
0.00/0.19	c -- clauses added:            0 learnts,        68270 normals,            0 xors
0.00/0.19	c -- vars added        810
0.00/0.19	c Parsing time:  0.01 s
0.00/0.19	c  N st     0         0       810        27     68243         0    137296         0   no data   no data
0.00/0.19	c asymm  cl-useful: 0/27/27 lits-rem:0 time: 0.00
0.00/0.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
0.00/0.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.19	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.00/0.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2.77/0.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    810 time:  0.01 s
2.77/0.75	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.01 s
2.77/0.75	c lits-rem:       507  cl-subs:        0  v-elim:     27  v-fix:    0  time:  0.01 s
2.77/0.75	c Finding binary XORs  T:     0.00 s  found:       0
2.77/0.75	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2.77/0.75	c calculated reachability. Time: 0.00
2.77/0.75	c Calc default polars -  time:   0.00 s pos:     385 undec:      27 neg:     398
2.77/0.75	c =========================================================================================
2.77/0.75	c types(t): F = full restart, N = normal restart
2.77/0.75	c types(t): S = simplification begin/end, E = solution found
2.77/0.75	c restart types(rt): st = static, dy = dynamic
2.77/0.75	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.77/0.75	c  B st     0         0       783      1365     66095         0    182461         0   no data   no data
2.77/0.75	c  N dy     8      4960       783      1365     66095      4763    182461    577374     13.04     13.79
4.77/1.29	c  N dy    32      9704       783      1365     66095      6938    182461    699664     14.77     15.70
7.57/1.97	c  N dy    38     15263       783      1365     66095      8216    182461    678174     13.20     14.00
9.98/2.57	c  N dy    52     19825       783      1365     66097      7205    182461    519070     13.03     13.86
13.16/3.32	c  N dy    70     24960       783      1365     66104     12166    182461    974846     12.73     13.53
13.16/3.33	c  F st    71     25003       783      1365     66104     12207    182461    978463     12.74   no data
16.36/4.13	c  N dy    77     30001       783      1365     66107     10460    182461    818510     12.74   no data
16.36/4.13	c  S st    77     30001       783      1365     66107     10460    182461    818510     12.74   no data
16.76/4.22	c  S st    77     30506       783      1365     66107     10964    182461    859413     12.74   no data
16.76/4.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.56/4.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:      0 BRemN:      0 P:  7.4M T:  0.19
17.56/4.41	c blocked clauses removed:        0 vars:      0 tried:         783 T: 0.00 s
17.56/4.42	c bin-w-bin subsume rem            0 bins  time:  0.01 s
18.77/4.78	c subs with bin:        0  lits-rem:      8113  v-fix:    0  time:  0.36 s
18.77/4.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    783 time:  0.01 s
18.77/4.79	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.01 s
19.15/4.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
24.34/6.17	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  1.34 s
31.55/7.95	c lits-rem:      1879  cl-subs:      481  v-elim:      0  v-fix:    0  time:  1.78 s
32.33/8.11	c asymm  cl-useful: 0/1338/1365 lits-rem:0 time: 0.16
32.33/8.12	c calculated reachability. Time: 0.00
32.33/8.12	c  N dy    77     30506       783      1365     66114     10483    174348    811987     12.74   no data
35.12/8.84	c  N dy    94     34562       783      1365     66115     14419    174348   1193936     12.80     13.48
37.93/9.55	c  N dy   110     39043       783      1365     66127     11087    174348    735783     12.73     13.43
41.12/10.33	c  N dy   128     43342       783      1365     66130     15251    174348   1139994     12.68     13.83
43.51/10.94	c  S st   148     45759       783      1365     66130      8940    174348    531279     13.03     13.06
43.91/11.00	c  S st   148     46264       783      1365     66130      9441    174348    574377     13.03   no data
43.91/11.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.31/11.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.1M T:  0.15
44.31/11.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.31/11.17	c bin-w-bin subsume rem            0 bins  time:  0.01 s
45.51/11.48	c subs with bin:        0  lits-rem:         4  v-fix:    0  time:  0.31 s
45.51/11.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    783 time:  0.01 s
45.51/11.49	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.01 s
45.91/11.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
51.10/12.85	c subs with bin:        1  lits-rem:         3  v-fix:    0  time:  1.34 s
51.90/13.09	c lits-rem:       147  cl-subs:      125  v-elim:      0  v-fix:    0  time:  0.24 s
51.90/13.10	c vivif2 --  cl tried     1365 cl shrink        0 lits rem          0 time: 0.00
52.30/13.11	c vivif2 --  cl tried     9315 cl shrink       84 lits rem        121 time: 0.01
52.70/13.25	c asymm  cl-useful: 0/1365/1365 lits-rem:0 time: 0.14
52.70/13.25	c calculated reachability. Time: 0.00
52.70/13.25	c  N dy   148     46264       783      1365     66130      9315    174344    568684     13.03   no data
56.69/14.30	c  N dy   164     52403       783      1365     66144     15192    174344   1107064     12.84     13.90
61.89/15.55	c  N dy   177     58490       783      1365     66151     11439    174344    686153     12.62     13.32
65.49/16.48	c  N dy   191     63611       783      1365     66155     16364    174344   1039261     12.51     13.23
69.48/17.42	c  N dy   202     67810       782      1365     66159     20370    174344   1315006     12.44     13.10
70.68/17.76	c  S st   210     69397       782      1365     66159     11343    174344    673648     12.44     12.05
71.10/17.83	c  S st   210     69899       782      1365     66159     11839    174344    716340     12.44   no data
71.10/17.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
71.87/18.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  7.5M T:  0.19
71.87/18.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
71.87/18.04	c bin-w-bin subsume rem            0 bins  time:  0.01 s
73.07/18.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.31 s
73.07/18.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.01 s
73.07/18.36	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.01 s
73.07/18.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
78.67/19.77	c subs with bin:        0  lits-rem:         5  v-fix:    0  time:  1.39 s
80.29/20.17	c lits-rem:       207  cl-subs:      115  v-elim:      0  v-fix:    0  time:  0.39 s
80.29/20.17	c vivif2 --  cl tried     1365 cl shrink        0 lits rem          0 time: 0.00
80.29/20.18	c vivif2 --  cl tried    10648 cl shrink       46 lits rem         60 time: 0.01
81.07/20.35	c asymm  cl-useful: 0/1365/1365 lits-rem:0 time: 0.17
81.07/20.35	c calculated reachability. Time: 0.00
81.07/20.35	c  N dy   210     69899       782      1365     65822     10648    173701    696636     12.44   no data
85.06/21.39	c  N dy   235     75093       782      1365     65829     15674    173701   1132110     12.53     13.46
89.86/22.54	c  N dy   254     79942       782      1365     65830     20335    173701   1538005     12.51     17.20
94.25/23.60	c  N dy   278     85062       782      1365     65831     14233    173701    949174     12.50     16.79
95.85/24.08	c  F st   281     87500       782      1365     65832     16603    173701   1160419     12.43     10.62
99.44/24.92	c  N st   286     90798       782      1365     65832     19765    173701   1437789     12.43   no data
106.65/26.74	c  N dy   310     96790       782      1365     65840     13251    173701    775654     12.46     13.15
112.63/28.21	c  N dy   335    104019       782      1365     65844     20149    173701   1309554     12.42     13.27
113.03/28.35	c  S st   337    104849       782      1365     65844     20948    173701   1371941     12.41   no data
113.43/28.48	c  S st   337    105349       782      1365     65849     21442    173701   1412901     12.41   no data
113.43/28.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
114.62/28.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 11.6M T:  0.31
114.62/28.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
115.04/28.81	c bin-w-bin subsume rem            0 bins  time:  0.01 s
116.22/29.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.31 s
116.22/29.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    782 time:  0.01 s
116.22/29.13	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.01 s
116.22/29.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
122.20/30.69	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  1.50 s
132.61/33.21	c lits-rem:      1595  cl-subs:     1078  v-elim:      0  v-fix:    0  time:  2.53 s
132.61/33.22	c vivif2 --  cl tried     1365 cl shrink        0 lits rem          0 time: 0.00
132.61/33.24	c vivif2 --  cl tried    20364 cl shrink      559 lits rem        799 time: 0.03
133.79/33.50	c asymm  cl-useful: 0/1214/1365 lits-rem:0 time: 0.26
133.79/33.50	c calculated reachability. Time: 0.00
133.79/33.50	c  N dy   337    105349       782      1365     65849     20364    173701   1380610     12.41   no data
141.40/35.42	c  N dy   365    112110       782      1365     65866     13546    173701    720178     12.40     22.30
147.78/37.00	c  N dy   390    119792       782      1365     65872     20847    173701   1204404     12.37     13.04
154.98/38.89	c  N dy   410    127990       782      1365     65878     14420    173701    708576     12.27     13.16
161.35/40.45	c  N dy   434    136203       782      1365     65890     22222    173701   1183502     12.19     12.83
171.75/43.02	c  N dy   464    145074       782      1365     65905     15417    173701    686992     12.11     12.92
178.13/44.64	c  N dy   492    154390       780      1365     65918     24357    173701   1341474     12.06     21.52
181.36/45.41	c  S st   508    158024       780      1365     65918     27834    173701   1572753     12.10     10.71
181.73/45.53	c  S st   508    158525       780      1365     65918     28333    173701   1617595     12.10   no data
181.73/45.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
182.93/45.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P: 12.7M T:  0.32
182.93/45.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
182.93/45.87	c bin-w-bin subsume rem            0 bins  time:  0.01 s
184.13/46.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.31 s
184.13/46.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.01 s
184.13/46.19	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.01 s
184.53/46.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
190.14/47.70	c subs with bin:       16  lits-rem:        11  v-fix:    0  time:  1.43 s
203.32/50.98	c lits-rem:      1643  cl-subs:      912  v-elim:      0  v-fix:    0  time:  3.29 s
203.32/50.99	c vivif2 --  cl tried     1365 cl shrink        0 lits rem          0 time: 0.00
203.70/51.01	c vivif2 --  cl tried    22885 cl shrink      100 lits rem        150 time: 0.03
204.50/51.26	c asymm  cl-useful: 0/1168/1365 lits-rem:0 time: 0.25
204.50/51.26	c calculated reachability. Time: 0.00
204.50/51.26	c  N dy   508    158525       780      1365     65242     22884    172433   1509928     12.10   no data
213.30/53.46	c  N dy   542    168715       780      1365     65252     18743    172433   1081570     12.05     12.73
224.48/56.27	c  N dy   593    179703       780      1365     65255     29314    172433   1935467     12.10     13.02
236.47/59.20	c  N dy   640    191436       780      1365     65266     24442    172433   1419090     12.11     12.77
249.65/62.60	c  N dy   684    203826       780      1365     65270     18704    172433    914549     12.11     12.85
263.22/65.91	c  N dy   710    216912       779      1365     65294     31081    172433   1606806     11.97     12.61
276.01/69.14	c  N dy   762    230942       779      1365     65299     25732    172433   1275877     11.96     12.65
281.61/70.57	c  S st   778    237791       779      1365     65305     32341    172433   1766205     11.91     11.84
282.43/70.70	c  S st   778    238292       779      1365     65305     32840    172433   1804121     11.91   no data
282.43/70.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
283.60/71.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 13.6M T:  0.37
283.60/71.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
283.60/71.10	c bin-w-bin subsume rem            1 bins  time:  0.01 s
285.20/71.40	c subs with bin:        0  lits-rem:         5  v-fix:    0  time:  0.30 s
285.20/71.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    779 time:  0.01 s
285.20/71.41	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.01 s
285.20/71.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
291.21/72.99	c subs with bin:       62  lits-rem:       128  v-fix:    0  time:  1.50 s
308.79/77.36	c lits-rem:      2463  cl-subs:     1648  v-elim:      0  v-fix:    0  time:  4.37 s
308.79/77.36	c vivif2 --  cl tried     1365 cl shrink        0 lits rem          0 time: 0.00
309.16/77.40	c vivif2 --  cl tried    28399 cl shrink      349 lits rem        389 time: 0.03
309.96/77.66	c asymm  cl-useful: 0/1108/1365 lits-rem:0 time: 0.26
309.96/77.66	c calculated reachability. Time: 0.00
309.96/77.66	c  N dy   778    238292       779      1365     64972     28399    171787   1721788     11.91   no data
325.15/81.47	c  N dy   837    254026       779      1365     65008     24941    171787   1422061     11.90     12.60
345.52/86.54	c  N dy   894    270903       779      1365     65024     20777    171787   1013925     11.86     12.61
363.90/91.19	c  N dy   935    289148       778      1365     65061     38158    171787   2214494     11.76     12.53
381.47/95.51	c  F st   990    306251       778      1365     65075     33015    171787   1903404     11.74   no data
383.49/96.07	c  N st   994    308281       778      1365     64752     33756    171150   2037705     11.74   no data
408.24/102.27	c  N dy  1047    328585       778      1365     64764     30936    171150   1601306     11.69     12.36
433.01/108.46	c  N dy  1108    349008       777      1365     64782     26993    171150   1352505     11.63     12.30
442.59/110.82	c  S st  1141    357439       776      1365     64796     35088    171150   1849215     11.62      9.12
443.00/110.97	c  S st  1141    357942       776      1365     64796     35590    171150   1889138     11.62   no data
443.00/110.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
445.01/111.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 15.6M T:  0.43
445.01/111.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
445.01/111.42	c bin-w-bin subsume rem            0 bins  time:  0.01 s
446.19/111.72	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  0.29 s
446.19/111.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    776 time:  0.01 s
446.19/111.73	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.01 s
446.19/111.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
452.98/113.40	c subs with bin:       50  lits-rem:       129  v-fix:    0  time:  1.59 s
467.76/117.19	c lits-rem:      1538  cl-subs:      590  v-elim:      0  v-fix:    0  time:  3.78 s
467.76/117.19	c vivif2 --  cl tried     1365 cl shrink        0 lits rem          0 time: 0.00
468.16/117.22	c vivif2 --  cl tried    27687 cl shrink      142 lits rem        143 time: 0.03
469.36/117.51	c asymm  cl-useful: 0/1040/1365 lits-rem:0 time: 0.29
469.36/117.52	c calculated reachability. Time: 0.00
469.36/117.52	c  N dy  1141    357942       776      1365     64123     27687    169935   1739645     11.62   no data
494.13/123.71	c  N dy  1229    378044       776      1365     64132     25986    169935   1538218     11.65     20.61
522.09/130.77	c  N dy  1331    398071       776      1365     64145     45392    169935   3192180     11.70     15.47
548.45/137.34	c  N dy  1411    418162       776      1365     64163     40608    169935   2660386     11.72     14.82
578.40/144.86	c  N dy  1496    438763       776      1365     64180     34416    169935   2002635     11.74     12.59
611.16/153.09	c  N dy  1575    459346       776      1365     64205     54208    169935   3520203     11.74     12.42
618.35/154.87	c Finding binary XORs  T:     0.00 s  found:       0
636.32/159.37	c  N dy  1659    479374       775      1365     64223     45997    169935   2852624     11.77     24.09
666.29/166.86	c  N dy  1747    499776       775      1365     64239     37093    169935   2097691     11.82     12.57
699.86/175.29	c  N dy  1863    519887       775      1365     64250     56508    169935   3733971     11.91     12.62
722.61/180.90	c  S st  1937    536913       775      1365     64266     43165    169935   2512323     11.94   no data
723.41/181.11	c  S st  1937    537418       775      1365     64266     43666    169935   2557229     11.94   no data
723.41/181.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
725.82/181.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 21.2M T:  0.68
725.82/181.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
726.23/181.81	c bin-w-bin subsume rem            0 bins  time:  0.01 s
727.40/182.11	c subs with bin:        0  lits-rem:        14  v-fix:    0  time:  0.30 s
727.40/182.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    775 time:  0.01 s
727.40/182.12	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.01 s
727.40/182.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
734.62/183.99	c subs with bin:        7  lits-rem:       160  v-fix:    0  time:  1.75 s
768.15/192.33	c lits-rem:      3753  cl-subs:     1723  v-elim:      0  v-fix:    0  time:  8.34 s
768.15/192.33	c vivif2 --  cl tried     1365 cl shrink        0 lits rem          0 time: 0.00
768.15/192.39	c vivif2 --  cl tried    40333 cl shrink     2434 lits rem       4417 time: 0.05
769.35/192.69	c asymm  cl-useful: 0/484/1365 lits-rem:0 time: 0.30
769.35/192.69	c calculated reachability. Time: 0.00
769.35/192.69	c  N dy  1937    537418       775      1365     63959     40322    169338   2480206     11.94   no data
809.31/202.66	c  N dy  2046    558286       775      1365     63973     30445    169338   1475156     12.00     12.66
836.86/209.55	c  N dy  2130    578358       775      1365     63987     49665    169338   2822208     12.01     12.97
871.23/218.11	c  N dy  2201    600510       775      1365     64003     39546    169338   1962685     11.97     12.63
902.77/226.01	c  N dy  2255    622200       774      1365     64023     60337    169338   3295675     11.92     12.60
929.14/232.64	c  N dy  2309    642513       774      1365     64044     47491    169338   2500684     11.90     12.67
965.09/241.61	c  N dy  2397    662695       774      1365     64056     66952    169338   4045823     11.91     12.59
991.05/248.16	c  N dy  2500    682740       773      1365     64066     52796    169338   2867655     11.96     14.40
1025.80/256.83	c  N dy  2594    702795       773      1365     64079     37583    169338   1630500     11.99     12.70
1050.99/263.15	c  N dy  2659    723951       773      1365     64081     58108    169338   2984516     11.97     12.81
1078.94/270.18	c  N dy  2742    744448       773      1365     64097     42170    169338   1930202     11.99     12.77
1108.52/277.56	c  N dy  2854    764479       773      1365     64107     61429    169338   3331610     12.04     14.48
1138.87/285.11	c  N dy  2942    784575       773      1365     64118     44188    169338   1969289     12.05     12.70
1167.62/292.36	c  N dy  3019    804750       773      1365     64121     63713    169338   3463467     12.07     12.91
1170.04/292.98	c  S st  3030    806129       773      1365     64124     65049    169338   3566197     12.08   no data
1171.21/293.21	c  S st  3030    806634       773      1365     64124     65552    169338   3607599     12.08   no data
1171.21/293.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1174.81/294.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P: 27.0M T:  0.94
1174.81/294.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1174.81/294.17	c bin-w-bin subsume rem           11 bins  time:  0.01 s
1176.01/294.46	c subs with bin:        0  lits-rem:        13  v-fix:    0  time:  0.29 s
1176.01/294.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    773 time:  0.01 s
1176.01/294.47	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.01 s
1176.41/294.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
1183.60/296.32	c subs with bin:        0  lits-rem:        80  v-fix:    0  time:  1.68 s
1222.36/306.03	c lits-rem:      4507  cl-subs:     3228  v-elim:      0  v-fix:    0  time:  9.71 s
1222.36/306.03	c vivif2 --  cl tried     1365 cl shrink        0 lits rem          0 time: 0.00
1222.77/306.11	c vivif2 --  cl tried    59379 cl shrink     3733 lits rem       5204 time: 0.08
1223.94/306.44	c asymm  cl-useful: 0/337/1365 lits-rem:0 time: 0.33
1223.94/306.44	c calculated reachability. Time: 0.00
1223.94/306.44	c  N dy  3030    806634       773      1365     63487     59378    168164   3470027     12.08   no data
1258.30/315.02	c  N dy  3107    827190       773      1365     63522     43009    168164   2003342     12.07     12.87
1291.46/323.36	c  N dy  3206    848603       772      1365     63531     63592    168164   3368926     12.10     12.87
1323.01/331.24	c  N dy  3260    869071       772      1365     63552     45453    168164   2095212     12.09     12.75
1352.98/338.76	c  N dy  3323    889373       771      1365     63565     64965    168164   3419153     12.08     12.75
1388.13/347.53	c  N dy  3396    909441       771      1365     63573     45182    168164   1961000     12.07     12.81
1418.48/355.11	c  N dy  3452    930799       771      1365     63575     65675    168164   3154115     12.05     12.95
1450.45/363.16	c  N dy  3508    950846       770      1365     63586     44803    168164   1846782     12.03     21.50
1476.81/369.76	c  N dy  3592    971235       770      1365     63587     64421    168164   3102754     12.04     12.68
1509.97/378.03	c  N dy  3683    991297       770      1365     63598     42457    168164   1621866     12.04     13.80
1535.93/384.51	c  N dy  3774   1011599       770      1365     63605     61972    168164   2858543     12.07     12.80
1569.91/393.02	c  N dy  3851   1031698       770      1365     63610     81290    168164   4184498     12.07     12.84
1596.66/399.78	c  N dy  3914   1051842       770      1365     63615     58307    168164   2484826     12.06     12.78
1628.61/407.74	c  F st  4027   1071876       770      1365     63621     77619    168164   3840761     12.10   no data
1628.61/407.79	c  N st  4027   1071876       770      1365     62703     72225    166493   3755913     12.10   no data
1658.97/415.36	c  N dy  4086   1091891       770      1365     62715     50997    166493   2262841     12.09     16.26
1686.94/422.39	c  N dy  4139   1112675       770      1365     62727     70819    166493   3356405     12.07     12.72
1718.50/430.27	c  N dy  4216   1133074       769      1365     62734     47640    166493   1917708     12.07     12.78
1744.46/436.73	c  N dy  4283   1153081       769      1365     62740     66874    166493   3164346     12.08     17.06
1785.61/447.09	c  N dy  4355   1174174       769      1365     62748     87147    166493   4472437     12.09     12.76
1813.57/454.00	c  N dy  4419   1194230       768      1365     62754     61920    166493   2761838     12.09     13.23
1841.95/461.15	c  S st  4514   1209951       768      1365     62756     77023    166493   3728812     12.12   no data
1843.13/461.42	c  S st  4514   1210452       768      1365     62756     77524    166493   3771382     12.12   no data
1843.13/461.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1847.13/462.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 28.6M T:  1.04
1847.13/462.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1847.13/462.49	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1848.33/462.78	c subs with bin:        0  lits-rem:         5  v-fix:    0  time:  0.29 s
1848.33/462.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    768 time:  0.01 s
1848.33/462.79	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
1848.72/462.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
1856.31/464.70	c subs with bin:      172  lits-rem:       397  v-fix:    0  time:  1.74 s
1901.46/476.01	c lits-rem:      6142  cl-subs:     5359  v-elim:      0  v-fix:    0  time: 11.31 s
1901.46/476.01	c vivif2 --  cl tried     1346 cl shrink        0 lits rem          0 time: 0.00
1901.86/476.11	c vivif2 --  cl tried    68796 cl shrink     4126 lits rem       5716 time: 0.10
1903.05/476.44	c asymm  cl-useful: 0/303/1346 lits-rem:0 time: 0.33
1903.05/476.45	c calculated reachability. Time: 0.00
1903.05/476.45	c  N dy  4514   1210452       768      1346     62209     68793    165086   3591688     12.12   no data
1946.99/487.44	c  N dy  4597   1230613       768      1346     62223     44145    165086   1774086     12.13     12.80
1950.59/488.30	c Finding binary XORs  T:     0.00 s  found:       0
1972.96/493.92	c  N dy  4649   1251464       768      1346     62242     64125    165086   3047328     12.12     12.78
2009.70/503.15	c  N dy  4717   1271777       767      1346     62260     83601    165086   4397627     12.11     13.12
2044.86/511.96	c  N dy  4808   1291792       767      1346     62268     56918    165086   2645460     12.13     12.82
2080.81/520.94	c  N dy  4904   1311801       767      1346     62275     76258    165086   4106495     12.14     19.12
2130.35/533.39	c  N dy  4966   1331926       767      1346     62282     47998    165086   1955653     12.14     12.97
2161.51/541.16	c  N dy  5044   1351952       767      1346     62291     67306    165086   3364922     12.13     12.79
2207.84/552.70	c  N dy  5136   1372270       767      1346     62299     86846    165086   4772302     12.15     12.93
2251.02/563.57	c  N dy  5239   1392774       767      1346     62317     57739    165086   2549974     12.17     12.86
2289.35/573.11	c  N dy  5331   1413588       767      1346     62331     77743    165086   3859006     12.18     12.86
2334.50/584.49	c  N dy  5419   1433621       766      1346     62345     97039    165086   5177998     12.19     15.39
2366.44/592.48	c  N dy  5505   1454268       766      1346     62352     66994    165086   3024871     12.20     12.85
2404.81/602.02	c  N dy  5600   1474331       766      1346     62362     86328    165086   4342883     12.21     14.92
2447.93/612.87	c  N dy  5700   1494558       766      1346     62370     54805    165086   2139049     12.24     12.89
2477.49/620.21	c  N dy  5773   1514631       766      1346     62375     74209    165086   3447192     12.24     13.13
2518.66/630.53	c  N dy  5876   1534730       766      1346     62380     93598    165086   4796149     12.26     30.73
2556.19/639.94	c  N dy  5953   1555594       766      1346     62386     61722    165086   2520290     12.26     13.45
2590.54/648.50	c  N dy  6040   1576078       766      1346     62394     81520    165086   3809477     12.27     12.95
2632.09/658.92	c  N dy  6105   1596367       766      1346     62403    101042    165086   5028235     12.26     12.95
2666.44/667.54	c  N dy  6175   1617859       766      1346     62425     68641    165086   2750902     12.26     13.09
2701.20/676.26	c  N dy  6258   1638053       765      1346     62436     88131    165086   4077501     12.27     13.00
2749.93/688.45	c  N dy  6351   1659487       765      1346     62445     54851    165086   1915116     12.28     13.27
2777.91/695.46	c  N dy  6418   1679692       765      1346     62458     74370    165086   3260152     12.28     12.98
2814.25/704.52	c  N dy  6491   1699767       764      1346     62472     93684    165086   4592232     12.29     22.74
2835.81/709.96	c  S st  6522   1710453       764      1346     62477    103996    165086   5234589     12.28      9.88
2837.01/710.28	c  S st  6522   1710958       764      1346     62477    104497    165086   5273172     12.28   no data
2837.41/710.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2843.01/711.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P: 38.0M T:  1.49
2843.01/711.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2843.41/711.80	c bin-w-bin subsume rem            3 bins  time:  0.01 s
2844.23/712.09	c subs with bin:        0  lits-rem:         7  v-fix:    0  time:  0.29 s
2844.60/712.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    764 time:  0.01 s
2844.60/712.10	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.01 s
2844.60/712.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
2852.61/714.10	c subs with bin:        3  lits-rem:       213  v-fix:    0  time:  1.76 s
2917.71/730.42	c lits-rem:      4732  cl-subs:     5428  v-elim:      0  v-fix:    0  time: 16.31 s
2917.71/730.42	c vivif2 --  cl tried     1346 cl shrink        0 lits rem          0 time: 0.00
2918.11/730.54	c vivif2 --  cl tried    86427 cl shrink     4884 lits rem       7909 time: 0.12
2919.71/730.92	c asymm  cl-useful: 0/439/1346 lits-rem:0 time: 0.38
2919.71/730.93	c calculated reachability. Time: 0.00
2919.71/730.93	c  N dy  6522   1710958       764      1346     61224     86424    162804   4881389     12.28   no data
2957.26/740.30	c  N dy  6580   1731597       764      1346     61239     57733    162804   2564513     12.27     12.95
2992.01/749.07	c  N dy  6635   1751988       764      1346     61253     77183    162804   3783536     12.26     12.97
3033.55/759.43	c  N dy  6690   1772004       763      1346     61272     96262    162804   4934610     12.24     13.03
3069.11/768.39	c  N dy  6761   1792091       763      1346     61285     63021    162804   2597875     12.24     20.39
3101.46/776.44	c  N dy  6823   1812318       763      1346     61292     82487    162804   3866598     12.23     13.04
3144.20/787.10	c  N dy  6854   1833322       762      1346     61316    102591    162804   5043278     12.21     12.86
3184.55/797.20	c  N dy  6962   1853642       762      1346     61321     67186    162804   2867131     12.23     12.91
3225.70/807.55	c  N dy  7055   1874062       762      1346     61326     86912    162804   4190444     12.24     13.14
3276.02/820.16	c  N dy  7130   1894195       762      1346     61328    106272    162804   5369679     12.24     12.89
3315.97/830.11	c  N dy  7177   1914432       762      1346     61333     68752    162804   2794974     12.22     12.96
3353.54/839.58	c  N dy  7230   1934436       762      1346     61351     87872    162804   3811475     12.21     12.97
3398.67/850.86	c  N dy  7337   1954700       761      1346     61358    107419    162804   5221690     12.24     13.55
3436.62/860.34	c  N dy  7410   1975050       761      1346     61368     68874    162804   2828242     12.24     12.91
3474.57/869.87	c  N dy  7544   1995139       761      1346     61377     88302    162804   4201279     12.28     31.87
3522.50/881.88	c  N dy  7670   2015195       761      1346     61385    107697    162804   5682300     12.33     25.24
3568.44/893.40	c  N dy  7809   2035213       761      1346     61397     67510    162804   2689990     12.38     15.55
3602.80/901.98	c  N dy  7913   2055245       761      1346     61407     86922    162804   4092355     12.41     13.11
3650.33/913.80	c  N dy  8041   2075877       760      1346     61416    106914    162804   5592929     12.44     13.11
3681.09/921.57	c Finding binary XORs  T:     0.00 s  found:       0
3702.26/926.80	c  N dy  8148   2096291       760      1346     60262     60460    160680   2458774     12.46     13.13
3739.02/936.02	c  N dy  8283   2116303       760      1346     60266     79837    160680   3894299     12.50     23.73
3785.35/947.62	c  N dy  8378   2137090       760      1346     60272     99918    160680   5333898     12.52     13.97
3836.49/960.47	c  N dy  8460   2157209       760      1346     60285     60258    160680   2364066     12.53     13.25
3870.44/968.98	c  N dy  8555   2177212       760      1346     60287     79623    160680   3777792     12.55     36.51
3915.18/980.10	c  N dy  8667   2197240       760      1346     60294     99018    160680   5171423     12.57     22.70
3952.73/989.56	c  S st  8741   2210958       760      1346     60300    112257    160680   6130051     12.59     11.97
3954.73/990.00	c  S st  8741   2211464       760      1346     60300    112761    160680   6170964     12.59   no data
3954.73/990.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3961.91/991.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 43.2M T:  1.82
3961.91/991.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3961.91/991.84	c bin-w-bin subsume rem            2 bins  time:  0.01 s
3963.11/992.12	c subs with bin:        0  lits-rem:         7  v-fix:    0  time:  0.28 s
3963.11/992.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    760 time:  0.01 s
3963.11/992.13	c Removed useless bin:       0  fixed:     0  props:   0.28M  time:  0.01 s
3963.51/992.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
3971.11/994.16	c subs with bin:        8  lits-rem:       625  v-fix:    0  time:  1.79 s
4054.60/1015.00	c lits-rem:      3655  cl-subs:     5932  v-elim:      0  v-fix:    0  time: 20.84 s
4054.60/1015.00	c vivif2 --  cl tried     1346 cl shrink        0 lits rem          0 time: 0.00
4055.00/1015.15	c vivif2 --  cl tried   106821 cl shrink     5659 lits rem       8203 time: 0.15
4056.61/1015.55	c asymm  cl-useful: 0/309/1346 lits-rem:0 time: 0.39
4056.61/1015.55	c calculated reachability. Time: 0.00
4056.61/1015.55	c  N dy  8741   2211464       760      1346     60299    106821    160673   6010446     12.59   no data
4111.31/1029.26	c  N dy  8812   2231511       760      1346     60329     64755    160673   2588076     12.59     13.28
4145.67/1037.88	c  N dy  8879   2251553       760      1346     60340     84085    160673   3964859     12.58     13.35
4191.61/1049.37	c  N dy  8942   2271939       760      1346     60351    103630    160673   5362376     12.58     13.40
4248.33/1063.51	c  N dy  9011   2291974       760      1346     60362    122854    160673   6582495     12.58     18.97
4286.28/1073.05	c  N dy  9062   2312586       760      1346     60373     79863    160673   3616194     12.57     13.31
4330.22/1084.08	c  N dy  9112   2334180       760      1346     60384    100513    160673   4955858     12.55     13.40
4384.55/1097.64	c  N dy  9156   2354875       760      1346     60402    120336    160673   6222633     12.54     13.22
4430.89/1109.27	c  N dy  9222   2375755       760      1346     60413     76366    160673   3368060     12.53     13.37
4474.83/1120.20	c  N dy  9290   2396311       760      1346     60430     96046    160673   4634974     12.53     13.80
4531.58/1134.41	c  N dy  9350   2417507       760      1346     60443    116455    160673   5934878     12.52     13.35
4581.49/1146.93	c  N dy  9406   2437747       760      1346     60462     70706    160673   2814553     12.51     13.41
4615.84/1155.59	c  N dy  9443   2459139       760      1346     60477     91155    160673   4055812     12.49     13.19
4660.59/1166.70	c  N dy  9495   2479165       759      1346     60488    110337    160673   5166681     12.48     14.33
4720.12/1181.65	c  N dy  9547   2501087       759      1346     60501    131376    160673   6441644     12.47     13.14
4756.06/1190.66	c  N dy  9597   2522317       759      1346     60517     85674    160673   3586954     12.46     13.29
4795.61/1200.53	c  N dy  9653   2542412       758      1346     60533    104931    160673   4822913     12.45     13.30

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

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

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


[startup+0 s]
/proc/loadavg: 6.38 7.69 7.81 6/180 5304
/proc/meminfo: memFree=28441096/32950928 swapFree=67111352/67111528
[pid=5304] ppid=5302 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 409 0 0 0 0 0 0 0 22 0 4 0 602742878 52441088 348 33554432000 4194304 4627427 140734329929968 18446744073709551615 47019394426802 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 12803 348 299 106 0 7774 0
[pid=5304/tid=5305] ppid=5302 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 602742879 52441088 348 33554432000 4194304 4627427 140734329929968 18446744073709551615 47019394426802 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 602742879 52441088 348 33554432000 4194304 4627427 140734329929968 18446744073709551615 47019394426802 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 602742879 52441088 348 33554432000 4194304 4627427 140734329929968 18446744073709551615 251367603185 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.00789504 s]
/proc/loadavg: 6.38 7.69 7.81 6/180 5304
/proc/meminfo: memFree=28441096/32950928 swapFree=67111352/67111528
[pid=5304] ppid=5302 vsize=248796 CPUtime=0 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 1272 0 0 0 0 0 0 0 18 0 4 0 602742878 254767104 1174 33554432000 4194304 4627427 140734329929968 18446744073709551615 251367651871 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 62199 1189 336 106 0 57170 0
[pid=5304/tid=5305] ppid=5302 vsize=248796 CPUtime=0 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 245 0 0 0 0 0 0 0 18 0 4 0 602742879 254767104 1196 33554432000 4194304 4627427 140734329929968 18446744073709551615 4358004 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=248796 CPUtime=0 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 209 0 0 0 0 0 0 0 24 0 4 0 602742879 254767104 1205 33554432000 4194304 4627427 140734329929968 18446744073709551615 251367207621 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=248796 CPUtime=0 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 223 0 0 0 0 0 0 0 25 0 4 0 602742879 254767104 1210 33554432000 4194304 4627427 140734329929968 18446744073709551615 251367590071 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 248796

[startup+0.478295 s]
/proc/loadavg: 6.38 7.69 7.81 6/180 5304
/proc/meminfo: memFree=28441096/32950928 swapFree=67111352/67111528
[pid=5304] ppid=5302 vsize=351880 CPUtime=1.88 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 7128 0 0 0 186 2 0 0 18 0 4 0 602742878 360325120 6659 33554432000 4194304 4627427 140734329929968 18446744073709551615 251367207969 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 87970 6659 385 106 0 82941 0
[pid=5304/tid=5305] ppid=5302 vsize=351880 CPUtime=0.46 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 1712 0 0 0 46 0 0 0 18 0 4 0 602742879 360325120 6659 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=351880 CPUtime=0.46 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 1737 0 0 0 46 0 0 0 18 0 4 0 602742879 360325120 6659 33554432000 4194304 4627427 140734329929968 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=351880 CPUtime=0.46 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 1522 0 0 0 46 0 0 0 18 0 4 0 602742879 360325120 6659 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 351880

[startup+0.500803 s]
/proc/loadavg: 6.38 7.69 7.81 6/180 5304
/proc/meminfo: memFree=28441096/32950928 swapFree=67111352/67111528
[pid=5304] ppid=5302 vsize=351880 CPUtime=1.97 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 7220 0 0 0 195 2 0 0 18 0 4 0 602742878 360325120 6751 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 87970 6751 385 106 0 82941 0
[pid=5304/tid=5305] ppid=5302 vsize=351880 CPUtime=0.49 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 1731 0 0 0 49 0 0 0 18 0 4 0 602742879 360325120 6751 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=351880 CPUtime=0.48 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 1755 0 0 0 48 0 0 0 18 0 4 0 602742879 360325120 6751 33554432000 4194304 4627427 140734329929968 18446744073709551615 4333301 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=351880 CPUtime=0.48 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 1549 0 0 0 48 0 0 0 18 0 4 0 602742879 360325120 6751 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 351880

[startup+0.700769 s]
/proc/loadavg: 6.38 7.69 7.81 6/180 5304
/proc/meminfo: memFree=28441096/32950928 swapFree=67111352/67111528
[pid=5304] ppid=5302 vsize=355808 CPUtime=2.77 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 9027 0 0 0 275 2 0 0 18 0 4 0 602742878 364347392 6755 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 88952 6755 385 106 0 83923 0
[pid=5304/tid=5305] ppid=5302 vsize=355808 CPUtime=0.69 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 2162 0 0 0 69 0 0 0 18 0 4 0 602742879 364347392 6755 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=355808 CPUtime=0.68 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 2344 0 0 0 68 0 0 0 18 0 4 0 602742879 364347392 6755 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=355808 CPUtime=0.68 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 1826 0 0 0 68 0 0 0 18 0 4 0 602742879 364347392 6755 33554432000 4194304 4627427 140734329929968 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 355808

[startup+1.50062 s]
/proc/loadavg: 6.67 7.73 7.83 9/184 5308
/proc/meminfo: memFree=28359224/32950928 swapFree=67111352/67111528
[pid=5304] ppid=5302 vsize=357204 CPUtime=5.97 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 12963 0 0 0 594 3 0 0 20 0 4 0 602742878 365776896 8082 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 89301 8082 385 106 0 84272 0
[pid=5304/tid=5305] ppid=5302 vsize=357204 CPUtime=1.48 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 3156 0 0 0 148 0 0 0 20 0 4 0 602742879 365776896 8082 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=357204 CPUtime=1.47 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 3394 0 0 0 147 0 0 0 20 0 4 0 602742879 365776896 8082 33554432000 4194304 4627427 140734329929968 18446744073709551615 4327434 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=357204 CPUtime=1.48 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 3050 0 0 0 148 0 0 0 20 0 4 0 602742879 365776896 8082 33554432000 4194304 4627427 140734329929968 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 357204

[startup+3.10033 s]
/proc/loadavg: 6.67 7.73 7.83 9/184 5308
/proc/meminfo: memFree=28353268/32950928 swapFree=67111352/67111528
[pid=5304] ppid=5302 vsize=339672 CPUtime=12.36 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 20300 0 0 0 1232 4 0 0 25 0 4 0 602742878 347824128 10016 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 84918 10016 386 106 0 79889 0
[pid=5304/tid=5305] ppid=5302 vsize=339672 CPUtime=3.08 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 4995 0 0 0 308 0 0 0 25 0 4 0 602742879 347824128 10016 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=339672 CPUtime=3.08 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 4927 0 0 0 307 1 0 0 25 0 4 0 602742879 347824128 10016 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=339672 CPUtime=3.08 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 4965 0 0 0 307 1 0 0 25 0 4 0 602742879 347824128 10016 33554432000 4194304 4627427 140734329929968 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 339672

[startup+6.30074 s]
/proc/loadavg: 6.67 7.73 7.83 9/184 5308
/proc/meminfo: memFree=28306768/32950928 swapFree=67111352/67111528
[pid=5304] ppid=5302 vsize=359508 CPUtime=25.14 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 33452 0 0 0 2507 7 0 0 25 0 4 0 602742878 368136192 18661 33554432000 4194304 4627427 140734329929968 18446744073709551615 4420181 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 89877 18661 389 106 0 84848 0
[pid=5304/tid=5305] ppid=5302 vsize=359508 CPUtime=6.29 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 7586 0 0 0 628 1 0 0 25 0 4 0 602742879 368136192 18661 33554432000 4194304 4627427 140734329929968 18446744073709551615 4424452 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=359508 CPUtime=6.25 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 7646 0 0 0 624 1 0 0 25 0 4 0 602742879 368136192 18661 33554432000 4194304 4627427 140734329929968 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=359508 CPUtime=6.29 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 7071 0 0 0 627 2 0 0 25 0 4 0 602742879 368136192 18661 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309130 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 359508

[startup+12.7006 s]
/proc/loadavg: 6.87 7.74 7.83 9/184 5308
/proc/meminfo: memFree=28218760/32950928 swapFree=67111352/67111528
[pid=5304] ppid=5302 vsize=381776 CPUtime=50.7 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 50658 0 0 0 5059 11 0 0 25 0 4 0 602742878 390938624 28334 33554432000 4194304 4627427 140734329929968 18446744073709551615 4424012 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 95444 28334 389 106 0 90415 0
[pid=5304/tid=5305] ppid=5302 vsize=381776 CPUtime=12.68 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 11363 0 0 0 1266 2 0 0 25 0 4 0 602742879 390938624 28334 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309138 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=381776 CPUtime=12.62 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 14116 0 0 0 1260 2 0 0 25 0 4 0 602742879 390938624 28334 33554432000 4194304 4627427 140734329929968 18446744073709551615 4428111 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=381776 CPUtime=12.68 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 11492 0 0 0 1265 3 0 0 25 0 4 0 602742879 390938624 28334 33554432000 4194304 4627427 140734329929968 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 381776

[startup+25.5012 s]
/proc/loadavg: 7.04 7.75 7.83 9/184 5308
/proc/meminfo: memFree=28136628/32950928 swapFree=67111352/67111528
[pid=5304] ppid=5302 vsize=360956 CPUtime=101.86 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 82789 0 0 0 10169 17 0 0 25 0 4 0 602742878 369618944 44127 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 90239 44127 389 106 0 85210 0
[pid=5304/tid=5305] ppid=5302 vsize=360956 CPUtime=25.49 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 19857 0 0 0 2545 4 0 0 25 0 4 0 602742879 369618944 44127 33554432000 4194304 4627427 140734329929968 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=360956 CPUtime=25.36 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 22942 0 0 0 2532 4 0 0 25 0 4 0 602742879 369618944 44127 33554432000 4194304 4627427 140734329929968 18446744073709551615 4424709 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=360956 CPUtime=25.49 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 20358 0 0 0 2544 5 0 0 25 0 4 0 602742879 369618944 44127 33554432000 4194304 4627427 140734329929968 18446744073709551615 4428103 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 360956

[startup+51.1005 s]
/proc/loadavg: 7.42 7.77 7.83 9/184 5309
/proc/meminfo: memFree=28057136/32950928 swapFree=67111352/67111528
[pid=5304] ppid=5302 vsize=443148 CPUtime=204.1 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 122870 0 0 0 20384 26 0 0 25 0 4 0 602742878 453783552 61321 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 110787 61321 389 106 0 105758 0
[pid=5304/tid=5305] ppid=5302 vsize=443148 CPUtime=51.09 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 28200 0 0 0 5103 6 0 0 25 0 4 0 602742879 453783552 61321 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=443148 CPUtime=50.82 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 33601 0 0 0 5076 6 0 0 25 0 4 0 602742879 453783552 61321 33554432000 4194304 4627427 140734329929968 18446744073709551615 4332937 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=443148 CPUtime=51.08 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 31282 0 0 0 5100 8 0 0 25 0 4 0 602742879 453783552 61321 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 443148

[startup+102.301 s]
/proc/loadavg: 7.75 7.80 7.84 9/184 5310
/proc/meminfo: memFree=28012668/32950928 swapFree=67111352/67111528
[pid=5304] ppid=5302 vsize=436084 CPUtime=408.64 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 187892 0 0 0 40823 41 0 0 25 0 4 0 602742878 446550016 60481 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 109021 60481 389 106 0 103992 0
[pid=5304/tid=5305] ppid=5302 vsize=436084 CPUtime=102.29 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 43236 0 0 0 10220 9 0 0 25 0 4 0 602742879 446550016 60481 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=436084 CPUtime=101.74 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 43714 0 0 0 10167 7 0 0 25 0 4 0 602742879 446550016 60481 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=436084 CPUtime=102.28 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 51127 0 0 0 10215 13 0 0 25 0 4 0 602742879 446550016 60481 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 436084

[startup+162.301 s]

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

[pid=5304] ppid=5302 vsize=951636 CPUtime=2805.45 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 731805 0 0 0 280348 197 0 0 25 0 4 0 602742878 974475264 163952 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 237909 163952 392 106 0 232880 0
[pid=5304/tid=5305] ppid=5302 vsize=951636 CPUtime=702.3 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 172804 0 0 0 70183 47 0 0 25 0 4 0 602742879 974475264 163952 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=951636 CPUtime=698.54 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 197855 0 0 0 69806 48 0 0 25 0 4 0 602742879 974475264 163952 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=951636 CPUtime=702.28 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 196291 0 0 0 70172 56 0 0 25 0 4 0 602742879 974475264 163952 33554432000 4194304 4627427 140734329929968 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.45
Current children cumulated vsize (KiB) 951636

[startup+762.301 s]
/proc/loadavg: 8.10 8.05 7.94 9/184 5337
/proc/meminfo: memFree=27415468/32950928 swapFree=67111352/67111528
[pid=5304] ppid=5302 vsize=1036396 CPUtime=3045.14 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 766950 0 0 0 304302 212 0 0 25 0 4 0 602742878 1061269504 175014 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 259099 175014 392 106 0 254070 0
[pid=5304/tid=5305] ppid=5302 vsize=1036396 CPUtime=762.31 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 180661 0 0 0 76180 51 0 0 25 0 4 0 602742879 1061269504 175014 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=1036396 CPUtime=758.22 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 205833 0 0 0 75771 51 0 0 25 0 4 0 602742879 1061269504 175014 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=1036396 CPUtime=762.28 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 207953 0 0 0 76167 61 0 0 25 0 4 0 602742879 1061269504 175014 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.14
Current children cumulated vsize (KiB) 1036396

[startup+822.301 s]
/proc/loadavg: 8.12 8.07 7.95 9/184 5339
/proc/meminfo: memFree=27420872/32950928 swapFree=67111352/67111528
[pid=5304] ppid=5302 vsize=1000040 CPUtime=3284.82 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 795811 0 0 0 328260 222 0 0 25 0 4 0 602742878 1024040960 171299 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 250010 171299 392 106 0 244981 0
[pid=5304/tid=5305] ppid=5302 vsize=1000040 CPUtime=822.31 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 187735 0 0 0 82177 54 0 0 25 0 4 0 602742879 1024040960 171299 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=1000040 CPUtime=817.89 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 209146 0 0 0 81737 52 0 0 25 0 4 0 602742879 1024040960 171299 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=1000040 CPUtime=822.28 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 215400 0 0 0 82165 63 0 0 25 0 4 0 602742879 1024040960 171299 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.82
Current children cumulated vsize (KiB) 1000040

[startup+882.301 s]
/proc/loadavg: 8.15 8.08 7.96 9/184 5340
/proc/meminfo: memFree=27427252/32950928 swapFree=67111352/67111528
[pid=5304] ppid=5302 vsize=1073652 CPUtime=3524.5 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 831889 0 0 0 352214 236 0 0 25 0 4 0 602742878 1099419648 168610 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 268413 168610 392 106 0 263384 0
[pid=5304/tid=5305] ppid=5302 vsize=1073652 CPUtime=882.31 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 195521 0 0 0 88175 56 0 0 25 0 4 0 602742879 1099419648 168610 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=1073652 CPUtime=877.57 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 221482 0 0 0 87700 57 0 0 25 0 4 0 602742879 1099419648 168610 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=1073652 CPUtime=882.28 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 219086 0 0 0 88164 64 0 0 25 0 4 0 602742879 1099419648 168610 33554432000 4194304 4627427 140734329929968 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.5
Current children cumulated vsize (KiB) 1073652

[startup+942.301 s]
/proc/loadavg: 8.13 8.08 7.96 9/184 5342
/proc/meminfo: memFree=27378472/32950928 swapFree=67111352/67111528
[pid=5304] ppid=5302 vsize=1087800 CPUtime=3764.19 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 876634 0 0 0 376167 252 0 0 25 0 4 0 602742878 1113907200 172949 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 271950 172949 392 106 0 266921 0
[pid=5304/tid=5305] ppid=5302 vsize=1087800 CPUtime=942.31 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 207753 0 0 0 94170 61 0 0 25 0 4 0 602742879 1113907200 172949 33554432000 4194304 4627427 140734329929968 18446744073709551615 4329825 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=1087800 CPUtime=937.24 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 233868 0 0 0 93664 60 0 0 25 0 4 0 602742879 1113907200 172949 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=1087800 CPUtime=942.29 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 231207 0 0 0 94159 70 0 0 25 0 4 0 602742879 1113907200 172949 33554432000 4194304 4627427 140734329929968 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.19
Current children cumulated vsize (KiB) 1087800

[startup+1002.3 s]
/proc/loadavg: 8.15 8.10 7.97 9/184 5343
/proc/meminfo: memFree=27402964/32950928 swapFree=67111352/67111528
[pid=5304] ppid=5302 vsize=1068284 CPUtime=4003.88 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 915120 0 0 0 400124 264 0 0 25 0 4 0 602742878 1093922816 172165 33554432000 4194304 4627427 140734329929968 18446744073709551615 4428084 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 267071 172165 392 106 0 262042 0
[pid=5304/tid=5305] ppid=5302 vsize=1068284 CPUtime=1002.32 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 217238 0 0 0 100168 64 0 0 25 0 4 0 602742879 1093922816 172166 33554432000 4194304 4627427 140734329929968 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=1068284 CPUtime=996.92 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 242879 0 0 0 99629 63 0 0 25 0 4 0 602742879 1093922816 172166 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=1068284 CPUtime=1002.29 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 242587 0 0 0 100156 73 0 0 25 0 4 0 602742879 1093922816 172166 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.88
Current children cumulated vsize (KiB) 1068284

[startup+1062.3 s]
/proc/loadavg: 8.09 8.09 7.98 9/184 5345
/proc/meminfo: memFree=27375484/32950928 swapFree=67111352/67111528
[pid=5304] ppid=5302 vsize=1054080 CPUtime=4243.54 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 956307 0 0 0 424075 279 0 0 25 0 4 0 602742878 1079377920 170886 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 263520 170886 392 106 0 258491 0
[pid=5304/tid=5305] ppid=5302 vsize=1054080 CPUtime=1062.31 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 229029 0 0 0 106162 69 0 0 25 0 4 0 602742879 1079377920 170886 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=1054080 CPUtime=1056.6 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 254967 0 0 0 105592 68 0 0 25 0 4 0 602742879 1079377920 170886 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=1054080 CPUtime=1062.29 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 251674 0 0 0 106152 77 0 0 25 0 4 0 602742879 1079377920 170886 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.54
Current children cumulated vsize (KiB) 1054080

[startup+1122.31 s]
/proc/loadavg: 8.07 8.08 7.98 9/184 5347
/proc/meminfo: memFree=27316520/32950928 swapFree=67111352/67111528
[pid=5304] ppid=5302 vsize=1115620 CPUtime=4483.24 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 995538 0 0 0 448029 295 0 0 25 0 4 0 602742878 1142394880 179639 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 278905 179639 393 106 0 273876 0
[pid=5304/tid=5305] ppid=5302 vsize=1115620 CPUtime=1122.32 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 238840 0 0 0 112158 74 0 0 25 0 4 0 602742879 1142394880 179639 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=1115620 CPUtime=1116.27 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 263826 0 0 0 111557 70 0 0 25 0 4 0 602742879 1142394880 179639 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=1115620 CPUtime=1122.29 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 259911 0 0 0 112149 80 0 0 25 0 4 0 602742879 1142394880 179639 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.24
Current children cumulated vsize (KiB) 1115620

[startup+1182.3 s]
/proc/loadavg: 8.14 8.10 8.00 9/184 5348
/proc/meminfo: memFree=27354648/32950928 swapFree=67111352/67111528
[pid=5304] ppid=5302 vsize=1038932 CPUtime=4722.9 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 1028239 0 0 0 471984 306 0 0 25 0 4 0 602742878 1063866368 176116 33554432000 4194304 4627427 140734329929968 18446744073709551615 4349279 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 259733 176116 393 106 0 254704 0
[pid=5304/tid=5305] ppid=5302 vsize=1038932 CPUtime=1182.32 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 245136 0 0 0 118156 76 0 0 25 0 4 0 602742879 1063866368 176116 33554432000 4194304 4627427 140734329929968 18446744073709551615 4308937 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=1038932 CPUtime=1175.95 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 272604 0 0 0 117521 74 0 0 25 0 4 0 602742879 1063866368 176116 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=1038932 CPUtime=1182.29 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 268776 0 0 0 118147 82 0 0 25 0 4 0 602742879 1063866368 176116 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.9
Current children cumulated vsize (KiB) 1038932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.10 8.09 8.00 9/184 5349
/proc/meminfo: memFree=27335784/32950928 swapFree=67111352/67111528
[pid=5304] ppid=5302 vsize=1160180 CPUtime=4800.02 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 1041315 0 0 0 479691 311 0 0 25 0 4 0 602742878 1188024320 175502 33554432000 4194304 4627427 140734329929968 18446744073709551615 4330537 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 290045 175502 393 106 0 285016 0
[pid=5304/tid=5305] ppid=5302 vsize=1160180 CPUtime=1201.62 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 247395 0 0 0 120085 77 0 0 25 0 4 0 602742879 1188024320 175502 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=1160180 CPUtime=1195.14 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 277751 0 0 0 119439 75 0 0 25 0 4 0 602742879 1188024320 175502 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=1160180 CPUtime=1201.6 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 269263 0 0 0 120077 83 0 0 25 0 4 0 602742879 1188024320 175502 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 1160180

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

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

[startup+1201.6 s]
/proc/loadavg: 8.10 8.09 8.00 9/184 5349
/proc/meminfo: memFree=27335784/32950928 swapFree=67111352/67111528
[pid=5304] ppid=5302 vsize=1160180 CPUtime=4800.02 cores=1,3,5,7
/proc/5304/stat : 5304 (strangenight2-m) R 5302 5304 5263 0 -1 4202496 1041315 0 0 0 479691 311 0 0 25 0 4 0 602742878 1188024320 175502 33554432000 4194304 4627427 140734329929968 18446744073709551615 4330537 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/5304/statm: 290045 175502 393 106 0 285016 0
[pid=5304/tid=5305] ppid=5302 vsize=1160180 CPUtime=1201.62 cores=1,3,5,7
/proc/5304/task/5305/stat : 5305 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 247395 0 0 0 120085 77 0 0 25 0 4 0 602742879 1188024320 175502 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=5304/tid=5306] ppid=5302 vsize=1160180 CPUtime=1195.14 cores=1,3,5,7
/proc/5304/task/5306/stat : 5306 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 277751 0 0 0 119439 75 0 0 25 0 4 0 602742879 1188024320 175502 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5304/tid=5307] ppid=5302 vsize=1160180 CPUtime=1201.6 cores=1,3,5,7
/proc/5304/task/5307/stat : 5307 (strangenight2-m) R 5302 5304 5263 0 -1 4202560 269263 0 0 0 120077 83 0 0 25 0 4 0 602742879 1188024320 175502 33554432000 4194304 4627427 140734329929968 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 1160180

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.64
CPU time (s): 4800.08
CPU user time (s): 4796.93
CPU system time (s): 3.14552
CPU usage (%): 399.459
Max. virtual memory (cumulated for all children) (KiB): 1249384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.93
system time used= 3.14552
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1041316
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= 875
involuntary context switches= 31308

runsolver used 1.85172 second user time and 4.65429 second system time

The end

Launcher Data 

Begin job on node113 at 2011-04-30 02:58:42
IDJOB=3262815
IDBENCH=83896
IDSOLVER=1586
FILE ID=node113/3262815-1304125122
RUNJOBID= node113-1304125122-5282
PBS_JOBID= 13170765
Free space on /tmp= 71160 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_70_27_50_3-dir.shuffled-as.sat03-169.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262815-1304125122/watcher-3262815-1304125122 -o /tmp/evaluation-result-3262815-1304125122/solver-3262815-1304125122 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3262815-1304125122.cnf

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

MD5SUM BENCH= b5a637600c242725f15a247a84bdea1b
RANDOM SEED=93930708

node113.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	: 5332.76
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28442492 kB
Buffers:        736080 kB
Cached:        3170124 kB
SwapCached:         12 kB
Active:         186808 kB
Inactive:      3802456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28442492 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:           13760 kB
Writeback:           0 kB
AnonPages:       82760 kB
Mapped:          14320 kB
Slab:           453120 kB
PageTables:       5004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   274112 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= 71152 MiB
End job on node113 at 2011-04-30 03:18:46