Trace number 3369112

Some explanations

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

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

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

Solver answer on this benchmark

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

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369112-1305434159.cnf'
0.00/0.01	c -- header says num vars:           3420
0.00/0.01	c -- header says num clauses:     1120760
0.41/0.23	c -- clauses added:            0 learnts,      1120760 normals,            0 xors
0.41/0.23	c -- vars added       3420
0.41/0.23	c Parsing time:  0.73 s
0.41/0.23	c  N st     0         0      3420        60   1120700         0   2244820         0   no data   no data  --
0.41/0.23	c asymm  cl-useful: 0/60/60 lits-rem:0 time: 0.00
0.84/0.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.0M T:  0.66
0.84/0.64	c bin-w-bin subsume rem            0 bins  time:  0.95 s
0.84/0.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.76 s
3.54/0.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3420 time:  0.48 s
3.94/1.07	c Removed useless bin:       0  fixed:     0  props:   5.62M  time:  0.44 s
6.72/1.76	c lits-rem:        24  cl-subs:        0  v-elim:     60  v-fix:    0  time:  2.70 s
6.72/1.78	c Finding binary XORs  T:     0.08 s  found:       0
7.13/1.86	c Finding non-binary XORs:     0.19 s (found:       0, avg size: nan)
7.13/1.86	c calculated reachability. Time: 0.02
7.13/1.86	c Calc default polars -  time:   0.04 s pos:       0 undec:      60 neg:    3360
7.13/1.86	c =========================================================================================
7.13/1.86	c types(t): F = full restart, N = normal restart
7.13/1.86	c types(t): S = simplification begin/end, E = solution found
7.13/1.86	c restart types(rt): st = static, dy = dynamic
7.13/1.86	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
7.13/1.86	c  B st     0         0      3360     22537   1094803         0   3554337         0   no data   no data  --
10.77/2.72	c  N dy    15      4111      3360     22537   1094803      3994   3554325    741172     11.08     11.77  --
13.51/3.43	c  N dy    27      8190      3360     22537   1094803      5572   3554325    517141     10.26     12.74  --
16.70/4.27	c  N dy    41     12420      3360     22537   1094803      5580   3554325    437088     10.05     10.59  --
19.89/5.04	c  N dy    59     16550      3360     22537   1094803      9613   3554325    725416      9.97     10.51  --
23.08/5.83	c  N dy    79     20584      3360     22537   1094803      8065   3554325    518606     10.00     10.83  --
26.27/6.68	c  F st    97     25000      3360     22537   1094803     12387   3554320    868829      9.89      9.97  --
27.07/6.83	c  N st    97     25000      3360     22537   1094803     12387   3554320    868829      9.89      9.97  --
31.06/7.80	c  N dy   103     30000      3360     22537   1094803     10588   3554320    759288      9.89   no data  --
31.06/7.80	c  S st   103     30000      3360     22537   1094803     10588   3554320    759288      9.89   no data  --
31.46/7.91	c  S st   103     30506      3360     22537   1094803     11089   3554320    801050      9.89   no data  --
31.46/7.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
31.46/7.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
42.62/10.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 90.2M T: 11.31
43.41/10.99	c bin-w-bin subsume rem            0 bins  time:  0.54 s
49.00/12.31	c subs with bin:        0  lits-rem:      3673  v-fix:    0  time:  5.26 s
49.41/12.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.47 s
49.83/12.55	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.47 s
54.98/13.81	c lits-rem:      4255  cl-subs:      765  v-elim:      0  v-fix:    0  time:  5.00 s
56.18/14.10	c asymm  cl-useful: 103/865/22537 lits-rem:161 time: 1.14
56.18/14.12	c calculated reachability. Time: 0.02
56.18/14.12	c  N dy   103     30506      3360     22537   1094803     10324   3537432    764009      9.89   no data  --
59.37/14.90	c  N dy   132     34544      3360     22537   1094803     14279   3537428   1312513     10.28     15.68  --
62.99/15.81	c  N dy   155     39231      3360     22537   1094803     11143   3537423    902531     10.42     11.04  --
66.15/16.64	c  N dy   177     43286      3360     22537   1094803     15104   3537422   1327348     10.43     11.12  --
68.14/17.16	c  S st   189     45759      3360     22537   1094803     17521   3537422   1627382     10.43   no data  --
68.54/17.29	c  S st   189     46260      3360     22537   1094803      9260   3537422    619821     10.43   no data  --
68.94/17.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
68.94/17.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
78.51/19.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 87.7M T:  9.65
79.31/19.92	c bin-w-bin subsume rem            0 bins  time:  0.54 s
84.50/21.21	c subs with bin:        0  lits-rem:      4188  v-fix:    0  time:  5.14 s
84.93/21.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.50 s
85.34/21.45	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.44 s
90.48/22.74	c lits-rem:      2714  cl-subs:      254  v-elim:      0  v-fix:    0  time:  5.17 s
90.88/22.84	c vivif2 --  cl tried    22537 cl shrink    19747 lits rem     344366 time: 0.39
90.88/22.87	c vivif2 --  cl tried     9006 cl shrink        0 lits rem          0 time: 0.10
92.07/23.13	c asymm  cl-useful: 31/740/22537 lits-rem:35 time: 1.02
92.07/23.15	c calculated reachability. Time: 0.02
92.07/23.15	c  N dy   189     46260      3360     22537   1094803      9006   3182760    607490     10.43   no data  --
95.26/23.94	c  N dy   217     50274      3360     22537   1094803     12929   3182760   1221880     10.60     11.17  --
99.25/24.97	c  N dy   241     55144      3360     22537   1094803     17695   3182757   2004935     10.69     11.29  --
102.89/25.81	c  N dy   263     59368      3360     22537   1094803     12069   3182756   1149500     10.75     11.36  --
106.44/26.70	c  N dy   289     63399      3360     22537   1094803     16027   3182756   1852081     10.93     11.62  --
112.01/28.13	c  N dy   312     68492      3360     22537   1094803     20991   3182754   2648161     11.08     12.02  --
113.21/28.41	c  S st   320     69391      3360     22537   1094803     11130   3182754    783397     11.10     10.67  --
113.61/28.51	c  S st   320     69891      3360     22537   1094803     11626   3182754    843600     11.10   no data  --
113.61/28.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
113.61/28.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
124.41/31.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 90.4M T: 10.99
125.17/31.47	c bin-w-bin subsume rem            0 bins  time:  0.54 s
130.35/32.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.11 s
130.75/32.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.45 s
131.15/32.98	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.44 s
135.15/33.93	c lits-rem:      1315  cl-subs:       46  v-elim:      0  v-fix:    0  time:  3.79 s
135.15/33.96	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.12
135.55/34.00	c vivif2 --  cl tried    11580 cl shrink        0 lits rem          0 time: 0.14
136.35/34.29	c asymm  cl-useful: 1/564/22537 lits-rem:1 time: 1.16
136.75/34.31	c calculated reachability. Time: 0.02
136.75/34.31	c  N dy   320     69891      3360     22537   1094803     11580   3181786    838878     11.10   no data  --
140.73/35.36	c  N dy   345     74901      3360     22537   1094803     16489   3181786   1701225     11.20     11.87  --
145.52/36.57	c  N dy   371     79885      3360     22537   1094803     21385   3181785   2559310     11.25     11.97  --
150.73/37.89	c  N dy   398     85392      3360     22537   1094803     15029   3181785   1337916     11.22     11.96  --
152.69/38.38	c  F st   405     87501      3360     22537   1094803     17107   3181785   1637671     11.20   no data  --
159.08/39.99	c  N dy   411     92696      3360     22537   1094803     22205   3181785   2376460     11.20   no data  --
164.66/41.33	c  N dy   440     98725      3360     22537   1094803     15365   3181785   1260117     11.24     12.13  --
169.84/42.65	c  S st   461    104836      3360     22537   1094803     21355   3181785   2081732     11.20      9.27  --
170.24/42.76	c  S st   461    105339      3360     22537   1094803     21857   3181785   2137990     11.20   no data  --
170.24/42.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
170.24/42.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
182.60/45.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 99.3M T: 12.18
183.40/46.08	c bin-w-bin subsume rem            0 bins  time:  0.54 s
189.39/47.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.66 s
189.79/47.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.46 s
190.22/47.74	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.47 s
197.37/49.59	c lits-rem:       266  cl-subs:      209  v-elim:      0  v-fix:    0  time:  7.41 s
197.77/49.62	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.12
197.77/49.69	c vivif2 --  cl tried    21648 cl shrink        0 lits rem          0 time: 0.26
199.00/50.00	c asymm  cl-useful: 0/630/22537 lits-rem:0 time: 1.21
199.41/50.02	c calculated reachability. Time: 0.02
199.41/50.02	c  N dy   461    105339      3360     22537   1094803     21648   3181780   2107988     11.20   no data  --
206.14/51.77	c  N dy   502    112585      3360     22537   1094803     15025   3181780   1150604     11.29     11.88  --
213.31/53.53	c  N dy   525    120051      3360     22537   1094803     22296   3181779   2098129     11.26     11.99  --
222.08/55.76	c  N dy   556    128150      3360     22537   1094803     15545   3181779   1068513     11.24     11.85  --
229.71/57.66	c  N dy   583    136530      3360     22537   1094803     23795   3181779   2140100     11.18     11.77  --
238.48/59.89	c  N dy   606    146231      3360     22537   1094803     17589   3181779   1232013     11.13     11.76  --
247.25/62.03	c  N dy   662    155570      3360     22537   1094803     26705   3181778   2587698     11.19     11.82  --
249.61/62.62	c  S st   677    158008      3360     22537   1094803     29080   3181778   3054427     11.23   no data  --
250.01/62.77	c  S st   677    158511      3360     22537   1094803     29578   3181778   3123016     11.23   no data  --
250.01/62.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
250.01/62.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
264.37/66.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 115.0M T: 14.22
265.56/66.64	c bin-w-bin subsume rem            0 bins  time:  0.54 s
271.15/68.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.71 s
271.55/68.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.46 s
271.95/68.29	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.44 s
284.31/71.31	c lits-rem:       728  cl-subs:      779  v-elim:      0  v-fix:    0  time: 12.01 s
284.31/71.34	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.12
284.71/71.42	c vivif2 --  cl tried    28799 cl shrink        0 lits rem          0 time: 0.35
285.91/71.72	c asymm  cl-useful: 0/423/22537 lits-rem:0 time: 1.19
285.91/71.75	c calculated reachability. Time: 0.02
285.91/71.75	c  N dy   677    158511      3360     22537   1094803     28799   3181741   3072655     11.23   no data  --
296.27/74.37	c  N dy   724    168678      3360     22537   1094803     22164   3181740   1988354     11.26     17.11  --
309.43/77.63	c  N dy   773    180469      3360     22537   1094803     33669   3181740   3321083     11.27     11.87  --
322.25/80.89	c  N dy   826    192503      3360     22537   1094803     27859   3181740   2913267     11.31     12.04  --
337.35/84.62	c  N dy   871    204803      3360     22537   1094803     21319   3181740   1743229     11.30     15.28  --
352.54/88.45	c  N dy   946    218729      3360     22537   1094803     34932   3181739   3763526     11.44     12.61  --
365.70/91.80	c  N dy  1003    232757      3360     22537   1094803     29066   3181736   2642956     11.45     14.45  --
370.85/93.03	c  S st  1024    237766      3360     22537   1094803     33991   3181736   3265322     11.44     11.26  --
371.25/93.18	c  S st  1024    238268      3360     22537   1094803     34492   3181736   3318156     11.44   no data  --
371.65/93.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
371.65/93.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
385.21/96.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 111.7M T: 13.84
386.41/96.95	c bin-w-bin subsume rem            0 bins  time:  0.54 s
392.03/98.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.72 s
392.79/98.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.46 s
393.19/98.61	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.44 s
407.55/102.27	c lits-rem:      1027  cl-subs:     1010  v-elim:      0  v-fix:    0  time: 14.58 s
407.95/102.30	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.12
408.35/102.40	c vivif2 --  cl tried    33482 cl shrink        0 lits rem          0 time: 0.41
409.15/102.69	c asymm  cl-useful: 0/522/22537 lits-rem:0 time: 1.18
409.58/102.73	c calculated reachability. Time: 0.02
409.58/102.73	c  N dy  1024    238268      3360     22537   1094803     33482   3181652   3261687     11.44   no data  --
425.89/106.82	c  N dy  1103    253570      3360     22537   1094803     27848   3181652   2538517     11.53     12.29  --
445.82/111.82	c  N dy  1164    270342      3360     22537   1094803     22725   3181652   1677197     11.53     12.23  --
462.62/116.09	c  N dy  1218    287625      3360     22537   1094803     39624   3181652   3500349     11.51     16.34  --
482.52/121.07	c  N dy  1295    306092      3360     22537   1094803     35217   3181652   3694271     11.52     12.30  --
482.92/121.11	c  F st  1296    306252      3360     22537   1094803     35374   3181652   3717448     11.52     10.73  --
507.65/127.39	c  N dy  1370    325654      3360     22537   1094803     30943   3181652   2890818     11.54     15.14  --
530.78/133.13	c  N dy  1454    345792      3360     22537   1094803     26168   3181652   2052621     11.54     12.17  --
542.74/136.14	c  S st  1489    357404      3360     22537   1094803     37528   3181652   3225881     11.51     11.22  --
543.14/136.26	c  S st  1489    357906      3360     22537   1094803     38024   3181652   3277497     11.51   no data  --
543.14/136.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
543.14/136.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
557.51/139.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 113.2M T: 14.09
558.31/140.09	c bin-w-bin subsume rem            0 bins  time:  0.54 s
564.28/141.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.66 s
564.68/141.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.46 s
565.08/141.73	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.44 s
578.64/145.18	c lits-rem:       158  cl-subs:      975  v-elim:      0  v-fix:    0  time: 13.74 s
579.04/145.21	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.12
579.44/145.32	c vivif2 --  cl tried    37049 cl shrink        0 lits rem          0 time: 0.46
580.24/145.60	c asymm  cl-useful: 0/766/22537 lits-rem:0 time: 1.09
580.66/145.64	c calculated reachability. Time: 0.02
580.66/145.64	c  N dy  1489    357906      3360     22537   1094803     37049   3181594   3233173     11.51   no data  --
602.60/151.13	c  N dy  1558    378128      3360     22537   1094803     31403   3181594   2726638     11.49     12.51  --
625.69/156.98	c  N dy  1637    398574      3360     22537   1094803     51384   3181591   5549275     11.51     12.25  --
648.42/162.61	c  N dy  1735    418645      3360     22537   1094803     44584   3181589   4407336     11.54     12.20  --
673.55/168.91	c  N dy  1814    438678      3360     22537   1094803     36825   3181589   3527369     11.53     12.99  --
699.53/175.41	c  N dy  1901    458762      3360     22537   1094803     56401   3181589   5939461     11.55     12.19  --
722.21/181.15	c  N dy  1965    478876      3360     22537   1094803     47760   3181589   4566210     11.52     12.15  --
744.95/186.87	c  N dy  2008    498878      3360     22537   1094803     37980   3181589   3117394     11.50     12.19  --
772.06/193.65	c  N dy  2092    519153      3360     22537   1094803     57724   3181588   5714102     11.52     12.27  --
794.00/199.14	c  S st  2180    536861      3360     22537   1094803     44833   3181588   4048700     11.55   no data  --
794.80/199.30	c  S st  2180    537366      3360     22537   1094803     45337   3181588   4098716     11.55   no data  --
794.80/199.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
794.80/199.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
811.15/203.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 125.0M T: 16.35
812.35/203.72	c bin-w-bin subsume rem            0 bins  time:  0.54 s
817.57/205.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.17 s
817.98/205.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.46 s
818.33/205.25	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.43 s
866.58/217.34	c lits-rem:       405  cl-subs:      789  v-elim:      0  v-fix:    0  time: 48.20 s
866.58/217.37	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.12
867.38/217.50	c vivif2 --  cl tried    44548 cl shrink        0 lits rem          0 time: 0.52
868.58/217.82	c asymm  cl-useful: 0/389/22537 lits-rem:0 time: 1.26
868.58/217.85	c calculated reachability. Time: 0.02
868.58/217.85	c  N dy  2180    537366      3360     22537   1094803     44548   3181557   4048979     11.55   no data  --
895.31/224.56	c  N dy  2268    557503      3360     22537   1094803     32935   3181556   2212977     11.56     12.51  --
918.47/230.39	c  N dy  2361    577582      3360     22537   1094803     52530   3181555   4620801     11.58     17.74  --
945.55/237.15	c  N dy  2441    597906      3360     22537   1094803     40104   3181555   3113608     11.59     12.20  --
971.11/243.51	c  N dy  2515    617932      3360     22537   1094803     59562   3181555   5703276     11.59     12.31  --
997.85/250.29	c  N dy  2596    637989      3360     22537   1094803     46033   3181553   3522017     11.58     18.60  --
1024.93/257.09	c  N dy  2670    658132      3360     22537   1094803     65699   3181553   5890638     11.57     12.21  --
1049.26/263.12	c  N dy  2731    678392      3360     22537   1094803     51335   3181552   4027880     11.55     12.23  --
1075.18/269.64	c  N dy  2830    698692      3360     22537   1094803     35976   3181551   2104145     11.59     12.31  --
1100.30/275.95	c  N dy  2944    718804      3360     22537   1094803     55690   3181548   5163133     11.63     12.44  --
1129.46/283.29	c  N dy  3029    738894      3360     22537   1094803     39178   3181547   2472464     11.64     19.28  --
1153.75/289.38	c  N dy  3095    758896      3360     22537   1094803     58803   3181546   5234352     11.63     12.48  --
1180.06/295.98	c  N dy  3180    779047      3360     22537   1094803     41296   3181546   2616611     11.64     12.51  --
1203.63/301.86	c  N dy  3260    799420      3360     22537   1094803     61192   3181546   4863988     11.63     12.39  --
1212.40/304.07	c  S st  3290    806049      3360     22537   1094803     67633   3181546   5591920     11.63   no data  --
1213.16/304.23	c  S st  3290    806552      3360     22537   1094803     68135   3181546   5658201     11.63   no data  --
1213.16/304.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
1213.16/304.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1231.11/308.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 134.4M T: 18.02
1232.71/309.13	c bin-w-bin subsume rem            0 bins  time:  0.54 s
1238.72/310.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.22 s
1239.48/310.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.46 s
1239.88/310.92	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.44 s
1323.24/331.88	c lits-rem:       628  cl-subs:     2332  v-elim:      0  v-fix:    0  time: 83.46 s
1323.64/331.91	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.12
1324.44/332.11	c vivif2 --  cl tried    65803 cl shrink        0 lits rem          0 time: 0.81
1325.64/332.45	c asymm  cl-useful: 0/298/22537 lits-rem:0 time: 1.38
1325.64/332.48	c calculated reachability. Time: 0.02
1325.64/332.48	c  N dy  3290    806552      3360     22537   1094803     65803   3181500   5554955     11.63   no data  --
1353.20/339.36	c  N dy  3356    826810      3360     22537   1094803     47482   3181499   3137195     11.62     12.32  --
1379.11/345.90	c  N dy  3436    846847      3360     22537   1094803     67052   3181499   5478954     11.63     17.87  --
1407.39/352.93	c  N dy  3507    866926      3360     22537   1094803     47627   3181499   2992655     11.63     13.58  --
1436.14/360.12	c  N dy  3559    887152      3360     22537   1094803     67191   3181499   4436340     11.61     12.41  --
1462.03/366.62	c  N dy  3620    907531      3360     22537   1094803     47068   3181498   2862153     11.59     12.23  --
1487.56/373.00	c  N dy  3695    927537      3360     22537   1094803     66622   3181495   5430755     11.59     12.28  --
1515.52/380.05	c  N dy  3739    947660      3360     22537   1094803     45266   3181495   2509396     11.56     12.25  --
1540.21/386.21	c  N dy  3795    967692      3360     22537   1094803     64842   3181495   4690476     11.54     12.50  --
1567.76/393.15	c  N dy  3874    987724      3360     22537   1094803     42461   3181495   2193337     11.55     36.51  --
1591.65/399.11	c  N dy  3967   1007845      3360     22537   1094803     62115   3181494   4679354     11.57     12.29  --
1618.38/405.89	c  N dy  4025   1027889      3360     22537   1094803     81714   3181494   6805129     11.56     12.23  --
1642.33/411.89	c  N dy  4113   1047894      3360     22537   1094803     58402   3181494   4220630     11.57     14.57  --
1671.01/419.02	c  N dy  4193   1067948      3360     22537   1094803     78011   3181493   6567739     11.57     12.27  --
1677.43/420.70	c  F st  4216   1071876      3360     22537   1094803     81893   3181493   7171620     11.58   no data  --
1700.53/426.47	c  N dy  4269   1088508      3360     22537   1094803     54092   3181493   3136388     11.58     13.08  --
1724.07/432.30	c  N dy  4349   1108548      3360     22537   1094803     73561   3181492   5191877     11.58     13.87  --
1752.78/439.55	c  N dy  4448   1129242      3360     22537   1094803     48876   3181492   2533110     11.60     12.29  --
1773.95/444.85	c  N dy  4526   1149250      3360     22537   1094803     68375   3181492   4627919     11.61     30.10  --
1802.63/452.09	c  N dy  4640   1169968      3360     22537   1094803     88615   3181492   7235866     11.63     12.34  --
1826.16/457.95	c  N dy  4720   1190023      3360     22537   1094803     62334   3181490   4184508     11.64     19.80  --
1852.49/464.52	c  S st  4812   1209828      3360     22537   1094803     81721   3181490   6584230     11.65     10.40  --
1853.33/464.73	c  S st  4812   1210328      3360     22537   1094803     82219   3181490   6640490     11.65   no data  --
1853.33/464.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
1853.33/464.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1874.02/469.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 146.4M T: 20.65
1875.62/470.33	c bin-w-bin subsume rem            0 bins  time:  0.54 s
1881.60/471.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.90 s
1882.00/471.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.46 s
1882.40/472.03	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.44 s
2022.39/507.13	c lits-rem:       877  cl-subs:     2860  v-elim:      0  v-fix:    0  time: 139.53 s
2022.39/507.16	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.12
2023.58/507.42	c vivif2 --  cl tried    79359 cl shrink        0 lits rem          0 time: 1.03
2025.18/507.83	c asymm  cl-useful: 0/294/22537 lits-rem:0 time: 1.61
2025.18/507.86	c calculated reachability. Time: 0.02
2025.18/507.86	c  N dy  4812   1210328      3360     22537   1094803     79359   3181485   6522039     11.65   no data  --
2059.12/516.40	c  N dy  4873   1230391      3360     22537   1094803     52123   3181483   3028847     11.64     15.95  --
2086.20/523.19	c  N dy  4949   1250479      3360     22537   1094803     71748   3181482   5879007     11.65     12.27  --
2123.29/532.46	c  N dy  5032   1270689      3360     22537   1094803     91515   3181482   8198626     11.65     12.30  --
2148.41/538.70	c  N dy  5095   1290745      3360     22537   1094803     63225   3181482   3930806     11.65     19.12  --
2173.18/544.94	c  N dy  5160   1310822      3360     22537   1094803     82814   3181481   6074982     11.64     12.50  --
2201.06/551.99	c  N dy  5247   1330961      3360     22537   1094803     53583   3181481   2780584     11.66     12.28  --
2223.00/557.48	c  N dy  5336   1350984      3360     22537   1094803     73167   3181481   5128795     11.67     12.71  --
2251.72/564.63	c  N dy  5416   1371026      3360     22537   1094803     92783   3181481   7722697     11.67     13.05  --
2280.83/571.90	c  N dy  5493   1392028      3360     22537   1094803     63497   3181481   3870913     11.67     12.42  --
2306.75/578.48	c  N dy  5572   1412069      3360     22537   1094803     82920   3181481   5839793     11.66     19.44  --
2336.27/585.87	c  N dy  5640   1432400      3360     22537   1094803     52035   3181477   2603434     11.66     12.42  --
2359.80/591.74	c  N dy  5729   1452469      3360     22537   1094803     71673   3181477   4856786     11.67     12.34  --
2391.71/599.77	c  N dy  5813   1472600      3360     22537   1094803     91159   3181474   6571094     11.67     12.32  --
2424.00/607.87	c  N dy  5885   1493352      3360     22537   1094803     59699   3181474   3287586     11.67     12.33  --
2449.57/614.24	c  N dy  5944   1513693      3360     22537   1094803     79506   3181474   5425857     11.66     12.31  --
2479.86/621.85	c  N dy  6017   1533807      3360     22537   1094803     99083   3181472   7541977     11.67     12.40  --
2506.60/628.61	c  N dy  6080   1554095      3360     22537   1094803     66296   3181472   3806470     11.66     12.29  --
2532.10/634.95	c  N dy  6145   1574196      3360     22537   1094803     85787   3181472   5537304     11.66     12.36  --
2564.05/642.91	c  N dy  6234   1594273      3360     22537   1094803    105316   3181472   7838306     11.67     15.11  --
2588.33/649.05	c  N dy  6319   1614281      3360     22537   1094803     71307   3181472   4363879     11.67     18.78  --
2617.04/656.28	c  N dy  6411   1634663      3360     22537   1094803     91183   3181470   7016166     11.69     12.32  --
2657.32/666.35	c  N dy  6491   1656327      3360     22537   1094803     57747   3181470   2874723     11.69     12.38  --
2682.84/672.78	c  N dy  6575   1677130      3360     22537   1094803     78067   3181470   5630622     11.70     12.39  --
2714.35/680.68	c  N dy  6638   1697496      3360     22537   1094803     97925   3181470   7903345     11.69     12.52  --
2736.30/686.17	c  S st  6686   1710328      3360     22537   1094803    110349   3181470   9000419     11.69      9.26  --
2737.09/686.39	c  S st  6686   1710830      3360     22537   1094803    110851   3181470   9055594     11.69   no data  --
2737.49/686.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
2737.49/686.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2761.05/692.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 161.7M T: 23.45
2762.61/692.78	c bin-w-bin subsume rem            0 bins  time:  0.54 s
2769.00/694.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.12 s
2769.40/694.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.46 s
2769.82/694.55	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.48 s
3070.91/770.05	c lits-rem:       504  cl-subs:     4741  v-elim:      0  v-fix:    0  time: 300.79 s
3070.91/770.08	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.12
3072.54/770.43	c vivif2 --  cl tried   106110 cl shrink        0 lits rem          0 time: 1.40
3073.70/770.79	c asymm  cl-useful: 0/256/22537 lits-rem:0 time: 1.42
3074.10/770.82	c calculated reachability. Time: 0.02
3074.10/770.82	c  N dy  6686   1710830      3360     22537   1094803    106110   3181469   8864955     11.69   no data  --
3098.86/777.10	c  N dy  6770   1730924      3360     22537   1094803     70274   3181469   4140637     11.69     12.49  --
3127.54/784.26	c  N dy  6852   1753489      3360     22537   1094803     92285   3181469   6515663     11.70     12.37  --
3158.26/791.92	c  N dy  6920   1774538      3360     22537   1094803    112670   3181469   8344971     11.69     12.33  --
3182.63/798.03	c  N dy  7001   1794617      3360     22537   1094803     75804   3181469   5037833     11.70     12.32  --
3212.92/805.64	c  N dy  7052   1814783      3360     22537   1094803     95518   3181468   7024391     11.69     12.33  --
3251.58/815.34	c  N dy  7145   1834899      3360     22537   1094803     57665   3181468   2647932     11.70     12.46  --
3273.52/820.80	c  N dy  7220   1854910      3360     22537   1094803     77155   3181468   4710165     11.70     14.05  --
3303.03/828.20	c  N dy  7312   1874965      3360     22537   1094803     96743   3181468   7066975     11.71     12.35  --
3340.15/837.59	c  N dy  7396   1895148      3360     22537   1094803    116503   3181468   9351281     11.71     12.66  --
3364.85/843.73	c  N dy  7461   1915276      3360     22537   1094803     77606   3181468   5045869     11.71     12.34  --
3397.19/851.90	c  N dy  7547   1935395      3360     22537   1094803     97237   3181468   7515701     11.72     12.38  --
3439.43/862.43	c  N dy  7633   1956092      3360     22537   1094803    117431   3181468   9807645     11.73     12.36  --
3465.75/869.04	c  N dy  7717   1976278      3360     22537   1094803     77602   3181468   4700024     11.74     12.36  --
3493.27/875.90	c  N dy  7788   1996499      3360     22537   1094803     97327   3181465   6943039     11.73     12.56  --
3523.98/883.69	c  N dy  7870   2016579      3360     22537   1094803    116841   3181464   8752116     11.74     12.44  --
3548.70/889.82	c  N dy  7932   2036604      3360     22537   1094803     75857   3181464   4025035     11.73     21.88  --
3572.67/895.87	c  N dy  8001   2056932      3360     22537   1094803     95715   3181464   6154516     11.73     12.44  --
3601.75/903.13	c  N dy  8068   2077252      3360     22537   1094803    115575   3181464   8229271     11.73     12.36  --
3627.68/909.65	c  N dy  8157   2097374      3360     22537   1094803     73724   3181464   3891685     11.74     12.47  --
3653.59/916.15	c  N dy  8238   2117527      3360     22537   1094803     93344   3181464   6446269     11.75     12.46  --
3688.30/924.86	c  N dy  8294   2138057      3360     22537   1094803    113356   3181464   8559795     11.74     12.42  --
3719.80/932.76	c  N dy  8394   2158712      3360     22537   1094803     71137   3181464   3715558     11.75     12.50  --
3744.93/939.07	c  N dy  8452   2178793      3360     22537   1094803     90778   3181464   5845839     11.74     12.38  --
3775.63/946.79	c  N dy  8544   2199637      3360     22537   1094803    111126   3181461   8634240     11.75     12.59  --
3798.37/952.40	c  S st  8606   2210830      3360     22537   1094803    122092   3181461  10010837     11.75      9.77  --
3799.17/952.67	c  S st  8606   2211333      3360     22537   1094803    122595   3181461  10084310     11.75   no data  --
3799.57/952.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
3799.57/952.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3827.87/959.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 173.4M T: 28.32
3829.88/960.31	c bin-w-bin subsume rem            0 bins  time:  0.54 s
3835.46/961.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.65 s
3835.89/961.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.50 s
3836.31/961.97	c Removed useless bin:       0  fixed:     0  props:   5.49M  time:  0.44 s
4209.56/1055.59	c lits-rem:       705  cl-subs:     5294  v-elim:      0  v-fix:    0  time: 372.08 s
4209.96/1055.62	c vivif2 --  cl tried    22537 cl shrink        0 lits rem          0 time: 0.12
4211.56/1056.00	c vivif2 --  cl tried   117301 cl shrink        0 lits rem          0 time: 1.49
4212.75/1056.38	c asymm  cl-useful: 0/223/22537 lits-rem:0 time: 1.51
4212.75/1056.41	c calculated reachability. Time: 0.02
4212.75/1056.41	c  N dy  8606   2211333      3360     22537   1094803    117301   3181410   9877228     11.75   no data  --
4243.89/1064.19	c  N dy  8662   2231395      3360     22537   1094803     73449   3181410   3781753     11.75     16.20  --
4270.98/1070.98	c  N dy  8737   2251893      3360     22537   1094803     93426   3181410   5997818     11.74     12.43  --
4301.34/1078.58	c  N dy  8795   2271987      3360     22537   1094803    113027   3181410   7636753     11.74     12.54  --
4334.80/1086.98	c  N dy  8884   2292450      3360     22537   1094803     68602   3181409   3301409     11.74     12.37  --
4360.72/1093.49	c  N dy  8954   2312700      3360     22537   1094803     88327   3181408   5163302     11.74     12.43  --
4389.08/1100.56	c  N dy  9033   2332810      3360     22537   1094803    107932   3181408   7404190     11.74     12.39  --
4422.94/1109.00	c  N dy  9090   2353011      3360     22537   1094803    127635   3181408   9361600     11.73     12.44  --
4450.09/1115.87	c  N dy  9165   2373169      3360     22537   1094803     81977   3181408   4635166     11.73     12.35  --
4478.77/1123.09	c  N dy  9213   2394896      3360     22537   1094803    103053   3181408   6581825     11.72     12.35  --
4512.67/1131.52	c  N dy  9302   2415164      3360     22537   1094803    122836   3181408   9077286     11.72     12.40  --
4546.61/1140.10	c  N dy  9379   2435269      3360     22537   1094803     76240   3181408   4323193     11.72     12.34  --
4578.88/1148.12	c  N dy  9443   2455361      3360     22537   1094803     95814   3181408   6588716     11.72     12.44  --
4617.56/1157.85	c  N dy  9515   2475513      3360     22537   1094803    115478   3181408   8705683     11.72     12.48  --
4664.63/1169.67	c  N dy  9616   2495591      3360     22537   1094803     67767   3181408   3014220     11.73     13.95  --
4686.17/1175.07	c  N dy  9685   2515674      3360     22537   1094803     87302   3181408   4890706     11.73     13.60  --
4714.07/1182.05	c  N dy  9749   2537889      3360     22537   1094803    108923   3181408   7432275     11.73     12.38  --
4747.19/1190.38	c  N dy  9829   2557929      3360     22537   1094803    128463   3181408   9514957     11.73     20.34  --
4774.74/1197.30	c  N dy  9910   2577999      3360     22537   1094803     79824   3181407   4396202     11.73     13.80  --

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369112-1305434159/watcher-3369112-1305434159 -o /tmp/evaluation-result-3369112-1305434159/solver-3369112-1305434159 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369112-1305434159.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: 7.39 7.94 7.96 6/367 12051
/proc/meminfo: memFree=25494436/32951124 swapFree=63083164/67111528
[pid=12051] ppid=12049 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) R 12049 12051 10794 0 -1 4202496 413 0 0 0 1 0 0 0 21 0 4 0 635831552 52465664 353 33554432000 4194304 4650419 140735832944752 18446744073709551615 46917982250924 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12051/statm: 12809 353 303 112 0 7774 0
[pid=12051/tid=12052] ppid=12049 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 635831553 52465664 353 33554432000 4194304 4650419 140735832944752 18446744073709551615 264726461425 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 635831553 52465664 353 33554432000 4194304 4650419 140735832944752 18446744073709551615 46917982250928 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 635831553 52465664 353 33554432000 4194304 4650419 140735832944752 18446744073709551615 46917982250930 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.051034 s]
/proc/loadavg: 7.39 7.94 7.96 6/367 12051
/proc/meminfo: memFree=25494436/32951124 swapFree=63083164/67111528
[pid=12051] ppid=12049 vsize=287432 CPUtime=0.17 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) D 12049 12051 10794 0 -1 4202496 6416 0 0 0 16 1 0 0 18 0 4 0 635831552 294330368 6196 33554432000 4194304 4650419 140735832944752 18446744073709551615 264726448311 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12051/statm: 72089 6880 343 112 0 67054 0
[pid=12051/tid=12052] ppid=12049 vsize=288356 CPUtime=0.03 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 1627 0 0 0 3 0 0 0 18 0 4 0 635831553 295276544 6922 33554432000 4194304 4650419 140735832944752 18446744073709551615 264726448311 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=288356 CPUtime=0.04 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 1803 0 0 0 4 0 0 0 18 0 4 0 635831553 295276544 6968 33554432000 4194304 4650419 140735832944752 18446744073709551615 264726065861 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=288488 CPUtime=0.04 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 1673 0 0 0 4 0 0 0 18 0 4 0 635831553 295411712 7005 33554432000 4194304 4650419 140735832944752 18446744073709551615 4373800 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 287432

[startup+0.110741 s]
/proc/loadavg: 7.39 7.94 7.96 6/367 12051
/proc/meminfo: memFree=25494436/32951124 swapFree=63083164/67111528
[pid=12051] ppid=12049 vsize=295516 CPUtime=0.41 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) D 12049 12051 10794 0 -1 4202496 14094 0 0 0 36 5 0 0 18 0 4 0 635831552 302608384 13874 33554432000 4194304 4650419 140735832944752 18446744073709551615 264726066209 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12051/statm: 73980 14329 343 112 0 68945 0
[pid=12051/tid=12052] ppid=12049 vsize=296052 CPUtime=0.09 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 3512 0 0 0 8 1 0 0 18 0 4 0 635831553 303157248 14451 33554432000 4194304 4650419 140735832944752 18446744073709551615 264726448311 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=296320 CPUtime=0.1 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 3804 0 0 0 9 1 0 0 18 0 4 0 635831553 303431680 14769 33554432000 4194304 4650419 140735832944752 18446744073709551615 4372457 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=296852 CPUtime=0.11 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) D 12049 12051 10794 0 -1 4202560 3691 0 0 0 10 1 0 0 18 0 4 0 635831553 303976448 15186 33554432000 4194304 4650419 140735832944752 18446744073709551615 264726066209 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 295516

[startup+0.895622 s]
/proc/loadavg: 7.39 7.94 7.96 6/367 12051
/proc/meminfo: memFree=25494436/32951124 swapFree=63083164/67111528
[pid=12051] ppid=12049 vsize=331336 CPUtime=3.52 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) R 12049 12051 10794 0 -1 4202496 40360 0 0 0 340 12 0 0 18 0 4 0 635831552 339288064 39431 33554432000 4194304 4650419 140735832944752 18446744073709551615 264726066209 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12051/statm: 82834 39431 385 112 0 77799 0
[pid=12051/tid=12052] ppid=12049 vsize=331336 CPUtime=0.86 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 9473 0 0 0 84 2 0 0 18 0 4 0 635831553 339288064 39431 33554432000 4194304 4650419 140735832944752 18446744073709551615 4470486 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=331336 CPUtime=0.87 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 12233 0 0 0 85 2 0 0 18 0 4 0 635831553 339288064 39431 33554432000 4194304 4650419 140735832944752 18446744073709551615 4550246 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=331336 CPUtime=0.87 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) D 12049 12051 10794 0 -1 4202560 8710 0 0 0 85 2 0 0 18 0 4 0 635831553 339288064 39431 33554432000 4194304 4650419 140735832944752 18446744073709551615 264726448311 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 331336

[startup+0.900285 s]
/proc/loadavg: 7.39 7.94 7.96 6/367 12051
/proc/meminfo: memFree=25494436/32951124 swapFree=63083164/67111528
[pid=12051] ppid=12049 vsize=331336 CPUtime=3.54 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) R 12049 12051 10794 0 -1 4202496 40928 0 0 0 342 12 0 0 18 0 4 0 635831552 339288064 40000 33554432000 4194304 4650419 140735832944752 18446744073709551615 264726448311 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12051/statm: 82834 40006 385 112 0 77799 0
[pid=12051/tid=12052] ppid=12049 vsize=331336 CPUtime=0.87 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 9500 0 0 0 85 2 0 0 18 0 4 0 635831553 339288064 40006 33554432000 4194304 4650419 140735832944752 18446744073709551615 4551016 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=331336 CPUtime=0.87 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 12233 0 0 0 85 2 0 0 18 0 4 0 635831553 339288064 40006 33554432000 4194304 4650419 140735832944752 18446744073709551615 4550207 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=331336 CPUtime=0.88 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 8726 0 0 0 86 2 0 0 18 0 4 0 635831553 339288064 40007 33554432000 4194304 4650419 140735832944752 18446744073709551615 264726073711 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 331336

[startup+1.50118 s]
/proc/loadavg: 7.39 7.94 7.96 9/371 12055
/proc/meminfo: memFree=25211948/32951124 swapFree=63083164/67111528
[pid=12051] ppid=12049 vsize=348860 CPUtime=5.97 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) R 12049 12051 10794 0 -1 4202496 63537 0 0 0 579 18 0 0 18 0 4 0 635831552 357232640 61197 33554432000 4194304 4650419 140735832944752 18446744073709551615 264726066209 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12051/statm: 87215 61197 389 112 0 82180 0
[pid=12051/tid=12052] ppid=12049 vsize=348860 CPUtime=1.48 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 17617 0 0 0 144 4 0 0 18 0 4 0 635831553 357232640 61202 33554432000 4194304 4650419 140735832944752 18446744073709551615 4451365 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=348860 CPUtime=1.49 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 17803 0 0 0 146 3 0 0 18 0 4 0 635831553 357232640 61202 33554432000 4194304 4650419 140735832944752 18446744073709551615 4476365 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=348860 CPUtime=1.49 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 10228 0 0 0 146 3 0 0 18 0 4 0 635831553 357232640 61202 33554432000 4194304 4650419 140735832944752 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 348860

[startup+3.10087 s]
/proc/loadavg: 7.44 7.94 7.96 9/371 12055
/proc/meminfo: memFree=25174616/32951124 swapFree=63083164/67111528
[pid=12051] ppid=12049 vsize=532468 CPUtime=12.31 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) R 12049 12051 10794 0 -1 4202496 76180 0 0 0 1211 20 0 0 21 0 4 0 635831552 545247232 67242 33554432000 4194304 4650419 140735832944752 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12051/statm: 133117 67242 393 112 0 128082 0
[pid=12051/tid=12052] ppid=12049 vsize=532468 CPUtime=3.08 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 21569 0 0 0 303 5 0 0 21 0 4 0 635831553 545247232 67242 33554432000 4194304 4650419 140735832944752 18446744073709551615 4363738 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=532468 CPUtime=3.07 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 19357 0 0 0 304 3 0 0 21 0 4 0 635831553 545247232 67242 33554432000 4194304 4650419 140735832944752 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=532468 CPUtime=3.08 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 13271 0 0 0 304 4 0 0 21 0 4 0 635831553 545247232 67242 33554432000 4194304 4650419 140735832944752 18446744073709551615 4339796 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 532468

[startup+6.30027 s]
/proc/loadavg: 7.44 7.94 7.96 9/371 12055
/proc/meminfo: memFree=25078716/32951124 swapFree=63083164/67111528
[pid=12051] ppid=12049 vsize=511040 CPUtime=25.07 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) R 12049 12051 10794 0 -1 4202496 93740 0 0 0 2482 25 0 0 25 0 4 0 635831552 523304960 71117 33554432000 4194304 4650419 140735832944752 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12051/statm: 127760 71117 394 112 0 122725 0
[pid=12051/tid=12052] ppid=12049 vsize=511040 CPUtime=6.27 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 25406 0 0 0 622 5 0 0 25 0 4 0 635831553 523304960 71117 33554432000 4194304 4650419 140735832944752 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=511040 CPUtime=6.28 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 22498 0 0 0 624 4 0 0 25 0 4 0 635831553 523304960 71117 33554432000 4194304 4650419 140735832944752 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=511040 CPUtime=6.28 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 20255 0 0 0 622 6 0 0 25 0 4 0 635831553 523304960 71117 33554432000 4194304 4650419 140735832944752 18446744073709551615 4227332 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 511040

[startup+12.7011 s]
/proc/loadavg: 7.52 7.94 7.96 9/371 12055
/proc/meminfo: memFree=24913148/32951124 swapFree=63083164/67111528
[pid=12051] ppid=12049 vsize=627880 CPUtime=50.6 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) R 12049 12051 10794 0 -1 4202496 128843 0 0 0 5025 35 0 0 25 0 4 0 635831552 642949120 97913 33554432000 4194304 4650419 140735832944752 18446744073709551615 4439366 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12051/statm: 156970 97913 395 112 0 151935 0
[pid=12051/tid=12052] ppid=12049 vsize=627880 CPUtime=12.67 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 35284 0 0 0 1258 9 0 0 25 0 4 0 635831553 642949120 97913 33554432000 4194304 4650419 140735832944752 18446744073709551615 4436434 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=627880 CPUtime=12.68 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 26414 0 0 0 1263 5 0 0 25 0 4 0 635831553 642949120 97913 33554432000 4194304 4650419 140735832944752 18446744073709551615 4369360 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=627880 CPUtime=12.68 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 32908 0 0 0 1259 9 0 0 25 0 4 0 635831553 642949120 97913 33554432000 4194304 4650419 140735832944752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 627880

[startup+25.5006 s]
/proc/loadavg: 7.60 7.94 7.96 9/371 12056
/proc/meminfo: memFree=24767256/32951124 swapFree=63083164/67111528
[pid=12051] ppid=12049 vsize=642864 CPUtime=101.65 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) R 12049 12051 10794 0 -1 4202496 184828 0 0 0 10120 45 0 0 25 0 4 0 635831552 658292736 114859 33554432000 4194304 4650419 140735832944752 18446744073709551615 4314688 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12051/statm: 160716 114859 394 112 0 155681 0
[pid=12051/tid=12052] ppid=12049 vsize=642864 CPUtime=25.48 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 49523 0 0 0 2536 12 0 0 25 0 4 0 635831553 658292736 114859 33554432000 4194304 4650419 140735832944752 18446744073709551615 4436163 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=642864 CPUtime=25.47 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 40402 0 0 0 2540 7 0 0 25 0 4 0 635831553 658292736 114859 33554432000 4194304 4650419 140735832944752 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=642864 CPUtime=25.48 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 47501 0 0 0 2536 12 0 0 25 0 4 0 635831553 658292736 114859 33554432000 4194304 4650419 140735832944752 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 642864

[startup+51.1138 s]
/proc/loadavg: 7.85 7.98 7.97 9/371 12056
/proc/meminfo: memFree=24481464/32951124 swapFree=63083164/67111528
[pid=12051] ppid=12049 vsize=759344 CPUtime=203.79 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) R 12049 12051 10794 0 -1 4202496 248112 0 0 0 20319 60 0 0 25 0 4 0 635831552 777568256 142323 33554432000 4194304 4650419 140735832944752 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12051/statm: 189836 142323 394 112 0 184801 0
[pid=12051/tid=12052] ppid=12049 vsize=759344 CPUtime=51.09 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 64067 0 0 0 5093 16 0 0 25 0 4 0 635831553 777568256 142323 33554432000 4194304 4650419 140735832944752 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=759344 CPUtime=51.09 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 49054 0 0 0 5099 10 0 0 25 0 4 0 635831553 777568256 142323 33554432000 4194304 4650419 140735832944752 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=759344 CPUtime=51.1 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 73289 0 0 0 5092 18 0 0 25 0 4 0 635831553 777568256 142323 33554432000 4194304 4650419 140735832944752 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 759344

[startup+102.301 s]
/proc/loadavg: 8.06 8.01 7.98 9/371 12058
/proc/meminfo: memFree=24216780/32951124 swapFree=63083164/67111528
[pid=12051] ppid=12049 vsize=968468 CPUtime=407.95 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) R 12049 12051 10794 0 -1 4202496 356175 0 0 0 40708 87 0 0 25 0 4 0 635831552 991711232 186244 33554432000 4194304 4650419 140735832944752 18446744073709551615 264726044944 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12051/statm: 242117 186244 394 112 0 237082 0
[pid=12051/tid=12052] ppid=12049 vsize=968468 CPUtime=102.27 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 92845 0 0 0 10204 23 0 0 25 0 4 0 635831553 991711232 186244 33554432000 4194304 4650419 140735832944752 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=968468 CPUtime=102.28 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 57979 0 0 0 10215 13 0 0 25 0 4 0 635831553 991711232 186244 33554432000 4194304 4650419 140735832944752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=968468 CPUtime=102.28 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 119413 0 0 0 10201 27 0 0 25 0 4 0 635831553 991711232 186244 33554432000 4194304 4650419 140735832944752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.95
Current children cumulated vsize (KiB) 968468

[startup+162.301 s]

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

[pid=12051] ppid=12049 vsize=1752092 CPUtime=2800.95 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) R 12049 12051 10794 0 -1 4202496 2289179 0 0 0 279591 504 0 0 25 0 4 0 635831552 1794142208 320822 33554432000 4194304 4650419 140735832944752 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12051/statm: 438023 320822 394 112 0 432988 0
[pid=12051/tid=12052] ppid=12049 vsize=1752092 CPUtime=702.3 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 498074 0 0 0 70102 128 0 0 25 0 4 0 635831553 1794142208 320822 33554432000 4194304 4650419 140735832944752 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=1752092 CPUtime=702.3 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 231637 0 0 0 70162 68 0 0 25 0 4 0 635831553 1794142208 320823 33554432000 4194304 4650419 140735832944752 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=1752092 CPUtime=702.31 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 956803 0 0 0 70059 172 0 0 25 0 4 0 635831553 1794142208 320823 33554432000 4194304 4650419 140735832944752 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2800.95
Current children cumulated vsize (KiB) 1752092

[startup+762.301 s]
/proc/loadavg: 8.09 8.09 8.02 9/371 12075
/proc/meminfo: memFree=22952740/32951124 swapFree=63083164/67111528
[pid=12051] ppid=12049 vsize=1585092 CPUtime=3040.2 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) R 12049 12051 10794 0 -1 4202496 2346795 0 0 0 303488 532 0 0 25 0 4 0 635831552 1623134208 318728 33554432000 4194304 4650419 140735832944752 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12051/statm: 396273 318728 394 112 0 391238 0
[pid=12051/tid=12052] ppid=12049 vsize=1585092 CPUtime=762.29 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 519458 0 0 0 76091 138 0 0 25 0 4 0 635831553 1623134208 318728 33554432000 4194304 4650419 140735832944752 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=1585092 CPUtime=762.29 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 258105 0 0 0 76149 80 0 0 25 0 4 0 635831553 1623134208 318728 33554432000 4194304 4650419 140735832944752 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=1585092 CPUtime=762.3 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 966566 0 0 0 76052 178 0 0 25 0 4 0 635831553 1623134208 318728 33554432000 4194304 4650419 140735832944752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3040.2
Current children cumulated vsize (KiB) 1585092

[startup+822.301 s]
/proc/loadavg: 8.10 8.09 8.01 9/371 12077
/proc/meminfo: memFree=22905076/32951124 swapFree=63083164/67111528
[pid=12051] ppid=12049 vsize=1676580 CPUtime=3279.5 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) R 12049 12051 10794 0 -1 4202496 2412493 0 0 0 327391 559 0 0 25 0 4 0 635831552 1716817920 318120 33554432000 4194304 4650419 140735832944752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12051/statm: 419145 318120 394 112 0 414110 0
[pid=12051/tid=12052] ppid=12049 vsize=1676580 CPUtime=822.28 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 535228 0 0 0 82084 144 0 0 25 0 4 0 635831553 1716817920 318120 33554432000 4194304 4650419 140735832944752 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=1676580 CPUtime=822.28 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 277494 0 0 0 82142 86 0 0 25 0 4 0 635831553 1716817920 318120 33554432000 4194304 4650419 140735832944752 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=1676580 CPUtime=822.3 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 982784 0 0 0 82045 185 0 0 25 0 4 0 635831553 1716817920 318121 33554432000 4194304 4650419 140735832944752 18446744073709551615 4370541 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3279.5
Current children cumulated vsize (KiB) 1676580

[startup+882.301 s]
/proc/loadavg: 8.11 8.09 8.01 9/371 12079
/proc/meminfo: memFree=22786248/32951124 swapFree=63083164/67111528
[pid=12051] ppid=12049 vsize=1582844 CPUtime=3518.8 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) R 12049 12051 10794 0 -1 4202496 2852500 0 0 0 351246 634 0 0 25 0 4 0 635831552 1620832256 325331 33554432000 4194304 4650419 140735832944752 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12051/statm: 395711 325331 394 112 0 390676 0
[pid=12051/tid=12052] ppid=12049 vsize=1582844 CPUtime=882.29 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 553067 0 0 0 88077 152 0 0 25 0 4 0 635831553 1620832256 325331 33554432000 4194304 4650419 140735832944752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=1582844 CPUtime=882.29 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 294257 0 0 0 88134 95 0 0 25 0 4 0 635831553 1620832256 325331 33554432000 4194304 4650419 140735832944752 18446744073709551615 4229517 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=1582844 CPUtime=882.31 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 1362839 0 0 0 87997 234 0 0 25 0 4 0 635831553 1620832256 325331 33554432000 4194304 4650419 140735832944752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3518.8
Current children cumulated vsize (KiB) 1582844

[startup+942.301 s]
/proc/loadavg: 8.16 8.10 8.02 9/371 12080
/proc/meminfo: memFree=22868536/32951124 swapFree=63083164/67111528
[pid=12051] ppid=12049 vsize=1651452 CPUtime=3758.08 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) R 12049 12051 10794 0 -1 4202496 2934755 0 0 0 375145 663 0 0 25 0 4 0 635831552 1691086848 324223 33554432000 4194304 4650419 140735832944752 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/12051/statm: 412863 324223 394 112 0 407828 0
[pid=12051/tid=12052] ppid=12049 vsize=1651452 CPUtime=942.29 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 575308 0 0 0 94070 159 0 0 25 0 4 0 635831553 1691086848 324223 33554432000 4194304 4650419 140735832944752 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=1651452 CPUtime=942.29 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 316630 0 0 0 94126 103 0 0 25 0 4 0 635831553 1691086848 324223 33554432000 4194304 4650419 140735832944752 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=1651452 CPUtime=942.31 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 1374701 0 0 0 93991 240 0 0 25 0 4 0 635831553 1691086848 324223 33554432000 4194304 4650419 140735832944752 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3758.08
Current children cumulated vsize (KiB) 1651452

[startup+1002.3 s]
/proc/loadavg: 8.19 8.11 8.02 9/371 12082
/proc/meminfo: memFree=22816904/32951124 swapFree=63083164/67111528
[pid=12051] ppid=12049 vsize=1663684 CPUtime=3997.39 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) R 12049 12051 10794 0 -1 4202496 3080163 0 0 0 399039 700 0 0 25 0 4 0 635831552 1703612416 317232 33554432000 4194304 4650419 140735832944752 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12051/statm: 415921 317232 394 112 0 410886 0
[pid=12051/tid=12052] ppid=12049 vsize=1663684 CPUtime=1001.97 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 590470 0 0 0 100029 168 0 0 25 0 4 0 635831553 1703612416 317232 33554432000 4194304 4650419 140735832944752 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=1663684 CPUtime=1002.29 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 318561 0 0 0 100125 104 0 0 25 0 4 0 635831553 1703612416 317232 33554432000 4194304 4650419 140735832944752 18446744073709551615 4334017 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=1663684 CPUtime=1002.3 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 1398342 0 0 0 99979 251 0 0 25 0 4 0 635831553 1703612416 317232 33554432000 4194304 4650419 140735832944752 18446744073709551615 4313327 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3997.39
Current children cumulated vsize (KiB) 1663684

[startup+1062.3 s]
/proc/loadavg: 8.11 8.10 8.02 9/371 12083
/proc/meminfo: memFree=22786468/32951124 swapFree=63083164/67111528
[pid=12051] ppid=12049 vsize=1654232 CPUtime=4236.68 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) R 12049 12051 10794 0 -1 4202496 3784119 0 0 0 422859 809 0 0 25 0 4 0 635831552 1693933568 323843 33554432000 4194304 4650419 140735832944752 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12051/statm: 413558 323843 394 112 0 408523 0
[pid=12051/tid=12052] ppid=12049 vsize=1654232 CPUtime=1061.26 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 602646 0 0 0 105952 174 0 0 25 0 4 0 635831553 1693933568 323843 33554432000 4194304 4650419 140735832944752 18446744073709551615 4334404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=1654232 CPUtime=1062.3 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 348664 0 0 0 106113 117 0 0 25 0 4 0 635831553 1693933568 323843 33554432000 4194304 4650419 140735832944752 18446744073709551615 4331043 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=1654232 CPUtime=1062.3 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 1414937 0 0 0 105971 259 0 0 25 0 4 0 635831553 1693933568 323843 33554432000 4194304 4650419 140735832944752 18446744073709551615 4243596 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4236.68
Current children cumulated vsize (KiB) 1654232

[startup+1122.3 s]
/proc/loadavg: 8.15 8.11 8.03 9/371 12085
/proc/meminfo: memFree=22717112/32951124 swapFree=63083164/67111528
[pid=12051] ppid=12049 vsize=1682480 CPUtime=4475.98 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) R 12049 12051 10794 0 -1 4202496 3971288 0 0 0 446745 853 0 0 25 0 4 0 635831552 1722859520 332772 33554432000 4194304 4650419 140735832944752 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12051/statm: 420620 332772 394 112 0 415585 0
[pid=12051/tid=12052] ppid=12049 vsize=1682480 CPUtime=1120.56 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 620590 0 0 0 111873 183 0 0 25 0 4 0 635831553 1722859520 332772 33554432000 4194304 4650419 140735832944752 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=1682480 CPUtime=1122.3 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 378349 0 0 0 112102 128 0 0 25 0 4 0 635831553 1722859520 332772 33554432000 4194304 4650419 140735832944752 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=1682480 CPUtime=1122.3 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 1536770 0 0 0 111955 275 0 0 25 0 4 0 635831553 1722859520 332773 33554432000 4194304 4650419 140735832944752 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4475.98
Current children cumulated vsize (KiB) 1682480

[startup+1182.3 s]
/proc/loadavg: 8.14 8.12 8.03 9/371 12087
/proc/meminfo: memFree=22592080/32951124 swapFree=63083164/67111528
[pid=12051] ppid=12049 vsize=1841780 CPUtime=4715.28 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) R 12049 12051 10794 0 -1 4202496 4615583 0 0 0 470575 953 0 0 25 0 4 0 635831552 1885982720 361100 33554432000 4194304 4650419 140735832944752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12051/statm: 460445 361100 394 112 0 455410 0
[pid=12051/tid=12052] ppid=12049 vsize=1841780 CPUtime=1179.85 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 638558 0 0 0 117793 192 0 0 25 0 4 0 635831553 1885982720 361100 33554432000 4194304 4650419 140735832944752 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=1841780 CPUtime=1182.3 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 383427 0 0 0 118099 131 0 0 25 0 4 0 635831553 1885982720 361100 33554432000 4194304 4650419 140735832944752 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=1841780 CPUtime=1182.3 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 2140737 0 0 0 117876 354 0 0 25 0 4 0 635831553 1885982720 361100 33554432000 4194304 4650419 140735832944752 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4715.28
Current children cumulated vsize (KiB) 1841780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.26 8.14 8.04 5/366 12088
/proc/meminfo: memFree=24123496/32951124 swapFree=63083164/67111528
[pid=12051] ppid=12049 vsize=1839852 CPUtime=4800.26 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) R 12049 12051 10794 0 -1 4202496 4643404 0 0 0 479062 964 0 0 25 0 4 0 635831552 1884008448 355092 33554432000 4194304 4650419 140735832944752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12051/statm: 459963 355092 394 112 0 454928 0
[pid=12051/tid=12052] ppid=12049 vsize=1839852 CPUtime=1200.9 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 648517 0 0 0 119894 196 0 0 25 0 4 0 635831553 1884008448 355093 33554432000 4194304 4650419 140735832944752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=1839852 CPUtime=1203.61 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 386402 0 0 0 120229 132 0 0 25 0 4 0 635831553 1884008448 355093 33554432000 4194304 4650419 140735832944752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=1839852 CPUtime=1203.62 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 2145423 0 0 0 120005 357 0 0 25 0 4 0 635831553 1884008448 355093 33554432000 4194304 4650419 140735832944752 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 1839852

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

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

[startup+1203.6 s]
/proc/loadavg: 8.26 8.14 8.04 5/366 12088
/proc/meminfo: memFree=24123496/32951124 swapFree=63083164/67111528
[pid=12051] ppid=12049 vsize=1839852 CPUtime=4800.26 cores=1,3,5,7
/proc/12051/stat : 12051 (strangenight1-m) R 12049 12051 10794 0 -1 4202496 4643404 0 0 0 479062 964 0 0 25 0 4 0 635831552 1884008448 355092 33554432000 4194304 4650419 140735832944752 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/12051/statm: 459963 355092 394 112 0 454928 0
[pid=12051/tid=12052] ppid=12049 vsize=1839852 CPUtime=1200.9 cores=1,3,5,7
/proc/12051/task/12052/stat : 12052 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 648517 0 0 0 119894 196 0 0 25 0 4 0 635831553 1884008448 355093 33554432000 4194304 4650419 140735832944752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=12051/tid=12053] ppid=12049 vsize=1839852 CPUtime=1203.61 cores=1,3,5,7
/proc/12051/task/12053/stat : 12053 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 386402 0 0 0 120229 132 0 0 25 0 4 0 635831553 1884008448 355093 33554432000 4194304 4650419 140735832944752 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=12051/tid=12054] ppid=12049 vsize=1839852 CPUtime=1203.62 cores=1,3,5,7
/proc/12051/task/12054/stat : 12054 (strangenight1-m) R 12049 12051 10794 0 -1 4202560 2145423 0 0 0 120005 357 0 0 25 0 4 0 635831553 1884008448 355093 33554432000 4194304 4650419 140735832944752 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 1839852

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.68
CPU time (s): 4800.37
CPU user time (s): 4790.66
CPU system time (s): 9.70952
CPU usage (%): 398.807
Max. virtual memory (cumulated for all children) (KiB): 1878932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4790.66
system time used= 9.70952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4643408
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= 8736
involuntary context switches= 19813

runsolver used 3.9434 second user time and 10.3094 second system time

The end

Launcher Data 

Begin job on node141 at 2011-05-15 06:35:59
IDJOB=3369112
IDBENCH=88217
IDSOLVER=1846
FILE ID=node141/3369112-1305434159
RUNJOBID= node141-1305434159-12029
PBS_JOBID= 13324603
Free space on /tmp= 73336 MiB

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

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

MD5SUM BENCH= b23c52475e3d098cb9d5a92c025d6982
RANDOM SEED=743617976

node141.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.806
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.61
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.806
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	: 5362.96
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.806
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.806
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.806
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.84
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.806
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.806
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.75
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.806
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:      25496356 kB
Buffers:        248872 kB
Cached:        4941776 kB
SwapCached:      15708 kB
Active:        2130508 kB
Inactive:      5083772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25496356 kB
SwapTotal:    67111528 kB
SwapFree:     63083164 kB
Dirty:           31536 kB
Writeback:           0 kB
AnonPages:     2014672 kB
Mapped:          12804 kB
Slab:           137572 kB
PageTables:      38112 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 86360492 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= 73340 MiB
End job on node141 at 2011-05-15 06:56:05