Trace number 3173867

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.18 1201.78

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf
MD5SUMd6c81b59e209c449a4578a840944dc82
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark32.4941
Satisfiable
(Un)Satisfiability was proved
Number of variables20000
Number of clauses84000
Sum of the clauses size252000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 384000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3173867-1304072119.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.01/0.13	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.01/0.13	c -- vars added      20000
0.01/0.13	c Parsing time:  0.05 s
0.01/0.13	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data
0.01/0.13	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.07
0.51/0.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.03
0.51/0.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.51/0.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.51/0.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.51/0.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.01 s
0.51/0.24	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.01 s
0.96/0.43	c lits-rem:         0  cl-subs:        0  v-elim:    503  v-fix:    0  time:  0.13 s
0.96/0.43	c Finding binary XORs  T:     0.00 s  found:       0
0.96/0.43	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.96/0.43	c calculated reachability. Time: 0.00
0.96/0.43	c Calc default polars -  time:   0.01 s pos:    8902 undec:    2247 neg:    8851
0.96/0.43	c =========================================================================================
0.96/0.43	c types(t): F = full restart, N = normal restart
0.96/0.43	c types(t): S = simplification begin/end, E = solution found
0.96/0.43	c restart types(rt): st = static, dy = dynamic
0.96/0.43	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.96/0.43	c  B st     0         0     19497     83374         0         0    253087         0   no data   no data
5.98/1.52	c  N dy    17      4022     19497     83374         0      4022    253087    900544    132.85    144.24
10.37/2.67	c  N dy    43      8074     19497     83374         0      8074    253087   1704811    129.86    137.19
15.17/3.84	c  N dy    71     12109     19497     83374         0     12109    253087   2513103    129.64    138.80
20.34/5.10	c  N dy    98     16234     19497     83374         0     16234    253087   3372194    128.94    138.40
25.54/6.41	c  N dy   129     20323     19497     83374         0     10325    253087    620857    129.94    139.63
30.33/7.66	c  N dy   157     24449     19497     83374         0     14450    253087   1476215    130.79    139.54
31.13/7.82	c  F st   162     25000     19497     83374         0     15001    253087   1594456    130.97   no data
37.51/9.48	c  N dy   168     30002     19497     83374         0     20003    253087   2975534    130.97   no data
37.51/9.48	c  S st   168     30002     19497     83374         0     20003    253087   2975534    130.97   no data
38.31/9.63	c  S st   168     30505     19497     83374         0     20506    253087   3045835    130.97   no data
38.31/9.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
38.71/9.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
38.71/9.75	c blocked clauses removed:      407 vars:     61 tried:       19497 T: 0.01 s
38.71/9.76	c bin-w-bin subsume rem            0 bins  time:  0.01 s
38.71/9.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
38.71/9.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19436 time:  0.01 s
38.71/9.78	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
39.12/9.87	c lits-rem:         0  cl-subs:        0  v-elim:      7  v-fix:    0  time:  0.09 s
40.31/10.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.50/10.97	c lits-rem:        10  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.82 s
43.90/11.07	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.10
43.90/11.07	c calculated reachability. Time: 0.00
43.90/11.07	c  N dy   168     30505     19429     82961         0     20389    251898   3000910    130.97   no data
49.50/12.42	c  N dy   192     34565     19429     82961         0     24449    251898   3837169    130.71    140.19
55.08/13.83	c  N dy   217     38645     19429     82961         0     28529    251898   4652615    130.20    141.84
60.68/15.21	c  N dy   242     42659     19429     82961         0     17101    251898   1007119    130.03    147.14
64.68/16.22	c  S st   265     45758     19429     82961         0     20200    251898   1654738    130.29    132.41
65.07/16.39	c  S st   265     46262     19429     82961         0     20704    251898   1727313    130.29   no data
65.47/16.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
65.47/16.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.08
65.87/16.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
65.87/16.51	c bin-w-bin subsume rem            0 bins  time:  0.01 s
65.87/16.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
65.87/16.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19429 time:  0.01 s
65.87/16.53	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
66.27/16.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
66.68/16.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
67.50/16.97	c lits-rem:         3  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.24 s
67.50/16.98	c vivif2 --  cl tried    82961 cl shrink        0 lits rem          0 time: 0.01
67.90/17.00	c vivif2 --  cl tried    20702 cl shrink        0 lits rem          0 time: 0.03
68.27/17.10	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.10
68.27/17.11	c calculated reachability. Time: 0.00
68.27/17.11	c  N dy   265     46262     19429     82961         0     20702    251898   1726175    130.29   no data
73.46/18.43	c  N dy   291     50323     19429     82961         0     24763    251898   2569736    130.19    142.22
79.05/19.82	c  N dy   319     54395     19429     82961         0     28835    251898   3438443    130.25    138.10
84.65/21.24	c  N dy   345     58436     19429     82961         0     32876    251898   4304695    130.24    170.16
90.24/22.69	c  N dy   372     62532     19429     82961         0     36972    251898   5157875    130.44    140.32
95.83/24.06	c  N dy   399     66633     19429     82961         0     22358    251898   1394164    130.49    138.60
99.43/24.97	c  S st   415     69393     19429     82961         0     25118    251898   1953376    130.29    114.61
100.23/25.14	c  S st   415     69896     19429     82961         0     25621    251898   2029245    130.29   no data
100.23/25.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
100.63/25.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
100.63/25.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
100.63/25.27	c bin-w-bin subsume rem            0 bins  time:  0.01 s
100.63/25.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
100.63/25.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19429 time:  0.01 s
100.63/25.29	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
101.03/25.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
101.43/25.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
103.04/25.86	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.36 s
103.04/25.87	c vivif2 --  cl tried    82961 cl shrink        0 lits rem          0 time: 0.01
103.42/25.91	c vivif2 --  cl tried    25620 cl shrink        0 lits rem          0 time: 0.03
103.82/26.01	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.11
103.82/26.02	c calculated reachability. Time: 0.00
103.82/26.02	c  N dy   415     69896     19429     82961         0     25620    251898   2029083    130.29   no data
110.21/27.61	c  N dy   450     74519     19429     82961         0     30242    251898   3027369    130.76    141.33
117.00/29.30	c  N dy   479     79402     19429     82961         0     35124    251898   4028144    130.57    138.17
123.79/31.09	c  N dy   512     84483     19429     82961         0     40203    251898   5049630    130.36    142.46
128.19/32.18	c  F st   535     87501     19429     82961         0     22360    251898    931409    130.45   no data
132.98/33.36	c  N st   540     90797     19429     82961         0     25656    251898   1824856    130.45   no data
140.97/35.34	c  N dy   567     96596     19429     82961         0     31454    251898   3119903    130.24    140.64
149.76/37.58	c  N dy   608    102813     19429     82961         0     37671    251898   4401935    130.38    140.05
152.95/38.33	c  S st   622    104844     19429     82961         0     39701    251898   4811518    130.32     99.61
153.75/38.52	c  S st   622    105349     19429     82961         0     40206    251898   4884264    130.32   no data
153.75/38.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
154.15/38.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.10
154.15/38.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
154.15/38.66	c bin-w-bin subsume rem            0 bins  time:  0.01 s
154.15/38.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
154.15/38.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19429 time:  0.01 s
154.15/38.68	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
154.95/38.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
155.77/39.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
161.74/40.57	c lits-rem:        13  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.48 s
161.74/40.58	c vivif2 --  cl tried    82961 cl shrink        0 lits rem          0 time: 0.01
162.14/40.65	c vivif2 --  cl tried    40203 cl shrink        0 lits rem          0 time: 0.08
162.54/40.78	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.13
162.54/40.79	c calculated reachability. Time: 0.00
162.54/40.79	c  N dy   622    105349     19429     82961         0     40203    251898   4883019    130.32   no data
172.95/43.32	c  N dy   670    112125     19429     82961         0     24552    251898   1029440    130.32    147.67
182.91/45.80	c  N dy   717    119339     19429     82961         0     31766    251898   2467436    130.16    139.49
193.69/48.58	c  N dy   764    127134     19429     82961         0     39561    251898   4056467    129.97    141.12
206.08/51.66	c  N dy   822    135286     19429     82961         0     24001    251898    613525    130.11    138.10
218.06/54.60	c  N dy   879    143996     19429     82961         0     32711    251898   2373633    130.03    137.71
231.24/57.97	c  N dy   941    153292     19429     82961         0     42007    251898   4260066    129.99    137.72
238.44/59.73	c  S st   977    158024     19429     82961         0     46737    251898   5218654    130.08   no data
239.26/59.93	c  S st   977    158525     19429     82961         0     47238    251898   5289946    130.08   no data
239.26/59.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
239.63/60.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
239.63/60.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
239.63/60.07	c bin-w-bin subsume rem            0 bins  time:  0.01 s
239.63/60.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
239.63/60.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19429 time:  0.01 s
239.63/60.10	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
240.43/60.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
241.63/60.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
249.62/62.58	c lits-rem:         7  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.06 s
249.62/62.58	c vivif2 --  cl tried    82961 cl shrink        0 lits rem          0 time: 0.01
250.02/62.67	c vivif2 --  cl tried    47235 cl shrink        0 lits rem          0 time: 0.08
250.82/62.81	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.14
250.82/62.81	c calculated reachability. Time: 0.00
250.82/62.81	c  N dy   977    158525     19429     82961         0     47235    251898   5289396    130.08   no data
265.22/66.44	c  N dy  1044    168743     19429     82961         0     32594    251898   2103875    130.10    138.68
280.78/70.36	c  N dy  1114    179547     19429     82961         0     43398    251898   4304772    130.03    137.01
298.36/74.78	c  N dy  1191    191223     19429     82961         0     29146    251898   1154004    130.10    138.22
316.33/79.20	c  N dy  1273    203468     19429     82961         0     41391    251898   3651291    130.02    149.08
335.92/84.18	c  N dy  1358    216517     19429     82961         0     27475    251898    578599    129.98    139.15
355.87/89.13	c  N dy  1458    230360     19429     82961         0     41317    251898   3446861    130.19    168.37
367.06/91.93	c  S st  1511    237789     19429     82961         0     48745    251898   4949815    130.23   no data
367.86/92.14	c  S st  1511    238294     19429     82961         0     49250    251898   5016716    130.23   no data
367.86/92.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
368.26/92.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
368.26/92.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
368.26/92.29	c bin-w-bin subsume rem            0 bins  time:  0.01 s
368.26/92.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
368.66/92.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19429 time:  0.01 s
368.66/92.31	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
369.06/92.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
369.86/92.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
378.24/94.77	c lits-rem:         9  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.08 s
378.24/94.78	c vivif2 --  cl tried    82961 cl shrink        0 lits rem          0 time: 0.01
378.64/94.86	c vivif2 --  cl tried    49244 cl shrink        0 lits rem          0 time: 0.08
379.04/95.00	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.14
379.46/95.01	c calculated reachability. Time: 0.00
379.46/95.01	c  N dy  1511    238294     19429     82961         0     49244    251898   5015198    130.23   no data
402.21/100.70	c  N dy  1615    253559     19429     82961         0     36525    251898   2231209    130.26    139.34
426.57/106.83	c  N dy  1721    269842     19429     82961         0     52807    251898   5556355    130.19    137.17
452.94/113.40	c  N dy  1834    287064     19429     82961         0     41041    251898   2947830    130.22    143.86
481.30/120.54	c  N dy  1954    305492     19429     82961         0     59468    251898   6708322    130.18    138.78
482.50/120.88	c  F st  1958    306252     19429     82961         0     30233    251898    500974    130.16   no data
510.86/127.91	c  N dy  2047    325105     19429     82961         0     49083    251898   4745669    130.11    140.03
541.62/135.64	c  N dy  2183    345111     19429     82961         0     38092    251898   1885929    130.18    137.20
560.39/140.36	c  S st  2272    357441     19429     82961         0     50421    251898   4391340    130.26    131.03
561.18/140.56	c  S st  2272    357947     19429     82961         0     50927    251898   4458937    130.26   no data
561.18/140.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
561.58/140.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.11
561.98/140.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
561.98/140.71	c bin-w-bin subsume rem            0 bins  time:  0.01 s
561.98/140.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
561.98/140.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19429 time:  0.01 s
561.98/140.73	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
562.40/140.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
563.19/141.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
575.17/144.01	c lits-rem:         3  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.93 s
575.17/144.02	c vivif2 --  cl tried    82961 cl shrink        0 lits rem          0 time: 0.01
575.17/144.09	c vivif2 --  cl tried    50923 cl shrink        0 lits rem          0 time: 0.07
575.97/144.24	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.14
575.97/144.24	c calculated reachability. Time: 0.00
575.97/144.24	c  N dy  2272    357947     19429     82961         0     50923    251898   4457893    130.26   no data
607.53/152.18	c  N dy  2410    378033     19429     82961         0     39012    251898   1915540    130.39    137.90
639.88/160.24	c  N dy  2551    398109     19429     82961         0     59088    251898   6102702    130.50    138.17
670.64/167.95	c  N dy  2689    418179     19429     82961         0     46158    251898   3167727    130.56    138.57
702.99/176.05	c  N dy  2822    438195     19429     82961         0     66174    251898   7349754    130.62    141.94
733.74/183.78	c  N dy  2960    458317     19429     82961         0     52301    251898   4202720    130.67    145.49
766.90/192.03	c  N dy  3092    478343     19429     82961         0     37326    251898    922681    130.71    139.84
797.65/199.79	c  N dy  3224    498471     19429     82961         0     57453    251898   5106171    130.74    138.01
830.81/208.08	c  N dy  3366    518473     19429     82961         0     41456    251898   1586235    130.86    138.42
860.38/215.41	c  S st  3489    536921     19429     82961         0     59901    251898   5464849    130.92    134.04
861.18/215.62	c  S st  3489    537425     19429     82961         0     60405    251898   5538618    130.92   no data
861.18/215.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
861.58/215.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.11
861.58/215.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
861.58/215.78	c bin-w-bin subsume rem            0 bins  time:  0.01 s
861.58/215.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
861.58/215.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19429 time:  0.01 s
861.97/215.80	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
862.37/215.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
863.57/216.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
874.75/219.08	c lits-rem:         3  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.87 s
874.75/219.09	c vivif2 --  cl tried    82961 cl shrink        0 lits rem          0 time: 0.01
875.15/219.18	c vivif2 --  cl tried    60399 cl shrink        0 lits rem          0 time: 0.09
875.97/219.34	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.16
875.97/219.35	c calculated reachability. Time: 0.00
875.97/219.35	c  N dy  3489    537425     19429     82961         0     60399    251898   5536588    130.92   no data
909.11/227.62	c  N dy  3626    557530     19429     82961         0     43508    251898   1782668    130.95    139.36
941.06/235.64	c  N dy  3768    577605     19429     82961         0     63583    251898   5942646    130.99    142.59
974.21/243.94	c  N dy  3904    597624     19429     82961         0     45605    251898   2032574    131.09    140.15
1006.17/251.99	c  N dy  4034    617675     19429     82961         0     65655    251898   6230650    131.11    138.85
1040.13/260.44	c  N dy  4177    637809     19429     82961         0     46788    251898   2075994    131.20    141.10
1072.48/268.58	c  N dy  4311    657913     19429     82961         0     66890    251898   6261266    131.23    142.68
1106.83/277.14	c  N dy  4455    677924     19429     82961         0     46903    251898   1901150    131.34    138.95
1140.78/285.64	c  N dy  4584    697997     19429     82961         0     66974    251898   6068993    131.30    141.63
1175.16/294.28	c  N dy  4704    718241     19429     82961         0     46217    251898   1517523    131.24    138.64
1208.28/302.53	c  N dy  4844    738347     19429     82961         0     66322    251898   5707776    131.28    143.37
1243.04/311.23	c  N dy  4973    758348     19429     82961         0     44324    251898    935471    131.25    139.23
1275.00/319.29	c  N dy  5106    778382     19429     82961         0     64357    251898   5060496    131.25    139.79
1310.55/328.15	c  N dy  5237    798468     19429     82961         0     84442    251898   9249248    131.29    172.88
1322.93/331.28	c  S st  5288    806139     19429     82961         0     49113    251898   1698584    131.28    116.18
1323.73/331.49	c  S st  5288    806642     19429     82961         0     49616    251898   1768132    131.28   no data
1324.15/331.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1324.55/331.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.10
1324.55/331.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1324.55/331.64	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1324.55/331.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1324.55/331.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19429 time:  0.01 s
1324.55/331.66	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
1324.92/331.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
1325.32/331.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1327.72/332.49	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.63 s
1328.12/332.50	c vivif2 --  cl tried    82961 cl shrink        0 lits rem          0 time: 0.01
1328.12/332.53	c vivif2 --  cl tried    49616 cl shrink        0 lits rem          0 time: 0.03
1328.54/332.67	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.14
1328.54/332.67	c calculated reachability. Time: 0.00
1328.54/332.67	c  N dy  5288    806642     19429     82961         0     49616    251898   1768131    131.28   no data
1362.07/341.05	c  N dy  5431    826647     19429     82961         0     69620    251898   5905375    131.32    142.11
1398.84/350.23	c  N dy  5566    846754     19429     82961         0     45730    251898    804824    131.34    139.36
1431.57/358.40	c  N dy  5700    866800     19429     82961         0     65775    251898   5034498    131.38    159.07
1467.13/367.34	c  N dy  5834    886852     19429     82961         0     85827    251898   9185724    131.39    141.36
1500.30/375.67	c  N dy  5966    906858     19429     82961         0     60832    251898   3753980    131.42    149.80
1535.83/384.53	c  N dy  6106    926926     19429     82961         0     80895    251898   7937789    131.45    138.92
1570.61/393.26	c  N dy  6247    946966     19429     82961         0     54936    251898   2305853    131.49    139.81
1604.94/401.86	c  N dy  6387    966967     19429     82961         0     74937    251898   6517537    131.55    143.89
1642.89/411.31	c  N dy  6529    987022     19429     82961         0     47996    251898    680653    131.58    139.78
1676.06/419.61	c  N dy  6672   1007049     19429     82961         0     68021    251898   4908131    131.63    139.67
1712.39/428.75	c  N dy  6803   1027220     19429     82961         0     88192    251898   9135302    131.62    147.15
1747.13/437.42	c  N dy  6933   1047397     19429     82961         0     60377    251898   2991953    131.59    138.77
1782.28/446.23	c  N dy  7069   1067445     19429     82961         0     80422    251898   7174620    131.60    139.51
1790.30/448.27	c  F st  7100   1071879     19429     82961         0     84856    251898   8095274    131.60    127.55
1819.84/455.64	c  N dy  7178   1087519     19429     82961         0     51497    251898    982543    131.62    140.12
1852.99/463.94	c  N dy  7306   1107533     19429     82961         0     71508    251898   5143717    131.60    144.09
1890.14/473.24	c  N dy  7437   1127768     19429     82961         0     91737    251898   9357156    131.60    141.10
1925.69/482.14	c  N dy  7572   1147972     19429     82961         0     61949    251898   3006454    131.62    146.70
1960.85/490.98	c  N dy  7704   1168003     19429     82961         0     81979    251898   7231925    131.66    139.50
1999.19/500.57	c  N dy  7836   1188022     19429     82961         0    101994    251898  11395769    131.68    141.84
2033.54/509.14	c  N dy  7965   1208185     19429     82961         0     71160    251898   4682129    131.67    143.23
2036.73/509.95	c  S st  7979   1209966     19429     82961         0     72941    251898   5059453    131.68    130.40
2037.53/510.19	c  S st  7979   1210469     19429     82961         0     73444    251898   5131642    131.68   no data
2037.93/510.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2038.33/510.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
2038.33/510.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2038.33/510.36	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2038.33/510.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2038.33/510.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19429 time:  0.01 s
2038.33/510.38	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2039.13/510.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
2039.93/510.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2052.31/513.82	c lits-rem:         3  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.02 s
2052.31/513.83	c vivif2 --  cl tried    82961 cl shrink        0 lits rem          0 time: 0.01
2052.71/513.92	c vivif2 --  cl tried    73441 cl shrink        0 lits rem          0 time: 0.09
2053.11/514.09	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.18
2053.11/514.10	c calculated reachability. Time: 0.00
2053.11/514.10	c  N dy  7979   1210469     19429     82961         0     73441    251898   5131020    131.68   no data
2090.66/523.49	c  N dy  8109   1230633     19429     82961         0     93604    251898   9364064    131.69    139.69
2127.01/532.52	c  N dy  8240   1250646     19429     82961         0     61617    251898   2479638    131.70    139.24
2162.57/541.48	c  N dy  8378   1270678     19429     82961         0     81647    251898   6685060    131.73    145.08
2201.71/551.26	c  N dy  8511   1290915     19429     82961         0    101883    251898  10892019    131.72    139.73
2236.86/560.06	c  N dy  8653   1310924     19429     82961         0     68900    251898   3850414    131.77    138.73
2273.63/569.23	c  N dy  8783   1330961     19429     82961         0     88937    251898   7985866    131.77    141.34
2313.95/579.32	c  N dy  8922   1351074     19429     82961         0     55049    251898    713767    131.81    141.50
2347.93/587.82	c  N dy  9052   1371180     19429     82961         0     75154    251898   4917225    131.80    142.20
2385.46/597.26	c  N dy  9182   1391216     19429     82961         0     95187    251898   9032914    131.79    140.57
2424.19/606.92	c  N dy  9318   1411262     19429     82961         0     60241    251898   1606784    131.80    138.95
2458.95/615.61	c  N dy  9442   1431281     19429     82961         0     80257    251898   5754343    131.79    139.15
2497.31/625.27	c  N dy  9572   1451357     19429     82961         0    100330    251898   9877552    131.77    142.33
2535.23/634.74	c  N dy  9706   1471457     19429     82961         0     64432    251898   2267776    131.77    139.53
2571.19/643.72	c  N dy  9839   1491557     19429     82961         0     84531    251898   6428913    131.77    140.29
2610.73/653.64	c  N dy  9973   1511737     19429     82961         0    104710    251898  10616729    131.76    146.77
2648.28/663.09	c  N dy 10115   1531796     19429     82961         0     67775    251898   2843078    131.80    144.97
2685.03/672.29	c  N dy 10251   1551835     19429     82961         0     87812    251898   7082672    131.81    139.74
2725.38/682.30	c  N dy 10386   1571859     19429     82961         0    107834    251898  11282707    131.83    142.04
2762.12/691.58	c  N dy 10515   1591865     19429     82961         0     69844    251898   2985797    131.83    138.94
2798.87/700.77	c  N dy 10647   1611941     19429     82961         0     89920    251898   7230511    131.87    142.15
2839.62/710.91	c  N dy 10772   1632054     19429     82961         0    110031    251898  11451013    131.86    139.48
2877.16/720.36	c  N dy 10905   1652143     19429     82961         0     71121    251898   3059235    131.88    138.95
2914.32/729.66	c  N dy 11044   1672230     19429     82961         0     91206    251898   7292534    131.90    140.14
2954.67/739.79	c  N dy 11169   1692332     19429     82961         0    111307    251898  11447448    131.89    143.02
2989.83/748.53	c  S st 11296   1710471     19429     82961         0     69445    251898   2508273    131.92    138.11
2990.60/748.77	c  S st 11296   1710975     19429     82961         0     69949    251898   2585985    131.92   no data
2990.60/748.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2991.40/748.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.12
2991.40/748.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2991.40/748.94	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2991.40/748.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2991.40/748.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19429 time:  0.01 s
2991.40/748.96	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2991.80/749.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
2992.20/749.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2998.99/750.83	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time:  1.63 s
2998.99/750.84	c vivif2 --  cl tried    82961 cl shrink        0 lits rem          0 time: 0.01
2998.99/750.89	c vivif2 --  cl tried    69945 cl shrink        0 lits rem          0 time: 0.05
2999.79/751.06	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.17
2999.79/751.06	c calculated reachability. Time: 0.00
2999.79/751.06	c  N dy 11296   1710975     19429     82961         0     69945    251898   2584290    131.92   no data
3036.94/760.32	c  N dy 11422   1731122     19429     82961         0     90090    251898   6739995    131.89    142.21
3077.71/770.56	c  N dy 11561   1751323     19429     82961         0    110289    251898  10946535    131.90    140.63
3117.25/780.49	c  N dy 11698   1771442     19429     82961         0     69417    251898   2299431    131.92    145.18
3154.38/789.78	c  N dy 11842   1791603     19429     82961         0     89578    251898   6563434    131.95    139.55
3194.73/799.83	c  N dy 11968   1811729     19429     82961         0    109703    251898  10709641    131.93    140.59
3235.49/810.09	c  N dy 12101   1831806     19429     82961         0     67779    251898   1762391    131.92    140.28
3271.81/819.17	c  N dy 12229   1851891     19429     82961         0     87864    251898   5983326    131.93    141.55
3313.36/829.57	c  N dy 12362   1871896     19429     82961         0    107866    251898  10217836    131.94    139.08
3356.50/840.30	c  N dy 12492   1891970     19429     82961         0     64941    251898    949413    131.95    139.85
3391.65/849.19	c  N dy 12621   1912135     19429     82961         0     85102    251898   5114605    131.95    140.80
3431.19/859.07	c  N dy 12752   1932149     19429     82961         0    105115    251898   9340941    131.95    182.05
3474.32/869.85	c  N dy 12883   1952249     19429     82961         0    125214    251898  13567262    131.96    139.57
3511.48/879.11	c  N dy 13020   1972267     19429     82961         0     81237    251898   4140660    131.97    139.10
3550.62/888.91	c  N dy 13166   1992356     19429     82961         0    101325    251898   8394182    132.00    140.96
3593.37/899.63	c  N dy 13304   2012419     19429     82961         0    121385    251898  12652215    132.02    147.55
3632.50/909.45	c  N dy 13432   2032542     19429     82961         0     76510    251898   2938378    132.02    144.92
3670.87/919.09	c  N dy 13579   2052644     19429     82961         0     96611    251898   7208044    132.05    162.07
3713.20/929.61	c  N dy 13718   2072706     19429     82961         0    116671    251898  11418222    132.07    141.05
3755.53/940.26	c  N dy 13850   2092818     19429     82961         0     70783    251898   1549496    132.08    140.24
3791.88/949.36	c  N dy 13976   2112836     19429     82961         0     90798    251898   5761531    132.08    153.06
3832.23/959.48	c  N dy 14109   2132911     19429     82961         0    110870    251898   9963552    132.10    141.09
3876.17/970.47	c  N dy 14239   2152923     19429     82961         0    130881    251898  14132455    132.10    142.75
3914.10/979.90	c  N dy 14371   2173029     19429     82961         0     83998    251898   4220445    132.12    140.71
3953.25/989.70	c  N dy 14504   2193070     19429     82961         0    104038    251898   8438019    132.13    140.47
3992.39/999.55	c  S st 14622   2210977     19429     82961         0    121943    251898  12159032    132.12   no data
3993.99/999.91	c  S st 14622   2211480     19429     82961         0    122446    251898  12241916    132.12   no data
3993.99/999.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3994.80/1000.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.18
3994.80/1000.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3994.80/1000.15	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3994.80/1000.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3994.80/1000.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19429 time:  0.01 s
3994.80/1000.17	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
3995.62/1000.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
3998.79/1001.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4026.78/1008.18	c lits-rem:        14  cl-subs:       11  v-elim:      0  v-fix:    0  time:  7.06 s
4027.15/1008.20	c vivif2 --  cl tried    82961 cl shrink        0 lits rem          0 time: 0.01
4027.95/1008.40	c vivif2 --  cl tried   122435 cl shrink        0 lits rem          0 time: 0.21
4028.75/1008.68	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.28
4028.75/1008.69	c calculated reachability. Time: 0.00
4028.75/1008.69	c  N dy 14622   2211480     19429     82961         0    122435    251898  12238504    132.12   no data
4073.48/1019.88	c  N dy 14756   2231514     19429     82961         0     74468    251898   1958358    132.13    158.97
4111.43/1029.31	c  N dy 14895   2251662     19429     82961         0     94613    251898   6267576    132.16    150.57
4152.57/1039.63	c  N dy 15032   2271720     19429     82961         0    114671    251898  10443037    132.17    141.34
4197.31/1050.86	c  N dy 15166   2291758     19429     82961         0    134708    251898  14640475    132.16    140.31
4236.06/1060.54	c  N dy 15304   2311854     19429     82961         0     85807    251898   4109383    132.17    140.55
4275.20/1070.35	c  N dy 15440   2331855     19429     82961         0    105807    251898   8295564    132.18    139.63
4318.34/1081.16	c  N dy 15574   2351891     19429     82961         0    125842    251898  12557128    132.20    143.11
4362.27/1092.15	c  N dy 15712   2372009     19429     82961         0     75971    251898   1793189    132.21    140.85
4399.84/1101.57	c  N dy 15846   2392129     19429     82961         0     96091    251898   6042467    132.21    139.77
4440.97/1111.85	c  N dy 15968   2412181     19429     82961         0    116142    251898  10253382    132.21    151.69
4485.70/1123.01	c  N dy 16094   2432214     19429     82961         0    136173    251898  14477990    132.21    142.45
4525.24/1132.99	c  N dy 16229   2452379     19429     82961         0     85346    251898   3578814    132.21    139.82
4564.38/1142.79	c  N dy 16357   2472406     19429     82961         0    105372    251898   7811557    132.22    139.24
4607.92/1153.68	c  N dy 16498   2492501     19429     82961         0    125465    251898  12079383    132.24    140.86
4654.26/1165.28	c  N dy 16630   2512569     19429     82961         0     73533    251898    914361    132.23    140.37
4691.80/1174.60	c  N dy 16769   2532597     19429     82961         0     93560    251898   5157671    132.25    179.11
4732.54/1184.81	c  N dy 16898   2552606     19429     82961         0    113568    251898   9380516    132.25    159.45
4777.29/1196.08	c  N dy 17034   2572720     19429     82961         0    133681    251898  13608799    132.26    148.95

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-3173867-1304072119/watcher-3173867-1304072119 -o /tmp/evaluation-result-3173867-1304072119/solver-3173867-1304072119 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173867-1304072119.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.96 4.32 5.73 7/184 21016
/proc/meminfo: memFree=25377220/32951124 swapFree=67111524/67111528
[pid=21016] ppid=21014 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 408 0 0 0 0 0 0 0 21 0 4 0 518810099 52441088 347 33554432000 4194304 4627427 140737291409840 18446744073709551615 47778744653750 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 12803 347 299 106 0 7774 0
[pid=21016/tid=21017] ppid=21014 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 518810099 52441088 347 33554432000 4194304 4627427 140737291409840 18446744073709551615 47778744653746 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 518810099 52441088 347 33554432000 4194304 4627427 140737291409840 18446744073709551615 232335948785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 518810099 52441088 347 33554432000 4194304 4627427 140737291409840 18446744073709551615 232347690038 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.00822089 s]
/proc/loadavg: 1.96 4.32 5.73 7/184 21016
/proc/meminfo: memFree=25377220/32951124 swapFree=67111524/67111528
[pid=21016] ppid=21014 vsize=183260 CPUtime=0.01 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 1554 0 0 0 1 0 0 0 18 0 4 0 518810099 187658240 1472 33554432000 4194304 4627427 140737291409840 18446744073709551615 232335553221 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 45815 1493 336 106 0 40786 0
[pid=21016/tid=21017] ppid=21014 vsize=183260 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) D 21014 21016 20824 0 -1 4202560 297 0 0 0 0 0 0 0 18 0 4 0 518810099 187658240 1502 33554432000 4194304 4627427 140737291409840 18446744073709551615 232335589131 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=183392 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 276 0 0 0 0 0 0 0 24 0 4 0 518810099 187793408 1509 33554432000 4194304 4627427 140737291409840 18446744073709551615 4258672 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=183392 CPUtime=0 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) D 21014 21016 20824 0 -1 4202560 309 0 0 0 0 0 0 0 18 0 4 0 518810099 187793408 1522 33554432000 4194304 4627427 140737291409840 18446744073709551615 4314065 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 183260

[startup+0.138229 s]
/proc/loadavg: 1.96 4.32 5.73 7/184 21016
/proc/meminfo: memFree=25377220/32951124 swapFree=67111524/67111528
[pid=21016] ppid=21014 vsize=304600 CPUtime=0.51 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 15286 0 0 0 49 2 0 0 18 0 4 0 518810099 311910400 13182 33554432000 4194304 4627427 140737291409840 18446744073709551615 4228487 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 76150 13182 366 106 0 71121 0
[pid=21016/tid=21017] ppid=21014 vsize=304600 CPUtime=0.12 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 3713 0 0 0 12 0 0 0 18 0 4 0 518810099 311910400 13182 33554432000 4194304 4627427 140737291409840 18446744073709551615 4237488 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=304600 CPUtime=0.12 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) D 21014 21016 20824 0 -1 4202560 3696 0 0 0 12 0 0 0 18 0 4 0 518810099 311910400 13182 33554432000 4194304 4627427 140737291409840 18446744073709551615 232335935671 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=304600 CPUtime=0.12 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 3721 0 0 0 12 0 0 0 18 0 4 0 518810099 311910400 13182 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 304600

[startup+0.860038 s]
/proc/loadavg: 1.96 4.32 5.73 7/184 21016
/proc/meminfo: memFree=25377220/32951124 swapFree=67111524/67111528
[pid=21016] ppid=21014 vsize=323400 CPUtime=3.4 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 31784 0 0 0 336 4 0 0 18 0 4 0 518810099 331161600 22789 33554432000 4194304 4627427 140737291409840 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 80850 22789 385 106 0 75821 0
[pid=21016/tid=21017] ppid=21014 vsize=323400 CPUtime=0.85 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 8419 0 0 0 84 1 0 0 18 0 4 0 518810099 331161600 22789 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308291 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=323400 CPUtime=0.84 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 9286 0 0 0 83 1 0 0 19 0 4 0 518810099 331161600 22789 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=323400 CPUtime=0.84 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 4429 0 0 0 84 0 0 0 19 0 4 0 518810099 331161600 22789 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 323400

[startup+0.901033 s]
/proc/loadavg: 1.96 4.32 5.73 7/184 21016
/proc/meminfo: memFree=25377220/32951124 swapFree=67111524/67111528
[pid=21016] ppid=21014 vsize=323400 CPUtime=3.56 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 31934 0 0 0 352 4 0 0 18 0 4 0 518810099 331161600 22939 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 80850 22939 385 106 0 75821 0
[pid=21016/tid=21017] ppid=21014 vsize=323400 CPUtime=0.89 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 8464 0 0 0 88 1 0 0 18 0 4 0 518810099 331161600 22939 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=323400 CPUtime=0.88 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 9324 0 0 0 87 1 0 0 19 0 4 0 518810099 331161600 22939 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=323400 CPUtime=0.88 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 4456 0 0 0 88 0 0 0 19 0 4 0 518810099 331161600 22939 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 323400

[startup+1.50093 s]
/proc/loadavg: 2.60 4.42 5.75 9/188 21020
/proc/meminfo: memFree=25262116/32951124 swapFree=67111524/67111528
[pid=21016] ppid=21014 vsize=323400 CPUtime=5.98 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 33851 0 0 0 594 4 0 0 19 0 4 0 518810099 331161600 24843 33554432000 4194304 4627427 140737291409840 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 80850 24843 385 106 0 75821 0
[pid=21016/tid=21017] ppid=21014 vsize=323400 CPUtime=1.49 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 8940 0 0 0 148 1 0 0 20 0 4 0 518810099 331161600 24843 33554432000 4194304 4627427 140737291409840 18446744073709551615 4299712 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=323400 CPUtime=1.48 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 9803 0 0 0 147 1 0 0 20 0 4 0 518810099 331161600 24843 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308668 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=323400 CPUtime=1.49 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 4927 0 0 0 149 0 0 0 20 0 4 0 518810099 331161600 24843 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 323400

[startup+3.10065 s]
/proc/loadavg: 2.60 4.42 5.75 9/188 21020
/proc/meminfo: memFree=25232112/32951124 swapFree=67111524/67111528
[pid=21016] ppid=21014 vsize=454664 CPUtime=12.35 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 38796 0 0 0 1229 6 0 0 23 0 4 0 518810099 465575936 29788 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 113666 29789 385 106 0 108637 0
[pid=21016/tid=21017] ppid=21014 vsize=454664 CPUtime=3.08 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 10062 0 0 0 307 1 0 0 25 0 4 0 518810099 465575936 29789 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=454664 CPUtime=3.07 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 10996 0 0 0 305 2 0 0 25 0 4 0 518810099 465575936 29789 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=454664 CPUtime=3.08 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 6328 0 0 0 308 0 0 0 25 0 4 0 518810099 465575936 29789 33554432000 4194304 4627427 140737291409840 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 454664

[startup+6.30107 s]
/proc/loadavg: 3.03 4.47 5.76 9/188 21020
/proc/meminfo: memFree=25155852/32951124 swapFree=67111524/67111528
[pid=21016] ppid=21014 vsize=427216 CPUtime=25.13 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 48903 0 0 0 2504 9 0 0 25 0 4 0 518810099 437469184 35334 33554432000 4194304 4627427 140737291409840 18446744073709551615 4338468 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 106804 35334 386 106 0 101775 0
[pid=21016/tid=21017] ppid=21014 vsize=427216 CPUtime=6.29 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 12198 0 0 0 627 2 0 0 25 0 4 0 518810099 437469184 35334 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=427216 CPUtime=6.25 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 13215 0 0 0 623 2 0 0 25 0 4 0 518810099 437469184 35334 33554432000 4194304 4627427 140737291409840 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=427216 CPUtime=6.29 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 9748 0 0 0 627 2 0 0 25 0 4 0 518810099 437469184 35334 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 427216

[startup+12.7009 s]
/proc/loadavg: 3.51 4.55 5.78 9/188 21020
/proc/meminfo: memFree=24981176/32951124 swapFree=67111524/67111528
[pid=21016] ppid=21014 vsize=713620 CPUtime=50.7 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 107817 0 0 0 5049 21 0 0 25 0 4 0 518810099 730746880 79427 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 178405 79427 390 106 0 173376 0
[pid=21016/tid=21017] ppid=21014 vsize=713620 CPUtime=12.68 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 40009 0 0 0 1262 6 0 0 25 0 4 0 518810099 730746880 79427 33554432000 4194304 4627427 140737291409840 18446744073709551615 4468060 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=713620 CPUtime=12.61 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 18757 0 0 0 1257 4 0 0 23 0 4 0 518810099 730746880 79427 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=713620 CPUtime=12.68 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 14285 0 0 0 1265 3 0 0 25 0 4 0 518810099 730746880 79427 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 713620

[startup+25.5007 s]
/proc/loadavg: 4.20 4.66 5.81 9/188 21020
/proc/meminfo: memFree=24905408/32951124 swapFree=67111524/67111528
[pid=21016] ppid=21014 vsize=572352 CPUtime=101.83 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 167021 0 0 0 10144 39 0 0 25 0 4 0 518810099 586088448 89709 33554432000 4194304 4627427 140737291409840 18446744073709551615 232335553569 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 143088 89711 390 106 0 138059 0
[pid=21016/tid=21017] ppid=21014 vsize=572352 CPUtime=25.49 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 49203 0 0 0 2540 9 0 0 25 0 4 0 518810099 586088448 89712 33554432000 4194304 4627427 140737291409840 18446744073709551615 4520543 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=572352 CPUtime=25.35 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 34697 0 0 0 2526 9 0 0 25 0 4 0 518810099 586088448 89712 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=572352 CPUtime=25.48 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 34319 0 0 0 2539 9 0 0 25 0 4 0 518810099 586088448 89713 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 572352

[startup+51.1071 s]
/proc/loadavg: 5.75 5.00 5.88 9/188 21021
/proc/meminfo: memFree=24666780/32951124 swapFree=67111524/67111528
[pid=21016] ppid=21014 vsize=796824 CPUtime=204.11 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 251039 0 0 0 20348 63 0 0 25 0 4 0 518810099 815947776 138906 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308606 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 199206 138906 390 106 0 194177 0
[pid=21016/tid=21017] ppid=21014 vsize=796824 CPUtime=51.09 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 61913 0 0 0 5097 12 0 0 25 0 4 0 518810099 815947776 138906 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=796824 CPUtime=50.81 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 53664 0 0 0 5067 14 0 0 25 0 4 0 518810099 815947776 138906 33554432000 4194304 4627427 140737291409840 18446744073709551615 4321703 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=796824 CPUtime=51.09 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 61794 0 0 0 5090 19 0 0 25 0 4 0 518810099 815947776 138906 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 796824

[startup+102.301 s]
/proc/loadavg: 7.02 5.46 5.99 9/188 21023
/proc/meminfo: memFree=24583668/32951124 swapFree=67111524/67111528
[pid=21016] ppid=21014 vsize=818944 CPUtime=408.61 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 351410 0 0 0 40768 93 0 0 25 0 4 0 518810099 838598656 150485 33554432000 4194304 4627427 140737291409840 18446744073709551615 4333049 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 204736 150485 390 106 0 199707 0
[pid=21016/tid=21017] ppid=21014 vsize=818944 CPUtime=102.29 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 84918 0 0 0 10209 20 0 0 25 0 4 0 518810099 838598656 150485 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=818944 CPUtime=101.72 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 84205 0 0 0 10150 22 0 0 25 0 4 0 518810099 838598656 150485 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=818944 CPUtime=102.29 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 86361 0 0 0 10202 27 0 0 25 0 4 0 518810099 838598656 150485 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 818944

[startup+162.3 s]

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

[pid=21016] ppid=21014 vsize=1414632 CPUtime=2565.6 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 1340262 0 0 0 256122 438 0 0 25 0 4 0 518810099 1448583168 270636 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 353658 270637 390 106 0 348629 0
[pid=21016/tid=21017] ppid=21014 vsize=1414632 CPUtime=642.27 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 306637 0 0 0 64132 95 0 0 25 0 4 0 518810099 1448583168 270637 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=1414632 CPUtime=638.76 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 348439 0 0 0 63758 118 0 0 25 0 4 0 518810099 1448583168 270637 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=1414632 CPUtime=642.27 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 347991 0 0 0 64107 120 0 0 25 0 4 0 518810099 1448583168 270637 33554432000 4194304 4627427 140737291409840 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.6
Current children cumulated vsize (KiB) 1414632

[startup+702.307 s]
/proc/loadavg: 8.23 7.80 7.00 9/188 21039
/proc/meminfo: memFree=23849532/32951124 swapFree=67111524/67111528
[pid=21016] ppid=21014 vsize=1363396 CPUtime=2805.29 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 1440263 0 0 0 280054 475 0 0 25 0 4 0 518810099 1396117504 278202 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 340849 278202 390 106 0 335820 0
[pid=21016/tid=21017] ppid=21014 vsize=1363396 CPUtime=702.27 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 331424 0 0 0 70123 104 0 0 25 0 4 0 518810099 1396117504 278202 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=1363396 CPUtime=698.44 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 373330 0 0 0 69717 127 0 0 25 0 4 0 518810099 1396117504 278202 33554432000 4194304 4627427 140737291409840 18446744073709551615 4324754 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=1363396 CPUtime=702.27 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 372948 0 0 0 70097 130 0 0 25 0 4 0 518810099 1396117504 278202 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.29
Current children cumulated vsize (KiB) 1363396

[startup+762.301 s]
/proc/loadavg: 8.20 7.86 7.07 10/188 21040
/proc/meminfo: memFree=23893904/32951124 swapFree=67111524/67111528
[pid=21016] ppid=21014 vsize=1364716 CPUtime=3044.93 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 1528378 0 0 0 303982 511 0 0 25 0 4 0 518810099 1397469184 262567 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 341179 262567 390 106 0 336150 0
[pid=21016/tid=21017] ppid=21014 vsize=1364716 CPUtime=762.27 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 350786 0 0 0 76114 113 0 0 25 0 4 0 518810099 1397469184 262567 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=1364716 CPUtime=758.11 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 397962 0 0 0 75672 139 0 0 25 0 4 0 518810099 1397469184 262567 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=1364716 CPUtime=762.27 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 396207 0 0 0 76087 140 0 0 25 0 4 0 518810099 1397469184 262567 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.93
Current children cumulated vsize (KiB) 1364716

[startup+822.301 s]
/proc/loadavg: 8.25 7.93 7.14 10/188 21042
/proc/meminfo: memFree=23778572/32951124 swapFree=67111524/67111528
[pid=21016] ppid=21014 vsize=1446292 CPUtime=3284.6 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 1661908 0 0 0 327902 558 0 0 25 0 4 0 518810099 1481003008 277339 33554432000 4194304 4627427 140737291409840 18446744073709551615 4327573 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 361573 277339 390 106 0 356544 0
[pid=21016/tid=21017] ppid=21014 vsize=1446292 CPUtime=822.27 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 378802 0 0 0 82104 123 0 0 25 0 4 0 518810099 1481003008 277339 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=1446292 CPUtime=817.77 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 447233 0 0 0 81622 155 0 0 25 0 4 0 518810099 1481003008 277339 33554432000 4194304 4627427 140737291409840 18446744073709551615 4468055 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=1446292 CPUtime=822.27 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 424466 0 0 0 82077 150 0 0 25 0 4 0 518810099 1481003008 277339 33554432000 4194304 4627427 140737291409840 18446744073709551615 4327635 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.6
Current children cumulated vsize (KiB) 1446292

[startup+882.301 s]
/proc/loadavg: 8.27 7.99 7.21 9/188 21043
/proc/meminfo: memFree=23799988/32951124 swapFree=67111524/67111528
[pid=21016] ppid=21014 vsize=1448084 CPUtime=3524.26 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 1770009 0 0 0 351825 601 0 0 25 0 4 0 518810099 1482838016 267766 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 362021 267766 390 106 0 356992 0
[pid=21016/tid=21017] ppid=21014 vsize=1448084 CPUtime=882.26 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 406387 0 0 0 88092 134 0 0 25 0 4 0 518810099 1482838016 267766 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=1448084 CPUtime=877.44 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 472411 0 0 0 87579 165 0 0 25 0 4 0 518810099 1482838016 267766 33554432000 4194304 4627427 140737291409840 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=1448084 CPUtime=882.27 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 452118 0 0 0 88065 162 0 0 25 0 4 0 518810099 1482838016 267766 33554432000 4194304 4627427 140737291409840 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.26
Current children cumulated vsize (KiB) 1448084

[startup+942.301 s]
/proc/loadavg: 8.27 8.03 7.27 9/188 21045
/proc/meminfo: memFree=23847460/32951124 swapFree=67111524/67111528
[pid=21016] ppid=21014 vsize=1393264 CPUtime=3763.92 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 1879217 0 0 0 375753 639 0 0 25 0 4 0 518810099 1426702336 256342 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 348316 256342 390 106 0 343287 0
[pid=21016/tid=21017] ppid=21014 vsize=1393264 CPUtime=942.26 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 433651 0 0 0 94082 144 0 0 25 0 4 0 518810099 1426702336 256342 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=1393264 CPUtime=937.1 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 499810 0 0 0 93536 174 0 0 25 0 4 0 518810099 1426702336 256342 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=1393264 CPUtime=942.26 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 479440 0 0 0 94055 171 0 0 25 0 4 0 518810099 1426702336 256342 33554432000 4194304 4627427 140737291409840 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.92
Current children cumulated vsize (KiB) 1393264

[startup+1002.3 s]
/proc/loadavg: 8.27 8.07 7.33 9/188 21047
/proc/meminfo: memFree=23532980/32951124 swapFree=67111524/67111528
[pid=21016] ppid=21014 vsize=1582492 CPUtime=4003.59 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 2025820 0 0 0 399675 684 0 0 25 0 4 0 518810099 1620471808 341364 33554432000 4194304 4627427 140737291409840 18446744073709551615 4468060 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 395623 341364 390 106 0 390594 0
[pid=21016/tid=21017] ppid=21014 vsize=1582492 CPUtime=1002.26 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 459301 0 0 0 100072 154 0 0 25 0 4 0 518810099 1620471808 341364 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=1582492 CPUtime=996.78 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 525687 0 0 0 99494 184 0 0 25 0 4 0 518810099 1620471808 341364 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=1582492 CPUtime=1002.26 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 526436 0 0 0 100042 184 0 0 25 0 4 0 518810099 1620471808 341364 33554432000 4194304 4627427 140737291409840 18446744073709551615 4428111 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.59
Current children cumulated vsize (KiB) 1582492

[startup+1062.3 s]
/proc/loadavg: 8.27 8.10 7.39 9/188 21048
/proc/meminfo: memFree=23456940/32951124 swapFree=67111524/67111528
[pid=21016] ppid=21014 vsize=1708916 CPUtime=4243.24 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 2156033 0 0 0 423594 730 0 0 25 0 4 0 518810099 1749929984 343582 33554432000 4194304 4627427 140737291409840 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 427229 343582 390 106 0 422200 0
[pid=21016/tid=21017] ppid=21014 vsize=1708916 CPUtime=1062.26 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 511733 0 0 0 106055 171 0 0 25 0 4 0 518810099 1749929984 343583 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=1708916 CPUtime=1056.45 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 552769 0 0 0 105448 197 0 0 25 0 4 0 518810099 1749929984 343583 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=1708916 CPUtime=1062.26 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 552732 0 0 0 106033 193 0 0 25 0 4 0 518810099 1749929984 343583 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.24
Current children cumulated vsize (KiB) 1708916

[startup+1122.3 s]
/proc/loadavg: 8.10 8.08 7.42 9/188 21050
/proc/meminfo: memFree=23455312/32951124 swapFree=67111524/67111528
[pid=21016] ppid=21014 vsize=1595184 CPUtime=4482.91 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 2259532 0 0 0 447518 773 0 0 25 0 4 0 518810099 1633468416 349880 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 398796 349880 390 106 0 393767 0
[pid=21016/tid=21017] ppid=21014 vsize=1595184 CPUtime=1122.26 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 537136 0 0 0 112044 182 0 0 25 0 4 0 518810099 1633468416 349880 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=1595184 CPUtime=1116.11 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 578475 0 0 0 111405 206 0 0 25 0 4 0 518810099 1633468416 349880 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=1595184 CPUtime=1122.25 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 579502 0 0 0 112023 202 0 0 25 0 4 0 518810099 1633468416 349880 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308640 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.91
Current children cumulated vsize (KiB) 1595184

[startup+1182.3 s]
/proc/loadavg: 8.14 8.09 7.47 9/188 21051
/proc/meminfo: memFree=23397252/32951124 swapFree=67111524/67111528
[pid=21016] ppid=21014 vsize=1711184 CPUtime=4722.56 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 2364778 0 0 0 471442 814 0 0 25 0 4 0 518810099 1752252416 356631 33554432000 4194304 4627427 140737291409840 18446744073709551615 4310097 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 427796 356631 390 106 0 422767 0
[pid=21016/tid=21017] ppid=21014 vsize=1711184 CPUtime=1182.25 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 563833 0 0 0 118033 192 0 0 25 0 4 0 518810099 1752252416 356631 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=1711184 CPUtime=1175.78 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 604053 0 0 0 117361 217 0 0 25 0 4 0 518810099 1752252416 356631 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=1711184 CPUtime=1182.25 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 605308 0 0 0 118013 212 0 0 25 0 4 0 518810099 1752252416 356631 33554432000 4194304 4627427 140737291409840 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.56
Current children cumulated vsize (KiB) 1711184



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.71 s]
/proc/loadavg: 8.10 8.09 7.48 5/183 21053
/proc/meminfo: memFree=23960868/32951124 swapFree=67111524/67111528
[pid=21016] ppid=21014 vsize=1653848 CPUtime=4800.09 cores=1,3,5,7
/proc/21016/stat : 21016 (strangenight2-m) R 21014 21016 20824 0 -1 4202496 2396788 0 0 0 479182 827 0 0 25 0 4 0 518810099 1693540352 355029 33554432000 4194304 4627427 140737291409840 18446744073709551615 4506933 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21016/statm: 413462 355029 390 106 0 408433 0
[pid=21016/tid=21017] ppid=21014 vsize=1653848 CPUtime=1201.67 cores=1,3,5,7
/proc/21016/task/21017/stat : 21017 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 571151 0 0 0 119971 196 0 0 25 0 4 0 518810099 1693540352 355029 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21016/tid=21018] ppid=21014 vsize=1653848 CPUtime=1195.08 cores=1,3,5,7
/proc/21016/task/21018/stat : 21018 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 612753 0 0 0 119289 219 0 0 25 0 4 0 518810099 1693540352 355029 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21016/tid=21019] ppid=21014 vsize=1653848 CPUtime=1201.66 cores=1,3,5,7
/proc/21016/task/21019/stat : 21019 (strangenight2-m) R 21014 21016 20824 0 -1 4202560 614129 0 0 0 119949 217 0 0 25 0 4 0 518810099 1693540352 355029 33554432000 4194304 4627427 140737291409840 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.09
Current children cumulated vsize (KiB) 1653848

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.78
CPU time (s): 4800.18
CPU user time (s): 4791.84
CPU system time (s): 8.33673
CPU usage (%): 399.423
Max. virtual memory (cumulated for all children) (KiB): 1724892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.84
system time used= 8.33673
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2396793
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= 2144
involuntary context switches= 21820

runsolver used 1.76873 second user time and 4.81027 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 12:15:19
IDJOB=3173867
IDBENCH=82685
IDSOLVER=1586
FILE ID=node132/3173867-1304072119
RUNJOBID= node132-1304072119-20994
PBS_JOBID= 13170489
Free space on /tmp= 71864 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173867-1304072119/watcher-3173867-1304072119 -o /tmp/evaluation-result-3173867-1304072119/solver-3173867-1304072119 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173867-1304072119.cnf

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

MD5SUM BENCH= d6c81b59e209c449a4578a840944dc82
RANDOM SEED=740747917

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25377252 kB
Buffers:        766936 kB
Cached:        6237348 kB
SwapCached:          4 kB
Active:        2083000 kB
Inactive:      4993104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25377252 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           12964 kB
Writeback:           0 kB
AnonPages:       71496 kB
Mapped:          15284 kB
Slab:           435360 kB
PageTables:       4460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   273456 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71868 MiB
End job on node132 at 2011-04-29 12:35:23