Trace number 3366167

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.46 1203.09

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S109959541-056-UNKNOWN.cnf
MD5SUM5f909806405bfbe25b7db5afcabe8fc9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark87.7936
Satisfiable
(Un)Satisfiability was proved
Number of variables24999
Number of clauses105000
Sum of the clauses size315000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3105000
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.01	c Using 4 threads
0.00/0.05	c This is CryptoMiniSat 3.0.0
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c Reading file 'HOME/instance-3366167-1305397789.cnf'
0.00/0.05	c -- header says num vars:          24999
0.00/0.05	c -- header says num clauses:      105000
0.86/0.32	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.86/0.32	c -- vars added      24999
0.86/0.32	c Parsing time:  0.07 s
0.86/0.32	c  N st     0         0     24999    105000         0         0    315000         0   no data   no data
0.86/0.32	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.09
0.86/0.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.03
2.01/0.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2.01/0.64	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2.01/0.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2.01/0.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24999 time:  0.01 s
2.01/0.64	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
2.01/0.64	c lits-rem:         0  cl-subs:        0  v-elim:    616  v-fix:    0  time:  0.15 s
2.01/0.64	c Finding binary XORs  T:     0.00 s  found:       0
2.01/0.64	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
2.01/0.64	c calculated reachability. Time: 0.00
2.01/0.64	c Calc default polars -  time:   0.01 s pos:   11019 undec:    2821 neg:   11159
2.01/0.64	c =========================================================================================
2.01/0.64	c types(t): F = full restart, N = normal restart
2.01/0.64	c types(t): S = simplification begin/end, E = solution found
2.01/0.64	c restart types(rt): st = static, dy = dynamic
2.01/0.64	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.01/0.64	c  B st     0         0     24383    104285         0         0    316728         0   no data   no data
7.20/1.98	c  N dy    18      4047     24383    104285         0      4046    316728    990691    145.31    156.63
12.81/3.40	c  N dy    47      8127     24383    104285         0      8126    316728   1915727    145.62    157.60
18.78/4.87	c  N dy    71     12263     24383    104285         0     12262    316728   2856619    143.65    151.37
24.76/6.36	c  N dy    97     16348     24383    104285         0     16347    316728   3739715    142.34    151.39
31.14/7.94	c  N dy   125     20514     24383    104285         0     10516    316728    706190    142.53    151.91
37.14/9.41	c  N dy   155     24607     24383    104285         0     14609    316728   1607065    142.70    152.71
37.54/9.55	c  F st   157     25001     24383    104285         0     15003    316728   1686537    142.42    128.38
45.52/11.55	c  N dy   163     30002     24383    104285         0     20001    316728   3306837    142.42   no data
45.52/11.55	c  S st   163     30002     24383    104285         0     20001    316728   3306837    142.42   no data
46.32/11.73	c  S st   163     30506     24383    104285         0     20505    316728   3381623    142.42   no data
46.32/11.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
46.71/11.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.06
46.71/11.85	c blocked clauses removed:      496 vars:     78 tried:       24383 T: 0.01 s
46.71/11.85	c bin-w-bin subsume rem            0 bins  time:  0.01 s
46.71/11.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
46.71/11.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24305 time:  0.01 s
46.71/11.88	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
47.11/11.98	c lits-rem:         0  cl-subs:        0  v-elim:      6  v-fix:    0  time:  0.10 s
48.34/12.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
51.91/13.15	c lits-rem:        46  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.89 s
52.32/13.27	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.12
52.32/13.28	c calculated reachability. Time: 0.00
52.32/13.28	c  N dy   163     30506     24299    103783         0     20396    315259   3339662    142.42   no data
59.08/14.91	c  N dy   194     34570     24299    103783         0     24460    315259   4269667    142.97    154.73
65.90/16.66	c  N dy   222     38652     24299    103783         0     28542    315259   5167323    142.85    152.79
72.65/18.37	c  N dy   252     42839     24299    103783         0     17282    315259   1127865    143.17    151.45
77.43/19.53	c  S st   277     45759     24299    103783         0     20202    315259   1818553    143.75   no data
78.24/19.73	c  S st   277     46264     24299    103783         0     20707    315259   1898400    143.75   no data
78.24/19.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
78.65/19.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.07
78.65/19.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.65/19.85	c bin-w-bin subsume rem            0 bins  time:  0.01 s
78.65/19.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
78.65/19.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24299 time:  0.01 s
78.65/19.87	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
79.06/19.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
79.42/20.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
80.95/20.43	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.25 s
80.95/20.44	c vivif2 --  cl tried   103783 cl shrink        0 lits rem          0 time: 0.01
80.95/20.47	c vivif2 --  cl tried    20705 cl shrink        0 lits rem          0 time: 0.03
81.35/20.59	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.12
81.75/20.60	c calculated reachability. Time: 0.00
81.75/20.60	c  N dy   277     46264     24299    103783         0     20705    315259   1897194    143.75   no data
87.77/22.19	c  N dy   306     50284     24299    103783         0     24724    315259   2799619    143.74    157.17
94.52/23.82	c  N dy   333     54358     24299    103783         0     28798    315259   3724604    143.89    154.27
100.94/25.48	c  N dy   360     58406     24299    103783         0     32846    315259   4626664    143.59    157.07
108.10/27.23	c  N dy   388     62590     24299    103783         0     37030    315259   5548129    143.48    152.55
114.47/28.84	c  N dy   418     66624     24299    103783         0     22342    315259   1501673    143.47    151.96
118.86/29.94	c  S st   439     69396     24299    103783         0     25114    315259   2125889    143.57    141.89
120.03/30.23	c  S st   439     69899     24299    103783         0     25617    315259   2215293    143.57   no data
120.03/30.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
120.42/30.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.07
120.42/30.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
120.42/30.35	c bin-w-bin subsume rem            0 bins  time:  0.01 s
120.42/30.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
120.42/30.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24299 time:  0.01 s
120.42/30.38	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
120.82/30.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
121.22/30.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
122.86/30.99	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.37 s
123.22/31.00	c vivif2 --  cl tried   103783 cl shrink        0 lits rem          0 time: 0.01
123.22/31.03	c vivif2 --  cl tried    25615 cl shrink        0 lits rem          0 time: 0.04
123.61/31.17	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.13
123.61/31.18	c calculated reachability. Time: 0.00
123.61/31.18	c  N dy   439     69899     24299    103783         0     25615    315259   2214071    143.57   no data
130.81/32.95	c  N dy   469     74402     24299    103783         0     30117    315259   3187684    143.37    152.12
138.78/34.97	c  N dy   505     79218     24299    103783         0     34933    315259   4320455    143.91    153.57
147.56/37.13	c  N dy   539     84331     24299    103783         0     40046    315259   5485847    143.90    154.93
153.17/38.51	c  F st   563     87500     24299    103783         0     22357    315259    986752    144.01   no data
158.73/39.91	c  N st   568     90796     24299    103783         0     25653    315259   2066617    144.01   no data
168.31/42.31	c  N dy   595     96640     24299    103783         0     31496    315259   3510551    143.98    151.98
178.69/44.97	c  N dy   634    103044     24299    103783         0     37900    315259   4936018    143.78    151.40
181.88/45.70	c  S st   644    104848     24299    103783         0     39704    315259   5313082    143.64   no data
182.68/45.92	c  S st   644    105352     24299    103783         0     40208    315259   5392689    143.64   no data
182.68/45.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
183.08/46.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.08
183.08/46.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
183.08/46.06	c bin-w-bin subsume rem            0 bins  time:  0.01 s
183.08/46.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
183.08/46.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24299 time:  0.01 s
183.08/46.08	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
183.48/46.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
185.07/46.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
191.06/48.09	c lits-rem:         3  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.55 s
191.46/48.10	c vivif2 --  cl tried   103783 cl shrink        0 lits rem          0 time: 0.01
191.46/48.19	c vivif2 --  cl tried    40205 cl shrink        0 lits rem          0 time: 0.09
192.26/48.34	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.16
192.26/48.35	c calculated reachability. Time: 0.00
192.26/48.35	c  N dy   644    105352     24299    103783         0     40205    315259   5391565    143.64   no data
203.83/51.24	c  N dy   690    112099     24299    103783         0     24520    315259   1059512    143.44    151.52
215.80/54.25	c  N dy   741    119421     24299    103783         0     31842    315259   2720898    143.59    151.59
228.96/57.54	c  N dy   792    127077     24299    103783         0     39498    315259   4481878    143.91    153.16
243.34/61.18	c  N dy   852    135314     24299    103783         0     24025    315259    654505    143.92    152.59
257.70/64.77	c  N dy   907    144223     24299    103783         0     32934    315259   2653284    143.79    152.10
273.26/68.65	c  N dy   966    153505     24299    103783         0     42214    315259   4666420    143.52    153.10
281.25/70.63	c  S st   998    158030     24299    103783         0     46739    315259   5695359    143.65     97.78
282.05/70.86	c  S st   998    158541     24299    103783         0     47250    315259   5783030    143.65   no data
282.05/70.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
282.44/70.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
282.84/71.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
282.84/71.00	c bin-w-bin subsume rem            0 bins  time:  0.01 s
282.84/71.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
282.84/71.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24299 time:  0.01 s
282.84/71.03	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
283.24/71.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
284.44/71.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
293.22/73.66	c lits-rem:         2  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.16 s
293.22/73.67	c vivif2 --  cl tried   103783 cl shrink        0 lits rem          0 time: 0.01
293.64/73.77	c vivif2 --  cl tried    47245 cl shrink        0 lits rem          0 time: 0.09
294.41/73.93	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.17
294.41/73.94	c calculated reachability. Time: 0.00
294.41/73.94	c  N dy   998    158541     24299    103783         0     47245    315259   5781005    143.65   no data
311.61/78.27	c  N dy  1065    168849     24299    103783         0     32697    315259   2372528    143.82    155.78
329.93/82.88	c  N dy  1134    179785     24299    103783         0     43632    315259   4805811    143.75    154.14
350.29/87.90	c  N dy  1208    191318     24299    103783         0     29235    315259   1269624    143.81    151.45
370.64/93.09	c  N dy  1291    203617     24299    103783         0     41534    315259   4033945    143.82    156.48
394.19/98.95	c  N dy  1373    216803     24299    103783         0     27755    315259    683675    143.81    153.02
417.32/104.80	c  N dy  1462    230693     24299    103783         0     41644    315259   3835290    143.86    183.44
430.14/107.97	c  S st  1509    237811     24299    103783         0     48762    315259   5483991    143.89    142.88
431.29/108.21	c  S st  1509    238314     24299    103783         0     49265    315259   5576295    143.89   no data
431.29/108.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
431.69/108.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
431.69/108.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
431.69/108.35	c bin-w-bin subsume rem            0 bins  time:  0.01 s
431.69/108.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
431.69/108.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24299 time:  0.01 s
431.69/108.38	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
432.49/108.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
433.69/108.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
442.47/111.10	c lits-rem:         3  cl-subs:        7  v-elim:      0  v-fix:    0  time:  2.28 s
442.88/111.12	c vivif2 --  cl tried   103783 cl shrink        0 lits rem          0 time: 0.01
443.30/111.21	c vivif2 --  cl tried    49258 cl shrink        0 lits rem          0 time: 0.09
443.66/111.38	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.17
443.66/111.39	c calculated reachability. Time: 0.00
443.66/111.39	c  N dy  1509    238314     24299    103783         0     49258    315259   5573601    143.89   no data
470.79/118.15	c  N dy  1613    253580     24299    103783         0     36550    315259   2418954    144.06    153.45
499.53/125.33	c  N dy  1724    269855     24299    103783         0     52824    315259   6101223    144.02    155.00
529.87/132.99	c  N dy  1842    287090     24299    103783         0     41070    315259   3232560    144.06    164.31
562.98/141.29	c  N dy  1967    305482     24299    103783         0     59461    315259   7436851    144.12    156.15
564.98/141.70	c  F st  1973    306250     24299    103783         0     30234    315259    525881    144.12   no data
597.70/149.93	c  N dy  2070    325100     24299    103783         0     49081    315259   5188183    144.10    153.41
634.02/159.06	c  N dy  2209    345106     24299    103783         0     38089    315259   2121810    144.30    153.75
655.96/164.56	c  S st  2290    357471     24299    103783         0     50454    315259   4879414    144.26   no data
657.16/164.80	c  S st  2290    357971     24299    103783         0     50954    315259   4968229    144.26   no data
657.16/164.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
657.57/164.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
657.57/164.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
657.57/164.95	c bin-w-bin subsume rem            0 bins  time:  0.01 s
657.57/164.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
657.57/164.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24299 time:  0.01 s
657.57/164.97	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
657.98/165.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
659.16/165.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
667.53/167.47	c lits-rem:        14  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.09 s
667.53/167.48	c vivif2 --  cl tried   103783 cl shrink        0 lits rem          0 time: 0.01
667.93/167.57	c vivif2 --  cl tried    50951 cl shrink        0 lits rem          0 time: 0.08
668.74/167.74	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.17
668.74/167.75	c calculated reachability. Time: 0.00
668.74/167.75	c  N dy  2290    357971     24299    103783         0     50951    315259   4967389    144.26   no data
705.45/176.95	c  N dy  2429    377994     24299    103783         0     38973    315259   2059431    144.39    152.74
742.56/186.23	c  N dy  2563    398017     24299    103783         0     58994    315259   6716713    144.53    157.66
778.48/195.26	c  N dy  2697    418065     24299    103783         0     46045    315259   3366946    144.48    154.91
816.02/204.62	c  N dy  2822    438218     24299    103783         0     66197    315259   7859347    144.38    156.23
851.54/213.58	c  N dy  2959    458368     24299    103783         0     52345    315259   4626157    144.36    155.25
889.84/223.12	c  N dy  3091    478552     24299    103783         0     37533    315259   1033030    144.34    158.28
925.77/232.11	c  N dy  3220    498633     24299    103783         0     57611    315259   5551436    144.36    152.44
963.66/241.67	c  N dy  3361    518738     24299    103783         0     41719    315259   1782197    144.44    152.90
997.18/250.00	c  S st  3487    536956     24299    103783         0     59937    315259   5926371    144.54    139.44
997.97/250.27	c  S st  3487    537461     24299    103783         0     60442    315259   6017316    144.54   no data
997.97/250.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
998.37/250.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
998.77/250.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
998.77/250.42	c bin-w-bin subsume rem            0 bins  time:  0.01 s
998.77/250.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
998.77/250.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24299 time:  0.01 s
998.77/250.45	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
999.17/250.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
1000.40/250.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1012.74/253.98	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  3.07 s
1013.14/254.00	c vivif2 --  cl tried   103783 cl shrink        0 lits rem          0 time: 0.01
1013.14/254.10	c vivif2 --  cl tried    60441 cl shrink        0 lits rem          0 time: 0.10
1013.98/254.29	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.19
1014.33/254.30	c calculated reachability. Time: 0.00
1014.33/254.30	c  N dy  3487    537461     24299    103783         0     60441    315259   6017272    144.54   no data
1052.66/263.94	c  N dy  3628    557638     24299    103783         0     43617    315259   2016752    144.66    154.47
1089.36/273.15	c  N dy  3756    577706     24299    103783         0     63683    315259   6545132    144.63    177.84
1127.28/282.70	c  N dy  3882    597718     24299    103783         0     45695    315259   2221425    144.62    152.88
1165.19/292.16	c  N dy  4019    617775     24299    103783         0     65751    315259   6779587    144.69    158.91
1203.90/301.85	c  N dy  4154    637884     24299    103783         0     46862    315259   2285040    144.73    154.09
1241.42/311.26	c  N dy  4286    657885     24299    103783         0     66863    315259   6817224    144.71    152.52
1280.92/321.15	c  N dy  4427    678143     24299    103783         0     47122    315259   2068961    144.73    159.52
1319.63/330.88	c  N dy  4564    698233     24299    103783         0     67212    315259   6614209    144.74    152.78
1359.94/340.94	c  N dy  4701    718440     24299    103783         0     46421    315259   1709588    144.80    155.33
1397.45/350.37	c  N dy  4836    738528     24299    103783         0     66508    315259   6241481    144.83    171.62
1438.56/360.63	c  N dy  4976    758687     24299    103783         0     44665    315259   1102530    144.90    153.17
1475.67/369.97	c  N dy  5109    778752     24299    103783         0     64728    315259   5695302    144.92    168.86
1516.38/380.17	c  N dy  5244    798792     24299    103783         0     84765    315259  10102439    144.90    155.70
1529.94/383.57	c  S st  5289    806191     24299    103783         0     49166    315259   1868086    144.88    140.91
1531.15/383.81	c  S st  5289    806695     24299    103783         0     49670    315259   1946805    144.88   no data
1531.15/383.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1531.56/383.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
1531.56/383.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1531.56/383.94	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1531.56/383.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1531.56/383.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24299 time:  0.01 s
1531.56/383.97	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1531.98/384.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
1532.34/384.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1535.13/384.87	c lits-rem:         2  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.67 s
1535.13/384.88	c vivif2 --  cl tried   103783 cl shrink        0 lits rem          0 time: 0.01
1535.53/384.92	c vivif2 --  cl tried    49666 cl shrink        0 lits rem          0 time: 0.04
1535.96/385.09	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.17
1535.96/385.10	c calculated reachability. Time: 0.00
1535.96/385.10	c  N dy  5289    806695     24299    103783         0     49666    315259   1945746    144.88   no data
1574.65/394.72	c  N dy  5426    826891     24299    103783         0     69862    315259   6547456    144.92    158.08
1616.94/405.36	c  N dy  5567    847055     24299    103783         0     46032    315259    949950    144.98    154.15
1654.89/414.86	c  N dy  5706    867081     24299    103783         0     66058    315259   5502102    144.99    165.82
1695.96/425.11	c  N dy  5846    887085     24299    103783         0     86062    315259  10039043    145.00    171.03
1734.67/434.85	c  N dy  5983    907223     24299    103783         0     61199    315259   4190121    145.05    152.78
1775.37/445.05	c  N dy  6123    927232     24299    103783         0     81204    315259   8812701    145.11    155.63
1815.68/455.16	c  N dy  6258    947296     24299    103783         0     55271    315259   2624508    145.12    155.52
1854.79/464.97	c  N dy  6395    967397     24299    103783         0     75369    315259   7209606    145.14    156.29
1897.89/475.79	c  N dy  6540    987496     24299    103783         0     48468    315259    833924    145.21    170.49
1936.19/485.35	c  N dy  6680   1007673     24299    103783         0     68643    315259   5429937    145.25    153.68
1978.50/495.94	c  N dy  6825   1027767     24299    103783         0     88737    315259  10081095    145.34    155.80
2018.41/505.96	c  N dy  6961   1047770     24299    103783         0     60742    315259   3421005    145.36    154.02
2058.74/516.04	c  N dy  7098   1067856     24299    103783         0     80828    315259   8020487    145.41    153.53
2066.70/518.10	c  F st  7120   1071876     24299    103783         0     84848    315259   8896303    145.39    130.02
2101.41/526.76	c  N dy  7199   1087902     24299    103783         0     51876    315259   1142230    145.40    154.04
2140.52/536.52	c  N dy  7334   1107984     24299    103783         0     71957    315259   5774732    145.43    153.31
2183.22/547.21	c  N dy  7476   1128054     24299    103783         0     92025    315259  10428583    145.48    153.97
2223.93/557.47	c  N dy  7618   1148099     24299    103783         0     62075    315259   3276884    145.52    153.30
2264.65/567.63	c  N dy  7760   1168113     24299    103783         0     82087    315259   7800305    145.53    155.05
2308.96/578.77	c  N dy  7899   1188339     24299    103783         0     51311    315259    579000    145.55    161.38
2348.06/588.55	c  N dy  8041   1208359     24299    103783         0     71328    315259   5151978    145.59    155.17
2351.64/589.42	c  S st  8054   1210043     24299    103783         0     73012    315259   5533249    145.60   no data
2352.45/589.69	c  S st  8054   1210547     24299    103783         0     73516    315259   5611753    145.60   no data
2352.86/589.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2353.22/589.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.11
2353.22/589.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2353.22/589.85	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2353.22/589.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2353.22/589.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24299 time:  0.01 s
2353.22/589.88	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
2354.02/590.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
2355.23/590.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2367.99/593.58	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.25 s
2367.99/593.59	c vivif2 --  cl tried   103783 cl shrink        0 lits rem          0 time: 0.01
2368.40/593.69	c vivif2 --  cl tried    73513 cl shrink        0 lits rem          0 time: 0.10
2369.60/593.90	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.21
2369.60/593.91	c calculated reachability. Time: 0.00
2369.60/593.91	c  N dy  8054   1210547     24299    103783         0     73513    315259   5609786    145.60   no data
2412.70/604.75	c  N dy  8189   1230548     24299    103783         0     93514    315259  10206781    145.61    159.80
2454.59/615.29	c  N dy  8324   1250723     24299    103783         0     61692    315259   2703281    145.62    155.23
2495.70/625.56	c  N dy  8462   1270880     24299    103783         0     81846    315259   7296453    145.64    154.69
2540.40/636.70	c  N dy  8600   1290925     24299    103783         0    101890    315259  11945122    145.66    153.94
2580.31/646.72	c  N dy  8733   1310939     24299    103783         0     68909    315259   4145316    145.68    166.86
2622.21/657.25	c  N dy  8874   1330958     24299    103783         0     88927    315259   8813457    145.71    160.63
2667.71/668.66	c  N dy  9010   1351005     24299    103783         0     54978    315259    732620    145.73    168.03
2706.81/678.49	c  N dy  9150   1371031     24299    103783         0     75002    315259   5349701    145.75    153.65
2750.31/689.37	c  N dy  9295   1391147     24299    103783         0     95117    315259   9983026    145.78    156.32
2795.01/700.50	c  N dy  9435   1411373     24299    103783         0     60341    315259   1722272    145.80    154.07
2834.91/710.58	c  N dy  9575   1431408     24299    103783         0     80376    315259   6299282    145.81    218.34
2878.82/721.53	c  N dy  9710   1451490     24299    103783         0    100456    315259  10919020    145.83    159.97
2923.13/732.62	c  N dy  9854   1471714     24299    103783         0     64680    315259   2607117    145.90    154.04
2964.21/742.95	c  N dy  9992   1491784     24299    103783         0     84748    315259   7226313    145.92    166.55
3009.71/754.34	c  N dy 10135   1511827     24299    103783         0    104789    315259  11864219    145.96    155.09
3052.81/765.14	c  N dy 10276   1531937     24299    103783         0     67907    315259   3041119    145.99    154.62
3095.10/775.74	c  N dy 10424   1552019     24299    103783         0     87987    315259   7720035    146.03    181.53
3140.61/787.17	c  N dy 10566   1572111     24299    103783         0    108077    315259  12369277    146.05    160.72
3182.91/797.78	c  N dy 10697   1592170     24299    103783         0     70141    315259   3265638    146.05    157.17
3225.21/808.30	c  N dy 10836   1612202     24299    103783         0     90173    315259   7855663    146.10    162.78
3270.71/819.70	c  N dy 10965   1632281     24299    103783         0    110251    315259  12466927    146.10    162.06
3313.83/830.56	c  N dy 11099   1652491     24299    103783         0     71469    315259   3407584    146.11    157.07
3356.11/841.19	c  N dy 11229   1672607     24299    103783         0     91582    315259   7929022    146.08    160.91
3402.40/852.78	c  N dy 11368   1692717     24299    103783         0    111689    315259  12614537    146.13    156.51
3441.54/862.56	c  S st 11494   1710548     24299    103783         0     69520    315259   2712493    146.14   no data
3442.70/862.84	c  S st 11494   1711053     24299    103783         0     70025    315259   2802678    146.14   no data
3442.70/862.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3443.10/862.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.10
3443.10/862.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3443.10/862.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3443.50/863.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3443.50/863.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24299 time:  0.01 s
3443.50/863.02	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
3443.90/863.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
3444.30/863.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3452.29/865.20	c lits-rem:         3  cl-subs:        0  v-elim:      0  v-fix:    0  time:  1.90 s
3452.29/865.22	c vivif2 --  cl tried   103783 cl shrink        0 lits rem          0 time: 0.02
3452.29/865.27	c vivif2 --  cl tried    70025 cl shrink        0 lits rem          0 time: 0.05
3453.08/865.48	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.20
3453.08/865.48	c calculated reachability. Time: 0.00
3453.08/865.49	c  N dy 11494   1711053     24299    103783         0     70025    315259   2802675    146.14   no data
3495.38/876.09	c  N dy 11628   1731100     24299    103783         0     90070    315259   7400661    146.16    164.22
3541.28/887.56	c  N dy 11769   1751176     24299    103783         0    110146    315259  11998174    146.17    156.17
3585.99/898.77	c  N dy 11906   1771213     24299    103783         0     69185    315259   2436983    146.19    153.93
3627.86/909.25	c  N dy 12036   1791310     24299    103783         0     89280    315259   7011721    146.17    192.92
3673.37/920.63	c  N dy 12166   1811555     24299    103783         0    109524    315259  11600248    146.16    156.92
3720.05/932.33	c  N dy 12304   1831627     24299    103783         0     67605    315259   1866452    146.17    165.72
3762.75/943.01	c  N dy 12433   1851668     24299    103783         0     87644    315259   6373819    146.15    154.16
3807.85/954.33	c  N dy 12576   1871761     24299    103783         0    107734    315259  10991724    146.14    154.26
3856.13/966.44	c  N dy 12716   1891950     24299    103783         0     64923    315259   1038394    146.16    158.22
3897.24/976.77	c  N dy 12853   1912033     24299    103783         0     85005    315259   5672484    146.17    154.17
3941.98/987.94	c  N dy 12993   1932034     24299    103783         0    105006    315259  10297924    146.19    155.97
3990.63/1000.11	c  N dy 13131   1952236     24299    103783         0    125205    315259  14933540    146.20    154.49
4032.92/1010.73	c  N dy 13267   1972252     24299    103783         0     81225    315259   4536681    146.22    154.50
4077.22/1021.81	c  N dy 13406   1992276     24299    103783         0    101248    315259   9148334    146.24    154.89
4124.31/1033.62	c  N dy 13536   2012279     24299    103783         0    121249    315259  13730662    146.24    154.95
4169.40/1044.95	c  N dy 13674   2032525     24299    103783         0     76501    315259   3220806    146.25    155.57
4212.51/1055.78	c  N dy 13812   2052539     24299    103783         0     96515    315259   7857934    146.27    154.87
4259.60/1067.51	c  N dy 13948   2072567     24299    103783         0    116540    315259  12454328    146.27    181.75
4307.48/1079.56	c  N dy 14077   2092786     24299    103783         0     70759    315259   1680190    146.26    165.06
4349.80/1090.11	c  N dy 14215   2112851     24299    103783         0     90821    315259   6251410    146.27    161.25
4395.67/1101.62	c  N dy 14357   2132923     24299    103783         0    110892    315259  10947642    146.30    156.08
4446.38/1114.41	c  N dy 14500   2153034     24299    103783         0    131001    315259  15619135    146.32    154.68
4490.27/1125.33	c  N dy 14626   2173222     24299    103783         0     84196    315259   4512985    146.31    157.81
4534.95/1136.53	c  N dy 14755   2193253     24299    103783         0    104225    315259   9065414    146.30    160.94
4578.07/1147.32	c  S st 14877   2211054     24299    103783         0    122025    315259  13170946    146.31   no data
4579.24/1147.68	c  S st 14877   2211556     24299    103783         0    122527    315259  13252002    146.31   no data
4579.64/1147.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4580.04/1147.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.15
4580.04/1147.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4580.44/1147.90	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4580.44/1147.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4580.44/1147.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24299 time:  0.01 s
4580.44/1147.93	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
4581.24/1148.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
4584.44/1148.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4613.97/1156.34	c lits-rem:        15  cl-subs:        8  v-elim:      0  v-fix:    0  time:  7.29 s
4613.97/1156.36	c vivif2 --  cl tried   103783 cl shrink        0 lits rem          0 time: 0.01
4614.76/1156.58	c vivif2 --  cl tried   122519 cl shrink        0 lits rem          0 time: 0.23
4615.96/1156.88	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.29
4615.96/1156.89	c calculated reachability. Time: 0.00
4615.96/1156.89	c  N dy 14877   2211556     24299    103783         0    122519    315259  13249137    146.31   no data
4667.43/1169.76	c  N dy 15007   2231650     24299    103783         0     74618    315259   2082154    146.30    154.70
4711.73/1180.86	c  N dy 15151   2251873     24299    103783         0     94839    315259   6762454    146.31    162.95
4758.81/1192.69	c  N dy 15293   2271938     24299    103783         0    114902    315259  11362669    146.33    176.51

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-3366167-1305397789/watcher-3366167-1305397789 -o /tmp/evaluation-result-3366167-1305397789/solver-3366167-1305397789 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366167-1305397789.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: 2.54 2.94 3.16 5/285 4168
/proc/meminfo: memFree=19066992/32951132 swapFree=67093824/67111528
[pid=4168] ppid=4166 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 651378555 52396032 347 33554432000 4194304 4580107 140733383850576 18446744073709551615 47856510752690 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4168/statm: 12792 347 299 95 0 7774 0
[pid=4168/tid=4169] ppid=4166 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651378555 52396032 347 33554432000 4194304 4580107 140733383850576 18446744073709551615 47856510752688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651378555 52396032 347 33554432000 4194304 4580107 140733383850576 18446744073709551615 47856510752690 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651378555 52396032 347 33554432000 4194304 4580107 140733383850576 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.116378 s]
/proc/loadavg: 2.54 2.94 3.16 5/285 4168
/proc/meminfo: memFree=19066992/32951132 swapFree=67093824/67111528
[pid=4168] ppid=4166 vsize=308588 CPUtime=0.3 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 14066 0 0 0 29 1 0 0 25 0 4 0 651378555 315994112 12497 33554432000 4194304 4580107 140733383850576 18446744073709551615 4489474 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4168/statm: 77147 12497 337 95 0 72129 0
[pid=4168/tid=4169] ppid=4166 vsize=308588 CPUtime=0.01 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) S 4166 4168 4127 0 -1 4202560 2462 0 0 0 1 0 0 0 25 0 4 0 651378555 315994112 12497 33554432000 4194304 4580107 140733383850576 18446744073709551615 274664913390 0 0 4096 2 18446604462653894784 0 0 -1 1 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=308588 CPUtime=0.09 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) D 4166 4168 4127 0 -1 4202560 3803 0 0 0 9 0 0 0 17 0 4 0 651378555 315994112 12497 33554432000 4194304 4580107 140733383850576 18446744073709551615 4355016 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=308588 CPUtime=0.09 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 3798 0 0 0 9 0 0 0 25 0 4 0 651378555 315994112 12497 33554432000 4194304 4580107 140733383850576 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 308588

[startup+0.201053 s]
/proc/loadavg: 2.54 2.94 3.16 5/285 4168
/proc/meminfo: memFree=19066992/32951132 swapFree=67093824/67111528
[pid=4168] ppid=4166 vsize=314076 CPUtime=0.56 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 17061 0 0 0 54 2 0 0 25 0 4 0 651378555 321613824 15492 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293911 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4168/statm: 78519 15492 358 95 0 73501 0
[pid=4168/tid=4169] ppid=4166 vsize=314076 CPUtime=0.04 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 3510 0 0 0 4 0 0 0 25 0 4 0 651378555 321613824 15492 33554432000 4194304 4580107 140733383850576 18446744073709551615 274664913390 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=314076 CPUtime=0.18 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 4385 0 0 0 18 0 0 0 18 0 4 0 651378555 321613824 15492 33554432000 4194304 4580107 140733383850576 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=314076 CPUtime=0.17 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 4449 0 0 0 17 0 0 0 25 0 4 0 651378555 321613824 15492 33554432000 4194304 4580107 140733383850576 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 314076

[startup+0.301037 s]
/proc/loadavg: 2.54 2.94 3.16 5/285 4168
/proc/meminfo: memFree=19066992/32951132 swapFree=67093824/67111528
[pid=4168] ppid=4166 vsize=317884 CPUtime=0.86 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 19971 0 0 0 84 2 0 0 25 0 4 0 651378555 325513216 18402 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4168/statm: 79471 18402 367 95 0 74453 0
[pid=4168/tid=4169] ppid=4166 vsize=317884 CPUtime=0.05 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 3713 0 0 0 5 0 0 0 25 0 4 0 651378555 325513216 18402 33554432000 4194304 4580107 140733383850576 18446744073709551615 274664913390 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=317884 CPUtime=0.27 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 7036 0 0 0 27 0 0 0 18 0 4 0 651378555 325513216 18402 33554432000 4194304 4580107 140733383850576 18446744073709551615 4443383 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=317884 CPUtime=0.27 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 4505 0 0 0 27 0 0 0 25 0 4 0 651378555 325513216 18402 33554432000 4194304 4580107 140733383850576 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 317884

[startup+0.700964 s]
/proc/loadavg: 2.54 2.94 3.16 5/285 4168
/proc/meminfo: memFree=19066992/32951132 swapFree=67093824/67111528
[pid=4168] ppid=4166 vsize=336188 CPUtime=2.41 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 35742 0 0 0 237 4 0 0 18 0 4 0 651378555 344256512 26327 33554432000 4194304 4580107 140733383850576 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4168/statm: 84047 26327 377 95 0 79029 0
[pid=4168/tid=4169] ppid=4166 vsize=336188 CPUtime=0.41 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 9727 0 0 0 40 1 0 0 25 0 4 0 651378555 344256512 26327 33554432000 4194304 4580107 140733383850576 18446744073709551615 274664467100 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=336188 CPUtime=0.67 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 10765 0 0 0 67 0 0 0 18 0 4 0 651378555 344256512 26327 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=336188 CPUtime=0.67 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 4791 0 0 0 67 0 0 0 25 0 4 0 651378555 344256512 26327 33554432000 4194304 4580107 140733383850576 18446744073709551615 4324374 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 336188

[startup+1.50083 s]
/proc/loadavg: 2.54 2.94 3.16 9/289 4172
/proc/meminfo: memFree=18914820/32951132 swapFree=67093824/67111528
[pid=4168] ppid=4166 vsize=336188 CPUtime=5.6 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 38631 0 0 0 555 5 0 0 19 0 4 0 651378555 344256512 28658 33554432000 4194304 4580107 140733383850576 18446744073709551615 4321874 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4168/statm: 84047 28658 377 95 0 79029 0
[pid=4168/tid=4169] ppid=4166 vsize=336188 CPUtime=1.21 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 10821 0 0 0 120 1 0 0 25 0 4 0 651378555 344256512 28658 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=336188 CPUtime=1.48 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 11384 0 0 0 147 1 0 0 19 0 4 0 651378555 344256512 28658 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=336188 CPUtime=1.46 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 5362 0 0 0 146 0 0 0 25 0 4 0 651378555 344256512 28658 33554432000 4194304 4580107 140733383850576 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 336188

[startup+3.10055 s]
/proc/loadavg: 2.54 2.94 3.16 9/289 4172
/proc/meminfo: memFree=18899816/32951132 swapFree=67093824/67111528
[pid=4168] ppid=4166 vsize=467452 CPUtime=11.99 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 43189 0 0 0 1193 6 0 0 23 0 4 0 651378555 478670848 33216 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293698 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4168/statm: 116863 33216 377 95 0 111845 0
[pid=4168/tid=4169] ppid=4166 vsize=467452 CPUtime=2.81 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 11844 0 0 0 280 1 0 0 25 0 4 0 651378555 478670848 33216 33554432000 4194304 4580107 140733383850576 18446744073709551615 4489426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=467452 CPUtime=3.08 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 12498 0 0 0 307 1 0 0 25 0 4 0 651378555 478670848 33216 33554432000 4194304 4580107 140733383850576 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=467452 CPUtime=3.05 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 6746 0 0 0 304 1 0 0 25 0 4 0 651378555 478670848 33216 33554432000 4194304 4580107 140733383850576 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 11.99
Current children cumulated vsize (KiB) 467452

[startup+6.301 s]
/proc/loadavg: 3.06 3.04 3.19 12/289 4172
/proc/meminfo: memFree=18789880/32951132 swapFree=67093824/67111528
[pid=4168] ppid=4166 vsize=467728 CPUtime=24.76 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 51468 0 0 0 2467 9 0 0 25 0 4 0 651378555 478953472 41495 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4168/statm: 116932 41496 377 95 0 111914 0
[pid=4168/tid=4169] ppid=4166 vsize=467728 CPUtime=6.01 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 13910 0 0 0 599 2 0 0 25 0 4 0 651378555 478953472 41496 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=467728 CPUtime=6.28 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 14627 0 0 0 626 2 0 0 25 0 4 0 651378555 478953472 41496 33554432000 4194304 4580107 140733383850576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=467728 CPUtime=6.22 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 8826 0 0 0 620 2 0 0 25 0 4 0 651378555 478953472 41496 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.76
Current children cumulated vsize (KiB) 467728

[startup+12.7009 s]
/proc/loadavg: 3.45 3.12 3.21 9/289 4172
/proc/meminfo: memFree=18658032/32951132 swapFree=67093824/67111528
[pid=4168] ppid=4166 vsize=655356 CPUtime=50.3 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 91645 0 0 0 5012 18 0 0 25 0 4 0 651378555 671084544 59792 33554432000 4194304 4580107 140733383850576 18446744073709551615 4416315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4168/statm: 163839 59792 379 95 0 158821 0
[pid=4168/tid=4169] ppid=4166 vsize=655356 CPUtime=12.42 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 19423 0 0 0 1238 4 0 0 25 0 4 0 651378555 671084544 59792 33554432000 4194304 4580107 140733383850576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=655356 CPUtime=12.67 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 20209 0 0 0 1264 3 0 0 25 0 4 0 651378555 671084544 59792 33554432000 4194304 4580107 140733383850576 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=655356 CPUtime=12.56 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 14961 0 0 0 1252 4 0 0 25 0 4 0 651378555 671084544 59792 33554432000 4194304 4580107 140733383850576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.3
Current children cumulated vsize (KiB) 655356

[startup+25.5007 s]
/proc/loadavg: 4.54 3.37 3.30 9/289 4172
/proc/meminfo: memFree=18326216/32951132 swapFree=67093824/67111528
[pid=4168] ppid=4166 vsize=609904 CPUtime=101.3 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 170751 0 0 0 10089 41 0 0 25 0 4 0 651378555 624541696 97439 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4168/statm: 152476 97439 379 95 0 147458 0
[pid=4168/tid=4169] ppid=4166 vsize=609904 CPUtime=25.2 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 50770 0 0 0 2509 11 0 0 25 0 4 0 651378555 624541696 97439 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293971 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=609904 CPUtime=25.48 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 37009 0 0 0 2539 9 0 0 25 0 4 0 651378555 624541696 97439 33554432000 4194304 4580107 140733383850576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=609904 CPUtime=25.24 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 35983 0 0 0 2514 10 0 0 25 0 4 0 651378555 624541696 97439 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.3
Current children cumulated vsize (KiB) 609904

[startup+51.1013 s]
/proc/loadavg: 5.72 3.74 3.42 9/289 4173
/proc/meminfo: memFree=18130236/32951132 swapFree=67093824/67111528
[pid=4168] ppid=4166 vsize=786856 CPUtime=203.43 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 263726 0 0 0 20271 72 0 0 18 0 4 0 651378555 805740544 141241 33554432000 4194304 4580107 140733383850576 18446744073709551615 4318418 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4168/statm: 196714 141241 379 95 0 191696 0
[pid=4168/tid=4169] ppid=4166 vsize=786856 CPUtime=50.81 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 65621 0 0 0 5065 16 0 0 25 0 4 0 651378555 805740544 141241 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=786856 CPUtime=51.07 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 61351 0 0 0 5091 16 0 0 25 0 4 0 651378555 805740544 141241 33554432000 4194304 4580107 140733383850576 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=786856 CPUtime=50.6 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 64708 0 0 0 5043 17 0 0 18 0 4 0 651378555 805740544 141241 33554432000 4194304 4580107 140733383850576 18446744073709551615 4417027 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.43
Current children cumulated vsize (KiB) 786856

[startup+102.3 s]
/proc/loadavg: 7.01 4.40 3.66 9/289 4174
/proc/meminfo: memFree=17906248/32951132 swapFree=67093824/67111528
[pid=4168] ppid=4166 vsize=949804 CPUtime=407.77 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 370805 0 0 0 40674 103 0 0 25 0 4 0 651378555 972599296 166904 33554432000 4194304 4580107 140733383850576 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4168/statm: 237451 166905 379 95 0 232433 0
[pid=4168/tid=4169] ppid=4166 vsize=949804 CPUtime=102.01 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 91472 0 0 0 10179 22 0 0 25 0 4 0 651378555 972599296 166912 33554432000 4194304 4580107 140733383850576 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=949804 CPUtime=102.28 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 91132 0 0 0 10203 25 0 0 25 0 4 0 651378555 972599296 166912 33554432000 4194304 4580107 140733383850576 18446744073709551615 4321030 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=949804 CPUtime=101.34 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 88916 0 0 0 10108 26 0 0 25 0 4 0 651378555 972599296 166912 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.77
Current children cumulated vsize (KiB) 949804

[startup+162.301 s]

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

[pid=4168] ppid=4166 vsize=1307308 CPUtime=2802.2 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 1480651 0 0 0 279746 474 0 0 25 0 4 0 651378555 1338683392 280319 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293134 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4168/statm: 326827 280319 379 95 0 321809 0
[pid=4168/tid=4169] ppid=4166 vsize=1307308 CPUtime=702 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 382865 0 0 0 70082 118 0 0 25 0 4 0 651378555 1338683392 280320 33554432000 4194304 4580107 140733383850576 18446744073709551615 4321122 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=1307308 CPUtime=702.22 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 385447 0 0 0 70102 120 0 0 25 0 4 0 651378555 1338683392 280320 33554432000 4194304 4580107 140733383850576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=1307308 CPUtime=695.84 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 357001 0 0 0 69469 115 0 0 25 0 4 0 651378555 1338683392 280320 33554432000 4194304 4580107 140733383850576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.2
Current children cumulated vsize (KiB) 1307308

[startup+762.301 s]
/proc/loadavg: 8.15 7.70 5.91 9/289 4192
/proc/meminfo: memFree=16877232/32951132 swapFree=67093824/67111528
[pid=4168] ppid=4166 vsize=1308088 CPUtime=3041.65 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 1579952 0 0 0 303657 508 0 0 25 0 4 0 651378555 1339482112 279213 33554432000 4194304 4580107 140733383850576 18446744073709551615 4321030 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4168/statm: 327022 279213 379 95 0 322004 0
[pid=4168/tid=4169] ppid=4166 vsize=1308088 CPUtime=762.01 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 408082 0 0 0 76073 128 0 0 25 0 4 0 651378555 1339482112 279215 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=1308088 CPUtime=762.23 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 410021 0 0 0 76095 128 0 0 25 0 4 0 651378555 1339482112 279215 33554432000 4194304 4580107 140733383850576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=1308088 CPUtime=755.29 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 381269 0 0 0 75404 125 0 0 25 0 4 0 651378555 1339482112 279215 33554432000 4194304 4580107 140733383850576 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.65
Current children cumulated vsize (KiB) 1308088

[startup+822.3 s]
/proc/loadavg: 8.17 7.79 6.05 9/289 4194
/proc/meminfo: memFree=16770692/32951132 swapFree=67093824/67111528
[pid=4168] ppid=4166 vsize=1417804 CPUtime=3281.08 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 1677944 0 0 0 327564 544 0 0 25 0 4 0 651378555 1451831296 295754 33554432000 4194304 4580107 140733383850576 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4168/statm: 354451 295754 379 95 0 349433 0
[pid=4168/tid=4169] ppid=4166 vsize=1417804 CPUtime=821.99 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 432678 0 0 0 82063 136 0 0 25 0 4 0 651378555 1451831296 295754 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=1417804 CPUtime=822.22 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 434339 0 0 0 82085 137 0 0 25 0 4 0 651378555 1451831296 295754 33554432000 4194304 4580107 140733383850576 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=1417804 CPUtime=814.74 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 405078 0 0 0 81340 134 0 0 25 0 4 0 651378555 1451831296 295754 33554432000 4194304 4580107 140733383850576 18446744073709551615 4318673 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3281.08
Current children cumulated vsize (KiB) 1417804

[startup+882.311 s]
/proc/loadavg: 8.17 7.85 6.18 9/289 4195
/proc/meminfo: memFree=16729872/32951132 swapFree=67093824/67111528
[pid=4168] ppid=4166 vsize=1477288 CPUtime=3520.56 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 1769948 0 0 0 351478 578 0 0 25 0 4 0 651378555 1512742912 299441 33554432000 4194304 4580107 140733383850576 18446744073709551615 4320876 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4168/statm: 369322 299441 379 95 0 364304 0
[pid=4168/tid=4169] ppid=4166 vsize=1477288 CPUtime=882 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 456694 0 0 0 88057 143 0 0 25 0 4 0 651378555 1512742912 299441 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=1477288 CPUtime=882.22 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 461906 0 0 0 88075 147 0 0 25 0 4 0 651378555 1512742912 299441 33554432000 4194304 4580107 140733383850576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=1477288 CPUtime=874.2 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 426184 0 0 0 87277 143 0 0 25 0 4 0 651378555 1512742912 299441 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.56
Current children cumulated vsize (KiB) 1477288

[startup+942.301 s]
/proc/loadavg: 8.16 7.91 6.30 9/289 4197
/proc/meminfo: memFree=16384000/32951132 swapFree=67093824/67111528
[pid=4168] ppid=4166 vsize=1544916 CPUtime=3759.96 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 1875901 0 0 0 375378 618 0 0 25 0 4 0 651378555 1581993984 314539 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4168/statm: 386229 314539 379 95 0 381211 0
[pid=4168/tid=4169] ppid=4166 vsize=1544916 CPUtime=941.99 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 483649 0 0 0 94046 153 0 0 25 0 4 0 651378555 1581993984 314539 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=1544916 CPUtime=942.2 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 501205 0 0 0 94061 159 0 0 25 0 4 0 651378555 1581993984 314539 33554432000 4194304 4580107 140733383850576 18446744073709551615 4316297 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=1544916 CPUtime=933.64 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 446099 0 0 0 93213 151 0 0 25 0 4 0 651378555 1581993984 314539 33554432000 4194304 4580107 140733383850576 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3759.96
Current children cumulated vsize (KiB) 1544916

[startup+1002.3 s]
/proc/loadavg: 8.15 7.95 6.41 9/289 4198
/proc/meminfo: memFree=16358072/32951132 swapFree=67093824/67111528
[pid=4168] ppid=4166 vsize=1442932 CPUtime=3999.4 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 1965936 0 0 0 399287 653 0 0 25 0 4 0 651378555 1477562368 310895 33554432000 4194304 4580107 140733383850576 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4168/statm: 360733 310895 379 95 0 355715 0
[pid=4168/tid=4169] ppid=4166 vsize=1442932 CPUtime=1001.99 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 505200 0 0 0 100038 161 0 0 25 0 4 0 651378555 1477562368 310895 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=1442932 CPUtime=1002.19 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 525278 0 0 0 100051 168 0 0 25 0 4 0 651378555 1477562368 310895 33554432000 4194304 4580107 140733383850576 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=1442932 CPUtime=993.09 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 468943 0 0 0 99150 159 0 0 25 0 4 0 651378555 1477562368 310895 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3999.4
Current children cumulated vsize (KiB) 1442932

[startup+1062.3 s]
/proc/loadavg: 8.18 8.00 6.52 9/289 4200
/proc/meminfo: memFree=16299140/32951132 swapFree=67093824/67111528
[pid=4168] ppid=4166 vsize=1488160 CPUtime=4238.85 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 2065296 0 0 0 423196 689 0 0 25 0 4 0 651378555 1523875840 308411 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293013 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4168/statm: 372040 308411 379 95 0 367022 0
[pid=4168/tid=4169] ppid=4166 vsize=1488160 CPUtime=1061.99 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 532171 0 0 0 106028 171 0 0 25 0 4 0 651378555 1523875840 308411 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=1488160 CPUtime=1062.19 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 551885 0 0 0 106041 178 0 0 25 0 4 0 651378555 1523875840 308411 33554432000 4194304 4580107 140733383850576 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=1488160 CPUtime=1052.54 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 494667 0 0 0 105085 169 0 0 25 0 4 0 651378555 1523875840 308411 33554432000 4194304 4580107 140733383850576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4238.85
Current children cumulated vsize (KiB) 1488160

[startup+1122.3 s]
/proc/loadavg: 8.15 8.03 6.62 9/289 4202
/proc/meminfo: memFree=16361368/32951132 swapFree=67093824/67111528
[pid=4168] ppid=4166 vsize=1548532 CPUtime=4478.28 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 2168928 0 0 0 447102 726 0 0 25 0 4 0 651378555 1585696768 311362 33554432000 4194304 4580107 140733383850576 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4168/statm: 387133 311362 379 95 0 382115 0
[pid=4168/tid=4169] ppid=4166 vsize=1548532 CPUtime=1121.99 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 556855 0 0 0 112020 179 0 0 25 0 4 0 651378555 1585696768 311362 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=1548532 CPUtime=1122.19 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 577899 0 0 0 112031 188 0 0 25 0 4 0 651378555 1585696768 311362 33554432000 4194304 4580107 140733383850576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=1548532 CPUtime=1112.19 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 521220 0 0 0 111040 179 0 0 25 0 4 0 651378555 1585696768 311362 33554432000 4194304 4580107 140733383850576 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4478.28
Current children cumulated vsize (KiB) 1548532

[startup+1182.3 s]
/proc/loadavg: 8.14 8.05 6.72 9/289 4203
/proc/meminfo: memFree=16109356/32951132 swapFree=67093824/67111528
[pid=4168] ppid=4166 vsize=1849268 CPUtime=4717.72 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 2336383 0 0 0 470995 777 0 0 25 0 4 0 651378555 1893650432 374875 33554432000 4194304 4580107 140733383850576 18446744073709551615 4295901 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4168/statm: 462317 374875 379 95 0 457299 0
[pid=4168/tid=4169] ppid=4166 vsize=1849268 CPUtime=1181.98 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 610029 0 0 0 118006 192 0 0 25 0 4 0 651378555 1893650432 374875 33554432000 4194304 4580107 140733383850576 18446744073709551615 4489278 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=1849268 CPUtime=1182.18 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 603569 0 0 0 118019 199 0 0 25 0 4 0 651378555 1893650432 374875 33554432000 4194304 4580107 140733383850576 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=1849268 CPUtime=1172.18 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 565227 0 0 0 117025 193 0 0 25 0 4 0 651378555 1893650432 374875 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4717.72
Current children cumulated vsize (KiB) 1849268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 8.18 8.06 6.75 9/289 4204
/proc/meminfo: memFree=15935872/32951132 swapFree=67093824/67111528
[pid=4168] ppid=4166 vsize=1908984 CPUtime=4800.35 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 2368756 0 0 0 479246 789 0 0 25 0 4 0 651378555 1954799616 407248 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293204 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4168/statm: 477246 407248 379 95 0 472228 0
[pid=4168/tid=4169] ppid=4166 vsize=1908984 CPUtime=1202.69 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 618189 0 0 0 120073 196 0 0 25 0 4 0 651378555 1954799616 407253 33554432000 4194304 4580107 140733383850576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=1908984 CPUtime=1202.89 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 612199 0 0 0 120087 202 0 0 25 0 4 0 651378555 1954799616 407253 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=1908984 CPUtime=1192.89 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 573101 0 0 0 119093 196 0 0 25 0 4 0 651378555 1954799616 407253 33554432000 4194304 4580107 140733383850576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 1908984

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

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

[startup+1203 s]
/proc/loadavg: 8.18 8.06 6.75 9/289 4204
/proc/meminfo: memFree=15935872/32951132 swapFree=67093824/67111528
[pid=4168] ppid=4166 vsize=1908984 CPUtime=4800.35 cores=1,3,5,7
/proc/4168/stat : 4168 (strangenight2-m) R 4166 4168 4127 0 -1 4202496 2368756 0 0 0 479246 789 0 0 25 0 4 0 651378555 1954799616 407248 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293204 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/4168/statm: 477246 407248 379 95 0 472228 0
[pid=4168/tid=4169] ppid=4166 vsize=1908984 CPUtime=1202.69 cores=1,3,5,7
/proc/4168/task/4169/stat : 4169 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 618189 0 0 0 120073 196 0 0 25 0 4 0 651378555 1954799616 407253 33554432000 4194304 4580107 140733383850576 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4168/tid=4170] ppid=4166 vsize=1908984 CPUtime=1202.89 cores=1,3,5,7
/proc/4168/task/4170/stat : 4170 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 612199 0 0 0 120087 202 0 0 25 0 4 0 651378555 1954799616 407253 33554432000 4194304 4580107 140733383850576 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4168/tid=4171] ppid=4166 vsize=1908984 CPUtime=1192.89 cores=1,3,5,7
/proc/4168/task/4171/stat : 4171 (strangenight2-m) R 4166 4168 4127 0 -1 4202560 573101 0 0 0 119093 196 0 0 25 0 4 0 651378555 1954799616 407253 33554432000 4194304 4580107 140733383850576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 1908984

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.09
CPU time (s): 4800.46
CPU user time (s): 4792.49
CPU system time (s): 7.96779
CPU usage (%): 399.011
Max. virtual memory (cumulated for all children) (KiB): 1908984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.49
system time used= 7.96779
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2368767
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= 3117
involuntary context switches= 21886

runsolver used 2.95055 second user time and 8.01578 second system time

The end

Launcher Data 

Begin job on node131 at 2011-05-14 20:29:49
IDJOB=3366167
IDBENCH=82576
IDSOLVER=1844
FILE ID=node131/3366167-1305397789
RUNJOBID= node131-1305397789-4146
PBS_JOBID= 13324467
Free space on /tmp= 73680 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v25000-c105000-S109959541-056-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366167-1305397789/watcher-3366167-1305397789 -o /tmp/evaluation-result-3366167-1305397789/solver-3366167-1305397789 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366167-1305397789.cnf

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

MD5SUM BENCH= 5f909806405bfbe25b7db5afcabe8fc9
RANDOM SEED=157623766

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      19068272 kB
Buffers:        267232 kB
Cached:        3631624 kB
SwapCached:       1504 kB
Active:       10563052 kB
Inactive:      3061320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      19068272 kB
SwapTotal:    67111528 kB
SwapFree:     67093824 kB
Dirty:           14112 kB
Writeback:           0 kB
AnonPages:     9724252 kB
Mapped:          26952 kB
Slab:           164288 kB
PageTables:      31376 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 28082788 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73676 MiB
End job on node131 at 2011-05-14 20:49:54