Trace number 3366276

Some explanations

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

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

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

Solver answer on this benchmark

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

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-3366276-1305400622.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.22/0.10	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.22/0.10	c -- vars added      20000
0.22/0.10	c Parsing time:  0.03 s
0.22/0.10	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data
0.22/0.21	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.07
0.22/0.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
0.22/0.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.22/0.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.68/0.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.68/0.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  20000 time:  0.01 s
0.68/0.29	c Removed useless bin:       0  fixed:     0  props:   0.20M  time:  0.01 s
0.68/0.40	c lits-rem:         0  cl-subs:        0  v-elim:    503  v-fix:    0  time:  0.13 s
0.68/0.40	c Finding binary XORs  T:     0.00 s  found:       0
0.68/0.95	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
0.68/0.95	c calculated reachability. Time: 0.00
0.68/0.95	c Calc default polars -  time:   0.01 s pos:    8902 undec:    2247 neg:    8851
0.68/0.95	c =========================================================================================
0.68/0.95	c types(t): F = full restart, N = normal restart
0.68/0.95	c types(t): S = simplification begin/end, E = solution found
0.68/0.95	c restart types(rt): st = static, dy = dynamic
0.68/0.95	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.68/0.95	c  B st     0         0     19497     83374         0         0    253087         0   no data   no data
5.79/1.57	c  N dy    17      4022     19497     83374         0      4022    253087    900544    132.85    144.24
10.57/2.73	c  N dy    43      8074     19497     83374         0      8074    253087   1704811    129.86    137.19
15.40/3.92	c  N dy    71     12109     19497     83374         0     12109    253087   2513103    129.64    138.80
20.54/5.20	c  N dy    98     16234     19497     83374         0     16234    253087   3372194    128.94    138.40
25.72/6.53	c  N dy   129     20323     19497     83374         0     10325    253087    620857    129.94    139.63
30.91/7.80	c  N dy   157     24449     19497     83374         0     14450    253087   1476215    130.79    139.54
31.31/7.96	c  F st   162     25000     19497     83374         0     15001    253087   1594456    130.97   no data
38.09/9.63	c  N dy   168     30002     19497     83374         0     20003    253087   2975534    130.97   no data
38.09/9.63	c  S st   168     30002     19497     83374         0     20003    253087   2975534    130.97   no data
38.49/9.79	c  S st   168     30505     19497     83374         0     20506    253087   3045835    130.97   no data
38.89/9.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
38.89/9.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.05
38.89/9.88	c blocked clauses removed:      407 vars:     61 tried:       19497 T: 0.01 s
38.89/9.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.89/9.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
39.29/9.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19436 time:  0.00 s
39.29/9.91	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
39.29/9.99	c lits-rem:         0  cl-subs:        0  v-elim:      7  v-fix:    0  time:  0.08 s
40.49/10.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
43.67/11.03	c lits-rem:        10  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.80 s
44.07/11.13	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.10
44.07/11.13	c calculated reachability. Time: 0.00
44.07/11.13	c  N dy   168     30505     19429     82961         0     20389    251898   3000910    130.97   no data
49.27/12.48	c  N dy   192     34565     19429     82961         0     24449    251898   3837169    130.71    140.19
55.29/13.94	c  N dy   217     38645     19429     82961         0     28529    251898   4652615    130.20    141.84
60.82/15.36	c  N dy   242     42659     19429     82961         0     17101    251898   1007119    130.03    147.14
64.81/16.37	c  S st   265     45758     19429     82961         0     20200    251898   1654738    130.29    132.41
65.61/16.53	c  S st   265     46262     19429     82961         0     20704    251898   1727313    130.29   no data
65.61/16.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
66.01/16.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.05
66.01/16.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
66.01/16.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
66.01/16.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
66.01/16.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19429 time:  0.01 s
66.01/16.64	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
66.41/16.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
66.81/16.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
67.62/17.07	c lits-rem:         3  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.24 s
67.62/17.08	c vivif2 --  cl tried    82961 cl shrink        0 lits rem          0 time: 0.01
67.62/17.10	c vivif2 --  cl tried    20702 cl shrink        0 lits rem          0 time: 0.03
68.05/17.21	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.10
68.45/17.21	c calculated reachability. Time: 0.00
68.45/17.21	c  N dy   265     46262     19429     82961         0     20702    251898   1726175    130.29   no data
73.59/18.55	c  N dy   291     50323     19429     82961         0     24763    251898   2569736    130.19    142.22
79.18/19.95	c  N dy   319     54395     19429     82961         0     28835    251898   3438443    130.25    138.10
84.76/21.39	c  N dy   345     58436     19429     82961         0     32876    251898   4304695    130.24    170.16
90.74/22.86	c  N dy   372     62532     19429     82961         0     36972    251898   5157875    130.44    140.32
96.33/24.25	c  N dy   399     66633     19429     82961         0     22358    251898   1394164    130.49    138.60
99.91/25.16	c  S st   415     69393     19429     82961         0     25118    251898   1953376    130.29    114.61
100.71/25.33	c  S st   415     69896     19429     82961         0     25621    251898   2029245    130.29   no data
100.71/25.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
101.11/25.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.06
101.11/25.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
101.11/25.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
101.11/25.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
101.11/25.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19429 time:  0.01 s
101.11/25.45	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
101.51/25.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
101.91/25.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
103.15/25.99	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.35 s
103.15/26.00	c vivif2 --  cl tried    82961 cl shrink        0 lits rem          0 time: 0.01
103.55/26.03	c vivif2 --  cl tried    25620 cl shrink        0 lits rem          0 time: 0.03
103.90/26.14	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.11
103.90/26.15	c calculated reachability. Time: 0.00
103.90/26.15	c  N dy   415     69896     19429     82961         0     25620    251898   2029083    130.29   no data
110.28/27.76	c  N dy   450     74519     19429     82961         0     30242    251898   3027369    130.76    141.33
117.06/29.46	c  N dy   479     79402     19429     82961         0     35124    251898   4028144    130.57    138.17
124.25/31.28	c  N dy   512     84483     19429     82961         0     40203    251898   5049630    130.36    142.46
128.64/32.36	c  F st   535     87501     19429     82961         0     22360    251898    931409    130.45   no data
133.42/33.57	c  N st   540     90797     19429     82961         0     25656    251898   1824856    130.45   no data
141.40/35.57	c  N dy   567     96596     19429     82961         0     31454    251898   3119903    130.24    140.64
150.57/37.83	c  N dy   608    102813     19429     82961         0     37671    251898   4401935    130.38    140.05
153.37/38.59	c  S st   622    104844     19429     82961         0     39701    251898   4811518    130.32     99.61
154.16/38.78	c  S st   622    105349     19429     82961         0     40206    251898   4884264    130.32   no data
154.56/38.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
154.56/38.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.07
154.56/38.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
154.56/38.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
154.96/38.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
154.96/38.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19429 time:  0.01 s
154.96/38.91	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
155.36/39.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
156.20/39.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
162.14/40.74	c lits-rem:        13  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.44 s
162.14/40.75	c vivif2 --  cl tried    82961 cl shrink        0 lits rem          0 time: 0.01
162.53/40.82	c vivif2 --  cl tried    40203 cl shrink        0 lits rem          0 time: 0.08
162.93/40.95	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.13
162.93/40.96	c calculated reachability. Time: 0.00
162.93/40.96	c  N dy   622    105349     19429     82961         0     40203    251898   4883019    130.32   no data
172.91/43.49	c  N dy   670    112125     19429     82961         0     24552    251898   1029440    130.32    147.67
182.87/45.98	c  N dy   717    119339     19429     82961         0     31766    251898   2467436    130.16    139.49
194.44/48.83	c  N dy   764    127134     19429     82961         0     39561    251898   4056467    129.97    141.12
206.81/51.93	c  N dy   822    135286     19429     82961         0     24001    251898    613525    130.11    138.10
218.78/54.90	c  N dy   879    143996     19429     82961         0     32711    251898   2373633    130.03    137.71
232.33/58.30	c  N dy   941    153292     19429     82961         0     42007    251898   4260066    129.99    137.72
239.16/60.09	c  S st   977    158024     19429     82961         0     46737    251898   5218654    130.08   no data
239.91/60.28	c  S st   977    158525     19429     82961         0     47238    251898   5289946    130.08   no data
240.31/60.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
240.31/60.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
240.31/60.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
240.71/60.40	c bin-w-bin subsume rem            0 bins  time:  0.01 s
240.71/60.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
240.71/60.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19429 time:  0.01 s
240.71/60.42	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
241.11/60.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
241.91/60.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
250.29/62.83	c lits-rem:         7  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.02 s
250.29/62.84	c vivif2 --  cl tried    82961 cl shrink        0 lits rem          0 time: 0.01
250.69/62.92	c vivif2 --  cl tried    47235 cl shrink        0 lits rem          0 time: 0.08
251.09/63.07	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.14
251.09/63.07	c calculated reachability. Time: 0.00
251.09/63.07	c  N dy   977    158525     19429     82961         0     47235    251898   5289396    130.08   no data
265.89/66.72	c  N dy  1044    168743     19429     82961         0     32594    251898   2103875    130.10    138.68
281.40/70.68	c  N dy  1114    179547     19429     82961         0     43398    251898   4304772    130.03    137.01
299.36/75.15	c  N dy  1191    191223     19429     82961         0     29146    251898   1154004    130.10    138.22
316.90/79.59	c  N dy  1273    203468     19429     82961         0     41391    251898   3651291    130.02    149.08
336.84/84.59	c  N dy  1358    216517     19429     82961         0     27475    251898    578599    129.98    139.15
357.19/89.60	c  N dy  1458    230360     19429     82961         0     41317    251898   3446861    130.19    168.37
368.35/92.43	c  S st  1511    237789     19429     82961         0     48745    251898   4949815    130.23   no data
369.15/92.63	c  S st  1511    238294     19429     82961         0     49250    251898   5016716    130.23   no data
369.15/92.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
369.55/92.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
369.55/92.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
369.55/92.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
369.55/92.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
369.55/92.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19429 time:  0.01 s
369.55/92.77	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
369.95/92.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
371.19/93.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
379.12/95.17	c lits-rem:         9  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.04 s
379.12/95.18	c vivif2 --  cl tried    82961 cl shrink        0 lits rem          0 time: 0.01
379.56/95.26	c vivif2 --  cl tried    49244 cl shrink        0 lits rem          0 time: 0.08
380.32/95.41	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.14
380.32/95.41	c calculated reachability. Time: 0.00
380.32/95.41	c  N dy  1511    238294     19429     82961         0     49244    251898   5015198    130.23   no data
403.05/101.15	c  N dy  1615    253559     19429     82961         0     36525    251898   2231209    130.26    139.34
427.83/107.34	c  N dy  1721    269842     19429     82961         0     52807    251898   5556355    130.19    137.17
454.16/113.95	c  N dy  1834    287064     19429     82961         0     41041    251898   2947830    130.22    143.86
482.83/121.14	c  N dy  1954    305492     19429     82961         0     59468    251898   6708322    130.18    138.78
484.04/121.47	c  F st  1958    306252     19429     82961         0     30233    251898    500974    130.16   no data
512.36/128.52	c  N dy  2047    325105     19429     82961         0     49083    251898   4745669    130.11    140.03
543.47/136.32	c  N dy  2183    345111     19429     82961         0     38092    251898   1885929    130.18    137.20
562.21/141.07	c  S st  2272    357441     19429     82961         0     50421    251898   4391340    130.26    131.03
563.01/141.27	c  S st  2272    357947     19429     82961         0     50927    251898   4458937    130.26   no data
563.01/141.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
563.41/141.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
563.41/141.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
563.41/141.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
563.41/141.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
563.41/141.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19429 time:  0.01 s
563.41/141.41	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
564.25/141.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
565.00/141.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
576.57/144.64	c lits-rem:         3  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.90 s
576.57/144.65	c vivif2 --  cl tried    82961 cl shrink        0 lits rem          0 time: 0.01
577.00/144.72	c vivif2 --  cl tried    50923 cl shrink        0 lits rem          0 time: 0.07
577.41/144.86	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.15
577.41/144.87	c calculated reachability. Time: 0.00
577.41/144.87	c  N dy  2272    357947     19429     82961         0     50923    251898   4457893    130.26   no data
609.28/152.85	c  N dy  2410    378033     19429     82961         0     39012    251898   1915540    130.39    137.90
642.00/161.00	c  N dy  2551    398109     19429     82961         0     59088    251898   6102702    130.50    138.17
672.71/168.76	c  N dy  2689    418179     19429     82961         0     46158    251898   3167727    130.56    138.57
705.42/176.95	c  N dy  2822    438195     19429     82961         0     66174    251898   7349754    130.62    141.94
736.51/184.73	c  N dy  2960    458317     19429     82961         0     52301    251898   4202720    130.67    145.49
769.64/193.06	c  N dy  3092    478343     19429     82961         0     37326    251898    922681    130.71    139.84
800.78/200.89	c  N dy  3224    498471     19429     82961         0     57453    251898   5106171    130.74    138.01
834.25/209.22	c  N dy  3366    518473     19429     82961         0     41456    251898   1586235    130.86    138.42
863.36/216.58	c  S st  3489    536921     19429     82961         0     59901    251898   5464849    130.92    134.04
864.57/216.81	c  S st  3489    537425     19429     82961         0     60405    251898   5538618    130.92   no data
864.57/216.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
864.97/216.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.08
864.97/216.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
864.97/216.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
864.97/216.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
864.97/216.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19429 time:  0.01 s
864.97/216.96	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
865.37/217.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
866.60/217.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
877.73/220.16	c lits-rem:         3  cl-subs:        6  v-elim:      0  v-fix:    0  time:  2.82 s
877.73/220.17	c vivif2 --  cl tried    82961 cl shrink        0 lits rem          0 time: 0.01
878.13/220.26	c vivif2 --  cl tried    60399 cl shrink        0 lits rem          0 time: 0.09
878.93/220.42	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.16
878.93/220.43	c calculated reachability. Time: 0.00
878.93/220.43	c  N dy  3489    537425     19429     82961         0     60399    251898   5536588    130.92   no data
912.03/228.76	c  N dy  3626    557530     19429     82961         0     43508    251898   1782668    130.95    139.36
944.34/236.88	c  N dy  3768    577605     19429     82961         0     63583    251898   5942646    130.99    142.59
977.84/245.22	c  N dy  3904    597624     19429     82961         0     45605    251898   2032574    131.09    140.15
1010.16/253.31	c  N dy  4034    617675     19429     82961         0     65655    251898   6230650    131.11    138.85
1044.06/261.81	c  N dy  4177    637809     19429     82961         0     46788    251898   2075994    131.20    141.10
1076.77/270.03	c  N dy  4311    657913     19429     82961         0     66890    251898   6261266    131.23    142.68
1111.08/278.66	c  N dy  4455    677924     19429     82961         0     46903    251898   1901150    131.34    138.95
1145.37/287.24	c  N dy  4584    697997     19429     82961         0     66974    251898   6068993    131.30    141.63
1180.09/295.99	c  N dy  4704    718241     19429     82961         0     46217    251898   1517523    131.24    138.64
1213.63/304.31	c  N dy  4844    738347     19429     82961         0     66322    251898   5707776    131.28    143.37
1248.74/313.12	c  N dy  4973    758348     19429     82961         0     44324    251898    935471    131.25    139.23
1281.00/321.22	c  N dy  5106    778382     19429     82961         0     64357    251898   5060496    131.25    139.79
1316.90/330.20	c  N dy  5237    798468     19429     82961         0     84442    251898   9249248    131.29    172.88
1329.26/333.34	c  S st  5288    806139     19429     82961         0     49113    251898   1698584    131.28    116.18
1330.06/333.55	c  S st  5288    806642     19429     82961         0     49616    251898   1768132    131.28   no data
1330.06/333.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1330.46/333.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.07
1330.46/333.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1330.46/333.66	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1330.46/333.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1330.46/333.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19429 time:  0.01 s
1330.46/333.69	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
1330.86/333.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
1331.26/333.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1333.65/334.48	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.61 s
1333.65/334.49	c vivif2 --  cl tried    82961 cl shrink        0 lits rem          0 time: 0.01
1334.05/334.52	c vivif2 --  cl tried    49616 cl shrink        0 lits rem          0 time: 0.03
1334.45/334.67	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.14
1334.45/334.67	c calculated reachability. Time: 0.00
1334.45/334.67	c  N dy  5288    806642     19429     82961         0     49616    251898   1768131    131.28   no data
1367.95/343.04	c  N dy  5431    826647     19429     82961         0     69620    251898   5905375    131.32    142.11
1405.06/352.35	c  N dy  5566    846754     19429     82961         0     45730    251898    804824    131.34    139.36
1437.76/360.57	c  N dy  5700    866800     19429     82961         0     65775    251898   5034498    131.38    159.07
1474.06/369.65	c  N dy  5834    886852     19429     82961         0     85827    251898   9185724    131.39    141.36
1507.60/378.04	c  N dy  5966    906858     19429     82961         0     60832    251898   3753980    131.42    149.80
1543.06/386.94	c  N dy  6106    926926     19429     82961         0     80895    251898   7937789    131.45    138.92
1578.16/395.76	c  N dy  6247    946966     19429     82961         0     54936    251898   2305853    131.49    139.81
1612.50/404.40	c  N dy  6387    966967     19429     82961         0     74937    251898   6517537    131.55    143.89
1651.16/414.00	c  N dy  6529    987022     19429     82961         0     47996    251898    680653    131.58    139.78
1684.27/422.35	c  N dy  6672   1007049     19429     82961         0     68021    251898   4908131    131.63    139.67
1720.96/431.58	c  N dy  6803   1027220     19429     82961         0     88192    251898   9135302    131.62    147.15
1756.06/440.33	c  N dy  6933   1047397     19429     82961         0     60377    251898   2991953    131.59    138.77
1791.56/449.20	c  N dy  7069   1067445     19429     82961         0     80422    251898   7174620    131.60    139.51
1799.53/451.25	c  F st  7100   1071879     19429     82961         0     84856    251898   8095274    131.60    127.55
1829.45/458.70	c  N dy  7178   1087519     19429     82961         0     51497    251898    982543    131.62    140.12
1862.59/467.01	c  N dy  7306   1107533     19429     82961         0     71508    251898   5143717    131.60    144.09
1899.65/476.36	c  N dy  7437   1127768     19429     82961         0     91737    251898   9357156    131.60    141.10
1935.56/485.34	c  N dy  7572   1147972     19429     82961         0     61949    251898   3006454    131.62    146.70
1971.06/494.22	c  N dy  7704   1168003     19429     82961         0     81979    251898   7231925    131.66    139.50
2010.15/504.00	c  N dy  7836   1188022     19429     82961         0    101994    251898  11395769    131.68    141.84
2043.64/512.47	c  N dy  7965   1208185     19429     82961         0     71160    251898   4682129    131.67    143.23
2046.87/513.28	c  S st  7979   1209966     19429     82961         0     72941    251898   5059453    131.68    130.40
2048.04/513.53	c  S st  7979   1210469     19429     82961         0     73444    251898   5131642    131.68   no data
2048.04/513.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2048.44/513.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.10
2048.44/513.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2048.44/513.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2048.44/513.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2048.44/513.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19429 time:  0.01 s
2048.44/513.69	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
2049.23/513.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
2050.04/514.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2062.00/517.04	c lits-rem:         3  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.95 s
2062.00/517.05	c vivif2 --  cl tried    82961 cl shrink        0 lits rem          0 time: 0.01
2062.40/517.13	c vivif2 --  cl tried    73441 cl shrink        0 lits rem          0 time: 0.09
2063.20/517.32	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.18
2063.20/517.32	c calculated reachability. Time: 0.00
2063.20/517.32	c  N dy  7979   1210469     19429     82961         0     73441    251898   5131020    131.68   no data
2101.49/526.97	c  N dy  8109   1230633     19429     82961         0     93604    251898   9364064    131.69    139.69
2138.19/536.17	c  N dy  8240   1250646     19429     82961         0     61617    251898   2479638    131.70    139.24
2174.12/545.19	c  N dy  8378   1270678     19429     82961         0     81647    251898   6685060    131.73    145.08
2213.61/555.05	c  N dy  8511   1290915     19429     82961         0    101883    251898  10892019    131.72    139.73
2249.11/563.96	c  N dy  8653   1310924     19429     82961         0     68900    251898   3850414    131.77    138.73
2285.77/573.13	c  N dy  8783   1330961     19429     82961         0     88937    251898   7985866    131.77    141.34
2326.46/583.33	c  N dy  8922   1351074     19429     82961         0     55049    251898    713767    131.81    141.50
2360.76/591.91	c  N dy  9052   1371180     19429     82961         0     75154    251898   4917225    131.80    142.20
2398.30/601.37	c  N dy  9182   1391216     19429     82961         0     95187    251898   9032914    131.79    140.57
2437.38/611.14	c  N dy  9318   1411262     19429     82961         0     60241    251898   1606784    131.80    138.95
2472.05/619.87	c  N dy  9442   1431281     19429     82961         0     80257    251898   5754343    131.79    139.15
2510.73/629.54	c  N dy  9572   1451357     19429     82961         0    100330    251898   9877552    131.77    142.33
2549.03/639.14	c  N dy  9706   1471457     19429     82961         0     64432    251898   2267776    131.77    139.53
2584.93/648.16	c  N dy  9839   1491557     19429     82961         0     84531    251898   6428913    131.77    140.29
2624.41/658.09	c  N dy  9973   1511737     19429     82961         0    104710    251898  10616729    131.76    146.77
2662.70/667.65	c  N dy 10115   1531796     19429     82961         0     67775    251898   2843078    131.80    144.97
2699.80/676.91	c  N dy 10251   1551835     19429     82961         0     87812    251898   7082672    131.81    139.74
2739.69/686.95	c  N dy 10386   1571859     19429     82961         0    107834    251898  11282707    131.83    142.04
2777.19/696.37	c  N dy 10515   1591865     19429     82961         0     69844    251898   2985797    131.83    138.94
2814.28/705.61	c  N dy 10647   1611941     19429     82961         0     89920    251898   7230511    131.87    142.15
2854.60/715.74	c  N dy 10772   1632054     19429     82961         0    110031    251898  11451013    131.86    139.48
2892.86/725.31	c  N dy 10905   1652143     19429     82961         0     71121    251898   3059235    131.88    138.95
2929.94/734.68	c  N dy 11044   1672230     19429     82961         0     91206    251898   7292534    131.90    140.14
2970.64/744.81	c  N dy 11169   1692332     19429     82961         0    111307    251898  11447448    131.89    143.02
3005.74/753.60	c  S st 11296   1710471     19429     82961         0     69445    251898   2508273    131.92    138.11
3006.53/753.84	c  S st 11296   1710975     19429     82961         0     69949    251898   2585985    131.92   no data
3006.53/753.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3006.93/753.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.09
3006.93/753.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3006.93/753.97	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3006.93/753.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3006.93/753.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19429 time:  0.01 s
3006.93/754.00	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
3007.33/754.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
3008.18/754.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3014.51/755.83	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time:  1.59 s
3014.51/755.84	c vivif2 --  cl tried    82961 cl shrink        0 lits rem          0 time: 0.01
3014.51/755.88	c vivif2 --  cl tried    69945 cl shrink        0 lits rem          0 time: 0.05
3015.31/756.05	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.17
3015.31/756.06	c calculated reachability. Time: 0.00
3015.31/756.06	c  N dy 11296   1710975     19429     82961         0     69945    251898   2584290    131.92   no data
3052.40/765.38	c  N dy 11422   1731122     19429     82961         0     90090    251898   6739995    131.89    142.21
3093.89/775.73	c  N dy 11561   1751323     19429     82961         0    110289    251898  10946535    131.90    140.63
3133.77/785.79	c  N dy 11698   1771442     19429     82961         0     69417    251898   2299431    131.92    145.18
3171.26/795.15	c  N dy 11842   1791603     19429     82961         0     89578    251898   6563434    131.95    139.55
3211.56/805.21	c  N dy 11968   1811729     19429     82961         0    109703    251898  10709641    131.93    140.59
3252.64/815.58	c  N dy 12101   1831806     19429     82961         0     67779    251898   1762391    131.92    140.28
3289.32/824.75	c  N dy 12229   1851891     19429     82961         0     87864    251898   5983326    131.93    141.55
3330.81/835.18	c  N dy 12362   1871896     19429     82961         0    107866    251898  10217836    131.94    139.08
3373.90/845.92	c  N dy 12492   1891970     19429     82961         0     64941    251898    949413    131.95    139.85
3409.78/854.90	c  N dy 12621   1912135     19429     82961         0     85102    251898   5114605    131.95    140.80
3449.28/864.82	c  N dy 12752   1932149     19429     82961         0    105115    251898   9340941    131.95    182.05
3492.35/875.61	c  N dy 12883   1952249     19429     82961         0    125214    251898  13567262    131.96    139.57
3529.45/884.97	c  N dy 13020   1972267     19429     82961         0     81237    251898   4140660    131.97    139.10
3568.95/894.83	c  N dy 13166   1992356     19429     82961         0    101325    251898   8394182    132.00    140.96
3611.62/905.56	c  N dy 13304   2012419     19429     82961         0    121385    251898  12652215    132.02    147.55
3651.11/915.47	c  N dy 13432   2032542     19429     82961         0     76510    251898   2938378    132.02    144.92
3689.79/925.16	c  N dy 13579   2052644     19429     82961         0     96611    251898   7208044    132.05    162.07
3731.72/935.69	c  N dy 13718   2072706     19429     82961         0    116671    251898  11418222    132.07    141.05
3774.75/946.40	c  N dy 13850   2092818     19429     82961         0     70783    251898   1549496    132.08    140.24
3811.44/955.60	c  N dy 13976   2112836     19429     82961         0     90798    251898   5761531    132.08    153.06
3851.73/965.79	c  N dy 14109   2132911     19429     82961         0    110870    251898   9963552    132.10    141.09
3896.00/976.80	c  N dy 14239   2152923     19429     82961         0    130881    251898  14132455    132.10    142.75
3933.94/986.36	c  N dy 14371   2173029     19429     82961         0     83998    251898   4220445    132.12    140.71
3973.43/996.23	c  N dy 14504   2193070     19429     82961         0    104038    251898   8438019    132.13    140.47
4011.28/1005.71	c  S st 14622   2210977     19429     82961         0    121943    251898  12159032    132.12   no data
4012.51/1006.05	c  S st 14622   2211480     19429     82961         0    122446    251898  12241916    132.12   no data
4012.51/1006.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4013.26/1006.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.14
4013.26/1006.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4013.26/1006.24	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4013.26/1006.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4013.26/1006.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  19429 time:  0.01 s
4013.26/1006.26	c Removed useless bin:       0  fixed:     0  props:   0.19M  time:  0.01 s
4014.07/1006.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
4016.91/1007.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4044.78/1014.13	c lits-rem:        14  cl-subs:       11  v-elim:      0  v-fix:    0  time:  6.98 s
4044.78/1014.14	c vivif2 --  cl tried    82961 cl shrink        0 lits rem          0 time: 0.01
4045.58/1014.34	c vivif2 --  cl tried   122435 cl shrink        0 lits rem          0 time: 0.20
4046.78/1014.60	c asymm  cl-useful: 0/82961/82961 lits-rem:0 time: 0.26
4046.78/1014.61	c calculated reachability. Time: 0.00
4046.78/1014.61	c  N dy 14622   2211480     19429     82961         0    122435    251898  12238504    132.12   no data
4091.50/1025.89	c  N dy 14756   2231514     19429     82961         0     74468    251898   1958358    132.13    158.97
4129.75/1035.48	c  N dy 14895   2251662     19429     82961         0     94613    251898   6267576    132.16    150.57
4174.03/1046.57	c  N dy 15032   2271720     19429     82961         0    114671    251898  10443037    132.17    141.34
4218.74/1057.80	c  N dy 15166   2291758     19429     82961         0    134708    251898  14640475    132.16    140.31
4257.79/1067.56	c  N dy 15304   2311854     19429     82961         0     85807    251898   4109383    132.17    140.55
4297.27/1077.45	c  N dy 15440   2331855     19429     82961         0    105807    251898   8295564    132.18    139.63
4340.74/1088.33	c  N dy 15574   2351891     19429     82961         0    125842    251898  12557128    132.20    143.11
4384.61/1099.35	c  N dy 15712   2372009     19429     82961         0     75971    251898   1793189    132.21    140.85
4422.50/1108.88	c  N dy 15846   2392129     19429     82961         0     96091    251898   6042467    132.21    139.77
4464.00/1119.20	c  N dy 15968   2412181     19429     82961         0    116142    251898  10253382    132.21    151.69
4508.30/1130.37	c  N dy 16094   2432214     19429     82961         0    136173    251898  14477990    132.21    142.45
4548.54/1140.43	c  N dy 16229   2452379     19429     82961         0     85346    251898   3578814    132.21    139.82
4588.04/1150.31	c  N dy 16357   2472406     19429     82961         0    105372    251898   7811557    132.22    139.24
4631.56/1161.26	c  N dy 16498   2492501     19429     82961         0    125465    251898  12079383    132.24    140.86
4677.78/1172.85	c  N dy 16630   2512569     19429     82961         0     73533    251898    914361    132.23    140.37
4715.27/1182.29	c  N dy 16769   2532597     19429     82961         0     93560    251898   5157671    132.25    179.11
4756.36/1192.52	c  N dy 16898   2552606     19429     82961         0    113568    251898   9380516    132.25    159.45

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-3366276-1305400622/watcher-3366276-1305400622 -o /tmp/evaluation-result-3366276-1305400622/solver-3366276-1305400622 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366276-1305400622.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: 7.49 8.00 8.04 2/331 31436
/proc/meminfo: memFree=17859544/32951124 swapFree=67056804/67111528
[pid=31436] ppid=31434 vsize=191080 CPUtime=0.01 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 4621 0 0 0 1 0 0 0 25 0 4 0 651663193 195665920 4017 33554432000 4194304 4580107 140733497029328 18446744073709551615 4307185 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 47770 4022 334 95 0 42752 0
[pid=31436/tid=31437] ppid=31434 vsize=191224 CPUtime=0 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) S 31434 31436 31208 0 -1 4202560 408 0 0 0 0 0 0 0 25 0 4 0 651663193 195813376 4061 33554432000 4194304 4580107 140733497029328 18446744073709551615 270613215726 0 0 4096 2 18446604444853611520 0 0 -1 2 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=191224 CPUtime=0 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 1495 0 0 0 0 0 0 0 18 0 4 0 651663193 195813376 4064 33554432000 4194304 4580107 140733497029328 18446744073709551615 270612807435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=191436 CPUtime=0 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) S 31434 31436 31208 0 -1 4202560 997 0 0 0 0 0 0 0 25 0 4 0 651663193 196030464 4077 33554432000 4194304 4580107 140733497029328 18446744073709551615 270613215726 0 0 4096 2 18446604444853611520 0 0 -1 2 0 0 0

[startup+0.0662469 s]
/proc/loadavg: 7.49 8.00 8.04 2/331 31436
/proc/meminfo: memFree=17859544/32951124 swapFree=67056804/67111528
[pid=31436] ppid=31434 vsize=367848 CPUtime=0.14 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 12289 0 0 0 10 4 0 0 17 0 4 0 651663193 376676352 10757 33554432000 4194304 4580107 140733497029328 18446744073709551615 270613215775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 91962 10773 337 95 0 86944 0
[pid=31436/tid=31437] ppid=31434 vsize=367848 CPUtime=0.02 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) S 31434 31436 31208 0 -1 4202560 2717 0 0 0 2 0 0 0 17 0 4 0 651663193 376676352 10780 33554432000 4194304 4580107 140733497029328 18446744073709551615 270613215726 0 0 4096 2 18446604444853611520 0 0 -1 6 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=367848 CPUtime=0.04 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 3136 0 0 0 4 0 0 0 18 0 4 0 651663193 376676352 10780 33554432000 4194304 4580107 140733497029328 18446744073709551615 4487397 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=367848 CPUtime=0.03 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 3051 0 0 0 2 1 0 0 18 0 4 0 651663193 376676352 10789 33554432000 4194304 4580107 140733497029328 18446744073709551615 270613215726 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 367848

[startup+0.102231 s]
/proc/loadavg: 7.49 8.00 8.04 2/331 31436
/proc/meminfo: memFree=17859544/32951124 swapFree=67056804/67111528
[pid=31436] ppid=31434 vsize=369032 CPUtime=0.22 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 14203 0 0 0 16 6 0 0 17 0 4 0 651663193 377888768 12671 33554432000 4194304 4580107 140733497029328 18446744073709551615 270613215775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 92258 12681 337 95 0 87240 0
[pid=31436/tid=31437] ppid=31434 vsize=369032 CPUtime=0.04 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) S 31434 31436 31208 0 -1 4202560 3137 0 0 0 3 1 0 0 17 0 4 0 651663193 377888768 12681 33554432000 4194304 4580107 140733497029328 18446744073709551615 270613215726 0 0 4096 2 18446604444853611520 0 0 -1 6 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=369032 CPUtime=0.07 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 3565 0 0 0 6 1 0 0 17 0 4 0 651663193 377888768 12686 33554432000 4194304 4580107 140733497029328 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=369032 CPUtime=0.05 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 3518 0 0 0 3 2 0 0 17 0 4 0 651663193 377888768 12695 33554432000 4194304 4580107 140733497029328 18446744073709551615 270613153975 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 369032

[startup+0.357073 s]
/proc/loadavg: 7.49 8.00 8.04 2/331 31436
/proc/meminfo: memFree=17859544/32951124 swapFree=67056804/67111528
[pid=31436] ppid=31434 vsize=388608 CPUtime=4.05 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 31348 0 0 0 395 10 0 0 19 0 4 0 651663193 397934592 24137 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 97152 24137 377 95 0 92134 0
[pid=31436/tid=31437] ppid=31434 vsize=388608 CPUtime=1 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 8980 0 0 0 97 3 0 0 19 0 4 0 651663193 397934592 24137 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=388608 CPUtime=1.03 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 8835 0 0 0 101 2 0 0 18 0 4 0 651663193 397934592 24137 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=388608 CPUtime=1 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 4427 0 0 0 98 2 0 0 19 0 4 0 651663193 397934592 24137 33554432000 4194304 4580107 140733497029328 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 388608

[startup+1.16598 s]
/proc/loadavg: 7.49 8.00 8.04 2/331 31436
/proc/meminfo: memFree=17859544/32951124 swapFree=67056804/67111528
[pid=31436] ppid=31434 vsize=388608 CPUtime=4.45 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 31622 0 0 0 435 10 0 0 19 0 4 0 651663193 397934592 24405 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293134 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 97152 24405 377 95 0 92134 0
[pid=31436/tid=31437] ppid=31434 vsize=388608 CPUtime=1.1 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 9048 0 0 0 107 3 0 0 19 0 4 0 651663193 397934592 24405 33554432000 4194304 4580107 140733497029328 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=388608 CPUtime=1.13 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 8901 0 0 0 111 2 0 0 19 0 4 0 651663193 397934592 24405 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=388608 CPUtime=1.1 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 4492 0 0 0 108 2 0 0 19 0 4 0 651663193 397934592 24405 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 388608

[startup+1.50093 s]
/proc/loadavg: 7.49 8.00 8.04 2/331 31436
/proc/meminfo: memFree=17859544/32951124 swapFree=67056804/67111528
[pid=31436] ppid=31434 vsize=388608 CPUtime=5.79 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 32583 0 0 0 568 11 0 0 19 0 4 0 651663193 397934592 25366 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 97152 25366 377 95 0 92134 0
[pid=31436/tid=31437] ppid=31434 vsize=388608 CPUtime=1.43 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 9290 0 0 0 140 3 0 0 19 0 4 0 651663193 397934592 25366 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=388608 CPUtime=1.46 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 9142 0 0 0 144 2 0 0 19 0 4 0 651663193 397934592 25366 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=388608 CPUtime=1.43 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 4725 0 0 0 141 2 0 0 19 0 4 0 651663193 397934592 25366 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 388608

[startup+3.10064 s]
/proc/loadavg: 7.49 8.00 8.04 9/343 31454
/proc/meminfo: memFree=17570620/32951124 swapFree=67056804/67111528
[pid=31436] ppid=31434 vsize=520908 CPUtime=12.17 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 37202 0 0 0 1205 12 0 0 24 0 4 0 651663193 533409792 29985 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293685 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 130227 29985 377 95 0 125209 0
[pid=31436/tid=31437] ppid=31434 vsize=520908 CPUtime=3 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 10391 0 0 0 297 3 0 0 24 0 4 0 651663193 533409792 29985 33554432000 4194304 4580107 140733497029328 18446744073709551615 4318699 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=520908 CPUtime=3.07 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 10296 0 0 0 304 3 0 0 23 0 4 0 651663193 533409792 29985 33554432000 4194304 4580107 140733497029328 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=520908 CPUtime=3.04 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 5975 0 0 0 301 3 0 0 24 0 4 0 651663193 533409792 29985 33554432000 4194304 4580107 140733497029328 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.17
Current children cumulated vsize (KiB) 520908

[startup+6.30107 s]
/proc/loadavg: 7.61 8.02 8.05 9/343 31454
/proc/meminfo: memFree=17504528/32951124 swapFree=67056804/67111528
[pid=31436] ppid=31434 vsize=494488 CPUtime=24.93 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 47037 0 0 0 2478 15 0 0 25 0 4 0 651663193 506355712 35261 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293192 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 123622 35261 377 95 0 118604 0
[pid=31436/tid=31437] ppid=31434 vsize=494488 CPUtime=6.17 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 12548 0 0 0 613 4 0 0 25 0 4 0 651663193 506355712 35261 33554432000 4194304 4580107 140733497029328 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=494488 CPUtime=6.26 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 12437 0 0 0 623 3 0 0 25 0 4 0 651663193 506355712 35261 33554432000 4194304 4580107 140733497029328 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=494488 CPUtime=6.24 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 9321 0 0 0 620 4 0 0 25 0 4 0 651663193 506355712 35262 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.93
Current children cumulated vsize (KiB) 494488

[startup+12.7009 s]
/proc/loadavg: 7.64 8.02 8.05 9/343 31454
/proc/meminfo: memFree=17425092/32951124 swapFree=67056804/67111528
[pid=31436] ppid=31434 vsize=686700 CPUtime=50.5 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 89239 0 0 0 5028 22 0 0 25 0 4 0 651663193 703180800 61683 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 171675 61683 379 95 0 166657 0
[pid=31436/tid=31437] ppid=31434 vsize=686700 CPUtime=12.5 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 22369 0 0 0 1245 5 0 0 25 0 4 0 651663193 703180800 61684 33554432000 4194304 4580107 140733497029328 18446744073709551615 4401307 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=686700 CPUtime=12.67 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 17908 0 0 0 1263 4 0 0 25 0 4 0 651663193 703180800 61684 33554432000 4194304 4580107 140733497029328 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=686700 CPUtime=12.64 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 15788 0 0 0 1259 5 0 0 22 0 4 0 651663193 703180800 61684 33554432000 4194304 4580107 140733497029328 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.5
Current children cumulated vsize (KiB) 686700

[startup+25.5007 s]
/proc/loadavg: 7.72 8.01 8.04 9/343 31454
/proc/meminfo: memFree=17115468/32951124 swapFree=67056804/67111528
[pid=31436] ppid=31434 vsize=601356 CPUtime=101.51 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 161656 0 0 0 10111 40 0 0 25 0 4 0 651663193 615788544 85974 33554432000 4194304 4580107 140733497029328 18446744073709551615 4298840 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 150339 85974 379 95 0 145321 0
[pid=31436/tid=31437] ppid=31434 vsize=601356 CPUtime=25.16 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 49077 0 0 0 2504 12 0 0 25 0 4 0 651663193 615788544 85974 33554432000 4194304 4580107 140733497029328 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=601356 CPUtime=25.46 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 33920 0 0 0 2537 9 0 0 25 0 4 0 651663193 615788544 85974 33554432000 4194304 4580107 140733497029328 18446744073709551615 4318380 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=601356 CPUtime=25.43 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 34836 0 0 0 2533 10 0 0 25 0 4 0 651663193 615788544 85974 33554432000 4194304 4580107 140733497029328 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 601356

[startup+51.1012 s]
/proc/loadavg: 7.88 8.03 8.05 9/343 31455
/proc/meminfo: memFree=16763964/32951124 swapFree=67056804/67111528
[pid=31436] ppid=31434 vsize=882696 CPUtime=203.62 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 260206 0 0 0 20297 65 0 0 25 0 4 0 651663193 903880704 143022 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293204 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 220674 143022 379 95 0 215656 0
[pid=31436/tid=31437] ppid=31434 vsize=882696 CPUtime=50.48 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 69592 0 0 0 5030 18 0 0 25 0 4 0 651663193 903880704 143022 33554432000 4194304 4580107 140733497029328 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=882696 CPUtime=51.06 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 59164 0 0 0 5090 16 0 0 25 0 4 0 651663193 903880704 143022 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=882696 CPUtime=51.02 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 61382 0 0 0 5086 16 0 0 25 0 4 0 651663193 903880704 143022 33554432000 4194304 4580107 140733497029328 18446744073709551615 4316365 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.62
Current children cumulated vsize (KiB) 882696

[startup+102.301 s]
/proc/loadavg: 8.15 8.07 8.06 9/343 31456
/proc/meminfo: memFree=16411896/32951124 swapFree=67056804/67111528
[pid=31436] ppid=31434 vsize=882084 CPUtime=407.84 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 354863 0 0 0 40693 91 0 0 25 0 4 0 651663193 903254016 159576 33554432000 4194304 4580107 140733497029328 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 220521 159577 379 95 0 215503 0
[pid=31436/tid=31437] ppid=31434 vsize=882084 CPUtime=101.12 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 95605 0 0 0 10088 24 0 0 25 0 4 0 651663193 903254016 159577 33554432000 4194304 4580107 140733497029328 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=882084 CPUtime=102.26 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 82973 0 0 0 10201 25 0 0 25 0 4 0 651663193 903254016 159577 33554432000 4194304 4580107 140733497029328 18446744073709551615 4306255 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=882084 CPUtime=102.21 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 81204 0 0 0 10199 22 0 0 25 0 4 0 651663193 903254016 159577 33554432000 4194304 4580107 140733497029328 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.84
Current children cumulated vsize (KiB) 882084

[startup+162.3 s]

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

[pid=31436] ppid=31434 vsize=1438444 CPUtime=2561.79 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 1378927 0 0 0 255762 417 0 0 25 0 4 0 651663193 1472966656 264615 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 359611 264615 379 95 0 354593 0
[pid=31436/tid=31437] ppid=31434 vsize=1438444 CPUtime=635.2 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 350120 0 0 0 63419 101 0 0 25 0 4 0 651663193 1472966656 264615 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=1438444 CPUtime=642.24 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 339077 0 0 0 64108 116 0 0 25 0 4 0 651663193 1472966656 264615 33554432000 4194304 4580107 140733497029328 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=1438444 CPUtime=642.21 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 342830 0 0 0 64119 102 0 0 25 0 4 0 651663193 1472966656 264615 33554432000 4194304 4580107 140733497029328 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2561.79
Current children cumulated vsize (KiB) 1438444

[startup+702.301 s]
/proc/loadavg: 8.22 8.14 8.09 9/343 31472
/proc/meminfo: memFree=15523768/32951124 swapFree=67056804/67111528
[pid=31436] ppid=31434 vsize=1412396 CPUtime=2801.13 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 1484818 0 0 0 279662 451 0 0 25 0 4 0 651663193 1446293504 268171 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293691 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 353099 268171 379 95 0 348081 0
[pid=31436/tid=31437] ppid=31434 vsize=1412396 CPUtime=694.55 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 377835 0 0 0 69346 109 0 0 25 0 4 0 651663193 1446293504 268171 33554432000 4194304 4580107 140733497029328 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=1412396 CPUtime=702.24 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 364002 0 0 0 70100 124 0 0 25 0 4 0 651663193 1446293504 268171 33554432000 4194304 4580107 140733497029328 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=1412396 CPUtime=702.2 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 370966 0 0 0 70110 110 0 0 25 0 4 0 651663193 1446293504 268171 33554432000 4194304 4580107 140733497029328 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2801.13
Current children cumulated vsize (KiB) 1412396

[startup+762.3 s]
/proc/loadavg: 8.18 8.14 8.09 9/343 31474
/proc/meminfo: memFree=15405316/32951124 swapFree=67056804/67111528
[pid=31436] ppid=31434 vsize=1427604 CPUtime=3040.44 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 1590527 0 0 0 303560 484 0 0 25 0 4 0 651663193 1461866496 274436 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 356901 274436 379 95 0 351883 0
[pid=31436/tid=31437] ppid=31434 vsize=1427604 CPUtime=753.89 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 405275 0 0 0 75271 118 0 0 25 0 4 0 651663193 1461866496 274436 33554432000 4194304 4580107 140733497029328 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=1427604 CPUtime=762.24 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 392109 0 0 0 76090 134 0 0 25 0 4 0 651663193 1461866496 274436 33554432000 4194304 4580107 140733497029328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=1427604 CPUtime=762.2 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 394027 0 0 0 76103 117 0 0 25 0 4 0 651663193 1461866496 274436 33554432000 4194304 4580107 140733497029328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3040.44
Current children cumulated vsize (KiB) 1427604

[startup+822.301 s]
/proc/loadavg: 8.13 8.13 8.09 9/343 31475
/proc/meminfo: memFree=15454396/32951124 swapFree=67056804/67111528
[pid=31436] ppid=31434 vsize=1307636 CPUtime=3279.8 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 1697571 0 0 0 327459 521 0 0 25 0 4 0 651663193 1339019264 257791 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 326909 257791 379 95 0 321891 0
[pid=31436/tid=31437] ppid=31434 vsize=1307636 CPUtime=813.23 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 429060 0 0 0 81196 127 0 0 25 0 4 0 651663193 1339019264 257791 33554432000 4194304 4580107 140733497029328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=1307636 CPUtime=822.24 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 420088 0 0 0 82080 144 0 0 25 0 4 0 651663193 1339019264 257791 33554432000 4194304 4580107 140733497029328 18446744073709551615 4320667 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=1307636 CPUtime=822.21 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 421642 0 0 0 82095 126 0 0 25 0 4 0 651663193 1339019264 257791 33554432000 4194304 4580107 140733497029328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3279.8
Current children cumulated vsize (KiB) 1307636

[startup+882.301 s]
/proc/loadavg: 8.16 8.14 8.09 9/343 31477
/proc/meminfo: memFree=15434160/32951124 swapFree=67056804/67111528
[pid=31436] ppid=31434 vsize=1431132 CPUtime=3519.08 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 1817156 0 0 0 351346 562 0 0 25 0 4 0 651663193 1465479168 275140 33554432000 4194304 4580107 140733497029328 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 357783 275140 379 95 0 352765 0
[pid=31436/tid=31437] ppid=31434 vsize=1431132 CPUtime=872.57 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 456111 0 0 0 87121 136 0 0 25 0 4 0 651663193 1465479168 275140 33554432000 4194304 4580107 140733497029328 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=1431132 CPUtime=882.23 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 459504 0 0 0 88068 155 0 0 25 0 4 0 651663193 1465479168 275140 33554432000 4194304 4580107 140733497029328 18446744073709551615 4318750 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=1431132 CPUtime=882.19 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 447458 0 0 0 88084 135 0 0 25 0 4 0 651663193 1465479168 275140 33554432000 4194304 4580107 140733497029328 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3519.08
Current children cumulated vsize (KiB) 1431132

[startup+942.313 s]
/proc/loadavg: 8.17 8.14 8.09 9/343 31479
/proc/meminfo: memFree=15323536/32951124 swapFree=67056804/67111528
[pid=31436] ppid=31434 vsize=1376056 CPUtime=3758.44 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 1924411 0 0 0 375246 598 0 0 25 0 4 0 651663193 1409081344 277677 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293013 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 344014 277677 379 95 0 338996 0
[pid=31436/tid=31437] ppid=31434 vsize=1376056 CPUtime=931.92 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 483085 0 0 0 93047 145 0 0 25 0 4 0 651663193 1409081344 277677 33554432000 4194304 4580107 140733497029328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=1376056 CPUtime=942.23 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 486557 0 0 0 94059 164 0 0 25 0 4 0 651663193 1409081344 277677 33554432000 4194304 4580107 140733497029328 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=1376056 CPUtime=942.21 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 474830 0 0 0 94077 144 0 0 25 0 4 0 651663193 1409081344 277677 33554432000 4194304 4580107 140733497029328 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3758.44
Current children cumulated vsize (KiB) 1376056

[startup+1002.3 s]
/proc/loadavg: 8.13 8.13 8.09 9/343 31480
/proc/meminfo: memFree=15417500/32951124 swapFree=67056804/67111528
[pid=31436] ppid=31434 vsize=1377400 CPUtime=3997.72 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 2031989 0 0 0 399137 635 0 0 25 0 4 0 651663193 1410457600 277832 33554432000 4194304 4580107 140733497029328 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 344350 277832 379 95 0 339332 0
[pid=31436/tid=31437] ppid=31434 vsize=1377400 CPUtime=991.26 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 509494 0 0 0 98973 153 0 0 25 0 4 0 651663193 1410457600 277832 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=1377400 CPUtime=1002.21 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 512802 0 0 0 100048 173 0 0 25 0 4 0 651663193 1410457600 277832 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=1377400 CPUtime=1002.19 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 502243 0 0 0 100065 154 0 0 25 0 4 0 651663193 1410457600 277832 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3997.72
Current children cumulated vsize (KiB) 1377400

[startup+1062.3 s]
/proc/loadavg: 8.11 8.12 8.09 9/343 31482
/proc/meminfo: memFree=15041872/32951124 swapFree=67056804/67111528
[pid=31436] ppid=31434 vsize=1655028 CPUtime=4237.03 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 2201513 0 0 0 423023 680 0 0 25 0 4 0 651663193 1694748672 351101 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 413757 351101 379 95 0 408739 0
[pid=31436/tid=31437] ppid=31434 vsize=1655028 CPUtime=1050.6 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 560500 0 0 0 104894 166 0 0 25 0 4 0 651663193 1694748672 351101 33554432000 4194304 4580107 140733497029328 18446744073709551615 4487356 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=1655028 CPUtime=1062.22 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 539517 0 0 0 106039 183 0 0 25 0 4 0 651663193 1694748672 351101 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=1655028 CPUtime=1062.18 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 548972 0 0 0 106053 165 0 0 25 0 4 0 651663193 1694748672 351101 33554432000 4194304 4580107 140733497029328 18446744073709551615 4321364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4237.03
Current children cumulated vsize (KiB) 1655028

[startup+1122.3 s]
/proc/loadavg: 8.10 8.11 8.09 9/343 31483
/proc/meminfo: memFree=15042580/32951124 swapFree=67056804/67111528
[pid=31436] ppid=31434 vsize=1670112 CPUtime=4476.36 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 2304732 0 0 0 446923 713 0 0 25 0 4 0 651663193 1710194688 357561 33554432000 4194304 4580107 140733497029328 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 417528 357562 379 95 0 412510 0
[pid=31436/tid=31437] ppid=31434 vsize=1670112 CPUtime=1109.95 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 586227 0 0 0 110820 175 0 0 25 0 4 0 651663193 1710194688 357562 33554432000 4194304 4580107 140733497029328 18446744073709551615 4325657 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=1670112 CPUtime=1122.21 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 564256 0 0 0 112030 191 0 0 25 0 4 0 651663193 1710194688 357562 33554432000 4194304 4580107 140733497029328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=1670112 CPUtime=1122.17 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 575951 0 0 0 112044 173 0 0 25 0 4 0 651663193 1710194688 357562 33554432000 4194304 4580107 140733497029328 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4476.36
Current children cumulated vsize (KiB) 1670112

[startup+1182.3 s]
/proc/loadavg: 8.09 8.10 8.09 9/343 31485
/proc/meminfo: memFree=15039816/32951124 swapFree=67056804/67111528
[pid=31436] ppid=31434 vsize=1671136 CPUtime=4715.67 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 2409370 0 0 0 470820 747 0 0 25 0 4 0 651663193 1711243264 347377 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 417784 347377 379 95 0 412766 0
[pid=31436/tid=31437] ppid=31434 vsize=1671136 CPUtime=1169.28 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 611437 0 0 0 116744 184 0 0 25 0 4 0 651663193 1711243264 347377 33554432000 4194304 4580107 140733497029328 18446744073709551615 4324385 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=1671136 CPUtime=1182.21 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 591422 0 0 0 118022 199 0 0 25 0 4 0 651663193 1711243264 347378 33554432000 4194304 4580107 140733497029328 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=1671136 CPUtime=1182.17 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 601671 0 0 0 118036 181 0 0 25 0 4 0 651663193 1711243264 347378 33554432000 4194304 4580107 140733497029328 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4715.67
Current children cumulated vsize (KiB) 1671136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.15 8.11 8.09 9/343 31486
/proc/meminfo: memFree=14876748/32951124 swapFree=67056804/67111528
[pid=31436] ppid=31434 vsize=1613796 CPUtime=4800.26 cores=0,2,4,6
/proc/31436/stat : 31436 (strangenight2-m) R 31434 31436 31208 0 -1 4202496 2444703 0 0 0 479268 758 0 0 25 0 4 0 651663193 1652527104 349379 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31436/statm: 403449 349379 379 95 0 398431 0
[pid=31436/tid=31437] ppid=31434 vsize=1613796 CPUtime=1190.25 cores=0,2,4,6
/proc/31436/task/31437/stat : 31437 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 620571 0 0 0 118838 187 0 0 25 0 4 0 651663193 1652527104 349379 33554432000 4194304 4580107 140733497029328 18446744073709551615 4318741 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31436/tid=31438] ppid=31434 vsize=1613796 CPUtime=1203.42 cores=0,2,4,6
/proc/31436/task/31438/stat : 31438 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 600568 0 0 0 120139 203 0 0 25 0 4 0 651663193 1652527104 349379 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31436/tid=31439] ppid=31434 vsize=1613796 CPUtime=1203.38 cores=0,2,4,6
/proc/31436/task/31439/stat : 31439 (strangenight2-m) R 31434 31436 31208 0 -1 4202560 610459 0 0 0 120155 183 0 0 25 0 4 0 651663193 1652527104 349379 33554432000 4194304 4580107 140733497029328 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 1613796

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.59
CPU time (s): 4800.36
CPU user time (s): 4792.71
CPU system time (s): 7.65584
CPU usage (%): 398.839
Max. virtual memory (cumulated for all children) (KiB): 1728696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.71
system time used= 7.65584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2444712
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= 11363
involuntary context switches= 20850

runsolver used 3.78442 second user time and 9.37157 second system time

The end

Launcher Data 

Begin job on node108 at 2011-05-14 21:17:03
IDJOB=3366276
IDBENCH=82685
IDSOLVER=1844
FILE ID=node108/3366276-1305400622
RUNJOBID= node108-1305398211-31226
PBS_JOBID= 13324481
Free space on /tmp= 73556 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3366276-1305400622/watcher-3366276-1305400622 -o /tmp/evaluation-result-3366276-1305400622/solver-3366276-1305400622 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366276-1305400622.cnf

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

MD5SUM BENCH= d6c81b59e209c449a4578a840944dc82
RANDOM SEED=1789984729

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17859832 kB
Buffers:        276368 kB
Cached:        4400940 kB
SwapCached:       8700 kB
Active:       11028592 kB
Inactive:      3751956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17859832 kB
SwapTotal:    67111528 kB
SwapFree:     67056804 kB
Dirty:            7044 kB
Writeback:           0 kB
AnonPages:    10100276 kB
Mapped:          26596 kB
Slab:           207856 kB
PageTables:      38356 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 52250780 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73540 MiB
End job on node108 at 2011-05-14 21:37:08