Trace number 3251243

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.25 1201.98

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf
MD5SUMb23c52475e3d098cb9d5a92c025d6982
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark7.18991
Satisfiable
(Un)Satisfiability was proved
Number of variables3420
Number of clauses1120760
Sum of the clauses size2244820
Maximum clause length62
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21120700
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

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-3251243-1304182477.cnf'
0.00/0.00	c -- header says num vars:           3420
0.00/0.00	c -- header says num clauses:     1120760
0.37/0.25	c -- clauses added:            0 learnts,      1120760 normals,            0 xors
0.37/0.25	c -- vars added       3420
0.37/0.25	c Parsing time:  0.72 s
0.37/0.25	c  N st     0         0      3420        60   1120700         0   2244820         0   no data   no data  --
0.37/0.25	c asymm  cl-useful: 0/60/60 lits-rem:0 time: 0.00
0.78/0.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.0M T:  0.67
0.78/0.65	c bin-w-bin subsume rem            0 bins  time:  0.95 s
3.10/0.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.78 s
3.50/0.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3420 time:  0.47 s
3.89/1.08	c Removed useless bin:       0  fixed:     0  props:   5.62M  time:  0.44 s
6.68/1.76	c lits-rem:        24  cl-subs:        0  v-elim:     60  v-fix:    0  time:  2.65 s
6.68/1.78	c Finding binary XORs  T:     0.08 s  found:       0
7.07/1.86	c Finding non-binary XORs:     0.19 s (found:       0, avg size: nan)
7.07/1.86	c calculated reachability. Time: 0.02
7.07/1.87	c Calc default polars -  time:   0.04 s pos:       0 undec:      60 neg:    3360
7.07/1.87	c =========================================================================================
7.07/1.87	c types(t): F = full restart, N = normal restart
7.07/1.87	c types(t): S = simplification begin/end, E = solution found
7.07/1.87	c restart types(rt): st = static, dy = dynamic
7.07/1.87	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
7.07/1.87	c  B st     0         0      3360     22537   1094803         0   3554337         0   no data   no data  --
10.67/2.71	c  N dy    15      4111      3360     22537   1094803      3994   3554325    741172     11.08     11.77  --
13.47/3.42	c  N dy    27      8190      3360     22537   1094803      5572   3554325    517141     10.26     12.74  --
16.67/4.25	c  N dy    41     12420      3360     22537   1094803      5580   3554325    437088     10.05     10.59  --
19.86/5.01	c  N dy    59     16550      3360     22537   1094803      9613   3554325    725416      9.97     10.51  --
22.68/5.80	c  N dy    79     20584      3360     22537   1094803      8065   3554325    518606     10.00     10.83  --
26.26/6.64	c  F st    97     25000      3360     22537   1094803     12387   3554320    868829      9.89      9.97  --
27.07/6.80	c  N st    97     25000      3360     22537   1094803     12387   3554320    868829      9.89      9.97  --
30.64/7.76	c  N dy   103     30000      3360     22537   1094803     10588   3554320    759288      9.89   no data  --
30.64/7.76	c  S st   103     30000      3360     22537   1094803     10588   3554320    759288      9.89   no data  --
31.05/7.87	c  S st   103     30506      3360     22537   1094803     11089   3554320    801050      9.89   no data  --
31.05/7.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
31.05/7.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
42.22/10.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 90.2M T: 10.96
43.02/10.86	c bin-w-bin subsume rem            0 bins  time:  0.54 s
48.22/12.15	c subs with bin:        0  lits-rem:      3673  v-fix:    0  time:  5.18 s
48.62/12.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.48 s
49.04/12.39	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.46 s
54.21/13.62	c lits-rem:      4255  cl-subs:      765  v-elim:      0  v-fix:    0  time:  4.92 s
55.41/13.91	c asymm  cl-useful: 103/865/22537 lits-rem:161 time: 1.13
55.41/13.93	c calculated reachability. Time: 0.02
55.41/13.93	c  N dy   103     30506      3360     22537   1094803     10324   3537432    764009      9.89   no data  --
58.23/14.69	c  N dy   132     34544      3360     22537   1094803     14279   3537428   1312513     10.28     15.68  --
61.81/15.60	c  N dy   155     39231      3360     22537   1094803     11143   3537423    902531     10.42     11.04  --
65.39/16.44	c  N dy   177     43286      3360     22537   1094803     15104   3537422   1327348     10.43     11.12  --
67.39/16.94	c  S st   189     45759      3360     22537   1094803     17521   3537422   1627382     10.43   no data  --
67.79/17.08	c  S st   189     46260      3360     22537   1094803      9260   3537422    619821     10.43   no data  --
68.19/17.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
68.19/17.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
77.78/19.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 87.7M T:  9.70
78.58/19.72	c bin-w-bin subsume rem            0 bins  time:  0.54 s
83.37/20.99	c subs with bin:        0  lits-rem:      4188  v-fix:    0  time:  5.07 s
84.18/21.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.48 s
84.59/21.22	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.44 s
89.76/22.50	c lits-rem:      2714  cl-subs:      254  v-elim:      0  v-fix:    0  time:  5.09 s
90.15/22.60	c vivif2 --  cl tried    22537 cl shrink    19747 lits rem     344366 time: 0.40
90.15/22.63	c vivif2 --  cl tried     9006 cl shrink        0 lits rem          0 time: 0.11
90.96/22.88	c asymm  cl-useful: 31/740/22537 lits-rem:35 time: 1.02
91.36/22.91	c calculated reachability. Time: 0.02
91.36/22.91	c  N dy   189     46260      3360     22537   1094803      9006   3182760    607490     10.43   no data  --
94.15/23.69	c  N dy   217     50274      3360     22537   1094803     12929   3182760   1221880     10.60     11.17  --
98.55/24.72	c  N dy   241     55144      3360     22537   1094803     17695   3182757   2004935     10.69     11.29  --
101.76/25.55	c  N dy   263     59368      3360     22537   1094803     12069   3182756   1149500     10.75     11.36  --
105.34/26.43	c  N dy   289     63399      3360     22537   1094803     16027   3182756   1852081     10.93     11.62  --
110.96/27.83	c  N dy   312     68492      3360     22537   1094803     20991   3182754   2648161     11.08     12.02  --
112.13/28.10	c  S st   320     69391      3360     22537   1094803     11130   3182754    783397     11.10     10.67  --
112.53/28.21	c  S st   320     69891      3360     22537   1094803     11626   3182754    843600     11.10   no data  --
112.53/28.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
112.53/28.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
123.32/30.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 90.4M T: 10.98
124.14/31.18	c bin-w-bin subsume rem            0 bins  time:  0.54 s
129.30/32.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.05 s
129.70/32.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.44 s
130.10/32.66	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.44 s
133.70/33.58	c lits-rem:      1315  cl-subs:       46  v-elim:      0  v-fix:    0  time:  3.68 s
134.10/33.61	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.12
134.10/33.65	c vivif2 --  cl tried    11580 cl shrink        0 lits rem          0 time: 0.13
135.30/33.91	c asymm  cl-useful: 1/564/22537 lits-rem:1 time: 1.05
135.30/33.94	c calculated reachability. Time: 0.02
135.30/33.94	c  N dy   320     69891      3360     22537   1094803     11580   3181786    838878     11.10   no data  --
139.69/35.01	c  N dy   345     74901      3360     22537   1094803     16489   3181786   1701225     11.20     11.87  --
144.09/36.19	c  N dy   371     79885      3360     22537   1094803     21385   3181785   2559310     11.25     11.97  --
149.68/37.50	c  N dy   398     85392      3360     22537   1094803     15029   3181785   1337916     11.22     11.96  --
151.68/38.00	c  F st   405     87501      3360     22537   1094803     17107   3181785   1637671     11.20   no data  --
158.07/39.60	c  N dy   411     92696      3360     22537   1094803     22205   3181785   2376460     11.20   no data  --
163.28/40.93	c  N dy   440     98725      3360     22537   1094803     15365   3181785   1260117     11.24     12.13  --
168.45/42.24	c  S st   461    104836      3360     22537   1094803     21355   3181785   2081732     11.20      9.27  --
168.85/42.35	c  S st   461    105339      3360     22537   1094803     21857   3181785   2137990     11.20   no data  --
168.85/42.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
168.85/42.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
181.25/45.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 99.3M T: 12.22
182.03/45.67	c bin-w-bin subsume rem            0 bins  time:  0.54 s
187.62/47.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.32 s
188.02/47.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.45 s
188.42/47.23	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.43 s
195.60/49.03	c lits-rem:       266  cl-subs:      209  v-elim:      0  v-fix:    0  time:  7.20 s
195.60/49.06	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.12
196.00/49.13	c vivif2 --  cl tried    21648 cl shrink        0 lits rem          0 time: 0.26
197.21/49.42	c asymm  cl-useful: 0/630/22537 lits-rem:0 time: 1.18
197.21/49.45	c calculated reachability. Time: 0.02
197.21/49.45	c  N dy   461    105339      3360     22537   1094803     21648   3181780   2107988     11.20   no data  --
203.99/51.19	c  N dy   502    112585      3360     22537   1094803     15025   3181780   1150604     11.29     11.88  --
211.19/52.90	c  N dy   525    120051      3360     22537   1094803     22296   3181779   2098129     11.26     11.99  --
219.97/55.16	c  N dy   556    128150      3360     22537   1094803     15545   3181779   1068513     11.24     11.85  --
227.57/57.04	c  N dy   583    136530      3360     22537   1094803     23795   3181779   2140100     11.18     11.77  --
236.35/59.27	c  N dy   606    146231      3360     22537   1094803     17589   3181779   1232013     11.13     11.76  --
245.14/61.40	c  N dy   662    155570      3360     22537   1094803     26705   3181778   2587698     11.19     11.82  --
247.53/62.00	c  S st   677    158008      3360     22537   1094803     29080   3181778   3054427     11.23   no data  --
247.94/62.15	c  S st   677    158511      3360     22537   1094803     29578   3181778   3123016     11.23   no data  --
247.94/62.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
247.94/62.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
261.91/65.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 115.0M T: 14.04
263.12/65.96	c bin-w-bin subsume rem            0 bins  time:  0.54 s
268.73/67.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.44 s
269.13/67.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.46 s
269.51/67.54	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.44 s
281.09/70.45	c lits-rem:       728  cl-subs:      779  v-elim:      0  v-fix:    0  time: 11.61 s
281.09/70.48	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.12
281.49/70.57	c vivif2 --  cl tried    28799 cl shrink        0 lits rem          0 time: 0.34
282.69/70.87	c asymm  cl-useful: 0/423/22537 lits-rem:0 time: 1.23
283.09/70.90	c calculated reachability. Time: 0.02
283.09/70.90	c  N dy   677    158511      3360     22537   1094803     28799   3181741   3072655     11.23   no data  --
293.07/73.48	c  N dy   724    168678      3360     22537   1094803     22164   3181740   1988354     11.26     17.11  --
306.26/76.74	c  N dy   773    180469      3360     22537   1094803     33669   3181740   3321083     11.27     11.87  --
319.04/79.94	c  N dy   826    192503      3360     22537   1094803     27859   3181740   2913267     11.31     12.04  --
333.43/83.59	c  N dy   871    204803      3360     22537   1094803     21319   3181740   1743229     11.30     15.28  --
348.60/87.37	c  N dy   946    218729      3360     22537   1094803     34932   3181739   3763526     11.44     12.61  --
362.58/90.82	c  N dy  1003    232757      3360     22537   1094803     29066   3181736   2642956     11.45     14.45  --
367.38/92.05	c  S st  1024    237766      3360     22537   1094803     33991   3181736   3265322     11.44     11.26  --
368.18/92.20	c  S st  1024    238268      3360     22537   1094803     34492   3181736   3318156     11.44   no data  --
368.18/92.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
368.18/92.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
381.76/95.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 111.7M T: 13.73
382.97/95.94	c bin-w-bin subsume rem            0 bins  time:  0.56 s
388.55/97.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.58 s
388.95/97.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.45 s
389.35/97.56	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.44 s
403.73/101.11	c lits-rem:      1027  cl-subs:     1010  v-elim:      0  v-fix:    0  time: 14.17 s
403.73/101.14	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.12
404.13/101.24	c vivif2 --  cl tried    33482 cl shrink        0 lits rem          0 time: 0.40
405.35/101.55	c asymm  cl-useful: 0/522/22537 lits-rem:0 time: 1.22
405.35/101.58	c calculated reachability. Time: 0.02
405.35/101.58	c  N dy  1024    238268      3360     22537   1094803     33482   3181652   3261687     11.44   no data  --
421.30/105.58	c  N dy  1103    253570      3360     22537   1094803     27848   3181652   2538517     11.53     12.29  --
441.27/110.56	c  N dy  1164    270342      3360     22537   1094803     22725   3181652   1677197     11.53     12.23  --
458.45/114.88	c  N dy  1218    287625      3360     22537   1094803     39624   3181652   3500349     11.51     16.34  --
478.43/119.82	c  N dy  1295    306092      3360     22537   1094803     35217   3181652   3694271     11.52     12.30  --
478.43/119.87	c  F st  1296    306252      3360     22537   1094803     35374   3181652   3717448     11.52     10.73  --
503.60/126.11	c  N dy  1370    325654      3360     22537   1094803     30943   3181652   2890818     11.54     15.14  --
526.37/131.83	c  N dy  1454    345792      3360     22537   1094803     26168   3181652   2052621     11.54     12.17  --
538.35/134.80	c  S st  1489    357404      3360     22537   1094803     37528   3181652   3225881     11.51     11.22  --
538.76/134.92	c  S st  1489    357906      3360     22537   1094803     38024   3181652   3277497     11.51   no data  --
538.76/134.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
538.76/134.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
553.13/138.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 113.2M T: 14.48
554.34/138.84	c bin-w-bin subsume rem            0 bins  time:  0.55 s
559.52/140.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.38 s
560.32/140.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.46 s
560.73/140.41	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.43 s
573.90/143.79	c lits-rem:       158  cl-subs:      975  v-elim:      0  v-fix:    0  time: 13.51 s
574.30/143.82	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.12
574.70/143.94	c vivif2 --  cl tried    37049 cl shrink        0 lits rem          0 time: 0.46
575.90/144.21	c asymm  cl-useful: 0/766/22537 lits-rem:0 time: 1.09
575.90/144.24	c calculated reachability. Time: 0.02
575.90/144.24	c  N dy  1489    357906      3360     22537   1094803     37049   3181594   3233173     11.51   no data  --
597.87/149.70	c  N dy  1558    378128      3360     22537   1094803     31403   3181594   2726638     11.49     12.51  --
621.04/155.51	c  N dy  1637    398574      3360     22537   1094803     51384   3181591   5549275     11.51     12.25  --
643.41/161.12	c  N dy  1735    418645      3360     22537   1094803     44584   3181589   4407336     11.54     12.20  --
668.18/167.37	c  N dy  1814    438678      3360     22537   1094803     36825   3181589   3527369     11.53     12.99  --
694.14/173.83	c  N dy  1901    458762      3360     22537   1094803     56401   3181589   5939461     11.55     12.19  --
716.93/179.55	c  N dy  1965    478876      3360     22537   1094803     47760   3181589   4566210     11.52     12.15  --
739.68/185.21	c  N dy  2008    498878      3360     22537   1094803     37980   3181589   3117394     11.50     12.19  --
766.44/191.94	c  N dy  2092    519153      3360     22537   1094803     57724   3181588   5714102     11.52     12.27  --
788.41/197.40	c  S st  2180    536861      3360     22537   1094803     44833   3181588   4048700     11.55   no data  --
788.81/197.56	c  S st  2180    537366      3360     22537   1094803     45337   3181588   4098716     11.55   no data  --
788.81/197.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
788.81/197.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
804.81/201.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 125.0M T: 16.01
805.99/201.89	c bin-w-bin subsume rem            0 bins  time:  0.54 s
812.79/203.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.69 s
813.19/203.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.45 s
813.60/203.80	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.45 s
860.72/215.56	c lits-rem:       405  cl-subs:      789  v-elim:      0  v-fix:    0  time: 46.95 s
860.72/215.59	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.12
861.52/215.72	c vivif2 --  cl tried    44548 cl shrink        0 lits rem          0 time: 0.53
862.71/216.07	c asymm  cl-useful: 0/389/22537 lits-rem:0 time: 1.40
863.11/216.10	c calculated reachability. Time: 0.02
863.11/216.10	c  N dy  2180    537366      3360     22537   1094803     44548   3181557   4048979     11.55   no data  --
890.28/222.99	c  N dy  2268    557503      3360     22537   1094803     32935   3181556   2212977     11.56     12.51  --
913.45/228.77	c  N dy  2361    577582      3360     22537   1094803     52530   3181555   4620801     11.58     17.74  --
940.22/235.43	c  N dy  2441    597906      3360     22537   1094803     40104   3181555   3113608     11.59     12.20  --
965.38/241.71	c  N dy  2515    617932      3360     22537   1094803     59562   3181555   5703276     11.59     12.31  --
991.74/248.39	c  N dy  2596    637989      3360     22537   1094803     46033   3181553   3522017     11.58     18.60  --
1018.90/255.19	c  N dy  2670    658132      3360     22537   1094803     65699   3181553   5890638     11.57     12.21  --
1043.27/261.27	c  N dy  2731    678392      3360     22537   1094803     51335   3181552   4027880     11.55     12.23  --
1069.24/267.78	c  N dy  2830    698692      3360     22537   1094803     35976   3181551   2104145     11.59     12.31  --
1094.01/273.96	c  N dy  2944    718804      3360     22537   1094803     55690   3181548   5163133     11.63     12.44  --
1123.16/281.28	c  N dy  3029    738894      3360     22537   1094803     39178   3181547   2472464     11.64     19.28  --
1147.55/287.34	c  N dy  3095    758896      3360     22537   1094803     58803   3181546   5234352     11.63     12.48  --
1173.91/293.92	c  N dy  3180    779047      3360     22537   1094803     41296   3181546   2616611     11.64     12.51  --
1197.06/299.75	c  N dy  3260    799420      3360     22537   1094803     61192   3181546   4863988     11.63     12.39  --
1205.85/301.93	c  S st  3290    806049      3360     22537   1094803     67633   3181546   5591920     11.63   no data  --
1206.25/302.08	c  S st  3290    806552      3360     22537   1094803     68135   3181546   5658201     11.63   no data  --
1206.65/302.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
1206.65/302.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1224.62/306.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 134.4M T: 18.05
1225.82/306.99	c bin-w-bin subsume rem            0 bins  time:  0.54 s
1231.82/308.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.98 s
1232.62/308.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.45 s
1233.02/308.71	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.43 s
1316.11/329.54	c lits-rem:       628  cl-subs:     2332  v-elim:      0  v-fix:    0  time: 82.97 s
1316.11/329.57	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.12
1316.90/329.77	c vivif2 --  cl tried    65803 cl shrink        0 lits rem          0 time: 0.81
1318.50/330.10	c asymm  cl-useful: 0/298/22537 lits-rem:0 time: 1.31
1318.50/330.13	c calculated reachability. Time: 0.02
1318.50/330.13	c  N dy  3290    806552      3360     22537   1094803     65803   3181500   5554955     11.63   no data  --
1344.46/336.68	c  N dy  3356    826810      3360     22537   1094803     47482   3181499   3137195     11.62     12.32  --
1370.42/343.19	c  N dy  3436    846847      3360     22537   1094803     67052   3181499   5478954     11.63     17.87  --
1397.59/349.93	c  N dy  3507    866926      3360     22537   1094803     47627   3181499   2992655     11.63     13.58  --
1426.36/357.10	c  N dy  3559    887152      3360     22537   1094803     67191   3181499   4436340     11.61     12.41  --
1452.31/363.65	c  N dy  3620    907531      3360     22537   1094803     47068   3181498   2862153     11.59     12.23  --
1478.27/370.14	c  N dy  3695    927537      3360     22537   1094803     66622   3181495   5430755     11.59     12.28  --
1506.64/377.26	c  N dy  3739    947660      3360     22537   1094803     45266   3181495   2509396     11.56     12.25  --
1530.60/383.24	c  N dy  3795    967692      3360     22537   1094803     64842   3181495   4690476     11.54     12.50  --
1558.17/390.15	c  N dy  3874    987724      3360     22537   1094803     42461   3181495   2193337     11.55     36.51  --
1581.74/396.09	c  N dy  3967   1007845      3360     22537   1094803     62115   3181494   4679354     11.57     12.29  --
1610.50/403.23	c  N dy  4025   1027889      3360     22537   1094803     81714   3181494   6805129     11.56     12.23  --
1634.07/409.19	c  N dy  4113   1047894      3360     22537   1094803     58402   3181494   4220630     11.57     14.57  --
1662.42/416.24	c  N dy  4193   1067948      3360     22537   1094803     78011   3181493   6567739     11.57     12.27  --
1668.81/417.87	c  F st  4216   1071876      3360     22537   1094803     81893   3181493   7171620     11.58   no data  --
1691.99/423.69	c  N dy  4269   1088508      3360     22537   1094803     54092   3181493   3136388     11.58     13.08  --
1715.56/429.51	c  N dy  4349   1108548      3360     22537   1094803     73561   3181492   5191877     11.58     13.87  --
1743.92/436.62	c  N dy  4448   1129242      3360     22537   1094803     48876   3181492   2533110     11.60     12.29  --
1765.09/441.96	c  N dy  4526   1149250      3360     22537   1094803     68375   3181492   4627919     11.61     30.10  --
1793.87/449.11	c  N dy  4640   1169968      3360     22537   1094803     88615   3181492   7235866     11.63     12.34  --
1817.01/454.97	c  N dy  4720   1190023      3360     22537   1094803     62334   3181490   4184508     11.64     19.80  --
1842.97/461.46	c  S st  4812   1209828      3360     22537   1094803     81721   3181490   6584230     11.65     10.40  --
1843.77/461.65	c  S st  4812   1210328      3360     22537   1094803     82219   3181490   6640490     11.65   no data  --
1843.77/461.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
1843.77/461.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1864.55/466.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 146.4M T: 20.47
1866.15/467.20	c bin-w-bin subsume rem            0 bins  time:  0.54 s
1871.74/468.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.69 s
1872.14/468.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.45 s
1872.56/468.85	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.45 s
2009.95/503.28	c lits-rem:       877  cl-subs:     2860  v-elim:      0  v-fix:    0  time: 137.06 s
2010.35/503.31	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.12
2011.15/503.56	c vivif2 --  cl tried    79359 cl shrink        0 lits rem          0 time: 1.01
2012.75/503.91	c asymm  cl-useful: 0/294/22537 lits-rem:0 time: 1.42
2012.75/503.94	c calculated reachability. Time: 0.02
2012.75/503.94	c  N dy  4812   1210328      3360     22537   1094803     79359   3181485   6522039     11.65   no data  --
2045.10/512.07	c  N dy  4873   1230391      3360     22537   1094803     52123   3181483   3028847     11.64     15.95  --
2072.26/518.84	c  N dy  4949   1250479      3360     22537   1094803     71748   3181482   5879007     11.65     12.27  --
2111.02/528.55	c  N dy  5032   1270689      3360     22537   1094803     91515   3181482   8198626     11.65     12.30  --
2137.38/535.17	c  N dy  5095   1290745      3360     22537   1094803     63225   3181482   3930806     11.65     19.12  --
2162.14/541.36	c  N dy  5160   1310822      3360     22537   1094803     82814   3181481   6074982     11.64     12.50  --
2190.75/548.54	c  N dy  5247   1330961      3360     22537   1094803     53583   3181481   2780584     11.66     12.28  --
2213.68/554.30	c  N dy  5336   1350984      3360     22537   1094803     73167   3181481   5128795     11.67     12.71  --
2242.89/561.74	c  N dy  5416   1371026      3360     22537   1094803     92783   3181481   7722697     11.67     13.05  --
2271.62/568.91	c  N dy  5493   1392028      3360     22537   1094803     63497   3181481   3870913     11.67     12.42  --
2296.75/575.29	c  N dy  5572   1412069      3360     22537   1094803     82920   3181481   5839793     11.66     19.44  --
2325.52/582.40	c  N dy  5640   1432400      3360     22537   1094803     52035   3181477   2603434     11.66     12.42  --
2347.89/588.01	c  N dy  5729   1452469      3360     22537   1094803     71673   3181477   4856786     11.67     12.34  --
2380.24/596.13	c  N dy  5813   1472600      3360     22537   1094803     91159   3181474   6571094     11.67     12.32  --
2412.62/604.25	c  N dy  5885   1493352      3360     22537   1094803     59699   3181474   3287586     11.67     12.33  --
2437.76/610.51	c  N dy  5944   1513693      3360     22537   1094803     79506   3181474   5425857     11.66     12.31  --
2468.13/618.11	c  N dy  6017   1533807      3360     22537   1094803     99083   3181472   7541977     11.67     12.40  --
2494.49/624.78	c  N dy  6080   1554095      3360     22537   1094803     66296   3181472   3806470     11.66     12.29  --
2520.06/631.12	c  N dy  6145   1574196      3360     22537   1094803     85787   3181472   5537304     11.66     12.36  --
2552.01/639.17	c  N dy  6234   1594273      3360     22537   1094803    105316   3181472   7838306     11.67     15.11  --
2578.38/645.70	c  N dy  6319   1614281      3360     22537   1094803     71307   3181472   4363879     11.67     18.78  --
2606.73/652.80	c  N dy  6411   1634663      3360     22537   1094803     91183   3181470   7016166     11.69     12.32  --
2643.48/662.05	c  N dy  6491   1656327      3360     22537   1094803     57747   3181470   2874723     11.69     12.38  --
2668.65/668.30	c  N dy  6575   1677130      3360     22537   1094803     78067   3181470   5630622     11.70     12.39  --
2702.63/676.83	c  N dy  6638   1697496      3360     22537   1094803     97925   3181470   7903345     11.69     12.52  --
2726.18/682.75	c  S st  6686   1710328      3360     22537   1094803    110349   3181470   9000419     11.69      9.26  --
2726.98/682.97	c  S st  6686   1710830      3360     22537   1094803    110851   3181470   9055594     11.69   no data  --
2727.38/683.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
2727.38/683.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2750.55/688.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 161.7M T: 23.46
2752.54/689.35	c bin-w-bin subsume rem            0 bins  time:  0.53 s
2758.53/690.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.90 s
2758.93/690.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.45 s
2759.34/691.06	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.46 s
3057.72/765.78	c lits-rem:       504  cl-subs:     4741  v-elim:      0  v-fix:    0  time: 298.17 s
3058.14/765.82	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.14
3059.32/766.16	c vivif2 --  cl tried   106110 cl shrink        0 lits rem          0 time: 1.38
3060.92/766.52	c asymm  cl-useful: 0/256/22537 lits-rem:0 time: 1.42
3060.92/766.55	c calculated reachability. Time: 0.02
3060.92/766.55	c  N dy  6686   1710830      3360     22537   1094803    106110   3181469   8864955     11.69   no data  --
3085.68/772.75	c  N dy  6770   1730924      3360     22537   1094803     70274   3181469   4140637     11.69     12.49  --
3114.05/779.88	c  N dy  6852   1753489      3360     22537   1094803     92285   3181469   6515663     11.70     12.37  --
3144.40/787.47	c  N dy  6920   1774538      3360     22537   1094803    112670   3181469   8344971     11.69     12.33  --
3168.39/793.47	c  N dy  7001   1794617      3360     22537   1094803     75804   3181469   5037833     11.70     12.32  --
3197.93/800.88	c  N dy  7052   1814783      3360     22537   1094803     95518   3181468   7024391     11.69     12.33  --
3234.68/810.05	c  N dy  7145   1834899      3360     22537   1094803     57665   3181468   2647932     11.70     12.46  --
3255.05/815.13	c  N dy  7220   1854910      3360     22537   1094803     77155   3181468   4710165     11.70     14.05  --
3284.21/822.40	c  N dy  7312   1874965      3360     22537   1094803     96743   3181468   7066975     11.71     12.35  --
3322.96/832.12	c  N dy  7396   1895148      3360     22537   1094803    116503   3181468   9351281     11.71     12.66  --
3347.33/838.21	c  N dy  7461   1915276      3360     22537   1094803     77606   3181468   5045869     11.71     12.34  --
3380.08/846.43	c  N dy  7547   1935395      3360     22537   1094803     97237   3181468   7515701     11.72     12.38  --
3421.62/856.85	c  N dy  7633   1956092      3360     22537   1094803    117431   3181468   9807645     11.73     12.36  --
3447.98/863.45	c  N dy  7717   1976278      3360     22537   1094803     77602   3181468   4700024     11.74     12.36  --
3477.15/870.75	c  N dy  7788   1996499      3360     22537   1094803     97327   3181465   6943039     11.73     12.56  --
3509.11/878.74	c  N dy  7870   2016579      3360     22537   1094803    116841   3181464   8752116     11.74     12.44  --
3533.46/884.86	c  N dy  7932   2036604      3360     22537   1094803     75857   3181464   4025035     11.73     21.88  --
3557.43/890.85	c  N dy  8001   2056932      3360     22537   1094803     95715   3181464   6154516     11.73     12.44  --
3586.19/898.02	c  N dy  8068   2077252      3360     22537   1094803    115575   3181464   8229271     11.73     12.36  --
3612.18/904.55	c  N dy  8157   2097374      3360     22537   1094803     73724   3181464   3891685     11.74     12.47  --
3638.14/911.06	c  N dy  8238   2117527      3360     22537   1094803     93344   3181464   6446269     11.75     12.46  --
3672.07/919.59	c  N dy  8294   2138057      3360     22537   1094803    113356   3181464   8559795     11.74     12.42  --
3704.04/927.53	c  N dy  8394   2158712      3360     22537   1094803     71137   3181464   3715558     11.75     12.50  --
3728.79/933.78	c  N dy  8452   2178793      3360     22537   1094803     90778   3181464   5845839     11.74     12.38  --
3759.55/941.40	c  N dy  8544   2199637      3360     22537   1094803    111126   3181461   8634240     11.75     12.59  --
3781.11/946.88	c  S st  8606   2210830      3360     22537   1094803    122092   3181461  10010837     11.75      9.77  --
3782.31/947.14	c  S st  8606   2211333      3360     22537   1094803    122595   3181461  10084310     11.75   no data  --
3782.31/947.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
3782.31/947.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3808.28/953.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 173.4M T: 25.90
3810.28/954.17	c bin-w-bin subsume rem            0 bins  time:  0.54 s
3815.47/955.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.30 s
3816.27/955.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.45 s
3816.67/955.71	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.44 s
4191.78/1049.65	c lits-rem:       705  cl-subs:     5294  v-elim:      0  v-fix:    0  time: 374.09 s
4191.78/1049.68	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.12
4193.36/1050.06	c vivif2 --  cl tried   117301 cl shrink        0 lits rem          0 time: 1.53
4194.96/1050.44	c asymm  cl-useful: 0/223/22537 lits-rem:0 time: 1.52
4194.96/1050.47	c calculated reachability. Time: 0.02
4194.96/1050.47	c  N dy  8606   2211333      3360     22537   1094803    117301   3181410   9877228     11.75   no data  --
4225.72/1058.19	c  N dy  8662   2231395      3360     22537   1094803     73449   3181410   3781753     11.75     16.20  --
4252.09/1064.78	c  N dy  8737   2251893      3360     22537   1094803     93426   3181410   5997818     11.74     12.43  --
4281.24/1072.07	c  N dy  8795   2271987      3360     22537   1094803    113027   3181410   7636753     11.74     12.54  --
4313.20/1080.07	c  N dy  8884   2292450      3360     22537   1094803     68602   3181409   3301409     11.74     12.37  --
4340.36/1086.80	c  N dy  8954   2312700      3360     22537   1094803     88327   3181408   5163302     11.74     12.43  --
4368.72/1093.99	c  N dy  9033   2332810      3360     22537   1094803    107932   3181408   7404190     11.74     12.39  --
4403.10/1102.52	c  N dy  9090   2353011      3360     22537   1094803    127635   3181408   9361600     11.73     12.44  --
4431.03/1109.52	c  N dy  9165   2373169      3360     22537   1094803     81977   3181408   4635166     11.73     12.35  --
4459.82/1116.74	c  N dy  9213   2394896      3360     22537   1094803    103053   3181408   6581825     11.72     12.35  --
4493.35/1125.11	c  N dy  9302   2415164      3360     22537   1094803    122836   3181408   9077286     11.72     12.40  --
4526.51/1133.44	c  N dy  9379   2435269      3360     22537   1094803     76240   3181408   4323193     11.72     12.34  --
4556.89/1141.04	c  N dy  9443   2455361      3360     22537   1094803     95814   3181408   6588716     11.72     12.44  --
4594.01/1150.38	c  N dy  9515   2475513      3360     22537   1094803    115478   3181408   8705683     11.72     12.48  --
4642.75/1162.51	c  N dy  9616   2495591      3360     22537   1094803     67767   3181408   3014220     11.73     13.95  --
4667.51/1168.75	c  N dy  9685   2515674      3360     22537   1094803     87302   3181408   4890706     11.73     13.60  --
4699.07/1176.67	c  N dy  9749   2537889      3360     22537   1094803    108923   3181408   7432275     11.73     12.38  --
4735.02/1185.62	c  N dy  9829   2557929      3360     22537   1094803    128463   3181408   9514957     11.73     20.34  --
4762.59/1192.58	c  N dy  9910   2577999      3360     22537   1094803     79824   3181407   4396202     11.73     13.80  --
4789.37/1199.28	c  N dy  9998   2598472      3360     22537   1094803     99733   3181407   6187433     11.74     12.43  --

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

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

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


[startup+0 s]
/proc/loadavg: 3.73 4.59 6.17 6/180 28218
/proc/meminfo: memFree=30391388/32951124 swapFree=67111416/67111528
[pid=28218] ppid=28216 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) R 28216 28218 27352 0 -1 4202496 417 0 0 0 0 0 0 0 21 0 4 0 529850067 52465664 357 33554432000 4194304 4650419 140733888321824 18446744073709551615 47134775084982 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28218/statm: 12809 357 306 112 0 7774 0
[pid=28218/tid=28219] ppid=28216 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 529850067 52465664 357 33554432000 4194304 4650419 140733888321824 18446744073709551615 47134775084569 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 529850067 52465664 357 33554432000 4194304 4650419 140733888321824 18446744073709551615 47134775084560 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 4 0 529850067 52465664 357 33554432000 4194304 4650419 140733888321824 18446744073709551615 47134775084569 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.073846 s]
/proc/loadavg: 3.73 4.59 6.17 6/180 28218
/proc/meminfo: memFree=30391388/32951124 swapFree=67111416/67111528
[pid=28218] ppid=28216 vsize=290908 CPUtime=0.23 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) D 28216 28218 27352 0 -1 4202496 9467 0 0 0 20 3 0 0 18 0 4 0 529850067 297889792 9279 33554432000 4194304 4650419 140733888321824 18446744073709551615 212435678241 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28218/statm: 72727 9374 343 112 0 67692 0
[pid=28218/tid=28219] ppid=28216 vsize=291044 CPUtime=0.05 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 2418 0 0 0 5 0 0 0 18 0 4 0 529850067 298029056 9507 33554432000 4194304 4650419 140733888321824 18446744073709551615 4547221 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=291044 CPUtime=0.05 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 2284 0 0 0 4 1 0 0 18 0 4 0 529850067 298029056 9519 33554432000 4194304 4650419 140733888321824 18446744073709551615 212436060343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=291044 CPUtime=0.05 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) D 28216 28218 27352 0 -1 4202560 2304 0 0 0 5 0 0 0 18 0 4 0 529850067 298029056 9577 33554432000 4194304 4650419 140733888321824 18446744073709551615 212435678241 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 290908

[startup+0.110094 s]
/proc/loadavg: 3.73 4.59 6.17 6/180 28218
/proc/meminfo: memFree=30391388/32951124 swapFree=67111416/67111528
[pid=28218] ppid=28216 vsize=295428 CPUtime=0.37 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) D 28216 28218 27352 0 -1 4202496 13670 0 0 0 31 6 0 0 18 0 4 0 529850067 302518272 13482 33554432000 4194304 4650419 140733888321824 18446744073709551615 212435678241 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28218/statm: 73857 13541 343 112 0 68822 0
[pid=28218/tid=28219] ppid=28216 vsize=295560 CPUtime=0.08 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 3548 0 0 0 8 0 0 0 18 0 4 0 529850067 302653440 13681 33554432000 4194304 4650419 140733888321824 18446744073709551615 212435677893 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=295828 CPUtime=0.09 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 3370 0 0 0 7 2 0 0 18 0 4 0 529850067 302927872 13988 33554432000 4194304 4650419 140733888321824 18446744073709551615 212436060343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=296092 CPUtime=0.09 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 3446 0 0 0 8 1 0 0 18 0 4 0 529850067 303198208 14186 33554432000 4194304 4650419 140733888321824 18446744073709551615 212436060343 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 295428

[startup+0.685698 s]
/proc/loadavg: 3.73 4.59 6.17 6/180 28218
/proc/meminfo: memFree=30391388/32951124 swapFree=67111416/67111528
[pid=28218] ppid=28216 vsize=329088 CPUtime=2.64 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) R 28216 28218 27352 0 -1 4202496 36540 0 0 0 252 12 0 0 18 0 4 0 529850067 336986112 36337 33554432000 4194304 4650419 140733888321824 18446744073709551615 4435941 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28218/statm: 82272 36345 383 112 0 77237 0
[pid=28218/tid=28219] ppid=28216 vsize=329088 CPUtime=0.65 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 9202 0 0 0 63 2 0 0 18 0 4 0 529850067 336986112 36347 33554432000 4194304 4650419 140733888321824 18446744073709551615 4436434 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=329088 CPUtime=0.65 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 9351 0 0 0 62 3 0 0 18 0 4 0 529850067 336986112 36352 33554432000 4194304 4650419 140733888321824 18446744073709551615 212436122094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=329088 CPUtime=0.66 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 7977 0 0 0 63 3 0 0 18 0 4 0 529850067 336986112 36360 33554432000 4194304 4650419 140733888321824 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 329088

[startup+0.700608 s]
/proc/loadavg: 3.73 4.59 6.17 6/180 28218
/proc/meminfo: memFree=30391388/32951124 swapFree=67111416/67111528
[pid=28218] ppid=28216 vsize=320880 CPUtime=2.7 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) R 28216 28218 27352 0 -1 4202496 36836 0 0 0 258 12 0 0 18 0 4 0 529850067 328581120 35939 33554432000 4194304 4650419 140733888321824 18446744073709551615 4436452 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28218/statm: 80220 35939 383 112 0 75185 0
[pid=28218/tid=28219] ppid=28216 vsize=320880 CPUtime=0.67 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 9202 0 0 0 65 2 0 0 18 0 4 0 529850067 328581120 35939 33554432000 4194304 4650419 140733888321824 18446744073709551615 4436457 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=320880 CPUtime=0.67 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 9351 0 0 0 64 3 0 0 18 0 4 0 529850067 328581120 35939 33554432000 4194304 4650419 140733888321824 18446744073709551615 4436145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=320880 CPUtime=0.68 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 8250 0 0 0 65 3 0 0 18 0 4 0 529850067 328581120 35939 33554432000 4194304 4650419 140733888321824 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 320880

[startup+1.50046 s]
/proc/loadavg: 3.73 4.59 6.17 9/184 28222
/proc/meminfo: memFree=30154272/32951124 swapFree=67111416/67111528
[pid=28218] ppid=28216 vsize=373428 CPUtime=5.88 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) R 28216 28218 27352 0 -1 4202496 65489 0 0 0 568 20 0 0 19 0 4 0 529850067 382390272 63181 33554432000 4194304 4650419 140733888321824 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28218/statm: 93357 63181 389 112 0 88322 0
[pid=28218/tid=28219] ppid=28216 vsize=373428 CPUtime=1.46 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 18703 0 0 0 142 4 0 0 18 0 4 0 529850067 382390272 63182 33554432000 4194304 4650419 140733888321824 18446744073709551615 4420404 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=373428 CPUtime=1.45 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 19189 0 0 0 139 6 0 0 18 0 4 0 529850067 382390272 63183 33554432000 4194304 4650419 140733888321824 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=373428 CPUtime=1.47 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 10208 0 0 0 144 3 0 0 19 0 4 0 529850067 382390272 63183 33554432000 4194304 4650419 140733888321824 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 373428

[startup+3.10115 s]
/proc/loadavg: 3.73 4.59 6.17 9/184 28222
/proc/meminfo: memFree=30091156/32951124 swapFree=67111416/67111528
[pid=28218] ppid=28216 vsize=461792 CPUtime=12.27 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) R 28216 28218 27352 0 -1 4202496 77266 0 0 0 1205 22 0 0 23 0 4 0 529850067 472875008 68657 33554432000 4194304 4650419 140733888321824 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28218/statm: 115448 68657 393 112 0 110413 0
[pid=28218/tid=28219] ppid=28216 vsize=461792 CPUtime=3.06 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 22373 0 0 0 301 5 0 0 20 0 4 0 529850067 472875008 68657 33554432000 4194304 4650419 140733888321824 18446744073709551615 4363280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=461792 CPUtime=3.06 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 20505 0 0 0 299 7 0 0 21 0 4 0 529850067 472875008 68657 33554432000 4194304 4650419 140733888321824 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=461792 CPUtime=3.07 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 13059 0 0 0 303 4 0 0 23 0 4 0 529850067 472875008 68657 33554432000 4194304 4650419 140733888321824 18446744073709551615 4363756 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 461792

[startup+6.30054 s]
/proc/loadavg: 4.07 4.64 6.18 9/184 28222
/proc/meminfo: memFree=30036156/32951124 swapFree=67111416/67111528
[pid=28218] ppid=28216 vsize=473824 CPUtime=25.06 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) R 28216 28218 27352 0 -1 4202496 94515 0 0 0 2478 28 0 0 25 0 4 0 529850067 485195776 72266 33554432000 4194304 4650419 140733888321824 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28218/statm: 118456 72266 394 112 0 113421 0
[pid=28218/tid=28219] ppid=28216 vsize=473824 CPUtime=6.26 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 26235 0 0 0 620 6 0 0 25 0 4 0 529850067 485195776 72266 33554432000 4194304 4650419 140733888321824 18446744073709551615 4363768 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=473824 CPUtime=6.23 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 23680 0 0 0 616 7 0 0 25 0 4 0 529850067 485195776 72266 33554432000 4194304 4650419 140733888321824 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=473824 CPUtime=6.27 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 19617 0 0 0 621 6 0 0 25 0 4 0 529850067 485195776 72266 33554432000 4194304 4650419 140733888321824 18446744073709551615 4345631 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 473824

[startup+12.7003 s]
/proc/loadavg: 4.39 4.70 6.19 9/184 28222
/proc/meminfo: memFree=29894468/32951124 swapFree=67111416/67111528
[pid=28218] ppid=28216 vsize=611652 CPUtime=50.62 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) R 28216 28218 27352 0 -1 4202496 130237 0 0 0 5027 35 0 0 25 0 4 0 529850067 626331648 101101 33554432000 4194304 4650419 140733888321824 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28218/statm: 152913 101101 396 112 0 147878 0
[pid=28218/tid=28219] ppid=28216 vsize=611652 CPUtime=12.66 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 36172 0 0 0 1258 8 0 0 25 0 4 0 529850067 626331648 101101 33554432000 4194304 4650419 140733888321824 18446744073709551615 4436452 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=611652 CPUtime=12.63 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 26838 0 0 0 1255 8 0 0 25 0 4 0 529850067 626331648 101101 33554432000 4194304 4650419 140733888321824 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=611652 CPUtime=12.67 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 32649 0 0 0 1258 9 0 0 25 0 4 0 529850067 626331648 101101 33554432000 4194304 4650419 140733888321824 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 611652

[startup+25.5009 s]
/proc/loadavg: 5.19 4.86 6.22 9/184 28223
/proc/meminfo: memFree=29702764/32951124 swapFree=67111416/67111528
[pid=28218] ppid=28216 vsize=693964 CPUtime=101.76 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) R 28216 28218 27352 0 -1 4202496 182805 0 0 0 10130 46 0 0 25 0 4 0 529850067 710619136 122048 33554432000 4194304 4650419 140733888321824 18446744073709551615 4367521 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28218/statm: 173491 122048 394 112 0 168456 0
[pid=28218/tid=28219] ppid=28216 vsize=693964 CPUtime=25.47 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 48863 0 0 0 2536 11 0 0 25 0 4 0 529850067 710619136 122048 33554432000 4194304 4650419 140733888321824 18446744073709551615 4436457 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=693964 CPUtime=25.43 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 39869 0 0 0 2533 10 0 0 25 0 4 0 529850067 710619136 122048 33554432000 4194304 4650419 140733888321824 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=693964 CPUtime=25.48 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 46279 0 0 0 2536 12 0 0 25 0 4 0 529850067 710619136 122048 33554432000 4194304 4650419 140733888321824 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 693964

[startup+51.101 s]
/proc/loadavg: 6.14 5.11 6.26 9/184 28224
/proc/meminfo: memFree=29484708/32951124 swapFree=67111416/67111528
[pid=28218] ppid=28216 vsize=826012 CPUtime=203.99 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) R 28216 28218 27352 0 -1 4202496 236449 0 0 0 20341 58 0 0 25 0 4 0 529850067 845836288 148209 33554432000 4194304 4650419 140733888321824 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28218/statm: 206503 148209 394 112 0 201468 0
[pid=28218/tid=28219] ppid=28216 vsize=826012 CPUtime=51.06 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 57439 0 0 0 5094 12 0 0 25 0 4 0 529850067 845836288 148209 33554432000 4194304 4650419 140733888321824 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=826012 CPUtime=51.03 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 52403 0 0 0 5089 14 0 0 25 0 4 0 529850067 845836288 148209 33554432000 4194304 4650419 140733888321824 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=826012 CPUtime=51.06 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 62371 0 0 0 5090 16 0 0 25 0 4 0 529850067 845836288 148209 33554432000 4194304 4650419 140733888321824 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.99
Current children cumulated vsize (KiB) 826012

[startup+102.3 s]
/proc/loadavg: 7.19 5.55 6.35 9/184 28225
/proc/meminfo: memFree=29279672/32951124 swapFree=67111416/67111528
[pid=28218] ppid=28216 vsize=996992 CPUtime=408.53 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) R 28216 28218 27352 0 -1 4202496 345025 0 0 0 40771 82 0 0 25 0 4 0 529850067 1020919808 187776 33554432000 4194304 4650419 140733888321824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28218/statm: 249248 187776 394 112 0 244213 0
[pid=28218/tid=28219] ppid=28216 vsize=996992 CPUtime=102.26 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 73404 0 0 0 10211 15 0 0 25 0 4 0 529850067 1020919808 187776 33554432000 4194304 4650419 140733888321824 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=996992 CPUtime=102.23 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 77532 0 0 0 10204 19 0 0 25 0 4 0 529850067 1020919808 187776 33554432000 4194304 4650419 140733888321824 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=996992 CPUtime=102.26 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 99920 0 0 0 10203 23 0 0 25 0 4 0 529850067 1020919808 187776 33554432000 4194304 4650419 140733888321824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.53
Current children cumulated vsize (KiB) 996992

[startup+162.301 s]

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

[pid=28218] ppid=28216 vsize=1473532 CPUtime=2564.79 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) R 28216 28218 27352 0 -1 4202496 1981783 0 0 0 256068 411 0 0 25 0 4 0 529850067 1508896768 295296 33554432000 4194304 4650419 140733888321824 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28218/statm: 368383 295296 394 112 0 363348 0
[pid=28218/tid=28219] ppid=28216 vsize=1473532 CPUtime=642.28 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 183028 0 0 0 64176 52 0 0 25 0 4 0 529850067 1508896768 295296 33554432000 4194304 4650419 140733888321824 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=1473532 CPUtime=642.25 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 468353 0 0 0 64115 110 0 0 25 0 4 0 529850067 1508896768 295296 33554432000 4194304 4650419 140733888321824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=1473532 CPUtime=642.25 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 582215 0 0 0 64114 111 0 0 25 0 4 0 529850067 1508896768 295296 33554432000 4194304 4650419 140733888321824 18446744073709551615 4440811 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2564.79
Current children cumulated vsize (KiB) 1473532

[startup+702.301 s]
/proc/loadavg: 8.19 7.83 7.20 9/184 28253
/proc/meminfo: memFree=28350504/32951124 swapFree=67111416/67111528
[pid=28218] ppid=28216 vsize=1620388 CPUtime=2804.47 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) R 28216 28218 27352 0 -1 4202496 2063859 0 0 0 280011 436 0 0 25 0 4 0 529850067 1659277312 309277 33554432000 4194304 4650419 140733888321824 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28218/statm: 405097 309277 394 112 0 400062 0
[pid=28218/tid=28219] ppid=28216 vsize=1620388 CPUtime=702.28 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 201046 0 0 0 70169 59 0 0 25 0 4 0 529850067 1659277312 309277 33554432000 4194304 4650419 140733888321824 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=1620388 CPUtime=702.25 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 486582 0 0 0 70109 116 0 0 25 0 4 0 529850067 1659277312 309277 33554432000 4194304 4650419 140733888321824 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=1620388 CPUtime=702.25 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 610606 0 0 0 70106 119 0 0 25 0 4 0 529850067 1659277312 309277 33554432000 4194304 4650419 140733888321824 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2804.47
Current children cumulated vsize (KiB) 1620388

[startup+762.301 s]
/proc/loadavg: 8.16 7.89 7.26 9/184 28254
/proc/meminfo: memFree=28331244/32951124 swapFree=67111416/67111528
[pid=28218] ppid=28216 vsize=1673752 CPUtime=3044.15 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) R 28216 28218 27352 0 -1 4202496 2136714 0 0 0 303954 461 0 0 25 0 4 0 529850067 1713922048 309829 33554432000 4194304 4650419 140733888321824 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28218/statm: 418438 309829 394 112 0 413403 0
[pid=28218/tid=28219] ppid=28216 vsize=1673752 CPUtime=762.28 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 224750 0 0 0 76160 68 0 0 25 0 4 0 529850067 1713922048 309829 33554432000 4194304 4650419 140733888321824 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=1673752 CPUtime=762.25 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 515633 0 0 0 76100 125 0 0 25 0 4 0 529850067 1713922048 309829 33554432000 4194304 4650419 140733888321824 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=1673752 CPUtime=762.25 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 630706 0 0 0 76100 125 0 0 25 0 4 0 529850067 1713922048 309829 33554432000 4194304 4650419 140733888321824 18446744073709551615 4511549 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3044.15
Current children cumulated vsize (KiB) 1673752

[startup+822.3 s]
/proc/loadavg: 8.14 7.93 7.31 9/184 28256
/proc/meminfo: memFree=28326004/32951124 swapFree=67111416/67111528
[pid=28218] ppid=28216 vsize=1661684 CPUtime=3283.81 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) R 28216 28218 27352 0 -1 4202496 2218033 0 0 0 327896 485 0 0 25 0 4 0 529850067 1701564416 311441 33554432000 4194304 4650419 140733888321824 18446744073709551615 4328518 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28218/statm: 415421 311441 394 112 0 410386 0
[pid=28218/tid=28219] ppid=28216 vsize=1661684 CPUtime=822.27 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 238643 0 0 0 82154 73 0 0 25 0 4 0 529850067 1701564416 311441 33554432000 4194304 4650419 140733888321824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=1661684 CPUtime=822.25 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 541433 0 0 0 82093 132 0 0 25 0 4 0 529850067 1701564416 311441 33554432000 4194304 4650419 140733888321824 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=1661684 CPUtime=822.25 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 649273 0 0 0 82094 131 0 0 25 0 4 0 529850067 1701564416 311441 33554432000 4194304 4650419 140733888321824 18446744073709551615 4481456 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3283.81
Current children cumulated vsize (KiB) 1661684

[startup+882.301 s]
/proc/loadavg: 8.13 7.97 7.36 9/184 28258
/proc/meminfo: memFree=28286404/32951124 swapFree=67111416/67111528
[pid=28218] ppid=28216 vsize=1452788 CPUtime=3523.48 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) R 28216 28218 27352 0 -1 4202496 2286065 0 0 0 351840 508 0 0 25 0 4 0 529850067 1487654912 303092 33554432000 4194304 4650419 140733888321824 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28218/statm: 363197 303092 394 112 0 358162 0
[pid=28218/tid=28219] ppid=28216 vsize=1452788 CPUtime=882.27 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 248967 0 0 0 88150 77 0 0 20 0 4 0 529850067 1487654912 303092 33554432000 4194304 4650419 140733888321824 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=1452788 CPUtime=882.25 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 563400 0 0 0 88085 140 0 0 25 0 4 0 529850067 1487654912 303092 33554432000 4194304 4650419 140733888321824 18446744073709551615 4366127 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=1452788 CPUtime=882.25 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 655719 0 0 0 88093 132 0 0 25 0 4 0 529850067 1487654912 303092 33554432000 4194304 4650419 140733888321824 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3523.48
Current children cumulated vsize (KiB) 1452788

[startup+942.3 s]
/proc/loadavg: 8.20 8.02 7.41 9/184 28259
/proc/meminfo: memFree=28301864/32951124 swapFree=67111416/67111528
[pid=28218] ppid=28216 vsize=1650060 CPUtime=3763.15 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) R 28216 28218 27352 0 -1 4202496 2386603 0 0 0 375776 539 0 0 25 0 4 0 529850067 1689661440 308167 33554432000 4194304 4650419 140733888321824 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28218/statm: 412515 308167 394 112 0 407480 0
[pid=28218/tid=28219] ppid=28216 vsize=1650060 CPUtime=942.27 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 264887 0 0 0 94145 82 0 0 25 0 4 0 529850067 1689661440 308167 33554432000 4194304 4650419 140733888321824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=1650060 CPUtime=942.25 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 593875 0 0 0 94076 149 0 0 25 0 4 0 529850067 1689661440 308167 33554432000 4194304 4650419 140733888321824 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=1650060 CPUtime=942.25 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 682192 0 0 0 94084 141 0 0 25 0 4 0 529850067 1689661440 308167 33554432000 4194304 4650419 140733888321824 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3763.15
Current children cumulated vsize (KiB) 1650060

[startup+1002.3 s]
/proc/loadavg: 8.19 8.04 7.46 9/184 28261
/proc/meminfo: memFree=28181804/32951124 swapFree=67111416/67111528
[pid=28218] ppid=28216 vsize=1732944 CPUtime=4002.84 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) R 28216 28218 27352 0 -1 4202496 2550056 0 0 0 399715 569 0 0 25 0 4 0 529850067 1774534656 328167 33554432000 4194304 4650419 140733888321824 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28218/statm: 433236 328167 394 112 0 428201 0
[pid=28218/tid=28219] ppid=28216 vsize=1732944 CPUtime=1002.27 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 285538 0 0 0 100139 88 0 0 25 0 4 0 529850067 1774534656 328167 33554432000 4194304 4650419 140733888321824 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=1732944 CPUtime=1002.26 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 603026 0 0 0 100074 152 0 0 25 0 4 0 529850067 1774534656 328167 33554432000 4194304 4650419 140733888321824 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=1732944 CPUtime=1002.26 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 705626 0 0 0 100078 148 0 0 25 0 4 0 529850067 1774534656 328167 33554432000 4194304 4650419 140733888321824 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4002.84
Current children cumulated vsize (KiB) 1732944

[startup+1062.3 s]
/proc/loadavg: 8.17 8.06 7.50 9/184 28262
/proc/meminfo: memFree=28164172/32951124 swapFree=67111416/67111528
[pid=28218] ppid=28216 vsize=1667788 CPUtime=4242.49 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) R 28216 28218 27352 0 -1 4202496 3245633 0 0 0 423587 662 0 0 25 0 4 0 529850067 1707814912 329668 33554432000 4194304 4650419 140733888321824 18446744073709551615 4328357 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28218/statm: 416947 329668 394 112 0 411912 0
[pid=28218/tid=28219] ppid=28216 vsize=1667788 CPUtime=1062.26 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 292684 0 0 0 106134 92 0 0 25 0 4 0 529850067 1707814912 329668 33554432000 4194304 4650419 140733888321824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=1667788 CPUtime=1062.26 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 838432 0 0 0 106041 185 0 0 25 0 4 0 529850067 1707814912 329668 33554432000 4194304 4650419 140733888321824 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=1667788 CPUtime=1062.25 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 722989 0 0 0 106069 156 0 0 25 0 4 0 529850067 1707814912 329668 33554432000 4194304 4650419 140733888321824 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4242.49
Current children cumulated vsize (KiB) 1667788

[startup+1122.31 s]
/proc/loadavg: 8.10 8.06 7.53 9/184 28264
/proc/meminfo: memFree=28017072/32951124 swapFree=67111416/67111528
[pid=28218] ppid=28216 vsize=1868092 CPUtime=4482.19 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) R 28216 28218 27352 0 -1 4202496 3331158 0 0 0 447532 687 0 0 25 0 4 0 529850067 1912926208 343666 33554432000 4194304 4650419 140733888321824 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28218/statm: 467023 343666 394 112 0 461988 0
[pid=28218/tid=28219] ppid=28216 vsize=1868092 CPUtime=1122.26 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 303434 0 0 0 112130 96 0 0 25 0 4 0 529850067 1912926208 343666 33554432000 4194304 4650419 140733888321824 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=1868092 CPUtime=1122.26 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 864680 0 0 0 112032 194 0 0 25 0 4 0 529850067 1912926208 343666 33554432000 4194304 4650419 140733888321824 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=1868092 CPUtime=1122.26 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 753913 0 0 0 112066 160 0 0 25 0 4 0 529850067 1912926208 343666 33554432000 4194304 4650419 140733888321824 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4482.19
Current children cumulated vsize (KiB) 1868092

[startup+1182.3 s]
/proc/loadavg: 8.15 8.08 7.57 9/184 28266
/proc/meminfo: memFree=28002028/32951124 swapFree=67111416/67111528
[pid=28218] ppid=28216 vsize=1804016 CPUtime=4721.85 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) R 28216 28218 27352 0 -1 4202496 3466242 0 0 0 471468 717 0 0 25 0 4 0 529850067 1847312384 359439 33554432000 4194304 4650419 140733888321824 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28218/statm: 451004 359439 394 112 0 445969 0
[pid=28218/tid=28219] ppid=28216 vsize=1804016 CPUtime=1182.25 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 314641 0 0 0 118123 102 0 0 25 0 4 0 529850067 1847312384 359439 33554432000 4194304 4650419 140733888321824 18446744073709551615 4328424 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=1804016 CPUtime=1182.26 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 932846 0 0 0 118022 204 0 0 25 0 4 0 529850067 1847312384 359439 33554432000 4194304 4650419 140733888321824 18446744073709551615 4476426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=1804016 CPUtime=1182.25 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 786056 0 0 0 118060 165 0 0 25 0 4 0 529850067 1847312384 359439 33554432000 4194304 4650419 140733888321824 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4721.85
Current children cumulated vsize (KiB) 1804016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.10 8.07 7.58 5/179 28267
/proc/meminfo: memFree=28943828/32951124 swapFree=67111416/67111528
[pid=28218] ppid=28216 vsize=1935332 CPUtime=4800.15 cores=0,2,4,6
/proc/28218/stat : 28218 (strangenight1-m) R 28216 28218 27352 0 -1 4202496 3494671 0 0 0 479291 724 0 0 25 0 4 0 529850067 1981779968 371884 33554432000 4194304 4650419 140733888321824 18446744073709551615 4368084 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28218/statm: 483833 371884 394 112 0 478798 0
[pid=28218/tid=28219] ppid=28216 vsize=1935332 CPUtime=1201.86 cores=0,2,4,6
/proc/28218/task/28219/stat : 28219 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 318040 0 0 0 120083 103 0 0 25 0 4 0 529850067 1981779968 371884 33554432000 4194304 4650419 140733888321824 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28218/tid=28220] ppid=28216 vsize=1935332 CPUtime=1201.87 cores=0,2,4,6
/proc/28218/task/28220/stat : 28220 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 942720 0 0 0 119981 206 0 0 25 0 4 0 529850067 1981779968 371884 33554432000 4194304 4650419 140733888321824 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=28218/tid=28221] ppid=28216 vsize=1935332 CPUtime=1201.85 cores=0,2,4,6
/proc/28218/task/28221/stat : 28221 (strangenight1-m) R 28216 28218 27352 0 -1 4202560 791202 0 0 0 120019 166 0 0 25 0 4 0 529850067 1981779968 371884 33554432000 4194304 4650419 140733888321824 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 1935332

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.98
CPU time (s): 4800.25
CPU user time (s): 4792.94
CPU system time (s): 7.31389
CPU usage (%): 399.362
Max. virtual memory (cumulated for all children) (KiB): 2000640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.94
system time used= 7.31389
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3494676
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= 12620
involuntary context switches= 23150

runsolver used 1.9457 second user time and 4.5793 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-30 18:54:37
IDJOB=3251243
IDBENCH=88217
IDSOLVER=1588
FILE ID=node102/3251243-1304182477
RUNJOBID= node102-1304182477-28195
PBS_JOBID= 13172418
Free space on /tmp= 72448 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1327.5-n60-p15-s1351253.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251243-1304182477/watcher-3251243-1304182477 -o /tmp/evaluation-result-3251243-1304182477/solver-3251243-1304182477 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3251243-1304182477.cnf

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

MD5SUM BENCH= b23c52475e3d098cb9d5a92c025d6982
RANDOM SEED=1965173884

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30391676 kB
Buffers:        636132 kB
Cached:        1399196 kB
SwapCached:          0 kB
Active:         269580 kB
Inactive:      1872956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30391676 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:           28360 kB
Writeback:           0 kB
AnonPages:      106528 kB
Mapped:          15268 kB
Slab:           353004 kB
PageTables:       5116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   305896 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= 72448 MiB
End job on node102 at 2011-04-30 19:14:41