Trace number 3173758

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.2 1201.78

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.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-3173758-1304030467.cnf'
0.00/0.00	c -- header says num vars:          24999
0.00/0.00	c -- header says num clauses:      105000
0.35/0.14	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.35/0.14	c -- vars added      24999
0.35/0.14	c Parsing time:  0.08 s
0.35/0.14	c  N st     0         0     24999    105000         0         0    315000         0   no data   no data
0.80/0.23	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.09
0.80/0.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.05
1.10/0.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.10/0.36	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.10/0.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.10/0.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24999 time:  0.01 s
1.10/0.38	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1.90/0.56	c lits-rem:         0  cl-subs:        0  v-elim:    616  v-fix:    0  time:  0.17 s
1.90/0.57	c Finding binary XORs  T:     0.00 s  found:       0
2.29/0.60	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
2.29/0.60	c calculated reachability. Time: 0.00
2.29/0.61	c Calc default polars -  time:   0.01 s pos:   11019 undec:    2821 neg:   11159
2.29/0.61	c =========================================================================================
2.29/0.61	c types(t): F = full restart, N = normal restart
2.29/0.61	c types(t): S = simplification begin/end, E = solution found
2.29/0.61	c restart types(rt): st = static, dy = dynamic
2.29/0.61	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.29/0.61	c  B st     0         0     24383    104285         0         0    316728         0   no data   no data
7.88/2.02	c  N dy    18      4047     24383    104285         0      4046    316728    990691    145.31    156.63
13.48/3.47	c  N dy    47      8127     24383    104285         0      8126    316728   1915727    145.62    157.60
19.47/4.98	c  N dy    71     12263     24383    104285         0     12262    316728   2856619    143.65    151.37
25.88/6.50	c  N dy    97     16348     24383    104285         0     16347    316728   3739715    142.34    151.39
32.25/8.11	c  N dy   125     20514     24383    104285         0     10516    316728    706190    142.53    151.91
38.24/9.62	c  N dy   155     24607     24383    104285         0     14609    316728   1607065    142.70    152.71
38.64/9.76	c  F st   157     25001     24383    104285         0     15003    316728   1686537    142.42    128.38
47.03/11.80	c  N dy   163     30002     24383    104285         0     20001    316728   3306837    142.42   no data
47.03/11.80	c  S st   163     30002     24383    104285         0     20001    316728   3306837    142.42   no data
47.43/11.99	c  S st   163     30506     24383    104285         0     20505    316728   3381623    142.42   no data
47.85/12.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
48.25/12.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
48.25/12.15	c blocked clauses removed:      496 vars:     78 tried:       24383 T: 0.01 s
48.25/12.16	c bin-w-bin subsume rem            0 bins  time:  0.01 s
48.25/12.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
48.25/12.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24305 time:  0.01 s
48.25/12.19	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
49.02/12.31	c lits-rem:         0  cl-subs:        0  v-elim:      6  v-fix:    0  time:  0.12 s
50.23/12.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
53.82/13.56	c lits-rem:        46  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.91 s
54.23/13.68	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.12
54.23/13.69	c calculated reachability. Time: 0.00
54.23/13.69	c  N dy   163     30506     24299    103783         0     20396    315259   3339662    142.42   no data
61.03/15.36	c  N dy   194     34570     24299    103783         0     24460    315259   4269667    142.97    154.73
67.80/17.08	c  N dy   222     38652     24299    103783         0     28542    315259   5167323    142.85    152.79
74.99/18.81	c  N dy   252     42839     24299    103783         0     17282    315259   1127865    143.17    151.45
79.79/20.00	c  S st   277     45759     24299    103783         0     20202    315259   1818553    143.75   no data
80.18/20.19	c  S st   277     46264     24299    103783         0     20707    315259   1898400    143.75   no data
80.58/20.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
80.98/20.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
80.98/20.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.98/20.35	c bin-w-bin subsume rem            0 bins  time:  0.01 s
80.98/20.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
80.98/20.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24299 time:  0.01 s
80.98/20.38	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
81.38/20.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
81.78/20.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
82.99/20.88	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.27 s
82.99/20.90	c vivif2 --  cl tried   103783 cl shrink        0 lits rem          0 time: 0.01
83.41/20.93	c vivif2 --  cl tried    20705 cl shrink        0 lits rem          0 time: 0.03
83.78/21.05	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.12
83.78/21.06	c calculated reachability. Time: 0.00
83.78/21.06	c  N dy   277     46264     24299    103783         0     20705    315259   1897194    143.75   no data
90.17/22.68	c  N dy   306     50284     24299    103783         0     24724    315259   2799619    143.74    157.17
96.96/24.34	c  N dy   333     54358     24299    103783         0     28798    315259   3724604    143.89    154.27
103.75/26.03	c  N dy   360     58406     24299    103783         0     32846    315259   4626664    143.59    157.07
110.94/27.80	c  N dy   388     62590     24299    103783         0     37030    315259   5548129    143.48    152.55
117.33/29.44	c  N dy   418     66624     24299    103783         0     22342    315259   1501673    143.47    151.96
121.73/30.57	c  S st   439     69396     24299    103783         0     25114    315259   2125889    143.57    141.89
122.54/30.78	c  S st   439     69899     24299    103783         0     25617    315259   2215293    143.57   no data
122.54/30.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
123.32/30.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
123.32/30.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
123.32/30.94	c bin-w-bin subsume rem            0 bins  time:  0.01 s
123.32/30.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
123.32/30.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24299 time:  0.01 s
123.32/30.97	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
123.73/31.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
124.52/31.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
126.12/31.63	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.40 s
126.12/31.64	c vivif2 --  cl tried   103783 cl shrink        0 lits rem          0 time: 0.01
126.12/31.68	c vivif2 --  cl tried    25615 cl shrink        0 lits rem          0 time: 0.04
126.94/31.81	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.13
126.94/31.82	c calculated reachability. Time: 0.00
126.94/31.82	c  N dy   439     69899     24299    103783         0     25615    315259   2214071    143.57   no data
134.11/33.63	c  N dy   469     74402     24299    103783         0     30117    315259   3187684    143.37    152.12
142.10/35.67	c  N dy   505     79218     24299    103783         0     34933    315259   4320455    143.91    153.57
150.88/37.87	c  N dy   539     84331     24299    103783         0     40046    315259   5485847    143.90    154.93
156.47/39.27	c  F st   563     87500     24299    103783         0     22357    315259    986752    144.01   no data
162.08/40.70	c  N st   568     90796     24299    103783         0     25653    315259   2066617    144.01   no data
172.05/43.13	c  N dy   595     96640     24299    103783         0     31496    315259   3510551    143.98    151.98
182.84/45.84	c  N dy   634    103044     24299    103783         0     37900    315259   4936018    143.78    151.40
185.64/46.58	c  S st   644    104848     24299    103783         0     39704    315259   5313082    143.64   no data
186.83/46.81	c  S st   644    105352     24299    103783         0     40208    315259   5392689    143.64   no data
186.83/46.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
187.24/46.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
187.24/46.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
187.24/46.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
187.64/47.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
187.64/47.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24299 time:  0.01 s
187.64/47.02	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
188.03/47.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
189.23/47.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
196.02/49.10	c lits-rem:         3  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.59 s
196.02/49.11	c vivif2 --  cl tried   103783 cl shrink        0 lits rem          0 time: 0.01
196.42/49.20	c vivif2 --  cl tried    40205 cl shrink        0 lits rem          0 time: 0.09
196.81/49.36	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.16
196.81/49.37	c calculated reachability. Time: 0.00
196.81/49.37	c  N dy   644    105352     24299    103783         0     40205    315259   5391565    143.64   no data
208.80/52.31	c  N dy   690    112099     24299    103783         0     24520    315259   1059512    143.44    151.52
220.78/55.35	c  N dy   741    119421     24299    103783         0     31842    315259   2720898    143.59    151.59
233.97/58.66	c  N dy   792    127077     24299    103783         0     39498    315259   4481878    143.91    153.16
248.75/62.37	c  N dy   852    135314     24299    103783         0     24025    315259    654505    143.92    152.59
263.55/66.02	c  N dy   907    144223     24299    103783         0     32934    315259   2653284    143.79    152.10
279.11/69.96	c  N dy   966    153505     24299    103783         0     42214    315259   4666420    143.52    153.10
287.10/71.97	c  S st   998    158030     24299    103783         0     46739    315259   5695359    143.65     97.78
288.30/72.21	c  S st   998    158541     24299    103783         0     47250    315259   5783030    143.65   no data
288.30/72.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
288.70/72.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.13
289.10/72.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
289.10/72.40	c bin-w-bin subsume rem            0 bins  time:  0.01 s
289.10/72.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
289.10/72.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24299 time:  0.01 s
289.10/72.43	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
289.51/72.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
291.10/72.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
299.88/75.14	c lits-rem:         2  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.20 s
299.88/75.15	c vivif2 --  cl tried   103783 cl shrink        0 lits rem          0 time: 0.01
300.28/75.25	c vivif2 --  cl tried    47245 cl shrink        0 lits rem          0 time: 0.10
301.08/75.42	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.17
301.08/75.42	c calculated reachability. Time: 0.00
301.08/75.42	c  N dy   998    158541     24299    103783         0     47245    315259   5781005    143.65   no data
318.66/79.82	c  N dy  1065    168849     24299    103783         0     32697    315259   2372528    143.82    155.78
337.03/84.49	c  N dy  1134    179785     24299    103783         0     43632    315259   4805811    143.75    154.14
357.40/89.59	c  N dy  1208    191318     24299    103783         0     29235    315259   1269624    143.81    151.45
378.58/94.85	c  N dy  1291    203617     24299    103783         0     41534    315259   4033945    143.82    156.48
402.55/100.80	c  N dy  1373    216803     24299    103783         0     27755    315259    683675    143.81    153.02
426.13/106.71	c  N dy  1462    230693     24299    103783         0     41644    315259   3835290    143.86    183.44
438.92/109.93	c  S st  1509    237811     24299    103783         0     48762    315259   5483991    143.89    142.88
439.70/110.18	c  S st  1509    238314     24299    103783         0     49265    315259   5576295    143.89   no data
440.10/110.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
440.50/110.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
440.50/110.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
440.50/110.37	c bin-w-bin subsume rem            0 bins  time:  0.01 s
440.50/110.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
440.50/110.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24299 time:  0.01 s
440.90/110.40	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
441.30/110.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
442.49/110.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
452.10/113.20	c lits-rem:         3  cl-subs:        7  v-elim:      0  v-fix:    0  time:  2.33 s
452.10/113.22	c vivif2 --  cl tried   103783 cl shrink        0 lits rem          0 time: 0.01
452.50/113.31	c vivif2 --  cl tried    49258 cl shrink        0 lits rem          0 time: 0.09
452.88/113.48	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.17
452.88/113.49	c calculated reachability. Time: 0.00
452.88/113.49	c  N dy  1509    238314     24299    103783         0     49258    315259   5573601    143.89   no data
480.45/120.35	c  N dy  1613    253580     24299    103783         0     36550    315259   2418954    144.06    153.45
509.63/127.63	c  N dy  1724    269855     24299    103783         0     52824    315259   6101223    144.02    155.00
540.38/135.38	c  N dy  1842    287090     24299    103783         0     41070    315259   3232560    144.06    164.31
573.92/143.78	c  N dy  1967    305482     24299    103783         0     59461    315259   7436851    144.12    156.15
575.91/144.20	c  F st  1973    306250     24299    103783         0     30234    315259    525881    144.12   no data
609.08/152.54	c  N dy  2070    325100     24299    103783         0     49081    315259   5188183    144.10    153.41
645.85/161.78	c  N dy  2209    345106     24299    103783         0     38089    315259   2121810    144.30    153.75
668.20/167.33	c  S st  2290    357471     24299    103783         0     50454    315259   4879414    144.26   no data
669.00/167.58	c  S st  2290    357971     24299    103783         0     50954    315259   4968229    144.26   no data
669.40/167.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
669.80/167.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
669.80/167.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
669.80/167.78	c bin-w-bin subsume rem            0 bins  time:  0.01 s
669.80/167.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
669.80/167.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24299 time:  0.01 s
670.19/167.80	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
670.59/167.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
671.82/168.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
680.19/170.35	c lits-rem:        14  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.12 s
680.19/170.36	c vivif2 --  cl tried   103783 cl shrink        0 lits rem          0 time: 0.01
680.60/170.45	c vivif2 --  cl tried    50951 cl shrink        0 lits rem          0 time: 0.08
681.38/170.62	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.17
681.38/170.63	c calculated reachability. Time: 0.00
681.38/170.63	c  N dy  2290    357971     24299    103783         0     50951    315259   4967389    144.26   no data
718.53/179.97	c  N dy  2429    377994     24299    103783         0     38973    315259   2059431    144.39    152.74
756.08/189.34	c  N dy  2563    398017     24299    103783         0     58994    315259   6716713    144.53    157.66
792.83/198.50	c  N dy  2697    418065     24299    103783         0     46045    315259   3366946    144.48    154.91
830.40/207.97	c  N dy  2822    438218     24299    103783         0     66197    315259   7859347    144.38    156.23
866.73/217.04	c  N dy  2959    458368     24299    103783         0     52345    315259   4626157    144.36    155.25
905.10/226.68	c  N dy  3091    478552     24299    103783         0     37533    315259   1033030    144.34    158.28
941.82/235.82	c  N dy  3220    498633     24299    103783         0     57611    315259   5551436    144.36    152.44
980.58/245.52	c  N dy  3361    518738     24299    103783         0     41719    315259   1782197    144.44    152.90
1014.14/253.95	c  S st  3487    536956     24299    103783         0     59937    315259   5926371    144.54    139.44
1015.33/254.22	c  S st  3487    537461     24299    103783         0     60442    315259   6017316    144.54   no data
1015.33/254.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1015.73/254.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.15
1016.13/254.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1016.13/254.42	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1016.13/254.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1016.13/254.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24299 time:  0.01 s
1016.13/254.45	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1016.93/254.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
1018.14/254.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1030.51/258.06	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  3.11 s
1030.51/258.08	c vivif2 --  cl tried   103783 cl shrink        0 lits rem          0 time: 0.01
1030.91/258.18	c vivif2 --  cl tried    60441 cl shrink        0 lits rem          0 time: 0.10
1031.71/258.37	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.19
1031.71/258.38	c calculated reachability. Time: 0.00
1031.71/258.38	c  N dy  3487    537461     24299    103783         0     60441    315259   6017272    144.54   no data
1070.87/268.14	c  N dy  3628    557638     24299    103783         0     43617    315259   2016752    144.66    154.47
1108.02/277.47	c  N dy  3756    577706     24299    103783         0     63683    315259   6545132    144.63    177.84
1146.79/287.17	c  N dy  3882    597718     24299    103783         0     45695    315259   2221425    144.62    152.88
1185.11/296.71	c  N dy  4019    617775     24299    103783         0     65751    315259   6779587    144.69    158.91
1224.26/306.51	c  N dy  4154    637884     24299    103783         0     46862    315259   2285040    144.73    154.09
1262.21/316.06	c  N dy  4286    657885     24299    103783         0     66863    315259   6817224    144.71    152.52
1302.17/326.08	c  N dy  4427    678143     24299    103783         0     47122    315259   2068961    144.73    159.52
1341.31/335.88	c  N dy  4564    698233     24299    103783         0     67212    315259   6614209    144.74    152.78
1382.06/346.01	c  N dy  4701    718440     24299    103783         0     46421    315259   1709588    144.80    155.33
1420.01/355.56	c  N dy  4836    738528     24299    103783         0     66508    315259   6241481    144.83    171.62
1461.15/365.88	c  N dy  4976    758687     24299    103783         0     44665    315259   1102530    144.90    153.17
1499.10/375.35	c  N dy  5109    778752     24299    103783         0     64728    315259   5695302    144.92    168.86
1540.23/385.62	c  N dy  5244    798792     24299    103783         0     84765    315259  10102439    144.90    155.70
1553.81/389.08	c  S st  5289    806191     24299    103783         0     49166    315259   1868086    144.88    140.91
1555.03/389.31	c  S st  5289    806695     24299    103783         0     49670    315259   1946805    144.88   no data
1555.03/389.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1555.44/389.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
1555.44/389.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1555.81/389.50	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1555.81/389.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1555.81/389.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24299 time:  0.01 s
1555.81/389.53	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1556.21/389.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
1556.61/389.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1559.42/390.46	c lits-rem:         2  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.70 s
1559.42/390.48	c vivif2 --  cl tried   103783 cl shrink        0 lits rem          0 time: 0.01
1559.82/390.51	c vivif2 --  cl tried    49666 cl shrink        0 lits rem          0 time: 0.04
1560.20/390.68	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.17
1560.20/390.69	c calculated reachability. Time: 0.00
1560.20/390.69	c  N dy  5289    806695     24299    103783         0     49666    315259   1945746    144.88   no data
1599.38/400.42	c  N dy  5426    826891     24299    103783         0     69862    315259   6547456    144.92    158.08
1642.09/411.12	c  N dy  5567    847055     24299    103783         0     46032    315259    949950    144.98    154.15
1680.43/420.77	c  N dy  5706    867081     24299    103783         0     66058    315259   5502102    144.99    165.82
1721.58/431.10	c  N dy  5846    887085     24299    103783         0     86062    315259  10039043    145.00    171.03
1761.12/440.97	c  N dy  5983    907223     24299    103783         0     61199    315259   4190121    145.05    152.78
1802.26/451.25	c  N dy  6123    927232     24299    103783         0     81204    315259   8812701    145.11    155.63
1843.01/461.42	c  N dy  6258    947296     24299    103783         0     55271    315259   2624508    145.12    155.52
1882.55/471.35	c  N dy  6395    967397     24299    103783         0     75369    315259   7209606    145.14    156.29
1926.09/482.27	c  N dy  6540    987496     24299    103783         0     48468    315259    833924    145.21    170.49
1964.84/491.94	c  N dy  6680   1007673     24299    103783         0     68643    315259   5429937    145.25    153.68
2007.19/502.60	c  N dy  6825   1027767     24299    103783         0     88737    315259  10081095    145.34    155.80
2047.93/512.74	c  N dy  6961   1047770     24299    103783         0     60742    315259   3421005    145.36    154.02
2088.66/522.91	c  N dy  7098   1067856     24299    103783         0     80828    315259   8020487    145.41    153.53
2097.06/525.00	c  F st  7120   1071876     24299    103783         0     84848    315259   8896303    145.39    130.02
2131.81/533.71	c  N dy  7199   1087902     24299    103783         0     51876    315259   1142230    145.40    154.04
2170.95/543.56	c  N dy  7334   1107984     24299    103783         0     71957    315259   5774732    145.43    153.31
2214.12/554.32	c  N dy  7476   1128054     24299    103783         0     92025    315259  10428583    145.48    153.97
2255.24/564.68	c  N dy  7618   1148099     24299    103783         0     62075    315259   3276884    145.52    153.30
2296.38/574.94	c  N dy  7760   1168113     24299    103783         0     82087    315259   7800305    145.53    155.05
2341.12/586.14	c  N dy  7899   1188339     24299    103783         0     51311    315259    579000    145.55    161.38
2380.66/596.04	c  N dy  8041   1208359     24299    103783         0     71328    315259   5151978    145.59    155.17
2384.26/596.94	c  S st  8054   1210043     24299    103783         0     73012    315259   5533249    145.60   no data
2385.47/597.24	c  S st  8054   1210547     24299    103783         0     73516    315259   5611753    145.60   no data
2385.47/597.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2386.25/597.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.17
2386.25/597.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2386.25/597.47	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2386.25/597.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2386.25/597.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24299 time:  0.01 s
2386.65/597.50	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
2387.05/597.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
2388.65/598.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2401.83/601.31	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.29 s
2401.83/601.33	c vivif2 --  cl tried   103783 cl shrink        0 lits rem          0 time: 0.01
2402.23/601.42	c vivif2 --  cl tried    73513 cl shrink        0 lits rem          0 time: 0.10
2403.04/601.63	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.21
2403.04/601.64	c calculated reachability. Time: 0.00
2403.04/601.64	c  N dy  8054   1210547     24299    103783         0     73513    315259   5609786    145.60   no data
2445.77/612.36	c  N dy  8189   1230548     24299    103783         0     93514    315259  10206781    145.61    159.80
2488.11/622.94	c  N dy  8324   1250723     24299    103783         0     61692    315259   2703281    145.62    155.23
2529.66/633.31	c  N dy  8462   1270880     24299    103783         0     81846    315259   7296453    145.64    154.69
2574.41/644.50	c  N dy  8600   1290925     24299    103783         0    101890    315259  11945122    145.66    153.94
2614.73/654.62	c  N dy  8733   1310939     24299    103783         0     68909    315259   4145316    145.68    166.86
2657.08/665.27	c  N dy  8874   1330958     24299    103783         0     88927    315259   8813457    145.71    160.63
2703.01/676.73	c  N dy  9010   1351005     24299    103783         0     54978    315259    732620    145.73    168.03
2742.96/686.70	c  N dy  9150   1371031     24299    103783         0     75002    315259   5349701    145.75    153.65
2786.90/697.73	c  N dy  9295   1391147     24299    103783         0     95117    315259   9983026    145.78    156.32
2831.63/708.90	c  N dy  9435   1411373     24299    103783         0     60341    315259   1722272    145.80    154.07
2872.37/719.10	c  N dy  9575   1431408     24299    103783         0     80376    315259   6299282    145.81    218.34
2916.31/730.18	c  N dy  9710   1451490     24299    103783         0    100456    315259  10919020    145.83    159.97
2961.07/741.31	c  N dy  9854   1471714     24299    103783         0     64680    315259   2607117    145.90    154.04
3002.59/751.76	c  N dy  9992   1491784     24299    103783         0     84748    315259   7226313    145.92    166.55
3048.53/763.24	c  N dy 10135   1511827     24299    103783         0    104789    315259  11864219    145.96    155.09
3091.67/774.08	c  N dy 10276   1531937     24299    103783         0     67907    315259   3041119    145.99    154.62
3134.41/784.77	c  N dy 10424   1552019     24299    103783         0     87987    315259   7720035    146.03    181.53
3180.35/796.28	c  N dy 10566   1572111     24299    103783         0    108077    315259  12369277    146.05    160.72
3223.08/806.95	c  N dy 10697   1592170     24299    103783         0     70141    315259   3265638    146.05    157.17
3265.82/817.60	c  N dy 10836   1612202     24299    103783         0     90173    315259   7855663    146.10    162.78
3311.76/829.10	c  N dy 10965   1632281     24299    103783         0    110251    315259  12466927    146.10    162.06
3355.31/840.02	c  N dy 11099   1652491     24299    103783         0     71469    315259   3407584    146.11    157.07
3398.05/850.75	c  N dy 11229   1672607     24299    103783         0     91582    315259   7929022    146.08    160.91
3444.81/862.43	c  N dy 11368   1692717     24299    103783         0    111689    315259  12614537    146.13    156.51
3483.95/872.27	c  S st 11494   1710548     24299    103783         0     69520    315259   2712493    146.14   no data
3485.13/872.54	c  S st 11494   1711053     24299    103783         0     70025    315259   2802678    146.14   no data
3485.13/872.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3485.92/872.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.16
3485.92/872.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3485.92/872.75	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3485.92/872.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3485.92/872.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24299 time:  0.01 s
3485.92/872.78	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
3486.73/872.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
3487.13/873.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3495.11/875.04	c lits-rem:         3  cl-subs:        0  v-elim:      0  v-fix:    0  time:  1.94 s
3495.11/875.05	c vivif2 --  cl tried   103783 cl shrink        0 lits rem          0 time: 0.01
3495.51/875.10	c vivif2 --  cl tried    70025 cl shrink        0 lits rem          0 time: 0.05
3496.31/875.30	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.20
3496.31/875.31	c calculated reachability. Time: 0.00
3496.31/875.31	c  N dy 11494   1711053     24299    103783         0     70025    315259   2802675    146.14   no data
3538.25/885.90	c  N dy 11628   1731100     24299    103783         0     90070    315259   7400661    146.16    164.22
3584.59/897.48	c  N dy 11769   1751176     24299    103783         0    110146    315259  11998174    146.17    156.17
3629.73/908.73	c  N dy 11906   1771213     24299    103783         0     69185    315259   2436983    146.19    153.93
3672.07/919.34	c  N dy 12036   1791310     24299    103783         0     89280    315259   7011721    146.17    192.92
3718.00/930.81	c  N dy 12166   1811555     24299    103783         0    109524    315259  11600248    146.16    156.92
3764.74/942.52	c  N dy 12304   1831627     24299    103783         0     67605    315259   1866452    146.17    165.72
3807.48/953.29	c  N dy 12433   1851668     24299    103783         0     87644    315259   6373819    146.15    154.16
3853.44/964.73	c  N dy 12576   1871761     24299    103783         0    107734    315259  10991724    146.14    154.26
3902.14/976.92	c  N dy 12716   1891950     24299    103783         0     64923    315259   1038394    146.16    158.22
3943.69/987.35	c  N dy 12853   1912033     24299    103783         0     85005    315259   5672484    146.17    154.17
3988.83/998.62	c  N dy 12993   1932034     24299    103783         0    105006    315259  10297924    146.19    155.97
4037.57/1010.86	c  N dy 13131   1952236     24299    103783         0    125205    315259  14933540    146.20    154.49
4080.30/1021.55	c  N dy 13267   1972252     24299    103783         0     81225    315259   4536681    146.22    154.50
4125.04/1032.77	c  N dy 13406   1992276     24299    103783         0    101248    315259   9148334    146.24    154.89
4172.57/1044.69	c  N dy 13536   2012279     24299    103783         0    121249    315259  13730662    146.24    154.95
4218.13/1056.06	c  N dy 13674   2032525     24299    103783         0     76501    315259   3220806    146.25    155.57
4262.07/1067.01	c  N dy 13812   2052539     24299    103783         0     96515    315259   7857934    146.27    154.87
4309.18/1078.85	c  N dy 13948   2072567     24299    103783         0    116540    315259  12454328    146.27    181.75
4357.51/1090.91	c  N dy 14077   2092786     24299    103783         0     70759    315259   1680190    146.26    165.06
4399.85/1101.55	c  N dy 14215   2112851     24299    103783         0     90821    315259   6251410    146.27    161.25
4446.20/1113.15	c  N dy 14357   2132923     24299    103783         0    110892    315259  10947642    146.30    156.08
4496.92/1125.85	c  N dy 14500   2153034     24299    103783         0    131001    315259  15619135    146.32    154.68
4540.05/1136.66	c  N dy 14626   2173222     24299    103783         0     84196    315259   4512985    146.31    157.81
4584.80/1147.83	c  N dy 14755   2193253     24299    103783         0    104225    315259   9065414    146.30    160.94
4627.53/1158.58	c  S st 14877   2211054     24299    103783         0    122025    315259  13170946    146.31   no data
4629.14/1158.94	c  S st 14877   2211556     24299    103783         0    122527    315259  13252002    146.31   no data
4629.14/1158.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4629.94/1159.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.21
4630.33/1159.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4630.33/1159.22	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4630.33/1159.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4630.33/1159.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24299 time:  0.01 s
4630.33/1159.25	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
4631.53/1159.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.25 s
4634.73/1160.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4664.68/1167.83	c lits-rem:        15  cl-subs:        8  v-elim:      0  v-fix:    0  time:  7.48 s
4664.68/1167.84	c vivif2 --  cl tried   103783 cl shrink        0 lits rem          0 time: 0.01
4665.48/1168.07	c vivif2 --  cl tried   122519 cl shrink        0 lits rem          0 time: 0.23
4666.68/1168.36	c asymm  cl-useful: 0/103783/103783 lits-rem:0 time: 0.29
4666.68/1168.37	c calculated reachability. Time: 0.00
4666.68/1168.37	c  N dy 14877   2211556     24299    103783         0    122519    315259  13249137    146.31   no data
4715.00/1180.45	c  N dy 15007   2231650     24299    103783         0     74618    315259   2082154    146.30    154.70
4758.95/1191.45	c  N dy 15151   2251873     24299    103783         0     94839    315259   6762454    146.31    162.95

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173758-1304030467/watcher-3173758-1304030467 -o /tmp/evaluation-result-3173758-1304030467/solver-3173758-1304030467 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173758-1304030467.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.36 7.92 6.80 6/180 17295
/proc/meminfo: memFree=9616836/32950928 swapFree=67111524/67111528
[pid=17295] ppid=17293 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 409 0 0 0 0 0 0 0 25 0 4 0 593277373 52441088 348 33554432000 4194304 4627427 140735207403472 18446744073709551615 256415448049 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 12803 348 299 106 0 7774 0
[pid=17295/tid=17296] ppid=17293 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 593277374 52441088 348 33554432000 4194304 4627427 140735207403472 18446744073709551615 47211071649714 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 593277374 52441088 348 33554432000 4194304 4627427 140735207403472 18446744073709551615 47211071649712 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 593277374 52441088 348 33554432000 4194304 4627427 140735207403472 18446744073709551615 256415448049 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0708181 s]
/proc/loadavg: 7.36 7.92 6.80 6/180 17295
/proc/meminfo: memFree=9616836/32950928 swapFree=67111524/67111528
[pid=17295] ppid=17293 vsize=371480 CPUtime=0.23 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 14334 0 0 0 17 6 0 0 18 0 4 0 593277373 380395520 12258 33554432000 4194304 4627427 140735207403472 18446744073709551615 256415496735 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 92870 12273 339 106 0 87841 0
[pid=17295/tid=17296] ppid=17293 vsize=371480 CPUtime=0.05 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) S 17293 17295 16932 0 -1 4202560 3543 0 0 0 4 1 0 0 18 0 4 0 593277374 380395520 12323 33554432000 4194304 4627427 140735207403472 18446744073709551615 256415496686 0 0 4096 2 18446604453822223360 0 0 -1 6 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=371480 CPUtime=0.05 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) S 17293 17295 16932 0 -1 4202560 3450 0 0 0 4 1 0 0 18 0 4 0 593277374 380395520 12348 33554432000 4194304 4627427 140735207403472 18446744073709551615 256415496686 0 0 4096 2 18446604453822223360 0 0 -1 0 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=372560 CPUtime=0.05 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 3637 0 0 0 4 1 0 0 18 0 4 0 593277374 381501440 12567 33554432000 4194304 4627427 140735207403472 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 371480

[startup+0.107837 s]
/proc/loadavg: 7.36 7.92 6.80 6/180 17295
/proc/meminfo: memFree=9616836/32950928 swapFree=67111524/67111528
[pid=17295] ppid=17293 vsize=374364 CPUtime=0.35 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 16478 0 0 0 26 9 0 0 17 0 4 0 593277373 383348736 14402 33554432000 4194304 4627427 140735207403472 18446744073709551615 256415496735 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 93591 14437 339 106 0 88562 0
[pid=17295/tid=17296] ppid=17293 vsize=374364 CPUtime=0.08 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) S 17293 17295 16932 0 -1 4202560 4085 0 0 0 6 2 0 0 17 0 4 0 593277374 383348736 14452 33554432000 4194304 4627427 140735207403472 18446744073709551615 256415496686 0 0 4096 2 18446604453822223360 0 0 -1 6 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=374364 CPUtime=0.08 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 3936 0 0 0 6 2 0 0 17 0 4 0 593277374 383348736 14472 33554432000 4194304 4627427 140735207403472 18446744073709551615 256415496686 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=374364 CPUtime=0.09 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 4333 0 0 0 7 2 0 0 18 0 4 0 593277374 383348736 14502 33554432000 4194304 4627427 140735207403472 18446744073709551615 4530602 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 374364

[startup+0.300709 s]
/proc/loadavg: 7.36 7.92 6.80 6/180 17295
/proc/meminfo: memFree=9616836/32950928 swapFree=67111524/67111528
[pid=17295] ppid=17293 vsize=389336 CPUtime=1.1 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 22059 0 0 0 99 11 0 0 18 0 4 0 593277373 398680064 19981 33554432000 4194304 4627427 140735207403472 18446744073709551615 256415052833 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 97334 19984 371 106 0 92305 0
[pid=17295/tid=17296] ppid=17293 vsize=389336 CPUtime=0.26 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 6209 0 0 0 24 2 0 0 18 0 4 0 593277374 398680064 19984 33554432000 4194304 4627427 140735207403472 18446744073709551615 256415047687 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=389336 CPUtime=0.27 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 5768 0 0 0 24 3 0 0 18 0 4 0 593277374 398680064 19986 33554432000 4194304 4627427 140735207403472 18446744073709551615 256415050099 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=389336 CPUtime=0.27 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 4514 0 0 0 25 2 0 0 18 0 4 0 593277374 398680064 19988 33554432000 4194304 4627427 140735207403472 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 389336

[startup+0.700636 s]
/proc/loadavg: 7.36 7.92 6.80 6/180 17295
/proc/meminfo: memFree=9616836/32950928 swapFree=67111524/67111528
[pid=17295] ppid=17293 vsize=403900 CPUtime=2.7 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 37005 0 0 0 255 15 0 0 18 0 4 0 593277373 413593600 26523 33554432000 4194304 4627427 140735207403472 18446744073709551615 4305764 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 100975 26523 385 106 0 95946 0
[pid=17295/tid=17296] ppid=17293 vsize=403900 CPUtime=0.66 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 10354 0 0 0 63 3 0 0 18 0 4 0 593277374 413593600 26523 33554432000 4194304 4627427 140735207403472 18446744073709551615 4329663 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=403900 CPUtime=0.66 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 10830 0 0 0 62 4 0 0 18 0 4 0 593277374 413593600 26523 33554432000 4194304 4627427 140735207403472 18446744073709551615 4332195 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=403900 CPUtime=0.67 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 4839 0 0 0 65 2 0 0 18 0 4 0 593277374 413593600 26523 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 403900

[startup+1.50048 s]
/proc/loadavg: 7.41 7.93 6.81 9/184 17299
/proc/meminfo: memFree=9504088/32950928 swapFree=67111524/67111528
[pid=17295] ppid=17293 vsize=403900 CPUtime=5.89 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 39532 0 0 0 574 15 0 0 19 0 4 0 593277373 413593600 28933 33554432000 4194304 4627427 140735207403472 18446744073709551615 4321739 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 100975 28933 385 106 0 95946 0
[pid=17295/tid=17296] ppid=17293 vsize=403900 CPUtime=1.46 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 10914 0 0 0 143 3 0 0 19 0 4 0 593277374 413593600 28933 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=403900 CPUtime=1.46 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 11514 0 0 0 142 4 0 0 19 0 4 0 593277374 413593600 28933 33554432000 4194304 4627427 140735207403472 18446744073709551615 4324648 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=403900 CPUtime=1.47 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 5460 0 0 0 145 2 0 0 19 0 4 0 593277374 413593600 28933 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308703 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 403900

[startup+3.10118 s]
/proc/loadavg: 7.41 7.93 6.81 9/184 17299
/proc/meminfo: memFree=9486104/32950928 swapFree=67111524/67111528
[pid=17295] ppid=17293 vsize=535164 CPUtime=12.28 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 44139 0 0 0 1212 16 0 0 24 0 4 0 593277373 548007936 33540 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308712 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 133791 33540 385 106 0 128762 0
[pid=17295/tid=17296] ppid=17293 vsize=535164 CPUtime=3.05 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 11960 0 0 0 302 3 0 0 25 0 4 0 593277374 548007936 33540 33554432000 4194304 4627427 140735207403472 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=535164 CPUtime=3.07 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 12621 0 0 0 302 5 0 0 24 0 4 0 593277374 548007936 33540 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=535164 CPUtime=3.08 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 6868 0 0 0 305 3 0 0 25 0 4 0 593277374 548007936 33540 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308760 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 535164

[startup+6.30057 s]
/proc/loadavg: 7.45 7.93 6.81 10/184 17299
/proc/meminfo: memFree=9436248/32950928 swapFree=67111524/67111528
[pid=17295] ppid=17293 vsize=535164 CPUtime=25.07 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 52382 0 0 0 2487 20 0 0 25 0 4 0 593277373 548007936 41783 33554432000 4194304 4627427 140735207403472 18446744073709551615 4327897 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 133791 41783 385 106 0 128762 0
[pid=17295/tid=17296] ppid=17293 vsize=535164 CPUtime=6.23 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 13993 0 0 0 619 4 0 0 25 0 4 0 593277374 548007936 41783 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=535164 CPUtime=6.26 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 14673 0 0 0 621 5 0 0 25 0 4 0 593277374 548007936 41783 33554432000 4194304 4627427 140735207403472 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=535164 CPUtime=6.28 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 8993 0 0 0 624 4 0 0 25 0 4 0 593277374 548007936 41783 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 535164

[startup+12.7003 s]
/proc/loadavg: 7.50 7.93 6.82 10/184 17300
/proc/meminfo: memFree=9402804/32950928 swapFree=67111524/67111528
[pid=17295] ppid=17293 vsize=718252 CPUtime=50.63 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 92207 0 0 0 5035 28 0 0 25 0 4 0 593277373 735490048 59942 33554432000 4194304 4627427 140735207403472 18446744073709551615 4468060 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 179563 59942 390 106 0 174534 0
[pid=17295/tid=17296] ppid=17293 vsize=718252 CPUtime=12.59 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 19215 0 0 0 1254 5 0 0 25 0 4 0 593277374 735490048 59942 33554432000 4194304 4627427 140735207403472 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=718252 CPUtime=12.66 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 20238 0 0 0 1260 6 0 0 25 0 4 0 593277374 735490048 59942 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=718252 CPUtime=12.67 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 14893 0 0 0 1262 5 0 0 25 0 4 0 593277374 735490048 59942 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 718252

[startup+25.5009 s]
/proc/loadavg: 7.57 7.93 6.83 10/184 17300
/proc/meminfo: memFree=9080520/32950928 swapFree=67111524/67111528
[pid=17295] ppid=17293 vsize=750448 CPUtime=101.76 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 169063 0 0 0 10133 43 0 0 25 0 4 0 593277373 768458752 101271 33554432000 4194304 4627427 140735207403472 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 187612 101271 390 106 0 182583 0
[pid=17295/tid=17296] ppid=17293 vsize=750448 CPUtime=25.32 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 50110 0 0 0 2522 10 0 0 25 0 4 0 593277374 768458752 101272 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=750448 CPUtime=25.46 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 35563 0 0 0 2536 10 0 0 25 0 4 0 593277374 768458752 101272 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=750448 CPUtime=25.48 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 35350 0 0 0 2538 10 0 0 25 0 4 0 593277374 768458752 101272 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308760 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 750448

[startup+51.101 s]
/proc/loadavg: 7.79 7.95 6.87 10/184 17301
/proc/meminfo: memFree=9085756/32950928 swapFree=67111524/67111528
[pid=17295] ppid=17293 vsize=913676 CPUtime=204.01 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 258678 0 0 0 20334 67 0 0 25 0 4 0 593277373 935604224 145080 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308599 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 228419 145080 390 106 0 223390 0
[pid=17295/tid=17296] ppid=17293 vsize=913676 CPUtime=50.78 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 61846 0 0 0 5064 14 0 0 25 0 4 0 593277374 935604224 145080 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=913676 CPUtime=51.06 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 59490 0 0 0 5090 16 0 0 25 0 4 0 593277374 935604224 145080 33554432000 4194304 4627427 140735207403472 18446744073709551615 4309085 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=913676 CPUtime=51.07 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 63542 0 0 0 5090 17 0 0 25 0 4 0 593277374 935604224 145080 33554432000 4194304 4627427 140735207403472 18446744073709551615 4428116 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 913676

[startup+102.306 s]
/proc/loadavg: 7.97 7.97 6.93 10/184 17302
/proc/meminfo: memFree=8785764/32950928 swapFree=67111524/67111528
[pid=17295] ppid=17293 vsize=1014596 CPUtime=408.56 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 361922 0 0 0 40762 94 0 0 25 0 4 0 593277373 1038946304 174763 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308640 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 253649 174763 390 106 0 248620 0
[pid=17295/tid=17296] ppid=17293 vsize=1014596 CPUtime=101.72 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 84478 0 0 0 10151 21 0 0 25 0 4 0 593277374 1038946304 174763 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=1014596 CPUtime=102.27 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 81293 0 0 0 10204 23 0 0 25 0 4 0 593277374 1038946304 174763 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=1014596 CPUtime=102.28 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 94832 0 0 0 10203 25 0 0 25 0 4 0 593277374 1038946304 174763 33554432000 4194304 4627427 140735207403472 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.56
Current children cumulated vsize (KiB) 1014596

[startup+162.301 s]

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

[pid=17295] ppid=17293 vsize=1440484 CPUtime=2805.27 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 1453655 0 0 0 280092 435 0 0 25 0 4 0 593277373 1475055616 290707 33554432000 4194304 4627427 140735207403472 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 360121 290707 390 106 0 355092 0
[pid=17295/tid=17296] ppid=17293 vsize=1440484 CPUtime=700.08 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 336662 0 0 0 69904 104 0 0 25 0 4 0 593277374 1475055616 290707 33554432000 4194304 4627427 140735207403472 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=1440484 CPUtime=702.13 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 370623 0 0 0 70099 114 0 0 25 0 4 0 593277374 1475055616 290707 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=1440484 CPUtime=700.79 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 390589 0 0 0 69966 113 0 0 25 0 4 0 593277374 1475055616 290707 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.27
Current children cumulated vsize (KiB) 1440484

[startup+762.307 s]
/proc/loadavg: 8.06 8.04 7.49 9/184 17351
/proc/meminfo: memFree=10282708/32950928 swapFree=67111524/67111528
[pid=17295] ppid=17293 vsize=1549068 CPUtime=3044.95 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 1556622 0 0 0 304027 468 0 0 25 0 4 0 593277373 1586245632 304367 33554432000 4194304 4627427 140735207403472 18446744073709551615 4327586 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 387267 304368 390 106 0 382238 0
[pid=17295/tid=17296] ppid=17293 vsize=1549068 CPUtime=760.09 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 364557 0 0 0 75896 113 0 0 25 0 4 0 593277374 1586245632 304368 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=1549068 CPUtime=762.13 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 395043 0 0 0 76091 122 0 0 25 0 4 0 593277374 1586245632 304368 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=1549068 CPUtime=760.47 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 416875 0 0 0 75926 121 0 0 25 0 4 0 593277374 1586245632 304368 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.95
Current children cumulated vsize (KiB) 1549068

[startup+822.301 s]
/proc/loadavg: 8.05 8.05 7.52 9/184 17352
/proc/meminfo: memFree=10231988/32950928 swapFree=67111524/67111528
[pid=17295] ppid=17293 vsize=1572928 CPUtime=3284.6 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 1659380 0 0 0 327957 503 0 0 25 0 4 0 593277373 1610678272 314911 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 393232 314911 390 106 0 388203 0
[pid=17295/tid=17296] ppid=17293 vsize=1572928 CPUtime=820.07 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 391305 0 0 0 81885 122 0 0 25 0 4 0 593277374 1610678272 314911 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=1572928 CPUtime=822.12 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 419153 0 0 0 82082 130 0 0 25 0 4 0 593277374 1610678272 314911 33554432000 4194304 4627427 140735207403472 18446744073709551615 4332997 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=1572928 CPUtime=820.13 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 440848 0 0 0 81884 129 0 0 25 0 4 0 593277374 1610678272 314911 33554432000 4194304 4627427 140735207403472 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.6
Current children cumulated vsize (KiB) 1572928

[startup+882.301 s]
/proc/loadavg: 8.13 8.07 7.56 9/184 17354
/proc/meminfo: memFree=10176900/32950928 swapFree=67111524/67111528
[pid=17295] ppid=17293 vsize=1494956 CPUtime=3524.27 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 1755844 0 0 0 351892 535 0 0 25 0 4 0 593277373 1530834944 300872 33554432000 4194304 4627427 140735207403472 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 373739 300872 390 106 0 368710 0
[pid=17295/tid=17296] ppid=17293 vsize=1494956 CPUtime=880.07 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 419154 0 0 0 87876 131 0 0 25 0 4 0 593277374 1530834944 300872 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=1494956 CPUtime=882.13 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 446417 0 0 0 88074 139 0 0 25 0 4 0 593277374 1530834944 300872 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=1494956 CPUtime=879.81 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 462904 0 0 0 87845 136 0 0 25 0 4 0 593277374 1530834944 300872 33554432000 4194304 4627427 140735207403472 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.27
Current children cumulated vsize (KiB) 1494956

[startup+942.301 s]
/proc/loadavg: 8.05 8.05 7.58 9/184 17355
/proc/meminfo: memFree=10202164/32950928 swapFree=67111524/67111528
[pid=17295] ppid=17293 vsize=1496020 CPUtime=3763.94 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 1852875 0 0 0 375828 566 0 0 25 0 4 0 593277373 1531924480 300509 33554432000 4194304 4627427 140735207403472 18446744073709551615 4332984 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 374005 300509 390 106 0 368976 0
[pid=17295/tid=17296] ppid=17293 vsize=1496020 CPUtime=940.07 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 442625 0 0 0 93868 139 0 0 25 0 4 0 593277374 1531924480 300509 33554432000 4194304 4627427 140735207403472 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=1496020 CPUtime=942.12 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 468840 0 0 0 94066 146 0 0 25 0 4 0 593277374 1531924480 300509 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=1496020 CPUtime=939.48 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 489687 0 0 0 93804 144 0 0 25 0 4 0 593277374 1531924480 300509 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.94
Current children cumulated vsize (KiB) 1496020

[startup+1002.3 s]
/proc/loadavg: 8.13 8.07 7.62 9/184 17357
/proc/meminfo: memFree=10029780/32950928 swapFree=67111524/67111528
[pid=17295] ppid=17293 vsize=1716144 CPUtime=4003.61 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 1971276 0 0 0 399757 604 0 0 25 0 4 0 593277373 1757331456 346001 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 429036 346001 390 106 0 424007 0
[pid=17295/tid=17296] ppid=17293 vsize=1716144 CPUtime=1000.07 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 468082 0 0 0 99859 148 0 0 25 0 4 0 593277374 1757331456 346001 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=1716144 CPUtime=1002.12 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 515635 0 0 0 100055 157 0 0 25 0 4 0 593277374 1757331456 346001 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=1716144 CPUtime=999.15 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 511282 0 0 0 99763 152 0 0 25 0 4 0 593277374 1757331456 346001 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.61
Current children cumulated vsize (KiB) 1716144

[startup+1062.3 s]
/proc/loadavg: 8.12 8.07 7.64 9/184 17359
/proc/meminfo: memFree=9955624/32950928 swapFree=67111524/67111528
[pid=17295] ppid=17293 vsize=1666004 CPUtime=4243.27 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 2066974 0 0 0 423691 636 0 0 25 0 4 0 593277373 1705988096 331287 33554432000 4194304 4627427 140735207403472 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 416501 331287 390 106 0 411472 0
[pid=17295/tid=17296] ppid=17293 vsize=1666004 CPUtime=1060.07 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 491784 0 0 0 105850 157 0 0 25 0 4 0 593277374 1705988096 331287 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=1666004 CPUtime=1062.12 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 541369 0 0 0 106046 166 0 0 25 0 4 0 593277374 1705988096 331287 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=1666004 CPUtime=1058.83 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 534273 0 0 0 105723 160 0 0 25 0 4 0 593277374 1705988096 331287 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.27
Current children cumulated vsize (KiB) 1666004

[startup+1122.3 s]
/proc/loadavg: 8.16 8.09 7.67 9/184 17360
/proc/meminfo: memFree=10034932/32950928 swapFree=67111524/67111528
[pid=17295] ppid=17293 vsize=1542064 CPUtime=4482.93 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 2160379 0 0 0 447625 668 0 0 25 0 4 0 593277373 1579073536 328107 33554432000 4194304 4627427 140735207403472 18446744073709551615 4321761 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 385516 328108 390 106 0 380487 0
[pid=17295/tid=17296] ppid=17293 vsize=1542064 CPUtime=1120.07 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 512382 0 0 0 111842 165 0 0 25 0 4 0 593277374 1579073536 328108 33554432000 4194304 4627427 140735207403472 18446744073709551615 4330282 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=1542064 CPUtime=1122.11 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 568287 0 0 0 112035 176 0 0 25 0 4 0 593277374 1579073536 328108 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=1542064 CPUtime=1118.49 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 558917 0 0 0 111683 166 0 0 25 0 4 0 593277374 1579073536 328108 33554432000 4194304 4627427 140735207403472 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.93
Current children cumulated vsize (KiB) 1542064

[startup+1182.3 s]
/proc/loadavg: 8.16 8.10 7.70 9/184 17362
/proc/meminfo: memFree=9726012/32950928 swapFree=67111524/67111528
[pid=17295] ppid=17293 vsize=1883268 CPUtime=4722.6 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 2315396 0 0 0 471548 712 0 0 25 0 4 0 593277373 1928466432 387254 33554432000 4194304 4627427 140735207403472 18446744073709551615 4332893 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 470817 387254 390 106 0 465788 0
[pid=17295/tid=17296] ppid=17293 vsize=1883268 CPUtime=1180.07 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 562099 0 0 0 117832 175 0 0 25 0 4 0 593277374 1928466432 387254 33554432000 4194304 4627427 140735207403472 18446744073709551615 4330326 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=1883268 CPUtime=1182.11 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 592864 0 0 0 118025 186 0 0 25 0 4 0 593277374 1928466432 387254 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=1883268 CPUtime=1178.17 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 607039 0 0 0 117636 181 0 0 25 0 4 0 593277374 1928466432 387254 33554432000 4194304 4627427 140735207403472 18446744073709551615 4332997 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.6
Current children cumulated vsize (KiB) 1883268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.20 8.11 7.71 9/184 17371
/proc/meminfo: memFree=9688148/32950928 swapFree=67111524/67111528
[pid=17295] ppid=17293 vsize=1943068 CPUtime=4800.1 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 2347789 0 0 0 479286 724 0 0 25 0 4 0 593277373 1989701632 402358 33554432000 4194304 4627427 140735207403472 18446744073709551615 4332195 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 485767 402358 390 106 0 480738 0
[pid=17295/tid=17296] ppid=17293 vsize=1943068 CPUtime=1199.47 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 569756 0 0 0 119770 177 0 0 25 0 4 0 593277374 1989701632 402359 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=1943068 CPUtime=1201.51 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 602061 0 0 0 119962 189 0 0 25 0 4 0 593277374 1989701632 402359 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=1943068 CPUtime=1197.45 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 614815 0 0 0 119561 184 0 0 25 0 4 0 593277374 1989701632 402359 33554432000 4194304 4627427 140735207403472 18446744073709551615 4327557 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1943068

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

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

[startup+1201.7 s]
/proc/loadavg: 8.20 8.11 7.71 9/184 17371
/proc/meminfo: memFree=9688148/32950928 swapFree=67111524/67111528
[pid=17295] ppid=17293 vsize=1943068 CPUtime=4800.1 cores=0,2,4,6
/proc/17295/stat : 17295 (strangenight2-m) R 17293 17295 16932 0 -1 4202496 2347789 0 0 0 479286 724 0 0 25 0 4 0 593277373 1989701632 402358 33554432000 4194304 4627427 140735207403472 18446744073709551615 4332195 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17295/statm: 485767 402358 390 106 0 480738 0
[pid=17295/tid=17296] ppid=17293 vsize=1943068 CPUtime=1199.47 cores=0,2,4,6
/proc/17295/task/17296/stat : 17296 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 569756 0 0 0 119770 177 0 0 25 0 4 0 593277374 1989701632 402359 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17295/tid=17297] ppid=17293 vsize=1943068 CPUtime=1201.51 cores=0,2,4,6
/proc/17295/task/17297/stat : 17297 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 602061 0 0 0 119962 189 0 0 25 0 4 0 593277374 1989701632 402359 33554432000 4194304 4627427 140735207403472 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17295/tid=17298] ppid=17293 vsize=1943068 CPUtime=1197.45 cores=0,2,4,6
/proc/17295/task/17298/stat : 17298 (strangenight2-m) R 17293 17295 16932 0 -1 4202560 614815 0 0 0 119561 184 0 0 25 0 4 0 593277374 1989701632 402359 33554432000 4194304 4627427 140735207403472 18446744073709551615 4327557 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1943068

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.78
CPU time (s): 4800.2
CPU user time (s): 4792.89
CPU system time (s): 7.30989
CPU usage (%): 399.424
Max. virtual memory (cumulated for all children) (KiB): 1957140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.89
system time used= 7.30989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2347796
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= 10636
involuntary context switches= 21855

runsolver used 2.03369 second user time and 4.47732 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-29 00:41:07
IDJOB=3173758
IDBENCH=82576
IDSOLVER=1586
FILE ID=node115/3173758-1304030467
RUNJOBID= node115-1304028687-16951
PBS_JOBID= 13170337
Free space on /tmp= 72688 MiB

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

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

MD5SUM BENCH= 5f909806405bfbe25b7db5afcabe8fc9
RANDOM SEED=252366177

node115.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       9616992 kB
Buffers:       2314300 kB
Cached:       17245776 kB
SwapCached:          4 kB
Active:       10767508 kB
Inactive:     12004876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       9616992 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            7656 kB
Writeback:           0 kB
AnonPages:     3211572 kB
Mapped:          15520 kB
Slab:           492144 kB
PageTables:      11592 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  4071808 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= 72716 MiB
End job on node115 at 2011-04-29 01:01:11