Trace number 3266863

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.32 1201.75

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf
MD5SUM02e75ad23aeadbf30b2a4fb3c21ae723
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.466928
Satisfiable
(Un)Satisfiability was proved
Number of variables894
Number of clauses82294
Sum of the clauses size165422
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 282264
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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3266863-1304131799.cnf'
0.00/0.00	c -- header says num vars:            894
0.00/0.00	c -- header says num clauses:       82294
0.00/0.02	c -- clauses added:            0 learnts,        82294 normals,            0 xors
0.00/0.02	c -- vars added        894
0.00/0.06	c Parsing time:  0.01 s
0.00/0.06	c  N st     0         0       894        30     82264         0    165422         0   no data   no data
0.00/0.06	c asymm  cl-useful: 0/30/30 lits-rem:0 time: 0.00
0.00/0.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
0.00/0.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.06	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.00/0.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.00/0.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    894 time:  0.01 s
0.00/0.08	c Removed useless bin:       0  fixed:     0  props:   0.41M  time:  0.01 s
0.00/0.80	c lits-rem:      1284  cl-subs:        0  v-elim:     30  v-fix:    0  time:  0.05 s
0.00/0.80	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.80	c calculated reachability. Time: 0.00
0.00/0.80	c Calc default polars -  time:   0.00 s pos:       0 undec:      30 neg:     864
0.00/0.80	c =========================================================================================
0.00/0.80	c types(t): F = full restart, N = normal restart
0.00/0.80	c types(t): S = simplification begin/end, E = solution found
0.00/0.80	c restart types(rt): st = static, dy = dynamic
0.00/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.80	c  B st     0         0       864      3096     78304         0    257922         0   no data   no data
0.00/0.80	c  N dy     9      4166       864      3096     78304      4019    257922    425981     11.92     12.58
0.86/0.90	c  N dy    27      8429       864      3096     78304      5757    257922    513420     11.29     12.00
5.57/1.40	c  N dy    47     13372       864      3096     78304      6431    257922    558191     11.30     11.90
7.95/2.02	c  N dy    67     18773       864      3096     78304      6235    257922    430031     11.18     11.80
9.15/2.39	c  N dy    83     22788       864      3096     78304     10183    257922    791028     11.14     12.88
10.35/2.66	c  F st    90     25000       864      3096     78304     12324    257922   1014411     11.10     10.40
11.16/2.90	c  N st    94     27032       864      3096     78304      7651    257922    542726     11.10   no data
12.75/3.26	c  S st    96     30000       864      3096     78304     10552    257922    881334     11.10   no data
13.15/3.32	c  S st    96     30503       864      3096     78304     11052    257922    919907     11.10   no data
13.15/3.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.95/3.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.6M T:  0.21
13.95/3.53	c blocked clauses removed:        0 vars:      0 tried:         864 T: 0.00 s
13.95/3.55	c bin-w-bin subsume rem            0 bins  time:  0.01 s
17.14/4.39	c subs with bin:        0  lits-rem:     18958  v-fix:    0  time:  0.85 s
17.54/4.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.01 s
17.54/4.41	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
17.54/4.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
23.93/6.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.60 s
30.73/7.72	c lits-rem:      2058  cl-subs:      550  v-elim:      0  v-fix:    0  time:  1.66 s
31.53/7.92	c asymm  cl-useful: 0/1418/3096 lits-rem:0 time: 0.20
31.53/7.93	c calculated reachability. Time: 0.00
31.53/7.93	c  N dy    96     30503       864      3096     78304     10502    238964    886090     11.10   no data
33.54/8.46	c  N dy   110     34603       864      3096     78304     14510    238964   1252968     10.94     11.52
35.52/8.97	c  N dy   125     38977       864      3096     78304     11075    238964    817140     10.85     11.43
38.33/9.62	c  N dy   156     43220       864      3096     78304     15211    238964   1233208     11.07     11.69
39.91/10.08	c  S st   167     45756       864      3096     78304      8943    238964    541961     11.03     11.04
40.31/10.13	c  S st   167     46258       864      3096     78304      9444    238964    580204     11.03   no data
40.31/10.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
41.11/10.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  8.9M T:  0.18
41.11/10.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
41.11/10.32	c bin-w-bin subsume rem            0 bins  time:  0.01 s
43.51/10.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.62 s
43.51/10.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.01 s
43.51/10.96	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
43.51/10.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
50.30/12.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.62 s
51.11/12.81	c lits-rem:       143  cl-subs:      123  v-elim:      0  v-fix:    0  time:  0.20 s
51.11/12.81	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
51.11/12.82	c vivif2 --  cl tried     9321 cl shrink        0 lits rem          0 time: 0.01
51.89/13.01	c asymm  cl-useful: 0/1487/3096 lits-rem:0 time: 0.19
51.89/13.01	c calculated reachability. Time: 0.00
51.89/13.01	c  N dy   167     46258       864      3096     78304      9321    238964    576347     11.03   no data
53.50/13.47	c  N dy   181     50588       864      3096     78304     13536    238964    995480     10.96     11.66
56.69/14.22	c  N dy   199     54754       864      3096     78304     17571    238964   1344254     11.04     11.69
59.09/14.84	c  N dy   214     58788       864      3096     78305     11759    238964    764626     11.03     11.63
61.08/15.39	c  N dy   238     62797       864      3096     78305     15679    238964   1122934     11.15     11.89
64.30/16.16	c  N dy   257     67297       864      3096     78305     20057    238964   1485671     11.15     11.81
65.88/16.54	c  S st   264     69387       864      3096     78305     11406    238964    701809     11.12   no data
66.28/16.60	c  S st   264     69890       864      3096     78305     11904    238964    739159     11.12   no data
66.28/16.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
67.07/16.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.0M T:  0.23
67.07/16.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
67.07/16.84	c bin-w-bin subsume rem            0 bins  time:  0.01 s
69.47/17.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.63 s
69.47/17.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.01 s
69.47/17.49	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
69.87/17.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
75.86/19.07	c subs with bin:      424  lits-rem:         9  v-fix:    0  time:  1.56 s
77.48/19.48	c lits-rem:       253  cl-subs:      213  v-elim:      0  v-fix:    0  time:  0.41 s
77.48/19.48	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
77.48/19.50	c vivif2 --  cl tried    11267 cl shrink        0 lits rem          0 time: 0.01
78.65/19.70	c asymm  cl-useful: 0/1467/3096 lits-rem:0 time: 0.20
78.65/19.70	c calculated reachability. Time: 0.00
78.65/19.70	c  N dy   264     69890       864      3096     78305     11267    238964    727337     11.12   no data
80.65/20.23	c  N dy   277     74350       864      3096     78305     15596    238964   1105086     11.07     15.16
83.45/20.90	c  N dy   292     79142       864      3096     78306     20266    238964   1559146     11.04     11.81
86.26/21.67	c  N dy   313     84221       864      3096     78306     13532    238964    829306     11.02     11.71
87.85/22.08	c  F st   328     87501       864      3096     78306     16745    238964   1083131     11.01      8.54
89.85/22.55	c  N st   333     90801       864      3096     78306     19941    238964   1357839     11.01   no data
93.44/23.43	c  N dy   350     96599       864      3096     78308     12939    238964    791709     11.01     19.63
97.03/24.30	c  N dy   375    103516       864      3096     78308     19667    238964   1459832     10.99     11.58
97.83/24.56	c  S st   382    104836       864      3096     78308     20935    238964   1572482     11.01     10.57
98.23/24.65	c  S st   382    105340       864      3096     78308     21439    238964   1620861     11.01   no data
98.23/24.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
99.84/25.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 16.5M T:  0.37
99.84/25.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
99.84/25.04	c bin-w-bin subsume rem            0 bins  time:  0.01 s
102.23/25.67	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  0.62 s
102.23/25.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.01 s
102.23/25.68	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
102.63/25.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
109.42/27.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.68 s
123.80/31.01	c lits-rem:       754  cl-subs:      477  v-elim:      0  v-fix:    0  time:  3.59 s
123.80/31.01	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
123.80/31.03	c vivif2 --  cl tried    20962 cl shrink       11 lits rem         11 time: 0.03
124.60/31.27	c asymm  cl-useful: 0/978/3096 lits-rem:0 time: 0.23
124.60/31.27	c calculated reachability. Time: 0.00
124.60/31.27	c  N dy   382    105340       864      3096     78308     20962    238963   1599866     11.01   no data
131.38/32.94	c  N dy   422    113638       864      3096     78309     15440    238963   1014559     11.09     11.68
135.78/34.04	c  N dy   458    120966       864      3096     78309     22591    238963   1663892     11.12     16.17
142.17/35.64	c  N dy   501    128882       864      3096     78309     15687    238963    977264     11.19     11.86
148.18/37.15	c  N dy   551    137201       864      3096     78309     23759    238963   1700503     11.34     22.83
156.15/39.19	c  N dy   598    146078       864      3096     78310     16833    238963    981883     11.40     12.47
162.14/40.64	c  N dy   625    155603       864      3096     78310     26123    238963   1830296     11.33     11.94
164.54/41.20	c  S st   636    158010       864      3096     78310     28459    238963   2053062     11.34     11.62
164.54/41.29	c  S st   636    158514       864      3096     78310     28958    238963   2096435     11.34   no data
164.94/41.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
166.53/41.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 20.4M T:  0.45
166.53/41.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
166.53/41.76	c bin-w-bin subsume rem            0 bins  time:  0.01 s
168.93/42.39	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  0.63 s
169.34/42.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.01 s
169.34/42.41	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
169.34/42.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
175.72/44.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.53 s
198.89/49.89	c lits-rem:      1275  cl-subs:      979  v-elim:      0  v-fix:    0  time:  5.89 s
198.89/49.90	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
199.29/49.93	c vivif2 --  cl tried    27979 cl shrink      130 lits rem        130 time: 0.04
200.09/50.18	c asymm  cl-useful: 0/527/3096 lits-rem:0 time: 0.24
200.09/50.18	c calculated reachability. Time: 0.00
200.09/50.18	c  N dy   636    158514       864      3096     78310     27979    238962   2059008     11.34   no data
208.88/52.40	c  N dy   679    169615       864      3096     78310     22225    238962   1329204     11.31     11.93
218.86/54.83	c  N dy   732    180508       864      3096     78310     32777    238962   2267864     11.36     22.26
227.65/57.08	c  N dy   788    192150       864      3096     78310     26626    238962   1686389     11.40     12.36
238.44/59.76	c  N dy   835    204521       864      3096     78311     20172    238962   1060656     11.38     12.03
248.03/62.13	c  N dy   888    217679       864      3096     78311     32937    238962   2164080     11.38     11.99
259.21/64.95	c  N dy   938    232758       864      3096     78311     28142    238962   1694407     11.35     12.24
263.20/65.95	c  S st   956    237771       864      3096     78311     33007    238962   2127962     11.34     10.94
263.60/66.06	c  S st   956    238274       864      3096     78311     33507    238962   2171937     11.34   no data
263.60/66.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
266.00/66.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 20.9M T:  0.53
266.00/66.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
266.00/66.62	c bin-w-bin subsume rem            0 bins  time:  0.01 s
268.39/67.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.63 s
268.39/67.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.01 s
268.39/67.26	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
268.39/67.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
275.61/69.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.73 s
302.75/75.85	c lits-rem:      1901  cl-subs:     1462  v-elim:      0  v-fix:    0  time:  6.79 s
302.75/75.85	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
302.75/75.89	c vivif2 --  cl tried    32045 cl shrink       32 lits rem         32 time: 0.04
303.95/76.14	c asymm  cl-useful: 0/876/3096 lits-rem:0 time: 0.25
303.95/76.14	c calculated reachability. Time: 0.00
303.95/76.14	c  N dy   956    238274       864      3096     78311     32045    238962   2133285     11.34   no data
316.73/79.31	c  N dy  1011    253857       864      3096     78312     26827    238962   1457020     11.34     12.11
330.71/82.87	c  N dy  1079    271004       864      3096     78313     22122    238962   1068004     11.33     11.93
343.90/86.15	c  N dy  1161    288377       864      3096     78313     39026    238962   2573388     11.38     13.82
359.10/89.98	c  F st  1255    306250       864      3096     78313     33997    238962   2048278     11.44      9.21
359.87/90.14	c  N st  1257    306875       864      3096     78313     34605    238962   2082589     11.44   no data
375.85/94.19	c  N dy  1308    326648       864      3096     78313     30475    238962   1652282     11.41     12.04
393.42/98.57	c  N dy  1389    347266       864      3096     78313     26217    238962   1236017     11.41     12.07
400.62/100.39	c  S st  1420    357411       864      3096     78313     36031    238962   2026946     11.40      9.16
401.02/100.49	c  S st  1420    357915       864      3096     78313     36534    238962   2071970     11.40   no data
401.42/100.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
403.41/101.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 21.0M T:  0.56
403.41/101.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
403.41/101.07	c bin-w-bin subsume rem            0 bins  time:  0.01 s
406.21/101.71	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  0.64 s
406.21/101.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.01 s
406.21/101.73	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
406.21/101.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
412.59/103.33	c subs with bin:      136  lits-rem:        15  v-fix:    0  time:  1.54 s
436.97/109.49	c lits-rem:      1649  cl-subs:     1940  v-elim:      0  v-fix:    0  time:  6.16 s
436.97/109.49	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
437.37/109.54	c vivif2 --  cl tried    34458 cl shrink       28 lits rem         28 time: 0.04
438.18/109.79	c asymm  cl-useful: 0/542/3096 lits-rem:0 time: 0.25
438.18/109.79	c calculated reachability. Time: 0.00
438.18/109.79	c  N dy  1420    357915       864      3096     78313     34458    238961   2030734     11.40   no data
458.14/114.71	c  N dy  1519    377990       864      3096     78316     28735    238961   1451409     11.44     12.15
475.31/119.04	c  N dy  1598    397995       864      3096     78316     48113    238961   3055578     11.44     16.48
492.09/123.22	c  N dy  1671    418045       864      3096     78317     41368    238961   2379595     11.43     19.55
512.07/128.24	c  N dy  1754    438692       864      3096     78317     34284    238961   1760425     11.43     12.04
530.83/132.93	c  N dy  1833    459163       864      3096     78318     54023    238961   3392104     11.43     12.16
546.42/136.82	c  N dy  1904    480033       864      3096     78318     46137    238961   2550027     11.40     12.01
565.61/141.68	c  N dy  1994    500814       864      3096     78320     37274    238961   1906288     11.41     12.08
586.37/146.84	c  N dy  2097    520876       864      3096     78321     56721    238961   3470345     11.44     16.70
600.76/150.48	c  S st  2183    536872       864      3096     78322     42205    238961   2271141     11.48   no data
601.54/150.62	c  S st  2183    537376       864      3096     78322     42704    238961   2309839     11.48   no data
601.54/150.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
603.94/151.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 23.3M T:  0.59
603.94/151.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
603.94/151.23	c bin-w-bin subsume rem            0 bins  time:  0.01 s
606.34/151.87	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  0.63 s
606.34/151.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.01 s
606.34/151.88	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
606.74/151.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
612.73/153.49	c subs with bin:      209  lits-rem:        37  v-fix:    0  time:  1.54 s
645.08/161.57	c lits-rem:      1936  cl-subs:     2672  v-elim:      0  v-fix:    0  time:  8.08 s
645.08/161.58	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
645.48/161.63	c vivif2 --  cl tried    39823 cl shrink      586 lits rem        663 time: 0.05
646.68/161.90	c asymm  cl-useful: 0/384/3096 lits-rem:0 time: 0.27
646.68/161.90	c calculated reachability. Time: 0.00
646.68/161.90	c  N dy  2183    537376       864      3096     78322     39823    238960   2255510     11.48   no data
671.84/168.28	c  N dy  2300    557656       864      3096     78322     59446    238960   3840270     11.53     12.17
691.42/173.18	c  N dy  2397    577773       864      3096     78323     47937    238960   2812563     11.56     12.24
715.01/179.03	c  N dy  2487    598133       864      3096     78323     35680    238960   1687558     11.58     12.21
732.58/183.44	c  N dy  2550    618153       864      3096     78325     55039    238960   3171677     11.56     12.40
756.13/189.33	c  N dy  2639    638495       864      3096     78326     41826    238960   2099799     11.58     12.23
779.30/195.14	c  N dy  2752    658511       864      3096     78326     61149    238960   3642438     11.61     12.27
800.87/200.58	c  N dy  2833    678806       864      3096     78327     46887    238960   2526038     11.61     12.41
826.84/207.01	c  N dy  2929    698921       864      3096     78328     66247    238960   4019078     11.63     12.74
845.61/211.73	c  N dy  3008    718938       864      3096     78329     50988    238960   2823465     11.64     12.31
872.38/218.44	c  N dy  3105    738993       864      3096     78329     70337    238960   4258821     11.67     17.41
891.94/223.37	c  N dy  3204    759007       864      3096     78331     53963    238960   3022992     11.69     13.98
921.91/230.84	c  N dy  3302    779946       864      3096     78331     37456    238960   1616527     11.72     12.40
941.08/235.63	c  N dy  3385    799970       864      3096     78331     56805    238960   3131420     11.73     16.49
948.66/237.59	c  S st  3411    806064       864      3096     78331     62709    238960   3592248     11.74     10.68
949.46/237.79	c  S st  3411    806564       864      3096     78331     63207    238960   3630937     11.74   no data
949.86/237.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
953.47/238.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 32.4M T:  0.98
953.47/238.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
953.87/238.80	c bin-w-bin subsume rem            0 bins  time:  0.01 s
956.28/239.43	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  0.63 s
956.28/239.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.01 s
956.28/239.45	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
956.28/239.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
965.07/241.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.05 s
1005.40/251.79	c lits-rem:      4241  cl-subs:     4653  v-elim:      0  v-fix:    0  time: 10.16 s
1005.80/251.80	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
1005.80/251.87	c vivif2 --  cl tried    58554 cl shrink      537 lits rem        547 time: 0.07
1006.99/252.17	c asymm  cl-useful: 0/300/3096 lits-rem:0 time: 0.29
1006.99/252.17	c calculated reachability. Time: 0.00
1006.99/252.17	c  N dy  3411    806564       864      3096     78331     58554    238958   3543093     11.74   no data
1035.77/259.30	c  N dy  3505    826868       864      3096     78333     40523    238958   1938602     11.76     12.52
1057.75/264.86	c  N dy  3592    847348       864      3096     78333     60282    238958   3539278     11.77     12.41
1090.08/272.96	c  N dy  3716    867415       864      3096     78333     41046    238958   1879868     11.85     17.42
1111.24/278.21	c  N dy  3804    888113       864      3096     78333     61073    238958   3379820     11.85     12.55
1140.01/285.41	c  N dy  3909    908158       864      3096     78334     40871    238958   1826211     11.87     14.94
1159.18/290.26	c  N dy  3982    928447       864      3096     78334     60465    238958   3398773     11.87     12.75
1190.34/298.01	c  N dy  4079    948466       864      3096     78335     79770    238958   5017959     11.89     12.55
1211.53/303.35	c  N dy  4167    968562       864      3096     78336     58581    238958   3139454     11.90     17.55
1242.29/311.09	c  N dy  4282    988735       864      3096     78337     78000    238958   4680329     11.92     12.62
1265.04/316.70	c  N dy  4356   1008805       864      3096     78340     55870    238958   2900160     11.92     19.32
1291.80/323.47	c  N dy  4430   1028824       864      3096     78340     75174    238958   4436261     11.92     17.82
1318.97/330.25	c  N dy  4520   1048901       864      3096     78340     52097    238958   2595609     11.93     17.46
1348.92/337.71	c  N dy  4613   1068955       864      3096     78341     71410    238958   4167755     11.96     12.67
1354.12/339.00	c  F st  4631   1071875       864      3096     78341     74240    238958   4390261     11.97   no data
1382.49/346.18	c  N dy  4705   1089015       864      3096     78342     47378    238958   2162508     11.99     12.78
1408.45/352.69	c  N dy  4790   1112121       864      3096     78342     69628    238958   4007118     12.00     12.65
1442.40/361.11	c  N dy  4870   1132226       864      3096     78342     44706    238958   1929497     12.01     12.64
1466.76/367.28	c  N dy  4991   1152409       864      3096     78342     64263    238958   3563218     12.05     12.82
1503.51/376.42	c  N dy  5089   1172456       864      3096     78343     83559    238958   5136097     12.07     16.83
1533.87/384.06	c  N dy  5198   1192459       864      3096     78344     57478    238958   2969030     12.10     17.49
1559.84/390.57	c  S st  5296   1209847       864      3096     78345     74183    238958   4328008     12.12   no data
1561.04/390.80	c  S st  5296   1210348       864      3096     78345     74684    238958   4364999     12.12   no data
1561.04/390.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1566.23/392.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 39.6M T:  1.34
1566.23/392.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1566.23/392.17	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1569.02/392.81	c subs with bin:        0  lits-rem:         4  v-fix:    0  time:  0.64 s
1569.02/392.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.01 s
1569.02/392.83	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
1569.02/392.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1577.01/394.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.89 s
1630.14/408.15	c lits-rem:      4087  cl-subs:     6038  v-elim:      0  v-fix:    0  time: 13.28 s
1630.14/408.16	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
1630.54/408.25	c vivif2 --  cl tried    68646 cl shrink     1106 lits rem       1233 time: 0.09
1631.73/408.56	c asymm  cl-useful: 0/413/3096 lits-rem:0 time: 0.31
1631.73/408.57	c calculated reachability. Time: 0.00
1631.73/408.57	c  N dy  5296   1210348       864      3096     78345     68646    238954   4260484     12.12   no data
1672.09/418.70	c  N dy  5398   1230635       864      3096     78347     88152    238954   5947333     12.14     12.90
1700.84/425.89	c  N dy  5483   1251514       864      3096     78347     62197    238954   3500036     12.14     12.94
1739.59/435.58	c  N dy  5583   1271564       864      3096     78350     81534    238954   5130126     12.18     12.99
1777.55/445.06	c  N dy  5699   1291765       864      3096     78350     53846    238954   2645569     12.21     12.97
1805.09/452.00	c  N dy  5810   1311804       864      3096     78351     73107    238954   4232056     12.24     12.95
1844.27/461.74	c  N dy  5922   1331978       864      3096     78351     92438    238954   5799126     12.27     13.02
1871.01/468.43	c  N dy  6007   1351998       864      3096     78351     63664    238954   3398240     12.28     13.04
1903.76/476.63	c  N dy  6113   1372232       864      3096     78351     83164    238954   5027057     12.31     12.98
1943.32/486.57	c  N dy  6216   1392454       864      3096     78353     53486    238954   2500450     12.33     12.99
1970.08/493.27	c  N dy  6300   1412465       864      3096     78353     72677    238954   4040079     12.34     13.91
2008.43/502.84	c  N dy  6401   1432554       864      3096     78354     91951    238954   5610206     12.36     22.63
2044.37/511.88	c  N dy  6506   1452884       864      3096     78355     61544    238954   3110607     12.38     13.11
2076.34/519.83	c  N dy  6605   1474374       864      3096     78355     82241    238954   4823165     12.40     13.30
2121.10/531.09	c  N dy  6728   1494840       864      3096     78356    101917    238954   6449490     12.42     13.13
2147.46/537.64	c  N dy  6822   1514918       864      3096     78356     70307    238954   3914076     12.44     24.31
2187.38/547.67	c  N dy  6923   1535739       864      3096     78356     90338    238954   5571713     12.46     13.49
2228.92/558.04	c  N dy  7044   1555846       864      3096     78358     57734    238954   2793706     12.48     13.55
2258.89/565.54	c  N dy  7136   1575861       864      3096     78358     76916    238954   4349847     12.50     13.59
2309.22/578.18	c  N dy  7268   1596279       864      3096     78358     96646    238954   6094251     12.53     13.33
2345.97/587.36	c  N dy  7356   1616383       864      3096     78360     63103    238954   3219969     12.54     13.22
2381.52/596.20	c  N dy  7469   1636640       864      3096     78362     82589    238954   4788934     12.57     13.27
2423.88/606.90	c  N dy  7561   1656647       864      3096     78362    101853    238954   6397793     12.59     16.12
2461.42/616.26	c  N dy  7675   1678099       864      3096     78366     68634    238954   3676899     12.62     13.29
2500.56/626.09	c  N dy  7811   1698519       864      3096     78366     88312    238954   5266643     12.65     13.37
2529.74/633.33	c  S st  7890   1710348       864      3096     78367     99758    238954   6223011     12.67     10.93
2531.32/633.70	c  S st  7890   1710850       864      3096     78367    100258    238954   6264900     12.67   no data
2531.32/633.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2538.91/635.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 53.7M T:  1.97
2538.91/635.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2539.31/635.70	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2541.71/636.33	c subs with bin:        0  lits-rem:         5  v-fix:    0  time:  0.63 s
2541.71/636.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.01 s
2541.71/636.35	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
2542.11/636.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
2551.31/638.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.16 s
2648.75/663.12	c lits-rem:      4838  cl-subs:     6299  v-elim:      0  v-fix:    0  time: 24.38 s
2648.75/663.12	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
2649.15/663.26	c vivif2 --  cl tried    93959 cl shrink     2467 lits rem       2806 time: 0.14
2650.75/663.63	c asymm  cl-useful: 0/162/3096 lits-rem:0 time: 0.36
2650.75/663.63	c calculated reachability. Time: 0.00
2650.75/663.63	c  N dy  7890   1710850       864      3096     78367     93959    238949   6128723     12.67   no data
2701.88/676.46	c  N dy  8001   1730858       864      3096     78372     58395    238949   2876579     12.69     25.30
2731.46/683.90	c  N dy  8093   1750877       864      3096     78374     77660    238949   4385951     12.70     13.50
2771.00/693.71	c  N dy  8166   1771169       864      3096     78374     97164    238949   5996948     12.70     13.43
2813.73/704.44	c  N dy  8235   1791508       864      3096     78375     60862    238949   2944298     12.70     13.45
2841.31/711.38	c  N dy  8307   1811678       864      3096     78376     80327    238949   4628288     12.70     13.51
2882.84/721.74	c  N dy  8396   1831751       864      3096     78378     99548    238949   6092009     12.71     24.78
2928.77/733.30	c  N dy  8519   1851955       864      3096     78379     62321    238949   3078932     12.74     13.44
2959.95/741.10	c  N dy  8629   1872016       864      3096     78379     81640    238949   4683666     12.75     13.50
3006.67/752.77	c  N dy  8738   1892158       864      3096     78383    101044    238949   6270146     12.77     13.47
3053.81/764.52	c  N dy  8842   1912241       864      3096     78386     62587    238949   3038874     12.79     25.16
3085.75/772.52	c  N dy  8949   1932303       864      3096     78387     81853    238949   4548439     12.80     13.60
3127.32/782.99	c  N dy  9035   1952396       864      3096     78389    101115    238949   6170127     12.81     13.61
3179.65/796.06	c  N dy  9132   1972483       864      3096     78389     61768    238949   2987681     12.82     13.54
3211.59/804.03	c  N dy  9233   1992507       864      3096     78389     81013    238949   4546968     12.84     18.87
3254.34/814.75	c  N dy  9312   2012851       864      3096     78390    100468    238949   6009921     12.84     13.69
3305.46/827.54	c  N dy  9410   2032965       864      3096     78391     60207    238949   2792925     12.86     13.55
3335.81/835.15	c  N dy  9512   2053738       864      3096     78391     80250    238949   4543947     12.87     13.76
3377.38/845.55	c  N dy  9607   2073764       864      3096     78393     99504    238949   6168322     12.88     17.32
3440.08/861.21	c  N dy  9707   2093858       864      3096     78394    118673    238949   7661839     12.89     14.08
3474.05/869.74	c  N dy  9772   2113995       864      3096     78395     77635    238949   4068971     12.89     13.68
3513.59/879.68	c  N dy  9869   2134020       864      3096     78395     96951    238949   5709820     12.90     23.61
3565.91/892.79	c  N dy  9987   2154096       864      3096     78397    116225    238949   7278021     12.92     23.56
3604.66/902.45	c  N dy 10073   2174154       864      3096     78400     73935    238949   3661729     12.93     13.90
3639.41/911.17	c  N dy 10150   2194220       864      3096     78400     93294    238949   5356087     12.93     16.29
3678.96/921.02	c  S st 10228   2210850       864      3096     78402    109237    238949   6679275     12.94   no data
3680.57/921.42	c  S st 10228   2211352       864      3096     78402    109739    238949   6724122     12.94   no data
3680.57/921.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3689.76/923.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 59.5M T:  2.27
3689.76/923.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3689.76/923.72	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3692.14/924.35	c subs with bin:        0  lits-rem:         9  v-fix:    0  time:  0.63 s
3692.14/924.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    864 time:  0.01 s
3692.14/924.37	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.01 s
3692.54/924.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
3702.12/926.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.30 s
3811.98/954.31	c lits-rem:      6091  cl-subs:     6311  v-elim:      0  v-fix:    0  time: 27.43 s
3811.98/954.32	c vivif2 --  cl tried     3096 cl shrink        0 lits rem          0 time: 0.00
3812.39/954.49	c vivif2 --  cl tried   103428 cl shrink     3679 lits rem       4199 time: 0.17
3814.37/954.91	c asymm  cl-useful: 0/405/3096 lits-rem:0 time: 0.42
3814.37/954.91	c calculated reachability. Time: 0.00
3814.37/954.91	c  N dy 10228   2211352       864      3096     78402    103428    238940   6569742     12.94   no data
3867.50/968.23	c  N dy 10311   2231485       864      3096     78408    122699    238940   8187782     12.95     14.08
3902.25/976.93	c  N dy 10424   2252163       864      3096     78408     80201    238940   4243943     12.96     14.01
3943.80/987.34	c  N dy 10527   2272433       864      3096     78410     99602    238940   5843749     12.98     13.77
3992.12/999.42	c  N dy 10613   2292461       864      3096     78411    118740    238940   7371081     12.98     21.69
4033.67/1009.80	c  N dy 10696   2313222       864      3096     78412     75398    238940   3794750     12.99     13.73
4071.64/1019.36	c  N dy 10800   2333316       864      3096     78412     94591    238940   5288270     13.00     14.98
4119.98/1031.44	c  N dy 10905   2353445       864      3096     78416    113862    238940   6879890     13.02     13.76
4165.89/1042.95	c  N dy 10986   2373676       864      3096     78418     69106    238940   3212302     13.02     13.72
4197.85/1051.00	c  N dy 11070   2393742       864      3096     78421     88314    238940   4706249     13.02     13.88
4245.38/1062.88	c  N dy 11201   2413767       864      3096     78421    107516    238940   6263622     13.05     22.24
4302.11/1077.03	c  N dy 11319   2433787       864      3096     78422    126718    238940   7825084     13.08     13.86
4337.26/1085.88	c  N dy 11417   2453935       864      3096     78422     80933    238940   4158245     13.09     13.85
4376.00/1095.50	c  N dy 11518   2474221       864      3096     78427    100410    238940   5707570     13.10     13.84
4427.56/1108.44	c  N dy 11636   2494317       864      3096     78430    119690    238940   7243798     13.12     13.81
4477.47/1120.95	c  N dy 11754   2514430       864      3096     78432     72793    238940   3405972     13.14     13.87
4510.23/1129.17	c  N dy 11835   2535068       864      3096     78435     92517    238940   4964125     13.14     13.88
4555.38/1140.41	c  N dy 11915   2555073       864      3096     78440    111698    238940   6531494     13.14     29.88
4616.50/1155.80	c  N dy 12011   2575510       864      3096     78441    131170    238940   8047114     13.15     13.91
4656.82/1165.84	c  N dy 12111   2595559       864      3096     78446     83280    238940   3953781     13.16     15.67
4698.77/1176.34	c  N dy 12202   2615642       864      3096     78447    102500    238940   5433390     13.17     19.15
4749.10/1188.96	c  N dy 12290   2635662       864      3096     78450    121535    238940   6884523     13.17     19.54

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-3266863-1304131799/watcher-3266863-1304131799 -o /tmp/evaluation-result-3266863-1304131799/solver-3266863-1304131799 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3266863-1304131799.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: 4.57 4.28 4.78 5/180 29421
/proc/meminfo: memFree=29651508/32950928 swapFree=67111364/67111528
[pid=29421] ppid=29419 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 603410543 52441088 347 33554432000 4194304 4627427 140735008017552 18446744073709551615 256415448049 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 12803 347 299 106 0 7774 0
[pid=29421/tid=29422] ppid=29419 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 603410543 52441088 352 33554432000 4194304 4627427 140735008017552 18446744073709551615 47832216025010 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 603410543 52441088 352 33554432000 4194304 4627427 140735008017552 18446744073709551615 256410438742 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 603410543 52441088 352 33554432000 4194304 4627427 140735008017552 18446744073709551615 47832216025004 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.083012 s]
/proc/loadavg: 4.57 4.28 4.78 5/180 29421
/proc/meminfo: memFree=29651508/32950928 swapFree=67111364/67111528
[pid=29421] ppid=29419 vsize=286536 CPUtime=0.86 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 7641 0 0 0 85 1 0 0 18 0 4 0 603410543 293412864 7458 33554432000 4194304 4627427 140735008017552 18446744073709551615 256415496735 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 73283 9511 385 106 0 68254 0
[pid=29421/tid=29422] ppid=29419 vsize=293132 CPUtime=0.8 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 3087 0 0 0 80 0 0 0 19 0 4 0 603410543 300167168 9511 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=293132 CPUtime=0.79 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 3137 0 0 0 79 0 0 0 18 0 4 0 603410543 300167168 9512 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=293132 CPUtime=0.79 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 2630 0 0 0 79 0 0 0 19 0 4 0 603410543 300167168 9512 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 286536

[startup+0.909967 s]
/proc/loadavg: 4.57 4.28 4.78 5/180 29421
/proc/meminfo: memFree=29651508/32950928 swapFree=67111364/67111528
[pid=29421] ppid=29419 vsize=293588 CPUtime=3.6 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 13234 0 0 0 358 2 0 0 19 0 4 0 603410543 300634112 9626 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 73397 9626 385 106 0 68368 0
[pid=29421/tid=29422] ppid=29419 vsize=293588 CPUtime=0.9 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 3192 0 0 0 90 0 0 0 19 0 4 0 603410543 300634112 9626 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=293588 CPUtime=0.89 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 3276 0 0 0 89 0 0 0 19 0 4 0 603410543 300634112 9626 33554432000 4194304 4627427 140735008017552 18446744073709551615 4322484 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=293588 CPUtime=0.89 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 3037 0 0 0 89 0 0 0 19 0 4 0 603410543 300634112 9626 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 293588

[startup+1.00995 s]
/proc/loadavg: 4.57 4.28 4.78 5/180 29421
/proc/meminfo: memFree=29651508/32950928 swapFree=67111364/67111528
[pid=29421] ppid=29419 vsize=293588 CPUtime=4 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 13758 0 0 0 398 2 0 0 19 0 4 0 603410543 300634112 10150 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 73397 10150 385 106 0 68368 0
[pid=29421/tid=29422] ppid=29419 vsize=293588 CPUtime=1 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 3333 0 0 0 100 0 0 0 19 0 4 0 603410543 300634112 10150 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=293588 CPUtime=0.99 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 3408 0 0 0 99 0 0 0 19 0 4 0 603410543 300634112 10150 33554432000 4194304 4627427 140735008017552 18446744073709551615 4332670 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=293588 CPUtime=0.99 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 3166 0 0 0 99 0 0 0 19 0 4 0 603410543 300634112 10150 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309004 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 293588

[startup+1.11056 s]
/proc/loadavg: 4.57 4.28 4.78 5/180 29421
/proc/meminfo: memFree=29651508/32950928 swapFree=67111364/67111528
[pid=29421] ppid=29419 vsize=304704 CPUtime=4.41 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 15428 0 0 0 438 3 0 0 19 0 4 0 603410543 312016896 9240 33554432000 4194304 4627427 140735008017552 18446744073709551615 256415434887 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 76176 9240 385 106 0 71147 0
[pid=29421/tid=29422] ppid=29419 vsize=295088 CPUtime=1.1 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 3799 0 0 0 110 0 0 0 19 0 4 0 603410543 302170112 9244 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=295088 CPUtime=1.09 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 3939 0 0 0 109 0 0 0 19 0 4 0 603410543 302170112 9244 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=295088 CPUtime=1.09 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 3298 0 0 0 109 0 0 0 19 0 4 0 603410543 302170112 9244 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.41
Current children cumulated vsize (KiB) 304704

[startup+1.50086 s]
/proc/loadavg: 4.57 4.28 4.78 5/180 29421
/proc/meminfo: memFree=29651508/32950928 swapFree=67111364/67111528
[pid=29421] ppid=29419 vsize=285636 CPUtime=5.97 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 17442 0 0 0 594 3 0 0 19 0 4 0 603410543 292491264 10501 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309587 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 71409 10502 386 106 0 66380 0
[pid=29421/tid=29422] ppid=29419 vsize=285636 CPUtime=1.48 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 4256 0 0 0 148 0 0 0 19 0 4 0 603410543 292491264 10502 33554432000 4194304 4627427 140735008017552 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=285636 CPUtime=1.48 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 4331 0 0 0 148 0 0 0 20 0 4 0 603410543 292491264 10503 33554432000 4194304 4627427 140735008017552 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=285636 CPUtime=1.48 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 4028 0 0 0 148 0 0 0 20 0 4 0 603410543 292491264 10503 33554432000 4194304 4627427 140735008017552 18446744073709551615 4331254 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285636

[startup+3.10056 s]
/proc/loadavg: 4.57 4.28 4.78 9/184 29426
/proc/meminfo: memFree=29579148/32950928 swapFree=67111364/67111528
[pid=29421] ppid=29419 vsize=292192 CPUtime=12.35 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 27888 0 0 0 1230 5 0 0 25 0 4 0 603410543 299204608 14075 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309293 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 73048 14075 389 106 0 68019 0
[pid=29421/tid=29422] ppid=29419 vsize=292192 CPUtime=3.09 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 6795 0 0 0 308 1 0 0 25 0 4 0 603410543 299204608 14075 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=292192 CPUtime=3.09 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 6716 0 0 0 308 1 0 0 25 0 4 0 603410543 299204608 14076 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=292192 CPUtime=3.07 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 6937 0 0 0 306 1 0 0 25 0 4 0 603410543 299204608 14076 33554432000 4194304 4627427 140735008017552 18446744073709551615 4424714 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 292192

[startup+6.30695 s]
/proc/loadavg: 4.84 4.34 4.80 9/184 29426
/proc/meminfo: memFree=29490612/32950928 swapFree=67111364/67111528
[pid=29421] ppid=29419 vsize=302008 CPUtime=25.15 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 45256 0 0 0 2508 7 0 0 25 0 4 0 603410543 309256192 28755 33554432000 4194304 4627427 140735008017552 18446744073709551615 4428398 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 75502 28755 389 106 0 70473 0
[pid=29421/tid=29422] ppid=29419 vsize=302008 CPUtime=6.29 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 10591 0 0 0 628 1 0 0 25 0 4 0 603410543 309256192 28755 33554432000 4194304 4627427 140735008017552 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=302008 CPUtime=6.29 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 13049 0 0 0 627 2 0 0 25 0 4 0 603410543 309256192 28755 33554432000 4194304 4627427 140735008017552 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=302008 CPUtime=6.25 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 9531 0 0 0 624 1 0 0 25 0 4 0 603410543 309256192 28755 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309130 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 302008

[startup+12.7007 s]
/proc/loadavg: 5.09 4.40 4.81 9/184 29426
/proc/meminfo: memFree=29449960/32950928 swapFree=67111364/67111528
[pid=29421] ppid=29419 vsize=314884 CPUtime=50.7 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 65967 0 0 0 5059 11 0 0 25 0 4 0 603410543 322441216 34572 33554432000 4194304 4627427 140735008017552 18446744073709551615 4428093 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 78721 34572 389 106 0 73692 0
[pid=29421/tid=29422] ppid=29419 vsize=314884 CPUtime=12.68 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 17843 0 0 0 1266 2 0 0 25 0 4 0 603410543 322441216 34572 33554432000 4194304 4627427 140735008017552 18446744073709551615 4424686 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=314884 CPUtime=12.69 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 17714 0 0 0 1266 3 0 0 25 0 4 0 603410543 322441216 34572 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=314884 CPUtime=12.62 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 15585 0 0 0 1259 3 0 0 25 0 4 0 603410543 322441216 34572 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 314884

[startup+25.5003 s]
/proc/loadavg: 5.74 4.57 4.86 9/184 29456
/proc/meminfo: memFree=29440340/32950928 swapFree=67111364/67111528
[pid=29421] ppid=29419 vsize=382552 CPUtime=101.83 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 101472 0 0 0 10164 19 0 0 25 0 4 0 603410543 391733248 52773 33554432000 4194304 4627427 140735008017552 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 95638 52773 389 106 0 90609 0
[pid=29421/tid=29422] ppid=29419 vsize=382552 CPUtime=25.48 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 25790 0 0 0 2544 4 0 0 25 0 4 0 603410543 391733248 52773 33554432000 4194304 4627427 140735008017552 18446744073709551615 4424460 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=382552 CPUtime=25.48 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 25085 0 0 0 2544 4 0 0 25 0 4 0 603410543 391733248 52773 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=382552 CPUtime=25.34 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 27362 0 0 0 2529 5 0 0 25 0 4 0 603410543 391733248 52773 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 382552

[startup+51.1005 s]
/proc/loadavg: 6.57 4.86 4.95 9/184 29457
/proc/meminfo: memFree=29154620/32950928 swapFree=67111364/67111528
[pid=29421] ppid=29419 vsize=504772 CPUtime=204.09 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 154414 0 0 0 20377 32 0 0 25 0 4 0 603410543 516886528 65680 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 126193 65680 391 106 0 121164 0
[pid=29421/tid=29422] ppid=29419 vsize=504772 CPUtime=51.08 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 40045 0 0 0 5100 8 0 0 25 0 4 0 603410543 516886528 65681 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=504772 CPUtime=51.08 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 37005 0 0 0 5102 6 0 0 25 0 4 0 603410543 516886528 65681 33554432000 4194304 4627427 140735008017552 18446744073709551615 4520543 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=504772 CPUtime=50.8 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 43786 0 0 0 5071 9 0 0 25 0 4 0 603410543 516886528 65681 33554432000 4194304 4627427 140735008017552 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 504772

[startup+102.301 s]
/proc/loadavg: 7.43 5.36 5.11 9/184 29458
/proc/meminfo: memFree=28879596/32950928 swapFree=67111364/67111528
[pid=29421] ppid=29419 vsize=524988 CPUtime=408.6 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 252132 0 0 0 40803 57 0 0 25 0 4 0 603410543 537587712 79316 33554432000 4194304 4627427 140735008017552 18446744073709551615 4424686 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 131247 79316 389 106 0 126218 0
[pid=29421/tid=29422] ppid=29419 vsize=524988 CPUtime=102.28 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 60035 0 0 0 10215 13 0 0 25 0 4 0 603410543 537587712 79316 33554432000 4194304 4627427 140735008017552 18446744073709551615 4428116 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=524988 CPUtime=102.29 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 61855 0 0 0 10216 13 0 0 25 0 4 0 603410543 537587712 79316 33554432000 4194304 4627427 140735008017552 18446744073709551615 4428403 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=524988 CPUtime=101.72 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 71834 0 0 0 10153 19 0 0 25 0 4 0 603410543 537587712 79316 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 524988

[startup+162.301 s]

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

[pid=29421] ppid=29419 vsize=1197172 CPUtime=2805.34 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 933578 0 0 0 280269 265 0 0 25 0 4 0 603410543 1225904128 196816 33554432000 4194304 4627427 140735008017552 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 299293 196816 389 106 0 294264 0
[pid=29421/tid=29422] ppid=29419 vsize=1197172 CPUtime=702.29 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 232425 0 0 0 70165 64 0 0 25 0 4 0 603410543 1225904128 196816 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=1197172 CPUtime=702.3 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 254246 0 0 0 70155 75 0 0 25 0 4 0 603410543 1225904128 196816 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=1197172 CPUtime=698.41 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 249949 0 0 0 69767 74 0 0 25 0 4 0 603410543 1225904128 196816 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 1197172

[startup+762.3 s]
/proc/loadavg: 8.05 7.77 6.60 9/184 29485
/proc/meminfo: memFree=27826628/32950928 swapFree=67111364/67111528
[pid=29421] ppid=29419 vsize=1220568 CPUtime=3045.02 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 994381 0 0 0 304218 284 0 0 25 0 4 0 603410543 1249861632 200710 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 305142 200710 389 106 0 300113 0
[pid=29421/tid=29422] ppid=29419 vsize=1220568 CPUtime=762.29 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 247051 0 0 0 76160 69 0 0 25 0 4 0 603410543 1249861632 200710 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=1220568 CPUtime=762.3 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 269866 0 0 0 76151 79 0 0 25 0 4 0 603410543 1249861632 200710 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=1220568 CPUtime=758.08 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 265256 0 0 0 75730 78 0 0 25 0 4 0 603410543 1249861632 200710 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 1220568

[startup+822.301 s]
/proc/loadavg: 8.13 7.84 6.70 9/184 29486
/proc/meminfo: memFree=27605740/32950928 swapFree=67111364/67111528
[pid=29421] ppid=29419 vsize=1228380 CPUtime=3284.69 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 1046195 0 0 0 328168 301 0 0 25 0 4 0 603410543 1257861120 199644 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 307095 199644 389 106 0 302066 0
[pid=29421/tid=29422] ppid=29419 vsize=1228380 CPUtime=822.3 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 262385 0 0 0 82157 73 0 0 25 0 4 0 603410543 1257861120 199644 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=1228380 CPUtime=822.3 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 285538 0 0 0 82146 84 0 0 25 0 4 0 603410543 1257861120 199644 33554432000 4194304 4627427 140735008017552 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=1228380 CPUtime=817.75 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 276627 0 0 0 81693 82 0 0 25 0 4 0 603410543 1257861120 199644 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.69
Current children cumulated vsize (KiB) 1228380

[startup+882.301 s]
/proc/loadavg: 8.12 7.88 6.78 9/184 29488
/proc/meminfo: memFree=27576552/32950928 swapFree=67111364/67111528
[pid=29421] ppid=29419 vsize=1160620 CPUtime=3524.37 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 1083425 0 0 0 352121 316 0 0 25 0 4 0 603410543 1188474880 205131 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 290155 205131 389 106 0 285126 0
[pid=29421/tid=29422] ppid=29419 vsize=1160620 CPUtime=882.3 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 273022 0 0 0 88152 78 0 0 25 0 4 0 603410543 1188474880 205131 33554432000 4194304 4627427 140735008017552 18446744073709551615 4428093 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=1160620 CPUtime=882.31 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 300660 0 0 0 88140 91 0 0 25 0 4 0 603410543 1188474880 205131 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=1160620 CPUtime=877.42 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 278782 0 0 0 87659 83 0 0 25 0 4 0 603410543 1188474880 205131 33554432000 4194304 4627427 140735008017552 18446744073709551615 4428403 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.37
Current children cumulated vsize (KiB) 1160620

[startup+942.3 s]
/proc/loadavg: 8.11 7.92 6.86 9/184 29490
/proc/meminfo: memFree=27388996/32950928 swapFree=67111364/67111528
[pid=29421] ppid=29419 vsize=1343076 CPUtime=3764.06 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 1122558 0 0 0 376076 330 0 0 25 0 4 0 603410543 1375309824 224270 33554432000 4194304 4627427 140735008017552 18446744073709551615 4428111 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 335769 224270 389 106 0 330740 0
[pid=29421/tid=29422] ppid=29419 vsize=1343076 CPUtime=942.31 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 282186 0 0 0 94148 83 0 0 25 0 4 0 603410543 1375309824 224270 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=1343076 CPUtime=942.31 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 312065 0 0 0 94136 95 0 0 25 0 4 0 603410543 1375309824 224270 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=1343076 CPUtime=937.09 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 293218 0 0 0 93622 87 0 0 25 0 4 0 603410543 1375309824 224270 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.06
Current children cumulated vsize (KiB) 1343076

[startup+1002.3 s]
/proc/loadavg: 8.10 7.94 6.94 9/184 29491
/proc/meminfo: memFree=27485668/32950928 swapFree=67111364/67111528
[pid=29421] ppid=29419 vsize=1109516 CPUtime=4003.71 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 1162595 0 0 0 400025 346 0 0 25 0 4 0 603410543 1136144384 203601 33554432000 4194304 4627427 140735008017552 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 277379 203601 389 106 0 272350 0
[pid=29421/tid=29422] ppid=29419 vsize=1109516 CPUtime=1002.3 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 297210 0 0 0 100142 88 0 0 25 0 4 0 603410543 1136144384 203601 33554432000 4194304 4627427 140735008017552 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=1109516 CPUtime=1002.31 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 320767 0 0 0 100132 99 0 0 25 0 4 0 603410543 1136144384 203601 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=1109516 CPUtime=996.75 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 305161 0 0 0 99584 91 0 0 25 0 4 0 603410543 1136144384 203601 33554432000 4194304 4627427 140735008017552 18446744073709551615 4310136 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.71
Current children cumulated vsize (KiB) 1109516

[startup+1062.31 s]
/proc/loadavg: 8.09 7.97 7.01 9/184 29493
/proc/meminfo: memFree=27452872/32950928 swapFree=67111364/67111528
[pid=29421] ppid=29419 vsize=1382492 CPUtime=4243.4 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 1203451 0 0 0 423977 363 0 0 25 0 4 0 603410543 1415671808 222605 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 345623 222605 389 106 0 340594 0
[pid=29421/tid=29422] ppid=29419 vsize=1382492 CPUtime=1062.31 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 309024 0 0 0 106138 93 0 0 25 0 4 0 603410543 1415671808 222605 33554432000 4194304 4627427 140735008017552 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=1382492 CPUtime=1062.31 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 330663 0 0 0 106128 103 0 0 25 0 4 0 603410543 1415671808 222605 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=1382492 CPUtime=1056.43 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 314978 0 0 0 105547 96 0 0 25 0 4 0 603410543 1415671808 222605 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.4
Current children cumulated vsize (KiB) 1382492

[startup+1122.3 s]
/proc/loadavg: 8.03 7.97 7.06 9/184 29494
/proc/meminfo: memFree=27512464/32950928 swapFree=67111364/67111528
[pid=29421] ppid=29419 vsize=1015896 CPUtime=4483.06 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 1237326 0 0 0 447929 377 0 0 25 0 4 0 603410543 1040277504 210979 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 253974 210979 389 106 0 248945 0
[pid=29421/tid=29422] ppid=29419 vsize=1015896 CPUtime=1122.3 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 317850 0 0 0 112135 95 0 0 25 0 4 0 603410543 1040277504 210979 33554432000 4194304 4627427 140735008017552 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=1015896 CPUtime=1122.31 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 340017 0 0 0 112124 107 0 0 25 0 4 0 603410543 1040277504 210979 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=1015896 CPUtime=1116.09 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 325808 0 0 0 111509 100 0 0 25 0 4 0 603410543 1040277504 210979 33554432000 4194304 4627427 140735008017552 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.06
Current children cumulated vsize (KiB) 1015896

[startup+1182.3 s]
/proc/loadavg: 8.01 7.97 7.12 9/184 29496
/proc/meminfo: memFree=27392388/32950928 swapFree=67111364/67111528
[pid=29421] ppid=29419 vsize=1287080 CPUtime=4722.73 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 1258405 0 0 0 471884 389 0 0 25 0 4 0 603410543 1317969920 223341 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 321770 223341 389 106 0 316741 0
[pid=29421/tid=29422] ppid=29419 vsize=1287080 CPUtime=1182.31 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 322057 0 0 0 118133 98 0 0 25 0 4 0 603410543 1317969920 223341 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=1287080 CPUtime=1182.32 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 350449 0 0 0 118119 113 0 0 25 0 4 0 603410543 1317969920 223341 33554432000 4194304 4627427 140735008017552 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=1287080 CPUtime=1175.76 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 328618 0 0 0 117474 102 0 0 25 0 4 0 603410543 1317969920 223341 33554432000 4194304 4627427 140735008017552 18446744073709551615 4468043 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.73
Current children cumulated vsize (KiB) 1287080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.08 7.99 7.14 9/184 29496
/proc/meminfo: memFree=27430696/32950928 swapFree=67111364/67111528
[pid=29421] ppid=29419 vsize=1230864 CPUtime=4800.25 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 1268486 0 0 0 479630 395 0 0 25 0 4 0 603410543 1260404736 217112 33554432000 4194304 4627427 140735008017552 18446744073709551615 4310117 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 307716 217112 389 106 0 302687 0
[pid=29421/tid=29422] ppid=29419 vsize=1230864 CPUtime=1201.71 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 324138 0 0 0 120072 99 0 0 25 0 4 0 603410543 1260404736 217112 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=1230864 CPUtime=1201.73 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 353426 0 0 0 120058 115 0 0 25 0 4 0 603410543 1260404736 217112 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=1230864 CPUtime=1195.06 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 328618 0 0 0 119404 102 0 0 25 0 4 0 603410543 1260404736 217112 33554432000 4194304 4627427 140735008017552 18446744073709551615 4427838 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 1230864

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

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

[startup+1201.7 s]
/proc/loadavg: 8.08 7.99 7.14 9/184 29496
/proc/meminfo: memFree=27430696/32950928 swapFree=67111364/67111528
[pid=29421] ppid=29419 vsize=1230864 CPUtime=4800.25 cores=0,2,4,6
/proc/29421/stat : 29421 (strangenight2-m) R 29419 29421 29250 0 -1 4202496 1268486 0 0 0 479630 395 0 0 25 0 4 0 603410543 1260404736 217112 33554432000 4194304 4627427 140735008017552 18446744073709551615 4310117 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29421/statm: 307716 217112 389 106 0 302687 0
[pid=29421/tid=29422] ppid=29419 vsize=1230864 CPUtime=1201.71 cores=0,2,4,6
/proc/29421/task/29422/stat : 29422 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 324138 0 0 0 120072 99 0 0 25 0 4 0 603410543 1260404736 217112 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29421/tid=29423] ppid=29419 vsize=1230864 CPUtime=1201.73 cores=0,2,4,6
/proc/29421/task/29423/stat : 29423 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 353426 0 0 0 120058 115 0 0 25 0 4 0 603410543 1260404736 217112 33554432000 4194304 4627427 140735008017552 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29421/tid=29424] ppid=29419 vsize=1230864 CPUtime=1195.06 cores=0,2,4,6
/proc/29421/task/29424/stat : 29424 (strangenight2-m) R 29419 29421 29250 0 -1 4202560 328618 0 0 0 119404 102 0 0 25 0 4 0 603410543 1260404736 217112 33554432000 4194304 4627427 140735008017552 18446744073709551615 4427838 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 1230864

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.75
CPU time (s): 4800.32
CPU user time (s): 4796.33
CPU system time (s): 3.99139
CPU usage (%): 399.443
Max. virtual memory (cumulated for all children) (KiB): 1424000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.33
system time used= 3.99139
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1268488
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= 1534
involuntary context switches= 21814

runsolver used 1.85672 second user time and 4.71028 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-30 04:49:59
IDJOB=3266863
IDBENCH=88215
IDSOLVER=1586
FILE ID=node115/3266863-1304131799
RUNJOBID= node115-1304130490-29268
PBS_JOBID= 13170791
Free space on /tmp= 72872 MiB

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

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

MD5SUM BENCH= 02e75ad23aeadbf30b2a4fb3c21ae723
RANDOM SEED=1510649448

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29651664 kB
Buffers:        823260 kB
Cached:        1891048 kB
SwapCached:          0 kB
Active:         292944 kB
Inactive:      2581824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29651664 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           13568 kB
Writeback:           0 kB
AnonPages:      160320 kB
Mapped:          15484 kB
Slab:           361796 kB
PageTables:       5192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   377904 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= 72864 MiB
End job on node115 at 2011-04-30 05:10:02