Trace number 3368550

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/large/
unif-k5-r20-v1250-c25000-S935783783-069-UNKNOWN.cnf
MD5SUM4ba3e8e19a6d9aec4bc2bd0594f1360a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark556.159
Satisfiable
(Un)Satisfiability was proved
Number of variables1250
Number of clauses25000
Sum of the clauses size125000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 525000
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.14	c Using 4 threads
0.20/0.15	c This is CryptoMiniSat 2.9.0
0.20/0.15	c compiled with gcc version 4.4.5
0.20/0.15	c WARNING: for repeatability, setting FPU to use double precision
0.20/0.15	c Reading file 'HOME/instance-3368550-1305397110.cnf'
0.20/0.15	c -- header says num vars:           1250
0.20/0.15	c -- header says num clauses:       25000
0.20/0.25	c -- clauses added:            0 learnts,        25000 normals,            0 xors
0.20/0.25	c -- vars added       1250
0.20/0.25	c Parsing time:  0.02 s
0.20/0.25	c  N st     0         0      1250     25000         0         0    125000         0   no data   no data  --
0.41/0.29	c asymm  cl-useful: 0/25000/25000 lits-rem:0 time: 0.26
0.41/0.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
0.41/0.29	c Finding binary XORs  T:     0.00 s  found:       0
0.54/0.31	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
0.54/0.31	c calculated reachability. Time: 0.00
0.54/0.31	c Calc default polars -  time:   0.00 s pos:     598 undec:      51 neg:     601
0.54/0.31	c =========================================================================================
0.54/0.31	c types(t): F = full restart, N = normal restart
0.54/0.31	c types(t): S = simplification begin/end, E = solution found
0.54/0.31	c restart types(rt): st = static, dy = dynamic
0.54/0.31	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.54/0.31	c  B st     0         0      1250     25000         0         0    125000         0   no data   no data  --
1.62/0.67	c  N dy    18      4030      1250     25000         0      4023    125000    573403    111.86    120.82  --
2.81/0.99	c  N dy    42      8074      1250     25000         0      5569    125000    569895    111.40    121.18  --
4.40/1.35	c  N dy    67     12194      1250     25000         0      5437    125000    362890    112.11    124.03  --
5.60/1.69	c  N dy    92     16204      1250     25000         0      9443    125000    916960    112.00    120.76  --
7.21/2.05	c  N dy   116     20217      1250     25000         0      7841    125000    531433    111.76    118.38  --
8.76/2.42	c  N dy   138     24343      1250     25000         0     11964    125000   1091078    111.46    119.34  --
8.76/2.48	c  F st   141     25000      1250     25000         0     12621    125000   1179659    111.36   no data  --
10.75/2.97	c  N dy   147     30000      1250     25000         0     10803    125000    836380    111.36   no data  --
10.75/2.97	c  S st   147     30000      1250     25000         0     10803    125000    836380    111.36   no data  --
11.15/3.03	c  S st   147     30503      1250     25000         0     11306    125000    895816    111.36   no data  --
11.15/3.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
11.15/3.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.15/3.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
11.95/3.21	c asymm  cl-useful: 0/25000/25000 lits-rem:0 time: 0.64
11.95/3.21	c calculated reachability. Time: 0.00
11.95/3.21	c  N dy   147     30503      1250     25000         0     11306    125000    895816    111.36   no data  --
13.53/3.62	c  N dy   170     34573      1250     25000         0     15371    125000   1458991    111.31    121.41  --
15.13/4.00	c  N dy   194     38614      1250     25000         0     11507    125000    751994    111.40    145.31  --
16.77/4.42	c  N dy   216     42770      1250     25000         0     15661    125000   1321422    111.18    117.97  --
17.52/4.74	c  S st   232     45755      1250     25000         0      9701    125000    367363    111.08    108.88  --
17.52/4.80	c  S st   232     46259      1250     25000         0     10205    125000    425219    111.08   no data  --
17.52/4.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
17.52/4.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.52/4.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
17.52/4.81	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
17.52/4.81	c vivif2 --  cl tried    10205 cl shrink        0 lits rem          0 time: 0.01
17.52/4.96	c asymm  cl-useful: 0/25000/25000 lits-rem:0 time: 0.43
17.52/4.96	c calculated reachability. Time: 0.00
17.52/4.96	c  N dy   232     46259      1250     25000         0     10205    125000    425219    111.08   no data  --
17.52/5.63	c  N dy   255     50474      1250     25000         0     14414    125000    997845    110.81    117.97  --
17.52/6.48	c  N dy   280     54606      1250     25000         0     18543    125000   1558616    110.73    118.71  --
17.52/7.42	c  N dy   298     58960      1250     25000         0     12932    125000    678607    110.46    116.95  --
17.52/8.25	c  N dy   320     63091      1250     25000         0     17060    125000   1237562    110.32    116.21  --
30.69/8.96	c  N dy   345     67388      1250     25000         0     21355    125000   1824180    110.25    116.17  --
31.89/9.20	c  S st   356     69388      1250     25000         0     12375    125000    473183    110.18   no data  --
31.89/9.27	c  S st   356     69894      1250     25000         0     12881    125000    530019    110.18   no data  --
31.89/9.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
31.89/9.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
31.89/9.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.06
31.89/9.29	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
31.89/9.29	c vivif2 --  cl tried    12881 cl shrink        0 lits rem          0 time: 0.02
32.72/9.50	c asymm  cl-useful: 0/25000/25000 lits-rem:0 time: 0.81
32.72/9.50	c calculated reachability. Time: 0.00
32.72/9.50	c  N dy   356     69894      1250     25000         0     12881    125000    530019    110.18   no data  --
35.06/10.03	c  N dy   379     74569      1250     25000         0     17554    125000   1162144    109.99    116.61  --
37.51/10.62	c  N dy   410     79329      1250     25000         0     22310    125000   1811725    110.00    132.27  --
39.84/11.22	c  N dy   443     84466      1250     25000         0     15460    125000    764054    110.05    115.95  --
41.04/11.57	c  F st   462     87500      1250     25000         0     18490    125000   1184109    110.14   no data  --
42.63/11.98	c  N st   467     90803      1250     25000         0     21787    125000   1651868    110.14   no data  --
45.87/12.72	c  N dy   494     96678      1250     25000         0     14671    125000    537817    110.20    116.86  --
48.61/13.41	c  N dy   536    102908      1250     25000         0     20893    125000   1401776    110.48    119.63  --
49.41/13.64	c  S st   545    104841      1250     25000         0     22825    125000   1660444    110.39    105.50  --
49.81/13.73	c  S st   545    105346      1250     25000         0     23330    125000   1720314    110.39   no data  --
49.81/13.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
49.81/13.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
49.81/13.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.08
49.81/13.75	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
49.81/13.77	c vivif2 --  cl tried    23330 cl shrink        0 lits rem          0 time: 0.06
51.01/14.03	c asymm  cl-useful: 0/25000/25000 lits-rem:0 time: 1.02
51.01/14.03	c calculated reachability. Time: 0.00
51.01/14.03	c  N dy   545    105346      1250     25000         0     23330    125000   1720314    110.39   no data  --
54.20/14.89	c  N dy   582    112142      1250     25000         0     16135    125000    602450    110.42    166.74  --
57.78/15.77	c  N dy   627    119354      1250     25000         0     23342    125000   1599298    110.48    117.11  --
62.17/16.81	c  N dy   667    127119      1250     25000         0     16111    125000    471077    110.53    116.88  --
66.15/17.80	c  N dy   717    135312      1250     25000         0     24301    125000   1588444    110.53    118.20  --
70.94/19.08	c  N dy   771    143960      1250     25000         0     16955    125000    457567    110.53    120.35  --
75.72/20.29	c  N dy   831    153182      1250     25000         0     26165    125000   1728761    110.61    118.73  --
78.50/20.97	c  S st   851    158019      1250     25000         0     30998    125000   2392026    110.51   no data  --
78.90/21.08	c  S st   851    158522      1250     25000         0     31501    125000   2445089    110.51   no data  --
78.90/21.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
78.90/21.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
79.30/21.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.11
79.30/21.12	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
79.30/21.14	c vivif2 --  cl tried    31501 cl shrink        0 lits rem          0 time: 0.08
80.50/21.50	c asymm  cl-useful: 0/24035/25000 lits-rem:0 time: 1.45
80.50/21.51	c calculated reachability. Time: 0.00
80.50/21.51	c  N dy   851    158522      1250     25000         0     31501    125000   2445089    110.51   no data  --
86.07/22.87	c  N dy   910    168671      1250     25000         0     24658    125000   1385329    110.47    120.04  --
92.86/24.54	c  N dy   971    179523      1250     25000         0     35503    125000   2884469    110.50    118.08  --
99.21/26.19	c  N dy  1042    191063      1250     25000         0     29046    125000   1858537    110.55    117.62  --
106.81/28.11	c  N dy  1118    203276      1250     25000         0     22267    125000    799737    110.57    118.42  --
114.78/30.06	c  N dy  1200    216517      1250     25000         0     35493    125000   2629745    110.65    117.54  --
122.74/32.05	c  N dy  1273    230367      1250     25000         0     29348    125000   1651580    110.61    116.69  --
127.52/33.21	c  S st  1322    237783      1250     25000         0     36762    125000   2676596    110.64   no data  --
127.92/33.33	c  S st  1322    238290      1250     25000         0     37269    125000   2734645    110.64   no data  --
127.92/33.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
127.92/33.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
127.92/33.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
127.92/33.37	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
127.92/33.40	c vivif2 --  cl tried    37269 cl shrink        0 lits rem          0 time: 0.10
128.32/33.41	c asymm  cl-useful: 0/965/25000 lits-rem:0 time: 0.08
128.32/33.42	c calculated reachability. Time: 0.00
128.32/33.42	c  N dy  1322    238290      1250     25000         0     37269    125000   2734645    110.64   no data  --
137.49/35.71	c  N dy  1420    253515      1250     25000         0     31494    125000   1820888    110.72    116.62  --
147.84/38.36	c  N dy  1511    270320      1250     25000         0     26304    125000    961908    110.68    118.77  --
158.22/40.95	c  N dy  1608    287643      1250     25000         0     43614    125000   3349636    110.67    118.23  --
169.36/43.72	c  N dy  1714    306093      1250     25000         0     39060    125000   2581102    110.62    119.81  --
169.36/43.75	c  F st  1715    306252      1250     25000         0     39219    125000   2601726    110.62    109.15  --
181.33/46.75	c  N dy  1811    325683      1250     25000         0     34646    125000   1855990    110.62    118.71  --
194.91/50.14	c  N dy  1922    345720      1250     25000         0     29694    125000   1051391    110.61    121.17  --
202.45/52.07	c  S st  1990    357436      1250     25000         0     41404    125000   2649900    110.58   no data  --
203.26/52.20	c  S st  1990    357938      1250     25000         0     41906    125000   2704388    110.58   no data  --
203.26/52.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
203.26/52.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
203.26/52.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
203.26/52.24	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
203.26/52.27	c vivif2 --  cl tried    41906 cl shrink        0 lits rem          0 time: 0.10
204.84/52.66	c asymm  cl-useful: 0/20317/25000 lits-rem:0 time: 1.56
204.84/52.67	c calculated reachability. Time: 0.00
204.84/52.67	c  N dy  1990    357938      1250     25000         0     41906    125000   2704388    110.58   no data  --
218.79/56.15	c  N dy  2115    377997      1250     25000         0     35969    125000   1800231    110.64    129.68  --
234.37/60.07	c  N dy  2229    399277      1250     25000         0     30256    125000    868329    110.55    117.14  --
248.29/63.59	c  N dy  2345    419604      1250     25000         0     50558    125000   3659210    110.54    117.21  --
261.43/66.89	c  N dy  2469    439848      1250     25000         0     42815    125000   2457584    110.55    118.41  --
275.39/70.36	c  N dy  2577    459860      1250     25000         0     33835    125000   1091176    110.47    116.52  --
288.93/73.76	c  N dy  2687    480065      1250     25000         0     54023    125000   3862309    110.41    117.16  --
302.49/77.14	c  N dy  2799    500183      1250     25000         0     44147    125000   2392022    110.40    116.99  --
317.67/80.93	c  N dy  2922    520232      1250     25000         0     33209    125000    764130    110.45    131.67  --
328.39/83.61	c  S st  3010    536907      1250     25000         0     49863    125000   3054191    110.44   no data  --
328.79/83.75	c  S st  3010    537412      1250     25000         0     50368    125000   3111694    110.44   no data  --
328.79/83.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
328.79/83.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
328.79/83.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.15
328.79/83.79	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
329.19/83.82	c vivif2 --  cl tried    50368 cl shrink        0 lits rem          0 time: 0.12
329.59/83.93	c asymm  cl-useful: 0/4683/25000 lits-rem:0 time: 0.42
329.59/83.93	c calculated reachability. Time: 0.00
329.59/83.93	c  N dy  3010    537412      1250     25000         0     50368    125000   3111694    110.44   no data  --
345.14/87.81	c  N dy  3136    557462      1250     25000         0     38436    125000   1348727    110.49    118.36  --
359.88/91.58	c  N dy  3255    578022      1250     25000         0     58986    125000   4172529    110.50    116.98  --
374.67/95.24	c  N dy  3379    598082      1250     25000         0     46060    125000   2265646    110.53    122.15  --
390.98/99.32	c  N dy  3490    618157      1250     25000         0     66120    125000   5033946    110.53    117.51  --
405.76/103.01	c  N dy  3594    638230      1250     25000         0     52193    125000   2971257    110.50    123.01  --
423.64/107.52	c  N dy  3699    658276      1250     25000         0     37247    125000    792515    110.46    117.91  --
438.80/111.35	c  N dy  3811    678293      1250     25000         0     57249    125000   3550137    110.45    117.21  --
456.72/115.80	c  N dy  3926    698389      1250     25000         0     41363    125000   1236839    110.48    119.45  --
472.65/119.86	c  N dy  4038    718417      1250     25000         0     61371    125000   3978764    110.48    116.60  --
490.59/124.30	c  N dy  4151    738641      1250     25000         0     44608    125000   1540297    110.47    117.47  --
507.33/128.50	c  N dy  4268    758752      1250     25000         0     64702    125000   4306605    110.47    116.87  --
525.67/133.15	c  N dy  4389    779348      1250     25000         0     47312    125000   1769875    110.47    117.55  --
543.21/137.55	c  N dy  4509    799445      1250     25000         0     67393    125000   4551637    110.49    119.00  --
550.44/139.34	c  S st  4550    806119      1250     25000         0     74065    125000   5474695    110.51    109.34  --
551.18/139.55	c  S st  4550    806620      1250     25000         0     74566    125000   5538506    110.51   no data  --
551.18/139.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
551.18/139.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
551.58/139.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.24
551.58/139.62	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
551.58/139.67	c vivif2 --  cl tried    74566 cl shrink        0 lits rem          0 time: 0.20
553.58/140.13	c asymm  cl-useful: 0/13203/25000 lits-rem:0 time: 1.85
553.58/140.14	c calculated reachability. Time: 0.00
553.58/140.14	c  N dy  4550    806620      1250     25000         0     74566    125000   5538506    110.51   no data  --
570.32/144.33	c  N dy  4655    826635      1250     25000         0     55598    125000   2792180    110.48    124.13  --
591.44/149.62	c  N dy  4777    847124      1250     25000         0     76070    125000   5616365    110.51    116.87  --
609.77/154.24	c  N dy  4892    867230      1250     25000         0     56187    125000   2736774    110.51    116.64  --
630.89/159.58	c  N dy  5019    887313      1250     25000         0     76245    125000   5513613    110.54    116.69  --
650.43/164.50	c  N dy  5138    907325      1250     25000         0     55288    125000   2494828    110.54    118.07  --
672.33/169.97	c  N dy  5267    927456      1250     25000         0     75408    125000   5265194    110.57    118.14  --
692.65/175.06	c  N dy  5382    947832      1250     25000         0     53800    125000   2163953    110.56    116.75  --
712.64/180.09	c  N dy  5491    967977      1250     25000         0     73924    125000   4904256    110.54    116.78  --
734.55/185.53	c  N dy  5624    988038      1250     25000         0     51008    125000   1654591    110.58    116.94  --
753.62/190.38	c  N dy  5740   1008050      1250     25000         0     71008    125000   4423787    110.59    116.65  --
777.16/196.25	c  N dy  5866   1028198      1250     25000         0     47172    125000    991547    110.61    117.02  --
795.53/200.89	c  N dy  5988   1048284      1250     25000         0     67243    125000   3769692    110.62    117.21  --
818.60/206.68	c  N dy  6097   1068384      1250     25000         0     87319    125000   6549471    110.63    116.81  --
822.98/207.79	c  F st  6118   1071877      1250     25000         0     45846    125000    682606    110.63    104.48  --
837.74/211.45	c  N dy  6190   1088636      1250     25000         0     62579    125000   3035103    110.63    116.81  --
860.05/217.08	c  N dy  6318   1108785      1250     25000         0     82712    125000   5821536    110.65    117.67  --
881.58/222.47	c  N dy  6441   1128899      1250     25000         0     56852    125000   2071752    110.67    116.75  --
902.70/227.80	c  N dy  6570   1148953      1250     25000         0     76883    125000   4862527    110.71    117.52  --
927.05/233.87	c  N dy  6680   1169126      1250     25000         0     50084    125000   1012519    110.70    116.73  --
946.15/238.67	c  N dy  6795   1189141      1250     25000         0     70087    125000   3774404    110.71    131.18  --
970.46/244.73	c  N dy  6915   1209339      1250     25000         0     90273    125000   6579973    110.72    116.61  --
971.30/244.93	c  S st  6920   1209930      1250     25000         0     90864    125000   6663319    110.73    109.28  --
972.04/245.19	c  S st  6920   1210435      1250     25000         0     91369    125000   6725192    110.73   no data  --
972.44/245.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
972.44/245.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
972.44/245.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.29
972.44/245.28	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
972.85/245.34	c vivif2 --  cl tried    91369 cl shrink        0 lits rem          0 time: 0.24
974.85/245.84	c asymm  cl-useful: 0/11400/25000 lits-rem:0 time: 2.00
974.85/245.84	c calculated reachability. Time: 0.00
974.85/245.84	c  N dy  6920   1210435      1250     25000         0     91369    125000   6725192    110.73   no data  --
995.56/251.08	c  N dy  7046   1230522      1250     25000         0     63477    125000   2725091    110.74    119.27  --
1017.88/256.68	c  N dy  7158   1250679      1250     25000         0     83622    125000   5513713    110.74    117.83  --
1042.19/262.78	c  N dy  7274   1270691      1250     25000         0     54655    125000   1372311    110.73    117.19  --
1061.74/267.61	c  N dy  7396   1290707      1250     25000         0     74661    125000   4150401    110.76    117.43  --
1085.30/273.59	c  N dy  7524   1310713      1250     25000         0     94649    125000   6936769    110.78    116.96  --
1105.57/278.61	c  N dy  7642   1330725      1250     25000         0     64677    125000   2633526    110.80    125.30  --
1127.10/284.08	c  N dy  7764   1350886      1250     25000         0     84815    125000   5422797    110.81    119.15  --
1152.19/290.32	c  N dy  7884   1370891      1250     25000         0     53846    125000   1009442    110.82    117.10  --
1171.34/295.12	c  N dy  8009   1390991      1250     25000         0     73921    125000   3809569    110.85    117.86  --
1196.03/301.32	c  N dy  8129   1411214      1250     25000         0     94128    125000   6617607    110.86    116.91  --
1218.75/307.09	c  N dy  8246   1431245      1250     25000         0     62193    125000   2021002    110.86    117.25  --
1240.67/312.57	c  N dy  8366   1451496      1250     25000         0     82429    125000   4826556    110.87    117.81  --
1267.78/319.38	c  N dy  8496   1471577      1250     25000         0    102496    125000   7638520    110.91    123.28  --
1290.10/324.95	c  N dy  8614   1491889      1250     25000         0     69835    125000   2947848    110.92    118.31  --
1314.80/331.12	c  N dy  8733   1511894      1250     25000         0     89822    125000   5706212    110.92    120.83  --
1343.11/338.26	c  N dy  8851   1531968      1250     25000         0     55930    125000    900849    110.93    117.54  --
1363.81/343.41	c  N dy  8957   1552092      1250     25000         0     76025    125000   3667747    110.92    117.14  --
1389.32/349.85	c  N dy  9065   1572318      1250     25000         0     96233    125000   6455759    110.91    117.71  --
1416.42/356.69	c  N dy  9192   1592421      1250     25000         0     61368    125000   1549732    110.93    118.55  --
1438.73/362.26	c  N dy  9309   1612453      1250     25000         0     81387    125000   4318636    110.94    117.03  --
1467.43/369.44	c  N dy  9434   1632821      1250     25000         0    101737    125000   7125526    110.95    118.04  --
1494.94/376.37	c  N dy  9561   1653009      1250     25000         0     65963    125000   2021740    110.96    118.44  --
1519.65/382.53	c  N dy  9678   1673064      1250     25000         0     86003    125000   4789117    110.96    116.84  --
1549.59/390.05	c  N dy  9798   1693156      1250     25000         0    106078    125000   7558656    110.96    133.13  --
1573.06/395.95	c  S st  9908   1710435      1250     25000         0     66383    125000   1971472    110.98    109.83  --
1573.86/396.16	c  S st  9908   1710938      1250     25000         0     66886    125000   2032958    110.98   no data  --
1573.86/396.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1573.86/396.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1574.26/396.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.23
1574.26/396.23	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
1574.26/396.25	c vivif2 --  cl tried    66886 cl shrink        0 lits rem          0 time: 0.09
1576.30/396.73	c asymm  cl-useful: 0/14364/25000 lits-rem:0 time: 1.93
1576.30/396.74	c calculated reachability. Time: 0.00
1576.30/396.74	c  N dy  9908   1710938      1250     25000         0     66886    125000   2032958    110.98   no data  --
1600.96/402.91	c  N dy 10021   1731176      1250     25000         0     87105    125000   4808460    110.97    118.39  --
1630.44/410.36	c  N dy 10139   1751275      1250     25000         0    107187    125000   7580807    110.98    117.21  --
1657.95/417.28	c  N dy 10263   1771394      1250     25000         0     69342    125000   2241393    110.99    117.13  --
1683.04/423.56	c  N dy 10371   1791481      1250     25000         0     89403    125000   5031533    110.99    118.30  --
1714.53/431.41	c  N dy 10491   1811502      1250     25000         0    109403    125000   7817482    111.01    118.56  --
1742.47/438.50	c  N dy 10609   1831793      1250     25000         0     70727    125000   2314436    111.02    119.19  --
1768.77/445.09	c  N dy 10729   1851855      1250     25000         0     90774    125000   5115827    111.03    118.56  --
1800.22/452.90	c  N dy 10847   1871914      1250     25000         0    110819    125000   7890494    111.04    127.93  --
1828.92/460.13	c  N dy 10979   1891926      1250     25000         0     70872    125000   2208567    111.05    118.29  --
1854.82/466.69	c  N dy 11099   1912084      1250     25000         0     91010    125000   5015369    111.07    117.10  --
1887.13/474.73	c  N dy 11227   1932126      1250     25000         0    111032    125000   7788083    111.08    117.75  --
1916.97/482.26	c  N dy 11342   1952131      1250     25000         0     70076    125000   1940935    111.09    117.42  --
1942.88/488.77	c  N dy 11460   1972330      1250     25000         0     90264    125000   4731269    111.09    118.21  --
1974.80/496.77	c  N dy 11584   1992364      1250     25000         0    110275    125000   7513663    111.10    117.26  --
2007.05/504.84	c  N dy 11704   2012634      1250     25000         0     68580    125000   1607958    111.10    118.37  --
2032.55/511.20	c  N dy 11821   2032709      1250     25000         0     88635    125000   4404794    111.12    119.79  --
2062.90/518.85	c  N dy 11935   2052731      1250     25000         0    108642    125000   7165686    111.11    119.03  --
2097.54/527.55	c  N dy 12059   2072849      1250     25000         0     65797    125000   1090687    111.12    119.08  --
2121.82/533.66	c  N dy 12169   2092939      1250     25000         0     85873    125000   3875544    111.13    117.82  --
2152.90/541.40	c  N dy 12300   2113005      1250     25000         0    105918    125000   6653494    111.14    122.54  --
2187.97/550.28	c  N dy 12412   2133369      1250     25000         0    126266    125000   9475666    111.14    120.38  --
2213.08/556.57	c  N dy 12524   2153386      1250     25000         0     82312    125000   3289401    111.14    117.45  --
2242.62/563.96	c  N dy 12651   2173422      1250     25000         0    102332    125000   6065260    111.15    118.25  --
2277.28/572.67	c  N dy 12769   2193444      1250     25000         0    122337    125000   8842149    111.15    118.54  --
2304.33/579.42	c  S st 12881   2210939      1250     25000         0     74878    125000   2106909    111.16   no data  --
2305.13/579.65	c  S st 12881   2211442      1250     25000         0     75381    125000   2163583    111.16   no data  --
2305.13/579.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2305.13/579.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2305.53/579.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.26
2305.53/579.72	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
2305.53/579.75	c vivif2 --  cl tried    75381 cl shrink        0 lits rem          0 time: 0.10
2307.13/580.16	c asymm  cl-useful: 0/10636/25000 lits-rem:0 time: 1.63
2307.13/580.16	c calculated reachability. Time: 0.00
2307.13/580.16	c  N dy 12881   2211442      1250     25000         0     75381    125000   2163583    111.16   no data  --
2334.67/587.05	c  N dy 13005   2231514      1250     25000         0     95435    125000   4969883    111.18    117.50  --
2366.90/595.18	c  N dy 13118   2251539      1250     25000         0    115444    125000   7739274    111.18    117.07  --
2402.77/604.10	c  N dy 13237   2271684      1250     25000         0     69635    125000   1247369    111.19    117.50  --
2428.66/610.68	c  N dy 13368   2291919      1250     25000         0     89860    125000   4073290    111.20    117.37  --
2460.15/618.56	c  N dy 13491   2311932      1250     25000         0    109856    125000   6854381    111.21    117.17  --
2496.46/627.62	c  N dy 13612   2331968      1250     25000         0    129875    125000   9618353    111.21    117.31  --
2522.76/634.23	c  N dy 13728   2351976      1250     25000         0     82925    125000   2956034    111.21    119.45  --
2550.23/641.13	c  N dy 13849   2372036      1250     25000         0    102965    125000   5717803    111.22    117.40  --
2582.90/649.33	c  N dy 13962   2392319      1250     25000         0    123223    125000   8516136    111.22    119.38  --
2613.58/657.02	c  N dy 14089   2412419      1250     25000         0     75363    125000   1783122    111.23    130.06  --
2637.88/663.15	c  N dy 14203   2432607      1250     25000         0     95537    125000   4581142    111.23    117.22  --
2667.42/670.57	c  N dy 14333   2452686      1250     25000         0    115600    125000   7381574    111.24    117.57  --
2702.07/679.23	c  N dy 14457   2472962      1250     25000         0    135864    125000  10201224    111.25    117.43  --
2726.38/685.36	c  N dy 14580   2493046      1250     25000         0     86978    125000   3270732    111.26    118.03  --
2753.09/692.09	c  N dy 14690   2513090      1250     25000         0    107008    125000   6056905    111.27    117.19  --
2785.81/700.28	c  N dy 14815   2533128      1250     25000         0    127033    125000   8857208    111.28    118.19  --
2817.63/708.24	c  N dy 14938   2553287      1250     25000         0     77231    125000   1776210    111.29    117.55  --
2841.95/714.36	c  N dy 15060   2573371      1250     25000         0     97293    125000   4568184    111.29    119.11  --
2871.84/721.84	c  N dy 15185   2593392      1250     25000         0    117301    125000   7359211    111.31    118.87  --
2905.72/730.39	c  N dy 15298   2613524      1250     25000         0    137416    125000  10174224    111.32    117.27  --
2931.63/736.88	c  N dy 15413   2633604      1250     25000         0     86536    125000   2930654    111.31    119.55  --
2958.34/743.53	c  N dy 15529   2653679      1250     25000         0    106599    125000   5728661    111.32    117.53  --
2989.81/751.42	c  N dy 15647   2673739      1250     25000         0    126639    125000   8490763    111.32    118.94  --
3025.29/760.31	c  N dy 15771   2693814      1250     25000         0     74759    125000   1180388    111.32    119.10  --
3046.02/765.51	c  S st 15878   2711442      1250     25000         0     92368    125000   3613586    111.33   no data  --
3046.82/765.76	c  S st 15878   2711945      1250     25000         0     92871    125000   3672748    111.33   no data  --
3046.82/765.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3046.82/765.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3047.22/765.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.28
3047.22/765.85	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
3047.22/765.88	c vivif2 --  cl tried    92871 cl shrink        0 lits rem          0 time: 0.14
3049.26/766.39	c asymm  cl-useful: 0/11109/25000 lits-rem:0 time: 1.98
3049.26/766.39	c calculated reachability. Time: 0.00
3049.26/766.39	c  N dy 15878   2711945      1250     25000         0     92871    125000   3672748    111.33   no data  --
3077.88/773.53	c  N dy 15995   2732123      1250     25000         0    113032    125000   6474682    111.33    117.35  --
3113.35/782.42	c  N dy 16122   2752262      1250     25000         0    133152    125000   9285379    111.34    117.65  --
3146.02/790.69	c  N dy 16243   2772353      1250     25000         0     80296    125000   1818055    111.34    117.54  --
3171.59/797.03	c  N dy 16358   2792362      1250     25000         0    100290    125000   4581679    111.35    117.41  --
3202.70/804.83	c  N dy 16488   2812446      1250     25000         0    120354    125000   7387018    111.36    121.20  --
3238.52/813.86	c  N dy 16608   2833056      1250     25000         0    140946    125000  10247432    111.36    119.02  --
3267.61/821.13	c  N dy 16729   2853079      1250     25000         0     87015    125000   2636163    111.37    117.75  --
3294.33/827.86	c  N dy 16847   2873081      1250     25000         0    106995    125000   5394394    111.37    117.53  --
3326.17/835.89	c  N dy 16965   2893488      1250     25000         0    127378    125000   8235042    111.37    117.90  --
3362.44/844.94	c  N dy 17079   2913522      1250     25000         0    147394    125000  11027294    111.37    117.25  --
3388.75/851.52	c  N dy 17206   2933584      1250     25000         0     92505    125000   3261683    111.38    117.98  --
3416.66/858.57	c  N dy 17316   2953713      1250     25000         0    112611    125000   6083473    111.38    117.45  --
3449.74/866.84	c  N dy 17429   2973811      1250     25000         0    132693    125000   8860520    111.38    142.15  --
3487.99/876.43	c  N dy 17552   2994041      1250     25000         0     76977    125000    968537    111.39    117.66  --
3512.31/882.56	c  N dy 17670   3014079      1250     25000         0     96999    125000   3754131    111.40    118.44  --
3541.79/889.93	c  N dy 17790   3034126      1250     25000         0    117037    125000   6527599    111.40    118.28  --
3576.47/898.61	c  N dy 17902   3054535      1250     25000         0    137430    125000   9352329    111.40    118.27  --
3613.15/907.80	c  N dy 18022   3074921      1250     25000         0     80861    125000   1372608    111.41    119.86  --
3639.05/914.35	c  N dy 18142   3094971      1250     25000         0    100895    125000   4155403    111.41    118.63  --
3670.55/922.23	c  N dy 18271   3115039      1250     25000         0    120948    125000   6983309    111.43    120.13  --
3707.60/931.59	c  N dy 18389   3135291      1250     25000         0    141180    125000   9792955    111.43    118.05  --
3746.66/941.34	c  N dy 18502   3155537      1250     25000         0     83476    125000   1606846    111.43    117.94  --
3776.58/948.83	c  N dy 18628   3175621      1250     25000         0    103545    125000   4406813    111.44    117.75  --
3811.21/957.51	c  N dy 18746   3195622      1250     25000         0    123526    125000   7198753    111.45    118.59  --
3843.49/965.67	c  S st 18841   3211947      1250     25000         0    139834    125000   9469422    111.45    106.74  --
3845.09/966.08	c  S st 18841   3212450      1250     25000         0    140337    125000   9525121    111.45   no data  --
3845.49/966.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
3845.49/966.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3845.89/966.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.47
3845.89/966.22	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
3846.29/966.31	c vivif2 --  cl tried   140337 cl shrink        0 lits rem          0 time: 0.35
3848.67/966.90	c asymm  cl-useful: 0/8161/25000 lits-rem:0 time: 2.32
3848.67/966.90	c calculated reachability. Time: 0.00
3848.67/966.90	c  N dy 18841   3212450      1250     25000         0    140337    125000   9525121    111.45   no data  --
3892.90/978.02	c  N dy 18971   3232987      1250     25000         0     81923    125000   1265720    111.46    117.51  --
3921.65/985.28	c  N dy 19090   3253258      1250     25000         0    102173    125000   4076900    111.46    121.52  --
3955.89/993.85	c  N dy 19212   3273338      1250     25000         0    122234    125000   6886166    111.47    118.96  --
3996.52/1004.08	c  N dy 19336   3293534      1250     25000         0    142411    125000   9696237    111.48    117.76  --
4041.14/1015.22	c  N dy 19460   3313590      1250     25000         0     82524    125000   1225770    111.48    119.33  --
4069.83/1022.48	c  N dy 19583   3333591      1250     25000         0    102514    125000   4025051    111.49    117.58  --
4105.75/1031.48	c  N dy 19703   3354503      1250     25000         0    123414    125000   6930516    111.49    117.40  --
4147.14/1041.86	c  N dy 19827   3374731      1250     25000         0    143619    125000   9767622    111.50    117.49  --
4193.43/1053.46	c  N dy 19958   3394887      1250     25000         0     82823    125000   1137894    111.51    118.00  --
4222.06/1060.65	c  N dy 20077   3414917      1250     25000         0    102838    125000   3939496    111.52    118.03  --
4257.52/1069.54	c  N dy 20203   3435042      1250     25000         0    122947    125000   6743931    111.53    119.06  --
4297.78/1079.65	c  N dy 20324   3455107      1250     25000         0    142981    125000   9531374    111.53    117.51  --
4344.41/1091.34	c  N dy 20446   3475207      1250     25000         0    163059    125000  12317894    111.54    118.66  --
4374.30/1098.83	c  N dy 20564   3495311      1250     25000         0    101216    125000   3562439    111.54    117.68  --
4408.22/1107.37	c  N dy 20679   3515512      1250     25000         0    121388    125000   6371105    111.54    118.44  --
4448.81/1117.53	c  N dy 20815   3535605      1250     25000         0    141469    125000   9190347    111.55    119.30  --
4495.47/1129.26	c  N dy 20943   3555854      1250     25000         0    161698    125000  12012819    111.56    119.37  --
4528.91/1137.65	c  N dy 21068   3575861      1250     25000         0     98778    125000   3076556    111.57    118.90  --
4562.37/1146.09	c  N dy 21196   3595866      1250     25000         0    118764    125000   5876886    111.58    117.46  --
4601.08/1155.74	c  N dy 21308   3615983      1250     25000         0    138862    125000   8667444    111.58    119.48  --
4645.67/1166.98	c  N dy 21426   3636001      1250     25000         0    158859    125000  11473253    111.59    121.32  --
4683.96/1176.56	c  N dy 21550   3656055      1250     25000         0     94971    125000   2426703    111.60    117.59  --
4716.21/1184.66	c  N dy 21666   3676276      1250     25000         0    115172    125000   5230710    111.60    117.61  --
4753.27/1193.96	c  N dy 21785   3696301      1250     25000         0    135183    125000   8016170    111.60    118.73  --
4788.33/1202.78	c  S st 21890   3712452      1250     25000         0    151321    125000  10274464    111.61    112.28  --
4790.32/1203.21	c  S st 21890   3712953      1250     25000         0    151822    125000  10330752    111.61   no data  --
4790.32/1203.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
4790.32/1203.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4790.72/1203.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.51
4790.72/1203.36	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
4791.12/1203.46	c vivif2 --  cl tried   151822 cl shrink        0 lits rem          0 time: 0.38
4792.72/1203.88	c asymm  cl-useful: 0/5730/25000 lits-rem:0 time: 1.70
4792.72/1203.89	c calculated reachability. Time: 0.00
4792.72/1203.89	c  N dy 21890   3712953      1250     25000         0    151822    125000  10330752    111.61   no data  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368550-1305397110/watcher-3368550-1305397110 -o /tmp/evaluation-result-3368550-1305397110/solver-3368550-1305397110 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368550-1305397110.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: 1.29 2.81 3.65 3/395 28146
/proc/meminfo: memFree=24256428/32951132 swapFree=67093844/67111528
[pid=28146] ppid=28143 vsize=51236 CPUtime=0.18 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) R 28143 28146 28111 0 -1 4202496 416 0 0 0 18 0 0 0 25 0 4 0 651309657 52465664 356 33554432000 4194304 4650419 140733538936272 18446744073709551615 47270519305744 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28146/statm: 12809 356 306 112 0 7774 0
[pid=28146/tid=28152] ppid=28143 vsize=51236 CPUtime=0.08 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 1 0 0 0 8 0 0 0 25 0 4 0 651309657 52465664 356 33554432000 4194304 4650419 140733538936272 18446744073709551615 47270519305753 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651309657 52465664 356 33554432000 4194304 4650419 140733538936272 18446744073709551615 47270519306162 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=51236 CPUtime=0.04 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 4 0 651309657 52465664 356 33554432000 4194304 4650419 140733538936272 18446744073709551615 47270519305747 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.153547 s]
/proc/loadavg: 1.29 2.81 3.65 3/395 28146
/proc/meminfo: memFree=24256428/32951132 swapFree=67093844/67111528
[pid=28146] ppid=28143 vsize=182308 CPUtime=0.2 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) D 28143 28146 28111 0 -1 4202496 433 0 0 0 20 0 0 0 25 0 4 0 651309657 186683392 367 33554432000 4194304 4650419 140733538936272 18446744073709551615 4219242 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28146/statm: 45577 367 313 112 0 40542 0
[pid=28146/tid=28152] ppid=28143 vsize=182308 CPUtime=0.09 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) D 28143 28146 28111 0 -1 4202560 2 0 0 0 9 0 0 0 25 0 4 0 651309657 186683392 367 33554432000 4194304 4650419 140733538936272 18446744073709551615 4354576 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=182308 CPUtime=0 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) D 28143 28146 28111 0 -1 4202560 9 0 0 0 0 0 0 0 25 0 4 0 651309657 186683392 367 33554432000 4194304 4650419 140733538936272 18446744073709551615 242970205168 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=182308 CPUtime=0.05 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 8 0 0 0 5 0 0 0 25 0 4 0 651309657 186683392 367 33554432000 4194304 4650419 140733538936272 18446744073709551615 242970593415 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 182308

[startup+0.258057 s]
/proc/loadavg: 1.29 2.81 3.65 3/395 28146
/proc/meminfo: memFree=24256428/32951132 swapFree=67093844/67111528
[pid=28146] ppid=28143 vsize=209864 CPUtime=0.41 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) R 28143 28146 28111 0 -1 4202496 2624 0 0 0 40 1 0 0 25 0 4 0 651309657 214900736 2546 33554432000 4194304 4650419 140733538936272 18446744073709551615 242970655263 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28146/statm: 52466 2546 360 112 0 47431 0
[pid=28146/tid=28152] ppid=28143 vsize=209864 CPUtime=0.2 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 811 0 0 0 20 0 0 0 18 0 4 0 651309657 214900736 2546 33554432000 4194304 4650419 140733538936272 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=209864 CPUtime=0 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 194 0 0 0 0 0 0 0 25 0 4 0 651309657 214900736 2546 33554432000 4194304 4650419 140733538936272 18446744073709551615 242970655214 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=209864 CPUtime=0.06 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 414 0 0 0 6 0 0 0 25 0 4 0 651309657 214900736 2546 33554432000 4194304 4650419 140733538936272 18446744073709551615 242970655214 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 209864

[startup+0.300883 s]
/proc/loadavg: 1.29 2.81 3.65 3/395 28146
/proc/meminfo: memFree=24256428/32951132 swapFree=67093844/67111528
[pid=28146] ppid=28143 vsize=224360 CPUtime=0.54 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) R 28143 28146 28111 0 -1 4202496 4880 0 0 0 52 2 0 0 25 0 4 0 651309657 229744640 4294 33554432000 4194304 4650419 140733538936272 18446744073709551615 4313323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28146/statm: 56148 4308 380 112 0 51113 0
[pid=28146/tid=28152] ppid=28143 vsize=224592 CPUtime=0.24 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 2165 0 0 0 24 0 0 0 18 0 4 0 651309657 229982208 4316 33554432000 4194304 4650419 140733538936272 18446744073709551615 4441467 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=224592 CPUtime=0.03 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 716 0 0 0 3 0 0 0 25 0 4 0 651309657 229982208 4326 33554432000 4194304 4650419 140733538936272 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=224592 CPUtime=0.06 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 414 0 0 0 6 0 0 0 25 0 4 0 651309657 229982208 4335 33554432000 4194304 4650419 140733538936272 18446744073709551615 242970655214 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 224360

[startup+0.700816 s]
/proc/loadavg: 1.29 2.81 3.65 3/395 28146
/proc/meminfo: memFree=24256428/32951132 swapFree=67093844/67111528
[pid=28146] ppid=28143 vsize=227476 CPUtime=2.02 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) R 28143 28146 28111 0 -1 4202496 9789 0 0 0 200 2 0 0 25 0 4 0 651309657 232935424 8816 33554432000 4194304 4650419 140733538936272 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28146/statm: 56869 8817 389 112 0 51834 0
[pid=28146/tid=28152] ppid=28143 vsize=227476 CPUtime=0.64 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 3298 0 0 0 64 0 0 0 18 0 4 0 651309657 232935424 8817 33554432000 4194304 4650419 140733538936272 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=227476 CPUtime=0.43 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 2839 0 0 0 43 0 0 0 25 0 4 0 651309657 232935424 8817 33554432000 4194304 4650419 140733538936272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=227476 CPUtime=0.4 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 1339 0 0 0 40 0 0 0 18 0 4 0 651309657 232935424 8817 33554432000 4194304 4650419 140733538936272 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 227476

[startup+1.50068 s]
/proc/loadavg: 1.82 2.90 3.67 9/405 28156
/proc/meminfo: memFree=24184552/32951132 swapFree=67093844/67111528
[pid=28146] ppid=28143 vsize=232432 CPUtime=5.2 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) R 28143 28146 28111 0 -1 4202496 18609 0 0 0 517 3 0 0 25 0 4 0 651309657 238010368 9172 33554432000 4194304 4650419 140733538936272 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28146/statm: 58108 9173 391 112 0 53073 0
[pid=28146/tid=28152] ppid=28143 vsize=232432 CPUtime=1.43 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 5397 0 0 0 143 0 0 0 19 0 4 0 651309657 238010368 9173 33554432000 4194304 4650419 140733538936272 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=232432 CPUtime=1.21 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 4976 0 0 0 121 0 0 0 25 0 4 0 651309657 238010368 9173 33554432000 4194304 4650419 140733538936272 18446744073709551615 4331993 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=232432 CPUtime=1.19 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 3622 0 0 0 119 0 0 0 19 0 4 0 651309657 238010368 9173 33554432000 4194304 4650419 140733538936272 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 232432

[startup+3.1004 s]
/proc/loadavg: 1.82 2.90 3.67 9/405 28156
/proc/meminfo: memFree=24183440/32951132 swapFree=67093844/67111528
[pid=28146] ppid=28143 vsize=233348 CPUtime=11.55 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) R 28143 28146 28111 0 -1 4202496 32332 0 0 0 1144 11 0 0 25 0 4 0 651309657 238948352 10994 33554432000 4194304 4650419 140733538936272 18446744073709551615 4370697 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/28146/statm: 58337 10994 393 112 0 53302 0
[pid=28146/tid=28152] ppid=28143 vsize=233348 CPUtime=3.03 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 8746 0 0 0 302 1 0 0 24 0 4 0 651309657 238948352 10994 33554432000 4194304 4650419 140733538936272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=233348 CPUtime=2.77 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 8348 0 0 0 271 6 0 0 25 0 4 0 651309657 238948352 10994 33554432000 4194304 4650419 140733538936272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=233348 CPUtime=2.79 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 7191 0 0 0 278 1 0 0 23 0 4 0 651309657 238948352 10994 33554432000 4194304 4650419 140733538936272 18446744073709551615 4365407 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 11.55
Current children cumulated vsize (KiB) 233348

[startup+8.74255 s]
/proc/loadavg: 1.82 2.90 3.67 9/405 28156
/proc/meminfo: memFree=24134836/32951132 swapFree=67093844/67111528
[pid=28146] ppid=28143 vsize=247788 CPUtime=30.06 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) R 28143 28146 28111 0 -1 4202496 64533 0 0 0 2985 21 0 0 25 0 4 0 651309657 253734912 30433 33554432000 4194304 4650419 140733538936272 18446744073709551615 4334389 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28146/statm: 61947 30433 393 112 0 56912 0
[pid=28146/tid=28152] ppid=28143 vsize=247788 CPUtime=8.67 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 14108 0 0 0 865 2 0 0 25 0 4 0 651309657 253734912 30433 33554432000 4194304 4650419 140733538936272 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=247788 CPUtime=8.07 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 18946 0 0 0 797 10 0 0 25 0 4 0 651309657 253734912 30433 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=247788 CPUtime=6.5 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 16883 0 0 0 647 3 0 0 25 0 4 0 651309657 253734912 30434 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 30.06
Current children cumulated vsize (KiB) 247788

[startup+12.7008 s]
/proc/loadavg: 3.14 3.15 3.74 10/405 28156
/proc/meminfo: memFree=23958896/32951132 swapFree=67093844/67111528
[pid=28146] ppid=28143 vsize=267404 CPUtime=45.87 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) R 28143 28146 28111 0 -1 4202496 87862 0 0 0 4561 26 0 0 25 0 4 0 651309657 273821696 36327 33554432000 4194304 4650419 140733538936272 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28146/statm: 66851 36327 393 112 0 61816 0
[pid=28146/tid=28152] ppid=28143 vsize=267404 CPUtime=12.65 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 25734 0 0 0 1261 4 0 0 25 0 4 0 651309657 273821696 36336 33554432000 4194304 4650419 140733538936272 18446744073709551615 4438666 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=267404 CPUtime=11.98 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 20102 0 0 0 1187 11 0 0 25 0 4 0 651309657 273821696 36336 33554432000 4194304 4650419 140733538936272 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=267404 CPUtime=10.47 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 21420 0 0 0 1043 4 0 0 25 0 4 0 651309657 273821696 36336 33554432000 4194304 4650419 140733538936272 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 45.87
Current children cumulated vsize (KiB) 267404

[startup+25.5006 s]
/proc/loadavg: 3.89 3.31 3.79 10/405 28157
/proc/meminfo: memFree=23841776/32951132 swapFree=67093844/67111528
[pid=28146] ppid=28143 vsize=355840 CPUtime=96.85 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) R 28143 28146 28111 0 -1 4202496 136063 0 0 0 9647 38 0 0 25 0 4 0 651309657 364380160 55899 33554432000 4194304 4650419 140733538936272 18446744073709551615 4365216 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28146/statm: 88960 55899 393 112 0 83925 0
[pid=28146/tid=28152] ppid=28143 vsize=355840 CPUtime=25.43 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 32273 0 0 0 2538 5 0 0 25 0 4 0 651309657 364380160 55899 33554432000 4194304 4650419 140733538936272 18446744073709551615 4333785 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=355840 CPUtime=24.61 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 30468 0 0 0 2448 13 0 0 25 0 4 0 651309657 364380160 55900 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=355840 CPUtime=23.26 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 37202 0 0 0 2318 8 0 0 25 0 4 0 651309657 364380160 55900 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 96.85
Current children cumulated vsize (KiB) 355840

[startup+51.1012 s]
/proc/loadavg: 5.29 3.68 3.90 9/405 28157
/proc/meminfo: memFree=23707332/32951132 swapFree=67093844/67111528
[pid=28146] ppid=28143 vsize=534088 CPUtime=198.87 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) R 28143 28146 28111 0 -1 4202496 204066 0 0 0 19830 57 0 0 25 0 4 0 651309657 546906112 72606 33554432000 4194304 4650419 140733538936272 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28146/statm: 133522 72606 393 112 0 128487 0
[pid=28146/tid=28152] ppid=28143 vsize=534088 CPUtime=51.03 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 38623 0 0 0 5096 7 0 0 25 0 4 0 651309657 546906112 72606 33554432000 4194304 4650419 140733538936272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=534088 CPUtime=49.88 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 45050 0 0 0 4971 17 0 0 25 0 4 0 651309657 546906112 72606 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=534088 CPUtime=48.85 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 56454 0 0 0 4872 13 0 0 25 0 4 0 651309657 546906112 72606 33554432000 4194304 4650419 140733538936272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 198.87
Current children cumulated vsize (KiB) 534088

[startup+102.3 s]
/proc/loadavg: 6.92 4.41 4.13 10/405 28159
/proc/meminfo: memFree=23596324/32951132 swapFree=67093844/67111528
[pid=28146] ppid=28143 vsize=597028 CPUtime=402.92 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) R 28143 28146 28111 0 -1 4202496 325989 0 0 0 40199 93 0 0 25 0 4 0 651309657 611356672 84158 33554432000 4194304 4650419 140733538936272 18446744073709551615 4368288 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28146/statm: 149257 84158 393 112 0 144222 0
[pid=28146/tid=28152] ppid=28143 vsize=597028 CPUtime=102.23 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 55865 0 0 0 10210 13 0 0 25 0 4 0 651309657 611356672 84158 33554432000 4194304 4650419 140733538936272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=597028 CPUtime=100.39 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 73982 0 0 0 10013 26 0 0 25 0 4 0 651309657 611356672 84158 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=597028 CPUtime=100.05 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 95483 0 0 0 9981 24 0 0 25 0 4 0 651309657 611356672 84158 33554432000 4194304 4650419 140733538936272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 402.92
Current children cumulated vsize (KiB) 597028

[startup+162.301 s]

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

[pid=28146] ppid=28143 vsize=895408 CPUtime=2794.13 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) R 28143 28146 28111 0 -1 4202496 945112 0 0 0 279053 360 0 0 25 0 4 0 651309657 916897792 139595 33554432000 4194304 4650419 140733538936272 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28146/statm: 223852 139595 393 112 0 218817 0
[pid=28146/tid=28152] ppid=28143 vsize=895408 CPUtime=702.21 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 102142 0 0 0 70190 31 0 0 25 0 4 0 651309657 916897792 139595 33554432000 4194304 4650419 140733538936272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=895408 CPUtime=695.78 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 246216 0 0 0 69494 84 0 0 25 0 4 0 651309657 916897792 139595 33554432000 4194304 4650419 140733538936272 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=895408 CPUtime=700.05 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 211151 0 0 0 69937 68 0 0 25 0 4 0 651309657 916897792 139595 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2794.13
Current children cumulated vsize (KiB) 895408

[startup+762.301 s]
/proc/loadavg: 8.14 7.73 6.16 10/405 28176
/proc/meminfo: memFree=23057616/32951132 swapFree=67093844/67111528
[pid=28146] ppid=28143 vsize=792316 CPUtime=3033.26 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) R 28143 28146 28111 0 -1 4202496 1017803 0 0 0 302937 389 0 0 25 0 4 0 651309657 811331584 133062 33554432000 4194304 4650419 140733538936272 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28146/statm: 198079 133062 393 112 0 193044 0
[pid=28146/tid=28152] ppid=28143 vsize=792316 CPUtime=762.2 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 123729 0 0 0 76181 39 0 0 25 0 4 0 651309657 811331584 133062 33554432000 4194304 4650419 140733538936272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=792316 CPUtime=755.72 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 271208 0 0 0 75480 92 0 0 25 0 4 0 651309657 811331584 133062 33554432000 4194304 4650419 140733538936272 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=792316 CPUtime=760.05 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 211151 0 0 0 75937 68 0 0 25 0 4 0 651309657 811331584 133062 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3033.26
Current children cumulated vsize (KiB) 792316

[startup+822.3 s]
/proc/loadavg: 8.09 7.79 6.28 10/405 28178
/proc/meminfo: memFree=22996712/32951132 swapFree=67093844/67111528
[pid=28146] ppid=28143 vsize=850760 CPUtime=3272.43 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) R 28143 28146 28111 0 -1 4202496 1086325 0 0 0 326822 421 0 0 25 0 4 0 651309657 871178240 140880 33554432000 4194304 4650419 140733538936272 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28146/statm: 212690 140880 393 112 0 207655 0
[pid=28146/tid=28152] ppid=28143 vsize=850760 CPUtime=822.2 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 141273 0 0 0 82174 46 0 0 25 0 4 0 651309657 871178240 140882 33554432000 4194304 4650419 140733538936272 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=850760 CPUtime=815.69 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 298175 0 0 0 81464 105 0 0 25 0 4 0 651309657 871178240 140882 33554432000 4194304 4650419 140733538936272 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=850760 CPUtime=820.07 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 211151 0 0 0 81939 68 0 0 25 0 4 0 651309657 871178240 140882 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3272.43
Current children cumulated vsize (KiB) 850760

[startup+882.301 s]
/proc/loadavg: 8.12 7.86 6.39 9/405 28179
/proc/meminfo: memFree=22998288/32951132 swapFree=67093844/67111528
[pid=28146] ppid=28143 vsize=904040 CPUtime=3511.51 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) R 28143 28146 28111 0 -1 4202496 1156388 0 0 0 350701 450 0 0 25 0 4 0 651309657 925736960 142370 33554432000 4194304 4650419 140733538936272 18446744073709551615 4365263 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28146/statm: 226010 142370 393 112 0 220975 0
[pid=28146/tid=28152] ppid=28143 vsize=904040 CPUtime=882.19 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 162208 0 0 0 88163 56 0 0 25 0 4 0 651309657 925736960 142370 33554432000 4194304 4650419 140733538936272 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=904040 CPUtime=875.6 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 323187 0 0 0 87445 115 0 0 25 0 4 0 651309657 925736960 142370 33554432000 4194304 4650419 140733538936272 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=904040 CPUtime=880.05 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 211151 0 0 0 87937 68 0 0 25 0 4 0 651309657 925736960 142370 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3511.51
Current children cumulated vsize (KiB) 904040

[startup+942.316 s]
/proc/loadavg: 8.12 7.91 6.50 10/405 28181
/proc/meminfo: memFree=22921768/32951132 swapFree=67093844/67111528
[pid=28146] ppid=28143 vsize=914744 CPUtime=3750.71 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) R 28143 28146 28111 0 -1 4202496 1228163 0 0 0 374597 474 0 0 25 0 4 0 651309657 936697856 161714 33554432000 4194304 4650419 140733538936272 18446744073709551615 4363383 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28146/statm: 228686 161714 393 112 0 223651 0
[pid=28146/tid=28152] ppid=28143 vsize=914744 CPUtime=942.2 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 175144 0 0 0 94159 61 0 0 25 0 4 0 651309657 936697856 161714 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476527 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=914744 CPUtime=935.56 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 357105 0 0 0 93434 122 0 0 25 0 4 0 651309657 936697856 161714 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=914744 CPUtime=940.08 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 213473 0 0 0 93939 69 0 0 25 0 4 0 651309657 936697856 161714 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3750.71
Current children cumulated vsize (KiB) 914744

[startup+1002.3 s]
/proc/loadavg: 8.20 7.97 6.61 10/405 28183
/proc/meminfo: memFree=22872624/32951132 swapFree=67093844/67111528
[pid=28146] ppid=28143 vsize=971716 CPUtime=3989.75 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) R 28143 28146 28111 0 -1 4202496 1250841 0 0 0 398486 489 0 0 25 0 4 0 651309657 995037184 169048 33554432000 4194304 4650419 140733538936272 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28146/statm: 242929 169048 393 112 0 237894 0
[pid=28146/tid=28152] ppid=28143 vsize=971716 CPUtime=1002.18 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 175144 0 0 0 100157 61 0 0 25 0 4 0 651309657 995037184 169048 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476432 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=971716 CPUtime=995.5 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 359062 0 0 0 99427 123 0 0 25 0 4 0 651309657 995037184 169048 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=971716 CPUtime=1000.05 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 214599 0 0 0 99936 69 0 0 25 0 4 0 651309657 995037184 169048 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476318 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3989.75
Current children cumulated vsize (KiB) 971716

[startup+1062.3 s]
/proc/loadavg: 8.07 7.97 6.69 9/405 28184
/proc/meminfo: memFree=22765112/32951132 swapFree=67093844/67111528
[pid=28146] ppid=28143 vsize=972296 CPUtime=4228.83 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) R 28143 28146 28111 0 -1 4202496 1274155 0 0 0 422380 503 0 0 25 0 4 0 651309657 995631104 164494 33554432000 4194304 4650419 140733538936272 18446744073709551615 4365313 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28146/statm: 243074 164494 393 112 0 238039 0
[pid=28146/tid=28152] ppid=28143 vsize=972296 CPUtime=1062.18 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 175144 0 0 0 106157 61 0 0 25 0 4 0 651309657 995631104 164494 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=972296 CPUtime=1055.44 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 360403 0 0 0 105421 123 0 0 25 0 4 0 651309657 995631104 164494 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=972296 CPUtime=1060.06 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 216118 0 0 0 105936 70 0 0 25 0 4 0 651309657 995631104 164494 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4228.83
Current children cumulated vsize (KiB) 972296

[startup+1122.3 s]
/proc/loadavg: 8.13 8.00 6.78 10/405 28186
/proc/meminfo: memFree=22691804/32951132 swapFree=67093844/67111528
[pid=28146] ppid=28143 vsize=972608 CPUtime=4467.95 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) R 28143 28146 28111 0 -1 4202496 1296626 0 0 0 446276 519 0 0 25 0 4 0 651309657 995950592 170113 33554432000 4194304 4650419 140733538936272 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28146/statm: 243152 170113 393 112 0 238117 0
[pid=28146/tid=28152] ppid=28143 vsize=972608 CPUtime=1122.18 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 175144 0 0 0 112157 61 0 0 25 0 4 0 651309657 995950592 170113 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=972608 CPUtime=1115.4 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 361693 0 0 0 111417 123 0 0 25 0 4 0 651309657 995950592 170113 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=972608 CPUtime=1120.06 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 218595 0 0 0 111936 70 0 0 25 0 4 0 651309657 995950592 170113 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4467.95
Current children cumulated vsize (KiB) 972608

[startup+1182.3 s]
/proc/loadavg: 8.11 8.03 6.86 10/405 28187
/proc/meminfo: memFree=22694380/32951132 swapFree=67093844/67111528
[pid=28146] ppid=28143 vsize=973180 CPUtime=4707.05 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) R 28143 28146 28111 0 -1 4202496 1320447 0 0 0 470173 532 0 0 25 0 4 0 651309657 996536320 164266 33554432000 4194304 4650419 140733538936272 18446744073709551615 4363423 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28146/statm: 243295 164266 393 112 0 238260 0
[pid=28146/tid=28152] ppid=28143 vsize=973180 CPUtime=1182.18 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 175144 0 0 0 118157 61 0 0 25 0 4 0 651309657 996536320 164266 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=973180 CPUtime=1175.35 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 363470 0 0 0 117412 123 0 0 25 0 4 0 651309657 996536320 164266 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=973180 CPUtime=1180.06 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 220438 0 0 0 117936 70 0 0 25 0 4 0 651309657 996536320 164266 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4707.05
Current children cumulated vsize (KiB) 973180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205.7 s]
/proc/loadavg: 8.08 8.03 6.89 5/400 28189
/proc/meminfo: memFree=23571964/32951132 swapFree=67093844/67111528
[pid=28146] ppid=28143 vsize=973180 CPUtime=4800.32 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) R 28143 28146 28111 0 -1 4202496 1327889 0 0 0 479495 537 0 0 25 0 4 0 651309657 996536320 170621 33554432000 4194304 4650419 140733538936272 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28146/statm: 243295 170621 393 112 0 238260 0
[pid=28146/tid=28152] ppid=28143 vsize=973180 CPUtime=1205.59 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 175144 0 0 0 120498 61 0 0 25 0 4 0 651309657 996536320 170621 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=973180 CPUtime=1198.74 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 364160 0 0 0 119751 123 0 0 25 0 4 0 651309657 996536320 170621 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=973180 CPUtime=1203.47 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 220905 0 0 0 120277 70 0 0 25 0 4 0 651309657 996536320 170621 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 973180

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

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

[startup+1205.7 s]
/proc/loadavg: 8.08 8.03 6.89 5/400 28189
/proc/meminfo: memFree=23571964/32951132 swapFree=67093844/67111528
[pid=28146] ppid=28143 vsize=973180 CPUtime=4800.32 cores=0,2,4,6
/proc/28146/stat : 28146 (strangenight1-m) R 28143 28146 28111 0 -1 4202496 1327889 0 0 0 479495 537 0 0 25 0 4 0 651309657 996536320 170621 33554432000 4194304 4650419 140733538936272 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/28146/statm: 243295 170621 393 112 0 238260 0
[pid=28146/tid=28152] ppid=28143 vsize=973180 CPUtime=1205.59 cores=0,2,4,6
/proc/28146/task/28152/stat : 28152 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 175144 0 0 0 120498 61 0 0 25 0 4 0 651309657 996536320 170621 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28146/tid=28153] ppid=28143 vsize=973180 CPUtime=1198.74 cores=0,2,4,6
/proc/28146/task/28153/stat : 28153 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 364160 0 0 0 119751 123 0 0 25 0 4 0 651309657 996536320 170621 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28146/tid=28154] ppid=28143 vsize=973180 CPUtime=1203.47 cores=0,2,4,6
/proc/28146/task/28154/stat : 28154 (strangenight1-m) R 28143 28146 28111 0 -1 4202560 220905 0 0 0 120277 70 0 0 25 0 4 0 651309657 996536320 170621 33554432000 4194304 4650419 140733538936272 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 973180

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1205.76
CPU time (s): 4800.39
CPU user time (s): 4794.98
CPU system time (s): 5.40818
CPU usage (%): 398.123
Max. virtual memory (cumulated for all children) (KiB): 986708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.99
system time used= 5.40818
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1327890
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= 485
involuntary context switches= 28887

runsolver used 4.38633 second user time and 12.1572 second system time

The end

Launcher Data 

Begin job on node128 at 2011-05-14 20:18:30
IDJOB=3368550
IDBENCH=82559
IDSOLVER=1846
FILE ID=node128/3368550-1305397110
RUNJOBID= node128-1305397110-28129
PBS_JOBID= 13324451
Free space on /tmp= 73608 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k5-r20-v1250-c25000-S935783783-069-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368550-1305397110/watcher-3368550-1305397110 -o /tmp/evaluation-result-3368550-1305397110/solver-3368550-1305397110 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368550-1305397110.cnf

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

MD5SUM BENCH= 4ba3e8e19a6d9aec4bc2bd0594f1360a
RANDOM SEED=510348473

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      24257112 kB
Buffers:        260968 kB
Cached:        2883592 kB
SwapCached:       1440 kB
Active:        6313944 kB
Inactive:      2086084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      24257112 kB
SwapTotal:    67111528 kB
SwapFree:     67093844 kB
Dirty:           13324 kB
Writeback:           0 kB
AnonPages:     5254256 kB
Mapped:          31768 kB
Slab:           187744 kB
PageTables:      37984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 100668052 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73592 MiB
End job on node128 at 2011-05-14 20:38:39