Trace number 3366711

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.2 1203.49

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf
MD5SUM78d8e2b8c0fd15b93f96e38e33701f17
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.61315
Satisfiable
(Un)Satisfiability was proved
Number of variables3510
Number of clauses974465
Sum of the clauses size1952320
Maximum clause length62
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2974405
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 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366711-1305433574.cnf'
0.00/0.01	c -- header says num vars:           3510
0.00/0.01	c -- header says num clauses:      974465
0.38/0.19	c -- clauses added:            0 learnts,       974465 normals,            0 xors
0.38/0.19	c -- vars added       3510
0.38/0.19	c Parsing time:  0.14 s
0.38/0.19	c  N st     0         0      3510        60    974405         0   1952320         0   no data   no data
0.38/0.19	c asymm  cl-useful: 0/60/60 lits-rem:0 time: 0.00
0.80/0.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.2M T:  0.13
0.80/0.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.80/0.70	c bin-w-bin subsume rem            0 bins  time:  0.16 s
0.80/0.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.17 s
3.24/0.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3510 time:  0.08 s
3.24/0.88	c Removed useless bin:       0  fixed:     0  props:   4.89M  time:  0.09 s
4.66/1.26	c lits-rem:       395  cl-subs:        0  v-elim:     60  v-fix:    0  time:  0.31 s
4.66/1.26	c Finding binary XORs  T:     0.02 s  found:       0
4.66/1.27	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
4.66/1.27	c calculated reachability. Time: 0.00
4.66/1.27	c Calc default polars -  time:   0.01 s pos:       0 undec:      60 neg:    3450
4.66/1.27	c =========================================================================================
4.66/1.27	c types(t): F = full restart, N = normal restart
4.66/1.27	c types(t): S = simplification begin/end, E = solution found
4.66/1.27	c restart types(rt): st = static, dy = dynamic
4.66/1.27	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.66/1.27	c  B st     0         0      3450     15221    955734         0   2885422         0   no data   no data
7.85/2.08	c  N dy    11      4187      3450     15221    955734      4060   2885417   1300457     19.51     20.63
11.44/2.95	c  N dy    20      8961      3450     15221    955734      6260   2885409   1778160     17.21     18.15
16.22/4.15	c  N dy    37     14759      3450     15221    955734      7765   2885403   1945798     16.62     17.61
19.80/5.03	c  N dy    43     18869      3450     15221    955734      6295   2885395   1321791     16.00     17.01
24.59/6.24	c  F st    54     25003      3450     15221    955734     12305   2885395   2551186     15.43     13.67
24.99/6.36	c  N st    54     25003      3450     15221    955734     12305   2885395   2551186     15.43     13.67
28.57/7.27	c  N dy    60     30002      3450     15221    955734     10536   2885395   1950679     15.43   no data
28.57/7.27	c  S st    60     30002      3450     15221    955734     10536   2885395   1950679     15.43   no data
28.97/7.39	c  S st    60     30505      3450     15221    955734     11032   2885393   2023727     15.43   no data
29.38/7.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
36.60/9.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 66.6M T:  1.82
36.60/9.25	c blocked clauses removed:        0 vars:      0 tried:        3450 T: 0.00 s
36.95/9.34	c bin-w-bin subsume rem            0 bins  time:  0.08 s
55.31/13.97	c subs with bin:        0  lits-rem:     13924  v-fix:    0  time:  4.64 s
55.71/14.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3450 time:  0.08 s
56.11/14.14	c Removed useless bin:       0  fixed:     0  props:   4.79M  time:  0.08 s
58.54/14.75	c lits-rem:      6111  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.60 s
64.09/16.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.29 s
74.86/18.81	c lits-rem:      1156  cl-subs:      328  v-elim:      0  v-fix:    0  time:  2.68 s
75.70/19.05	c asymm  cl-useful: 13/1552/15221 lits-rem:146 time: 0.24
75.70/19.07	c calculated reachability. Time: 0.00
75.70/19.07	c  N dy    60     30505      3450     15221    955734     10704   2863829   1959409     15.43   no data
79.65/20.06	c  N dy    68     34758      3450     15221    955734     14866   2863829   3182008     15.26     16.10
84.03/21.18	c  N dy    88     40060      3450     15221    955734     12337   2863829   2425151     15.42     16.48
88.01/22.18	c  N dy   108     44261      3450     15221    955734     16435   2863829   3588609     15.60     16.42
89.61/22.55	c  S st   114     45757      3450     15221    955734      9164   2863829   1472173     15.58   no data
90.01/22.65	c  S st   114     46258      3450     15221    955734      9662   2863829   1555883     15.58   no data
90.01/22.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
97.20/24.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 66.0M T:  1.74
97.20/24.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
97.64/24.52	c bin-w-bin subsume rem            0 bins  time:  0.08 s
116.34/29.22	c subs with bin:        0  lits-rem:     15021  v-fix:    0  time:  4.70 s
116.74/29.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3450 time:  0.08 s
116.74/29.38	c Removed useless bin:       0  fixed:     0  props:   4.79M  time:  0.08 s
117.14/29.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
122.32/30.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.28 s
125.91/31.64	c lits-rem:       180  cl-subs:       90  v-elim:      0  v-fix:    0  time:  0.85 s
125.91/31.69	c vivif2 --  cl tried    15221 cl shrink    10660 lits rem     113019 time: 0.05
126.31/31.72	c vivif2 --  cl tried     9572 cl shrink        0 lits rem          0 time: 0.03
127.11/31.96	c asymm  cl-useful: 0/1957/15221 lits-rem:0 time: 0.24
127.11/31.98	c calculated reachability. Time: 0.00
127.11/31.98	c  N dy   114     46258      3450     15221    955734      9572   2735245   1540139     15.58   no data
130.30/32.78	c  N dy   118     50681      3450     15221    955734     13910   2735245   2490305     15.41     16.37
134.29/33.77	c  N dy   132     54908      3450     15221    955734     18029   2735245   3497426     15.43     16.37
137.88/34.61	c  N dy   140     58988      3450     15221    955734     12266   2735245   1941419     15.26     16.09
143.47/36.09	c  N dy   148     65278      3450     15221    955734     18397   2735245   3104349     15.03     16.21
148.25/37.24	c  S st   167     69388      3450     15221    955734     11702   2735245   1772068     15.08     12.87
148.65/37.35	c  S st   167     69888      3450     15221    955734     12200   2735245   1862209     15.08   no data
148.65/37.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
156.23/39.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 66.2M T:  1.88
156.23/39.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
156.63/39.35	c bin-w-bin subsume rem            0 bins  time:  0.08 s
175.38/44.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.66 s
175.78/44.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3450 time:  0.08 s
175.78/44.19	c Removed useless bin:       0  fixed:     0  props:   4.79M  time:  0.09 s
177.01/44.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.29 s
182.55/45.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.28 s
187.34/47.09	c lits-rem:       145  cl-subs:       50  v-elim:      0  v-fix:    0  time:  1.26 s
187.74/47.10	c vivif2 --  cl tried    15221 cl shrink        0 lits rem          0 time: 0.02
187.74/47.14	c vivif2 --  cl tried    12150 cl shrink        0 lits rem          0 time: 0.04
188.93/47.41	c asymm  cl-useful: 0/1166/15221 lits-rem:0 time: 0.26
188.93/47.43	c calculated reachability. Time: 0.00
188.93/47.43	c  N dy   167     69888      3450     15221    955734     12150   2735245   1847461     15.08   no data
192.93/48.46	c  N dy   185     74897      3450     15221    955734     17035   2735245   3043954     15.10     15.94
197.32/49.58	c  N dy   206     80015      3450     15221    955734     22042   2735245   4328416     15.13     16.08
202.10/50.77	c  N dy   230     85144      3450     15221    955734     15328   2735245   2970174     15.26     16.68
204.49/51.36	c  F st   244     87501      3450     15221    955734     17638   2735245   3568594     15.29     14.50
208.07/52.24	c  N st   249     90802      3450     15221    955734     20832   2735245   4251299     15.29   no data
214.86/53.91	c  N dy   273     96593      3450     15221    955734     13818   2735245   2112630     15.39     27.08
221.64/55.66	c  N dy   325    102840      3450     15221    955734     19947   2735245   3775827     15.77     21.20
224.05/56.21	c  S st   336    104832      3450     15221    955734     21897   2735245   4259366     15.78     11.37
224.44/56.35	c  S st   336    105335      3450     15221    955734     22397   2735245   4358439     15.78   no data
224.44/56.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
234.41/58.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 87.8M T:  2.44
234.41/58.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
234.81/58.91	c bin-w-bin subsume rem            0 bins  time:  0.08 s
253.56/63.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.72 s
253.95/63.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3450 time:  0.08 s
254.36/63.80	c Removed useless bin:       0  fixed:     0  props:   4.79M  time:  0.09 s
254.36/63.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
261.14/65.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.51 s
295.09/74.10	c lits-rem:       679  cl-subs:      216  v-elim:      0  v-fix:    0  time:  8.57 s
295.49/74.12	c vivif2 --  cl tried    15221 cl shrink        0 lits rem          0 time: 0.02
295.49/74.19	c vivif2 --  cl tried    22181 cl shrink        0 lits rem          0 time: 0.08
296.64/74.42	c asymm  cl-useful: 0/1086/15221 lits-rem:0 time: 0.23
296.64/74.45	c calculated reachability. Time: 0.00
296.64/74.45	c  N dy   336    105335      3450     15221    955734     22181   2735245   4282661     15.78   no data
305.02/76.56	c  N dy   368    112417      3450     15221    955734     15409   2735245   2415692     15.90     16.74
313.04/78.54	c  N dy   393    120151      3450     15221    955734     22948   2735245   4451454     15.89     16.75
323.77/81.28	c  N dy   435    129030      3450     15221    955734     16979   2735245   2456086     15.96     16.87
331.74/83.23	c  N dy   457    137292      3450     15221    955734     25043   2735245   4552241     15.89     20.19
342.52/85.93	c  N dy   512    146153      3450     15221    955734     18074   2735245   2858058     16.13     20.36
352.13/88.37	c  N dy   549    155553      3450     15221    955734     27244   2735245   5328050     16.17     29.62
355.68/89.23	c  S st   559    158002      3450     15221    955734     29642   2735245   5899099     16.17     15.12
356.52/89.42	c  S st   559    158506      3450     15221    955734     30143   2735245   5985774     16.17   no data
356.52/89.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
372.42/93.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 97.1M T:  3.97
372.42/93.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
372.82/93.52	c bin-w-bin subsume rem            0 bins  time:  0.08 s
391.19/98.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.62 s
391.62/98.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3450 time:  0.08 s
392.03/98.31	c Removed useless bin:       0  fixed:     0  props:   4.79M  time:  0.09 s
392.03/98.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
398.36/99.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.38 s
453.81/113.89	c lits-rem:       955  cl-subs:      313  v-elim:      0  v-fix:    0  time: 13.95 s
454.21/113.91	c vivif2 --  cl tried    15221 cl shrink        0 lits rem          0 time: 0.02
454.61/114.02	c vivif2 --  cl tried    29830 cl shrink        0 lits rem          0 time: 0.10
455.80/114.31	c asymm  cl-useful: 0/680/15221 lits-rem:0 time: 0.30
455.80/114.34	c calculated reachability. Time: 0.00
455.80/114.34	c  N dy   559    158506      3450     15221    955734     29830   2735245   5867132     16.17   no data
467.76/117.38	c  N dy   594    169091      3450     15221    955734     23534   2735245   3892887     16.13     17.00
483.33/121.20	c  N dy   641    180955      3450     15221    955734     35095   2735245   7023917     16.09     17.32
496.10/124.44	c  N dy   657    193525      3450     15221    955734     29831   2735245   5233484     15.92     16.76
508.05/127.46	c  N dy   675    205899      3450     15221    955734     23370   2735245   3559040     15.81     28.51
523.25/131.30	c  N dy   722    219075      3450     15221    955734     36262   2735245   6411137     15.81     16.66
537.56/134.81	c  N dy   759    233495      3450     15221    955734     30851   2735245   4914263     15.75     16.60
541.96/135.99	c  S st   780    237759      3450     15221    955734     35001   2735245   6019180     15.78   no data
542.76/136.12	c  S st   780    238260      3450     15221    955734     35500   2735245   6108383     15.78   no data
542.76/136.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
554.72/139.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 93.3M T:  3.03
554.72/139.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
555.12/139.27	c bin-w-bin subsume rem            0 bins  time:  0.08 s
573.87/143.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.68 s
574.27/144.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3450 time:  0.08 s
574.68/144.12	c Removed useless bin:       0  fixed:     0  props:   4.79M  time:  0.09 s
574.68/144.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
580.70/145.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.34 s
632.51/158.69	c lits-rem:       909  cl-subs:      363  v-elim:      0  v-fix:    0  time: 13.00 s
632.51/158.71	c vivif2 --  cl tried    15221 cl shrink        0 lits rem          0 time: 0.02
633.35/158.83	c vivif2 --  cl tried    35137 cl shrink        0 lits rem          0 time: 0.12
634.50/159.12	c asymm  cl-useful: 0/1175/15221 lits-rem:0 time: 0.28
634.50/159.14	c calculated reachability. Time: 0.00
634.50/159.14	c  N dy   780    238260      3450     15221    955734     35137   2735245   6006092     15.78   no data
652.45/163.63	c  N dy   839    253554      3450     15221    955734     29567   2735245   4890437     15.82     18.68
673.99/169.03	c  N dy   887    269741      3450     15221    955734     23864   2735245   3483120     15.78     16.87
695.14/174.36	c  N dy   956    287321      3450     15221    955734     41025   2735245   7697556     15.80     16.67
721.46/181.00	c  N dy  1039    305704      3450     15221    955734     36490   2735245   6767782     15.89     23.55
723.05/181.30	c  F st  1043    306251      3450     15221    955734     37032   2735245   6918024     15.89     12.15
755.38/189.46	c  N dy  1125    325236      3450     15221    955734     32136   2735245   5581472     16.01     22.90
787.68/197.51	c  N dy  1222    345254      3450     15221    955734     27250   2735245   4093753     16.07     22.05
804.08/201.62	c  S st  1279    357390      3450     15221    955734     39101   2735245   7255857     16.12   no data
804.83/201.80	c  S st  1279    357893      3450     15221    955734     39601   2735245   7343643     16.12   no data
804.83/201.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
820.39/205.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 106.2M T:  3.88
820.39/205.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
820.79/205.82	c bin-w-bin subsume rem            0 bins  time:  0.08 s
839.18/210.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.65 s
839.58/210.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3450 time:  0.08 s
839.93/210.64	c Removed useless bin:       0  fixed:     0  props:   4.79M  time:  0.09 s
840.33/210.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
847.52/212.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.68 s
921.71/231.11	c lits-rem:      1733  cl-subs:      489  v-elim:      0  v-fix:    0  time: 18.50 s
921.71/231.12	c vivif2 --  cl tried    15221 cl shrink        0 lits rem          0 time: 0.02
922.11/231.26	c vivif2 --  cl tried    39112 cl shrink        0 lits rem          0 time: 0.13
923.29/231.55	c asymm  cl-useful: 0/798/15221 lits-rem:0 time: 0.29
923.29/231.58	c calculated reachability. Time: 0.00
923.29/231.58	c  N dy  1279    357893      3450     15221    955734     39112   2735245   7195884     16.12   no data
952.43/238.81	c  N dy  1342    379119      3450     15221    955734     34442   2735245   5455181     16.06     16.96
980.74/245.92	c  N dy  1427    399187      3450     15221    955734     27710   2735245   3964463     16.07     22.58
1007.06/252.55	c  N dy  1520    419251      3450     15221    955734     47285   2735245   8837148     16.13     18.91
1034.99/259.50	c  N dy  1590    440070      3450     15221    955734     40219   2735245   7312689     16.11     16.99
1068.08/267.80	c  N dy  1638    460546      3450     15221    955734     31916   2735245   5058761     16.06     17.02
1097.21/275.15	c  N dy  1718    481469      3450     15221    955734     52243   2735245   9959799     16.10     17.06
1131.52/283.73	c  N dy  1830    501554      3450     15221    955734     42670   2735245   7815353     16.20     18.37
1173.79/294.35	c  N dy  1916    522659      3450     15221    955734     33020   2735245   4986905     16.25     17.14
1194.99/299.64	c  S st  1995    536840      3450     15221    955734     46914   2735245   8495424     16.33     11.34
1195.73/299.83	c  S st  1995    537342      3450     15221    955734     47414   2735245   8592463     16.33   no data
1195.73/299.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1212.88/304.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 115.8M T:  4.29
1212.88/304.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1213.28/304.26	c bin-w-bin subsume rem            0 bins  time:  0.08 s
1232.05/308.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.67 s
1232.44/309.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3450 time:  0.08 s
1232.44/309.10	c Removed useless bin:       0  fixed:     0  props:   4.79M  time:  0.08 s
1232.84/309.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
1240.01/310.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.50 s
1319.79/330.90	c lits-rem:      1255  cl-subs:      493  v-elim:      0  v-fix:    0  time: 19.98 s
1319.79/330.92	c vivif2 --  cl tried    15221 cl shrink        0 lits rem          0 time: 0.02
1320.20/331.08	c vivif2 --  cl tried    46921 cl shrink        0 lits rem          0 time: 0.16
1321.40/331.36	c asymm  cl-useful: 0/688/15221 lits-rem:0 time: 0.28
1321.40/331.39	c calculated reachability. Time: 0.00
1321.40/331.39	c  N dy  1995    537342      3450     15221    955734     46921   2735245   8472433     16.33   no data
1364.08/342.07	c  N dy  2082    557478      3450     15221    955734     35304   2735245   5606206     16.39     17.45
1400.82/351.25	c  N dy  2153    578652      3450     15221    955734     55974   2735245  10839807     16.38     17.44
1433.08/359.36	c  N dy  2203    598683      3450     15221    955734     43349   2735245   7505263     16.33     27.60
1467.03/367.82	c  N dy  2258    618910      3450     15221    955734     63103   2735245  12498776     16.30     17.16
1500.89/376.33	c  N dy  2345    638990      3450     15221    955734     49531   2735245   8918848     16.33     18.15
1549.56/388.59	c  N dy  2457    659747      3450     15221    955734     35595   2735245   5002357     16.41     17.32
1583.85/397.18	c  N dy  2545    679830      3450     15221    955734     55182   2735245  10011863     16.44     22.56
1624.14/407.20	c  N dy  2598    700790      3450     15221    955734     40511   2735245   5922934     16.41     17.30
1656.84/415.47	c  N dy  2665    720808      3450     15221    955734     60063   2735245  10929196     16.41     22.35
1696.33/425.31	c  N dy  2749    741052      3450     15221    955734     43656   2735245   6639071     16.42     17.36
1737.83/435.76	c  N dy  2869    761574      3450     15221    955734     63714   2735245  11696612     16.50     17.47
1778.89/446.09	c  N dy  2943    782280      3450     15221    955734     46825   2735245   7127313     16.49     17.45
1819.19/456.10	c  N dy  3025    802296      3450     15221    955734     66320   2735245  12337890     16.52     22.21
1830.80/459.04	c  S st  3050    806013      3450     15221    955734     69954   2735245  13218918     16.54     11.85
1831.95/459.37	c  S st  3050    806517      3450     15221    955734     70453   2735245  13318893     16.54   no data
1832.35/459.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1856.69/465.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 151.9M T:  6.14
1856.69/465.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1857.12/465.66	c bin-w-bin subsume rem            0 bins  time:  0.08 s
1875.83/470.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.68 s
1876.23/470.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3450 time:  0.08 s
1876.63/470.50	c Removed useless bin:       0  fixed:     0  props:   4.79M  time:  0.09 s
1876.63/470.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
1888.24/473.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.47 s
1990.30/499.05	c lits-rem:      1850  cl-subs:     1224  v-elim:      0  v-fix:    0  time: 25.55 s
1990.30/499.07	c vivif2 --  cl tried    15221 cl shrink        0 lits rem          0 time: 0.02
1991.50/499.32	c vivif2 --  cl tried    69229 cl shrink        0 lits rem          0 time: 0.25
1992.71/499.69	c asymm  cl-useful: 0/500/15221 lits-rem:0 time: 0.37
1993.14/499.72	c calculated reachability. Time: 0.00
1993.14/499.72	c  N dy  3050    806517      3450     15221    955734     69229   2735245  13063075     16.54   no data
2031.39/509.31	c  N dy  3134    826545      3450     15221    955734     50713   2735245   8323315     16.57     18.25
2077.66/520.94	c  N dy  3213    846995      3450     15221    955734     70671   2735245  13168586     16.59     17.68
2119.56/531.46	c  N dy  3305    867071      3450     15221    955734     51202   2735245   7917710     16.62     20.57
2157.83/541.02	c  N dy  3369    887155      3450     15221    955734     70779   2735245  12768364     16.59     23.35
2202.51/552.20	c  N dy  3471    907157      3450     15221    955734     50322   2735245   7820112     16.62     17.51
2248.37/563.71	c  N dy  3531    928279      3450     15221    955734     70845   2735245  13155636     16.61     17.53
2295.05/575.44	c  N dy  3614    948536      3450     15221    955734     49689   2735245   7510943     16.64     17.54
2346.10/588.28	c  N dy  3692    968921      3450     15221    955734     69554   2735245  12778352     16.66     17.76
2404.75/602.97	c  N dy  3792    988990      3450     15221    955734     47248   2735245   6717087     16.70     27.94
2444.64/612.96	c  N dy  3866   1009023      3450     15221    955734     66720   2735245  11893630     16.70     18.04
2508.04/628.85	c  N dy  3963   1029501      3450     15221    955734     43829   2735245   5523705     16.74     17.65
2543.54/637.79	c  N dy  4043   1049931      3450     15221    955734     63728   2735245  10244699     16.75     18.33
2594.65/650.52	c  N dy  4120   1070275      3450     15221    955734     83492   2735245  15478739     16.76     17.66
2598.20/651.40	c  F st  4125   1071876      3450     15221    955734     85073   2735245  15783851     16.76   no data
2633.74/660.32	c  N dy  4198   1090360      3450     15221    955734     59182   2735245   9234006     16.78     25.51
2675.57/670.80	c  N dy  4261   1110608      3450     15221    955734     78891   2735245  14192184     16.76     17.74
2725.87/683.43	c  N dy  4352   1131583      3450     15221    955734     54575   2735245   7920506     16.77     17.78
2772.51/695.12	c  N dy  4437   1151683      3450     15221    955734     74107   2735245  13494849     16.79     28.89
2834.34/710.64	c  N dy  4503   1172398      3450     15221    955734     48453   2735245   6257387     16.78     17.74
2867.03/718.88	c  N dy  4575   1192400      3450     15221    955734     67984   2735245  10547886     16.80     17.70
2904.55/728.24	c  S st  4631   1209775      3450     15221    955734     84909   2735245  14850762     16.79     15.98
2906.19/728.63	c  S st  4631   1210278      3450     15221    955734     85412   2735245  14945805     16.79   no data
2906.19/728.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2934.06/735.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 165.1M T:  6.96
2934.06/735.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2934.46/735.74	c bin-w-bin subsume rem            0 bins  time:  0.08 s
2953.21/740.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.71 s
2953.61/740.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3450 time:  0.08 s
2954.05/740.62	c Removed useless bin:       0  fixed:     0  props:   4.79M  time:  0.09 s
2954.45/740.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
2962.83/742.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.72 s
3082.45/772.84	c lits-rem:      1515  cl-subs:     1981  v-elim:      0  v-fix:    0  time: 29.95 s
3082.45/772.86	c vivif2 --  cl tried    15221 cl shrink        0 lits rem          0 time: 0.02
3083.64/773.16	c vivif2 --  cl tried    83431 cl shrink        0 lits rem          0 time: 0.30
3085.25/773.58	c asymm  cl-useful: 0/288/15221 lits-rem:0 time: 0.42
3085.25/773.61	c calculated reachability. Time: 0.00
3085.25/773.61	c  N dy  4631   1210278      3450     15221    955734     83431   2735245  14686077     16.79   no data
3126.73/783.99	c  N dy  4691   1230316      3450     15221    955734     56266   2735245   7994289     16.79     20.75
3167.02/794.07	c  N dy  4789   1250367      3450     15221    955734     75863   2735245  12405531     16.81     21.54
3219.26/807.16	c  N dy  4860   1270691      3450     15221    955734     47929   2735245   5829632     16.81     17.80
3262.35/817.92	c  N dy  4946   1292958      3450     15221    955734     69654   2735245  11686492     16.83     17.83
3310.21/829.92	c  N dy  5022   1313520      3450     15221    955734     89750   2735245  16573131     16.84     17.74
3349.70/839.87	c  N dy  5061   1333551      3450     15221    955734     60557   2735245   8816344     16.82     17.85
3390.39/850.09	c  N dy  5162   1353882      3450     15221    955734     80442   2735245  13771776     16.84     17.76
3449.02/864.73	c  N dy  5242   1374101      3450     15221    955734     50349   2735245   6102744     16.85     17.80
3488.52/874.61	c  N dy  5323   1394535      3450     15221    955734     70269   2735245  11070508     16.87     17.77
3542.76/888.24	c  N dy  5406   1414929      3450     15221    955734     90183   2735245  15970216     16.87     17.82
3592.62/900.78	c  N dy  5472   1434996      3450     15221    955734     58944   2735245   8002220     16.87     20.37
3632.91/910.87	c  N dy  5548   1455492      3450     15221    955734     78943   2735245  12907348     16.87     18.12
3691.94/925.65	c  N dy  5622   1476127      3450     15221    955734     99025   2735245  18034402     16.87     17.85
3732.64/935.84	c  N dy  5694   1496292      3450     15221    955734     67003   2735245   9589136     16.88     17.89
3783.33/948.57	c  N dy  5783   1517559      3450     15221    955734     87728   2735245  14826656     16.90     17.80
3842.72/963.41	c  N dy  5862   1537651      3450     15221    955734     54661   2735245   6708694     16.91     25.87
3877.83/972.23	c  N dy  5910   1558048      3450     15221    955734     74484   2735245  10874879     16.89     17.83
3926.10/984.35	c  N dy  5986   1578335      3450     15221    955734     94287   2735245  15472634     16.90     17.98
3972.41/995.99	c  N dy  6032   1598630      3450     15221    955734     60494   2735245   7701038     16.89     17.80
4024.23/1008.99	c  N dy  6111   1618730      3450     15221    955734     79917   2735245  12009552     16.90     19.44
4081.27/1023.25	c  N dy  6203   1639217      3450     15221    955734     99843   2735245  17176345     16.92     17.89
4131.51/1035.89	c  N dy  6288   1659257      3450     15221    955734     64969   2735245   8967718     16.94     26.10
4171.40/1045.86	c  N dy  6358   1679299      3450     15221    955734     84535   2735245  13757949     16.94     34.52
4236.02/1062.04	c  N dy  6463   1699338      3450     15221    955734    104066   2735245  18740072     16.97     24.21
4268.74/1070.20	c  S st  6520   1710279      3450     15221    955734     59200   2735245   7270918     16.98     16.01
4269.14/1070.39	c  S st  6520   1710786      3450     15221    955734     59706   2735245   7350638     16.98   no data
4269.54/1070.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4289.48/1075.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 133.4M T:  5.00
4289.48/1075.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4289.88/1075.54	c bin-w-bin subsume rem            0 bins  time:  0.08 s
4308.63/1080.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.75 s
4309.03/1080.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3450 time:  0.08 s
4309.43/1080.46	c Removed useless bin:       0  fixed:     0  props:   4.79M  time:  0.09 s
4309.86/1080.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
4316.19/1082.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.42 s
4363.28/1093.93	c lits-rem:       452  cl-subs:     1242  v-elim:      0  v-fix:    0  time: 11.77 s
4363.28/1093.95	c vivif2 --  cl tried    15221 cl shrink        0 lits rem          0 time: 0.02
4364.08/1094.12	c vivif2 --  cl tried    58464 cl shrink        0 lits rem          0 time: 0.17
4365.67/1094.50	c asymm  cl-useful: 0/371/15221 lits-rem:0 time: 0.37
4365.67/1094.52	c calculated reachability. Time: 0.00
4365.67/1094.52	c  N dy  6520   1710786      3450     15221    955734     58464   2735245   7298046     16.98   no data
4402.01/1103.66	c  N dy  6569   1730815      3450     15221    955734     77967   2735245  12082716     16.96     36.80
4453.83/1116.68	c  N dy  6676   1750818      3450     15221    955734     97518   2735245  16716570     17.00     19.16
4503.33/1129.04	c  N dy  6721   1770875      3450     15221    955734     60502   2735245   7847166     16.99     22.90
4541.97/1138.80	c  N dy  6793   1791145      3450     15221    955734     80334   2735245  12714641     16.99     18.09
4588.64/1150.46	c  N dy  6854   1811163      3450     15221    955734     99814   2735245  16826651     16.99     18.86
4644.89/1164.51	c  N dy  6911   1836863      3450     15221    955734     67321   2735245   9349850     16.97     17.90
4683.97/1174.32	c  N dy  6965   1857079      3450     15221    955734     87062   2735245  13541776     16.95     18.12
4733.04/1186.62	c  N dy  7043   1877170      3450     15221    955734    106688   2735245  18453599     16.96     19.74
4790.48/1201.06	c  N dy  7162   1897223      3450     15221    955734     67691   2735245   9014209     16.99     18.00

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-3366711-1305433574/watcher-3366711-1305433574 -o /tmp/evaluation-result-3366711-1305433574/solver-3366711-1305433574 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366711-1305433574.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.99 4.06 4.91 6/353 31143
/proc/meminfo: memFree=23922264/32950928 swapFree=45937192/67111528
[pid=31143] ppid=31141 vsize=51168 CPUtime=0.02 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) R 31141 31143 31072 0 -1 4202496 413 0 0 0 2 0 0 0 25 0 4 0 654954161 52396032 353 33554432000 4194304 4580107 140733302726544 18446744073709551615 47216506668563 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31143/statm: 12792 353 302 95 0 7774 0
[pid=31143/tid=31144] ppid=31141 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 654954161 52396032 353 33554432000 4194304 4580107 140733302726544 18446744073709551615 47216506668982 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 654954161 52396032 353 33554432000 4194304 4580107 140733302726544 18446744073709551615 47216506668569 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 654954161 52396032 353 33554432000 4194304 4580107 140733302726544 18446744073709551615 47216506668569 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0889089 s]
/proc/loadavg: 3.99 4.06 4.91 6/353 31143
/proc/meminfo: memFree=23922264/32950928 swapFree=45937192/67111528
[pid=31143] ppid=31141 vsize=293152 CPUtime=0.31 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) R 31141 31143 31072 0 -1 4202496 11729 0 0 0 27 4 0 0 18 0 4 0 654954161 300187648 11508 33554432000 4194304 4580107 140733302726544 18446744073709551615 4354942 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31143/statm: 73321 11561 336 95 0 68303 0
[pid=31143/tid=31144] ppid=31141 vsize=293416 CPUtime=0.06 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) D 31141 31143 31072 0 -1 4202560 2800 0 0 0 5 1 0 0 18 0 4 0 654954161 300457984 11685 33554432000 4194304 4580107 140733302726544 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=293548 CPUtime=0.07 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) D 31141 31143 31072 0 -1 4202560 2807 0 0 0 7 0 0 0 18 0 4 0 654954161 300593152 11737 33554432000 4194304 4580107 140733302726544 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=293680 CPUtime=0.07 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) D 31141 31143 31072 0 -1 4202560 3155 0 0 0 7 0 0 0 18 0 4 0 654954161 300728320 11852 33554432000 4194304 4580107 140733302726544 18446744073709551615 254500352709 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 293152

[startup+0.106323 s]
/proc/loadavg: 3.99 4.06 4.91 6/353 31143
/proc/meminfo: memFree=23922264/32950928 swapFree=45937192/67111528
[pid=31143] ppid=31141 vsize=295800 CPUtime=0.38 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) D 31141 31143 31072 0 -1 4202496 14361 0 0 0 33 5 0 0 18 0 4 0 654954161 302899200 14140 33554432000 4194304 4580107 140733302726544 18446744073709551615 254500735159 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31143/statm: 74017 14453 336 95 0 68999 0
[pid=31143/tid=31144] ppid=31141 vsize=296332 CPUtime=0.09 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 3553 0 0 0 7 2 0 0 18 0 4 0 654954161 303443968 14658 33554432000 4194304 4580107 140733302726544 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=296332 CPUtime=0.09 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 3576 0 0 0 8 1 0 0 18 0 4 0 654954161 303443968 14734 33554432000 4194304 4580107 140733302726544 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=296464 CPUtime=0.09 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) D 31141 31143 31072 0 -1 4202560 3828 0 0 0 9 0 0 0 18 0 4 0 654954161 303579136 14778 33554432000 4194304 4580107 140733302726544 18446744073709551615 254500352709 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 295800

[startup+0.707672 s]
/proc/loadavg: 3.99 4.06 4.91 6/353 31143
/proc/meminfo: memFree=23922264/32950928 swapFree=45937192/67111528
[pid=31143] ppid=31141 vsize=307660 CPUtime=2.75 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) D 31141 31143 31072 0 -1 4202496 33651 0 0 0 264 11 0 0 18 0 4 0 654954161 315043840 32252 33554432000 4194304 4580107 140733302726544 18446744073709551615 254500353057 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31143/statm: 76915 32280 369 95 0 71897 0
[pid=31143/tid=31144] ppid=31141 vsize=307660 CPUtime=0.67 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) D 31141 31143 31072 0 -1 4202560 8490 0 0 0 64 3 0 0 18 0 4 0 654954161 315043840 32331 33554432000 4194304 4580107 140733302726544 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=307660 CPUtime=0.67 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 8385 0 0 0 65 2 0 0 18 0 4 0 654954161 315043840 32357 33554432000 4194304 4580107 140733302726544 18446744073709551615 254500735159 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=307660 CPUtime=0.69 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 7825 0 0 0 68 1 0 0 18 0 4 0 654954161 315043840 32368 33554432000 4194304 4580107 140733302726544 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 307660

[startup+0.841691 s]
/proc/loadavg: 3.99 4.06 4.91 6/353 31143
/proc/meminfo: memFree=23922264/32950928 swapFree=45937192/67111528
[pid=31143] ppid=31141 vsize=308056 CPUtime=3.24 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) R 31141 31143 31072 0 -1 4202496 40835 0 0 0 309 15 0 0 18 0 4 0 654954161 315449344 39435 33554432000 4194304 4580107 140733302726544 18446744073709551615 4490771 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31143/statm: 77014 39435 371 95 0 71996 0
[pid=31143/tid=31144] ppid=31141 vsize=308056 CPUtime=0.79 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 10727 0 0 0 74 5 0 0 18 0 4 0 654954161 315449344 39435 33554432000 4194304 4580107 140733302726544 18446744073709551615 4292054 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=308056 CPUtime=0.79 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 10707 0 0 0 76 3 0 0 18 0 4 0 654954161 315449344 39435 33554432000 4194304 4580107 140733302726544 18446744073709551615 4491541 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=308056 CPUtime=0.82 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 8182 0 0 0 81 1 0 0 18 0 4 0 654954161 315449344 39435 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.24
Current children cumulated vsize (KiB) 308056

[startup+1.51356 s]
/proc/loadavg: 4.47 4.16 4.93 9/357 31147
/proc/meminfo: memFree=23708828/32950928 swapFree=45937192/67111528
[pid=31143] ppid=31141 vsize=309744 CPUtime=5.9 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) R 31141 31143 31072 0 -1 4202496 55827 0 0 0 571 19 0 0 18 0 4 0 654954161 317177856 51669 33554432000 4194304 4580107 140733302726544 18446744073709551615 4316638 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31143/statm: 77436 51669 376 95 0 72418 0
[pid=31143/tid=31144] ppid=31141 vsize=309744 CPUtime=1.45 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 14955 0 0 0 139 6 0 0 18 0 4 0 654954161 317177856 51669 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=309744 CPUtime=1.46 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 15000 0 0 0 141 5 0 0 18 0 4 0 654954161 317177856 51669 33554432000 4194304 4580107 140733302726544 18446744073709551615 4318458 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=309744 CPUtime=1.49 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 10383 0 0 0 147 2 0 0 18 0 4 0 654954161 317177856 51669 33554432000 4194304 4580107 140733302726544 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 309744

[startup+3.10024 s]
/proc/loadavg: 4.47 4.16 4.93 9/357 31147
/proc/meminfo: memFree=23693700/32950928 swapFree=45937192/67111528
[pid=31143] ppid=31141 vsize=334908 CPUtime=12.23 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) R 31141 31143 31072 0 -1 4202496 73843 0 0 0 1201 22 0 0 21 0 4 0 654954161 342945792 57913 33554432000 4194304 4580107 140733302726544 18446744073709551615 4321069 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31143/statm: 83727 57915 376 95 0 78709 0
[pid=31143/tid=31144] ppid=31141 vsize=334908 CPUtime=3.03 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 20169 0 0 0 295 8 0 0 21 0 4 0 654954161 342945792 57915 33554432000 4194304 4580107 140733302726544 18446744073709551615 4324126 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=334908 CPUtime=3.05 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 18763 0 0 0 300 5 0 0 21 0 4 0 654954161 342945792 57915 33554432000 4194304 4580107 140733302726544 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=334908 CPUtime=3.08 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 14976 0 0 0 305 3 0 0 21 0 4 0 654954161 342945792 57915 33554432000 4194304 4580107 140733302726544 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 334908

[startup+6.30061 s]
/proc/loadavg: 4.75 4.22 4.95 9/357 31147
/proc/meminfo: memFree=23608616/32950928 swapFree=45937192/67111528
[pid=31143] ppid=31141 vsize=417472 CPUtime=24.99 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) R 31141 31143 31072 0 -1 4202496 106407 0 0 0 2471 28 0 0 25 0 4 0 654954161 427491328 65852 33554432000 4194304 4580107 140733302726544 18446744073709551615 4248391 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31143/statm: 104368 65852 378 95 0 99350 0
[pid=31143/tid=31144] ppid=31141 vsize=417472 CPUtime=6.19 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 27382 0 0 0 610 9 0 0 25 0 4 0 654954161 427491328 65852 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=417472 CPUtime=6.24 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 27592 0 0 0 618 6 0 0 25 0 4 0 654954161 427491328 65852 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294171 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=417472 CPUtime=6.27 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 23337 0 0 0 623 4 0 0 25 0 4 0 654954161 427491328 65852 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.99
Current children cumulated vsize (KiB) 417472

[startup+12.7003 s]
/proc/loadavg: 5.01 4.29 4.96 9/357 31148
/proc/meminfo: memFree=23488928/32950928 swapFree=45937192/67111528
[pid=31143] ppid=31141 vsize=495896 CPUtime=50.51 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) R 31141 31143 31072 0 -1 4202496 128796 0 0 0 5020 31 0 0 25 0 4 0 654954161 507797504 79776 33554432000 4194304 4580107 140733302726544 18446744073709551615 4413356 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31143/statm: 123974 79776 378 95 0 118956 0
[pid=31143/tid=31144] ppid=31141 vsize=495896 CPUtime=12.52 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 30613 0 0 0 1242 10 0 0 25 0 4 0 654954161 507797504 79776 33554432000 4194304 4580107 140733302726544 18446744073709551615 4413635 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=495896 CPUtime=12.64 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 33165 0 0 0 1257 7 0 0 25 0 4 0 654954161 507797504 79776 33554432000 4194304 4580107 140733302726544 18446744073709551615 4413658 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=495896 CPUtime=12.67 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 32960 0 0 0 1262 5 0 0 25 0 4 0 654954161 507797504 79776 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.51
Current children cumulated vsize (KiB) 495896

[startup+25.5008 s]
/proc/loadavg: 5.47 4.41 5.00 9/357 31148
/proc/meminfo: memFree=23206328/32950928 swapFree=45937192/67111528
[pid=31143] ppid=31141 vsize=768324 CPUtime=101.58 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) R 31141 31143 31072 0 -1 4202496 206145 0 0 0 10113 45 0 0 25 0 4 0 654954161 786763776 130021 33554432000 4194304 4580107 140733302726544 18446744073709551615 4413647 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31143/statm: 192081 130021 378 95 0 187063 0
[pid=31143/tid=31144] ppid=31141 vsize=768324 CPUtime=25.19 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 45949 0 0 0 2506 13 0 0 25 0 4 0 654954161 786763776 130021 33554432000 4194304 4580107 140733302726544 18446744073709551615 4230186 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=768324 CPUtime=25.44 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 50654 0 0 0 2535 9 0 0 25 0 4 0 654954161 786763776 130021 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=768324 CPUtime=25.47 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 55705 0 0 0 2537 10 0 0 25 0 4 0 654954161 786763776 130021 33554432000 4194304 4580107 140733302726544 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.58
Current children cumulated vsize (KiB) 768324

[startup+51.1007 s]
/proc/loadavg: 6.47 4.75 5.09 9/357 31149
/proc/meminfo: memFree=22859548/32950928 swapFree=45937192/67111528
[pid=31143] ppid=31141 vsize=1052768 CPUtime=203.69 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) R 31141 31143 31072 0 -1 4202496 285976 0 0 0 20309 60 0 0 25 0 4 0 654954161 1078034432 185296 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294517 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31143/statm: 263192 185297 378 95 0 258174 0
[pid=31143/tid=31144] ppid=31141 vsize=1052768 CPUtime=50.49 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 67922 0 0 0 5032 17 0 0 25 0 4 0 654954161 1078034432 185297 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=1052768 CPUtime=51.05 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 64268 0 0 0 5093 12 0 0 25 0 4 0 654954161 1078034432 185297 33554432000 4194304 4580107 140733302726544 18446744073709551615 4416997 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=1052768 CPUtime=51.07 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 84410 0 0 0 5092 15 0 0 25 0 4 0 654954161 1078034432 185297 33554432000 4194304 4580107 140733302726544 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.69
Current children cumulated vsize (KiB) 1052768

[startup+102.3 s]
/proc/loadavg: 7.46 5.28 5.25 9/357 31150
/proc/meminfo: memFree=22707248/32950928 swapFree=45937192/67111528
[pid=31143] ppid=31141 vsize=1250948 CPUtime=407.93 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) R 31141 31143 31072 0 -1 4202496 439306 0 0 0 40704 89 0 0 25 0 4 0 654954161 1280970752 207543 33554432000 4194304 4580107 140733302726544 18446744073709551615 4451900 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31143/statm: 312737 207543 378 95 0 307719 0
[pid=31143/tid=31144] ppid=31141 vsize=1250948 CPUtime=101.14 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 100605 0 0 0 10090 24 0 0 25 0 4 0 654954161 1280970752 207543 33554432000 4194304 4580107 140733302726544 18446744073709551615 4413250 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=1250948 CPUtime=102.25 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 95450 0 0 0 10207 18 0 0 25 0 4 0 654954161 1280970752 207543 33554432000 4194304 4580107 140733302726544 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=1250948 CPUtime=102.28 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 135941 0 0 0 10203 25 0 0 25 0 4 0 654954161 1280970752 207543 33554432000 4194304 4580107 140733302726544 18446744073709551615 4417020 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.93
Current children cumulated vsize (KiB) 1250948

[startup+162.301 s]

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

[pid=31143] ppid=31141 vsize=1989140 CPUtime=2561.9 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) R 31141 31143 31072 0 -1 4202496 1953302 0 0 0 255758 432 0 0 25 0 4 0 654954161 2036879360 371042 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31143/statm: 497285 371043 378 95 0 492267 0
[pid=31143/tid=31144] ppid=31141 vsize=1989140 CPUtime=635.22 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 492267 0 0 0 63414 108 0 0 25 0 4 0 654954161 2036879360 371043 33554432000 4194304 4580107 140733302726544 18446744073709551615 4417015 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=1989140 CPUtime=642.25 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 490606 0 0 0 64107 118 0 0 25 0 4 0 654954161 2036879360 371043 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=1989140 CPUtime=642.27 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 517027 0 0 0 64122 105 0 0 25 0 4 0 654954161 2036879360 371043 33554432000 4194304 4580107 140733302726544 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2561.9
Current children cumulated vsize (KiB) 1989140

[startup+702.301 s]
/proc/loadavg: 8.11 7.72 6.59 9/357 31166
/proc/meminfo: memFree=21556776/32950928 swapFree=45937192/67111528
[pid=31143] ppid=31141 vsize=2164884 CPUtime=2801.23 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) R 31141 31143 31072 0 -1 4202496 2092604 0 0 0 279657 466 0 0 25 0 4 0 654954161 2216841216 384530 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31143/statm: 541221 384530 378 95 0 536203 0
[pid=31143/tid=31144] ppid=31141 vsize=2164884 CPUtime=694.57 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 520256 0 0 0 69342 115 0 0 25 0 4 0 654954161 2216841216 384530 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=2164884 CPUtime=702.24 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 533440 0 0 0 70095 129 0 0 25 0 4 0 654954161 2216841216 384530 33554432000 4194304 4580107 140733302726544 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=2164884 CPUtime=702.27 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 546641 0 0 0 70115 112 0 0 25 0 4 0 654954161 2216841216 384530 33554432000 4194304 4580107 140733302726544 18446744073709551615 4305296 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2801.23
Current children cumulated vsize (KiB) 2164884

[startup+762.301 s]
/proc/loadavg: 8.09 7.78 6.68 9/357 31167
/proc/meminfo: memFree=21477128/32950928 swapFree=45937192/67111528
[pid=31143] ppid=31141 vsize=2397904 CPUtime=3040.57 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) R 31141 31143 31072 0 -1 4202496 2222279 0 0 0 303559 498 0 0 25 0 4 0 654954161 2455453696 400995 33554432000 4194304 4580107 140733302726544 18446744073709551615 4416709 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31143/statm: 599476 400996 378 95 0 594458 0
[pid=31143/tid=31144] ppid=31141 vsize=2397904 CPUtime=753.92 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 555836 0 0 0 75267 125 0 0 25 0 4 0 654954161 2455453696 400996 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=2397904 CPUtime=762.24 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 561396 0 0 0 76088 136 0 0 25 0 4 0 654954161 2455453696 400996 33554432000 4194304 4580107 140733302726544 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=2397904 CPUtime=762.28 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 582686 0 0 0 76106 122 0 0 25 0 4 0 654954161 2455453696 400996 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3040.57
Current children cumulated vsize (KiB) 2397904

[startup+822.301 s]
/proc/loadavg: 8.15 7.85 6.77 9/357 31169
/proc/meminfo: memFree=21423748/32950928 swapFree=45937192/67111528
[pid=31143] ppid=31141 vsize=2413352 CPUtime=3279.9 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) R 31141 31143 31072 0 -1 4202496 2371301 0 0 0 327455 535 0 0 25 0 4 0 654954161 2471272448 400693 33554432000 4194304 4580107 140733302726544 18446744073709551615 4316692 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31143/statm: 603338 400693 378 95 0 598320 0
[pid=31143/tid=31144] ppid=31141 vsize=2413352 CPUtime=813.26 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 594910 0 0 0 81191 135 0 0 25 0 4 0 654954161 2471272448 400693 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=2413352 CPUtime=822.24 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 598794 0 0 0 82079 145 0 0 25 0 4 0 654954161 2471272448 400693 33554432000 4194304 4580107 140733302726544 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=2413352 CPUtime=822.27 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 619757 0 0 0 82097 130 0 0 25 0 4 0 654954161 2471272448 400693 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3279.9
Current children cumulated vsize (KiB) 2413352

[startup+882.3 s]
/proc/loadavg: 8.05 7.87 6.85 9/357 31171
/proc/meminfo: memFree=21380076/32950928 swapFree=45937192/67111528
[pid=31143] ppid=31141 vsize=2263512 CPUtime=3519.24 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) R 31141 31143 31072 0 -1 4202496 2523404 0 0 0 351353 571 0 0 25 0 4 0 654954161 2317836288 394639 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31143/statm: 565878 394639 378 95 0 560860 0
[pid=31143/tid=31144] ppid=31141 vsize=2263512 CPUtime=872.61 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 630892 0 0 0 87118 143 0 0 25 0 4 0 654954161 2317836288 394639 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=2263512 CPUtime=882.24 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 637840 0 0 0 88070 154 0 0 25 0 4 0 654954161 2317836288 394639 33554432000 4194304 4580107 140733302726544 18446744073709551615 4316297 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=2263512 CPUtime=882.27 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 658050 0 0 0 88089 138 0 0 25 0 4 0 654954161 2317836288 394639 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3519.24
Current children cumulated vsize (KiB) 2263512

[startup+942.3 s]
/proc/loadavg: 8.02 7.89 6.92 9/357 31172
/proc/meminfo: memFree=21260140/32950928 swapFree=45937192/67111528
[pid=31143] ppid=31141 vsize=2442220 CPUtime=3758.55 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) R 31141 31143 31072 0 -1 4202496 2647281 0 0 0 375252 603 0 0 25 0 4 0 654954161 2500833280 398783 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294380 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31143/statm: 610555 398783 378 95 0 605537 0
[pid=31143/tid=31144] ppid=31141 vsize=2442220 CPUtime=931.95 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 660196 0 0 0 93044 151 0 0 25 0 4 0 654954161 2500833280 398783 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=2442220 CPUtime=942.24 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 676811 0 0 0 94057 167 0 0 25 0 4 0 654954161 2500833280 398783 33554432000 4194304 4580107 140733302726544 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=2442220 CPUtime=942.27 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 675710 0 0 0 94085 142 0 0 25 0 4 0 654954161 2500833280 398783 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3758.55
Current children cumulated vsize (KiB) 2442220

[startup+1002.3 s]
/proc/loadavg: 8.00 7.91 6.98 9/357 31174
/proc/meminfo: memFree=20983092/32950928 swapFree=45937192/67111528
[pid=31143] ppid=31141 vsize=2716156 CPUtime=3997.9 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) R 31141 31143 31072 0 -1 4202496 2800011 0 0 0 399152 638 0 0 25 0 4 0 654954161 2781343744 449839 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31143/statm: 679039 449839 378 95 0 674021 0
[pid=31143/tid=31144] ppid=31141 vsize=2716156 CPUtime=991.29 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 685513 0 0 0 98973 156 0 0 25 0 4 0 654954161 2781343744 449839 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=2716156 CPUtime=1002.24 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 739751 0 0 0 100047 177 0 0 25 0 4 0 654954161 2781343744 449839 33554432000 4194304 4580107 140733302726544 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=2716156 CPUtime=1002.27 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 703507 0 0 0 100077 150 0 0 25 0 4 0 654954161 2781343744 449839 33554432000 4194304 4580107 140733302726544 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3997.9
Current children cumulated vsize (KiB) 2716156

[startup+1062.3 s]
/proc/loadavg: 8.13 7.96 7.05 9/357 31175
/proc/meminfo: memFree=21123796/32950928 swapFree=45937192/67111528
[pid=31143] ppid=31141 vsize=2559588 CPUtime=4237.23 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) R 31141 31143 31072 0 -1 4202496 2922560 0 0 0 423052 671 0 0 25 0 4 0 654954161 2621018112 446257 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31143/statm: 639897 446257 378 95 0 634879 0
[pid=31143/tid=31144] ppid=31141 vsize=2559588 CPUtime=1050.94 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 721150 0 0 0 104928 166 0 0 25 0 4 0 654954161 2621018112 446257 33554432000 4194304 4580107 140733302726544 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=2559588 CPUtime=1061.94 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 761679 0 0 0 106011 183 0 0 25 0 4 0 654954161 2621018112 446257 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=2559588 CPUtime=1062.27 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 739616 0 0 0 106067 160 0 0 25 0 4 0 654954161 2621018112 446257 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4237.23
Current children cumulated vsize (KiB) 2559588

[startup+1122.3 s]
/proc/loadavg: 8.11 7.98 7.12 9/357 31177
/proc/meminfo: memFree=20995040/32950928 swapFree=45937192/67111528
[pid=31143] ppid=31141 vsize=2744192 CPUtime=4476.6 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) R 31141 31143 31072 0 -1 4202496 3042692 0 0 0 446957 703 0 0 25 0 4 0 654954161 2810052608 459873 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294517 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31143/statm: 686048 459873 378 95 0 681030 0
[pid=31143/tid=31144] ppid=31141 vsize=2744192 CPUtime=1110.93 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 752930 0 0 0 110918 175 0 0 25 0 4 0 654954161 2810052608 459873 33554432000 4194304 4580107 140733302726544 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=2744192 CPUtime=1121.29 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 798976 0 0 0 111936 193 0 0 25 0 4 0 654954161 2810052608 459873 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=2744192 CPUtime=1122.28 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 769473 0 0 0 112060 168 0 0 25 0 4 0 654954161 2810052608 459873 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4476.6
Current children cumulated vsize (KiB) 2744192

[startup+1182.3 s]
/proc/loadavg: 8.16 8.01 7.18 9/357 31179
/proc/meminfo: memFree=20964008/32950928 swapFree=45937192/67111528
[pid=31143] ppid=31141 vsize=2760580 CPUtime=4715.89 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) R 31141 31143 31072 0 -1 4202496 3184580 0 0 0 470851 738 0 0 25 0 4 0 654954161 2826833920 448002 33554432000 4194304 4580107 140733302726544 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31143/statm: 690145 448002 378 95 0 685127 0
[pid=31143/tid=31144] ppid=31141 vsize=2760580 CPUtime=1170.91 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 790308 0 0 0 116906 185 0 0 25 0 4 0 654954161 2826833920 448002 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=2760580 CPUtime=1180.63 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 826386 0 0 0 117863 200 0 0 25 0 4 0 654954161 2826833920 448002 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=2760580 CPUtime=1182.27 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 805708 0 0 0 118050 177 0 0 25 0 4 0 654954161 2826833920 448002 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4715.89
Current children cumulated vsize (KiB) 2760580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 7.86 7.96 7.18 5/349 31197
/proc/meminfo: memFree=22292148/32950928 swapFree=45937192/67111528
[pid=31143] ppid=31141 vsize=2583988 CPUtime=4800.09 cores=0,2,4,6
/proc/31143/stat : 31143 (strangenight2-m) R 31141 31143 31072 0 -1 4202496 3230103 0 0 0 479260 749 0 0 25 0 4 0 654954161 2646003712 449258 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31143/statm: 645997 449258 378 95 0 640979 0
[pid=31143/tid=31144] ppid=31141 vsize=2583988 CPUtime=1192.02 cores=0,2,4,6
/proc/31143/task/31144/stat : 31144 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 797833 0 0 0 119014 188 0 0 25 0 4 0 654954161 2646003712 449258 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=31143/tid=31145] ppid=31141 vsize=2583988 CPUtime=1201.51 cores=0,2,4,6
/proc/31143/task/31145/stat : 31145 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 842669 0 0 0 119947 204 0 0 25 0 4 0 654954161 2646003712 449258 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31143/tid=31146] ppid=31141 vsize=2583988 CPUtime=1203.38 cores=0,2,4,6
/proc/31143/task/31146/stat : 31146 (strangenight2-m) R 31141 31143 31072 0 -1 4202560 812800 0 0 0 120159 179 0 0 25 0 4 0 654954161 2646003712 449258 33554432000 4194304 4580107 140733302726544 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.09
Current children cumulated vsize (KiB) 2583988

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): 1203.49
CPU time (s): 4800.2
CPU user time (s): 4792.62
CPU system time (s): 7.57285
CPU usage (%): 398.856
Max. virtual memory (cumulated for all children) (KiB): 2801016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.62
system time used= 7.57285
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3230108
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= 18137
involuntary context switches= 21299

runsolver used 3.76643 second user time and 9.41257 second system time

The end

Launcher Data 

Begin job on node149 at 2011-05-15 06:26:15
IDJOB=3366711
IDBENCH=88208
IDSOLVER=1844
FILE ID=node149/3366711-1305433574
RUNJOBID= node149-1305433569-31090
PBS_JOBID= 13324634
Free space on /tmp= 73596 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1504.5-n60-p15-s80450670.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366711-1305433574/watcher-3366711-1305433574 -o /tmp/evaluation-result-3366711-1305433574/solver-3366711-1305433574 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366711-1305433574.cnf

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

MD5SUM BENCH= 78d8e2b8c0fd15b93f96e38e33701f17
RANDOM SEED=1800011565

node149.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	: 5332.83
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.83
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.73
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.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.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.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.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:     32950928 kB
MemFree:      23922544 kB
Buffers:        316768 kB
Cached:        3921704 kB
SwapCached:      19984 kB
Active:        6508548 kB
Inactive:      2222912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23922544 kB
SwapTotal:    67111528 kB
SwapFree:     45937192 kB
Dirty:           30484 kB
Writeback:           0 kB
AnonPages:     4485608 kB
Mapped:          14512 kB
Slab:           158052 kB
PageTables:      71780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 80431504 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= 73604 MiB
End job on node149 at 2011-05-15 06:46:20