Trace number 3251595

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.43 1201.96

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf
MD5SUM08b4f1e095a7a4b98cb40c2c00e78d45
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.477926
Satisfiable
(Un)Satisfiability was proved
Number of variables952
Number of clauses84809
Sum of the clauses size170510
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 284779
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 530

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3251595-1304182915.cnf'
0.00/0.00	c -- header says num vars:            952
0.00/0.00	c -- header says num clauses:       84809
0.00/0.02	c -- clauses added:            0 learnts,        84809 normals,            0 xors
0.00/0.02	c -- vars added        952
0.00/0.02	c Parsing time:  0.06 s
0.00/0.02	c  N st     0         0       952        30     84779         0    170510         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/30/30 lits-rem:0 time: 0.00
0.00/0.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
0.00/0.05	c bin-w-bin subsume rem            0 bins  time:  0.05 s
0.20/0.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
0.20/0.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    952 time:  0.03 s
0.20/0.08	c Removed useless bin:       0  fixed:     0  props:   0.43M  time:  0.03 s
0.20/0.10	c lits-rem:       578  cl-subs:        0  v-elim:     30  v-fix:    0  time:  0.09 s
0.20/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.20/0.10	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.20/0.10	c calculated reachability. Time: 0.00
0.20/0.10	c Calc default polars -  time:   0.00 s pos:       0 undec:      30 neg:     922
0.20/0.10	c =========================================================================================
0.20/0.10	c types(t): F = full restart, N = normal restart
0.20/0.10	c types(t): S = simplification begin/end, E = solution found
0.20/0.10	c restart types(rt): st = static, dy = dynamic
0.20/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.20/0.10	c  B st     0         0       922      2122     81735         0    243038         0   no data   no data  --
0.20/0.61	c  N dy    14      4135       922      2122     81737      3974    243038    119134      8.59      9.19  --
0.20/0.61	c  N dy    37      8177       922      2122     81738      5462    243038    133398      8.78     15.90  --
0.20/0.91	c  N dy    56     12577       922      2122     81740      5622    243038    139823      8.72      9.42  --
3.80/1.01	c  N dy    78     16994       922      2122     81744      9885    243038    307194      8.95      9.87  --
4.60/1.21	c  N dy   101     21113       922      2122     81747      8397    243038    201407      9.05      9.53  --
5.41/1.40	c  F st   119     25002       922      2122     81750     12090    243038    301825      9.01      8.20  --
5.41/1.43	c  N st   120     25252       922      2122     81750     12328    243038    310904      9.01   no data  --
6.38/1.69	c  N dy   125     30000       922      2122     81752     10375    243038    342995      9.01   no data  --
6.38/1.69	c  S st   125     30000       922      2122     81752     10375    243038    342995      9.01   no data  --
6.78/1.71	c  S st   125     30505       922      2122     81752     10875    243036    387117      9.01   no data  --
6.78/1.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
6.78/1.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.19/1.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.4M T:  0.36
7.19/1.83	c bin-w-bin subsume rem            0 bins  time:  0.05 s
11.99/3.04	c subs with bin:      336  lits-rem:      3951  v-fix:    0  time:  4.81 s
11.99/3.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    922 time:  0.03 s
11.99/3.06	c Removed useless bin:       0  fixed:     0  props:   0.41M  time:  0.03 s
19.15/4.87	c lits-rem:      1729  cl-subs:     1474  v-elim:      0  v-fix:    0  time:  7.24 s
19.55/4.97	c asymm  cl-useful: 1174/2092/2122 lits-rem:9719 time: 0.41
19.55/4.98	c calculated reachability. Time: 0.00
19.55/4.98	c  N dy   125     30505       922      2122     81752      9065    228290    351006      9.01   no data  --
20.78/5.23	c  N dy   159     34906       922      2122     81753     13303    228290    535564      9.35     10.00  --
21.55/5.49	c  N dy   179     39218       922      2122     81757      9834    228290    268130      9.37      9.92  --
22.75/5.75	c  N dy   192     43298       922      2122     81757     13724    228290    399573      9.36     12.63  --
23.55/5.93	c  S st   205     45758       922      2122     81759     16094    228290    493458      9.37   no data  --
23.55/5.96	c  S st   205     46260       922      2122     81759     16589    228290    536813      9.37   no data  --
23.55/5.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
23.55/5.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.95/6.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.3M T:  0.47
24.35/6.11	c bin-w-bin subsume rem            0 bins  time:  0.05 s
29.16/7.34	c subs with bin:        0  lits-rem:        64  v-fix:    0  time:  4.89 s
29.16/7.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    922 time:  0.04 s
29.16/7.36	c Removed useless bin:       0  fixed:     0  props:   0.41M  time:  0.03 s
40.33/10.20	c lits-rem:      2936  cl-subs:     1181  v-elim:      0  v-fix:    0  time: 11.34 s
40.73/10.20	c vivif2 --  cl tried     2122 cl shrink      286 lits rem        291 time: 0.00
40.73/10.22	c vivif2 --  cl tried    15408 cl shrink     1305 lits rem       1708 time: 0.09
41.13/10.32	c asymm  cl-useful: 0/2122/2122 lits-rem:0 time: 0.41
41.13/10.33	c calculated reachability. Time: 0.00
41.13/10.33	c  N dy   205     46260       922      2122     81760     15407    227905    506758      9.37   no data  --
41.93/10.59	c  N dy   219     50315       922      2122     81786     10733    227905    236624      9.31      9.93  --
43.12/10.82	c  N dy   245     54425       921      2122     81786     14701    227905    475168      9.63     10.23  --
43.92/11.07	c  N dy   265     58604       921      2122     81789     18689    227905    661327      9.66     10.18  --
45.13/11.33	c  N dy   287     62687       921      2122     81795     13101    227905    373867      9.74     21.64  --
46.32/11.62	c  N dy   311     67053       921      2122     81795     17323    227905    595613      9.88     10.45  --
47.14/11.81	c  S st   318     69391       921      2122     81799     19561    227905    662181      9.84      9.83  --
47.14/11.84	c  S st   318     69895       921      2122     81799     20063    227905    696995      9.84   no data  --
47.14/11.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
47.14/11.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.52/11.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.6M T:  0.55
47.92/12.02	c bin-w-bin subsume rem            1 bins  time:  0.05 s
52.71/13.28	c subs with bin:       55  lits-rem:         1  v-fix:    0  time:  5.02 s
52.71/13.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    921 time:  0.04 s
53.11/13.30	c Removed useless bin:       0  fixed:     0  props:   0.40M  time:  0.03 s
66.69/16.73	c lits-rem:      3656  cl-subs:     1523  v-elim:      0  v-fix:    0  time: 13.71 s
66.69/16.73	c vivif2 --  cl tried     2104 cl shrink       27 lits rem         42 time: 0.00
66.69/16.76	c vivif2 --  cl tried    15757 cl shrink     1867 lits rem       2320 time: 0.09
67.49/16.90	c asymm  cl-useful: 0/2104/2104 lits-rem:0 time: 0.56
67.49/16.90	c calculated reachability. Time: 0.00
67.49/16.90	c  N dy   318     69895       921      2104     81518     15757    226937    615449      9.84   no data  --
68.71/17.27	c  N dy   335     74845       921      2104     81518     11331    226937    269050      9.82     10.34  --
69.89/17.58	c  N dy   362     79678       920      2104     81543     15952    226937    511489      9.89     10.45  --
71.48/17.97	c  N dy   390     84856       920      2104     81545     20967    226937    762686      9.92     15.44  --
72.28/18.16	c  F st   397     87500       920      2104     81550     12656    226937    293054      9.87      9.02  --
73.10/18.39	c  N st   402     90794       920      2086     81267     14786    226023    374244      9.87   no data  --
75.08/18.86	c  N dy   423     96855       920      2086     81273     20522    226023    586212      9.87     10.49  --
77.08/19.33	c  N dy   452    103196       920      2086     81276     14976    226023    357704      9.85     10.38  --
77.49/19.43	c  S st   464    104845       920      2086     81277     16569    226023    460100      9.89      8.88  --
77.49/19.45	c  S st   464    105347       920      2086     81277     17070    226023    506960      9.89   no data  --
77.49/19.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
77.49/19.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
77.90/19.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.6M T:  0.46
78.27/19.60	c bin-w-bin subsume rem            0 bins  time:  0.04 s
83.06/20.82	c subs with bin:       11  lits-rem:       296  v-fix:    0  time:  4.87 s
83.06/20.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    920 time:  0.04 s
83.06/20.83	c Removed useless bin:       0  fixed:     0  props:   0.40M  time:  0.03 s
94.65/23.76	c lits-rem:      2968  cl-subs:     1600  v-elim:      0  v-fix:    0  time: 11.69 s
94.65/23.76	c vivif2 --  cl tried     2086 cl shrink       34 lits rem         38 time: 0.00
94.65/23.79	c vivif2 --  cl tried    15459 cl shrink     2138 lits rem       2759 time: 0.09
95.47/23.91	c asymm  cl-useful: 0/2086/2086 lits-rem:0 time: 0.49
95.47/23.91	c calculated reachability. Time: 0.00
95.47/23.91	c  N dy   464    105347       920      2086     81279     15457    225973    476180      9.89   no data  --
97.45/24.43	c  N dy   509    112183       918      2086     81309     22074    225973    911812     10.04     10.58  --
99.87/25.07	c  N dy   542    119369       918      2086     81315     16038    225973    464236     10.11     18.23  --
102.24/25.68	c  N dy   598    127381       918      2086     81320     23833    225973   1034776     10.49     11.05  --
105.44/26.45	c  N dy   639    135955       918      2086     81326     17838    225973    530636     10.59     11.45  --
108.65/27.28	c  N dy   674    144985       918      2086     81335     26445    225973    985575     10.68     11.39  --
112.24/28.19	c  N dy   722    154328       918      2086     81348     20173    225973    670326     10.84     20.31  --
113.43/28.47	c  S st   749    158020       918      2086     81353     23789    225973   1034588     11.02   no data  --
113.83/28.52	c  S st   749    158521       918      2086     81353     24288    225973   1077388     11.02   no data  --
113.83/28.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
113.83/28.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
114.63/28.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  8.6M T:  0.72
114.63/28.75	c bin-w-bin subsume rem            2 bins  time:  0.05 s
119.82/30.02	c subs with bin:      145  lits-rem:       982  v-fix:    0  time:  5.06 s
119.82/30.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    918 time:  0.04 s
119.82/30.03	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
127.40/31.90	c lits-rem:      2400  cl-subs:     1240  v-elim:      0  v-fix:    0  time:  7.44 s
127.40/31.90	c vivif2 --  cl tried     2050 cl shrink       40 lits rem         65 time: 0.00
127.40/31.94	c vivif2 --  cl tried    19397 cl shrink     3523 lits rem       5512 time: 0.14
128.21/32.18	c asymm  cl-useful: 0/1964/2050 lits-rem:0 time: 0.97
128.21/32.19	c calculated reachability. Time: 0.00
128.21/32.19	c  N dy   749    158521       918      2050     80797     19391    224071    964241     11.02   no data  --
133.80/33.58	c  N dy   785    169963       917      2050     80811     15845    224071    453440     10.96     11.78  --
138.60/34.71	c  N dy   832    181296       917      2050     80816     26734    224071   1046531     10.95     11.56  --
144.59/36.20	c  N dy   877    193388       916      2050     80841     21851    224071    721224     10.94     11.53  --
149.37/37.48	c  N dy   933    205833       914      2050     80847     33870    224068   1662927     11.08     11.67  --
154.96/38.85	c  N dy   997    220450       914      2050     80853     30289    224068   1407040     11.23     11.94  --
160.97/40.31	c  N dy  1088    234633       914      2050     80863     25061    224068   1036425     11.50     12.20  --
161.75/40.58	c  S st  1111    237781       914      2050     80864     28142    224068   1340477     11.57   no data  --
162.16/40.62	c  S st  1111    238282       914      2050     80864     28639    224068   1369624     11.57   no data  --
162.16/40.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
162.16/40.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
162.96/40.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P:  9.5M T:  0.75
162.96/40.89	c bin-w-bin subsume rem            6 bins  time:  0.05 s
168.15/42.18	c subs with bin:       42  lits-rem:       222  v-fix:    0  time:  5.14 s
168.15/42.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    914 time:  0.04 s
168.15/42.19	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.03 s
174.16/43.66	c lits-rem:      1183  cl-subs:      570  v-elim:      0  v-fix:    0  time:  5.85 s
174.16/43.66	c vivif2 --  cl tried     1982 cl shrink       28 lits rem         38 time: 0.00
174.16/43.69	c vivif2 --  cl tried    18663 cl shrink     1184 lits rem       1795 time: 0.10
174.94/43.89	c asymm  cl-useful: 2/1982/1982 lits-rem:2 time: 0.81
174.94/43.89	c calculated reachability. Time: 0.00
174.94/43.89	c  N dy  1111    238282       914      1982     79748     18663    220588   1154239     11.57   no data  --
182.13/45.63	c  N dy  1195    253553       913      1982     79757     17907    220588    860397     11.86     18.65  --
190.92/47.88	c  N dy  1306    269887       913      1982     79759     33887    220586   2442503     12.20     12.88  --
199.71/50.05	c  N dy  1366    287175       913      1982     79763     31482    220586   1602331     12.19     33.67  --
210.09/52.61	c  F st  1467    306250       913      1982     79764     28986    220585   1618376     12.43      9.58  --
210.09/52.63	c  N st  1467    306250       913      1966     79497     26700    219786   1571567     12.43      9.58  --
222.89/55.88	c  N dy  1573    325808       913      1966     79501     24202    219785   1180795     12.74     22.48  --
238.86/59.85	c  N dy  1676    347571       912      1966     79527     45323    219784   3131395     12.90     13.62  --
244.47/61.23	c  S st  1747    357424       912      1966     79527     31544    219784   1713332     13.05     13.15  --
244.87/61.30	c  S st  1747    357927       912      1966     79527     32044    219784   1754627     13.05   no data  --
244.87/61.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
244.87/61.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
246.05/61.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 13.9M T:  1.41
246.44/61.74	c bin-w-bin subsume rem            0 bins  time:  0.05 s
252.04/63.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.45 s
252.04/63.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    912 time:  0.03 s
252.04/63.12	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
262.04/65.65	c lits-rem:       949  cl-subs:      573  v-elim:      0  v-fix:    0  time: 10.08 s
262.04/65.65	c vivif2 --  cl tried     1950 cl shrink        8 lits rem         10 time: 0.00
262.04/65.68	c vivif2 --  cl tried    26362 cl shrink      492 lits rem        569 time: 0.12
262.82/65.88	c asymm  cl-useful: 0/1586/1950 lits-rem:0 time: 0.82
262.82/65.89	c calculated reachability. Time: 0.00
262.82/65.89	c  N dy  1747    357927       912      1950     79243     26362    218963   1609833     13.05   no data  --
276.40/69.23	c  N dy  1810    378172       912      1950     79259     23609    218962   1048769     13.03     14.08  --
288.81/72.35	c  N dy  1880    399161       911      1950     79273     43852    218962   2655993     13.07     13.78  --
301.98/75.61	c  N dy  1978    420153       911      1950     79276     39655    218962   2442937     13.24     14.21  --
317.54/79.55	c  N dy  2107    441075       910      1950     79277     33610    218961   1833854     13.47     14.22  --
334.32/83.73	c  N dy  2188    462480       910      1950     79283     54406    218961   3908076     13.54     14.42  --
349.51/87.57	c  N dy  2320    482488       910      1950     79283     46134    218961   3171473     13.80     14.61  --
371.07/92.91	c  N dy  2464    503392       910      1950     79284     37496    218961   2143794     14.06     14.90  --
388.65/97.30	c  N dy  2587    523434       910      1950     79287     57082    218961   4194396     14.20     23.28  --
397.44/99.60	c  S st  2637    536890       910      1950     79287     39998    218961   2402033     14.24     10.43  --
397.84/99.69	c  S st  2637    537391       910      1950     79287     40498    218961   2439937     14.24   no data  --
397.84/99.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
397.84/99.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
399.84/100.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 19.9M T:  1.84
400.24/100.26	c bin-w-bin subsume rem            0 bins  time:  0.04 s
405.82/101.65	c subs with bin:        8  lits-rem:        38  v-fix:    0  time:  5.57 s
405.82/101.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    910 time:  0.03 s
405.82/101.67	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
423.81/106.19	c lits-rem:       976  cl-subs:     1119  v-elim:      0  v-fix:    0  time: 18.04 s
423.81/106.19	c vivif2 --  cl tried     1918 cl shrink        9 lits rem         13 time: 0.00
424.21/106.23	c vivif2 --  cl tried    34627 cl shrink      724 lits rem       1034 time: 0.16
425.02/106.47	c asymm  cl-useful: 3/672/1918 lits-rem:3 time: 0.94
425.02/106.47	c calculated reachability. Time: 0.00
425.02/106.47	c  N dy  2637    537391       910      1918     78774     34625    217333   2301131     14.24   no data  --
443.37/111.02	c  N dy  2724    557414       909      1918     78777     54086    217332   4372040     14.28     16.40  --
460.95/115.48	c  N dy  2814    577484       909      1918     78777     44796    217332   3089088     14.34     24.81  --
485.73/121.61	c  N dy  2947    597556       909      1918     78777     33438    217332   1830910     14.52     46.95  --
502.87/125.91	c  N dy  3033    617777       909      1918     78778     53129    217332   3932029     14.58     15.38  --
523.88/131.29	c  N dy  3094    640302       909      1918     78780     42509    217332   2482628     14.56     15.49  --
541.24/135.60	c  N dy  3173    660344       909      1918     78780     61993    217331   4418320     14.60     32.51  --
559.00/140.18	c  N dy  3267    680862       909      1918     78781     48189    217331   3095636     14.68     15.54  --
580.79/145.64	c  N dy  3322    701018       909      1918     78784     67595    217331   4664315     14.66     15.44  --
599.58/150.34	c  N dy  3421    721060       909      1918     78784     52428    217331   3578095     14.73     26.27  --
627.52/157.38	c  N dy  3510    741093       909      1918     78785     36041    217331   1774046     14.79     15.66  --
644.29/161.52	c  N dy  3560    762100       909      1918     78789     56322    217331   3711680     14.75     15.60  --
671.06/168.25	c  N dy  3653    782360       909      1918     78789     39233    217331   1978098     14.80     15.63  --
691.85/173.47	c  N dy  3778    802361       909      1918     78789     58620    217331   3936400     14.92     15.79  --
697.42/174.86	c  S st  3816    806086       909      1918     78789     62271    217331   4356682     14.98   no data  --
697.82/174.99	c  S st  3816    806588       909      1918     78789     62772    217331   4399504     14.98   no data  --
698.22/175.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
698.22/175.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
701.42/175.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 29.7M T:  3.53
702.22/176.05	c bin-w-bin subsume rem            2 bins  time:  0.04 s
709.01/177.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.99 s
709.43/177.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    909 time:  0.03 s
709.43/177.82	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
803.28/201.33	c lits-rem:      1664  cl-subs:     2532  v-elim:      0  v-fix:    0  time: 93.76 s
803.28/201.33	c vivif2 --  cl tried     1902 cl shrink        6 lits rem          6 time: 0.00
803.68/201.40	c vivif2 --  cl tried    58829 cl shrink      471 lits rem        507 time: 0.28
804.48/201.68	c asymm  cl-useful: 0/802/1902 lits-rem:0 time: 1.12
804.48/201.68	c calculated reachability. Time: 0.00
804.48/201.68	c  N dy  3816    806588       909      1902     78542     58827    216520   4272244     14.98   no data  --
826.85/207.29	c  N dy  3872    826886       909      1902     78551     41387    216520   2269174     14.94     16.72  --
846.42/212.12	c  N dy  3959    846980       909      1902     78552     60827    216520   4243395     14.98     27.54  --
872.40/218.63	c  N dy  4045    867450       909      1902     78552     42351    216519   2294955     15.02     15.87  --
894.76/224.29	c  N dy  4142    887947       909      1902     78553     62243    216519   4318675     15.06     15.91  --
925.14/231.80	c  N dy  4177    907998       909      1902     78553     41968    216519   2036438     15.01     25.11  --
947.49/237.47	c  N dy  4243    928022       909      1902     78561     61103    216519   3409970     14.99     21.52  --
977.46/244.95	c  N dy  4316    949137       908      1902     78575     41100    216519   1764713     14.99     15.81  --
992.63/248.78	c  N dy  4371    969495       908      1902     78576     60756    216519   3509971     14.98     16.05  --
1013.40/253.91	c  N dy  4410    989702       908      1902     78583     80313    216519   5427635     14.94     16.10  --
1031.37/258.42	c  N dy  4503   1010309       908      1902     78586     58813    216519   3405921     14.98     15.94  --
1056.15/264.60	c  N dy  4586   1032292       907      1902     78586     80039    216519   5336589     14.99     15.92  --
1072.92/268.86	c  N dy  4622   1052636       907      1902     78587     57156    216519   2956966     14.95     15.89  --
1092.49/273.72	c  F st  4671   1071875       907      1902     78587     75753    216519   4611765     14.94     10.45  --
1094.09/274.15	c  N st  4674   1073062       907      1870     78071     72109    214902   4643806     14.94   no data  --
1114.08/279.14	c  N dy  4748   1093164       907      1870     78073     50534    214902   2754702     14.96     16.17  --
1134.44/284.26	c  N dy  4817   1113194       907      1870     78073     69864    214902   4471516     14.96     15.77  --
1160.01/290.63	c  N dy  4910   1133203       907      1870     78075     46036    214902   2234523     14.98     26.94  --
1176.78/294.84	c  N dy  4969   1153277       907      1870     78075     65445    214902   3916823     14.98     20.38  --
1202.74/301.32	c  N dy  5085   1173307       907      1870     78078     84891    214902   5845329     15.04     15.98  --
1223.54/306.56	c  N dy  5187   1193422       907      1870     78079     59482    214901   3458765     15.08     16.02  --
1243.09/311.41	c  S st  5264   1209882       907      1870     78079     75350    214901   4981534     15.12   no data  --
1243.49/311.58	c  S st  5264   1210384       907      1870     78079     75847    214901   5030874     15.12   no data  --
1243.49/311.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1243.49/311.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1248.68/312.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P: 34.7M T:  4.96
1249.08/312.98	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1256.67/314.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.52 s
1256.67/314.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    907 time:  0.03 s
1256.67/314.88	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
1380.51/345.89	c lits-rem:      2466  cl-subs:     4084  v-elim:      0  v-fix:    0  time: 123.76 s
1380.51/345.89	c vivif2 --  cl tried     1870 cl shrink        5 lits rem          5 time: 0.00
1380.91/345.98	c vivif2 --  cl tried    71763 cl shrink     1041 lits rem       1311 time: 0.36
1382.51/346.30	c asymm  cl-useful: 1/579/1870 lits-rem:1 time: 1.28
1382.51/346.31	c calculated reachability. Time: 0.00
1382.51/346.31	c  N dy  5264   1210384       907      1870     78080     71763    214891   4905262     15.12   no data  --
1412.88/353.92	c  N dy  5341   1231418       907      1870     78083     92112    214891   6828382     15.12     15.99  --
1432.84/358.94	c  N dy  5386   1254050       907      1870     78086     67832    214891   4088114     15.10     16.02  --
1461.99/366.20	c  N dy  5482   1276258       907      1870     78089     89288    214891   6100293     15.12     16.04  --
1481.57/371.16	c  N dy  5544   1296611       907      1870     78089     61782    214891   3464565     15.11     16.08  --
1507.94/377.75	c  N dy  5624   1319306       907      1870     78093     83798    214891   5421475     15.11     15.98  --
1537.10/385.01	c  N dy  5662   1344830       907      1870     78094     60058    214891   2918144     15.07     16.12  --
1555.07/389.50	c  N dy  5704   1364882       907      1870     78094     79520    214891   4590518     15.04     35.36  --
1575.84/394.70	c  N dy  5745   1386328       907      1870     78094     50971    214891   2321025     15.01     15.85  --
1595.02/399.50	c  N dy  5833   1407330       907      1870     78094     71339    214891   4257197     15.04     16.12  --
1622.58/406.42	c  N dy  5904   1427482       907      1870     78095     90785    214891   5932317     15.04     15.85  --
1647.75/412.76	c  N dy  5944   1450488       907      1870     78096     62813    214891   3239138     15.01     15.83  --
1669.31/418.19	c  N dy  5996   1470737       907      1870     78096     82437    214891   4938411     15.00     15.87  --
1695.68/424.76	c  N dy  6048   1490980       907      1870     78096    102016    214891   6550496     14.98     15.85  --
1714.06/429.30	c  N dy  6100   1511019       907      1870     78097     70044    214891   3877958     14.97     23.04  --
1736.42/434.96	c  N dy  6155   1531048       907      1870     78098     89356    214891   5621936     14.96     30.62  --
1765.99/442.32	c  N dy  6235   1551154       907      1870     78098     56678    214891   2429966     14.97     15.76  --
1787.16/447.65	c  N dy  6288   1574821       907      1870     78100     79490    214891   4110542     14.95     15.78  --
1809.93/453.30	c  N dy  6342   1594823       907      1870     78100     98773    214891   5577460     14.94     15.88  --
1829.92/458.33	c  N dy  6376   1614878       907      1870     78101     65035    214890   3302332     14.92     24.14  --
1854.26/464.49	c  N dy  6450   1635113       907      1870     78101     84610    214890   5037711     14.93     15.77  --
1886.23/472.49	c  N dy  6498   1655572       907      1870     78102    104330    214890   6696400     14.91     15.84  --
1905.40/477.24	c  N dy  6545   1675725       907      1870     78103     69827    214890   3503360     14.90     15.75  --
1930.57/483.57	c  N dy  6616   1697132       907      1870     78103     90452    214890   5157214     14.90     15.86  --
1947.35/487.73	c  S st  6652   1710385       907      1870     78104    103183    214890   6228141     14.88     11.57  --
1948.15/487.93	c  S st  6652   1710886       907      1870     78104    103681    214890   6278960     14.88   no data  --
1948.15/487.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1948.15/487.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1953.36/489.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 40.8M T:  5.36
1954.13/489.48	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1962.52/491.56	c subs with bin:      297  lits-rem:       603  v-fix:    0  time:  8.30 s
1962.52/491.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    907 time:  0.03 s
1962.52/491.57	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
2423.53/606.93	c lits-rem:      3868  cl-subs:     6970  v-elim:      0  v-fix:    0  time: 460.15 s
2423.53/606.93	c vivif2 --  cl tried     1870 cl shrink        3 lits rem          3 time: 0.00
2423.90/607.06	c vivif2 --  cl tried    96414 cl shrink     2528 lits rem       3549 time: 0.53
2425.10/607.39	c asymm  cl-useful: 0/415/1870 lits-rem:0 time: 1.30
2425.10/607.39	c calculated reachability. Time: 0.00
2425.10/607.39	c  N dy  6652   1710886       907      1870     78104     96414    214887   6099678     14.88   no data  --
2454.28/614.65	c  N dy  6743   1731441       907      1870     78111     61407    214887   2875758     14.90     15.90  --
2474.63/619.80	c  N dy  6781   1752294       907      1870     78111     81444    214887   4429854     14.89     15.70  --
2505.39/627.42	c  N dy  6849   1773973       907      1870     78111    102378    214887   6033301     14.89     16.02  --
2537.77/635.57	c  N dy  6889   1795378       907      1870     78111     67068    214887   3107867     14.86     15.65  --
2562.12/641.68	c  N dy  6954   1816307       907      1870     78112     87249    214887   4563425     14.86     15.65  --
2592.88/649.35	c  N dy  7013   1838405       907      1870     78112    108616    214887   6273174     14.85     15.70  --
2623.64/657.05	c  N dy  7100   1861006       907      1870     78114     73548    214887   3666319     14.85     15.67  --
2648.80/663.35	c  N dy  7152   1881029       907      1870     78114     92894    214887   5120098     14.84     16.34  --
2684.75/672.37	c  N dy  7231   1901258       907      1870     78114    112402    214887   6721027     14.85     15.69  --
2709.52/678.57	c  N dy  7291   1921362       907      1870     78114     73902    214887   3308282     14.85     15.64  --
2731.11/683.93	c  N dy  7333   1941816       907      1870     78114     93598    214887   4782665     14.83     15.67  --
2758.66/690.82	c  N dy  7408   1961833       907      1870     78114    112915    214887   6342821     14.84     15.79  --
2782.62/696.87	c  N dy  7469   1982916       907      1870     78114     74448    214887   3582172     14.83     15.64  --
2810.58/703.80	c  N dy  7561   2003506       907      1870     78114     94318    214887   5083838     14.84     15.65  --
2840.97/711.49	c  N dy  7632   2024016       907      1870     78115    114194    214887   6912428     14.85     15.89  --
2865.31/717.56	c  N dy  7671   2044151       907      1870     78115     73759    214887   3366499     14.83     15.74  --
2886.89/722.93	c  N dy  7713   2064927       907      1870     78116     93796    214887   4910009     14.81     15.60  --
2916.84/730.43	c  N dy  7765   2084987       907      1870     78118    113045    214887   6237639     14.80     16.38  --
2942.03/736.72	c  N dy  7792   2105312       907      1870     78118     71768    214887   3133806     14.78     15.75  --
2966.38/742.88	c  N dy  7878   2125476       907      1870     78119     91276    214887   4680133     14.80     15.60  --
2997.54/750.67	c  N dy  7943   2145551       907      1870     78120    110579    214887   5988727     14.79     18.05  --
3026.29/757.87	c  N dy  8003   2166070       907      1870     78121     68747    214887   3049566     14.79     15.59  --
3049.06/763.54	c  N dy  8052   2186258       907      1870     78122     88168    214887   4357620     14.77     15.70  --
3079.42/771.12	c  N dy  8131   2206945       907      1870     78122    108084    214887   5689394     14.78     15.56  --
3085.02/772.59	c  S st  8137   2210886       907      1870     78122    111883    214887   5994574     14.78     15.29  --
3085.82/772.73	c  S st  8137   2211393       907      1870     78122    112388    214887   6042202     14.78   no data  --
3085.82/772.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3085.82/772.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3091.42/774.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 36.0M T:  5.51
3092.21/774.31	c bin-w-bin subsume rem            0 bins  time:  0.04 s
3099.00/776.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.07 s
3099.00/776.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    907 time:  0.03 s
3099.40/776.10	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.03 s
3571.16/894.24	c lits-rem:      5124  cl-subs:     7994  v-elim:      0  v-fix:    0  time: 471.45 s
3571.16/894.24	c vivif2 --  cl tried     1870 cl shrink        7 lits rem          8 time: 0.00
3571.96/894.43	c vivif2 --  cl tried   104394 cl shrink     4326 lits rem       5438 time: 0.74
3573.16/894.73	c asymm  cl-useful: 0/588/1870 lits-rem:0 time: 1.22
3573.16/894.74	c calculated reachability. Time: 0.00
3573.16/894.74	c  N dy  8137   2211393       907      1870     78123    104393    214878   5858762     14.78   no data  --
3605.54/902.81	c  N dy  8201   2232288       907      1870     78126    124525    214878   7497770     14.77     15.71  --
3629.49/908.84	c  N dy  8265   2253329       907      1870     78126     82376    214877   4041905     14.77     15.59  --
3658.27/916.01	c  N dy  8331   2273936       907      1870     78127    102282    214877   5599586     14.77     15.70  --
3695.80/925.48	c  N dy  8398   2294023       907      1870     78127    121566    214877   7195289     14.77     23.71  --
3727.35/933.35	c  N dy  8458   2315066       907      1870     78127     78351    214877   3709038     14.76     15.59  --
3753.72/939.95	c  N dy  8522   2336249       907      1870     78127     98852    214877   5597457     14.77     15.67  --
3794.08/950.08	c  N dy  8556   2357014       907      1870     78128    118858    214877   7101241     14.75     15.57  --
3826.83/958.23	c  N dy  8608   2377015       907      1870     78128     73556    214877   3351020     14.74     24.67  --
3853.59/964.94	c  N dy  8681   2397183       907      1870     78130     93081    214877   4921657     14.74     15.61  --
3880.74/971.79	c  N dy  8755   2417456       907      1870     78130    112645    214877   6589892     14.75     15.62  --
3921.51/982.00	c  N dy  8818   2439377       907      1870     78130     68123    214877   2718717     14.74     15.61  --
3953.05/989.82	c  N dy  8856   2465111       907      1870     78131     92651    214877   4042777     14.71     15.53  --
3980.22/996.62	c  N dy  8923   2485198       907      1870     78132    112040    214877   5412950     14.71     15.52  --
4011.76/1004.56	c  N dy  8990   2505241       907      1870     78132    131302    214877   6789128     14.72     19.11  --
4034.94/1010.38	c  N dy  9055   2525513       907      1870     78134     84424    214877   4139730     14.71     15.97  --
4063.30/1017.46	c  N dy  9117   2546452       907      1870     78134    104590    214877   5559708     14.71     15.61  --
4094.46/1025.22	c  N dy  9147   2566813       907      1870     78135    124126    214877   6975606     14.69     15.56  --
4125.21/1032.92	c  N dy  9194   2589312       907      1870     78135     78364    214877   3553824     14.68     15.52  --
4149.19/1038.92	c  N dy  9242   2610143       907      1870     78135     98491    214877   5292340     14.67     15.45  --
4187.54/1048.58	c  N dy  9320   2630215       907      1870     78135    117850    214877   6953278     14.67     22.14  --
4235.47/1060.56	c  N dy  9398   2650310       907      1870     78136     68853    214877   2709275     14.68     15.48  --
4253.04/1064.93	c  N dy  9440   2670756       907      1870     78136     88557    214877   4252492     14.67     15.59  --
4283.80/1072.66	c  N dy  9544   2691210       907      1870     78137    108314    214877   5909016     14.69     15.49  --
4319.36/1081.55	c  N dy  9626   2711308       907      1870     78137    127754    214877   7413496     14.70     15.55  --
4319.76/1081.61	c  S st  9627   2711393       907      1870     78137    127839    214877   7421698     14.70   no data  --
4320.56/1081.90	c  S st  9627   2711893       907      1870     78137    128335    214877   7475505     14.70   no data  --
4320.95/1081.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
4320.95/1081.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4328.15/1083.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 45.7M T:  7.42
4328.95/1083.99	c bin-w-bin subsume rem            1 bins  time:  0.04 s
4337.34/1086.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.14 s
4337.34/1086.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    907 time:  0.04 s
4337.34/1086.05	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.03 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3251595-1304182915/watcher-3251595-1304182915 -o /tmp/evaluation-result-3251595-1304182915/solver-3251595-1304182915 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3251595-1304182915.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.63 6.40 7.05 5/180 16115
/proc/meminfo: memFree=30379000/32951124 swapFree=67111448/67111528
[pid=16115] ppid=16113 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 412 0 0 0 0 0 0 0 24 0 4 0 529891939 52465664 352 33554432000 4194304 4650419 140734519000192 18446744073709551615 47560675116978 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 12809 352 303 112 0 7774 0
[pid=16115/tid=16116] ppid=16113 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 529891939 52465664 352 33554432000 4194304 4650419 140734519000192 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 529891939 52465664 352 33554432000 4194304 4650419 140734519000192 18446744073709551615 47560675116978 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 529891939 52465664 352 33554432000 4194304 4650419 140734519000192 18446744073709551615 47560675116972 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0553201 s]
/proc/loadavg: 7.63 6.40 7.05 5/180 16115
/proc/meminfo: memFree=30379000/32951124 swapFree=67111448/67111528
[pid=16115] ppid=16113 vsize=283784 CPUtime=0.2 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 4365 0 0 0 19 1 0 0 25 0 4 0 529891939 290594816 4278 33554432000 4194304 4650419 140734519000192 18446744073709551615 4434808 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 70946 4278 381 112 0 65911 0
[pid=16115/tid=16116] ppid=16113 vsize=283784 CPUtime=0.04 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 1014 0 0 0 4 0 0 0 25 0 4 0 529891939 290594816 4278 33554432000 4194304 4650419 140734519000192 18446744073709551615 4435100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=283784 CPUtime=0.04 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 991 0 0 0 4 0 0 0 25 0 4 0 529891939 290594816 4278 33554432000 4194304 4650419 140734519000192 18446744073709551615 4436434 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=283784 CPUtime=0.04 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 939 0 0 0 4 0 0 0 25 0 4 0 529891939 290594816 4278 33554432000 4194304 4650419 140734519000192 18446744073709551615 4229514 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 283784

[startup+0.11992 s]
/proc/loadavg: 7.63 6.40 7.05 5/180 16115
/proc/meminfo: memFree=30379000/32951124 swapFree=67111448/67111528
[pid=16115] ppid=16113 vsize=271644 CPUtime=3.8 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 12361 0 0 0 377 3 0 0 19 0 4 0 529891939 278163456 8890 33554432000 4194304 4650419 140734519000192 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 67911 8890 392 112 0 62876 0
[pid=16115/tid=16116] ppid=16113 vsize=271644 CPUtime=0.94 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 2819 0 0 0 94 0 0 0 19 0 4 0 529891939 278163456 8890 33554432000 4194304 4650419 140734519000192 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=271644 CPUtime=0.95 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 2965 0 0 0 94 1 0 0 19 0 4 0 529891939 278163456 8890 33554432000 4194304 4650419 140734519000192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=271644 CPUtime=0.94 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 3371 0 0 0 94 0 0 0 19 0 4 0 529891939 278163456 8890 33554432000 4194304 4650419 140734519000192 18446744073709551615 4363756 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 271644

[startup+1.05714 s]
/proc/loadavg: 7.63 6.40 7.05 5/180 16115
/proc/meminfo: memFree=30379000/32951124 swapFree=67111448/67111528
[pid=16115] ppid=16113 vsize=281192 CPUtime=4.2 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 13541 0 0 0 417 3 0 0 19 0 4 0 529891939 287940608 9173 33554432000 4194304 4650419 140734519000192 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 70298 9173 392 112 0 65263 0
[pid=16115/tid=16116] ppid=16113 vsize=281192 CPUtime=1.04 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 3158 0 0 0 104 0 0 0 19 0 4 0 529891939 287940608 9173 33554432000 4194304 4650419 140734519000192 18446744073709551615 4333051 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=281192 CPUtime=1.05 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 3019 0 0 0 104 1 0 0 19 0 4 0 529891939 287940608 9173 33554432000 4194304 4650419 140734519000192 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=281192 CPUtime=1.05 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 3892 0 0 0 104 1 0 0 19 0 4 0 529891939 287940608 9173 33554432000 4194304 4650419 140734519000192 18446744073709551615 4315103 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 281192

[startup+1.15712 s]
/proc/loadavg: 7.63 6.40 7.05 5/180 16115
/proc/meminfo: memFree=30379000/32951124 swapFree=67111448/67111528
[pid=16115] ppid=16113 vsize=281192 CPUtime=4.6 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 13901 0 0 0 457 3 0 0 19 0 4 0 529891939 287940608 9533 33554432000 4194304 4650419 140734519000192 18446744073709551615 4366835 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 70298 9534 392 112 0 65263 0
[pid=16115/tid=16116] ppid=16113 vsize=281192 CPUtime=1.14 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 3230 0 0 0 114 0 0 0 19 0 4 0 529891939 287940608 9534 33554432000 4194304 4650419 140734519000192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=281192 CPUtime=1.15 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 3111 0 0 0 114 1 0 0 19 0 4 0 529891939 287940608 9534 33554432000 4194304 4650419 140734519000192 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=281192 CPUtime=1.15 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 4041 0 0 0 114 1 0 0 19 0 4 0 529891939 287940608 9534 33554432000 4194304 4650419 140734519000192 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 281192

[startup+1.55705 s]
/proc/loadavg: 7.63 6.40 7.05 5/180 16115
/proc/meminfo: memFree=30379000/32951124 swapFree=67111448/67111528
[pid=16115] ppid=16113 vsize=263376 CPUtime=6.2 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 16619 0 0 0 616 4 0 0 20 0 4 0 529891939 269697024 10267 33554432000 4194304 4650419 140734519000192 18446744073709551615 4315054 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 65844 10267 393 112 0 60809 0
[pid=16115/tid=16116] ppid=16113 vsize=263376 CPUtime=1.54 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 3794 0 0 0 154 0 0 0 20 0 4 0 529891939 269697024 10267 33554432000 4194304 4650419 140734519000192 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=263376 CPUtime=1.55 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 3875 0 0 0 154 1 0 0 20 0 4 0 529891939 269697024 10267 33554432000 4194304 4650419 140734519000192 18446744073709551615 4514716 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=263376 CPUtime=1.54 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 4989 0 0 0 153 1 0 0 20 0 4 0 529891939 269697024 10267 33554432000 4194304 4650419 140734519000192 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 263376

[startup+3.10077 s]
/proc/loadavg: 7.63 6.40 7.05 9/184 16119
/proc/meminfo: memFree=30293308/32951124 swapFree=67111448/67111528
[pid=16115] ppid=16113 vsize=281676 CPUtime=12.36 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 31301 0 0 0 1231 5 0 0 25 0 4 0 529891939 288436224 22899 33554432000 4194304 4650419 140734519000192 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 70419 22899 394 112 0 65384 0
[pid=16115/tid=16116] ppid=16113 vsize=281676 CPUtime=3.08 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 5266 0 0 0 307 1 0 0 25 0 4 0 529891939 288436224 22899 33554432000 4194304 4650419 140734519000192 18446744073709551615 4436452 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=281676 CPUtime=3.09 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 8295 0 0 0 308 1 0 0 25 0 4 0 529891939 288436224 22899 33554432000 4194304 4650419 140734519000192 18446744073709551615 4436434 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=281676 CPUtime=3.09 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 11757 0 0 0 307 2 0 0 25 0 4 0 529891939 288436224 22899 33554432000 4194304 4650419 140734519000192 18446744073709551615 4436434 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 281676

[startup+6.30618 s]
/proc/loadavg: 7.66 6.43 7.05 9/184 16119
/proc/meminfo: memFree=30218164/32951124 swapFree=67111448/67111528
[pid=16115] ppid=16113 vsize=292392 CPUtime=25.16 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 35680 0 0 0 2510 6 0 0 25 0 4 0 529891939 299409408 27278 33554432000 4194304 4650419 140734519000192 18446744073709551615 4436145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 73098 27278 394 112 0 68063 0
[pid=16115/tid=16116] ppid=16113 vsize=292392 CPUtime=6.26 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 7010 0 0 0 625 1 0 0 25 0 4 0 529891939 299409408 27278 33554432000 4194304 4650419 140734519000192 18446744073709551615 4310792 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=292392 CPUtime=6.29 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 8472 0 0 0 628 1 0 0 25 0 4 0 529891939 299409408 27278 33554432000 4194304 4650419 140734519000192 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=292392 CPUtime=6.3 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 12235 0 0 0 628 2 0 0 25 0 4 0 529891939 299409408 27278 33554432000 4194304 4650419 140734519000192 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 292392

[startup+12.701 s]
/proc/loadavg: 7.68 6.46 7.06 9/184 16119
/proc/meminfo: memFree=30170792/32951124 swapFree=67111448/67111528
[pid=16115] ppid=16113 vsize=312952 CPUtime=50.72 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 49278 0 0 0 5063 9 0 0 25 0 4 0 529891939 320462848 33279 33554432000 4194304 4650419 140734519000192 18446744073709551615 4436452 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 78238 33279 394 112 0 73203 0
[pid=16115/tid=16116] ppid=16113 vsize=312952 CPUtime=12.63 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 10452 0 0 0 1261 2 0 0 25 0 4 0 529891939 320462848 33279 33554432000 4194304 4650419 140734519000192 18446744073709551615 4363693 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=312952 CPUtime=12.69 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 14327 0 0 0 1267 2 0 0 25 0 4 0 529891939 320462848 33279 33554432000 4194304 4650419 140734519000192 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=312952 CPUtime=12.69 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 14621 0 0 0 1267 2 0 0 25 0 4 0 529891939 320462848 33279 33554432000 4194304 4650419 140734519000192 18446744073709551615 4436452 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 312952

[startup+25.5007 s]
/proc/loadavg: 7.83 6.55 7.08 9/184 16119
/proc/meminfo: memFree=30129884/32951124 swapFree=67111448/67111528
[pid=16115] ppid=16113 vsize=392424 CPUtime=101.84 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 77855 0 0 0 10170 14 0 0 25 0 4 0 529891939 401842176 45285 33554432000 4194304 4650419 140734519000192 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 98106 45286 394 112 0 93071 0
[pid=16115/tid=16116] ppid=16113 vsize=392424 CPUtime=25.35 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 17681 0 0 0 2532 3 0 0 25 0 4 0 529891939 401842176 45286 33554432000 4194304 4650419 140734519000192 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=392424 CPUtime=25.49 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 27997 0 0 0 2544 5 0 0 25 0 4 0 529891939 401842176 45286 33554432000 4194304 4650419 140734519000192 18446744073709551615 4328424 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=392424 CPUtime=25.49 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 18824 0 0 0 2546 3 0 0 25 0 4 0 529891939 401842176 45286 33554432000 4194304 4650419 140734519000192 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 392424

[startup+51.101 s]
/proc/loadavg: 7.95 6.68 7.10 9/184 16120
/proc/meminfo: memFree=29889568/32951124 swapFree=67111448/67111528
[pid=16115] ppid=16113 vsize=479328 CPUtime=204.11 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 144335 0 0 0 20380 31 0 0 25 0 4 0 529891939 490831872 72515 33554432000 4194304 4650419 140734519000192 18446744073709551615 4365237 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 119832 72515 394 112 0 114797 0
[pid=16115/tid=16116] ppid=16113 vsize=479328 CPUtime=50.81 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 35658 0 0 0 5074 7 0 0 25 0 4 0 529891939 490831872 72515 33554432000 4194304 4650419 140734519000192 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=479328 CPUtime=51.09 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 53368 0 0 0 5098 11 0 0 25 0 4 0 529891939 490831872 72515 33554432000 4194304 4650419 140734519000192 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=479328 CPUtime=51.09 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 28158 0 0 0 5103 6 0 0 25 0 4 0 529891939 490831872 72515 33554432000 4194304 4650419 140734519000192 18446744073709551615 4360439 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 479328

[startup+102.301 s]
/proc/loadavg: 8.03 6.90 7.15 9/184 16121
/proc/meminfo: memFree=29874396/32951124 swapFree=67111448/67111528
[pid=16115] ppid=16113 vsize=556364 CPUtime=408.62 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 260235 0 0 0 40803 59 0 0 25 0 4 0 529891939 569716736 84205 33554432000 4194304 4650419 140734519000192 18446744073709551615 4439619 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 139091 84205 394 112 0 134056 0
[pid=16115/tid=16116] ppid=16113 vsize=556364 CPUtime=101.73 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 59518 0 0 0 10160 13 0 0 25 0 4 0 529891939 569716736 84205 33554432000 4194304 4650419 140734519000192 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=556364 CPUtime=102.29 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 100373 0 0 0 10206 23 0 0 25 0 4 0 529891939 569716736 84205 33554432000 4194304 4650419 140734519000192 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=556364 CPUtime=102.29 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 35389 0 0 0 10221 8 0 0 25 0 4 0 529891939 569716736 84205 33554432000 4194304 4650419 140734519000192 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 556364

[startup+162.301 s]

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

[pid=16115] ppid=16113 vsize=1133996 CPUtime=2804.6 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 1489784 0 0 0 280079 381 0 0 25 0 4 0 529891939 1161211904 199569 33554432000 4194304 4650419 140734519000192 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 283499 199569 394 112 0 278464 0
[pid=16115/tid=16116] ppid=16113 vsize=1133996 CPUtime=701.1 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 338815 0 0 0 70013 97 0 0 25 0 4 0 529891939 1161211904 199569 33554432000 4194304 4650419 140734519000192 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=1133996 CPUtime=698.86 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 566989 0 0 0 69752 134 0 0 25 0 4 0 529891939 1161211904 199569 33554432000 4194304 4650419 140734519000192 18446744073709551615 4330585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=1133996 CPUtime=702.31 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 161723 0 0 0 70182 49 0 0 25 0 4 0 529891939 1161211904 199569 33554432000 4194304 4650419 140734519000192 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2804.6
Current children cumulated vsize (KiB) 1133996

[startup+762.301 s]
/proc/loadavg: 8.05 7.95 7.61 9/184 16142
/proc/meminfo: memFree=28959520/32951124 swapFree=67111448/67111528
[pid=16115] ppid=16113 vsize=1182440 CPUtime=3044.27 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 1558843 0 0 0 304021 406 0 0 25 0 4 0 529891939 1210818560 198426 33554432000 4194304 4650419 140734519000192 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 295610 198426 394 112 0 290575 0
[pid=16115/tid=16116] ppid=16113 vsize=1182440 CPUtime=761.11 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 353224 0 0 0 76007 104 0 0 25 0 4 0 529891939 1210818560 198426 33554432000 4194304 4650419 140734519000192 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=1182440 CPUtime=758.53 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 598787 0 0 0 75708 145 0 0 25 0 4 0 529891939 1210818560 198426 33554432000 4194304 4650419 140734519000192 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=1182440 CPUtime=762.31 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 167860 0 0 0 76182 49 0 0 25 0 4 0 529891939 1210818560 198426 33554432000 4194304 4650419 140734519000192 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3044.27
Current children cumulated vsize (KiB) 1182440

[startup+822.301 s]
/proc/loadavg: 8.05 7.97 7.64 9/184 16144
/proc/meminfo: memFree=28893268/32951124 swapFree=67111448/67111528
[pid=16115] ppid=16113 vsize=1247176 CPUtime=3283.95 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 1626522 0 0 0 327964 431 0 0 25 0 4 0 529891939 1277108224 203976 33554432000 4194304 4650419 140734519000192 18446744073709551615 4439371 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 311794 203976 394 112 0 306759 0
[pid=16115/tid=16116] ppid=16113 vsize=1247176 CPUtime=821.11 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 371358 0 0 0 82002 109 0 0 25 0 4 0 529891939 1277108224 203976 33554432000 4194304 4650419 140734519000192 18446744073709551615 4366849 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=1247176 CPUtime=818.2 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 632248 0 0 0 81661 159 0 0 25 0 4 0 529891939 1277108224 203976 33554432000 4194304 4650419 140734519000192 18446744073709551615 4326462 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=1247176 CPUtime=822.31 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 179921 0 0 0 82178 53 0 0 25 0 4 0 529891939 1277108224 203976 33554432000 4194304 4650419 140734519000192 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3283.95
Current children cumulated vsize (KiB) 1247176

[startup+882.301 s]
/proc/loadavg: 8.13 8.00 7.67 9/184 16145
/proc/meminfo: memFree=28937396/32951124 swapFree=67111448/67111528
[pid=16115] ppid=16113 vsize=1137780 CPUtime=3523.63 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 1696589 0 0 0 351905 458 0 0 25 0 4 0 529891939 1165086720 207057 33554432000 4194304 4650419 140734519000192 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 284445 207057 394 112 0 279410 0
[pid=16115/tid=16116] ppid=16113 vsize=1137780 CPUtime=881.11 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 387610 0 0 0 87995 116 0 0 25 0 4 0 529891939 1165086720 207057 33554432000 4194304 4650419 140734519000192 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=1137780 CPUtime=877.88 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 666593 0 0 0 87614 174 0 0 25 0 4 0 529891939 1165086720 207057 33554432000 4194304 4650419 140734519000192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=1137780 CPUtime=882.31 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 191929 0 0 0 88174 57 0 0 25 0 4 0 529891939 1165086720 207057 33554432000 4194304 4650419 140734519000192 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3523.63
Current children cumulated vsize (KiB) 1137780

[startup+942.301 s]
/proc/loadavg: 8.12 8.02 7.69 9/184 16147
/proc/meminfo: memFree=28881040/32951124 swapFree=67111448/67111528
[pid=16115] ppid=16113 vsize=1269680 CPUtime=3763.33 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 1847709 0 0 0 375841 492 0 0 25 0 4 0 529891939 1300152320 215396 33554432000 4194304 4650419 140734519000192 18446744073709551615 4520322 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 317420 215396 394 112 0 312385 0
[pid=16115/tid=16116] ppid=16113 vsize=1269680 CPUtime=941.12 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 492872 0 0 0 93979 133 0 0 25 0 4 0 529891939 1300152320 215396 33554432000 4194304 4650419 140734519000192 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=1269680 CPUtime=937.56 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 695912 0 0 0 93575 181 0 0 25 0 4 0 529891939 1300152320 215396 33554432000 4194304 4650419 140734519000192 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=1269680 CPUtime=942.32 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 197592 0 0 0 94171 61 0 0 25 0 4 0 529891939 1300152320 215396 33554432000 4194304 4650419 140734519000192 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3763.33
Current children cumulated vsize (KiB) 1269680

[startup+1002.3 s]
/proc/loadavg: 8.11 8.03 7.71 9/184 16148
/proc/meminfo: memFree=28850764/32951124 swapFree=67111448/67111528
[pid=16115] ppid=16113 vsize=1242584 CPUtime=4002.98 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 2108121 0 0 0 399755 543 0 0 25 0 4 0 529891939 1272406016 210937 33554432000 4194304 4650419 140734519000192 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 310646 210937 394 112 0 305611 0
[pid=16115/tid=16116] ppid=16113 vsize=1242584 CPUtime=1001.11 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 523380 0 0 0 99969 142 0 0 25 0 4 0 529891939 1272406016 210937 33554432000 4194304 4650419 140734519000192 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=1242584 CPUtime=997.23 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 912222 0 0 0 99506 217 0 0 25 0 4 0 529891939 1272406016 210937 33554432000 4194304 4650419 140734519000192 18446744073709551615 4313463 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=1242584 CPUtime=1002.31 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 200123 0 0 0 100169 62 0 0 25 0 4 0 529891939 1272406016 210937 33554432000 4194304 4650419 140734519000192 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4002.98
Current children cumulated vsize (KiB) 1242584

[startup+1062.31 s]
/proc/loadavg: 8.15 8.05 7.74 5/179 16151
/proc/meminfo: memFree=29971448/32951124 swapFree=67111448/67111528
[pid=16115] ppid=16113 vsize=1308328 CPUtime=4242.68 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 2172511 0 0 0 423702 566 0 0 25 0 4 0 529891939 1339727872 226868 33554432000 4194304 4650419 140734519000192 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 327082 226868 394 112 0 322047 0
[pid=16115/tid=16116] ppid=16113 vsize=1308328 CPUtime=1061.12 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 539392 0 0 0 105964 148 0 0 25 0 4 0 529891939 1339727872 226868 33554432000 4194304 4650419 140734519000192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=1308328 CPUtime=1056.91 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 939865 0 0 0 105465 226 0 0 25 0 4 0 529891939 1339727872 226868 33554432000 4194304 4650419 140734519000192 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=1308328 CPUtime=1062.32 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 200123 0 0 0 106170 62 0 0 25 0 4 0 529891939 1339727872 226868 33554432000 4194304 4650419 140734519000192 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4242.68
Current children cumulated vsize (KiB) 1308328

[startup+1122.3 s]
/proc/loadavg: 5.58 7.33 7.51 5/175 16170
/proc/meminfo: memFree=29919928/32951124 swapFree=67111448/67111528
[pid=16115] ppid=16113 vsize=1439812 CPUtime=4482.34 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 2218283 0 0 0 447646 588 0 0 25 0 4 0 529891939 1474367488 242626 33554432000 4194304 4650419 140734519000192 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 359953 242626 394 112 0 354918 0
[pid=16115/tid=16116] ppid=16113 vsize=1439812 CPUtime=1121.11 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 551748 0 0 0 111958 153 0 0 25 0 4 0 529891939 1474367488 242626 33554432000 4194304 4650419 140734519000192 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=1439812 CPUtime=1116.58 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 967946 0 0 0 111418 240 0 0 25 0 4 0 529891939 1474367488 242626 33554432000 4194304 4650419 140734519000192 18446744073709551615 4366743 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=1439812 CPUtime=1122.32 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 200123 0 0 0 112170 62 0 0 25 0 4 0 529891939 1474367488 242626 33554432000 4194304 4650419 140734519000192 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482.34
Current children cumulated vsize (KiB) 1439812

[startup+1182.3 s]
/proc/loadavg: 4.63 6.73 7.29 5/175 16171
/proc/meminfo: memFree=29901036/32951124 swapFree=67111448/67111528
[pid=16115] ppid=16113 vsize=1439904 CPUtime=4722.01 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 2257487 0 0 0 471603 598 0 0 25 0 4 0 529891939 1474461696 246824 33554432000 4194304 4650419 140734519000192 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 359976 246824 394 112 0 354941 0
[pid=16115/tid=16116] ppid=16113 vsize=1439904 CPUtime=1181.11 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 559536 0 0 0 117955 156 0 0 25 0 4 0 529891939 1474461696 246824 33554432000 4194304 4650419 140734519000192 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=1439904 CPUtime=1176.25 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 999362 0 0 0 117377 248 0 0 25 0 4 0 529891939 1474461696 246824 33554432000 4194304 4650419 140734519000192 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=1439904 CPUtime=1182.32 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 200123 0 0 0 118170 62 0 0 25 0 4 0 529891939 1474461696 246824 33554432000 4194304 4650419 140734519000192 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.01
Current children cumulated vsize (KiB) 1439904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 4.45 6.56 7.22 5/175 16172
/proc/meminfo: memFree=29889124/32951124 swapFree=67111448/67111528
[pid=16115] ppid=16113 vsize=1439904 CPUtime=4800.35 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 2432355 0 0 0 479409 626 0 0 25 0 4 0 529891939 1474461696 249983 33554432000 4194304 4650419 140734519000192 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 359976 249983 394 112 0 354941 0
[pid=16115/tid=16116] ppid=16113 vsize=1439904 CPUtime=1200.73 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 559536 0 0 0 119917 156 0 0 25 0 4 0 529891939 1474461696 249983 33554432000 4194304 4650419 140734519000192 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=1439904 CPUtime=1195.75 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 1173397 0 0 0 119300 275 0 0 25 0 4 0 529891939 1474461696 249984 33554432000 4194304 4650419 140734519000192 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=1439904 CPUtime=1201.94 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 200957 0 0 0 120131 63 0 0 25 0 4 0 529891939 1474461696 249984 33554432000 4194304 4650419 140734519000192 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 1439904

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

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

[startup+1201.9 s]
/proc/loadavg: 4.45 6.56 7.22 5/175 16172
/proc/meminfo: memFree=29889124/32951124 swapFree=67111448/67111528
[pid=16115] ppid=16113 vsize=1439904 CPUtime=4800.35 cores=1,3,5,7
/proc/16115/stat : 16115 (strangenight1-m) R 16113 16115 15356 0 -1 4202496 2432355 0 0 0 479409 626 0 0 25 0 4 0 529891939 1474461696 249983 33554432000 4194304 4650419 140734519000192 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16115/statm: 359976 249983 394 112 0 354941 0
[pid=16115/tid=16116] ppid=16113 vsize=1439904 CPUtime=1200.73 cores=1,3,5,7
/proc/16115/task/16116/stat : 16116 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 559536 0 0 0 119917 156 0 0 25 0 4 0 529891939 1474461696 249983 33554432000 4194304 4650419 140734519000192 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16115/tid=16117] ppid=16113 vsize=1439904 CPUtime=1195.75 cores=1,3,5,7
/proc/16115/task/16117/stat : 16117 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 1173397 0 0 0 119300 275 0 0 25 0 4 0 529891939 1474461696 249984 33554432000 4194304 4650419 140734519000192 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16115/tid=16118] ppid=16113 vsize=1439904 CPUtime=1201.94 cores=1,3,5,7
/proc/16115/task/16118/stat : 16118 (strangenight1-m) R 16113 16115 15356 0 -1 4202560 200957 0 0 0 120131 63 0 0 25 0 4 0 529891939 1474461696 249984 33554432000 4194304 4650419 140734519000192 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 1439904

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.96
CPU time (s): 4800.43
CPU user time (s): 4794.12
CPU system time (s): 6.31204
CPU usage (%): 399.382
Max. virtual memory (cumulated for all children) (KiB): 1462108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.12
system time used= 6.31204
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2432357
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= 1652
involuntary context switches= 32458

runsolver used 1.88071 second user time and 4.69529 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-30 19:01:55
IDJOB=3251595
IDBENCH=88227
IDSOLVER=1588
FILE ID=node104/3251595-1304182915
RUNJOBID= node104-1304182774-16050
PBS_JOBID= 13172420
Free space on /tmp= 72532 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q369.75-n30-p30-s25693430.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251595-1304182915/watcher-3251595-1304182915 -o /tmp/evaluation-result-3251595-1304182915/solver-3251595-1304182915 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3251595-1304182915.cnf

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

MD5SUM BENCH= 08b4f1e095a7a4b98cb40c2c00e78d45
RANDOM SEED=629206657

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30379280 kB
Buffers:        426704 kB
Cached:        1168436 kB
SwapCached:         80 kB
Active:         721436 kB
Inactive:      1440656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30379280 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:            7004 kB
Writeback:           0 kB
AnonPages:      567268 kB
Mapped:          15492 kB
Slab:           345328 kB
PageTables:       5516 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   919960 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= 72536 MiB
End job on node104 at 2011-04-30 19:21:59